Pre-release audit: blocking status corrections across the core physics corpus by amaybaum · Pull Request #1182 · amaybaum/incompleteness

amaybaum · 2026-11-07T14:43:31Z

Pre-release audit of the core physics corpus: blocking corrections only

Owner decisions (Claude Code chat, 2026-11-07, amaybaum): one PR carrying all audit corrections, reviewed by the owner, who tags the release manually ("Just make 1 PR with all of the audit changes, and I will review"); and the scope rule "Let's make sure to make only minimum changes required, if any". The owner's one-workstream-per-merge rule is set aside for this PR by that decision.

Base: main 5ea5a40 (after #1181). Branch audit/release-3.2-corrections-20261107.

What the audit was

Read-only audit of the seven core papers (Main, GR, SM, Substratum, Structure, Methodology, Introduction), the book's physics chapters, appendices and the FULL mirror, the Lean census and the coverage ledger, by eight work packages, against three questions per claim: consistency across documents, status word versus support on main, comprehension. Findings were graded BLOCKING (contradiction between documents; status word stronger than support; an open problem asserted as settled; a withdrawn result still present), SHOULD-FIX or NOTE. Consolidation gave 45 blocking rows (C-01 to C-46, with C-25 demoted) and about 105 should-fix items.

What this PR carries

Only the blocking rows, their strictly necessary consequences, and the propagation the owner's reviews directed (rows from 00f189a on). No should-fix items, no register cleanup, no cross-reference or reference-title fixes, no wording improvements. Commits are split so the owner can review and strike by unit:

Commit	Content
`484006b`	Papers, blocking rows: Main (C-01), Methodology (C-31, C-32, C-42, C-43; C-10/C-11 qualifiers at the synthesis site), GR (C-04 to C-07), SM (C-10 to C-16, C-19, C-22 to C-24, C-27), Substratum and Structure (C-01, C-08, C-10 to C-12, C-19, C-28 to C-30, C-38, C-39, C-43). Two coverage-ledger fingerprints re-affirmed.
`aedceb9`	Book and metadata, blocking rows: ch00, ch01, ch02, ch07, ch18, ch19 governing table, appendix B, appendix C, glossary, readers-guide, preface; book/README (C-19); `.zenodo.json` (C-44). FULL mirrored.
`54e36fa`	Charter-judged promotions, kept separate (owner: keep; the GR universality relabel in it is withdrawn in `ae6161c`). Sites the work-package ledgers graded should-fix but which independent classifiers judged to meet the charter's blocking definition (a status word stronger than its support, or a numeric contradiction between documents). Strike this commit as a unit if the owner holds to the consolidated list literally. Sites: Methodology:283 (observer selection as theorem without (EM)), Methodology:401 ("Established" on a chain the paragraph calls conditional), GR:460/:484/:530 (non-thermalization "derived"), GR:675–679 ("Theorem-level statement" with no written proof; its orphan ledger row removed), Structure:796–797/:805 ("fixed"/"determined"/"structurally" for class-C and ambient quantities), Structure:937 (0.04σ where SM §7.6 and Structure:56 carry 0.12σ), Substratum:169 and ch02:108 (if-and-only-if where uniqueness is proved, §A.34).
`6013139`	Regenerated `.tex`/`.pdf` for the six papers (zero dropped glyphs; 101/91/151/56/99/54 pages).
`328db10`	Book classification lag against SM and GR, blocking rows: ch04, ch05, ch06, ch19, appendix A (N5 class C, N-row count 0 S + 2 C + 5 L; items (ii) and F6), appendix B (Lemma B.6c.1 under H-spin′). FULL mirrored.
`8b7985f`	Regenerated book `.tex`/`.pdf` (561 pages; zero dropped glyphs).
`c5d2f08`	Corrections from the independent exact-head review (verdict ACCEPT WITH CHANGES at `328db10`, seven required items): C-06 at GR:362, which the first commit claimed but did not carry; the CLASS and relaxation-kernel sentences at GR:534/:536 restored verbatim (their removal rested on a should-fix row, not on C-07); Structure:432 reduced to the anchored GR §7.1 content; Structure:428 and :973 neighbours of edited sentences; C-14 propagated to appendix B:155–157/:317 and ch19:160; two cross-reference pointers the charter-judged commit had changed restored, and one citation corrected.
`a019561`	Regenerated GR, Structure and book `.tex`/`.pdf`.
`7e5dfb1`	SC-42 committed result regenerated for the audit's chapter edits (the CI step compares it byte for byte; verdict PASS before and after, controls unchanged).
`8cae1d1`	ch01:55 C2 mechanism clause reworded to the glossary's form ("the timescale separation τ_S ≪ τ_B (C2-slow) is one sufficient mechanism") after the release gate's architecture invariant rejected "slow-bath timescale separation" in a C2 definition; FULL mirrored, book artifacts rebuilt.
`ae6161c`	Owner review at `8cae1d1` (changes requested): graviton comparison conditional (Structure §7.7.2); gauge group as the stabilizer of the equivariant condensate, not the commutant of the scalar coupling matrix (appendix B, Substratum, Structure, Methodology, ch02, ch05, glossary); ch08 4/3 magnitude at Layer 2(b); Structure:432 blanket conclusion removed; ch05:194 parameter count; GR universality relabel withdrawn.
`75dd7f8`	Independent review of `ae6161c` (REVISE): remaining same-defect sites (appendix B:298/:308/:317, Substratum Theorem 23, ch02:118/:164, ch08:119/:121, Methodology:505, Structure:472/:509); GR §8.5 conditional universality hypotheses now include local boost structure at the horizon, which the KMS step uses.
`ca311b1`, `b6cb598`	Regenerated GR, Substratum, Structure, Methodology and book `.tex`/`.pdf`; SC-42 result regenerated.
`4c3ed74`	ch05:139 restored to its pinned text after guard R7-A6P failed.
`00f189a`	Owner review at `4c3ed74`: Complexity:73 and ch10:96, coupling-matrix eigenvalue reading of the gauge couplings removed.
`cb1e67a`, `e124a63`, `d0ba98e`	Complexity §2.5 and ch10 §10.4–§10.8: the scale separation rests on the supplied couplings and masses; fitted thresholds named; thermal-window existence stated given that separation.
`dd881e3`	Owner review at `4c3ed74`: ch05:139 rewritten (stabilizer of the equivariant condensate with distinct block values under H-link/H-cust; spatial isotropy fixes multiplicities only) together with its R7-A6P expected text; covariance checks and mutation controls unchanged.
`93ce4e7`	Merge of `main` `5254298` (#1110; no file overlap).
`f23f497`	Owner review at `93ce4e7`, bounded: downstream scale/thermal sites (Complexity, ch10, ch11) and the semiconductor chain (Computation:47–68, ch12), with suitable gaps and operating temperatures as material-dependent inputs; NAND completeness unchanged.
`aff497f`	Owner review at `f23f497`: bond stability stated as E_bond ≫ kT for the selected molecules and temperature, not implied by the scale separation (Complexity:89, ch10:18/:112/:122/:124/:190, ch11:42); ch12:22 and the semiconductor chain conditional on suitable materials and operating conditions; gradients and environmental cycling not established by thermal fluctuations alone (ch12:16/:60/:66, Computation:37, Complexity:240/:248). Artifacts and SC-42 result regenerated.

The five most consequential corrections

Born rule asserted as a derived equilibrium (Main §3.2 summary and route table, Structure:1272) against Main §3.4/§4.1 and the owner's ruling: now the dictionary of the fixed-basis representation, exponent a frontier item.
QM–GR unification, cosmological constant and the measurement problem asserted "dissolved"/"removed from the agenda" (Substratum, ch02, ch18, ch19 governing table, appendix C): now conditional on the open covariant rung G3 and the operational completion, with Frauchiger–Renner premises open.
SM inputs asserted derived (Higgs doublet, hypercharges, chirality, Majorana neutrinos, gauge-coupling values, Cond 2 at Layer 2(a)): now stated at the theorem scopes SM §4 and §7.6 carry (input, conditional on H-χ′/H-spin′, on the §8.4 branch, three matched thresholds, Layer 2(b)).
GR: "four routes converge", T_cl = T_Q "not an additional assumption", §7.1 "derives" dark energy, Ω_CDM from a corollary that fixes only the total: now stated against GR's own abstract, §2.3 and §7.1.
Outward surfaces (Methodology abstract, ch00, glossary, readers-guide, .zenodo.json) stating the gauge group, the QM formalism and "complete structural content" unconditionally: now conditional on H-link, the fixed-basis representation, and the named open questions.

Open problems stay open; nothing in this PR closes one.

Checks at head `aff497f`

coverage_check OK (130 canonical statements); full release gate locally PASS except lean-axioms (no local Lean toolchain; passes in CI) — architecture_check 264 invariants, 0 violations; voice_check, claims_check, duplicate_check, artifact_placement_check, lean_manuscript_census OK; staleness_check OK (13 matched); SC-42 integration PASS, added-text scan 0 hits; legacy records 303 intact; citation roles hold. CI green at aff497f (25 success, 1 skipped). FULL byte-identical to every edited chapter (ch05 differs from its FULL segment by whitespace only at the base; pre-existing, content mirrored, not repaired).

Not in this PR

Owner decision: the ~105 should-fix items go to a separate follow-up PR, started after the release audit completes. Owner scope at 93ce4e7: no general audit of chemistry or computation beyond the identified scale/thermal claims, their direct summaries and mirrors. The ~105 should-fix items (undefined terms, stale cross-references and section numbers, count and inventory mismatches, register cleanup, ETH re-attribution, reference titles, the GR:440 general-d gap equation, the GR:534/:536 numerical-verification sentences whose scripts are not on main (WP2-14), the ch01 accessible-timescale "spectral gap" paragraph, the H-Bell clause (i) at ch01:171, glossary "slow evolution", Introduction items WP5-13 to 16). A wide version carrying most of them exists as a local preservation branch.

Reviews: independent exact-head review at 328db10 (ACCEPT WITH CHANGES, applied in c5d2f08); owner reviews at 8cae1d1, 4c3ed74, 93ce4e7 and f23f497 (changes requested, quoted in the comments; applied in the commits above).

🤖 Generated with Claude Code

https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

Pre-release audit of the core physics papers, consolidated blocking rows only: each edit narrows a stated status to the support the corpus carries, at the site the row names, with no further rewording. Main: C-01 (Born form is the dictionary of the fixed-basis representation; the quadratic exponent is a frontier item), at the §3.2 summary and the route-comparison table. Methodology: C-31 (gauge structure conditional on H-link at the abstract, introduction, synthesis and conclusion), C-32 (substrate- determined quantities stated entry by entry), C-42 (JUNO 0.07 sigma against the post-JUNO global fit, 0.14 sigma against the direct measurement), C-43 (measurement problem: observer-relative account at the fixed-basis level), with the Higgs-doublet and hypercharge qualifiers of C-11 and C-10 at the synthesis site. GR: C-04 (the necessity routes do not derive the Einstein dynamics), C-05 (T_cl = T_Q holds under H-slope), C-06, C-07 (Omega_CDM is an input; the boundary budget fixes the total, not the split; the CLASS and relaxation-kernel verification sentences, whose scripts are not on main, removed with it). SM: C-10, C-11, C-12, C-13, C-14, C-15, C-16, C-19, C-22, C-23, C-24, C-27 at the sites the audit names; theorem scopes unchanged. Substratum, Structure: C-01, C-08, C-10, C-11, C-12, C-19, C-28, C-29, C-30, C-38, C-39, C-43. Coverage ledger: fingerprints of SUBSTRATUM:L-23.0 and SUBSTRATUM:T-23 re-affirmed after the H-link/H-cust qualification of Lemma 23.0 and Theorem 23 (mapping, level and delta unchanged). .tex/.pdf not yet rebuilt; staleness_check fails until the build commit. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

…dit (blocking rows) Book mirrors of the paper corrections and the book's own blocking rows, consolidated list only: ch00 (C-19, C-33, C-34, C-36), ch01 (C-02, C-03), ch02 (C-28, C-38, C-39), ch07 (C-04, C-05, C-09), ch18 and the ch19 governing status table (C-43), appendix B (C-05), appendix C (C-36, C-37, C-38, C-40, C-43), glossary (C-35, C-36, C-42), readers-guide (C-41, C-42), preface (C-42); book/README.md (C-19); .zenodo.json (C-44). Every edited chapter is mirrored in the FULL file. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

…ition; ledger rows graded should-fix) Sites the audit ledgers graded should-fix but which meet the audit charter's blocking definition, a status word stronger than its support or a numeric contradiction between documents, kept apart from the consolidated rows so they can be reviewed or struck as a unit: Methodology:283 — observer selection stated as a theorem without the effective-mixing hypothesis (EM) that Main §4.6 conditions it on. Methodology:401 — Kochen-Specker chain tagged "Established" where the same paragraph states the inheritance is conditional on the lift. GR:460, :484, :530 — hidden-sector non-thermalization called "derived" where GR §8 and SM list it as a timescale assumption of the realization. GR:675-679 — "Theorem-level statement" for the universality claim whose proof the paper says is not written out; restated as a universality statement with the argument kept; its ledger row, which named no canonical statement, removed. Structure:796-797, :805 — Yukawa contractions and Wilson coefficients "fixed"/"determined" and 1/alpha_0 "structurally" for quantities SM §7.6 classes conditional or ambient. Structure:937 — Cabibbo match 0.04 sigma where SM §7.6 and Structure:56 carry 0.12 sigma (0.04%). Substratum:169, ch02:108 (and FULL) — reconstruction steps described as if-and-only-if where uniqueness given the inputs is what is proved (AGENTS.md §A.34). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

sh ./build.sh Main GR SM Substratum Structure Methodology; zero dropped glyphs; page counts 101, 91, 151, 56, 99, 54. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

…nd GR (blocking rows) The book's chapters and status tables carried pre-reclassification labels for results the SM and GR papers state conditionally or as inputs. Consolidated blocking rows only: C-11 (ch05, ch06: Higgs doublet taken as input), C-12 (appendix A N5 class C with the N-row count 0 S + 2 C + 5 L; ch04, ch06, ch19: Majorana and normal ordering on the SM §8.4 branch, heuristic not theorem), C-13 (ch19: hierarchy problem partially addressed, v << f open), C-14 (ch05, ch06, ch19: block values of the equivariant condensate in place of the retired eigenvalue form, ch19:90 included as the same paragraph), C-16 (ch06, ch19: Condition 2 at Layer 2(b), second-order substrate route excluded), C-17 (ch19: Cabibbo, Koide, sin^2 theta_13 conditional structural), C-18, C-19 (ch05), C-20, C-21 (ch06 mass chain: Q_down a phenomenological input, m_b class L, one m_mu value), C-24 (ch19: gauge couplings reproduced with three matched thresholds), C-26 (appendix B Lemma B.6c.1 under H-spin'), C-45, C-46 (appendix A items (ii) and F6). Every edited chapter is mirrored in the FULL file. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

