Repository navigation

C8: [LP] Theorem B with explicit constants in d = 2, 3 — |A_r/A_0^ref − 1| ≤ a r² + ε certified, two-sided lifetime densities, C_{B,K}(1/4096) = 402.53 (plane), 1205.71 (d = 3) for (1.2), (12.1), (12.3) (scientific effect NONE) - #215

Merged

24 commits merged into

mainfrom

claude/c8-lifetime-difference-constant-20261001

Oct 4, 2026

Merged

C8: [LP] Theorem B with explicit constants in d = 2, 3 — |A_r/A_0^ref − 1| ≤ a r² + ε certified, two-sided lifetime densities, C_{B,K}(1/4096) = 402.53 (plane), 1205.71 (d = 3) for (1.2), (12.1), (12.3) (scientific effect NONE)#215
24 commits merged into
mainfrom
claude/c8-lifetime-difference-constant-20261001

Commits on Oct 1, 2026
- C8 Theorem B explicit constants (d = 2, 3): certificate, engine copies, RESULTS.json and replay workflow
  
  th3realdyll-afk
  and
  claude
  committed
  ca7cc6b
- C8 Theorem B explicit constants (d = 2, 3): NOTE, README and source maps (v1)
  
  th3realdyll-afk
  and
  claude
  committed
  fcf4ccc
- C8 Theorem B NOTE: round the c'/c table up
  
  th3realdyll-afk
  and
  claude
  committed
  2fa7c63
- C8 Theorem B NOTE: no vanishing-remainder rate claimed on the torus
  
  th3realdyll-afk
  and
  claude
  committed
  d748c2a
- C8 Theorem B NOTE: call Gamma_{B,K} the reference-kernel cap-route benchmark
  
  th3realdyll-afk
  and
  claude
  committed
  d77cabf
- C8 Theorem B NOTE: state the 36k^2 normalization of the d = 3 first-order term (OA-215-A-01)
  
  th3realdyll-afk
  and
  claude
  committed
  dff398a
- C8 Theorem B NOTE v1.4: correct the OA-215-A-01 divisor (successor read 5934120553)
  
  th3realdyll-afk
  and
  claude
  committed
  93edd97
- Merge main 00aee00 into C8 lifetime difference constant
  
  th3realdyll-afk
  and
  claude
  committed
  168d0d4
- Merge main 566b1a1
  
  th3realdyll-afk
  and
  claude
  committed
  7bd4b3e
- Merge main fb6ee97
  
  th3realdyll-afk
  and
  claude
  committed
  0e016bb
- Merge main 5a836a8
  
  th3realdyll-afk
  and
  claude
  committed
  0905aa8
- Merge main 6f74f7a (#220 and #229 landed; no packet change in this commit)
  
  th3realdyll-afk
  and
  claude
  committed
  b41eb28
Commits on Oct 2, 2026
Commits on Oct 3, 2026

Navigation Menu

Repository navigation

C8: [LP] Theorem B with explicit constants in d = 2, 3 — |A_r/A_0^ref − 1| ≤ a r² + ε certified, two-sided lifetime densities, C_{B,K}(1/4096) = 402.53 (plane), 1205.71 (d = 3) for (1.2), (12.1), (12.3) (scientific effect NONE) - #215

Commits on Oct 1, 2026

C8 Theorem B explicit constants (d = 2, 3): certificate, engine copies, RESULTS.json and replay workflow

C8 Theorem B explicit constants (d = 2, 3): NOTE, README and source maps (v1)

C8 Theorem B NOTE: round the c'/c table up

C8 Theorem B NOTE: no vanishing-remainder rate claimed on the torus

C8 Theorem B NOTE: call Gamma_{B,K} the reference-kernel cap-route benchmark

C8 Theorem B NOTE: state the 36k^2 normalization of the d = 3 first-order term (OA-215-A-01)

C8 Theorem B NOTE v1.4: correct the OA-215-A-01 divisor (successor read 5934120553)

Merge main 00aee00 into C8 lifetime difference constant

Merge main 566b1a1

Merge main fb6ee97

Merge main 5a836a8

Merge main 6f74f7a (#220 and #229 landed; no packet change in this commit)

Commits on Oct 2, 2026

Theorem L v1.5: corrected parent set, C61 disposition of C_BK, review clarifications (documentation only)

Theorem L v1.5.1: narrow the §7 disposition sentence (C63 wording finding)

Merge main 2d8616e (#240, #241, #245, separated-fold, license landed; no packet change in this commit)

Merge main fa8b0d2 (#242 soft rejected pairs, #243 soft fold limit landed; no packet change in this commit)

Merge main 0732008 (soft closed-form packet landed; no packet change in this commit)

Merge main 7e23441 (Lean cap packet and Math-#235 C52 landed; no packet change in this commit)

Commits on Oct 3, 2026

Merge main 4b2a001 (Math-#236 all-d short-bar occurrence landed; no packet change in this commit)

Merge main a4c3199 (Math-#183 execution readiness landed; no packet change in this commit)

Theorem L v1.5.2: record that #197 merged at e08a50d in the [W] cross-check pin (provenance only)

Merge main b55b8f3 (Math-#208 and #197 landed; provenance follow-up in next commit)

Theorem L v1.5.3: #208 merged at b55b8f3; promote [G3] to current_required (provenance only)

C8 lifetime-difference constant v1.5.4: SOURCE_MAP note names [G3] as current_required