[amaybaum]

Finiteness-attribution item of #1015. Authorized by owner ruling #1031 c.6666613671 (amaybaum, 2026-11-05): drafting, local checks, push and draft PR only. Sources: assessment #1015 c.6665780413, and independent review c.6665788290, which governs where the two differ. Owner choices: include the l.38 clarification and GR:669.

Base: main f051916a113c9412b3efbb1ff813ec57c2ed265d. I re-verified every line number at this base before editing.

Current head: e97f34b15b54c545cf4c4b7c660945b579efdd09.

• Edit commit: eb76428b.
• Then the branch-update merge of main 6bf811ae, which gave a899a449.
• Then the SC-42 regeneration commit, e97f34b1.

Edits, by site and triggering finding

Site	Edit	Triggering finding
Main l.38	(status Remark, §1.4; …) → (status Remark, §1.2; …); finiteness per moment → per-moment finiteness of the visible configuration space (Lemma 1)	Wrong cross-reference: the status Remark is at l.62 in §1.2, and §1.4 is Partition-Relativity. "Finiteness per moment" could be read as covering all of S (ambiguity recorded by the owner, c.6665463869; review finding 4)
Main l.46	…but that it acts on a *finite* $S$ (Lemma 1); …, and it is what renders energy and its conservation well defined downstream. → …but finiteness: the observer distinguishes finitely many visible configurations (Lemma 1), and the map acts on a finite $S$ under the total-finiteness posit (§1.2 Remark, §4.5 ledger); finiteness, not the dynamics, is the load-bearing commitment.	Total finiteness of S was attributed to Lemma 1, which proves only that $\mathcal{C}_V$ is finite (l.48). The anchors are the l.62 Remark and ledger (ii) at l.726. The energy clause was an unnamed downstream reference and is refuted in general form (review finding 3)
Main l.718	uses finiteness via the recurrence argument → uses total finiteness (the total-finiteness posit, §1.2 Remark, §4.5 ledger) via the recurrence argument	Row A13(a): coming right after "requires Lemma 1", the unqualified "finiteness" read as Lemma 1's. Only the finiteness sentence changed; A13(b) is untouched
book/ch01-observation.md:28 and FULL.md:372	…but that it acts on a *finite* system; → …but finiteness: the observer distinguishes finitely many visible configurations (Lemma 1), and the map acts on a finite system under the finiteness posit A1 (Chapter 2 §2.4);	Book mirror of l.46 (#1017 M1). The wording follows the chapter's own idiom at ch01:119, and A1 is at ch02:76 in §2.4
GR:142	Lemma 1 requires $S$ finite for the recurrence proof ([Main, §2.3]), and recurrence-scale content… → The recurrence proof ([Main, §2.3]) requires $S$ finite, which Lemma 1 does not supply; recurrence-scale content…	Same misattribution (#1017 M2). Uses the review's semicolon form
GR:589	uses finiteness via the recurrence argument → uses total finiteness ([Main §4.5], posit (ii)) via the recurrence argument	Parity with Main l.718 (review finding 6, recommended)
GR:669	[Main §3]'s Lemma 1 establishes finite-dimensionality from C1–C4; → [Main §1.2]'s Lemma 1 establishes a finite visible configuration space with a finite discreteness scale $\epsilon$;	Wrong section (Lemma 1 is in §1.2) and wrong basis (Lemma 1 does not derive anything from C1–C4). (S3) concerns the discreteness scale, so the sentence now attributes to Lemma 1 exactly what Lemma 1 states (l.48). Review finding 6, included by the owner
book/ch05-gauge-structure.md:23 and FULL.md:1350	— finiteness, causal partition, determinism — → — visible finiteness, causal partition, determinism —	Row A12: without this change ch05 contradicts the corrected ch01:28 and ch02:76. The M8(a) framing qualifier is deferred
Main, GR and FULL .tex/.pdf	Regenerated with sh ./build.sh Main GR and sh ./build.sh --book	§A.25 step 5. The .tex diffs contain only these edits and the source-sha256 stamps
verification/audits/manuscript/bell-operational-reconciliation-20261029/sc42-integration-result.json	Regenerated with check_sc42_integration.py --verbose. Checks 662 → 664, verdict PASS, failed_predicates []	CI core B's byte comparison. The checker emits one "chapter line mirrored in FULL" predicate for every chapter line that differs from its pinned base ca3a5bb2. This PR's ch01:28 and ch05:23 edits add exactly two such predicates, both ok. checker_sha256, site_table_sha256 and both count dicts are unchanged. sc42-integration-controls.json (--self-test) is byte-identical and not changed. The README is not changed: its "498 predicates" is stated at #997's head, and its site total of 60 does not move

ch01:41 and FULL:385 get no edit. That holds only because of the ch01:28 change, which now states the posit before Lemma 3's "on a finite set, injectivity implies surjectivity".

SC-42 committed outputs regenerated for this PR's edits; independent review of the regeneration pending.

Recovery note (energy clause, Main l.46)

Withdrawn as refuted in general form (countercontrols) and as an unnamed downstream reference; strongest valid related result GR:58, which states finiteness and a conserved energy shell as hypotheses; SM:292 records that the selected rule does not supply a positive-definite conserved energy; no relocation needed.

Excluded (not settled here)

• Main l.720–726, including D4. This is a separate scientific obligation.
• Row A13(b)/D-17 at Main l.718 and GR:589: whether the characterization theorem uses the bridge and genericity.
• Main l.16 (abstract): consistent with the posit framing.
• The ch05 M8(a) framing qualifier.
• Adjacent items the review recorded as outside this unit:
  • GR:569 (Lemma 1's justification);
  • glossary:11's §2.5 pointer;
  • the OIRealization.lean docstrings (A9/A10);
  • the probe prose in partition_coupling_probe.py.
• verification/audits/manuscript/observer-relative-finiteness-20261030/scope_controls.py --sources already fails on main. With this PR it has more mismatches (Main:46, ch01:28, GR:142, ch05:23). It is an opt-in historical fixture and is not wired into tools or CI. The record is left as it is.

Checks

Build (canonical toolchain: pandoc and xelatex, no shim):

• sh ./build.sh Main GR: rc 0, no dropped glyphs.
• sh ./build.sh --book: rc 0, no dropped glyphs.
• Page counts, before → after: Main 100 → 100, GR 91 → 91, FULL 562 → 562.

Re-grep of tracked .md files. In each case the remaining hits are all in the observer-relative-finiteness-20261030/DEPENDENCY-AUDIT.md audit record, which quotes the old text. papers/, book/ and README have zero hits.

Pattern	Hits	Of which in the audit record
acts on a \*finite\*	4	4
status Remark, §1.4	0	0
uses finiteness via the recurrence	1	1
Lemma 1 requires \$S\$ finite	2	2
renders energy	1	1
extracted three structural features from this minimal object — finiteness	0	0
Lemma 1 establishes finite-dimensionality	0	0

Local gate checks (run individually unless noted):

Check	rc / result
duplicate_check	0
staleness_check	0 (13 matched, 0 unstamped)
voice_check	0
claims_check	0
lean_manuscript_census	0
coverage_check	0. LEDGER.json fingerprints are unaffected: 130 canonical statements, no fingerprint drift
dependency_label_check	0
mirror_check	0 (no chapter line absent from FULL.md)
release_gate.py (at eb76428b)	Every step passes except lean-axioms, which fails because there is no lake on PATH locally. That is the toolchain, not the change; CI runs it. The passing steps include legacy-records, citation, architecture, v3-receipts and manifest-drift

Rerun at e97f34b1:

• duplicate, staleness, voice, claims, lean_manuscript_census, coverage, artifact_placement and mirror: rc 0.
• legacy_records_check <HEAD>: rc 0 (303 records intact).
• SC-42: the normal and -O outputs are byte-identical, and both replay the committed result and controls.

Other checks:

• The added lines were scanned for the §A.32/§A.33 phrase families and caps emphasis: none found.
• No push-triggered workflow matches this branch or these paths.

Status: independent review pending; merge not authorized

🤖 Generated with Claude Code

https://claude.ai/code/session_011zDyUSyEszk3JJx83uXKKq

[amaybaum]

Independent exact-head review at eb76428b: ACCEPT

This review was read-only. The regenerated .tex files were written to a scratch location only.

1. Scope. One commit on f051916a. Exactly nine .md lines change: Main l.38, l.46 and l.718; GR:142, GR:589 and GR:669; ch01:28; ch05:23; and FULL:372 and FULL:1350. Introduction, README and verification/ are untouched.
2. Each edit matches the reviewed list (SUBSTATE-1: minimal manuscript scope and finite-S dependency audit #1015 c.6665788290).
   • l.38: the §1.2 fix, plus the visible-finiteness clarification (owner's choice).
   • l.46: the energy clause is dropped.
   • l.718: only the finiteness sentence changes. The A13(b) bridge/genericity text is byte-identical.
   • ch01:28: uses the existing "finiteness posit A1 (Chapter 2 §2.4)" wording.
   • GR:142: the semicolon form.
   • GR:589: "([Main §4.5], posit (ii))".
   • ch05:23: inserts "visible" only. The M8(a) qualifier is untouched.
3. Mirrors. ch01:28 = FULL:372 and ch05:23 = FULL:1350. ch01:41 and FULL:385 are unchanged.
4. GR:669 is accurate. The new wording restates Main l.48 (finite visible configuration space with discreteness scale ε) in (S3)'s own terms, and "establishes" matches Main l.62's classification. The wrong section ("§3") and the wrong basis ("from C1–C4") are removed. (S3)'s own requirement stays GR's own, consistent with GR:90, GR:98 and GR:160.
5. Generated files.
   • Main.tex, GR.tex and FULL.tex reproduce byte-for-byte from the head's sources (pandoc 3.1.3, build.sh recipe).
   • The source-sha256 stamps match.
   • The .tex diffs contain only re-wrapped edited paragraphs and stamps.
   • PDF text extraction shows the new text and none of the old phrases. Page counts are 100 / 91 / 562.
   • xelatex was not re-run by the reviewer.
6. Untouched lines. Main l.16 and l.720–726 are byte-identical, so D4 is not affected.
7. Register. No §A.32/§A.33 phrases and no capitals used for emphasis.
8. Recovery note. The PR body carries the review's note verbatim.
9. Old phrases. Zero hits in papers/*.md and book/*.md for "acts on a finite", "status Remark, §1.4", "renders energy", "Lemma 1 requires $S$ finite", "uses finiteness via the recurrence", "minimal object — finiteness", "finite-dimensionality from C1" and "[Main §3]'s Lemma 1".
10. Base moved. main is now c86de537 after docs: distinguish bounded observer access from finite total substratum #1036, which touched README only. There is no overlap with this PR. Integration and exact-head CI are still required.

Merge is a separate owner decision (#1031 c.6666613671). Integration with #1146's Main PR is serialized.

---

Generated by Claude Code

[amaybaum]

Delta check: integration a899a449 and SC-42 regeneration e97f34b1. Verdict: ACCEPT

1. The integration merge a899a449 adds exactly the reviewed content.
   • Parents: eb76428b and main 6bf811ae.
   • Ignoring index lines, git diff 6bf811ae a899a449 equals git diff f051916a eb76428b: 11 files, +64 −58.
   • The PR's files, PDFs included, are byte-identical to eb76428b.
2. e97f34b1 changes only sc42-integration-result.json, adding 8 lines. It has a single parent, a899a449.
3. The checker reproduces both committed files. Run in an isolated scratch checkout of e97f34b1:
   • check_sc42_integration.py exits 0 and its output matches the committed result byte-for-byte.
   • --self-test exits 0 and matches sc42-integration-controls.json byte-for-byte.
4. Both new predicates come from this PR. The check count goes from 662 to 664, nothing is removed, and both additions are ok. They are "chapter line mirrored in FULL" predicates for ch01:28 and ch05:23. Both lines matched the pinned base ca3a5bb2 before this PR. All other fields are unchanged: base, checker hash, site-table hash, counts, verdict PASS, and an empty failed-predicates list.
5. No stated count needs updating. The README's "498 predicates" is dated "at Clarify conditional dimension selection and theorem-specific premises #997's head".
6. CI at e97f34b1: the pull-request run was still in progress when checked.

Merge remains a separate owner decision. It requires green CI at this exact head.

---

Generated by Claude Code