sh ./build.sh --book; zero dropped glyphs; 561 pages; staleness_check OK. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

Required changes from the independent review at 328db10: GR:362 — C-06 applied (§7.1 reads the dark-energy bookkeeping in running-vacuum form; the functional form is not derived there), which the first papers commit claimed but did not carry. GR:534, :536 — the CLASS-comparison and relaxation-kernel verification sentences restored verbatim: their removal rested on a should-fix row, not on C-07; the deep-MOND crossover pointer corrected to "(above)". Structure:432 — C-30 reduced to the anchored content of GR §7.1 (a DESI null supports |nu| ~ |nu_QFT|; a 10^-4-level detection would need added substratum structure), dropping an unanchored precision conversion and two interpretive clauses. Structure:428 — "structural predictions" to "structural expectations", the neighbouring sentence of the C-12 branch qualification. Structure:973 — "dissolved" to "addressed, at the scope stated for each", against SM §8.8 and the sentence's own items (C-13). Appendix B:155-157, :317 and ch19:160 — the retired non-scalar coupling matrix replaced by the scalar M with the equivariant condensate Sigma (SM Theorem 5), matching the SM Theorem A.4 wording (C-14); FULL mirrored. Structure:938, :942 — two cross-reference pointers changed by the charter-judged commit restored to the base text; Structure:805 cites SM §6.2 and §6.4 for the hypercharge-bundle clauses instead of §6.5. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

