Repository navigation

Formalize Jensen, Li, and Weil RH route foundations - #237

Open

FluffyAIcode wants to merge 13 commits into

AgentMemory/architecture9-cursor-oprover-0727from

AgentMemory/rh-formal-routes-0730

Open

Formalize Jensen, Li, and Weil RH route foundations#237
FluffyAIcode wants to merge 13 commits into
AgentMemory/architecture9-cursor-oprover-0727from
AgentMemory/rh-formal-routes-0730

Commits on Jul 30, 2026
- feat(lean): integrate formal RH research routes
  
  authored and
  fluffy314
  committed
  1bbe584
- feat(lean): reduce Jensen shifts to derivative closure
  
  authored and
  fluffy314
  committed
  40b8134
- feat(lean): formalize finite Li zero sums
  
  authored and
  fluffy314
  committed
  c5ac3cd
- feat(lean): formalize finite Weil approximants and limits
  
  authored and
  fluffy314
  committed
  e92f6ee
- docs(rh): index second-stage formal route progress
  
  authored and
  fluffy314
  committed
  bb35719
Commits on Jul 31, 2026
- feat(lean): close Jensen derivative propagation gap
  
  authored and
  fluffy314
  committed
  044cc3c
- feat(lean): transfer Li coefficients through analytic limits
  
  authored and
  fluffy314
  committed
  985650a
- feat(lean): strengthen Weil positivity limit route
  
  authored and
  fluffy314
  committed
  2b31bbc
- docs(rh): index third-stage formal route progress
  
  authored and
  fluffy314
  committed
  df12d66
Commits on Aug 1, 2026
- feat(lean): integrate verified Jensen route
  
  authored and
  fluffy314
  committed
  c56ac45
- feat(lean): integrate verified Li route
  
  authored and
  fluffy314
  committed
  6581ad1
- feat(lean): integrate verified Weil route
  
  authored and
  fluffy314
  committed
  96ca3ed
- test(rh): validate evolved Jensen source cards
  
  authored and
  fluffy314
  committed
  7776366