Skip to content

#1190 minimal corrections: 74 fixes (70 APPLY items + 4 review propagations) - #1192

Merged
amaybaum merged 5 commits into
mainfrom
fix/should-fix-minimal-1190-20261107
Nov 8, 2026
Merged

#1190 minimal corrections: 74 fixes (70 APPLY items + 4 review propagations)#1192
amaybaum merged 5 commits into
mainfrom
fix/should-fix-minimal-1190-20261107

Conversation

@amaybaum

@amaybaum amaybaum commented Nov 7, 2026

Copy link
Copy Markdown
Owner

WIP: independent review pending. These are the minimum corrections from the #1190 triage (owner authorization: "only make absolute minimum changes necessary"). Only APPLY items were changed. The DROP items and the §4 owner questions were not touched. Head ba282048215f196ee51f8911ab331f0585ee9386, from main 313a93ef.

Commits

sha group items
22cceca (a) papers + .tex/.pdf Main WP1-04, -14, -16, -19, -20, WP6-05 · GR WP1-14, WP2-08, -10, -11, -12, -15, -16, -21, -22, -28, -29 · SM WP3-19, -21, -22, -24, -28 (subset), -33, -35, -39, WP6-09 · Juno WP3-19 · Substratum WP2-27, WP4-06, -11, -12, -23, WP8-17 · Structure WP2-26, WP3-33, -35, WP4-07, -08, -09, -13, -16, WP6-09 · Methodology WP2-26, WP5-34 (extent clause only)
d4012eb (b) chapters + FULL + book artifacts + SC-42 result ch00 WP5-24, -25, WP8-20, -21, WP2-29 · ch01 WP1-06, -07, -25 · ch02 WP5-25 · ch03 WP4-08, -10, -15 · ch04 WP5-27, -29, -30, WP6-08 · ch05 WP3-26, -27 · ch06 WP3-20, -21, -24, -25, -33, -36 · ch07 WP2-10, -29, WP3-24 · ch19 WP5-29, WP7-11, WP8-18, -19, -24, -28 · appendix-a WP2-29, WP3-34, WP8-11 to -15 · appendix-b WP1-23, -25 · appendix-c WP5-38, -39 · glossary WP5-17, -19, -21
ba28204 (c) metadata book/README.md:62 (WP5-25)

Writer's departures from the triage wording

  • Main stays upstream.
    • WP1-14: Main:698's unsupported sentence is deleted; GR keeps its conditional form.
    • WP1-19: the downstream clause is deleted rather than citing GR.
    • WP1-16: narrowed to the bath-motion term. Its mirrors are left for owner question 11.
  • Deletions instead of new claims.
    • WP2-27: a citation of a nonexistent theorem is removed.
    • WP2-28: "match to better than 1%" is removed.
    • WP2-29: "~1% precision" is removed, together with the "at that precision" that depended on it.
  • Narrowings.
    • WP3-39: one implementation does not reproduce δ₀; whether a correct 2-loop value does is open.
    • WP3-22: generations come from Theorem 8's taste decomposition on the single-copy H-link branch, physical under H-spin'.
    • WP3-26: the normalization is a convention the anomaly conditions leave free.
  • Necessary propagation of the same defect.
    • WP3-20: ch06:322, with new values 3.08×10⁻⁵ → η = 0.355, 0.15σ.
    • WP3-35: SM:1556 and Structure:1069.
    • WP6-09: SM:1574 and Structure:1071.
    • WP4-08: Structure:694 and :869.
  • Largest rewrite, flagged for review. WP5-29 at ch04:190 and ch19:222. The Tier 1 sentences now carry H-link, H-cust, H-spin' and the Cabibbo identification hypothesis, following SM:1422.

Skipped (6)

Checks at ba28204

  • All pass: coverage (130), voice, claims, duplicate, staleness, artifact placement, census, architecture (264/0), mirror (0 absent), citation (109/0), edge_rigidity_probe and legacy (303).
  • SC-42: the result was regenerated and matches the --verbose, normal and -O runs. The controls are unchanged, and the added-text scan has 0 hits.
  • Release gate: everything passes except lean-axioms, which fails locally for lack of a toolchain.
  • Guards: no pinned literal was removed, and no checker or LEDGER fingerprint changed.
  • Page counts unchanged: Main 102, GR 91, SM 151, Juno 22, Substratum 56, Structure 99, Methodology 54, book 562.

Not authorized: merging. Owner questions stay open.

Generated by Claude Code

claude added 4 commits November 7, 2026 23:46
@claude
#1190 minimal corrections (a): papers
22cceca 
Smallest edits correcting evidenced defects listed as APPLY on #1190,
re-verified on 313a93e. Each changed sentence maps to one item:

Main: WP1-04 (proof and scope remark now agree with the theorem: all
seven block structures exactly certified, as phaselock_probes PL1
shows); WP1-14 (unsupported universality sentence dropped from Main,
kept in GR with its (C4) condition); WP1-16 (10^-64 attributed to the
bath-motion term of D, per Main 3.2); WP1-19 (pointer to a nonexistent
Main 7 removed); WP1-20 (undefined "route (ii)" removed); WP6-05
(converse witness qm_generated_by_substratum_extension cited beside
substratum_plus_control_qm).
GR: WP1-14, WP2-08, WP2-10, WP2-11, WP2-12, WP2-15, WP2-16, WP2-21,
WP2-22, WP2-28, WP2-29.
SM: WP3-19, WP3-21, WP3-22, WP3-24, WP3-28 (subset), WP3-33, WP3-35,
WP3-39, WP6-09. Juno: WP3-19 mirror.
Substratum: WP2-27, WP4-06, WP4-11 (subset), WP4-12, WP4-23, WP8-17.
Structure: WP2-26, WP3-33, WP3-35 (mirror at Q9), WP4-07, WP4-08,
WP4-09, WP4-13 (two of three sites), WP4-16, WP6-09.
Methodology: WP2-26, WP5-34 (extent clause only).

Main stays upstream: no downstream citation added. Guards: no pinned
literal removed; claims_check, voice_check, coverage_check (no ledger
fingerprint touched), lean_manuscript_census, architecture_check,
edge_rigidity_probe and SC-42 pass; SC-42 result unchanged at this
commit. Main, GR, SM, Juno, Substratum, Structure, Methodology rebuilt
(0 dropped glyphs, page counts unchanged).

Owner instruction: #1190, 2026-11-08 ("only make absolute minimum
changes necessary").

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
#1190 minimal corrections (b): book chapters with FULL mirrors
d4012eb 
Each chapter edit is mirrored byte-identically into FULL. Items:

ch00: WP5-24, WP8-21, WP2-29, WP8-20, WP5-25.
ch01: WP1-06, WP1-07, WP1-25 (two sites).
ch02: WP5-25 mirror.
ch03: WP4-08, WP4-10, WP4-15 (three sites).
ch04: WP5-27 (three sites), WP6-08 (Methodology 283 wording), WP5-29,
WP5-30.
ch05: WP3-26, WP3-27.
ch06: WP3-20 (J_obs and the implied eta, at both sites), WP3-21,
WP3-24, WP3-25, WP3-33, WP3-36.
ch07: WP2-10, WP2-29, WP3-24.
ch19: WP5-29 mirror, WP7-11 (two sites), WP8-18, WP8-19, WP8-24,
WP8-28.
appendix-a: WP2-29, WP3-34, WP8-11, WP8-12, WP8-13, WP8-14, WP8-15.
appendix-b: WP1-23, WP1-25.
appendix-c: WP5-38, WP5-39.
glossary: WP5-17, WP5-19, WP5-21 (two sites).

SC-42 integration result regenerated (normal, -O and --verbose agree;
controls unchanged). mirror_check, claims_check, voice_check pass.
Book rebuilt: 0 dropped glyphs, 562 pages (unchanged).

Owner instruction: #1190, 2026-11-08 ("only make absolute minimum
changes necessary").

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
#1190 minimal corrections (c): book README
ba28204 
WP5-25: the ch06 entry of book/README.md states the generation count
with its conditions (physical reading on H-spin', chirality on H-χ'),
as ch02 and the SM abstract do. README is not a FULL chapter.

WP3-24's README site was corrected on main by #1187. WP4-17 (census
registry anchors for the Lemma 24.1 / 24.1A families) is not applied:
guard R7-WTS in edge_rigidity_probe.py requires WordTraceSufficiency to
stay kernel-only with no manuscript anchor, so the change needs a guard
redesign and an owner decision.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
#1190 review corrections R1–R4
a09731e 
Applies the four required corrections of the independent review of
PR #1192 at ba28204 (ACCEPT WITH CHANGES):

R1 (from WP1-23): appendix-b B.7.4 Status names I_0 as the single-event
transfer of Chapter 1 §1.5, since the restated lemma no longer defines it.
R2 (WP6-09 propagation): Structure Q9 no longer calls the compositeness
scale structurally forced; SM 8.8 lists it among the identified items
whose derivation is deferred.
R3 (WP5-25 propagation): ch02:186 states the generation count with its
conditions, in the ch00:97 wording.
R4 (WP5-21 propagation): glossary CKM entry obtains the Cabibbo angle
under its identification hypothesis.

Chapter edits mirrored into FULL. SC-42 result regenerated (normal, -O,
--verbose agree; controls unchanged). Structure and book rebuilt:
0 dropped glyphs, 99 and 562 pages.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@amaybaum Claude