sh ./build.sh GR Structure; sh ./build.sh --book. Zero dropped glyphs. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T14:43:51Z

Independent exact-head review (read-only) of the branch at 328db10, base 5ea5a40. Verdict: ACCEPT WITH CHANGES. All seven required changes are applied in c5d2f08; artifacts rebuilt in a019561.

Reviewer's summary, quoted: "The diff is almost entirely the consolidated C-rows applied with their proposed minimal wording; every added paper sentence I traced is supported by the cited anchor (SM Thm 5/10/11/15 scopes, SM §7.6, SM:777, SM:132, SM:1116/1293, GR:12/:74/:88/:356/:378/:637/:701, Main:20/:72/:556/:626, ch19:64, appendix-c:32–42). All checkers pass … check_sc42_integration PASS, added-text scan 0 hit(s). §A.32/§A.33 scan of added paper text: no 'now / no longer / honest / earlier / revised / reader' phrases, no caps emphasis, no label-restating. FULL mirrors every edited chapter byte-for-byte (ch05 whitespace-only, pre-existing)."

Required changes and their disposition:

GR:362, C-06 not applied although the commit message claimed it → applied (c5d2f08).
GR:534 pointer "(below)" for the deep-MOND crossover deferral, which sits above → "(above)".
GR:534/:536 CLASS-comparison and relaxation-kernel sentences: their removal rested on a should-fix row (WP2-14), not on C-07 → restored verbatim; WP2-14 deferred.
Structure:432 over-reached the anchor (precision conversion and two interpretive clauses with no source) → reduced to the GR §7.1 content.
C-14 propagation gaps: appendix B:155–157 (mirror of SM Theorem A.4, now rewritten at SM:1642), appendix B:317, ch19:160 still carried the retired non-scalar coupling matrix → corrected to the scalar M with the equivariant condensate Σ (SM Theorem 5); FULL mirrored.
Structure:973 "dissolved" contradicted SM §8.8 and the sentence's own items → "addressed, at the scope stated for each".
Structure:428 "structural predictions" one sentence before the C-12 branch qualification → "structural expectations".

Also from the review: the orphan ledger row GR:T-unnamed-b09a495a removal is justified (a parse artifact of the bold heading, kernel GAP, no checks; no coverage lost); the two SUBSTRATUM fingerprint re-affirmations are correct; each item in the charter-judged commit 54e36fa meets the charter's "status word stronger than support" definition. Two cross-reference pointers that commit had changed (Structure:938, :942) were restored to the base text and the Structure:805 citation corrected to SM §6.2/§6.4, per the reviewer's ride-along note.

