Repository navigation

Far elder density: living bars have flat components, ν_eld^far(ℓ) = O(ℓ^N) for every N (author-side candidate; scientific effect NONE) - #188

Merged

d6g8k5htny-coder merged 9 commits into

mainfrom

claude/far-elder-flat-ridge-20260930

Oct 4, 2026

Merged

Far elder density: living bars have flat components, ν_eld^far(ℓ) = O(ℓ^N) for every N (author-side candidate; scientific effect NONE)#188
d6g8k5htny-coder merged 9 commits into
mainfrom
claude/far-elder-flat-ridge-20260930

Commits on Sep 30, 2026
- Far elder density: living bars have flat components, nu_eld^far = O(ell^N) for every N (author-side candidate)
  claude
  committed
  854491b
- Far elder flat ridge: run the identity check when a bound source changes (workflow paths; Codex 4144690976)
  claude
  committed
  85f0586
Commits on Oct 2, 2026
- Merge main into the far elder flat-ridge branch for v1.1
  claude
  committed
  e2121db
- Far elder flat ridge v1.1: merged context (#187, #191, #198, #220, #229); Remark 6 on the dependence on rho
  claude
  committed
  5e0b31c
Commits on Oct 3, 2026
- Far elder packet v1.2: incorporate the reviewed C89 v1.1 extension (PROOF.md unchanged)
  claude
  committed
  817aa26
Commits on Oct 4, 2026