Repository navigation

Integrate reviewed C8/C6 packets and Actions updates with preserved sources - #268

Merged

d6g8k5htny-coder merged 100 commits into

mainfrom

codex/c8-reviewed-integration-20261004

Oct 4, 2026

Merged

Integrate reviewed C8/C6 packets and Actions updates with preserved sources#268
d6g8k5htny-coder merged 100 commits into
mainfrom
codex/c8-reviewed-integration-20261004

Commits on Sep 30, 2026
- C8: the cap-failure probability of Theorem A has an exact planar leading coefficient (certified c_G grid; scientific effect NONE)
  
  th3realdyll-afk
  and
  claude
  committed
  8968f5e
- C8 cap-failure coefficient v1.1: correct tail majorant, disjoint monotonicity check, reference-kernel qualification (Codex findings on Math-#203)
  
  th3realdyll-afk
  and
  claude
  committed
  683ed30
Commits on Oct 1, 2026
- C8 cap-failure coefficient v1.2: the lower bound concerns cap-route constants C_cap only (P1 of reviews 5372981851 and 5373266293 on Math-#203)
  
  th3realdyll-afk
  and
  claude
  committed
  a388580
- C8: explicit cap-route constants for Theorem A in the plane, Q^W(G_r^c) <= C r^3 certified (C(1/512) = 5415659.2391, within 1.8% of the sharp c_G; scientific effect NONE)
  
  th3realdyll-afk
  and
  claude
  committed
  f3d41b5
- C8 Theorem A constants v1.1: the SIDE24 point (C'(1/4096) = 39322.818 against [CAP]'s 2.4e23) and sharper certified steps
  
  th3realdyll-afk
  and
  claude
  committed
  0cb8ad3
- C8: explicit cap-route constants for Theorem A in d = 3 (certified C3, z3 on the band; scientific effect NONE)
  
  th3realdyll-afk
  and
  claude
  committed
  280574c
- C8 d = 3 constants: scope the "no constant on record" remark to [LP], [CAP] and the open packets
  
  th3realdyll-afk
  and
  claude
  committed
  c4b8ec3
- 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 elder-failure coefficient: certified planar alpha_1, alpha_2 = nu(2) and C_fail^{B,K}
  
  th3realdyll-afk
  and
  claude
  committed
  4edc31f
- C8 elder-failure coefficient v1.1: conditional d = 3 corollary
  
  th3realdyll-afk
  and
  claude
  committed
  fb05f28
- C8 elder-failure coefficient v1.2: Lemma T (torus transfer, every L >= 10, every frame)
  
  th3realdyll-afk
  and
  claude
  committed
  b54ea71
- C8 Theorem B NOTE: call Gamma_{B,K} the reference-kernel cap-route benchmark
  
  th3realdyll-afk
  and
  claude
  committed
  d77cabf
- C8 elder-failure coefficient v1.3: nonauthor clarifications, path filter
  
  th3realdyll-afk
  and
  claude
  committed
  e8ccb47
- C8 Theorem L': the radial ledger on the torus with a vanishing remainder
  
  th3realdyll-afk
  and
  claude
  committed
  2d1ec7c
- 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
- c2 torus transfer: |c2[K_L] - c2[phi]| <= eps_d(L0) for every L >= L0, every frame, d = 1, 2, 3; Lemma E
  
  th3realdyll-afk
  and
  claude
  committed
  8d1a8d4
- C8 Theorem B NOTE v1.4: correct the OA-215-A-01 divisor (successor read 5934120553)
  
  th3realdyll-afk
  and
  claude
  committed
  93edd97
- c2 torus transfer NOTE v1.1: |kappa_ref| in Lemma G; ball precision and operand domain (review C49)
  
  th3realdyll-afk
  and
  claude
  committed
  23c7002
- Merge main 7fe06b0 into claude/c2-torus-transfer-20261001 (base refresh; #232 now on main)
  claude
  committed
  70f6a92
- c2 torus transfer NOTE v1.2: Slice C provenance and scope amendments (review 5383099127)
  
  th3realdyll-afk
  and
  claude
  committed
  a832f2d
- C2T v1.3: Lemma E regularity scope (smooth vs real-analytic K)
  
  th3realdyll-afk
  and
  claude
  committed
  96367a5
- C2T v1.3.1: Gaussian floor condition is positive semidefinite
  
  th3realdyll-afk
  and
  claude
  committed
  9f573bd
- Merge main 00aee00 into C2T
  
  th3realdyll-afk
  and
  claude
  committed
  d00a7f2
- Merge main 00aee00 into C8 lifetime difference constant
  
  th3realdyll-afk
  and
  claude
  committed
  168d0d4
- Theorem L' v1.1: explicit angular integrals (OA-227-C-01)
  
  th3realdyll-afk
  and
  claude
  committed
  75b5fce
- Merge main 00aee00 into Theorem L'
  claude
  committed
  ab63867
- C2T v1.3.2: record that #207 is merged (566b1a1)
  
  th3realdyll-afk
  and
  claude
  committed
  4b54cc6
- Merge main 566b1a1 into C2T
  
  th3realdyll-afk
  and
  claude
  committed
  9fd05f5
- Merge main 566b1a1
  
  th3realdyll-afk
  and
  claude
  committed
  7bd4b3e
- C2T v1.3.3: #218 is merged (fb6ee97); [T] is checked on the tree
  
  th3realdyll-afk
  and
  claude
  committed
  c612cc7
- Merge main fb6ee97 into C2T
  
  th3realdyll-afk
  and
  claude
  committed
  7f40775
- Merge main fb6ee97
  
  th3realdyll-afk
  and
  claude
  committed
  96d4b23
- Merge main fb6ee97
  
  th3realdyll-afk
  and
  claude
  committed
  0e016bb
- C2T v1.3.4: #219 is merged (5a836a8); [CU-results] checked on the tree
  
  th3realdyll-afk
  and
  claude
  committed
  393cd95
- Merge main 5a836a8 into C2T
  
  th3realdyll-afk
  and
  claude
  committed
  ac5ba7f
- Merge main 5a836a8
  
  th3realdyll-afk
  and
  claude
  committed
  abe1021
- Merge main 5a836a8
  
  th3realdyll-afk
  and
  claude
  committed
  0905aa8
- Merge main 6f74f7a into C2T (#220 and #229 landed; no packet change in this commit)
  
  th3realdyll-afk
  and
  claude
  committed
  33b76fc
- C2T v1.3.5: #220 merged at 0d79778; promote the [E3] pin to current_required (provenance only)
  
  th3realdyll-afk
  and
  claude
  committed
  9f99ecd
- Merge main 6f74f7a (#220 and #229 landed; no packet change in this commit)
  
  th3realdyll-afk
  and
  claude
  committed
  b41eb28
- Merge main 6f74f7a into Theorem L' (#220 and #229 landed; no packet change in this commit)
  
  th3realdyll-afk
  and
  claude
  committed
  897fe7c
Commits on Oct 2, 2026
Commits on Oct 3, 2026
Commits on Oct 4, 2026

Commits

Commits on Sep 30, 2026

Commits on Oct 1, 2026

Commits on Oct 2, 2026

Commits on Oct 3, 2026

Commits on Oct 4, 2026