Optional notes left as they are (owner's call): GR:148, ch07:52, appendix B:213 keep the untouched preceding sentence arguing the temperature identification is forced, beside the new "holds under H-slope"; ch07:241 drops a "healthy empirical exposure" sentence outside C-09's replacement text (book register); Methodology:13's conditional clause grammatically also covers the GR route; SM:944/:948 and SM:1026/:1312/:1410/:1414 carry pre-existing "Layer 2(a)-tractable" and history-voice wording; ch08-juno.md:152 (outside the audit scope) still labels the Cond-2 magnitude Layer 2(a).

Checks at head a019561 (worktree, python3 -I): coverage_check OK (129), voice_check OK, claims_check OK, duplicate_check OK, artifact_placement_check OK, lean_manuscript_census OK (25 families), staleness_check OK (13 matched), SC-42 PASS with 0 added-text hits, legacy records 303 intact.

Generated by Claude Code

The integration check records one "chapter line mirrored in FULL" predicate per edited book line; the committed result predates the audit edits, so the exact-bytes comparison in CI failed (run 42382936727, core B). Verdict PASS before and after; added-text scan 0 hits; controls file unchanged. Regenerated with python3 -I -B check_sc42_integration.py --verbose, identical under -O. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

…acts regenerated The release gate's architecture check (run 42382936727, Mathlib bridge, step "Release gate") rejected the C-03 wording at ch01:55, "the slow-bath timescale separation ... is one sufficient mechanism", under the invariant that C2 is persistence and the slow bath a realization regime. The clause now reads "the timescale separation tau_S << tau_B (C2-slow) is one sufficient mechanism", the form the glossary's C2 entry and Main §1.3 use; FULL mirrored; book .tex/.pdf rebuilt (561 pages, zero dropped glyphs). architecture_check: 0 violations; staleness_check OK. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T15:00:52Z

CI green at head 8cae1d1 (run on the exact head: 25 checks success, 1 skipped matrix placeholder; mergeable, state clean). Two earlier heads were red for reasons internal to this PR, both fixed in-branch:

a019561, core B: the committed SC-42 result file predates the audit's chapter edits and the step compares it byte for byte → regenerated in 7e5dfb1 (verdict PASS before and after).
a019561 and 7e5dfb1, Mathlib bridge / Release gate: architecture_check rejected the C-03 wording at ch01:55 ("slow-bath timescale separation" inside a C2 definition) → reworded to the glossary's form in 8cae1d1; 0 violations.

Awaiting the owner's review. No merge, tag or release action will be taken from this session.

Generated by Claude Code

amaybaum · 2026-11-07T15:52:57Z

Owner review, quoted from the Claude Code chat (amaybaum, 2026-11-07), recorded here per AGENTS.md §A.42 item 7:

My review verdict is changes requested at 8cae1d1. The corrections are useful, but five remaining contradictions should be resolved before marking #1182 ready.

Graviton emergence is still described as derived. Structure:466–474 correctly says the spin-two sector remains open, then says OI derives gravitons and produces the required infrared structure. The summary at line 503 repeats this. Make the entire comparison conditional.

The gauge-group summary still uses the wrong matrix. Appendix B:323 attributes U(3)×U(2)×U(1) to the coupling matrix. But the corrected coupling matrix is scalar, whose commutant is all U(6). The smaller group comes from the condensate with distinct block values. Propagate that distinction into the summary and the corresponding Substratum theorem.

Chapter 8 contradicts the revised JUNO classification. Chapter 8:146 still calls the 4/3 coefficient relation forced Layer 2(a) content. Chapter 6 now classifies its magnitude as Layer 2(b), with the second-order route excluded. Update Chapter 8's explanation and proposed derivational task accordingly.

The DESI conclusion contradicts its corrected comparison. Structure:432 now distinguishes the outcomes that support OI from those requiring additional OI structure, but concludes that confirmation supports both frameworks and refutation challenges both. Remove or narrow that blanket conclusion.

The gauge-coupling parameter count remains overstated. Chapter 5:194 still says "one-parameter chain." SM explicitly counts one computed input and three fitted threshold parameters, matched to three observed couplings. Use that accounting consistently.

These are necessary follow-through on this PR's corrections, rather than unrelated should-fix cleanup. Corresponding FULL passages and generated artifacts should follow the fixes.

For the pending decisions:

Keep the substantive corrections in 54e36fa. Dropping it wholesale would restore overclaims. One qualification: the GR universality theorem's relabeling should be justified by its proof dependencies; missing theorem-style presentation alone does not establish that a proof is absent.

Keep the remaining ~105 should-fix items in a separate follow-up PR.

Leave Pre-release audit: blocking status corrections across the core physics corpus #1182 draft pending these fixes and re-review.

The PR stays draft. Fixes follow on this branch.

Generated by Claude Code

…ty label Owner review (amaybaum, 2026-11-07, quoted on #1182), changes requested: 1. Structure §7.7.2 and its summary (:468-:474, :503-:507): the graviton comparison is made conditional throughout; an OI linearized-graviton sector is the open Level-G3 target, so the shared IR graviton content is stated for the case that such a sector is obtained. 2. Gauge group from the condensate, not the coupling matrix: the coupling matrix is scalar, M = mu I_6, with commutant U(6); U(3)xU(2)xU(1) is the stabilizer of the equivariant condensate with distinct block values (SM Theorem 5). Corrected at appendix B:20, :286, :315, :321, :323 (the combined structural result), Substratum:149 (Stage 2 output), :201, :373, :393, :395, :421, Structure:152, Methodology:339, ch02:186, :200, :214, :216, glossary:75 and ch05:139. 3. ch08:146 and :152: the 4/3 magnitude is Layer 2(b), the second-order substrate route excluded (SM §7.3), the 7/6 sum rule its direct test and the O(lambda^3) interference route recorded, as ch06 and SM state. 4. Structure:432: the blanket "confirmation supports both; refutation challenges both" narrowed to the LEGEND-1000 test, which it describes. 5. ch05:194: the gauge couplings are reproduced with one computed input and three threshold parameters fitted to the three observed couplings (SM §6.3), in place of "one-parameter chain". GR §8.5 universality: the relabel of 54e36fa is withdrawn. Checked against its proof dependencies, every step of (U1)-(U3) and (C1')-(C3') is assigned in the section's own dependency review to S1-S4 or a named condition (H-slope, H-frame, H-Hawking, the detailed-balance rate ratio); no unlisted premise was found, and the absence of a theorem-style write-up does not establish a missing proof. The base text and its coverage-ledger row are restored. FULL mirrored. Artifacts follow in the next commit. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

…after the owner-review fixes sh ./build.sh GR Substratum Structure Methodology; sh ./build.sh --book. Zero dropped glyphs; page counts unchanged (91/56/99/54; book 561). SM unchanged in source; its rebuilt PDF is not committed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

…sality hypotheses Independent read-only review of ae6161c returned REVISE. Applied: - Appendix B:298, :308: the cubic decomposition fixes the block multiplicities of an equivariant condensate, not eigenvalues of the (scalar) coupling matrix; :317 conditions the stabilizer step (iii) on H-cust, which SM Theorem 5 assumes. - Substratum Theorem 23 (:193) and its book mirror ch02:118: "block multiplicities"; ch02:164: the emergent gauge group acts within the blocks of the condensate. Coverage fingerprint of SUBSTRATUM:T-23 re-affirmed (mapping, level and delta unchanged). - ch08:119, :121 and Methodology:505: Condition 2's 4/3 is stated as a cubic-group identity whose production by the substrate is not shown (Layer 2(b), second-order route excluded), matching ch08:146, :152. - Structure:432: the closing LEGEND-1000 sentence removed; the paragraph's first sentence carries the confirmation case. - Structure:472, :509: the graviton UV-correction comparison made conditional on obtaining an OI graviton sector. - GR §8.5 (:627, :677): the conditional universality hypotheses now include local boost structure of the emergent description at the horizon, which the KMS step uses (§8.5 dependency review; Main §3.5). This corrects the previous commit's finding that no unlisted premise exists: one did, and the statement now carries it. The label stays "Theorem", stated with the hypotheses its proof uses. Not applied (outside the audit's core-physics scope, owner decision): Complexity.md:73 and ch10-chemistry.md:96 carry the same coupling-matrix eigenvalue wording. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

sh ./build.sh GR Substratum Structure Methodology; sh ./build.sh --book (zero dropped glyphs; 91/56/99/54 pages, book 561). SC-42 committed result regenerated (verdict PASS, added-text scan 0 hits, identical under -O; controls unchanged). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:10:21Z

Response to the owner review at 8cae1d1 — head b6cb598. The PR stays draft for re-review.

Commits: ae6161c (the five items and the universality label), 75dd7f8 (independent review of ae6161c, verdict REVISE, eight required changes, seven applied), ca311b1 and b6cb598 (artifacts and the SC-42 result).

Graviton comparison (Structure §7.7.2 and its summary, :468–:474, :503–:509): conditional throughout. An OI linearized-graviton sector is the open Level-G3 target. The shared IR content and the UV-correction comparison are stated for the case that one is obtained.
Gauge group from the condensate, not the coupling matrix. The coupling matrix is scalar, M = μI₆, with commutant U(6). U(3)×U(2)×U(1) is the stabilizer of the equivariant condensate with distinct block values (SM Theorem 5). Corrected sites:
- appendix B:20, :286, :298, :308, :315, :321, :323; :317 now conditions the stabilizer step on H-cust;
- Substratum Theorem 23 (:193) and its Stage 2 output (:149), :201, :373, :393, :395, :421;
- Structure:152, Methodology:339;
- ch02:118, :164, :186, :200, :214, :216;
- glossary:75, ch05:139.
No coupling-matrix-commutant or coupling-matrix-eigenvalue wording remains in the core corpus.
ch08 (:119, :121, :146, :152) and Methodology:505: 4/3 is a cubic-group identity. Its magnitude as the coefficient ratio is Layer 2(b): the second-order substrate route is excluded, the 7/6 sum rule is the direct test, and the O(λ³) route is recorded, as ch06 and SM §7.3 state.
Structure:432: the closing "confirmation supports both; refutation challenges both" sentence is removed. The paragraph's first sentence carries the LEGEND-1000 confirmation case.
ch05:194: one computed input and three threshold parameters fitted to the three observed couplings (SM §6.3).

GR §8.5 universality. The relabel is withdrawn, and the base "Theorem" text and its coverage row are restored. Checked against its proof dependencies, the KMS step of (C1′)–(C3′) uses local boost structure of the emergent description at the horizon. The section's own dependency review names that premise, and it is the boost-channel Lorentz-sector item of Main §3.5. The theorem's hypotheses at :627 and :677 omitted it; they now include it. The statement keeps the label "Theorem" and carries the hypotheses its proof uses. The ae6161c message's finding that no unlisted premise exists was wrong on this point; 75dd7f8 corrects it. Classical horizon dynamics, also used by (U1), is a presupposition the paper states (§8.5), so it was not added.

Not applied, outside the core-physics scope: Complexity.md:73 and ch10-chemistry.md:96 carry the same coupling-matrix eigenvalue wording. Left for the follow-up should-fix PR, your call.

Your other decisions are recorded and followed: 54e36fa kept, apart from the universality relabel; the ~105 should-fix items go to a separate PR.

Local checks at b6cb598: the release gate passes except lean-axioms, which needs the CI toolchain. That includes architecture_check (0 violations), coverage (130 statements, T-23 fingerprint re-affirmed), staleness, census, and 303 legacy records. SC-42 is PASS with 0 added-text hits, and the committed result has been regenerated.

Generated by Claude Code

CI at b6cb598 (run 42389914376, core B) failed edge_rigidity_probe's R7-A6P guard, which pins ch05:139 to the A6 covariance text the owner adopted. ae6161c had changed its gauge-group clause. The paragraph does not name the coupling matrix ("the matrix structure at each site"), so it is restored to its pinned text rather than changing the guard; its wording is left for the owner's decision. FULL mirrored, book .tex/.pdf rebuilt (561 pages), SC-42 committed result regenerated (PASS). edge_rigidity_probe and the later core B probes pass locally. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:15:49Z

CI red at b6cb598 (core B), fixed in 4c3ed74.

Cause: this PR, not the base. verification/lean/edge_rigidity_probe.py guard R7-A6P pins ch05:139, the A6 background-independence paragraph, to the covariance text adopted earlier. Commit ae6161c had rewritten that paragraph's gauge-group clause as part of the coupling-matrix propagation.

Fix: the paragraph does not name the coupling matrix ("the matrix structure at each site … the commutant U(3)×U(2)×U(1) acts at each site"), and the independent review did not require it. It is restored to its pinned text rather than editing the guard. Whether to bring it in line with SM Theorem 5's stabilizer wording, together with the pin, is left to the owner.

Checks: edge_rigidity_probe and every later core B probe (causal_readback ×3, recurrence_tightness ×2, scaling_family, rooted_classification_t3, physical_c4_toy_instance, dita_defect) pass locally, as do audit_census, architecture, coverage and staleness. SC-42 is PASS, with the committed result regenerated. CI is running on 4c3ed74.

Generated by Claude Code

amaybaum · 2026-11-07T16:20:31Z

Owner-directed release-first follow-up and independent review scope

The owner’s current Codex chat instruction prioritizes completing this release-consistency unit before resuming #1110 → green main → renewed #1173 review. The remaining Complexity.md:73 and ch10-chemistry.md:96 coupling-matrix statements, their book mirror and affected publication artifacts are explicitly included as direct propagation of the existing correction. The unrelated approximately 105 should-fix items remain for a separate follow-up.

Reviewer root is independently reading immutable head 4c3ed74052ef0618e329658da32dcef9d62c430a, separate from this PR’s Claude Code author. Scope: verify the five owner findings and their propagation, the GR §8.5 proof-dependency correction, the later pinned-paragraph restoration, mirrors/artifacts, and ordinary CI at the actual reviewed head. Earlier ACCEPT/REVISE verdicts keep their stated scopes.

The existing writer pushed recently. Writer coordination is pending with the owner; this reviewer is not editing the branch or assigning a competing author. A later head will need its own delta review. No acceptance, ready transition, merge or release tag is implied; the owner’s separate merge/release decisions remain pending.

…f the gauge couplings Owner-directed scope extension (#1182, comment by amaybaum, 2026-11-07T16:20Z): the remaining coupling-matrix statements at Complexity.md:73 and ch10-chemistry.md:96 are direct propagation of the correction made at ae6161c/75dd7f82. The coupling matrix is scalar, M = mu I_6 (SM Theorem 5), and the induced couplings do not depend on the condensate's block values (SM §6.4); the clauses tying independent coupling strengths to independent eigenvalues of M are removed, with the citations pointing to the coupling sections. FULL mirrored; Complexity and book .tex/.pdf rebuilt (36 and 561 pages); SC-42 result regenerated (PASS); edge_rigidity_probe passes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:22:12Z

Writer note on the scope extension (comment 6709731567): the Complexity.md:73 and ch10-chemistry.md:96 coupling-matrix fix is prepared as one local commit on top of 4c3ed74. It is not pushed. The branch stays at 4c3ed74 until the owner settles writer coordination, so the head under independent review does not move.

What it changes:

The sentence fix. Both sites drop the clause tying independent coupling strengths to independent eigenvalues of M. The coupling matrix is scalar (SM Theorem 5), and the induced couplings do not depend on the condensate's block values (SM §6.4). ch10:96 also drops "not by the eigenvalues of $M$". The citations now point to the coupling sections.
Mirror and generated files. The FULL mirror is updated. The Complexity and book .tex/.pdf are rebuilt (36 and 561 pages). The SC-42 result is regenerated (PASS).
Checks. Local checks pass, including edge_rigidity_probe and architecture_check (0 violations).

Not included, flagged for the owner: the next sentence of ch10:96 says the framework reproduces all three couplings at M_Z through self-energy corrections and RG running. It does not mention the three fitted threshold parameters (SM §6.3) that ch05:194 now states. That is the parameter-count defect of item 5, not a coupling-matrix statement, so it was left as it is.

Generated by Claude Code

amaybaum · 2026-11-07T16:25:10Z

CI is green at 4c3ed74. The run on the exact head passed 25 checks and skipped 1, the matrix placeholder. The PR is mergeable with state clean and stays draft.

The Complexity/ch10 commit is still local and unpushed, pending writer coordination.

Generated by Claude Code

amaybaum · 2026-11-07T16:26:49Z

Independent exact-head follow-up: REVISE — the required gauge-matrix propagation is incomplete.

Reviewed exactly 4c3ed74052ef0618e329658da32dcef9d62c430a, against current main 5ea5a40218e4e660b39a9b149050ced4f95d9b48 and the owner-response changes after 8cae1d1e. Reviewer: Codex root, separate from the Claude Code author; this is a model review, not a human review. Authority: release-first follow-up. This is a follow-up to the named owner findings and their propagation, not a new blanket certification of the entire physics corpus.

Required correction

The two owner-identified instances remain:

Complexity.md:73: independent coupling strengths are attributed to independent eigenvalues of coupling matrix M.
ch10-chemistry.md:96, also FULL:2904: the same attribution persists.

The identical error is still visible in the distributed Complexity and book PDFs. These are direct propagation of owner finding 2, now expressly included by the owner; the PR description's deferral of them is superseded.

The supporting anchor is SM Theorem 5: on the H-link single-copy/H-cust branch, the scalar coupling matrix has the custodial symmetry; the equivariant condensate with distinct block values has the smaller product stabilizer. SM §6.3's parameter accounting separately states one computed input and three fitted threshold parameters. A repair must preserve that distinction. Merely substituting “condensate” for “coupling matrix” while continuing to identify coupling strengths with its eigenvalues would not be supported. Likewise, the adjacent “guarantees two widely separated energy scales” inference must be limited to the supplied physical couplings/masses, rather than presented as a consequence of the group factors alone.

Correct the two passages and their necessary local consequences, mirror the chemistry passage into FULL, and regenerate the affected Complexity/book artifacts. Preserve unrelated text and the approximately 105 deferred should-fix items. Publish the successor for a separate delta review.

Owner findings checked at this head

The graviton discussion in Structure §7.7.2, its summary and the remaining-work paragraph now carries the open spin-two/G3 qualification. The IR and UV comparison is conditional on obtaining that sector.
The repaired core gauge sites distinguish scalar M from the equivariant condensate. Appendix B's combined result carries H-link and H-cust and the distinct-block-value condition; Substratum Theorem 23 and its book mirror use block multiplicities. The two propagation omissions above prevent closure of this finding.
ch08:119/121/146/152 and Methodology:505 distinguish the cubic-group identity from production of the coefficient ratio. The Layer 2(b), excluded second-order route and recorded higher-order route agree with the stated SM §7.3 result.
Structure:432 no longer makes the blanket DESI confirmation/refutation claim. The outcomes are distinguished at the scope of the cited GR comparison.
ch05:194 now reports one computed input and three threshold parameters fitted to three observations, matching SM §6.3.

GR universality and the later restoration

The added local-boost hypothesis occurs in both the conditional-universality introduction and theorem statement. It matches the pre-existing KMS dependency described within GR §8.5; it is an inherited condition, not a new derivation of local boost structure. The theorem label is retained with that dependency, rather than removed because of presentation style. This review accepts that bounded repair, not a claim that the physical hypothesis has been established.

The ch05:139 restoration preserves R7-A6P's pinned distinction between covariance, stronger fixed-background invariance and state-dependent coupling graphs. The surrounding gauge-group reading remains governed by the preceding conditional condensate construction. Matching a text pin is not itself evidence for a physical gauge carrier.

Verification

The isolated checkout's tree matches GitHub's immutable tree 11065ef5118b0b5911da477d4ee61fd69e2ed06f; the checkout is clean.
The checked ch02, ch08, ch10, appendix B and glossary contents occur exactly in FULL. ch05 matches after whitespace normalization; the same exact-versus-normalized discrepancy exists on the actual base.
The checked publication PDFs contain the corresponding current review passages. Their page counts and text density are plausible (GR 91, Structure 99, Substratum 56, Methodology 54, Complexity 36, book 561); this was artifact inspection, not a fresh canonical rebuild.
Ordinary CI 42390405895 completed successfully at the reviewed head: 25 successful jobs, one conditional skip, verified through structured run/job records. Green CI does not clear the two prose contradictions.
A separate git diff --check reports one trailing space in the changed SM:1106 paragraph. This is not a scientific blocker or a reason to broaden this unit.

No branch/file/artifact edits, simulation, scientific execution, workflow dispatch, ready transition, merge or release tag were performed. Writer coordination remains pending; the current author is not displaced by this review.

…ouplings and masses Independent exact-head review of 4c3ed74 (Codex root, #1182 comment 6709819866, REVISE) required, beyond the coupling-matrix clauses of 00f189a, that the "guarantees two widely separated energy scales" inference be limited to the supplied couplings and masses rather than presented as a consequence of the two group factors, and that SM §6.3's parameter accounting be preserved. Complexity:73, :77, :89 and ch10:96, :98, :100 now state that the two gauge groups supply two independent couplings and that the separation of the nuclear and atomic scales rests on the couplings' and masses' values; :77 drops the remaining "not by the eigenvalues of M"; the three-coupling reproduction at M_Z names the three fitted threshold parameters (SM §6.3). ch10:18, :108 and :126 restate the same inference and are narrowed as necessary local consequences. FULL mirrored; Complexity and book .tex/.pdf rebuilt (36 and 561 pages); SC-42 result regenerated (PASS); edge_rigidity_probe and architecture_check pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:29:07Z

Successor head cb1e67a is published for a separate delta review. It answers the REVISE at 4c3ed74 (comment 6709819866). The delta from 4c3ed74 is two commits, and the PR stays draft.

00f189a — the coupling-matrix clauses. Complexity:73 and ch10:96 no longer tie independent coupling strengths to independent eigenvalues of M. The coupling matrix is scalar (SM Theorem 5). The induced couplings do not depend on the condensate's block values (SM §6.4).
cb1e67a — the adjacent inference and parameter accounting.
- Complexity:73, :77, :89 and ch10:96, :98, :100. The two gauge groups supply two independent couplings. The separation of the nuclear and atomic scales rests on the values of the couplings and masses, not on the group factors alone. Complexity:77 drops the remaining "not by the eigenvalues of M". The three-coupling reproduction at M_Z now names the three fitted threshold parameters (SM §6.3).
- ch10:18, :108, :126. These restate the same inference and are narrowed as necessary local consequences.
Mirrors and generated files. FULL is mirrored. The Complexity and book .tex/.pdf are rebuilt (36 and 561 pages). The SC-42 result is regenerated (PASS).
Local checks. All pass: edge_rigidity_probe, architecture_check (0 violations), coverage, voice, claims, duplicate and staleness.
Re-grep. No coupling-matrix-eigenvalue reading of the couplings remains in papers/ or book/ chapters. No "existence of two independent scales is structural" wording remains.

Unchanged:

The ~105 deferred should-fix items.
The SM:1106 trailing space the review noted.
ch05:139, which stays restored to its pinned text.

Generated by Claude Code

amaybaum · 2026-11-07T16:31:41Z

Writer coordination resolved. Owner instruction in the current Codex chat: “Let the Claude Code writer finish working on 1182, you can still work on the other items.” The existing Claude Code writer retains this PR and its artifacts. Codex root will make no author edits here. My review of 4c3ed740 remains scoped to that head; the newly advanced head requires its own review. The approximately 105 unrelated should-fix items stay separate. No merge, ready transition or release tag is authorized by this coordination update.

…stinct block values Owner re-review at 4c3ed74 (amaybaum, 2026-11-07, quoted on #1182): correct ch05:139 and update its pin together, specifying the stabilizer of the equivariant condensate with distinct block values under H-link and H-cust, and stating that spatial isotropy alone does not establish those distinct values; preserve the paragraph's distinction between local covariance, fixed-background invariance and the state-dependent graph, and the probe's covariance checks and mutation controls. ch05:139: the final sentence now reads that under H-link and H-cust the cubic decomposition of the link directions fixes the block multiplicities (3, 2, 1) at each site, that spatial isotropy fixes the multiplicities and not distinct block values, and that where the equivariant condensate takes distinct block values its stabilizer U(3)xU(2)xU(1) (SM Theorem 5) acts at each site. The paragraph's first three sentences (covariance, fixed-background invariance, state- dependent graph) are unchanged. edge_rigidity_probe.py: _A6P_CH05_143 updated to the new paragraph, byte for byte; no check or mutation control is removed or altered (R7-A6P P6/P7 and m12 still run against it). FULL mirrored; book .tex/.pdf rebuilt (561 pages); SC-42 result regenerated (PASS). edge_rigidity_probe: ALL CHECKS PASS; release gate locally PASS except lean-axioms (no local toolchain). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:32:25Z

Owner re-review at 4c3ed74, quoted from the Claude Code chat (amaybaum, 2026-11-07), recorded per AGENTS.md §A.42 item 7:

Re-review at 4c3ed74: changes still required, limited to completing the gauge-matrix correction.

The original five findings are addressed at the reviewed sites. The GR theorem now explicitly carries the local-boost premise identified in its dependency discussion; retaining its "Theorem" label is appropriate for this correction. This does not establish that OI physically supplies that premise.

Correct ch05:139 and update its pin together. Specify the stabilizer of the equivariant condensate with distinct block values, under the stated H-link/H-cust assumptions. Spatial isotropy alone does not establish those distinct values. Preserve the paragraph's distinction between local covariance, fixed-background invariance and the state-dependent graph. The probe checks the entire paragraph literally. Updating that expected text is appropriate; preserve its covariance checks and mutation controls.

Include Complexity:73 and ch10:96 in this PR. Both still attribute independent coupling strengths to independent eigenvalues of the scalar coupling matrix. These are instances of the same substantive error, so I would not defer them as should-fix cleanup. Correct the physical account—not merely the matrix's name—and propagate the changes to FULL and generated artifacts.

After those narrow changes, obtain successor-head review and green CI before marking ready.

Disposition at head dd881e3:

dd881e3 (ch05:139). The final sentence now reads: under H-link and H-cust, the cubic decomposition of the link directions fixes the block multiplicities (3, 2, 1) at each site. Spatial isotropy fixes those multiplicities, not distinct block values. Where the equivariant condensate takes distinct block values, its stabilizer U(3)×U(2)×U(1) (SM Theorem 5) acts at each site.
- The paragraph's three preceding sentences are unchanged: covariance, fixed-background invariance, and the state-dependent graph.
- edge_rigidity_probe.py's _A6P_CH05_143 is updated to the new paragraph, byte for byte. No R7-A6P check or mutation control is removed or altered.
- The probe reports ALL CHECKS PASS.
00f189a and cb1e67a (Complexity and ch10). These already carry item 2, as described in the comment above. The coupling-matrix eigenvalue reading is removed. The scale separation is stated as resting on the supplied couplings and masses. The three fitted threshold parameters are named. ch10:18, :108 and :126, and Complexity:89, are narrowed to match.

The FULL mirror, the book .tex/.pdf and the SC-42 result are regenerated. The local release gate passes except lean-axioms, which needs the CI toolchain. The PR stays draft pending a successor-head review and green CI.

Generated by Claude Code

… separation Independent delta review of 4c3ed74..dd881e3 (ACCEPT WITH CHANGES): item 1 (ch05:139 and its pin) and the coupling-matrix correction are complete; five sites still derived the nuclear/atomic scale separation from the two gauge groups alone, against the corrected ch10:98/:100 and Complexity:73/:77. - ch10:106: the periodic table's stability rests on the two groups with coupling values and an electron mass that separate the scales. - ch10:108: "Tier 2 framework prediction" / "Tier 2 confirmation" with the observed values taken as input restated as a reproduction consistent with the commitments, not an independent confirmation. - ch10:124: the thermal-window statement narrowed as ch10:126 was. - ch10:190: the structural list carries the existence of two independent couplings; the separation they set is parametric (consistent with ch10:100 and the fine-tuning paragraph at :194). - Complexity:103: the chain arrow to the scale hierarchy is labelled with its inputs (coupling values, m_e). Complexity:73's antecedent made explicit (reviewer's optional note). FULL mirrored; Complexity and book .tex/.pdf rebuilt (36 and 561 pages); SC-42 result regenerated (PASS); edge_rigidity_probe, architecture, coverage, voice, claims, duplicate and staleness checks pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:37:55Z

Head e124a63. An independent read-only delta review of 4c3ed74..dd881e3 returned ACCEPT WITH CHANGES.

Item 1 accepted: ch05:139 and its pin. The probe string equals line 139 byte for byte, and no check or mutation control was altered.
Coupling-matrix correction accepted.
Five sites still derived the nuclear/atomic scale separation from the two gauge groups alone. All five are fixed in e124a63:
- ch10:106: the periodic table's stability now rests on the two groups together with coupling values and an electron mass that separate the scales.
- ch10:108: "Tier 2 prediction / Tier 2 confirmation" took the observed values as input. It is restated as a reproduction consistent with the commitments, not an independent confirmation.
- ch10:124: the thermal-window statement is narrowed as ch10:126 was.
- ch10:190: the structural list now carries the existence of two independent couplings, with the scale separation parametric. This is consistent with ch10:100 and the fine-tuning paragraph at :194.
- Complexity:103: the chain arrow is labelled with its inputs (coupling values, m_e). Complexity:73's antecedent is made explicit, which was the reviewer's optional note.

FULL is mirrored. The Complexity and book .tex/.pdf are rebuilt. The SC-42 result is regenerated (PASS). The probe passes, as do the architecture, coverage, voice, claims, duplicate and staleness checks.

Not changed (reviewer's record-only notes, outside this unit): Computation.md:61 and ch12:168/:182 label semiconductor behaviour "Structural (scale hierarchy)". That concerns the atomic-versus-thermal scale.

Head e124a63 needs its own review and CI; the PR stays draft.

Generated by Claude Code

…e scale separation Independent delta review of dd881e3..e124a63 (ACCEPT WITH CHANGES): the five fixes hold; three sites still made the thermal window's existence follow from the structural commitments alone, against the corrected ch10:124/:126. - Complexity:107: the chain to "thermal window exists" is labelled with its inputs (conditional; coupling values, m_e), as at :103. - ch10:112: the window exists wherever the couplings and masses separate the nuclear and atomic scales. - ch10:190: the thermal window is listed as structural given that separation. - ch10:108: punctuation (reviewer's optional note). FULL mirrored; Complexity and book .tex/.pdf rebuilt; SC-42 result regenerated (PASS); edge_rigidity_probe, architecture, coverage, voice, claims, duplicate and staleness checks pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:41:18Z

Head d0ba98e. The independent delta review of dd881e3..e124a63 returned ACCEPT WITH CHANGES. All five previous fixes hold. Three sites still made the thermal window's existence follow from the structural commitments alone, and d0ba98e fixes them:

Complexity:107: the chain to "thermal window exists" is now labelled with its inputs (conditional; coupling values, m_e), as at :103.
ch10:112: the window exists wherever the couplings and masses separate the nuclear and atomic scales.
ch10:190: the thermal window is listed as structural only given that separation.
ch10:108: a punctuation fix, from the reviewer's optional note.

FULL is mirrored, the Complexity and book artifacts are rebuilt, and the SC-42 result is regenerated (PASS). The local checks and the probe pass.

Optional notes, not applied (owner's call; same theme, further downstream):

Complexity:324 is the §6.4 summary chain through "scale hierarchy".
Complexity:29 describes §2 as establishing the hierarchy.
Complexity:227, :232, :246 class the thermal window as structural.
ch10:22 reads "two independent energy scales".
ch10:194 names the parametric content without the fitted gauge thresholds. This predates the PR.

Also recorded earlier, out of scope: Computation.md:61 and ch12:168/:182.

The PR stays draft.

Generated by Claude Code

Brings in #1110 (two new files under verification/programmes/oi-qm/; no overlap with this PR's files). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T16:59:46Z

Head 93ce4e7: CI green. The run on the exact head passed 25 checks and skipped 1 (the matrix placeholder). The PR is mergeable with no conflicts. It stays draft.

The merge from main: 93ce4e7 is a merge of main 5254298 (#1110) into the branch. #1110 touches none of this PR's files, and the PR's net diff against main is byte-identical to its pre-merge diff against 5ea5a40. The SC-42 result is unchanged, legacy records 303 are intact, and the local release gate passes except lean-axioms.

The PR now waits on a review of the head since 4c3ed74, and on the owner's decisions listed earlier.

Generated by Claude Code

amaybaum · 2026-11-07T17:07:19Z

Owner re-review at 93ce4e7, quoted from the Claude Code chat (amaybaum, 2026-11-07), recorded per AGENTS.md §A.42 item 7:

Re-review at 93ce4e7: the previous required repairs pass, but the remaining scale-hierarchy claims should be corrected before release. CI is now green: 25 passed, one skipped.

Include the downstream wording sites now. Some are substantive contradictions, not optional polish. Complexity:232 still calls the thermal window structurally derived; ch10:194 still excludes chemistry-supporting structure from the relevant parametric dependence. Carry the corrected dependence on supplied couplings and masses through the listed summaries and tables. Also avoid replacing one unsupported guarantee with another: separating nuclear and atomic scales does not, by the argument presented, establish the overlap of bond stability, reaction rates and solvent conditions—or the environmental cycling claimed at Complexity:246. State those additional conditions explicitly.

Include the semiconductor sites, narrowly. Computation:51–61 explicitly cites the corrected scale-hierarchy argument to claim a suitable semiconductor gap is structural. Chapter 12 repeats this. Although the comparison is atomic-versus-thermal, its asserted justification depends on the same corrected account. Describe suitable gaps and operating temperatures as material-dependent inputs. Update the supporting prose as well as the table labels; preserve the mathematical claim about NAND completeness.

Current-head review: changes requested for that bounded propagation. The condensate correction, fitted-threshold accounting and probe-pin repair are accepted within this delta review. The remaining work is to make their downstream conclusions consistent.

Keep draft until that final patch is reviewed and green.

Start the ~105-item follow-up after the release audit is completed. Keep unrelated cleanup out of this final correction.

Defer Q2A's draft PR until afterward.

Leave K1-RDY drafting under its existing authorization, but defer starting it while the release audit is your priority.

The finishing scope should be explicit: correct the identified scale/thermal claims, their direct summaries and mirrors, and affected artifacts. This does not require a new general audit of chemistry or computation.

The PR stays draft. The final bounded patch follows on this branch.

Generated by Claude Code

…nce downstream (bounded) Owner re-review at 93ce4e7 (amaybaum, 2026-11-07, quoted on #1182): correct the remaining scale-hierarchy and thermal-window claims, their direct summaries and mirrors, and affected artifacts; do not replace one unsupported guarantee with another (the scale separation does not by itself establish the overlap of bond stability, reaction rates and solvent, or environmental cycling); describe semiconductor gaps and operating temperatures as material-dependent inputs, preserving the NAND-completeness claim. No general audit of chemistry or computation. Complexity: :29 (§2 summary), :89 (§2.7: the scale separation gives bond stability; activation energies and solvent are further conditions; their overlap is not established by the separation), :107 (chain arrow labelled with activation energies, solvent), :227 (table row conditional), :232 (thermal-window conditions, not "structural"), :246 (environmental cycling a further condition), :324 (summary chain labelled with the coupling values and masses). ch10: :18, :22, :112, :122, :124, :126, :190 (the three conditions stated; the separation gives only bond stability), :194 (parametric content includes the coupling values and masses with the three fitted threshold parameters, and the activation-energy and solvent conditions). ch11:42: the autocatalysis bullet mirrors Complexity:227 and is conditioned the same way. Computation :47, :51, :55, :61, :68 and ch12 :22, :162, :168, :174, :182, :189: a suitable gap at an operating temperature is a material-dependent input; the atomic scale fixes the order of magnitude of band gaps only; the transistor-to-NAND steps and the NAND-completeness theorem are unchanged. FULL mirrored; Complexity, Computation and book .tex/.pdf rebuilt; SC-42 result regenerated (PASS); release gate locally PASS except lean-axioms (no local toolchain); edge_rigidity_probe passes; no guard pins an edited sentence. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T17:16:37Z

Owner re-review at f23f497, quoted from the Claude Code chat (amaybaum, 2026-11-07), recorded per AGENTS.md §A.42 item 7:

Re-review at f23f497: most corrections pass, but three direct inconsistencies remain.

Bond stability is still asserted for every liquid temperature. ch10:122 retains "at any temperature where a liquid exists" and "always large enough"; Complexity:89 carries the same inference. State the first condition directly as E_bond ≫ kT for the selected molecules and temperature. Nuclear–atomic scale separation does not itself establish that inequality. Propagate this distinction through ch10:18/:112/:124 and ch11:42.

The semiconductor summary still removes the newly acknowledged contingency. ch12:22 introduces material-dependent inputs, then concludes "no additional contingencies." Make its conclusion conditional on suitable materials and operating conditions, matching the corrected §12.7.

The environmental-cycling correction has an inconsistent downstream use. ch12:60 still says the scale hierarchy produces concentration and temperature gradients. Carry Complexity:246's distinction here and into Computation:37: thermal fluctuations do not, by themselves, establish the useful environmental gradients or cycling required by that argument.

The other reviewed changes—including material-dependent semiconductor gaps, fitted-parameter disclosure and the revised thermal-window overlap statement—address the requested findings. NAND completeness remains unchanged. Keep the PR draft for these narrow consistency repairs and successor-head verification.

The repairs follow on this branch.

Generated by Claude Code

…maining direct inconsistencies Owner re-review at f23f497 (amaybaum, 2026-11-07, quoted on #1182) and an independent delta review of f23f497 (ACCEPT WITH CHANGES). 1. Bond stability: Complexity:89 and ch10:122 state the first condition as E_bond >> kT for the selected molecules and temperature; the coupling values and masses set the atomic scale, and the nuclear- atomic separation does not establish the inequality. ch10:18, :112, :124, :190 and ch11:42 carry the same distinction. 2. Semiconductor chain: ch12:22, :162, :193 and Computation:27 and the Complexity:329 chain are conditional on a material with a suitable gap at its operating temperature, matching ch12 §12.7. Computation:51 and ch12:168: alpha^2 m_e c^2 is ~27 eV and sets the eV scale of electronic energies (the previous "~1 eV" and "fixes the order of magnitude of band gaps" were incorrect). 3. Environmental cycling: Computation:37 and ch12:16, :60, :66 state that thermal fluctuations do not by themselves establish the gradients or cycling the argument uses; Complexity:240 and :248 treat cycling (c) as an environmental condition, matching :246. ch11:36 and :46 are conditioned on the thermal window, matching ch11:42. ch10:194: the fitted thresholds attach to the couplings, the masses are listed separately. FULL mirrored; Complexity, Computation and book .tex/.pdf rebuilt (36, 23, 562 pages); SC-42 result regenerated (PASS); release gate locally PASS except lean-axioms; edge_rigidity_probe passes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

amaybaum · 2026-11-07T17:20:02Z

Head aff497f. This head answers the owner re-review at f23f497 and an independent delta review of f23f497 (ACCEPT WITH CHANGES; its items overlap the owner's three and add direct neighbours). CI at f23f497 was green: 25 checks passed and 1 was skipped.

Bond stability. Complexity:89 and ch10:122 now state the first condition as E_bond ≫ kT for the selected molecules and temperature. The coupling values and masses set the atomic scale; the nuclear–atomic separation does not establish the inequality. "Any temperature where a liquid exists" and "always large enough" are gone. ch10:18, :112, :124 and :190, and ch11:42, carry the same distinction.
Semiconductor chain. Each of these sites is now conditional on a material with a suitable gap at its operating temperature, matching §12.7:
- ch12:22 (the "no additional contingencies" sentence is removed), ch12:162 and ch12:193;
- Computation:27;
- the Complexity:329 chain arrow.
Computation:51 and ch12:168 also correct a numerical error. α²m_ec² ≈ 27 eV, and it sets the eV scale of electronic energies. The previous "~1 eV" and "fixes the order of magnitude of band gaps" were wrong.
Environmental cycling. Computation:37 and ch12:16, :60 and :66 now state that thermal fluctuations do not by themselves establish the gradients or cycling the argument uses. Complexity:240 and :248 treat cycling (c) as an environmental condition, matching :246. ch11:36 and :46 are conditioned on the thermal window, matching ch11:42.
ch10:194. The fitted thresholds now attach to the couplings, with the masses listed separately.

Mirrors, builds and checks:

FULL is mirrored.
The Complexity, Computation and book .tex/.pdf are rebuilt (36, 23 and 562 pages).
The SC-42 result is regenerated (PASS).
The local release gate passes except lean-axioms, which needs the CI toolchain.
edge_rigidity_probe passes.

The PR stays draft for successor-head verification.

Generated by Claude Code

amaybaum · 2026-11-07T17:28:19Z

CI green at exact head aff497f (25 success, 1 skipped); mergeable, no conflict with main 5254298. The PR body's commit table, checks and "Not in this PR" section are updated to this head (Complexity:73 / ch10:96 are carried here, no longer deferred).

The PR stays draft pending successor-head review of f23f497..aff497f. Marking ready, merging and tagging are the owner's actions.

Generated by Claude Code

amaybaum · 2026-11-07T17:58:42Z

Owner review at aff497f, quoted from Claude Code chat (amaybaum, 2026-11-07, about 17:58 UTC):

ACCEPT aff497f for the final review. All three findings are resolved. Bond stability is evaluated for the chosen molecules and temperature, the semiconductor conclusions depend on suitable materials and operating conditions, and useful gradients and cycling are explicit environmental conditions. I verified that the edited book passages appear in FULL. […] GitHub reports a clean merge into main, with 25 checks passed and one skipped on the reviewed commit. I recommend marking #1182 ready, merging it, and tagging the release after post-merge CI passes.

Head unchanged at aff497f; mergeable state clean.

Generated by Claude Code

amaybaum · 2026-11-07T18:07:56Z

Merge record. Merged as e61e567 (merge commit; parents main 5254298 and aff497f; tree d40cca02 = reviewed head's tree). Owner approved marking ready and merging in Claude Code chat (amaybaum, 2026-11-07, about 17:59 UTC), after the acceptance quoted above.

Post-merge CI on main at e61e567: green, 28 success and 1 skipped (the matrix placeholder Numerical probes / A42 exclusion), runs 42398979178, 42399348857, 42399348862.

Release tagging is the owner's action.

Generated by Claude Code

…dies branch No file overlap: #1182 touches papers, book, the coverage ledger, the SC-42 result and one Lean probe; this branch adds nineteen files under verification/programmes/oi-qm/reconstruction/ only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

claude added 8 commits November 7, 2026 14:14

Book: regenerate FULL .tex/.pdf after the audit corrections

8b7985f

sh ./build.sh --book; zero dropped glyphs; 561 pages; staleness_check OK. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

Regenerate GR, Structure and book .tex/.pdf after the review corrections

a019561

sh ./build.sh GR Structure; sh ./build.sh --book. Zero dropped glyphs. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

claude added 2 commits November 7, 2026 14:47

claude added 4 commits November 7, 2026 15:57

amaybaum mentioned this pull request Nov 7, 2026

P0: physical observable carrier and evolution selection #866

Open

6 tasks

amaybaum mentioned this pull request Nov 7, 2026

Axiom-checker integrity: short-name matching and non-ASCII identifiers in tools/lean_axiom_check.py #1162

Open

amaybaum mentioned this pull request Nov 7, 2026

OI-QM-EXT-1: establish conditional equivalence with explicit added conditions, then minimize and source them #1169

Open

amaybaum marked this pull request as ready for review November 7, 2026 17:59

amaybaum merged commit e61e567 into main Nov 7, 2026
26 checks passed

amaybaum deleted the audit/release-3.2-corrections-20261107 branch November 7, 2026 17:59

This was referenced Nov 7, 2026

OI–QM: interface studies and source assessments #1173

Merged

SHOULD-FIX-RT: Chapter 18 corrections and parked release-3.2 owner questions #1190

Open

Conversation

amaybaum commented Nov 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Pre-release audit of the core physics corpus: blocking corrections only

What the audit was

What this PR carries

The five most consequential corrections

Checks at head aff497f

Not in this PR

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

Uh oh!

amaybaum commented Nov 7, 2026

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

amaybaum commented Nov 7, 2026 •

edited

Loading

Checks at head `aff497f`