amaybaum commented Nov 8, 2026

Copy link
Copy Markdown
Owner Author

Independent review record, condensed from a separate reviewer agent of this Claude Code session. The reviewer is separate from the writer, worked read-only, and fetched nothing.

At ba282048: ACCEPT WITH CHANGES

Applied edits. Every applied edit fixes a defect that was real on 313a93ef. Each is minimal and faithful to its anchor, and none is stronger than its support. Where the writer departed from the triage wording, the result is no stronger and is usually narrower. The extra propagation sites are all needed:

  • WP3-20 at ch06:322;
  • WP3-35 at SM:1556 and Structure:1069;
  • WP6-09 at SM:1574 and Structure:1071;
  • WP4-08 at Structure:694 and :869.

There is no scope creep.

Main independence. No downstream citation was added, and the deletions at WP1-14 and WP1-19 remove Main's only downstream reliance. WP6-05's cited converse is a genuine converse (§A.34).

Numbers recomputed.

  • WP3-19: 0.79σ.
  • WP3-20: η = 12π⁶ × 3.08×10⁻⁵ = 0.3553, which is 0.15σ from PDG.
  • WP3-21 tally: 2 S + 5 C + 6 L + 3 R + 2 E + 3 M + 1 P = 22.
  • WP8-11: 1.2% (0.8σ) and 2.6% (1.0σ).
  • WP8-12: 0.9% (1.2σ).

WP5-29 (ch04:190, ch19:222) follows SM:1422 and does not over-qualify it.

Required.

  • R1. appendix-b:422: the Status paragraph uses I₀, which the edited lemma no longer defines.
  • R2. Structure:1071: "being structurally forced".
  • R3. ch02:186: an unconditioned "three chiral fermion generations".
  • R4. glossary:47: "derives the Cabibbo angle". Each needs its FULL mirror.

Skips.

Checks, all passing:

  • coverage (130), voice, claims, duplicate and staleness checks;
  • census (25 current) and legacy (303);
  • mirror (0 absent), architecture (264/0) and citation (109/0) checks;
  • edge_rigidity_probe;
  • SC-42: --verbose = -O = committed; self-test = committed;
  • the .tex files rebuild byte-identical; page counts are unchanged.

At a09731e68cdeb899958e380ca126377267d627bb: ACCEPT

R1–R4 are applied as given, with FULL mirrors at FULL:820, :6174 and :6630. Nothing else changed apart from the rebuilt Structure and book artifacts and one new SC-42 predicate. SC-42 and the mirror check pass, and the artifacts rebuild byte-identical (99 and 562 pages).

CI at a09731e6: run 42428375732, 25 successful jobs and one conditional skip.

Owner items (open)

  • O1, WP4-17: apply the 24.1 half alone, redesign R7-WTS, or defer both.
  • O2, WP7-13 at ch18:34: accurate inside Q_fb, but it reads as if the coherent extension were the only frontier. Main:20/:226/:556 also name the quadratic dictionary's origin as a frontier item.
  • O3, WP7-16 at ch18:36: the writer departed from an APPLY item that the triage based on owner ruling (i), so this needs owner confirmation.
  • O4, WP5-29 wording: no defect found; needs owner sign-off.
  • O5, SHOULD-FIX-RT: Chapter 18 corrections and parked release-3.2 owner questions #1190 §4 owner questions Q1–Q11: untouched.

Generated by Claude Code

@amaybaum amaybaum changed the title #1190 minimal corrections: 70 APPLY items (papers, book, README) #1190 minimal corrections: 74 fixes (70 APPLY items + 4 review propagations) Nov 8, 2026
@claude
Merge main 1287748 (#1191) into the #1190 corrections branch
c02aa98 
No file overlap: #1191 adds one research file under
verification/programmes/oi-qm/reconstruction/mechanism-1-20261107/.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@amaybaum amaybaum mentioned this pull request Nov 8, 2026
Open
@amaybaum
amaybaum marked this pull request as ready for review November 8, 2026 04:00
@amaybaum
amaybaum merged commit 120b3ca into main Nov 8, 2026
26 checks passed
@amaybaum
amaybaum deleted the fix/should-fix-minimal-1190-20261107 branch November 8, 2026 04:00
@amaybaum Claude

amaybaum commented Nov 8, 2026

Copy link
Copy Markdown
Owner Author

Merge record.

Carried forward on #1190:

  • The ch18:34 and ch18:36 minimal corrections are approved for later and not started.
  • WP4-17 is deferred.
  • Owner questions Q1–Q11 stay parked.

Generated by Claude Code

This was referenced Nov 8, 2026
Open
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@amaybaum @claude