[amaybaum]

This PR is correction unit S2 of the Main proof-independence work on #1029. Merge is not authorized.

The owner authorized implementation as one draft PR (decisions O1–O7, #1029 comment 6581824083), following the independent proposal review (#1029 comment 6581761883, ACCEPT-WITH-CHANGES). The edit set is the reviewed set with RC1–RC3 applied, plus one tuple for the owner-approved O6 scope expansion (Main:224). That tuple is new text and was not part of the proposal review.

Changes

Site	Outcome	What changes
Main:670 (boost/rotation corollary), O1	relocate	The condensate / rotational-protection clause is removed from Main. It is held at full strength in SM:136 and SM §4.1 Corollary 1a (ohInvariant_eq_scalar). Nothing in Main uses it.
Main:354 → GR:134, O2	relocate	The common-mode sentence moves to the end of the GR:134 paragraph with its conditions. Main:72's statement that the picture "is nowhere consumed by a proof here" then holds as written. The first-order drift derivation is not supplied; it stays with P1.
H-Bell (Main:22, :414, :416, :772), O5	relocate	Main keeps the finite Bell result and names the no-signaling part of H-Bell as open. The continuum-curvature clause and the ℓ1 discussion stay at Substratum:133/:171 and SM:150. Main:22(a) reads "(part of H-Bell, …)".
Main:224, G06 and O6	correct / relocate	10^183 is stated as a count for an assumed Planck-order ε, not a calibrated value; the calibration stays in GR:310/:551. The uncited e^{S_dS} bound and the 1/√dim H accuracy estimate are removed. Main's (E/M_Pl)² sentence is removed; SM:130 (ii) and SM:134 hold the Lorentz-violation scaling (E/M_Pl)² at its own status, and Main's broader form is carried nowhere.
Main:702, G28 and C05	relocate / correct	The horizon-calibration report leaves Main (GR §3–§5). Hidden-sector finiteness is stated through posit (ii).
Main:72, X14 residual	correct	The input inventory names the hypotheses of the conditional results.
Main:726 (xi), U10 / O7	retain	A4's two clauses are shown to be logically independent by two countermodels, which the reviewer verified independently under site-wise gauge.
Main:648	correct	The structure count matches the items listed.

LEDGER: two fingerprints move (bell-lattice-obstruction, boost-rotation). No assumption or grade change.

Not changed

• No book file. O3 and O4 are deferred to separately scoped book units. The stale pointers at Explainer:58/:709 and Substratum:467 are recorded for a later unit.
• No downstream citation added to Main.
• No census-registry change.
• Sites owned by S3, P1, C1, Correction planning: scientific overclaims and status corrections (from the 2026-11-01 disposition) #1028 and the Main:356 editorial item are untouched.

Generated files and checks

• Rebuilt with sh ./build.sh Main GR: Main 100 pages (unchanged) and GR 90 → 91.
  • No dropped glyphs, and no U+FFFD in the extracted text.
  • Normalized PDF word changes track the source edits.
  • source-sha256 stamps match.
• Local checks: lean_manuscript_census, coverage_check, voice_check, claims_check, duplicate_check, mirror_check, citation_check, dependency_label_check --strict and staleness_check all pass. The R7-CTN and R7-PTR guards are true.
• SC-42: the --verbose output is byte-identical to the checked-in result, so no regeneration was needed.
• Proof census: only the two reviewed fingerprints move.

One commit on b87733a4; 7 files. #1036 and #1037 stay paused, and the five standing holds (#1009, #1023, #1011, #1003, #918) are unchanged.

---

Generated by Claude Code

[amaybaum]

Exact-head review record: 0aaab912

Verdict: READY-WITH-NITS. The review was independent. The head is 0aaab9129937a36c8dc24af4f5ed4ec5c884eb51, single parent b87733a4, and main is b87733a4. The manuscript change is correct and in scope. The nits are in the PR body and the commit message only. One owner decision is flagged (U10).

O6 / M13 (Main:224): scientifically sound.

• 10^183. Recomputed as log10(L_H/l_p)³ = 182.7–183.0 (H0 = 67.4–73; c/H0 or the de Sitter radius), or 183.3–183.7 with the 4π/3 factor. It is stated only for an assumed Planck-order ε with "∼", matching GR:310.

• e^{S_dS} bound. Substratum:80/:92/:268 (i) hold it conditionally: E3 is a holographic input, applied only to C_V × C_B, under boundary-only dependence. Main's broader removed form had no support.

• 1/√dim H estimate. It has no support anywhere in the corpus. Under its natural reading it is also contradicted:

  • SM:134 puts the lattice-to-continuum spectral departure at (εk)², which is polynomial in ε;
  • a 1D-Laplacian control shows the error exceeds 2^{−N/2} for every N ≥ 12, matching the exact lattice formula.

  Withdrawing it, rather than tracking it as open, is therefore correct.

• (E/M_Pl)². SM:130 (ii) (tree level, radiative stability open) and SM:134 hold only the Lorentz-violation scaling. No universal or trans-Planckian form is promoted anywhere.

• Retained clause. "No independent continuous-spectrum prediction is needed or claimed" is base text and introduces no claim. Optional: write "; … claimed" so it does not read as an inference from the count.

Rest of S2.

• Fidelity. edits_S2c applied to b87733a4 reproduces the head's Main, GR and LEDGER exactly. S2c is S2b plus M13 only.
• Relocations hold at full strength downstream: SM:136; SM:258 with ohInvariant_eq_scalar (CubicIsotropy.lean:81); Substratum:133/:171; SM:150; GR:310/:551.
• GR:134 sits at the end of its paragraph, keeps its conditions and claims no derivation.
• Main:72 is consistent. Main:22(a) reads "(part of H-Bell, …)". No-signaling is posed as open at :22, :416 and :772.
• U10 countermodels were re-derived independently: all 13,824 site-wise gauges, a positive control and a 3D structural check. Their quantifiers stay within the checked setting.
• Main:648 is right.
• Downstream citations in Main fall from 46 to 41, with none added. The refuted route is not kept as open.
• Site ownership is clean, and no book file is touched.
• LEDGER. Only the two fingerprints move, and they match proof_census --json. No grade or assumption changes.
• Generated files. The .tex stamps match and pandoc regeneration is byte-identical. Pages: Main 100 → 100 and GR 90 → 91. No U+FFFD.
• Checks. All checks pass. The R7-CTN and R7-PTR guards are true. SC-42 is byte-equal. No probe-guard pin is lost.
• Mergeability. The result tree equals the head's tree.

CI at 0aaab912. Run 41478853539 is green: 25 jobs passed, and 1 (A42 exclusion (${{ matrix.part }})) was skipped by its condition.

Root test, under #1044 at fad8a269.

• S08 is not a root, so the relocation is correct. Main takes isotropy as an input at :676 and :726 (vi).
• U10 reads as auxiliary. A4 itself is the premise statement, and "its two clauses are logically independent" is a separate result about it. No Main proof uses A4. Item (xi) is listed for the companion reconstruction, and Substratum:98 says Stage 2 uses it. The counter-reading, on which O7 rested, is that the ledger is itself the premise statement of Main's roots. This is an owner decision.

Nits.

1. The PR body misquoted Main:72. Fixed in the body.
2. The PR body and the commit message said "the (E/M_Pl)² statement is held at SM:130/:134"; only the Lorentz-violation scaling is held there. Fixed in the body. It remains in the commit message.
3. The commit message says "configuration count"; it is a count of positions.
4. The commit message's "the only use of the cosmological realization" is broader than the reviewer could verify.

No merge is authorized.

---

Generated by Claude Code

[amaybaum]

Superseded by #1046, per the owner's decision (#1029 comment 6582374258).

The re-cut:

• is based on main 1482b90e;
• relocates U10 to Substratum:98;
• corrects the commit message (review nits 2–4).

This PR stays unmerged, with its review record (comment 6582318797) and CI (run 41478853539) preserved.

---

Generated by Claude Code

[amaybaum]

Administrative closure — superseded by merged PR #1046.

Per the owner’s cleanup authorization, close #1045 without merging. #1046 carried forward the reviewed S2 corrections, relocated U10 to Substratum, and corrected the review nits; it merged as 06df90c963a452d43bb1eef927b8a62c8bbed5e0.

Preserve this PR's independent review record (comment 6582318797), CI run 41478853539, and original head 0aaab9129937a36c8dc24af4f5ed4ec5c884eb51 as historical evidence. No manuscript or branch edits are made by this closure.