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

Commits on Jul 30, 2026

feat(lean): integrate formal RH research routes

authored and
fluffy314
committed
feat(lean): reduce Jensen shifts to derivative closure

authored and
fluffy314
committed
feat(lean): formalize finite Li zero sums

authored and
fluffy314
committed
feat(lean): formalize finite Weil approximants and limits

authored and
fluffy314
committed
docs(rh): index second-stage formal route progress

authored and
fluffy314
committed

Commits on Jul 31, 2026

feat(lean): close Jensen derivative propagation gap

authored and
fluffy314
committed
feat(lean): transfer Li coefficients through analytic limits

authored and
fluffy314
committed
feat(lean): strengthen Weil positivity limit route

authored and
fluffy314
committed
docs(rh): index third-stage formal route progress

authored and
fluffy314
committed

Commits on Aug 1, 2026

feat(lean): integrate verified Jensen route

authored and
fluffy314
committed
feat(lean): integrate verified Li route

authored and
fluffy314
committed
feat(lean): integrate verified Weil route

authored and
fluffy314
committed
test(rh): validate evolved Jensen source cards

authored and
fluffy314
committed