# SGTOE Rev33.1_S369 suite — PAGE-PRESERVING TEXT EXTRACTION — PART 4 (pp 301–400) (house, S369 2026-09-26). Source PDF: SGTOE_Rev33.1_S369_suite.pdf, 15800235 B, 433 pp, # sha256 b64ddcd9e16a6dcdc7ba41c97c5e1b8d087e72e82201ba581bc28db946779c34 (the sealed release PDF; the served copy is byte-identical). Tool: pdftotext -layout, one call per part split on form feeds. # Every page begins with a line '===== PDF PAGE n / 433 =====' — cite that n as the PDF page. Layout text is lossy (math symbols, tables); where a quote matters, # the tex file:line in the release bundle is authoritative. This extraction is a READING AID pinned to the PDF above; it is not a second edition of the suite. ===== PDF PAGE 301 / 433 ===== Leibniz Quantum Beats Newton Appendix S — The Priced Selector: the Mixed Source, the Independence Ladder, and the Closed Arrow-Price Ledger (Rev33.1) Rev27 selector frontier (S244–S245, the D1116–D1121 hexad). Conditional/candidate tier throughout. This appendix does not add an observable; it characterizes the wall. Where Appendix R left the parent-action question as “one loaded kernel and three constants,” this arc prices the discrete half of the same wall exactly: the missing selector is now a closed ledger of named, tiered objects, none derived beyond a single conditional quarter-turn that the candidate action itself pays for. Nothing here is world-scored; no public observable moves; α and colour stay fenced; VCKM = I; the engine is unchanged; KILL-NODE 2 remains fired. Tom O’Sieg August 2026 Posture (binding). Every equation below is conditional on the candidate shape action Sshape of §1, which is itself banked as a zero-parameter candidate and is not promoted (no microscopic theorem forces it; KILL-NODE 2 remains fired). The value of the arc is not a new number but a change of epistemic status for the wall: the discrete selection datum, previously “some mixed tensor,” is resolved into an exactly typed object [jA ] ∈ RP2 and a short shelf of priced candidate axioms. Every quantitative closure was independently reproduced in-house (house double Cayley–Dickson octonions, house S3 /C5 character arithmetic, independent eigensolvers), byte-identical to the executed external kernels, before being banked; the six return round-trips (D1116–D1121) are receipt-verified and bit-portable. Four house over-claims were caught and repaired inside the arc (casualties #4–#7, §7); they are logged, not hidden — the adversarial design is the point. No public observable moves. 1 The mixed source and its exact typing Provenance. The parent-action round A1416 (D1116) supplied the first two exact equations on C with Sshape typed as a conditional candidate; the mixed-tensor typing is A1417 (D1117). Both rounds had no ledger row before S254 and are recorded in Appendix Y §4. The dictionary datum that the interacting vertex (Appendix R) left continuous is the placement source C — ten real amplitudes on which no banked principle had yet written an equation. The candidate shape action closes the first two, conditionally. Novelty label: new specialization proved here. 1 ===== PDF PAGE 302 / 433 ===== Theorem 1.1 (First two exact equations on C; conditional on the candidate). The zero-parameter Gram-shape action built from the banked tensors, 2 Sshape [C] = 14 CC T − tr2G I2 F , Euler equation CC T − tr2G I C = 0, (1)  has, on its nonzero critical stratum, exactly the two nonlinear conditions ∥C1 ∥2 = ∥C2 ∥2 , C 1 · C2 = 0 (2) (the two rows equinormal and orthogonal). The nonzero critical set is Crit̸=0 = R+ × V2 (R5 ) (dimension 8, Hessian rank 2); the κ-completed action reaches dimension 7 (rank 3). The selection is thus 10 → 8 → 7, not a point. Status (strict). The equations are derived from the candidate; no microscopic theorem forces Sshape . The linear-tier rank-0 theorem and this quadratic-tier Gram probe are compatible: the rank-0 result lives on the linear invariants, Sshape on the quadratic Gram (house s890-J1, finite-difference Euler check; five-fold reproduced). The next theorem says why no quadratic action can finish the job. Novelty label: new specialization proved here. Theorem 1.2 (Quadratic-action no-go; the invariant-action census). For the placement representa- tion the invariant dimensions are dim(linear invariants) = 0, dim(Sym2 invariants) = 5, dim(Sym2 invariants) domino parity = 3, (3) (direct 30/60-element group averaging, house s890-J2). Consequently every positive invariant quadratic action selects C = 0 (the dead uniform dictionary Φ = U ); every semidefinite one leaves whole blocks flat. A selected nonzero dictionary requires quartic-or-higher dynamics or a mixed source. This is the exact reason the wall is hard, stated as character arithmetic. It forces the attention onto the mixed source J(A), which the next round types to the coefficient. Novelty label: new specialization proved here. Theorem 1.3 (J(A) typed to C2 with an exact rank criterion). The minimal rescue Sint = 2 ∥C −q(A)a(A) ∥ has full Jacobian rank 10 and unique selection C = q(A)a(A) iff the microscopic 1 T 2 T datum J(A) ∈ Hom(W0 , V±2 ) exists. Under the placement/charge structure of §2 this datum is exactly a pair (z+ , z− ) ∈ C2 (dimR 4), basis {P2 ⊗ I± , JP2 ⊗ I± }, rank Cz = 2 ⇐⇒ Im(z̄+ z− ) ̸= 0 . (4) The factorized q(A)a(A) is the rank-one locus (dimension 3); a full-row-rank dictionary requires a T nonzero relative phase between the two S3 channels. The 4-dimensional price is symmetry-protected, not accidental: EndC5 (V±2 ) ∼= C and the two recipient channels are isomorphic, so nothing banked selects the coefficients (house s891-M2/M3/M5). 2 The placement–charge table and the free attachment Provenance. A1417 (D1117): the placement-charge table ι = 16p and the V±1 exclusion. The odd-sector quantization it rests on is A1407 (D1107). Appendix Y. 2 ===== PDF PAGE 303 / 433 ===== Underneath J(A) sits a complete, exact placement bookkeeping. Novelty label: new specialization proved here. Theorem 2.1 (Canonical section and charge content). The canonical section ι(p) = 16p is the unique additive order-five right-inverse of Z20 → Z5 ; the charge map is r(q) = 4q ≡ −q (mod 5); the even sectors carry (0, +2, −2, 0) and the odd octet carries only 0, ±2, Oodd C5 ∼ = 4 · 1 ⊕ 2 · V±2 , (5) with no object descending onto V±1 (4 ∤ q) — the fifth exclusion of V±1 (house s891-M1). Novelty label: new specialization proved here. Theorem 2.2 (Attachment forced-free). The cover-to-placement attachment is forced at the already- loaded basepoint tier: it costs 0 new bits and 0 new dimensions. The census is exact — additive 4 + 8 = 12, multiplicative 4 × 8 = 32, octet split 4 + 4 + 0 (house s892-N6) — the odd carrier’s 8 real dimensions become available multiplicities (unselected), V±1 stays absent (sixth exclusion, character-chain tier), and the central cover −1 is placement-invisible (χ10 ◦ ι = 1), so the round-trip sign remains cleanly at the orientation/cover tier. 3 The independence ladder Provenance. The ladder assembles A1419 (D1119, anti-alignment), A1420 (D1120, the jA round: [jA ] ∈ RP2 and the null axis (5, −18, 1)) and A1428 (D1124, the kernel axis dying a second time). The V-side quadrature is A1418 (D1118), the hexad’s only blind-adjudicated round. Appendix Y. The arc’s structural spine is a ladder of independence statements: at each new tier one asks whether the banked structure at that tier writes any equation on the mixed coefficients, and the answer is repeatedly no. Each rung is a theorem about the axiom stack, not a conditional on the candidate. Novelty label: new specialization proved here. Theorem 3.1 (Third tier — coherence and weld are silent). The half-ribbon coherence equations and the σCD weld contain √no occurrence of Re/Im z± : the constraint Jacobian has rank 0 exactly (discriminant examples 2, 3, 2 sin(π/7) verified). Neither the ±π/2 quantization nor z− = ±z̄+ is derivable from them. The axiom stack is certified minimal at three tiers (tube · action · weld). The named conditional that would buy the quarter-turn is the common-lift factorization axiom ωmix = ωV ⊗ (1E+ ⊕ −1E− ) (= CASE D), (6) whose adoption prices the mixed tensor at 2 amplitudes + the standing orientation Z2 (house s892-N5; PI decision, not house). Novelty label: new specialization proved here. Theorem 3.2 (Fifth tier — the pulled-back shape and the flat source axis). Through the actual mixed map Cz (x) = u+ w+ (x)T + u− w− (x)T , the Sshape action of Theorem 1.1 pulls back to the exact symbolic identity |x|4 h 2 i S = (|z+ |2 − |z− |2 )2 + 4 Re z̄+ z− . (7) 8 3 ===== PDF PAGE 304 / 433 ===== Since S depends on x only through |x|2 , the source axis [x] ∈ RP1 is exactly flat (the κ-completion is equally blind). The axiom stack is minimal at five tiers (tube · action · weld · geometry · parent-action axis) (house s896-V2). Source side vs target side (Rev29, confirmation and fence). The source-axis independence just stated stands: an S260 report that it had been broken was itself in error, and nothing in the Rev28–Rev29 boundary arc disturbs the flatness of [x] ∈ RP1 under Sshape . Separately, and to fence a distinct error: any canonical ray exhibited on the target side is a target-side object only. No projective identification of the source and target rays is claimed anywhere in this appendix, and the S260 line asserting that source and target were “projectively identical” was false and is not to survive in any form. This appendix carries no canonical target ray; the reader is warned only so that the two sides are not silently welded. Novelty label: new specialization proved here. Proposition 3.3 (The V-side quadrature is derived-conditional). Every nonzero critical point of S obeys |z+ | = |z− | and z− = ±i z+ : the quarter-turn (the semion phase value) is forced by the candidate action itself, conditional on Sshape . This is the arc’s one derived surprise — the action pays for a phase that was previously carried as an axiom — and it is the only datum in the ledger derived beyond counting. 4 The paired-source theorem The correct source model (correcting the retired house doorway, casualty #4) is a single common selector contrast, not independent channel patterns. [LIB2-261] Novelty label: new specialization proved here. Theorem 4.1 (Paired source; the CASE-D locus). With one selector contrast x ( x = 0) and P (w+ , w− ) = (I+ x, I− x), CASE D is realized exactly by the even-parity double-flips on the three A2 root lines [ei − ej ] — six actions, two per line, all substrate-induced; the plus-axes [ei + ej − 2ek ] force the aligned CASE T; a generic [x] admits the identity lift only. The CASE-D locus is codimension one (three RP1 points), and the even-half / parity theorems of the geometry tier stand unchanged (house s896-V1). The trichotomy is now exact: [x] on a root line ⇒ CASE D earned (the axiom retires); [x] on a plus- axis ⇒ CASE T forced (the full-rank branch dies); generic [x] ⇒ no substrate lift. Nothing shipped selects among the three natural encodings (one-hot → plus-axis; generation order (−1, 0, 1) → root line; depth contrast → generic); the coincidence that the generation order lands on a root line is recorded as suggestive, not selected. [LIB2-261] 5 The evaluation relation and the sixth independence The occupancy-to-chamber arrow jA is counted exactly. Novelty label: new specialization proved here. 4 ===== PDF PAGE 305 / 433 ===== Theorem 5.1 (Arrow space and the evaluation relation). Hocc src ∼ 4 · 1 ⊕ 3E (χ = (10, 4, 1)), and = src ∼ HomS3 (Hocc , E) = R (character count 3 = nullspace dimension of the explicit 40 × 20 intertwining 3 system). Schur gives one ray per copy but kills no mixture, so [jA ] ∈ RP2 . (8) The evaluation R3 → E has rank 2 with kernel (5, −18, 1); at the banked contrasts s = (2, −1, −1) (plus-axis), o = (−1, 0, 1) (root line e1 − e3 ), d = (−28, 5, 23) (generic), d = −5s + 18o (exact), (9) and every source axis [x] ∈ RP1 is reachable by an equivariant arrow (house s897-W2). Cartan (Rev29 ). Two distinct 10-dimensional S3 - Naming discipline: Hocc src is not H modules have been carried in this suite under the single name “Hocc .” They are now split by name and must never again be conflated: src ∼ 4·1⊕3E, the source-side occupancy carrier of Theorem 5.1, with S -character • Hocc = 3 src ) = (10, 4, 1); χ(Hocc • HCartan = so(5) = ∼ 3 · 1 ⊕ sgn ⊕ 3E, the Cartan carrier of Appendix T (there so(5) = p4 ⊕ A3 ⊕ B3 with p4 = 2 · 1 ⊕ E, A3 = 1 ⊕ E, B3 = sgn ⊕ E), with S3 -character χ(HCartan ) = (10, 2, 1). Both have dimension 10 and both split as 4 + 3 + 3, which is why the conflation happened; they are nevertheless not isomorphic as S3 -modules. The virtual difference is src Hocc ⊖HCartan = 1⊖sgn, src χ(Hocc )−χ(HCartan ) = (10, 4, 1)−(10, 2, 1) = (0, 2, 0), (10) and (0, 2, 0) is exactly the character of triv − sgn. That difference is exactly AX-COT: the Appendix T axiom buys the (4+3+3) match only after the sign twist B3 ⊗ sgn = 1 ⊕ E, i.e. AX-COT is precisely the undischarged cross-layer clause that absorbs 1 ⊖ sgn. It is therefore a typing axiom with content, not bookkeeping, and no argument may pass between the two modules by calling them the same object. Novelty label: new specialization proved here. Theorem 5.2 (Sixth independence). No banked principle — equivariance, Kan extension, the paired-source theorem, the CRT tick classes, the weld, or the χ-verdict of Appendix O — selects jA . Killing the depth ray does not select order (s and o alone span E); the root-line conditions are full coefficient hyperplanes, not coordinate rays. [LIB2-263] The axiom stack is minimal at six tiers (the five of Theorem 3.2 + the arrow). The order arrow stays suggestive, not selected. [LIB2-262] What the ARROW tier is (Rev29, tier correction). The arrow tier is to be read exactly as follows and in no other way: it is an unattached pre-observation loading/faithfulness datum whose present export is blind. It is not a gauge statement. Nothing here quotients by a redundancy, fixes a frame, or asserts that arrows related by anything are physically equivalent; [jA ] is a loading datum standing before any observation functor is applied, and its export at the present tier is blind, i.e. it distinguishes nothing downstream. Any reading of the arrow row as gauge freedom — and hence as costless — is withdrawn. 5 ===== PDF PAGE 306 / 433 ===== The convention-independent phase law is δz = ∆θ + π4 (ϵ+ − ϵ− ) (mod π); with the relative lift axis ∆θ unpinned, both character types admit nonzero action-critical equivariant points, so the action’s “vote” for the root line is common-lift-conditional only (casualty #5, corrected in place). [LIB2-262] 6 The copy-blindness split The final round splits the obstruction into a derived half and a named-open half. Novelty label: new specialization proved here. Theorem 6.1 (Copy-blindness; the multiplicity tensor). EndS3 (E ⊗ R3 ) = I ⊗ M3 (R) (dimension 9). Then: • Derived: every target-Gram-only action S(X) = F (XX T ) is exactly copy-blind (right-O(3) invariance) — the D1116-class obstruction is now a theorem. • Refuted: “every invariant Gram action is copy-blind” is false — qA (X) = tr(AX T X) is S3 -invariant and selects a copy. The exact closure: the missing selector is a non-scalar multiplicity tensor A ∈ Sym3 (6 coefficients; 5 after scale; 2 if type-diagonal). Symmetry permits it; nothing banked derives it (house s901-Z2). 7 The closed arrow-price ledger Provenance. The price rows collate A1416–A1421 (the D1116–D1121 hexad) with A1426– A1429 (D1122–D1125). Minimal height was refuted-as-canonical in A1421; the one-row axiom compression is A1428; the D1125 candidate is A1429, killed as selector-deriving one round later by A1430 (§8). Round-by-round index: Appendix Y. The arc’s headline is not a value but a closure: the discrete half of the wall is no longer a growing list of hopes, it is a finite ledger of priced objects. Named datum 7.1 (The full-rank rescue price, final at this tier). A full-row-rank selected dictionary requires exactly [jA ] ∈ RP2 × common-lift axiom OR the phase ∆θ × 2 magnitudes × the standing Z2 .  | {z } | {z } | {z } | {z } or: sparsity axiom+branch bit one relative datum |z+ |,|z− | orientation bit (11) Everything is counted; nothing is derived beyond the V-side quadrature (Proposition 3.3, conditional). The candidate-selector shelf that would buy the order arrow is likewise priced, and its cheapest- looking member is refuted as canonical: Novelty label: new specialization proved here. Theorem 7.2 (Minimal height refuted-as-canonical). The house ordering 1 < 2 < 28 exists only in the ray-wise-primitive convention. In the common A2 weight lattice the selector is shorter (∥Pr∥2 = 2/3 vs 2); common-numerator heights (2, 3, 28) and spread/quotient heights (1, 2, 17) also 6 ===== PDF PAGE 307 / 433 ===== pick the selector; a fifth convention (min-representative ℓ∞ ) ties at (1, 1, 9). The exact cause is that per-ray gcd division is nonlinear. Lattice obstruction: over the full arrow lattice, minimal output height 1 is attained on all three root rays by infinitely many mixed arrows (13 projective coefficient rays tie at height 1), so minimal height cannot even replace the sparsity axiom. The surviving form is a new three-clause axiom (single-summand + ray-wise normalization + minimal root height) buying the order arrow at 2 moduli + log2 3 bits by assumption (house s901-Z1). Object Tier Note Sshape (candidate action) candidate, unpromoted §1; KILL-NODE 2 fired first two equations ∥C1 ∥=∥C2 ∥, C1 ·C2 =0 derived-conditional 10 → 8 → 7, Thm 1.1 quadratic-action no-go (0/5/3) theorem Thm 1.2 J(A) = (z+ , z− ) ∈ C2 , rank=2 ⇐⇒ theorem (typing) Thm 1.3 Im z̄+ z− ̸= 0 charge table ι=16p; V±1 excluded; attach- theorem §2 ment free independence at three / five / six tiers theorems §3,5 V-side quadrature z− = ±iz+ derived-conditional Prop 3.3 (the one surprise) paired-source / CASE-D root-line locus theorem Thm 4.1 evaluation relation d = −5s + 18o, [jA ] ∈ theorem Thm 5.1,5.2 RP2 ARROW tier ([jA ] as a tier, Rev29 ) an unattached pre- not gauge; §5 observation load- ing/faithfulness datum whose present export is blind copy-blindness split; tensor A ∈ Sym3 theorem + named-open Thm 6.1 minimal height refuted-as-canonical theorem Thm 7.2 {3-clause height · sparsity · tensor A} candidate axioms, the selector shelf priced House casualties this arc (all lane-caught, all pre-flagged tiers). #4 the independent-channel doorway retired for the paired-source theorem (§4); #5 “the action votes for the root line” corrected to common-lift-conditional (§5); #6 the blanket “≤ 2-parameter completion no-go” withdrawn — a banked-period-70 two-parameter harmonic passes the 0.1% bar at max |∆d| = 3.04 × 10−4 fitted (refused adoption; watch item, Appendix O/X); #7 the depth-exclusion cut retired ([M, Qem ] = 0 forbids identifying the two Z4 labels but not depth sourcing). [LIB2-263] Bottom line. The discrete half of the parent-action wall is now a closed ledger. What was “some mixed tensor” at the start of the arc is, at its end, a fully typed and priced object: a projective selection datum [jA ] ∈ RP2 , a two-magnitude pair, a relative phase available either as a named common-lift axiom or as the unpinned lift ∆θ , and one standing orientation bit — with a short shelf of candidate axioms, each named and priced, and its cheapest member (minimal height) refuted as canonical. Six independence theorems certify that no banked principle shortcuts any of it, and exactly one datum (the V-side quarter-turn) is derived beyond counting, conditional on a candidate action that is itself unpromoted. This is a wall stated honestly to the last coefficient; it selects nothing, promotes nothing, and moves no observable. Conditional / candidate tier throughout; KILL-NODE 2 remains fired. 7 ===== PDF PAGE 308 / 433 ===== 8 The Rev28 boundary arc: obstruction, export, affine cover, AX-MG This section folds the D1126–D1131 arc (assessments A1430–A1435; house verifiers s909–s914, every one ×2 byte-identical, plus one pre-registered prebuild). It supersedes the parts of this appendix that treated the D1125 construction as a selector-deriving parent action, and it closes the boundary question at this tier. 8.1 The transgression obstruction Novelty label: new specialization proved here. Theorem 8.1 (TAM has no universal property of the requested kind; A1430, s909). HomS3 (4 · 1 ⊕ ∼ R3 (20 unknowns, rank 17, nullity 3; basis the three copy projections, Tv T T = (Σv 2 )I2 3E, EA ) = v exact). With the equal-copy metric the coisometric transports form S 2 (RP2 after target sign); no nonzero transport is natural under the copy-isometry group, and every point has O(2) stabilizer — so uniqueness-up-to-unique-isomorphism fails twice over. The partial coimage R3 → R3 / ker Jocc → EA is canonical only once Jocc is supplied, and ker Jocc = R(5, −18, 1) — exactly the banked null axis. Novelty label: new specialization proved here. Corollary 8.2 (AX-AM is a choice). AX-AM is upgraded from “unconstructed” to provably a choice: price [jA ] ∈ RP2 plus one orientation/lift bit (plus AX-MET’s 5 metric degrees of freedom after scale). AX-SPH ⇒ naturality strictly; the converse is refuted by the weighted-trace countermodel τD , D = diag(2, 1). Consequence for D1125 (binding). The D1125 return’s own falsifier #7 fires: the root- line minima do not extend beyond the single evaluated occupancy map. D1125 is killed as a selector-deriving microscopic parent action. It survives as a mathematically consistent loaded finite effective action once TAM , the copy metric and the discrete marking are declared inputs — a demotion of provenance, not an algebraic inconsistency. [LIB2- 260] KILL-NODE 2 is fired unconditionally; the earlier conditional rescue is withdrawn. Correction to the banked record: “all ten C fixed exactly” becomes fixed up to one unselected root-marking torsor point and one orientation branch. [LIB2-260] 8.2 Support, export, and the collapse Novelty label: new specialization proved here. Theorem 8.3 (The annular projector and the categorical absence of q = ±1; A1431, s910). Pann = E0 + E2 + E−2 = 15 3I − φ−1 (R + R−1 ) + φ(R2 + R−2 ) is idempotent, symmetric, of  rank 3, Fourier-diagonal (1, 0, 1, 1, 0). The q = ±1 modes are absent from the finite C5 image: no simple sector supplies V±1 — categorical, not accidental. Since Pann is a polynomial in R, [Pann , U ] = [Pann , L] = 0 and the transfer restricts with no by-hand projection. 8 ===== PDF PAGE 309 / 433 ===== Remark 8.4 (typing, must travel). The theorem lives in the annular/tube representation with the banked C5 rotation supplied; the bare planar f4 = 0 quotient has no rotation and hence no q-support. Novelty label: new specialization proved here. Theorem 8.5 (Operator-ray collapse and non-factorization; A1431). On Im Pann the minimal polynomial of L is x(x − λs ), so L2 = λs L, H2 = φ2 L and Leff = 2φ−3 L: the span {L, L2 , H2 } has dimension 1 on export. The basis ambiguity does not shrink on export — it trivializes, so no exported shape datum can distinguish the routes, ever. Consequently the 0.0331562% two-circulation evaluation does not factor through Pann : were it to, it would be the certified baseline family at w′ = 1.42120, yet it beats that family’s certified global optimum by a factor 3.954412. Its gain lives in the unprojected complement. Novelty label: new specialization proved here. Corollary 8.6 (AX-SEQ). AX-SEQ is killed as a distinct physical completion law: on the exported carrier “sequential circulation” is the rescaling 2φ−3 L, not a new shape. It survives only as that internal rescaling. The orientation bit is retired at 0 bits (the target-plane orientation torsor is canonically {+J, −J}). 8.3 The affine cover and the interface Novelty label: new specialization proved here. Theorem 8.7 (The ladder is the affine universal cover; A1432, s911). The ladder is ℓ2 (Z) with the affine-dihedral algebra R[D∞ ] (Jt = U t J, Jt2 = I, Jt U Jt = U −1 ), lying over a pro-family of algebraic cyclic quotients. Z is neither the inverse limit nor a direct limit of the finite levels: the finite C5 carrier is a quotient level, not an embedded submodule. Two corrections travel with this: the level data is a family until divisibility/compatibility arrows are specified, and periodization is algebraic-then-complete, not a bounded ℓ2 map. Novelty label: new specialization proved here. Theorem 8.8 (Interface obstruction with pointed rescue; A1432). There is no finite-to-ladder section (Z is torsion-free), no continuous section from the profinite side, and Hom(1, ℓ2 (Z)) = 0; the marked evaluation EK , K = {3, 11, 17}, is bounded but not translation-equivariant. No unpointed affine-annular morphism creates the ladder source/evaluation map. The rescue is pointed: in (HZ , [gρ ], K) with gρ (N ) = φ−|N −ρ| the construction is legitimate at the price of one continuous registration coordinate ρ ∈ R/20Z — but only inside the pre-declared golden ansatz; without it the boundary-state choice is infinite-dimensional. Novelty label: new specialization proved here. Theorem 8.9 (The affine support theorem; A1432). λ(k) = −4 sin2 k; the safe set is | sin k| ≤ φ/2 with the golden boundary identity φ/2 = sin(3π/10); Paff = 1Asafe in Borel functional calculus, with kernel p0 = 3/5, vanishing odd coefficients and pj = (1+(−1)j ) sin(3πj/10)/(πj); and Paff |C5 = Pann exactly — the finite theorem recovered from the continuum. 9 ===== PDF PAGE 310 / 433 ===== Remark 8.10 (provenance, must travel). Identifying Paff as the physical export uses a maximal- positivity- domain clause: no continuous parameter, but a real physical attachment, stated as such. Priced axiom 8.11 (AX-AFF-ONSET). The affine-mirror class is ωN (µt ) = [t] ∈ H 1 (C2 , A− ) ∼ = N AN /2AN ; fixed points exist iff ωN = 0 iff (N odd) or (t even). Fixed points push forward, so a commensurate level can never map onto an incommensurate lower one — and the banked pattern (ω6 ̸= 0, ωn≥7 = 0) is exactly where strict pro-functoriality breaks. Price: zero continuous dimensions, one Z2 cohomology defect, and one integer marking at n∗ = 7 — not “one bit” until a finite candidate set is derived. The level structure does not select seven (onsets are placeable at 7, 8 or 9 by parity controls). This closes r1, standing since S229, as a priced input rather than a theorem. The final kill of 0.0331562%. Legally exported and fully re-optimized over the pre-declared bands, the sequential family’s minimax is 0.2744490308% (three-way equioscillation) — a factor 4.05454 better than the affine-safe baseline and a factor 2.74449 above the frozen 0.1% bar. At the old unprojected optimum, ≈36.8% of the output energy lies outside the safe carrier. The 0.0331562% row is dead as exportable physics: a second, final kill at the strictly larger affine tier, with located cause. The 0.2744490308% row stands in the miss column — it is a legal miss, not a rescue. 8.4 Non-selection, and AX-MG as a genuine axiom Novelty label: new specialization proved here. Theorem 8.12 (Non-selection; A1433, s912 33/33 plus a pre-registered prebuild 27/27). For every 0 < r < 1, (L − E(r))gr = −α(r)δρ with E(r) = (1 − r)2 /r and α(r) = (1 − r2 )/r: each r is the unique positive bound-state ray of a natural pointed rank-one attachment. No banked spectral mechanism distinguishes φ−1 . The three candidate mechanisms die individually: the window edge (a zero of f , not a fixed point), the transfer fixed point (only λ = 0), and the ray constant (an overall transfer scale, untouched by the α-family). Independently, the house pre-registered coupling collapse c(κ) = 2 sinh κ is the same statement. Novelty label: new specialization proved here. Proposition 8.13 (Positivity does not select). The family ha = | sin(an)/(πn)|2 is positive, reflection-even and exactly safe-supported, with Gram rank 8/8 and unbounded a-family: the ad- missible cone is infinite-dimensional even under strict safe support. The positivity-uniqueness route is closed permanently. A typing correction travels with it: ĝr (k) > 0 everywhere, so the golden source itself is not safe-supported; the pointed architecture is necessarily gρ ∈ ℓ2 (Z) with Paff acting downstream. Priced axiom 8.14 (AX-MG — normalized Markov-geodesic boundary coherence; A1433–A1435). One unit affine transfer ≡ one complete normalized Fibonacci cap-cup/Jones interface; boundary √ Provenance verified at primary source: amplitudes multiply along the unique rooted geodesic. [P-004] the mounted results carry complete-interface weight 5/2 − 1/2 = φ−1 and isolated cap φ−1/2 exactly. From d2τ = dτ + 1 one gets dτ = φ unique positive, √ composition forces gρ (N ) ∝ φ−|N −ρ| , and the spectral point φ−3 , unit coupling and ∥g∥2 = 5 become corollaries. Final Rev28 wording, two clauses: coefficient-one (one positive real modulus c fixed to 1) + degree-one (one integer m ≥ 1 fixed to 1); zero new numerical constants; only w = cφ−m is scalar-visible. 10 ===== PDF PAGE 311 / 433 ===== Novelty label: new specialization proved here. Theorem 8.15 (Both clauses are independent; A1434 s913, A1435√s914). Degree. The countermodel √ w =2 φ √ pair — A (one interface, −1 : ε = φ−3 , α = 1, ∥g∥2 = 5) and B (two serial interfaces, w = φ : ε = 1, α = 5, ∥g∥ = 3 5/5) — are both coefficient-one banked words, both positive, −2 localized, covariant and support-compatible; no theorem formed from the banked rows selects A over B. Coefficient. The pair A (m = 1, c = 1) and B (m = 1, c = 12 ) agree on normalized trace, quotient/support factorization, internal interface weight and the −1 acceptance; B fails only edge trace-preservation, which was never banked — requiring it inserts the clause itself. The general-c calculus is exact (w = cφ−1 , ε = c/φ + φ/c − 2, α = φ/c − c/φ, ∥gc ∥2 = (φ2 + c2 )/(φ2 − c2 ), localization exactly 0 < c < φ), and the golden rows are equivalent to c = 1, not selectors — so “banked values select c” is permanently blocked. Novelty label: new specialization proved here. Theorem 8.16 (The reduction theorem; A1435). In the M2 (R) model with the diagonal expectation, Tc = cE is unital ⇐⇒ trace-preserving ⇐⇒ idempotent ⇐⇒ c = 1 — and none of those edge properties is banked. They are restatements of the coefficient-one clause, not weaker derivable facts. Any future derivation must produce one of these edge properties from a genuinely new tier. Novelty label: new specialization proved here. Theorem 8.17 (Lift degeneracy; A1435, s914-X10). (m, c) = (1, φ−1 ) and (2, 1) share the scalar character w = φ−2 : scalar-character data alone cannot separate degree from coefficient. Any future boundary-measurement claim must state which lift it sees. This is the first theorem of the observation-functor faithfulness wall (Appendix T, Appendix X). The boundary question, closed at this tier. The reclassification ran: derive gρ (done, conditionally) → derive AX-MG (closed by independence, both clauses) → accept and extract. Nothing derivation-shaped remains at this tier. The boundary ledger reads: AX-MG (two independent clauses, priced, dated) + ρ (continuous) + AX-AFF-ONSET (integer marking). The scalar shadow is real but axiom-fenced: the coefficient-one clause is load- bearing by declaration, honestly typed. 8.5 The conditional operator law, and what it is not Novelty label: new specialization proved here. Proposition 8.18 (Leff , correctly labelled). f (λ) = λ + φ−2 λ2 is positivity-compatible exactly on −φ2 ≤ λ ≤ 0; on the two-step C5 carrier the violating modes are precisely the categorically absent q = ±1. On the affine-safe carrier spec(L) = [−φ2 , 0] is continuous, so there is no ray collapse and Leff = L + φ−2 L2 is nontrivial for the first time on an exported carrier. The completed source lives on the fixed three-site set {ρ − 1, ρ, ρ + 1} and [Paff , Leff ] = 0, so the identity descends. Label (binding, A1436 keep #4). Leff is an exact conditional operator law and a dynamics-tier candidate pending a semigroup/positivity test. It must not be printed as “dynamics” unqualified: nothing banked tests positivity-preservation of etLeff . The law is conditional on AX-MG, value-open, and behind the s900 wall; the golden source/evaluation shape is dead. χ has no value. 11 ===== PDF PAGE 312 / 433 ===== 8.6 Carried rows from the S248 queue Remark 8.19 (merged axiom clause and the null axis). Sshape and AXIOM-K1 merge into a single conditional clause, consequence-equivalent on the positive cone only. The evaluation normal n = (5, −18, 1) spans ker J; the kernel-axis candidate is dead twice (evaluation-null and rescaling), and [jA ] ∈ RP2 stands off shell — collapsing to the order line only at the evaluated tier (Appendix T, Theorem 8.1 notwithstanding: the collapse is an attachment, not a derivation). Remark 8.20 (quarter-turn descent). The V-side quarter-turn z− = ±iz+ descends under D5 parity (Hom = 1+1) and survives inside AX-DIH, whose Z20 compatibility is exact (H 2 = I, HKH = K −1 , HM H = M −1 , H(−I)H = −I): the D5 extension is clock-legal and the one-central-−1 bank is untouched. The D5 reflection is a normalizer involution, typed distinct from the central −I — not a fifth costume. Remark 8.21 (shape diagnostics, unpromoted). The 0.131113% near-bar two-parameter circulation family and the φ5 no-fit obstruction remain value-open remarks behind the s900 wall; nothing is scored. The banked-period-70 two-parameter harmonic remains a watch item, adoption refused. Remark 8.22 (map erratum carried in). The S248 map’s “one gluing datum” line is superseded: there are two independent continuous data at that tier. See also Appendix T, where the gluing question itself is retyped — the sheets are not glued at the F4 tier at all. 9 The selector production arc: eigenspaces, weights, and the priced action shape (Rev31; S278–S279, A1514–A1516) The arc in one sentence (A1514→A1515→A1516). The selector QT — previously a loaded object — is now grammar-derived in stages: its eigenspaces are forced at zero price by the loaded plane’s own transport-defect algebra (A1514, Tier-B unconditional; Appendix E §on the forced interior split); its eigenvalue weights are the Hessian of a rank-normalized carrier-character action, every constant a rank (A1515, the variational representation theorem below); and its nonlinear action shape is not grammar-selected — a four-dimensional moduli space survives, with an explicit, minimal, non-intrinsic selecting clause adopted at S279 as a declared structural principle (A1516). After this arc the selector sector’s loaded content is exactly: the standing 10+1 census, and the adopted principle. Nothing else. Conditional tier throughout; no observable moves. 9.1 The rank-character variational theorem (A1515) Novelty label: new specialization proved here. Theorem 9.1 (carrier character and the selector Hessian; A1515, house s1052). Let PB = iB iT B be the loaded plane, {Ea } the Frobenius-orthonormal p-basis, and Π1 , Π32 , Π36 , Ξ = Π10 − Π26 the zero-price joint-defect projectors of A1514. Then the carrier character of the loaded plane is diagonal in the joint projectors, char (a, b) = tr PB (Ea Eb + Eb Ea ) = 21 Π32 + 23 Π36 [exact],   RB 12 ===== PDF PAGE 313 / 433 ===== and the bar-legal action −1 Fchar = 12 54 tr PB (M + M − 2I) + 54 1 ⟨y, Ξ y⟩ + 12 ⟨y, Π1 y⟩, M = e2Y ,   has its critical point at the base with ∇2 Fchar (I) = QT exactly (house central finite differences of the actual nonlinear functional, maxdev 7.6 × 10−8 , the fd floor). [LIB2-026] Every constant is rank-traced: 16/27 = (24/27)(2/3), 1/27 = 1/r+ , 4/9 = (24/27)(1/2), with 16 = tr PB entering as the derived consistency 24 · 32 = 16, not as an inserted numeral. [LIB2-026] The fence adopted with the theorem (A1515, verbatim posture): no microscopic principle selects Fchar ; the mathematics is Derived/Certified, the attachment Structural/Conditional. [LIB2-026] That fence is exactly what §9.4 prices. 9.2 The two tens are two, and the intertwiner numeral is derived (A1515; house s1053) Novelty label: new specialization proved here. Theorem 9.2 (declared-class negative; A1515 ask-3). The boundary ten (the tangent module of the priced ten-continuous boundary object of Appendix E’s closure section) and the selector ten (the Π10 sector) are inequivalent Kdyn -modules: their Casimirs are 14 I and 16 I exactly, so HomKdyn = 0 by Schur (house s1052, deviations ≤ 7 × 10−16 ). [LIB2-017] The dimension match identifies nothing; any future boundary↔selector bridge must be nonlinear or symmetry-breaking, and priced. [LIB2-017] Novelty label: new specialization proved here. Theorem 9.3 (the obstruction size is the selector’s own Casimir; house s1053). The stacked intertwiner equation of Theorem 9.2 has Gram matrix equal to the Casimir of the Hom module; its singular-value spectrum is therefore exact, sv2 ∈ { 16 (10) , 14 (20) , 12 (70) }. The boundary ten is the adjoint module of Kdyn (bracket closure 4.6 × 10−15 ; equivalence intertwiner residual 4.7 × 10−16 , invertible), so Hom(ad, B) canonically contains one selector-ten copy (k 7→ ρB (k)), and the minimal singular value is svmin = Cassel = √16 [derived]. p The failure of the bridge is by exactly the amount the selector ten turns under Kdyn . Flagged, not asserted, one level up: the numeral equality Cassel = 16 = κ2clock is recorded untyped; no claim attaches. 9.3 The adjoint wall and the quadratic-bridge census (Rev32; S283, A1523 V6/V7, D1210 return §4; two-host byte-certified) The boundary ten’s module structure is now censused exactly, and the census is a wall: the adjoint end-structure is rigid — EndKdyn (ad) = R · I (Schur, End dimension 1), the invariant metric is unique up to scale, there is no invariant symplectic form on the adjoint, no invariant Sym2 self-map beyond the identity class, and the bracket is the unique invariant antisymmetric product. The quadratic bridges between the physical/selector ten P and the boundary ten B are counted exactly: dim HomKdyn (Sym2 P, B) = 1 and dim HomKdyn (Sym2 B, P ) = 2 — so quadratic (symmetry-respecting, nonlinear) bridges exist and are few, and any future use of one must name which of the counted copies it takes and price the choice. [LIB2-089, LIB2-090] Every ten-claim names its ten (the Rev32 carrier fence, Appendix X, clause-27 side). 13 ===== PDF PAGE 314 / 433 ===== 9.4 The selection obstruction, and the adopted principle (A1516; house s1054– s1055) Novelty label: new specialization proved here. Theorem 9.4 (the action shape is not grammar-selected; A1516, win-obstructed). In the declared rank-normalized character-completion class (declaration hashed before analysis; target quarantined until the verdict step), the solution set of “critical point at the base + positive-semidefinite Hessian” modulo equivalence is a four-dimensional moduli space, S ◦ /Eq =∼ R × int ∆3 , three Hessian-weight ratios plus one nonlinear modulus invisible to the complete two-jet. [LIB2-027] (Scope, Rev32.9, A1632: S ◦ is the regular stratum, where the Hessian is positive definite; the positive-semidefinite boundary strata, where a Hessian weight vanishes, are the faces of ∆3 and are not included.) The two-jet map has rank 4 with exact kernel kjet = (1, 0, − 49 , − 16 27 , 0); its integral N = τ − 12 ⟨y, Hτ y⟩ has vanishing two-jet, quartic leading term 27 8 tr(PB Y 4 ), and N ≥ 0 (one-line proof: 2 cosh x − 2 − x2 ≥ 0 with PB and f (Y ) both PSD). Hence Fs = Fchar + s N is a continuous family of inequivalent bar-legal actions all with second variation exactly QT (house s1054, fd floor): exact Hessian agreement does not select the nonlinear action. [LIB2-027] Categorically, the two-jet functor has affine-line fibres and no natural section in the declared condition family; Fchar is neither initial nor terminal and represents no grammar-defined functor. Priced axiom 9.5 (the adopted structural principle Φdiag ; PI adoption S279). The clause Φdiag : {v = 0, w = 0, u = t, 27z = t} — four coefficient relations — isolates exactly the Fchar orbit and is minimal in codimension (dropping any one relation restores a projective one-parameter family). [LIB2-028] It is not intrinsic: it identifies the units of three inequivalent primitive generator lines (inequivalent by Theorem 9.3’s Casimir separation), and independent generator rescaling moves the selected action. [LIB2-028] It is adopted here as a declared structural principle — the named form of the previously implicit choice that nature’s action is Fchar -shaped. [P-007] Sharpening (house s1055): the principle is a principle of the minimal-word class. Under one-word enlargement (τ2 = c tr[PB W 2 ], which has no quadratic jet at all) the moduli grow 4 → 5 and Φdiag requires the further relation t2 = 0; the obstruction of Theorem 9.4 is monotone under class enlargement. The full adopted principle is therefore: word minimality, plus the four diagonal relations. [LIB2-028] This is a typing change, not a census change: the alternative price is the four-dimensional moduli, and the standing 10+1 census is untouched either way. Rev32 status: the remaining question — whether a refined condition family could derive these relations rather than adopt them (F-SEL(c)) — is closed negative, scoped (D1220→A1533): the lead candidate, Casimir-naturality, clears the circularity bar and excludes Φdiag ; no banked refined family selects it non-circularly. The adoption therefore stands at exactly the printed price, and the closure’s scope clause and reopen condition are stated in Appendix E (Rev32 addendum, “the selection frontier”). Bottom line of the production arc. Eigenspaces: forced, zero price (A1514). Weights: a variational representation theorem, every constant a rank (A1515). Nonlinear shape: obstructed — a 4-moduli space with an adopted four-relation principle, minimal and explicitly non-intrinsic, monotone under enlargement (A1516; s1054–s1055). The two tens do not identify (Casimirs 14 vs 16 ), and the obstruction between them is the selector’s own √ Casimir, 1/ 6, derived. The selector sector’s loaded content after this arc: the 10+1 census + the adopted principle. The forbidden sentence stays forbidden; nothing is promoted; no observable, tier, engine value, or clock claim moves. 14 ===== PDF PAGE 315 / 433 ===== Leibniz Quantum Beats Newton Appendix T — The Cartan Carrier, the Observation Functor, and the Record (Rev33.1) Rev28. The D1133–D1146 arc (assessments A1437–A1449; house verifiers s915–s929, every one ×2 byte-identical). Fourteen rounds in which the geometry spine was separated into two operators and one annulus, the transition cocycle was derived at zero continuous parameters, a four-dimensional Cartan carrier was closed inside the Albert signature sector, a reflection-positive state was constructed at finite regulator, and — in the closing five rounds — the physical observation functor was explicitly built, its price reduced to two zero-dimensional clauses, and the actuality row split into a derived record type and a realized value proved to be sample data. Nothing here promotes an observable; α and colour stay fenced; VCKM = I; the engine is unchanged; KILL-NODE 2 remains fired off shell and for the full microscopic loading. Tom O’Sieg August 2026 Posture (binding). This appendix is a ledger of typed objects, not a promotion. Every row below carries the tier its assessment gave it and no more: theorem rows are machine-exact and independently reproduced ×2; derived-conditional rows name the clause they hang on; candidate rows are named and priced but not adopted. Two general fences travel with everything here. (i) The observation-functor faithfulness wall: the question “which loaded choices can any admitted observable distinguish?” has two independent theorems on the books and no computed kernel; until that kernel exists, no scalar bit-or-dimension total is available for this sector, and none is printed (Appendix X). (ii) The standing rule: no χ-completion or χ-expression round runs against the s900 ratio vector until a physical generator and response map exist; the route is generator → semigroup/two-point → normalized response → χ, or nothing. χ is value-open throughout this appendix, and every χ2 = 1/4 statement below lives strictly inside a named attachment. Contents 1 Scope: what this arc did and did not do 1 2 The geometry spine: two operators, one annulus 2 3 The transition cocycle and the corrected object 2 4 The Cartan carrier 4 1 ===== PDF PAGE 316 / 433 ===== 5 The fifth direction, the parent action, and the solder 4 6 Residuals: real structures, the spin–charge no-go, placement 5 7 The state and the measure 6 8 The frontier round: AX-COT, positivity, envelope, actuality 8 9 The three-price closure 10 10 The observation functor OMOS 11 11 The four residuals 13 12 Actuality: the record type is derived, the value is data 13 13 Price ledger and open frontier 15 14 A Clifford isotropy law and a braid representation on V56 (Rev30, A1499) 15 14.1 The universal isotropy law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 14.2 The braid representation, and the fence around it . . . . . . . . . . . . . . . . . . . . 16 15 The carrier arc: from the Albert solder to the remaining physical attachment (Rev32.2 fold, A1553–A1561) 17 15.1 The solder and transported pointing . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 15.2 Why the invariant odd covector failed, and what replaced it . . . . . . . . . . . . . . 19 15.3 The MOS channel, the score solder, and the normalization no-go . . . . . . . . . . . 19 15.4 The declared amplitude premise (PI ruling S300) and the two alternatives not adopted 20 15.5 The intrinsic-basepoint placeholder (declared, no subgroup selected) . . . . . . . . . 20 15.6 State after the fold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1 Scope: what this arc did and did not do Appendix S closed the discrete half of the parent-action wall as a priced ledger. Appendices R and S left three things open that this arc addresses: the geometry spine (how many bulks, how many charts, what “W ” is), the dynamics/measure floor (does a reflection-positive state exist at all), and the observable attachment (what functor takes a substrate object to a number a reader can see). The arc did not derive a mass, did not move an observable, and did not un-fire KILL-NODE 2. What it did is narrower and, we think, more useful: it replaced a family of informal identifications with named operators, computed their relations exactly, and reduced the price of the observable 2 ===== PDF PAGE 317 / 433 ===== attachment to two zero-dimensional clauses plus one realized record — while proving, at each step, that the remaining freedom is not continuous. 2 The geometry spine: two operators, one annulus Novelty label: new specialization proved here. Theorem 2.1 (The two-W separation; A1437, s915 27/27 × 2). The programme’s informal label “W ” denoted two categorically different operators. [LIB2-255] −1 −1 Wsig DKK Wsig = +DKK , Sshell DKK Sshell = −DKK . Wsig is the compact/split Wick chart (order 4, Λ2 -induced, commuting with the grading, Σ = W 2 real ±1); Sshell is the shell or grading-orientation reversal (27+2 ↔ 27′−2 , 1+6 ↔ 1−6 ), anti-symplectic, with SW S = W −1 . Remark 2.2 (terminology, binding). The single label “W ” is retired suite-wide in favour of the pair. [LIB2-255] This was a house nomenclature casualty, lane-caught (S251); it is recorded as such in the casualty ledger of Appendix X. Novelty label: new specialization proved here. Theorem 2.3 (No third cascade; A1437, three independent proofs). The τ -conjugates of DKK are all equal. Triality organizes the 8v /8s /8c fibre; it does not generate a second KK grading. The A4 completion is refuted in both realizations: at the Wick tier τ fixes {Σ, S, ΣS} pointwise, giving V4 × C3 (order profile 1/3/2/6, not A4 ’s 1/3/8); at the Jordan tier τP permutes slot involutions instead. Keeping the order-4 chart, ⟨W, S⟩ closes at order 8, so the precise atlas home of the two charts is D8 × C3 ; at the Jordan tier the group is Z2 × S3 . These are different generator sets, not a contradiction. Remark 2.4 (the honest rider). An A4 completion is constructible only by adding a new cross-layer identification (triality ↔ sheet flips) — a separately priced attachment, not a consequence of D4 triality. Novelty label: new specialization proved here. Theorem 2.5 (One radius; A1437, s915-X5). There is a unique symmetry-fixed radius ray: multiple charts with one shared radius is the only symmetry-compatible reading. Literal multi-bulk readings are priced at up to +5 unforced continuous moduli (extra unforced moduli 1/2/5/3 for 2/3/6/4 copies). 3 The transition cocycle and the corrected object Novelty label: new specialization proved here. Theorem 3.1 (The cocycle, derived at zero continuous parameters; A1438, s916 24/24 × 2, house prebuild 14/14 × 2 pre-registered). g+− = ΓJ = W 2 , the Cayley–Dickson grading involution Γ(p, q) = (p, −q): involutive, an Os algebra automorphism, a cubic-norm automorphism, and 3 ===== PDF PAGE 318 / 433 ===== commuting with DKK , with the shell reversal, and with Peirce triality. It is identically the house’s pre-registered candidate gsplit (trace fingerprint tr27 = +3 against slot class −5), named before the round ran. Novelty label: standard theorem used. Proposition 3.2 (The Albert splitting). 27 = 15+ ⊕ 12− with J15 = J3 (H) and J12 ∼ (+) (−) = (Hℓ)3 ; per Peirce sector 9 = 5+ ⊕ 4− . Novelty label: new specialization proved here. Proposition 3.3 (Čech verdict). All 216 six-chart cocycle equations pass and the cocycle is an explicit coboundary; the transition group is C2 × C3 ∼= C6 , and Γ lies in the identity component via a real unit-quaternion path, so [g] = 0: there is no automatic principal-F4 nontriviality. A reduced flat Z2 (structure group cut to {I, Γ}) survives as one discrete clutching class — possible, but not locally selected, and priced separately. [LIB2-256] Novelty label: standard theorem used. Theorem 3.4 (The non-gluing obstruction; A1438, s916-V7). The restricted norm inertias are Hc : (4, 0) and Hs : (2, 2), so by Sylvester no norm-preserving automorphism carries Hc to Hs : the det-sheet and KV-sheet constructions cannot be glued by an ordinary real frame-preserving F4(4) transition. “Gluing the sheets” was a category error at the F4 tier. Named datum 3.5 (The corrected object BW ). BW = (J3 (OC ), κs , κc , W ) with κc = W κs W −1 and W 2 = ΓJ : a real-form correspondence, not a nontrivial bundle. The two signature presentations are two real structures in one complexified Albert fibre; the κc -fixed locus carries the positive-definite norm |p|2 + |r|2 . [LIB2-256] Bibundle, not bundle — the earlier “nontrivial bundle” reading is superseded. [LIB2-256] Novelty label: new specialization proved here. Theorem 3.6 (The faithfulness wall, second derivation; A1438, s916-V9). Πeven ΓJ = Πeven and P− ΓJ = −P− exactly: the transition is invisible to any readout retaining only the 15-dimensional even sector. Distinguishability requires one of four named new structures — a moving physical projector, a 15/12-mixing connection, an odd-component boundary state, or a frame-moving E6 map. Remark 3.7 (overdetermined). Theorem 3.6 is the observation-functor faithfulness wall of Ap- pendix X, derived a second, independent way: once as an architecture argument (from lift degeneracy, Appendix S) and once as an exact projector computation. The head-wall consensus is overdetermined. Remark 3.8 (accounting correction). Local overlap ̸= global holonomy ̸= Real-form correspondence ̸= physical observation map. [LIB2-257] Charging these as one “W bit” was a conflation; the row is retired and replaced by the four-structure accounting entry. [LIB2-257] 4 The Cartan carrier Novelty label: new specialization proved here. 4 ===== PDF PAGE 319 / 433 ===== Theorem 4.1 (The Cartan closure; A1439, s917 28/28 × 2). tr(Xa Xb ) = −18δab , [Xa , Xb ] = 3Mab , with the exact so-relations for [M, X] and [M, M ]; the closure has dimension 10 and invariant trace inertia (0, 10), hence so(5): an S 4 = SO(5)/SO(4) Cartan geometry inside the Albert signature sector. Consistent index-set rotations give closed real spans with inertias (4, 6) ⇒ so(4, 1) and (6, 4) ⇒ so(3, 2). Remark 4.2 (the AdS branch is priced). The so(3, 2) reading is a conditional import of the banked sp(4, R) ∼ = so(3, 2) seed (no new fit). Absent the import, dS-vs-AdS is one discrete branch, priced. [LIB2-338] Novelty label: new specialization proved here. Proposition 4.3 (Πsig , the carrier projector; s917-C2). Πsig = 16 (I − Γ)(I + τ + τ 2 ) is an exact projector of rank 4 with ΠΓ = −Π and Πτ = Π: the unique rank-4 joint isotype, signature-odd and triality-neutral. Novelty label: new specialization proved here. Proposition 4.4 (Carrier metric and connection family; s917-C1/C3). B has inertia (15, 12); hΓ = B ◦ Γ is symmetric with inertia (27, 0); B(ua , ua ) = −6 and h(ua , ua ) = +6. For x ∈ J− the operator Lx is cubic-compatible, Γ-odd, hΓ -skew and τ -covariant; the family has dimension exactly 12 with a 4-dimensional τ -neutral sector. Remark 4.5 (a guard against retrofit). Ghost-safety alone leaves a 180-dimensional family. What selects the carrier metric is character naturality, not positivity. This is stated so that no reader reads the metric as chosen for its signature. Novelty label: new specialization proved here. Theorem 4.6 (The phase-only no-go; s917-C6). The Albert cubic splits into 29 odd-degree-0 and 60 odd-degree-2 monomials with no odd-parity terms, so a relative phase rescales the two parts differently: the phase-only bridge is not cubic-compatible without a priced weight-(−2) compensator field. 5 The fifth direction, the parent action, and the solder Novelty label: new specialization proved here. Theorem 5.1 (Branching and the canonical fifth direction; A1440, s918 36/36 × 2, prebuild 38/38 × 2). 27 ↓ so(5) = 6 · 1 ⊕ 5 ⊕ 16 with exact Casimir spectrum (06 , 45 , (5/2)16 ). The spin-factor relations ua ◦ ub = 0, ua ◦ ua = n, n ◦ n = −3n give 2(u ◦ u) e5 = − 13 n = − , hΓ (u, u) coordinate-free and u-independent, and V5 = Re5 ⊕ Esig is the spin factor J(Q4 ): one canonical 5D carrier. Terminology fence (binding). e5 is an internal Cartan fifth direction. It is not a derived spatial circle and not a numerical KK radius. No register-C (rest-mass ladder) semantics attach to it: the H5 bridge is not banked, and nothing in this appendix supplies it. 5 ===== PDF PAGE 320 / 433 ===== Novelty label: new specialization proved here. √ Theorem 5.2 (Triality is the imaginary unit; signature is chirality; s918-C5). Jτ = (τ − τ 2 )/ 3 satisfies Jτ2 = −I; with γa = 2Jτ Pa one has {γa , γb } = 2δab and γ0 γ1 γ2 γ3 = Γ exactly, and 1 4 [γa , γb ] = −Mab . The signature involution is chirality. Both Lorentz conventions are internal. Novelty label: new specialization proved here. Proposition 5.3 (Metric and orientation are trace-derived; s918-C4). tr(γa γb )/16 = δab ; tr(Γγγγγ)/16 = ϵabcd over all 24 permutations with repeated-index controls; tr(ΓMab Mcd ) = 4ϵabcd ; tr(ΓPa Pb ) = 0. No epsilon tensor is inserted by hand. Named datum 5.4 (The signature-sector parent action — candidate). Given those traces, 1 R SMM = 4g2 tr(ΓF ∧ F ) is MacDowell–Mansouri, yielding Einstein–Hilbert plus a cosmological term after the Euler discard, with κ = g 2 ℓ2 /2 and Λ = −3ϵ/ℓ2 ; the Einstein–Cartan equations follow, torsion algebraically sourced. [LIB2-168] Scope fence (attested in-return): this is a parent action for the signature/Cartan sector — not the full particle/generation/gauge/mass action. [LIB2-168] It does not un-fire KILL-NODE 2 and does not rehabilitate the D1125 parent action. The action assembly is form-calculus tier; the traces are machine-exact in both lanes. [LIB2-168] Novelty label: new specialization proved here. Proposition 5.5 (The scale is not derivable; s918-C8). (e, ℓ) 7→ (λe, λℓ) fixes both A and F: the dimensionless algebra cannot determine |ℓ|. ℓ registers to the suite’s one banked Bargmann/radion class — no second scale is introduced — and g is one new dimensionless coupling, priced. Named datum 5.6 (SOLDER-BRANCH — argument tier, premise flagged). e = 0 is a stationary branch of every action in the source-free local Lorentz-invariant polynomial class (e-degrees 0/2/4 only; no invariant linear in e). House audit, must travel: the classification premise is encoded as a data table in the lane kernel, not machine-proved; it is standard invariant theory and the variational step given it is elementary, but the grade is argument-tier, not kernel-exact. Priced escape menu: a declared nondegenerate sector, a global/topological sector, a source, or a non-polynomial barrier. Novelty label: new specialization proved here. Theorem 5.7 (Faithfulness retypes the solder problem; A1441, s919 22/22 × 2). ker σD = 0 ⇐⇒ rank e = 4. The polynomial no-go stands unchanged; what changes is the typing: e = 0 is stationary in the connection space but is not an object of the faithful Dirac/observation category. The honest residue — why the physical measure is supported on the faithful sector — is a dynamics/measure question, exactly where the programme’s floor already sits. Zero new continuous price. 6 Residuals: real structures, the spin–charge no-go, placement Novelty label: new specialization proved here. Proposition 6.1 (Branch real structures; s919-V1/V2). All three slot reflections restricted to S16 are exact Real structures (R2 = I, fix-dimension 8, RJτ = −Jτ R, Rτ R = τ −1 , RPa R = −Pa , 6 ===== PDF PAGE 321 / 433 ===== RMab R = Mab ). For the active c3 branch, Fix(Rc3 ) is the minimal Cl(4, 0) module with commutant H (proved specifically H house-side: centre 1 plus traceless-squares-negative; a dimension count alone would admit M2 (R)). Hence the two-complex-Dirac reading is the complexification of one quaternionic real spinor. Priced axiom 6.2 (The branch Real clause). Rc3 Ψ = Ψ. Discrete. It retires the CP1 continuous multiplicity price. Pricing fence: the clause inherits the loaded status of the B-map c3 branch — without a branch the three conjugations are an S3 torsor. Novelty label: new specialization proved here. Proposition 6.3 (The OS/Pin reflection exists in-substrate; s919-V3). Θ = γ0 Rc3 , Θ2 = I, signs (+, −, −, −). Free-fermion reflection positivity remains a conditional import (a background and a positive mass operator are still required). Novelty label: new specialization proved here. Theorem 6.4 (The spin–charge no-go; A1441, s919-V5/V6). The per-chirality complex-linear commutant is M2 (C) on each side, so the multiplicity is C2 per Weyl half; a commuting nontrivial SU (3) needs dimension ≥ 3. Colour cannot act on the Cartan spinor. The tempting ? single-carrier reading S16 = J13 ⊕ J23 is dead, and direct spin–charge locking is refuted. Remark 6.5 (this is colour-protective, not colour contact). Theorem 6.4 protects the programme: spacetime is internal-charge-blind, now derived from the Lorentz side as well, rhyming with the banked colour-blindness exactness. No colour observable is touched; the α and colour fences are untouched. Novelty label: physical interpretation not established here. Proposition 6.6 (Placement, not emergence). Given Theorem 6.4, the fermion bundle must factorize E = (S+ ⊗ FL ) ⊕ (S− ⊗ FR ) with connection ω ⊗ I + I ⊗ ASM , and the existing B-map cubic lifts pointwise to the Yukawa form. What this is not: emergence. The compact GSM boundary, its connection, the B-map selection, the hierarchies and the generation count all stay loaded. Zero new continuous price. Novelty label: standard theorem used. Theorem 6.7 (The conformal-mode obstruction, machine-proved; s919-V9). For generic σ(x0 . . . x3 ), √ R = e−2σ (−6□σ − 6|∇σ|2 ) and gR = div + 6e2σ |∇σ|2 exactly, giving the conformal kinetic term −(3/κ)e2σ |∇σ|2 : the Euclidean MM/EH action is unbounded below in the conformal direction — the conformal-factor problem of Euclidean quantum gravity (G. W. Gibbons, S. W. Hawking and M. J. Perry, Nucl. Phys. B 138 (1978) 141), re-verified here symbolically; the machine proof is of the identity, not of a new result. [LIB2-169] The missing object is precisely a reflection-positive contour, regulator or discrete measure controlling the conformal mode together with the constraints. [LIB2-169] 7 The state and the measure Named datum 7.1 (MCartanΛ,t — a reflection-positive state at finite regulator; A1442, s920 27/27×2). A normalized reflection-positive state exists at the finite Cartan regulator tier: a heat-kernel × Haar 7 ===== PDF PAGE 322 / 433 ===== product on Spin(5) edges, with the discrete solder e = ℓπE (U e5 ) typed exactly and OS reflection positivity from nonnegative Peter–Weyl coefficients plus the crossing split. [LIB2-170] The truncated- kernel Grams are strictly positive-definite at t = 12 and t = 1 with Casimir values {0, 4, 5/2} built from the house 27-representation. The OS Hilbert space and a positive transfer operator exist at finite regulator. [LIB2-170] The standard lattice argument is argument-tier and accepted as typed; the machine controls are exact in both lanes. [LIB2-170] Novelty label: standard theorem used. Proposition 7.2 (Almost-sure faithful soldering). det E = 0 is a nonzero polynomial condition with a smooth positive density, so rank e < 4 has measure zero at every finite regulator. Caveats kept: degenerate configurations remain in the topological support (a continuum limit could concentrate), and a symmetric finite-volume state has vanishing coframe expectation — the AdS coherent boundary state is a choice, typed as such. [LIB2-170] Novelty label: new specialization proved here. Theorem 7.3 (The finite-algebraic gravitational sign problem; s920-W1/W2). On the 16-representation, BC = −tr(TI TJ ) = 4I10 exactly, inertia (10, 0); BMM = tr(ΓTI TJ ) has characteristic polynomial λ4 (λ − 4)3 (λ + 4)3 , hence inertia (3, 3, 4) — self-dual positive, anti-self-dual negative, transvections null. [LIB2-171] The pure MM/EH weight cannot be a positive coercive covariance. [LIB2-171] This is the finite-algebraic twin of the conformal-mode obstruction (Theorem 6.7). Novelty label: new specialization proved here. Proposition 7.4 (The positive completion cone). Bα,β = αBC + βBMM > 0 ⇐⇒ α > 0, |β| < α, with spectrum {4α×4 , 4(α + β)×3 , 4(α − β)×3 }; the nonzero boundary α = |β| > 0 is chiral-null (inertia (7, 0, 3)); the apex α = β = 0 is the zero form (Rev32.9, A1674 F02). [LIB2-172] Not yet established: nonlinear RP at β = ̸ 0 was closed only for the anisotropic heat-kernel family (below); a simplicity/constraint mechanism giving GR rather than Cartan Yang–Mills; and the continuum RG limit. [LIB2-172, LIB2-189, LIB2-301] Novelty label: new specialization proved here. Proposition 7.5 (The free quaternionic fermion measure is positive; s920-W6). On the h- orthonormalized branch module the Euclidean gammas are real symmetric, the quaternion commutant units commute with Dfree , and det(mI + D) = m8 (m2 + 3)8 exactly, so on the √ regulated branch module D is a 24-dimensional operator (eigenvalue 0 with multiplicity 8, and ±i 3 with multiplicity 8 each; Rev32.9, A1677 F04). [LIB2-188] Kramers positivity is confirmed. Fence: positivity is not generic (break controls in both lanes); the free sector is closed, the interacting chiral sector is open. [LIB2-188, LIB2-307] The named missing object is tdet , a gauge-invariant, reflection-compatible, globally phase-consistent trivialization of the chiral determinant line — anomaly cancellation is necessary but not sufficient. [LIB2-188, LIB2-307] Novelty label: physical interpretation not established here. Proposition 7.6 (The global Z2 , retyped; s920-W3). C5 = Γ|5 has determinant +1, fixes e5 and is −I4 on Esig ; conjugation fixes M and flips P , so e → −e is an ordinary SO(4)-stabilizer gauge move in the compact Euclidean regulator. After continuation, −I4 is determinant +1 but non-orthochronous, so the global bit retypes as SO(3, 1)/SO+ (3, 1) time-orientation data selected by boundary condition. The identification with the banked FTS shell reversal remains structural, not derived. 8 ===== PDF PAGE 323 / 433 ===== Remark 7.7 (the measure does not select the branch). Under any S3 -invariant finite-volume state the S3 orbit of the ordered golden vacuum has equal weight: the active c3 branch is extremal/boundary- state data (or a future SSB limit), exactly consistent with the S3 -torsor pricing of Axiom 6.2. No silent upgrade occurred. 8 The frontier round: AX-COT, positivity, envelope, actuality Priced axiom 8.1 (AX-COT — the Cartan–occupancy transgression; A1443, s921 30/30 × 2). selector/order/depth ≡ transvection/polar/oriented-axial. [P-003] The S3 relabelings are Lie-algebra automorphisms of the banked so(5), and so(5) = p4 ⊕ A3 ⊕ B3 with p4 = 2 · 1 ⊕ E, A3 = 1 ⊕ E, B3 = sgn ⊕ E, so B3 ⊗ sgn = 1 ⊕ E: the (4 + 3 + 3) match against the banked source-side occupancy src ∼ 4 · 1 ⊕ 3E is real. The load-bearing clause: the identification of the two (4 + 3 + 3) carrier Hocc = systems is a cross-layer physical typing that representation theory does not force. Zero continuous moduli. Naming and the exact size of the clause ( Rev29). The two objects are different and are never both to be called “Hocc ”: the source-side carrier is Hocc src ∼ 4 · 1 ⊕ 3E with S -character χ = (10, 4, 1) = 3 (Appendix S, Thm. “Arrow space and the evaluation relation”), while the object named here is the Cartan carrier HCartan = so(5) = ∼ 3 · 1 ⊕ sgn ⊕ 3E with χ = (10, 2, 1). Both are 10-dimensional and both split 4 + 3 + 3, but they are not isomorphic as S3 -modules; the virtual difference is src ⊖ H Hocc Cartan = 1 ⊖ sgn, with character (10, 4, 1) − (10, 2, 1) = (0, 2, 0), which is exactly the character of triv − sgn. That difference is exactly AX-COT: the match above is obtained only through B3 ⊗ sgn = 1 ⊕ E, so the sign twist absorbing 1 ⊖ sgn is the axiom’s content, and AX-COT is precisely the price of turning (10, 2, 1) into (10, 4, 1). Novelty label: new specialization proved here. Theorem 8.2 (AX-COT independence; A1444, s922 45/45 × 2). Every proposed derivation route fails exactly: S3 matching (endomorphism dimension 25), positive metrics (an O(4) × O(3) residue), semantic blocks (an O(2) survives), the kernel line (exact rational countermodel), the order↔depth swap (equivariant orthogonal, but it moves the arrow), and the Gram/eigenline rescue (copy-unit dependent, hence metric-circular). Ordinary equivariance is provably insufficient. Price: one independent cross-layer typing row with zero continuous moduli — the same epistemic shape as AX-MG after its two independence theorems. Novelty label: new specialization proved here. Theorem 8.3 (The AX-COT continuous-stabilizer obstruction is a theorem; A1445, s923 71/71×2). Solving JQ = J for fully general Q gives exactly Q = I + nwT (solution space of dimension 3); the wT n = 0 subgroup is 2-dimensional, determinant-one, fixes n and moves (0 : 1 : 0); the Euclidean metric cuts the orthogonal stabilizer to exactly {I, Hn }, which still moves the order axis. The obstruction is now a theorem, not an example, and AX-COT stays independent. Novelty label: new specialization proved here. Proposition 8.4 (The selected arrow, conditional; A1443, s921-U2). adP0 annihilates B3 , maps A3 isomorphically onto the spatial solder, and p is the solder target, so [jA ] = (0 : 1 : 0) projectively: the OS time direction conditionally selects the arrow. The RP2 wall is removed only at a new tier 9 ===== PDF PAGE 324 / 433 ===== — the six-tier finite-category independence theorem of Appendix S stands untouched; this is a bypass from above, not a boundary derivation. KILL-NODE 2 remains fired: the ten C-coefficients follow only under the triple conditional load AX-COT + the D5 mixed dictionary + the Stiefel/radial branch, and the Stiefel/radial domain is underived. The ARROW tier is not gauge (Rev29, tier correction). The arrow tier carried by [jA ] — here and at Theorem 9.1 — is to be read exactly as an unattached pre-observation loading/faithfulness datum whose present export is blind. It is not a gauge statement: no redundancy is quotiented, no frame is fixed, and no equivalence between distinct arrows is asserted. The conditional selection above is a bypass from a new tier, which is why the RP2 datum survives it as a loading, not as gauge freedom; its present export is blind, and the Appendix S six-tier independence theorem stands untouched. Novelty label: new specialization proved here. Proposition 8.5 (Nonlinear OS positivity and the path no-go; s921-U3). The chirality spectrum {−13 , 04 , +13 } relative to BC = 4I is exact; Lα,β is a positive elliptic invariant on the whole cone α > |β|, the heat semigroup is a positive Markov convolution, and the reflected-kernel factorization gives OS positivity. [LIB2-189] But for β ̸= 0, α = 0 lies outside even the closed cone (the apex (0, 0) is in its closure; the no-path result concerns the nonzero pure-MM weight — Rev32.9, A1677 F03): no continuous positive path in this family reaches pure MM/EH. [LIB2-190] The named route is a simplicity/Plebanski-type constraint sector projecting the positive Cartan measure onto a gravitational subspace. [LIB2-190] Novelty label: standard theorem used. Theorem 8.6 (No linear projector for simplicity; A1444, s922-T6). Some sums of simple bivectors are nonsimple (e1 ∧ e2 + e3 ∧ e4 has rank 4, while e1 ∧ e2 + e1 ∧ e3 is simple), so no linear projector retracts onto the full simple-bivector variety: keeping the full condition needs a nonlinear construction (Rev32.9, A1677 F02). [LIB2-191] A positive nonlinear simplicity weight exists at finite regulator: the sum-of-squares penalty exp(−λ i pi (B)2 ) in the five Pfaffian minors pi , on the fixed-norm P bivector domain (compact, so 0 < Z < ∞ for every λ ≥ 0), with reflection positivity by the standard paired-multiplication argument (argument-tier; s922 T6 notes). The reflection and the reference measure are those of the finite-regulator state of Named Datum 7.1; the admissible multipliers are the reflection-paired products, whose pairing for this weight is not written out here. The weight is soft: its support is the whole fixed-norm domain, and the Pfaffian variety is reached only in the hard-constraint limit λ → ∞, which is not taken (Rev32.9, A1677 F06; through Rev32.8 this read “a positive nonlinear simplicity measure (fixed-norm Pfaffian variety . . . ) does exist” and called gravity-measure existence closed). Gravity-measure existence is argument-tier at that tier; Einstein universality — the AdS linearized spectrum of the sourced heat-kernel action — is the remaining named object. [LIB2-192, LIB2-301] Novelty label: new specialization proved here. Proposition 8.7 (The associative envelope; s921-U4/U5). odd ◦ odd ⊂ J+ (all 78 products Γ-even), rank QΓ = 15 exactly, the solder 4-plane alone squares to the e5 ray, and Sym2 (J− ) ↠ J+ = J3 (H) ,→ M6 (C)sa with ι a Jordan homomorphism on all 225 basis pairs. Scope: this advances the open associative-projection condition at the quadratic Γ-even graded tier only — not the full exceptional parent, not arbitrary composites. 10 ===== PDF PAGE 325 / 433 ===== Novelty label: standard theorem used. Proposition 8.8√(Born/Tsirelson at regulator tier, and the actuality no-go; s921-U7). The CHSH spectrum is {±2 2, 0, 0} exactly and the Born probabilities are operator-algebra theorems inside the regulator image. The symmetric two-outcome state is swap-invariant while no character is, so a probability law does not imply one realized outcome — generalized in A1444 to any nontrivial transitive G-set. The Appendix L firewall between conditional Born/Tsirelson structure and the single-outcome problem is respected and now theorem-backed. Novelty label: physical interpretation not established here. Proposition 8.9 (Protective negatives). Pure Cartan/gravity operators act as XS ⊗ IF , scalar on the internal B-map factor, so they cannot distinguish yu , yd , ye , yν : the scoped within-generation hierarchy no-go is untouchable from the spacetime side. Compactness is derived; it is not group selection — the SM group stays loaded. Novelty label: standard theorem used. Proposition 8.10 (Global anomalies and Z6 ; A1444, s922-T8; doc-gate arXiv:1910.11277 fetched and confirmed). The bordism table is known-literature; the matter side is kernel-exact in both lanes (12 doublets ≡ 0 mod 2; ΣY = ΣY 3 = 0), so there is no global gauge anomaly for any q ∈ {1, 2, 3, 6}. Under the local-faithfulness principle — one named discrete clause — ker ρlocal = Z6 by exact 36-element enumeration and Geff = (SU (3) × SU (2) × U (1))/Z6 with no continuous parameter. The global bundle/line-operator tier stays open, and gauge-group emergence is not claimed. Novelty label: new specialization proved here. Theorem 8.11 (The χ source–response wall; s922-T5). The Spin(4)-invariant symmetric response space is exactly 2-dimensional and (5)Spin(4) = Re5 exactly, so a linear Lorentz-scalar source is uniquely the normal line, with conditional channel response 1/4. The state and the generator cannot fix χ. The named missing object is Nmass : a normalized physical response map into the mass quadrature, with LSZ/self-energy attachment and dimensional registration. [LIB2-302] The 1/4 here is a typed structural channel constant behind an unproved coupling clause; no χ value moves. ERRATUM (issued S253, binding). An earlier row of this arc stated: “D5 - representation commutant = 3, hence lift ambiguity = 8 orthogonal / 4 orientation-preserving, zero continuous.” The commutant-3 count was computed on the wrong carrier — the 5-point permutation module (1 ⊕ V1 ⊕ V2 , multiplicity-free, reflection inertia (3+ , 2− )). [LIB2- 258] The actual chamber carrier ⟨U0 , S⟩ is V2 ⊕ 1 ⊕ 2ϵ (reflection inertia (2+ , 3− )) with a 6-dimensional commutant containing an O(2) complement-frame gauge — not a finite sign set. The finite-sign price row is retired and replaced by the minimal-dilation theorem (Theorem 9.3). “Zero continuous” stands; the discrete residue did not. [LIB2-258] Machine proof s924-W2/W3 (47/47 × 2). This correction was caught by the review lane against a house-signed row and is recorded here rather than absorbed silently. 9 The three-price closure Novelty label: new specialization proved here. 11 ===== PDF PAGE 326 / 433 ===== Theorem 9.1 (The order line; A1446, s924 47/47 × 2). log(Jvac )/ log φ = diag(1, 0, −1) is the unique trace-free normalized logarithm, so o = −Dφ on the nose; the centered ∆2 -harmonic line is uniquely R(−1, 0, 1), ∆2 J = (3, 0, −15) exactly, and ker(∆2 J)/ ker J ∼ = R[eorder ]. The continuous RP2 source-arrow freedom collapses to the order line at the evaluated tier. Remark 9.2 (what selects it, and what does not). The selecting premise is log-Hodge naturality: export the ordered golden spectrum through its unique log/harmonic generator — one zero- dimensional cross-layer functoriality clause. The off-shell arrow (arrows differing by ker J) is not forced, and the independence theorem (Theorem 8.2) is not contradicted: this is a new named attachment, not a derivation from the untyped source. As of A1447 the log leg of this clause is itself a theorem (Theorem 10.1) and the clause is absorbed into AX-MOS. [P-005] Novelty label: new specialization proved here. Theorem 9.3 (The canonical minimal dilation; A1446). U0 = C T RC + (I − C T C) ∈ SO(5) has order 5, satisfies C∗ U0 = RC∗ and SU0 S = U0−1 , and is the identity on ker C∗ : it is the unique minimal √ orthogonal dilation with Vker = I. Frobenius √ block additivity gives the exact branch distances 5 + 5 (canonical) < 10 (V1 -inserting) < 10 + 2 5 (V2 -duplicating). The residual O(2) is complement-frame gauge and changes no exported quantity. [LIB2-258] Remark 9.4 (a coherence hit worth recording). The rejected V1 -inserting branch is exactly the harmonic that the banked annular support theorems (Appendix S) exclude. Two independent constructions agree on which branch is unphysical. Novelty label: new specialization proved here. Theorem 9.5 (gχ is derived away at the Riesz–Clifford tier; A1446). On a freshly built real Clifford module the Spin(5) commutant is 4-dimensional (quaternionic) but its self-adjoint part is 1-dimensional, so the space of self-adjoint Spin(5)-equivariant maps V5 → End(SR ) is exactly 1-dimensional (180-unknown nullspace computation, residual < 10−9 ). Clifford isometry forces ±1 and orientation picks +1; with the Riesz whitening H −1/2 e5 = e5 /2 one gets Σχ = Γ/2 and D2 = Λ2 (φ2N + 1/4)I exactly. χ fence (binding, travels with every occurrence). χ2 = 1/4 holds inside the at- tachment only. It is not a mass prediction. [LIB2-193] The banked exact single-χ ratio no-go (Rev27) is untouched. The Spin(4)-tier independence result (A1445: three same-symmetry countermodels with χ2 ∈ {1/16, 1/4, 1}) and the Riesz–Clifford-tier collapse here are not in conflict: the coefficient dies at the higher tier, where self-adjointness, equivariance, isometry and a whitened source are demanded simultaneously. No value is promoted. 10 The observation functor OMOS Novelty label: new specialization proved here. Theorem 10.1 (The relative modular score; A1447, s926 30/30 × 2, adjudicated against pre-reg- istered gates s925 15/15). tr Jvac = tr Jvac−1 = 2φ (normalization cancels exactly), ρ ρ−1 = J 2 , + − vac and the half-log score is diag(1, 0, −1) on the golden lattice: Krel = Dφ . [LIB2-173] The log leg is a −1 −1 theorem given additivity 2 √ — the countermodel falt (x) = (x − x )/(φ − φ ) is normalized but non-additive (falt (φ ) = 5 ̸= 2). [LIB2-173] Dφ therefore has operator-algebraic meaning: it is the canonical score of the ordered state pair. 12 ===== PDF PAGE 327 / 433 ===== Remark 10.2. This does not contradict the transgression obstruction of Appendix S: the bare module still has no natural point. The point comes from the state pair. [LIB2-173] Novelty label: new specialization proved here. Theorem √ 10.3 (Unital complete positivity fixes the scale). Total-probability preservation forces r = 5/2 uniquely (Gram = (4r2 /5)I2 ), recovering the banked C∗ exactly and upgrading its provenance from partial-isometry normalization to a physical premise. The residual freedom is ±1 signs on the standing orientation torsor. Zero continuous coefficients. Novelty label: new specialization proved here. Proposition 10.4 (The induced POVM, the minimal dilation, the whitening). The effects fol- low the exact pattern (1/4, 3/4, 1/2, 0, 1/2), sum to I2 and are all positive, with a zero effect on the absent support mode: the functor does not regenerate excluded modes. Channel covariance Φ(U0 AU0T ) = RΦ(A)RT is verified on a fully symbolic 5 × 5 matrix; the Choi matrix has rank 1, so the minimal Stinespring environment is unique and dark environments are representation artifacts. A = diag(a, a, a, a, b) with AHh A = I has the unique positive solution a = 1, b = 1/2 — the 1/2 is an eigenvalue of the unique whitening, not a chosen coefficient. Novelty label: new specialization proved here. Theorem 10.5 (OS evenization; A1447). γ0 Γγ0 = −Γ matches e5 → −e5 under OS reflection while γ0 Iγ0 = I does not, so full Pin/OS typing kills the e5 7→ I8 loophole that made gχ free at the Spin(4) tier. The Dirac seed is reflection-odd (ΘDΘ−1 ̸= D) while D2 and |D| are reflection-even and scalar: the physical observable is the even positive spectral calculus, not the raw Clifford seed. Remark 10.6 (what this fences). Theorem 10.5 further fences χ: the gap is an observation spectrum, not yet a rest mass. Named datum 10.7 (OMOS — the observation functor). The composite — ordered state pair → modular score → unital-CP normalized readout → minimal dilation → Pin/OS-even spectral calculus — is unique under seven premises, each with a verified countermodel showing it has teeth: additivity, unitality, minimality, Pin typing, OS typing, isometry, and the whitened source. [LIB2-174] It contains no continuous modulus. What the microscopic theory has not done is select it. [LIB2-174] Level fence (Rev32.3): OMOS is the ordered-state / record-quotient observation functor and nothing more; the microscopic mass/generation observation map Ogen — the map that would read the noncommuting pair (Yu , Yd ) and a relative left frame off the parent — is a distinct object and is not built (§15, face 6). [LIB2-005, LIB2-174] Statements that “the observation functor is built” refer to OMOS only. Rev32.2 pointer. The record-quotient channel Wλ,τ , the score solder Ξ, the closed normalization ledger and the declared amplitude premise are folded in §15; that fold does not select OMOS either. The uniqueness above is uniqueness within the fixed ordered-state / readout / dilation construction of this section, and |λµ| = 1 in the response section is a declared response premise, not forced by the seven premises (Rev32.9, A1674 F05). 13 ===== PDF PAGE 328 / 433 ===== 11 The four residuals Priced axiom 11.1 (AX-MOS, compressed; A1448, s927 46/46 × 2). Given the active c3 /c2 branch, (1, 0, −1) is the unique assignment by enumeration; the shell reversal gives SJ+ S = J− and SDφ S = −Dφ exactly, so the arrow is the standing OS/time Z2 ; the relative entropies are exactly equal both ways (log φ/φ, via 1 − φ−2 = φ−1 ) and the spectra coincide, so no inversion- symmetric scalar orients. AX-MOS carries no new bit inside the loaded branch — honest compression, not unconditional derivation. Without the branch, an S3 marking orbit remains. Novelty label: new specialization proved here. Theorem 11.2 (ΠMOS 5←6 , the supported observation quotient; A1448). Ppair is a coisometry with T P PV4 = Ppair ; the Hodge frame is orthogonal; the exact q = 0, ±2 Fourier frame satisfies pair T QQ = Pann with the q = ±1 modes annihilated (categorical support respected); Π̃ = QBPpair is an exact partial isometry (Π̃Π̃T = Pann , Π̃T Π̃ = PV4 ) killing all pair-difference modes; KS is exactly column-stochastic and uniform-to-uniform, with the [1 + 2 cos(θp − θk )]2 /15 conditional law verified entry by entry; and the uniqueness chain O(3) → O(2) → ±1 → 1 has zero continuous moduli. [LIB2-175] Fence (machine-verified, binding). ΠMOS has rank 3 and relative rank 2 < 5, hence ΠMOS = ̸ Πmicroscopic . [LIB2-175] The banked no-equivariant-transfer theorem and the 25- dimensional pricing row are respected, not overturned: this is the observable quotient of a still unconstructed microscopic loading. [LIB2-175] Πfull 5←6 is open. Novelty label: physical interpretation not established here. Proposition 11.3 (The one-particle bare gap; A1448). HN (p)2 = |p|2 + Λ2 (φ2N + 14 ) I8 fully  q symbolically, so MN = Λ φ2N + 14 , with χ2local = 14 as an orthogonal squared component and the OS rank-one reflection kernel positive semi-definite. AX-MASS-LABEL, sharpened: the MOS zero-momentum seed is the mass part of the derived Clifford Hamiltonian — a one-particle attachment, no coefficient chosen. [LIB2-193] The interacting pole, LSZ and occupancy are all open, and the single-χ ratio no-go stands. [LIB2-193, LIB2-302] Novelty label: new specialization proved here. Proposition 11.4 (The record process; A1448). T5 = |U0 |◦2 is doubly stochastic with placement 3 exactly decoupled; T4 is strictly positive, symmetric, doubly stochastic, reversible √ and primitive, with exact spectrum including ρ∗ = φ/2 and golden mixing gap 1 − φ/2 = (3 − 5)/4 = φ−2 /2; all-pairs Kolmogorov consistency holds and the transitive fixed-point no-go is verified on three control actions. The placement-3 decoupling matches the zero POVM effect of §10 — an independent cross-check. 12 Actuality: the record type is derived, the value is data Novelty label: new specialization proved here. Theorem 12.1 (History ⇐⇒ character ⇐⇒ boundary record; A1449, s929 27/27×2, adjudicated against pre-registered gates s928 12/12). The surd-form T4 equals the house T4 entry by entry (16 14 ===== PDF PAGE 329 / 433 ===== symbolic identities); U4 is orthogonal and exactly unistochastic; the record isometry satisfies V T V = I exactly; squared branch norms equal cylinder probabilities (Rev32.9, A1677 F01); and distinct histories are orthogonal — a strongly decoherent classical record process derived from OMOS . [LIB2-176] Finite-stage characters are exactly point evaluations and compatibility gives Spec C(ΩT ) ∼ = ΩT . [LIB2- 176] The three ledger descriptions are one object; the “kind” question is closed. [LIB2-176] Novelty label: standard theorem used. Proposition 12.2 (Stochastic actualization). In the Markov-kernel category the morphism 1 ⇝ ΩT is derived. Demanding a deterministic natural section was a category error for a stochastic law: probability theory returns a random element, not a deterministic function of its own law. [LIB2-177] Novelty label: standard theorem used. Proposition 12.3 (The tail/Poisson rescue is refuted). Bounded harmonics are constants (ker(T4 − I) = R1), so “the actual history as an asymptotic boundary point” is dead for this primitive chain — the exact complement of the house theorem ∥T4n − U ∥ = (φ/2)n . Two different proofs, one wall. Novelty label: new specialization proved here. √ Proposition 12.4 (The law is atomless; the record is extensive). p∗ = (5 + 5)2 /64 = 5φ2 /16 < 1, so every point history has measure zero; the arithmetic sampler’s finite-depth intervals form an exact partition of unity; and the entropy rate is 0.8097355 nats = 1.1682014 bits per step. A realized history is extensive record data, not “one selector bit.” Novelty label: physical interpretation not established here. Proposition 12.5 (The conserved-Z2 sector record — conditional). T4 ⊕ T4 has invariant centre C2 (two extremal sector characters) and exact mixing kills it. Price: no continuous parameter, at most the standing WH/BH-or-time bit — but its exact conservation and its identification with the shell operation must be proved. That is the named next object for anyone who wants the sector record unconditionally. Named datum 12.6 (AX-MAP-HISTORY — conditional candidate, named, not adopted). By exhaustive enumeration over all simple cycles, 2 ↔ 4 is the unique per-step-maximal orbit, with exact identities p∗ = 5φ2 /16, edge ratio 4/3, per-period ratio 16/9, and second cycle 15φ2 /64. This orbit is exactly the Aut(T4 ) Z2 orbit banked house-side in advance, by an independent computation. Honestly typed: adopting it changes the question — the orbit is atypical, of µT -measure zero. Named, not adopted. Actuality / record status — the Xactual row splits. Xrecord-law/type = derived. Xrealized-value = not determined by the law — it is sample/record data, by theorem. [LIB2- 177] The Appendix L firewall stays in force for the specific realized outcome; what narrows is the blanket claim that no actuality object exists. [LIB2-177] The remaining objects are: one realized record (data, by theorem), the conditional conserved-Z2 sector identification, and AX-MAP-HISTORY as a candidate only. 15 ===== PDF PAGE 330 / 433 ===== 13 Price ledger and open frontier Row Price Status AX-COT one cross-layer typing clause, independent (Thm 8.2); obstruc- zero continuous moduli tion a theorem (Thm 8.3); dis- charged on shell by log-Hodge nat- urality, itself absorbed into AX- MOS AX-MOS the active c3 /c2 branch + one no new independent clause — time-orientation bit compressed into standing loading (Ax. 11.1) AX-MASS-LABEL gap ↔ rest mass, one-particle interacting pole/LSZ/occupancy open Branch Real clause discrete; inherits the loaded c3 retires the CP1 continuous price branch Local-faithfulness principle one discrete clause buys Geff = SM/Z6 , no continu- ous parameter Signature-oddness the residue of the typing two independent uniqueness theo- clause rems, one per lane Chamber lift zero continuous; residual O(2) Thm 9.3; the earlier finite-sign row is unphysical gauge is retired by erratum g, ℓ one dimensionless coupling; |ℓ| refuted as derivable registration to the one banked scale class AX-MAP-HISTORY — candidate only; changes the ques- tion Bottom line. Across fourteen rounds the price of the observable attachment went from three loosely typed rows to two zero-dimensional named clauses plus one realized sample, with no continuous modulus anywhere in this sector. The observation functor exists, is explicitly constructed, and is unique under seven premises with verified teeth. What the microscopic theory has not done is select it — and that is a selection statement, not a calculation. The named frontier is exactly: Πfull 5←6 · Einstein universality · Nmass /ℜχ · the interacting mass attachment · the conserved-Z2 sector identification · one realized record. KILL-NODE 2 remains fired off shell and for the full microscopic loading; χ has no value; nothing here is promoted. 14 A Clifford isotropy law and a braid representation on V56 (Rev30, A1499) Two exact structures on the frozen carrier were established at the close of the freeze-first arc (s1026, s1032). Both are statements about RepR (so(2, 1)) acting on V56 ; neither is a physics result, and the second carries a fence that matters more than the structure does. 16 ===== PDF PAGE 331 / 433 ===== 14.1 The universal isotropy law The operator Pact = 24W02 is a rank-24 projector,√ and 24W02 = 24W12 = Pact , 24K02 = −Pact , with all pairwise anticommutators vanishing. Thus 24 (W0 , W1 , K0 ) is an exact Cl(2, 1) action on the active 24 — the spinor sector — and is zero on the 32-dimensional complement. [LIB2-014] The immediate consequence is a single law covering every carrier map T : 1 GT = 24 ∥Pact T ∥2F · I2 . This unifies two constants that had stood separately. Ten unit-norm active columns and one (∥Pact T ∥2F = 10 and 1; Rev32.9, A1677 F05) give 10/24 = 5/12 and 1/24: the two constants of record are dimension-weighted restrictions of one global Clifford identity, not independent facts. [LIB2-194] The mechanism polarity is worth stating because it was tested both ways — the same-carrier Clifford mechanism holds; a normal invariance-group enlargement does not, since the beat so(2) is not normal in the so(2, 1), so an earlier proposed cure does not apply literally here. 14.2 The braid representation, and the fence around it √ √ The operators B1 = I + 6L+ and B2 = I − 6L− satisfy the braid relation B1 B2 B1 = B2 B1 B2 exactly and are symplectic: a genuine representation B3 → Sp(V56 ). The centre is computed and is not scalar — (B1 B2 )3 = I − 2Pact — so there is no global PSL(2, Z); only the active sector projectivizes. [LIB2-195] Independently, that central involution coincides exactly with a page-flip element obtained by a different route, the two arriving at the same object without either being tuned to the other. The graded structure is the exact |1|-graded parabolic: [L+ , L+ ] = [L− , L− ] = 0 with [L+ , L− ] spanning g0 , so (L+ ⊕ L− , ω) ∼ = T ∗ L+ . The fence, and why it is printed rather than assumed. The hyperbolic word satisfies M 2 − 3M + I = 0 on the active sector. Appendix I records that the figure-8 lepton neck has Alexander polynomial t2 − 3t + 1. These are the same trace-3 shape and they are not connected here. The braid result lives in RepR (so(2, 1)) on V56 , not in the corpus F4 /winding category, and no functor between the two has been constructed — only one side of that functor exists. [LIB2-195] The resemblance is exactly the kind that has produced a category error in this programme before: an object built in one category, carried across an absent interface, and renamed in another. It is recorded here with its fence so that a reader who notices the coincidence — and a reader will — finds the reason it is not being cashed, rather than an argument that quietly cashes it. Nothing in this section promotes an observable, moves a tier, or touches the engine; the constants 5/12 and 1/24 are constants of record internal to the frozen frame, not measurements. [LIB2-194] 17 ===== PDF PAGE 332 / 433 ===== 15 The carrier arc: from the Albert solder to the remaining physi- cal attachment (Rev32.2 fold, A1553–A1561) Reading rule and scope. This section folds adjudicated carrier and observation-map results into the suite; it does not promote a public observable. “Closed” below means closed at the explicitly named carrier, transported-point, or record-quotient tier. Tensor equivalence is not intrinsic basepoint selection; a quotient-tier channel is not the microscopic observation map; and the final spectral-pair row remains an output gate. [P-009] One amplitude premise is declared below by PI ruling (S300) and printed as a premise, never as derived; no torsor side is selected. House disjoint-path verifications of the lane results cited here: s1148 (channel, 26/26 exact), s1150 (solder forcing, 13/13 exact), s1152/s1153 (basepoint census, 23/23 and 12/12). 15.1 The solder and transported pointing The carrier arc begins with the exact rank-27 solder B : J3 (Os ) −→ V−2 , Cshell (Bx, By, Bz) = Npol (x, y, z), together with its trace-dual map B ∨ into the opposite shell. The complete 273 polarized-cubic identity vanishes at exact basis precision, and the transported primitive frame has Peirce dimensions 1 + 1 + 1 + 8 + 8 + 8 [A1553]. The transported unit has a 52-dimensional F4(4) stabilizer, while the ordered primitive frame has a 28-dimensional Spin(4, 4) stabilizer [A1553]. These are different objects. The result identifies the Albert and shell carriers; it does not make the unpointed shell choose the transported unit. [LIB2-012, LIB2-178] Table 1: Canonical six-face ledger, generated from the A1555 JSON. Later amendments are printed immediately below and do not alter the source table. Face Name A1555 status Closing or blocking statement 1 Albert-to-shell CLOSED-as- An invertible real B preserves the full polarized tensor equivalence carrier- Albert cubic on the grade -2 shell, and a machinery trace-dual B ∨ preserves the Jordan-trace/symplectic pairing. Object: D1234 rank-27 B, B ∨ , and exact shell cubic. [A1555] 2 Intrinsic E6/F4 OPEN The unpointed shell theory itself must select an basepoint and Albert unit and ordered primitive frame, Peirce-frame uniquely up to the appropriate stabilizer, selection without importing the already-pointed Albert source. Object: A transported point exists; an intrinsic selector does not. [A1555] 18 ===== PDF PAGE 333 / 433 ===== Face Name A1555 status Closing or blocking statement 3 Positive complex OPEN A registered positive complex polarization must generation descend from the paired 56-shell carrier to a structure selected three-complex-dimensional generation quotient compatible with the pointed frame. Object: The transported full-56 candidate descends as R2 = +I, not as a complex generation structure. [A1555] 4 Visible noncentral OPEN A registered source-character solder must carry image of the odd microscopic odd data into the unique noncentral datum Hermitian S3 -sign line Hsgn , without identifying the A689 multiplicative grading with that character by fiat. Object: The A689 grading is registered only as multiplicative Z2 data; D1236 finds no registered full transported readout that could turn it into a physical sign response. [A1555] 5 Selected faithful OPEN One Appendix-T door must be executable as a observation door transported microscopic readout, nonzero on the relevant odd transition and well-defined modulo the ordered-frame stabilizer. Object: Appendix T names four doors and constructs a lower-rank MOS quotient, but Πfull and a transported reference/readout remain open; D1236 stops at gate 7. [A1555] 6 Physical spectral OUTPUT The completed observation map must yield two pair and relative GATE normalized, normal, nondegenerate generation left frame operators and a unique relative left frame modulo phases and common ordering. Object: This is the downstream success test, not an independent upstream datum; no physical pair is formed in D1236. [A1555] Dated amendments to Table 1. The table above is reproduced from the A1555 JSON as required. The preceding box-top audit established the separation between transported pointing and intrinsic basepoint selection and required that distinction to govern the fold [A1554]. The subsequent adjudications sharpen the rows as follows, without rewriting that source record. Face 2 is now Definitional at every shipped registered tier: the locked census found 30 candidate rows, 5 intrinsic rows and no intrinsic datum with a nonzero stabilizer-fixed vector. [LIB2-178] Its missing object is a theory-selected subgroup Hbp ⊂ E6(6) with one non-null fixed line [A1561]. [LIB2-178] Face 3 closes locally at the transported point up to the shell-exchange torsor: the trace-dual polarization gives a positive three-complex-dimensional paired shell space, while intrinsic unpointed selection remains open [A1557]. [LIB2-013] Face 4 has a covariant local representative, unique as an equivalence class but still carrying the unspent torsor side; the direct A689 grading route is closed negative because its transported S3 character is trivial [A1556,A1557]. [LIB2-180] Face 5 has a rank-3, relative-rank-2 record-quotient channel, but the microscopic support-restoring map and its 19 ===== PDF PAGE 334 / 433 ===== cross-object normalization are not selected [A1558–A1560]. Face 6 remains an output gate and is not entered. 15.2 Why the invariant odd covector failed, and what replaced it The first attempt demanded an invariant scalar row ℓodd : J− → R. The largest stabilizer subgroup preserving J− has no nonzero invariant √ covector there; the constraint stack has full rank with smallest nonzero singular value 1/ 2 [A1556]. [LIB2-179] The obstruction is representation-theoretic, not numerical. In the same round the A689 split-norm Z2 was computed to carry the trivial, not the alternating, S3 character [A1556]. [LIB2-180] Those two statements retire the direct A689→ Hsgn shortcut. The well-typed successor is state-dependent and covariant. [LIB2-179] On the transported paired-shell generation space G6 , the source intertwiner space HomS3 (J− , sgn) has real dimension four, while its normalized sphere is a single orbit of the connected covariance group. [LIB2-181] The local observation leg therefore has one continuous equivalence class, Πτ,[ℓ] (x) = τ ℓ(x)Hsgn , with no surviving continuous source-line choice and one unspent endpoint-exchange torsor τ = ±1 [A1557]. [LIB2-181] This is a transported-point construction; it is not yet the full microscopic observation map. [LIB2-181] 15.3 The MOS channel, the score solder, and the normalization no-go At record-quotient tier a unital completely positive channel exists, Tr A λ √ Wλ,τ (A) = I3 + Tr(QA) τ Hsgn , |λ| ≤ 2, 2 2 √ and reproduces the local odd leg at the endpoint |λ| = 2 [A1558]. [LIB2-182] Appendix-T whitening does not force that endpoint: channels with distinct λ share the registered source whitening, covariance, zero-effect and torsor properties [A1558]. [LIB2-182] The reversal-covariant score solder ∼ C3 −→ M2 (C) Ξ : C ∗ (Dφ ) = √ also exists. Its odd amplitude obeys |µ| ≤ 1, so the actual response is the product |λµ| ≤ 2 [A1559]. [LIB2-183] The M5 lift remains an 11-dimensional quotient family, and the complete registered normalization census grew from 28 to 40 typed rows with zero forcing rows [A1559,A1560]. [LIB2-184] A rank-5 extension exists as ambient linear algebra, but the record-support condition forbids it at the printed MOS tier by an exact rank-two support certificate [A1560]. [LIB2-185] Thus the normalization ledger is closed at every tier reached by the supplied package; reopening it requires a genuinely microscopic support-restoring operator-system map. [LIB2-184, LIB2-185] The companion wall object α : S3 → Aut(AMOS ) is absent in the permutation class (the Pα census, A1559: no order-3 source permutation is compatible with the record projection); a non-permutation microscopic attachment is not excluded. Independently, any S3 marking, even if selected, places Dφ in the 2-isotype and never in sgn (house s1149, 18 + 1 gates), so the sign must come from the carrier side (J− = 4 · sgn + 4 · 2), not from the state pair. With A1559 the α row of the wall is closed for this arc. 20 ===== PDF PAGE 335 / 433 ===== 15.4 The declared amplitude premise (PI ruling S300) and the two alternatives not adopted PREMISE-GRADE-4-RESPONSE [A1560; declared S300]. On the transported record-quotient response, identify the normalized score response with the registered unit grade-four carrier response, fixing |λµ| = 1. This removes the one positive response-amplitude modulus and leaves the extreme-pair torsor side τ = ±1 unselected. [LIB2-186] It does not construct Πfull , does not prove that the grade-four carrier is the microscopic readout, and derives no CKM quantity. [LIB2-186] Status: PREMISE, declared by the PI over the A1560 three-box menu; not derived. Retire it if a registered microscopic pullback supplies a different normalization or no normalization. [LIB2-186] The two alternatives on the same menu, recorded so that the choice is visible: √ PREMISE-UNIT- RESPONSE (the cross-object isometry ∥Dφ ∥HS = |λµ| ∥Hsgn ∥HS , hence |λµ| = 2, the D1238 leg at the CP boundary)√ and DECLINED (no quotient-tier response-isometry premise; the registered result stays |λµ| ≤ 2 with one continuous magnitude). [LIB2-187] Neither is adopted. [LIB2-183, LIB2- 187] Under every one of the three the physical spectral-pair gate is not entered, and the 40-row normalization census has no forcing row [A1559,A1560]: the value printed above is chosen, and the ledger records that it could not be forced. [LIB2-187] 15.5 The intrinsic-basepoint placeholder (declared, no subgroup selected) DECLARED-BASEPOINT-PLACEHOLDER [A1561]. A future intrinsic selector must register, before naming any vector or frame, a subgroup Hbp ⊂ E6(6) whose action on the unpointed 27 has a single non-null fixed line. The cubic normalization N (x0 ) = 1 would then select one real point on that line, subject to the residual normalizer acting trivially. [LIB2-005] No subgroup is selected by this placeholder; without one, the transported point remains declared rather than intrinsically derived. [LIB2-005, LIB2-325] 15.6 State after the fold The arc has closed the Albert-to-shell carrier identification, locally supplied a positive paired-shell polarization and a covariant odd response class, and constructed the record-quotient UCP channel and reversal-covariant score solder. It has also proved two separate walls: the intrinsic basepoint is absent over the complete shipped candidate universe, and no registered normalization fixes |λµ| (the printed |λµ| = 1 is a declared premise). [LIB2-184] The remaining route is therefore not another coefficient search. It is the joint construction of a theory-selected basepoint subgroup and a microscopic support-restoring observation map; only after both exist may the spectral-pair/output gate be opened [A1553–A1561]. [LIB2-005] 21 ===== PDF PAGE 336 / 433 ===== Leibniz Quantum Beats Newton Appendix X — Input Ledger (Rev33.1) Rev25 adds the registration of the framework’s one dimensionful input (the depth-cylinder Bargmann class, §“The registered input”), supersedes the two-scale calibration paragraph, and banks the S209–S226 clean negatives. Tom O’Sieg August 2026 Abstract This appendix lists the algebraic inputs used by the fit-free PMNS+CKM sector of the Rev29 suite and separates them from measured anchors. Its purpose is referee-facing: the mixing sector carries no fitted coefficients within, and relative to, the loaded correspondence map — which after Rev29 is not the same as being zero-parameter (see the supersession box below) — the working vacuum Jvac , the Route B selection, and the gauge/representation embedding are declared inputs, loaded not derived frame-free (the frame-free selection is closed negative: Appendix F, Thm 7.1). “Zero-fit” is therefore a statement about the interior of the correspondence, not a claim that the boundary itself is derived; that claim is only useful if every surviving algebraic ingredient is named explicitly and its provenance is stated in one place. Rev29 supersession (binding on every row below). The row-by-row re-tiering (Rev29 re-tiering, Paper 3 § “Row-by-row re-tiering”; kernel s959) moved six of eleven Paper 3 ledger rows. After propagation two of the eight mixing observables sit at Derived-conditional or above (θ12 PMNS , δCP , premises printed). The exact Jordan mismatch identity 7/16 remains theorem-grade, but the physical θ23 octant attachment is Loaded-correspondence (A1566/D1244, Rev32.6); the CKM first row is Loaded, because Paper 3 selected Route B over Route A by comparing both to kaon data; δCKM is Coincidence-class while the motivation for G7 is missing; θ13 is structural and |Vcb | is Loaded-correspondence (physical) / Structural formula. No row in this ledger, and no row in Paper 3 Sections 2–5, may be cited as zero-parameter. Every “six of eight” tally below is a pre-Rev29 marking and is superseded. No number changes. Provenance convention (Rev27, two-axis; see Paper 0). The Status column below is the mathematical axis (the Paper 0 five tiers); each entry’s physical attachment — derived-attachment / conditional-readout / loaded-correspondence / fitted / external-input — is carried in the evidence column and, where load-bearing, stated inline. In these terms “zero-fit” is a Loaded- correspondence statement (fit-free interior, declared-input boundary), not a Derived-attachment one. 1 ===== PDF PAGE 337 / 433 ===== Table 1: Fit-free-interior ledger for the loaded mixing corre- spondence. Rev32.1 reading rule: tiers name mathe- matical provenance; physical attachments are stated separately; no row may be cited as zero-parameter; displayed σ values are named comparator distances, not profile likelihoods. Input or relation Explicit form Status Algebraic source / evidence √ Golden ratio ϕ = (1 + 5)/2 Mathematical AX1; no fit to particle data. constant Working vacuum Jvac = diag(ϕ, 1, ϕ−1 ) Conditional Vacuum-selector theorem: selector uniquely forced by unit determi- theorem nant + inversion symmetry + (Appendix E; DET-7 (field-free), and indepen- DET-7 as struc- dently as the golden-field unit tural postulate) triple; see Appendix E [closes A641/Q5A]. DET-7 invariant det(Gram(Jvac , Jvac # )) = Structural Fixes n23 = 7 and the 7 (derive-target) mismatch normalization;√ alge- braically det G = 7 ⇔ 5 ⇔ ϕ (Appendix I, §2, the det G lemma). First-principles origin of the integer 7 remains open (Appendix I, Q4) — carried as a named structural input, not pro- moted to an axiom. C1 coefficient Thalf = Tscalar + 12 Toct Theorem Exact c = 1/2 from DET-7, Frobenius norm, and Peirce or- thogonality. √ V3 rotation fre- Ω = 5/2 Theorem Equal to the (1, 3)-sector eigen- quency value of LJvac . √ Canonical PMNS t∗ = 2π/ 5 Theorem From exp(t∗ Thalf )Jvac = Jvac # . time √ Solar angle tan θ12 PMNS = 3/ϕ2 Derived- Peirce spectral ratio with ϕ2 + cond. (Rev29 ϕ−2 = 3; identity exact. re-tier; order- ing ladder- and interface- conditional) Atmospheric mis- sin2 θmismatch = 7/16 internal theo- DET-7 mismatch geometry ex- match / physical rem; physical act; lower-octant registration se- angle θ23 Loaded- lected against data; s501 does correspondence not supply a unique selector (A1566/D1244). 2 ===== PDF PAGE 338 / 433 ===== Input or relation Explicit form Status Algebraic source / evidence Reactor angle sin2 θ13 = sin4 (π/8) Structural ⋆ ⋆ ⋆ D4 triality plus half-angle iden- tity; round-trip T 2 squaring iden- tified (exponent-2, s502/A1275), forcing pending; Rev29 : the π/8 half-angle is not canonicalized by the T 2 = −1 moment struc- ture (that reading re-killed S261) — it is a declared readout nor- malization; numerical agreement at 1.8σ (NuFIT 6.1: sin2 θ13 = 0.02248+0.00055 −0.00059 ). √ Leptonic Dirac δCP = −2π/ 5 Derived- V3 rotation theorem; identity ex- phase cond. ((1, 3) act. framing, order- ing) √ Cabibbo entry |Vus | = sin θ12 PMNS / 6 Loaded (route Route B / Peirce J12 weight; selected against identity exact given the route. kaon data; Rev29 first-row tier) √ Quark 2–3 entry |Vcb | = 1/(9 7) Loaded- DET-7 “7 unification”; inher- correspondence its the loaded atmospheric at- (physical) / tachment; integer 9 unforced Structural and recorded as data-selected mathematics (A1566). √ Quark 1–3 entry |Vub | = |Vus ||Vcb |/ 6 Loaded (inher- Hierarchy relation after fixing its the first row) |Vus | and |Vcb |. 3 ===== PDF PAGE 339 / 433 ===== Input or relation Explicit form Status Algebraic source / evidence CKM Dirac phase δCKM p = Coincidence- The first-principles origin of the arctan 3(ϕ + 5ϕ−5 ) = class; PDG 5ϕ−5 correction remains open; 68.13◦ 2026 compara- the arithmetic identity does not tor distances supply the missing motivation. (source ledger, The N-1 blind formula census shipped engine prices this form at its complex- and resolver ity ceiling (census note after the scope: the note source-ledger note below). after this table): +1.40σ from the global-fit phase 1.154±0.025 rad (its published representation, which is pri- mary — R-29; the degree cells 66.12◦ ± 1.43◦ give +1.41σ) and +0.64σ from the direct γ = 66.4+2.7 −2.8 ◦ Resolvent family Rd = 1/(ϕ2d − 1) Structural exact Used in the mass sector; not family fitted to CKM/PMNS data. Superseded for mµ /mτ by the compact ratio, which is itself Structural / Loaded- correspondence (re-tiered Rev29 ; the “proved, zero free parameters” typing is withdrawn). Measured anchors α, vH , MPl Measured External anchors; not tuned to close the mixing sector. Mass anchor mτ = 1776.93(9) MeV Measured Single external anchor; (PDG; CODATA 2022 gives mµ = √ 106.05 MeV√ via lists 1776.86(12)) mµ /mτ = (ϕ/ 5) 8/3 × 2/10, re-tiered Structural / Loaded-correspondence / Reproduced (Rev29 ); the “zero free parameters” citation is withdrawn — see “Provenance of the charged-lepton ratio” below. 4 ===== PDF PAGE 340 / 433 ===== Input or relation Explicit form Status Algebraic source / evidence Koide selector K = 2/3 External selec- Integral to the me chain (Koide- tion rule consistent ⋆ ⋆ ⋆⋆ under this ex- ternal rule): J3 UV BC at ΛG2 forces Koide to act on mµ,phys = 105.72 MeV [A636, A637]. Mass exponent p = 8/3 = Exact di- The dimension ratio is an ex- dim(Os )/rank(J3 ) mension ra- act algebraic fact; that it is the tio [A616]; mass exponent is not, alone, es- Loaded- tablished by it (two-axis rule; Pa- correspondence per 0 prints the same row as (Rev29 ) “exact dimension ratio; Loaded- correspondence: not, alone, a mass exponent”). Rev29 : the Proved typing is withdrawn. √ Normalisation con- C √ = 2/10 = Exact di- J2 (Os ) = Rf1 ⊕Rf2 ⊕P12 , dim√= stant 2/ dim(J2 (Os )) mension 10; off-diagonal trace norm = 2. count [A618]; The divide-by-dimension step is Loaded- argued by analogy (A618:134– correspondence140), and A618:147 lists the for- (Rev29 ) mal derivation as blocking — closed nowhere in the corpus. Rev29 : the Proved typing is withdrawn. Tau-sector dynami- ΛG2 ≈ 260 MeV Calibration: the Analogous to ΛQCD ; one phys- cal scale value is taken ical dimensional-transmutation from hadronic anchor for the heavy-lepton sec- phenomenology; tor; not algebraically derivable. it is not a measured ΛQCD in any scheme (scheme table; ΛG2 note below the input-count box) [A618] Weak-angle selector AX6pol : Λ⋆ = Independent Two objects carried one name 3P/Q(Y ) = 6ϕ − 1 orbit-selector and one symbol ψ⋆ in print; on the exact-colour postulate separated in Paper 4 (Rev32.2). orbit; readout sin2 θW = A667’s degree argument applies 3/(4 + Λ⋆ ) = ϕ−3 ex- to the Det2 object only. ϕ−3 actly. The Det2 object is a constant algebraic identity, cos(6ψ) = 12 (50◦ ) is a not a function of the orbit an- distinct object, retired gle; AX6pol fixes the orbit branch as a selector of AX6pol and remains independent of the (Rev32.2; s1135/A1549) present framework. 5 ===== PDF PAGE 341 / 433 ===== Input or relation Explicit form Status Algebraic source / evidence Quark Gauge- Jvac ∈ singlet(G2 ) ⇒ block- A630 Protection ∂ 2 VCW /∂Pijtriplet = 0 diagonality Proved; the six zero triplet modes a Cer- tified compu- tation (A630); the Schur infer- ence to a zero triplet Hessian at every loop order is with- drawn (S290.4; App. A §A.7.5 — this row kept the pre-ruling stamp through Rev32.8) Roman surface (y z , z x , x y ) ′ ′ ′ ′ ′ ′ = Structural ⋆⋆ A630, A632 model Peirce product ⋆⋆ Top Yukawa yt √ = 1; mt = Structural ⋆⋆ A632 vEW / 2 = ⋆⋆ (re-tiered 174,104 MeV Rev29 ); dcmp is (+0.87% above the not a tension PDG 2026 direct- and sets no measurement (MC) status (Rev32 mass 172.60 ± 0.27 GeV; retype per tree-level vs. pole-proxy, the A1531/T2 cross-scheme, declared cross-scheme ad- at the scheme table judication; only below; naive comparator a scheme- distance dcmp = +5.57, matched experimental-error units Zmatched only) may set BLACK/RED, and none is yet computable for this row) Light quark con- mu,d const = Λ G2 φ 1/2 ≈ Structural ⋆⋆ A631 stituent 331 MeV ⋆⋆ 6 ===== PDF PAGE 342 / 433 ===== Input or relation Explicit form Status Algebraic source / evidence Artin bridge 2-pt/3-pt QFT loops Artin’s theo- A633 Artin-protected; std. RG rem Proved valid (mathematics); its use as loop protection Structural, scoped to the outstanding gen- erator census (Appendix A §A.7; Rev32.9, A1642 O3) 7/3 unification ratio n23 /rank(J3 ) = 7/3; Structural ⋆⋆ A635, A637, A641. DET-7 mb = (7/3)mτ = ⋆⋆; the dcmp Gram-ratio bridge. Independent 4146 MeV (−0.95% values are naive route: dim(Im(Os ))/rank(J3 ) = vs. PDG 2026 cross-scheme 7/3 (vacuum-free, A641/Q2A). mb (mb ) = 4186 ± 6 MeV; comparator Golden vacuum unique tau-pole-anchored distances (algebraic-integer + palin- bridge vs. MS, cross- (experimental- dromic char. poly. conditions) scheme, declared; error units [A641/Q5A]. Generation- dcmp = −6.64; per- only), not independence PROVED centages and distances tensions, and [A637/Q1B]. Formal S-matrix in this ledger are set no status proof open [A640/Q1D]. computed at full (Rev32 retype, framework precision, A1531/T2) mb = 4146.17, Rev32.9); mc = (7/3)mconst s = 1291.9 MeV (+1.49% vs. PDG 2026 mc (mc ) = 1272.9 ± 4.5 MeV; constituent-anchored vs. MS, cross-scheme, declared; dcmp = +4.22) Λ2 QED correction at δQED = 3α4π ln m2µ,phys = G2 Standard A637/Q2A–Q2D. Artin- ΛG2 +0.3125% leading-log protected (2-gen associative). QED (im- Direction: mass grows UV, so ported physics); mµ,phys = mtree µ /(1 + δ). attachment Structural: the cutoff at ΛG2 is the framework’s declared calcula- tion input (N17; Rev32.9, A1642 O3) 7 ===== PDF PAGE 343 / 433 ===== Input or relation Explicit form Status Algebraic source / evidence me QED-Koide me = 0.5076 MeV Koide- A636, A637. Chain: mtree µ = chain (−0.66% PDG) via consistent ⋆ ⋆ 106.05 → δQED → mµ,phys = tree→QED→Koide ⋆⋆ 105.72 → K = 2/3 → me = 0.508 MeV. The electron closure depends on the external empiri- cal Koide rule K = 2/3. Source ledger, shipped engine and resolver scope (moved out of the δCKM row at Rev32.9: the table cell had grown past a page and lost its end in the PDF). Every printed comparator in this suite resolves to one row of the source ledger shipped in the release bundle, not em- bedded in this PDF: ledgers/SOURCE_LEDGER_REV32.csv, 36 rows with stable ids SL-01–SL-36, columns id / quantity / central / plus / minus / unit / scheme-scale / edition / status / source / url / value_kind, sha256 783e15283c443d7e. . . (Rev32.6: six minus-exponent fields re-signed and the id column added, A1569; Rev32.9: the value_kind column added — SL-04/05 are 95% up- per bounds, SL-27 a derived diagnostic, every other row a central value, S304.3; Rev33.0: SL- 31 added, the house JPMNS diagnostic, and the SL-12/13 scheme labels corrected from “PDG global fit” to the PDG 2026 direct averages, R174-c; Rev33.1: SL-32–SL-36 added — the five scorecard comparators that had lived only in the engine’s INPUTS sheet, NuFIT 6.1 sin2 θ12 and δCP , PDG 2026 mµ and me , and the constituent mu , typed model_dependent_input (a constituent value, not a measurement); Rev33.0 shipped ffe406dc8869e62a. . . ; Rev32.11 shipped b0101556e1e2d20d. . . ); gate scripts/comparator_census.py: 21 printed comparators resolved at the Rev32.6 cut, 20 at the Rev32.9 cut, 21 at the Rev33.0 seal, 0 unmapped, 0 malformed fields. [LIB2- 326] The engine this suite ships (Rev33.1): Engine/SGTOE_Machine.xlsx sha256 32875b1696a2. . . and Engine/SGTOE_Outputs.xlsx sha256 4e6e7c32b307. . . (ENGINE_MANIFEST 3/3; Rev33.1: the NuFIT 6.1 pair ∆m221 , ∆m231 and sin2 θ̂W (MZ ) moved onto the source ledger (SL-01, SL-02, SL-06) — the engine and its generator had carried 7.49 × 10−5 , 2.513 × 10−3 and the rounded 0.2312, so the generator printed a 9.27× mass-reading mismatch where the suite prints 9.21×; generator kernel v5.0.12; no ledger row was re-typed and no tolerance width moved; Rev33.0 shipped b47f7bc9db75. . . / a67bb0ebddb4. . . , where the comparators |Vcb |, |Vub |, δCKM and mc moved from the superseded PDG 2025 values to the PDG 2026 rows of the source ledger, and the mt comparator value followed the label and the κ reference that Rev32.11 had moved (R171); four own-output ledger rows were re-typed to the moved values and no tolerance width moved — two of them, κ(t) and χc , recalculate to FAIL in the Rev32.11 engine behind a stale cached PASS, which this roll found; |Vcb | now passes its < 1σ row at 0.997σ; Rev32.11 shipped 9ab03a2efac2. . . / 337d899aad01. . . , where ONE input moved — mt from the superseded PDG 2025 172.56(31) to PDG 2026 172.60(27) GeV, completing on the top the PDG 2026 comparator roll Rev32.10 began on the bottom, so that the paper and the engine hold one comparator (S347.4); the two RCI tolerances were untouched and both still pass, at 0.67σ; Rev32.10 shipped 650634658022. . . / acd9a7f14da4. . . , where ONE input moved — mb from the superseded PDG 2025 4183 ± 7 to PDG 2026 4186 ± 6 MeV, R140 — and three ledger rows were re-typed to PDG-σ comparators; Rev32.9 shipped 6d489626b664. . . / 26377c02e619. . . , the re-stamp that renamed the 27-row sheet a regression/comparator/identity ledger with no input moved; Rev32.6–32.8 shipped 7b09e1a2780b. . . / 81d3ba688401. . . ); the public kernel sgtoe_kernel_v5.0.12.py sha256 d297f5b2. . . (v5.0.11, sha256 1b2f244d. . . , stays on disk as the Rev33.0 bundle’s kernel; v5.0.10, sha256 33a1db19. . . , as the Rev32.10 and Rev32.11 bundles’ kernel, and v5.0.9, sha256 7fcb12b3. . . , as the Rev32.9 bundle’s; v5.0.8 stays sha-pinned as the dependency of s1133/s1140); the release MANIFEST count is printed in the bundle’s VERIFY_REPORT.md. Every other engine hash in this 8 ===== PDF PAGE 344 / 433 ===== suite (Paper 0’s Rev19 box, Appendix O’s S179–S192 pair) is dated to its era. Scope of the resolver: scripts/resolve_proof_artifacts.py certifies presence and hash of every print-cited kernel in a canonical home; it does not execute kernels or diff a certificate against current wording, so its pass line is a locator check, not a substantiation (A1572 F3) — a PDF-only reader can check the claim’s shape here and its content from the bundle. N-1 blind formula census (s1206 v3; rulings R186–R188; the row-12a note is R187-b). Each of the 24 scorecard rows with an external comparator (rows 1, 2, 3, 14 and 15 are excluded by rule: they have no comparator) √ was priced against one fixed expression language — alphabet {ϕ, π, 2, 3, 5, 7}, with {ϕ, 5, 7, 8, 9, 16, π} as a second alphabet — of at most three binary operations and complexity ≤ 6, enumerated exhaustively (checked against brute force) and locked before any comparator was √ read. The suite’s value lies inside its declared band on 13 of 24 rows. On two of them, mt /vEW = 1/ 2 and mb /mτ = 7/3, it is the simplest in-band value in the first alphabet but not in the second (15 and 16 values there are as simple); both are cross-scheme rows scored at a ±1% tolerance, which both leave at ±0.8%, and their naive comparator distances are dcmp = +5.57 and −6.64 (experimental-error units only). The rank used here is an occupancy count of this language at the suite’s own complexity, not a significance: the census prices the scorecard; it does not test it. Row 12a: the G7 -corrected δCKM (68.13◦ , +1.40σ from the global fit, outside 1σ) is reached in the census language only at complexity 6 — the ceiling — where every in-band value is at least as simple (rank = the whole band: 547,917 values in the first alphabet, 880,986 in the second); the bare-ϕ control (65.59◦ , −0.37σ, inside) is reached at complexity 3 with rank 396 in the first alphabet (complexity 4, rank 10,257 in the second). The correction moves δCKM away from the fit and costs three units of complexity in the first alphabet (two in the second); if trigonometric functions are charged two units instead of one, it is not reached at all within the ceiling. The previous version of the census was reproduced independently by an executing reader who was never shown its answer hash; that reader’s audit found the completeness defect and the unit and power defects repaired in this version. The reader had saved programme memory, so the read was not cold (R188). Record: Kernels/current/s1206_n1_blind_formula_census.py and its complexity-6 host record (two byte-identical runs). Bottom line. The PMNS+CKM sector uses no fitted angle, phase, or mixing-strength parameter inside the loaded correspondence map — which, after the Rev29 re-tiering (Rev29 re-tiering, Paper 3 § “Row-by-row re-tiering”; kernel s959), licenses no zero-parameter citation for any row: two of eight stand at Derived-conditional or above (θ12 PMNS , δ CP ; A1566 retype, Rev32.6), the physical θ23 row and |Vcb | are Loaded-correspondence, the CKM first row is Loaded, and δCKM is Coincidence- class. The algebraic inputs are fixed by theorem-level Jordan/Freudenthal structure, while the measured anchors are standard physical constants and, for the charged-lepton mass subsection, the single tau-mass input plus the measured heavy-lepton dynamical scale where explicitly stated. Time-layer inputs (Rev15, Sessions 106–108; see Appendix H). The post-Rev14 time layer adds no new admissible constant: the substrate clock frequency ω0 is the electron Comp- ton/zitterbewegung rate, i.e. the clock normalisation q0clk = me (a unit choice inside the one registered class — see the clarification below the input-count box; through Rev32.8 this read “the single dimensionful anchor”) (the clock anchor, distinct from the KK tower quantum q0KK of Appendix G) read in the Compton frame (me = ℏω0 /c2 then√ derives c, ℏ from ω0 ), so the admissible-constant set is unchanged at F3 = {q0 , κ, Γ} with κ = 1/(3 2) exact. The time-reversal bridge is recorded as a clk structural fact on the certified substrate, not a new parameter: T = exp( π2 K) is a genuine element of E7(7) (symplectic) with T 2 = −1 (the Kramers/spinor half-turn). Rev29 — the physical reading is stripped. T 2 = −1 is an algebraic fact about the certified substrate and carries no readout licence. In particular it does not make the half-angle π/8 canonical for sin2 θ13 : it motivates a readout normalization that is not derived from the algebra, and a motivation is not a derivation. This reading 9 ===== PDF PAGE 345 / 433 ===== was killed at S188, resurrected at S189, and re-killed at S261; none of the three reached print before Rev29 (the load-bearing site is the Appendix B readout lemma). No public observable moves; these are classical, finite statements (Appendix H, Definition-A posture). Honest precision summary. The fermion mass ledger prints percentage offsets on twenty named rows, each ≲ 2% from the PDG central value by percentage — offsets, not predictions with status: the σ-status of the heavy-quark rows is withheld pending a scheme-matched comparator (mt , mb , mc are cross-scheme, no status), and the rows carry the tiers of their own tables. However, percentage agreement and σ-level tension are not equivalent when PDG measurements are sub-percent precise. Standard scientific measure (σ) gives: • Mixing sector (PMNS+CKM, 8 observables): the current named comparator record is θ13 = −1.8σ, |Vus | = +1.11σ, |Vcb | = +1.00σ, |Vub | = −0.18σ, δCP = 0.36σ, and δCKM = +1.40σ against the global-fit phase (radians, R-29) or +0.64σ against the direct UT angle. These are central-value comparator distances, not profile-likelihood confidence levels. The measured-angle |Vus | readout and the 0.003855 |Vub | rounding are separately labelled controls. The pre-refresh 0.52/0.38/1.3σ stamps are historical audit entries, not current results. • Lepton masses: me (−0.66%) and mµ (phys, +0.06%) are theoretically limited by matching-scale uncertainty; PDG experimental precision far exceeds current theory precision. • Top quark: mt = 174,104 MeV, +0.87% above the PDG 2026 direct-measurement (MC) mass 172.60 ± 0.27 GeV (the cross-section pole mass is a distinct object); tree-level vs. pole-proxy, cross-scheme, declared. [LIB2-220, LIB2-312] Naive comparator distance dcmp = +5.57 (experimental- error units only; not a tension, sets no status — Rev32 retype, A1531/T2). The mass row is Structural (re-tiered Rev29); the algebraic statement yt = 1 carries its own tier in the main ledger. • Bottom quark: mb = 4146 MeV, −0.95% vs. PDG 2026 mb (mb ) = 4186 ± 6 MeV; tau-pole- anchored bridge vs. MS, cross-scheme, declared; dcmp = −6.67 (not a tension, sets no status). Structural ⋆ ⋆ ⋆⋆; formal S-matrix completion open [A640]. • Charm quark: the charm bridge value mc = 1291.9 MeV lies +1.49% above the PDG 2026 MS comparator mc (mc ) = 1272.9 ± 4.5 MeV. Dividing by the comparator’s experimental error gives a naive cross-scheme comparator distance of +4.22, but the bridge is constituent-anchored and no constituent-to-MS conversion or scheme uncertainty is supplied; the number is therefore not a physics tension and does not carry a BLACK classification. A scheme-matched significance awaits an explicit conversion with uncertainty. • Atmospheric angle: sin2 θ23 = 7/16 = 0.4375; NuFIT 6.1 NH (w/SK) global best fit 0.470+0.017 −0.014 (lower octant, 2.3σ); upper-octant local comparator ≈ 0.561 (≈ 9.5σ); 7/16 within current 3σ allowed range. Not yet excluded; watch DUNE. The +0.87% and −0.95% offsets in mt and mb are the programme’s most pressing quantitative challenges in the mass sector. Rev32 retype (A1531/T2), superseding the Rev29 sigma framing. The convention is now two-column: the primary statement is the signed percent offset with both schemes named inline; the secondary audit figure dcmp = (Mbridge − Mcmp )/σexp is a naive cross- scheme comparator distance in experimental-error units q only — not a tension, never status-setting. Only a scheme-matched Zmatched = (Mbridge − Mcmp )/ σexp 2 + σ2 theory + σmatching + σscheme may set 2 2 BLACK/RED, and no such conversion with uncertainty is currently supplied for these rows. [LIB2-312] 10 ===== PDF PAGE 346 / 433 ===== This applies retroactively: the earlier bare −5.3σ/+4.9σ (and the S205-era +2.1σ “not BLACK” charm reading) were invalid on their own terms; the honesty-ledger BLACK rows are correspondingly retyped as comparator-distance records pending a scheme-matched Z. The percent offsets stand and are recorded here as unresolved quantitative offsets of the mass sector, not as incomplete standard matching (A713: standard pole/MS conversion moves the top the wrong way; mb /mc fit only on a tuned scale). The residual pattern carries a weak-isospin signature δmf /mf = −κT3 (f ), κ ≃ 1.824% (equal-and-opposite t/b, charm needs χc ≃ 1.761), which is Structural, not derived: the carrier search (A715/A716) and a boundary-condition revision (A717) both closed negative, so κ and χc are phenomenological. Known electroweak mass-definition effects are percent-level and scheme-dependent in this sector (one-loop scheme band [−0.8, +3.8] pp; A719b); the −κT3 reading is scheme-conditional, and the operative test remains the t/b equality at improved precision. mτ is the external anchor and mµ is Structural (re-tiered Rev29; the resolvent short form is a loaded correspondence — see the provenance box below); me is Koide-closed ⋆ ⋆ ⋆⋆ under external K = 2/3. Bottom and charm quarks Structural ⋆ ⋆ ⋆⋆ pending formal S-matrix completion. Scheme-label declaration (T5-A; S64, A724) Every mass-sector comparison in this suite is now explicitly scheme-labelled. The declaration below states, for each framework object, which renormalized SM object it is, what it is compared against, and whether any scheme conversion is applied. No printed central value changes from these labels; they exist so that no comparison can be misread. Two rulings matter most. First, the 7/3 bridge value (7/3)mτ = 4146 MeV is a tau-pole-anchored algebraic bridge value compared directly to mb (mb )MS ; it is not a bottom pole mass, and no pole→ MS conversion is applied (treating it as a pole mass and converting would shift it by −9% to −18% at one to four loops — a category error, not a property of the bridge). [LIB2-313] Second, κ ≃ 1.824% is a phenomenological dimensionless residual extracted in mixed comparison conventions (top tree-vs-direct/MC, transferred across a direct/MC→ MS boundary in the bottom bookkeeping); it is structural bookkeeping, not a scheme-clean prediction. Table 2: Scheme-label declaration (T5-A). “Conv.” = standard scheme conversion applied. Object Framework-side label Comparator Conv.? Caveat v√ = GF -derived, tree- — (input) — measured anchor ( 2GF )−1/2 level SM convention (246.21965 GeV) √ mt = v/ 2 tree-level Yukawa/EW- PDG 2026 no +0.87%; dcmp = boundary value; no loop direct/MC +5.57 is a cross- dressing; not pole, not MS 172.60 ± scheme comparator 0.27 GeV distance only (pole proxy) mµ /mτ charged-lepton pole-mass PDG pole no scheme-safe at ratio masses quoted precision me (QED– physical pole mass after CODATA/PDG QED 1-loop QED scheme/scale Koide) one-loop QED dressing, pole convention carried; on-shell α, at ΛG2 T4-G open 11 ===== PDF PAGE 347 / 433 ===== Object Framework-side label Comparator Conv.? Caveat mb = (7/3)mτ tau-pole-anchored alge- mb (mb ), MS no not a bottom pole braic bridge value at µ = mb mass; direct compar- ison, no conversion mc = constituent-anchored alge- mc (mc ), MS no constituent→ MS not (7/3)mconst s braic bridge value at µ = mc applied const mu,d,s constituent masses (ΛG2 — — declared incompara- tower) ble to PDG current masses ΛG2 ≈ 260 MeV phenomenological G2 con- ΛMS analogy no scheme/nf not de- finement anchor only rived; nearest nf =4 ΛMS -like if forced; not a measured ΛQCD κ ≃ 1.824% dimensionless phenomeno- top di- no convention transfer logical residual in mixed rect/MC; declared; not scheme- conventions bottom MS clean; 0.0115 pp per bookkeeping 10 MeV of mt sin2 θW = ϕ−3 structural target on the PDG 2026: no µ⋆ scheme- MS running curve ŝ2W (µ) ŝ2W (MZ ) = dependent, not 0.23122 ± derived; the effective 0.00006; and on-shell quan- on-shell tities are distinct 0.22348 ± scheme objects 0.00010 PMNS/CKM dimensionless fit observ- NuFIT 6.1 no CKM global-fit phase ables (NO, w/SK vs tree-level γ kept branch stated) separate / PDG Provenance taxonomy: Proved / Structural / Input The ledger above mixes three logically distinct kinds of ingredient, and a referee is entitled to see them separated. The active input ledger groups current quantities into exactly one of three operational classes (Rev32.1, A1538 F9: this is the ledger’s operational grouping, not the suite-wide status taxonomy — the mathematical-status axis carries five tiers and Paper 0 §1 is authoritative). Proved: forced by the Jordan/Freudenthal algebra, with no fit to particle data. Structural: value correct and algebraically motivated, but permitted rather than selected — the algebra allows it and no other value competes numerically, yet no uniqueness/selection theorem closes it. Input: genuinely external — a measured dimensionful scale, an empirical selection rule, or a discrete datum the algebra does not fix. The dimensionless flavour observables are almost entirely Proved or Structural; the irreducible Input is concentrated in the dimensionful scales and a short list of discrete data. 12 ===== PDF PAGE 348 / 433 ===== Table 3: Provenance tiers across the suite. Tier Items Source / status note Proved Anomaly cancellation (SO(10) 16); all SM hyper- A696; A689; A686–A689; charges (under B+SU(5)); Yukawa tensor struc- main ledger (Table 1); ture (cross-block ε · ε); mixing observables (pre- A630. Forced by al- Rev29: six of eight; superseded — two of eight at gebra, no fit. Rev29 : Derived-conditional or above, namely θ12 , δCP ; the mass exponent p = the internal 7/16 mismatch identity is theorem- 8/3, the √ normalization grade with its physical θ23 attachment Loaded- C = 2/10 and the correspondence; the CKM first row is Loaded mµ /mτ formula are re- and |Vcb | Loaded-correspondence (physical) / moved from this tier Structural formula (A1566, Rev32.6), (Rev29 re- — “forced by algebra, no tiering, Paper 3 § “Row-by-row re-tiering”; kernel fit” does not hold of them s959)); quark gauge-protection (see the provenance box below). √ Structural Mass exponent p = 8/3, normalization C = 2/10 A678; A697/A698; A635; and the mµ /mτ formula (re-tiered Rev29 from D702–D704. Right value, Proved; Loaded-correspondence / Repro- no selection theorem; duced — A616; A618); θ13 = sin4 (π/8) (readout readout-axiom claims lemma B.5′ ); δCKM (Coincidence-class candi- name their axiom inline. date construction; the Rev29 “conditional theorem under F-δ” wording retired Rev32.5); sin2 θW = ϕ−3 (2% target); 7/3 bridge (mb , mc ); light-quark constituent masses; cross-sector colour/singlet mass envelope (octonion-index) Input Generation count = 3; Koide selector K = 2/3; A691–A694 (replication dimensionful scales vEW and ΛG2 ; measured con- refuted; count external); stants α, MPl empirical K; two exter- nal scales (calibration in- ventory — see the input- count convention box); PDG constants. Global status of the B-frame (A707/A708). The hypercharge and Yukawa entries above are carried “under B+SU(5)”: they use one explicit oriented SplitCD/SU (5) frame B. That choice is no longer an independent axiom. The continuous SO(4, 4) stabilizer of the traced Yukawa skeleton is g2(2) ⊕ so(1, 1)34 , but the extra SO(1, 1)34 boost is incompatible with the fixed compact SM gauge frame — it breaks the positive color norm and fails to commute with U (1)Y and SU (2)L (A707). An exhaustive finite audit of the e0 -fixing signed-permutation frames (A708, 645,120 enumerated; Aut(Os ) = 192 re-derived in house) gives Valid76 = Aut(Os ) ⊔ Aut(Os )◦σ (384 = 192+192), σ = diag(1, 1, 1, −1, 1, −1, −1, −1), and, after the compact gauge frame is imposed, the valid finite frames reduce to the e7 -line-preserving subset (96 = 48+48) — a single component once one quotients by G2(2) , compact SM gauge, and the 13 ===== PDF PAGE 349 / 433 ===== σ-rephasing; color conjugation 3 ↔ 3̄ and the singlet swap e0 ↔ e7 both fail validity. Hence AB [DISCHARGED relative to the compact SM gauge embedding], so the Proved hypercharge/Yukawa entries carry no separate frame axiom; the residual “B” qualifier names the compact SM embedding (a physical Input, listed below), not a frame ambiguity. Caveat: a formal theorem over arbitrary disconnected O(4, 4) frames beyond the signed-permutation class is not yet formalized. Gauge-boundary status of the gauge-group input (S75–S77; Appendix F). The gauge- group entry in the Input tier is now carried with the upgraded label A1 : [Input + Structural+empirical uniqueness-of-completion], bounded on both sides by theorem-grade results (statements, proofs, and computations in Appendix F). Obstruction side (two walls): the branching-wall theorem — no gauging of maximal N =8, D=4 supergravity, in any symplectic frame, contains a compactly embedded su(3) ⊕ su(2) (21/21 faithful embedding classes killed by exact integer branching multiplicities) — and the charge-wall theorem (S80) — no gauging contains a unitary-class su(3) (matter colour, 8 = 3 ⊕ 5 · 1); only the vector and adjoint classes are ever gauging-realizable; both walls house-proved and independently blind-replicated. Emergence-as-gauging is closed negative, so the input is unreachable, not merely unselected: the right algebra, never the right representation. Uniqueness side: among compact low-energy completions gauging the full derived colour + weak action on the derived 16-fermion package with 10H -only scalar closure, GSM is unique up to U (1)B−L (extra Cartan computed unique = 3(B−L)) and up to global structure Γ; the gauge-the-full-action and 10H -closure clauses are load-bearing, the enumeration boundary is stated, and uniqueness-of-completion is not emergence. Dynamical remnant: a maximal derivable shadow-type su(3) ⊕ u(1) ⊕ u(1) is selected by vacuum stability of the missing-16 scalar sector at a stable SO(6, 2) point (dyonic completion = published Minkowski vacuum, residual SO(6) × SO(2)); family-relative. The SM charge-pattern identification was executed (S78): rep- level mismatch at the origin point (pre-registered demotion applied — the selected u(1)’s are not YSM /3(B−L) there); the labeling question was then closed negative in two strengthening steps: by counting for the entire 36-parameter vacuum family (S78b) and by the charge-wall theorem for every gauging (S80; Appendix F) — the shadow is structural, not the SM in disguise. No public number in the observable map moves on account of any of this; the entries of this ledger are unchanged except for the A1 label above. Novelty labels (Rev33.0; R169) Every theorem, lemma, proposition and corollary in the suite carries, immediately before it, one of three novelty labels, in the Track-2 vocabulary verbatim: standard theorem used (the result, or the step that carries it, is a named prior result applied to the suite’s objects); new specialization proved here (a proof in the suite or a kernel certificate exists; where a general result is being specialized, it is named); physical interpretation not established here (the statement’s content is a physical reading of the mathematics, not a mathematical fact). The label is a third axis: it does not replace the provenance tiers above or the five-tier status axis of Paper 0, and it does not turn a standard theorem into a discovery. Each label has a written basis in Trackers/NOVELTY_LABEL_WORKLIST_S361.tsv; a result the house could not place stays undetermined and is never defaulted to the more flattering label. At Rev33.0 all 175 theorem-level environments are labelled: 131 new specialization, 22 standard theorem used, 22 physical interpretation not established here, none undetermined. 14 ===== PDF PAGE 350 / 433 ===== Dimensionless theory of ratios; the leap to units Superseded note (Rev25). The paragraph below is the Rev19–Rev24 two-scale calibration statement, retained verbatim for the audit trail. It is superseded by the registration section that follows it: the “would reduce the genuinely new dimensionful input toward one” hope is now a theorem chain (two-parameter no-go + H 2 count + unconditional census; Appendix O, §“The scale endgame”), the framework’s dimensionful input count is exactly one, and the second calibration scale is no longer available as an independent input: under the one-class statement, ΛG2 = ΛQCD is an identification of role (not an independent input, and not a numerical equality with a scheme-defined ΛQCD — see the scheme table and the ΛG2 note √ below the input-count box) and vEW / σ becomes theorem-mandated derivable (the one-input obligation below). [Superseded, Rev19–Rev24 text:] The framework fixes every dimensionless flavour observable — mixing angles and mass ratios — from J3 (Os ) structure, with no dimensionful input. Absolute calibration, however, requires at least two external dimensionful √ scales: the electroweak vacuum vEW , which sets all Dirac masses through mf = yf vEW / 2, and a ΛQCD -like confinement scale ΛG2 (dimensional transmutation), which sets the constituent masses and the hadronic sector. These two are logically independent — one is a potential VEV, the other a running-coupling scale — and their ratio vEW /ΛG2 ∼ 103 is itself a hierarchy that no scale-free algebra produces. This is not a gap in the derivation but a structural feature: by the Robertson constraint, fixing a single unit (R ≡ 1) sets units only and cannot, by itself, generate a dimensionless coupling or an exponentially large dimensionful ratio. The strong scale is plausibly identified with standard QCD dimensional transmutation (ΛG2 = ΛQCD under the SU (3)c ⊂ G2 confiner reading [D700/A700]), which would reduce the genuinely new dimensionful input toward one. Operationally the two scales function as calibration: once vEW and ΛG2 are set from two measurements, every other absolute mass is predicted from the algebraic ratios. The falsifiable core — all dimensionless observables — is therefore already exposed to test without the leap to units; only the absolute mass scale depends on the two calibration inputs. 15 ===== PDF PAGE 351 / 433 ===== The registered input (Rev25): the depth-cylinder Bargmann class Input-count convention (Rev32 reconciliation; A1531/R1). This ledger prints three numerals about dimensionful inputs, and they are not competing counts — they count different nouns: Count Noun What it inventories one independent dimensionful input class the registered depth-cylinder Bargmann class (Ldepth /Lσ , this section), after the post-Rev25 iden- tifications and obligations two external dimensional calibrations vEW and ΛG2 , required operationally to convert ratios into absolute masses three named operational anchors mτ , vEW , ΛG2 , as they appear in current formula chains (generation ledger) Input-count convention. The suite has one independent dimensionful input class after registered identifications. Two external dimensional calibrations are required operationally, and three named dimensional anchors still appear in current formula chains; those are calibration and usage inventories, not competing counts of independent inputs. [LIB2-124, LIB2-299] Every other count printed in this suite cross-references this box. Two clarifications of the box (Rev32.9; R84-h, PRM-029; A1642 O4). (i) ΛG2 ≈ 260 MeV is one object with one type: an external dimensional calibration (row two of the box). Its value is taken from hadronic phenomenology; where a row calls it “measured” or “fitted” that names the source of the value, not a measured ΛQCD in any scheme. Under the one-class statement it is not an independent input, and its Rev25 identification with the QCD confinement scale is an identification of role, not of number. It is used in two sector roles — the heavy-lepton anchor (Appendix A) and the light-quark constituent anchor (Paper 2) — which are two uses of one calibration, not two inputs. (ii) The clock normalisation q0clk = me (Appendix H; the time-layer paragraph above) is a unit choice made inside the one registered class. It is not a fourth anchor, and it is not the Kaluza–Klein tower quantum q0KK of Appendix G. Scorecard row 18 outputs me from mτ ; the clock reads that output as its unit. Name. Ldepth /Lσ — the Bargmann/central-charge class of the winding category; the framework’s one dimensionful input. Canonical statement (s748 card). The winding category admits exactly one central positive scale class (dim H 2 = C(2, 2) = 1, unconditional on the banked symmetry census); no homogeneous √ machinery can fix it (two-parameter no-go); its value is fixed by measurement as me / σ and is not ϕ-menu-expressible (sealed null). Registering it is registering the Bargmann central charge: one number, one contact point with experiment, theorem-counted. √ Operational value (inputs pinned: me = 0.51099895 MeV, σ = 445(3)(6) MeV): √ σ √ m = 870.843277 (±1.51%, σ-dominated), √ e = 1.1483122 × 10−3 . me σ 16 ===== PDF PAGE 352 / 433 ===== √ ϕ-ladder position: logϕ ( σ/me ) = 14.0675 (+0.0675 off-integer rungs). The s721 null model is SEALED: no ϕ-menu form within 1% at frozen base rates — the value is registrable, not derivable, exactly as the theorem demands; the seal is kept after registration as the standing guard against menu-numerology relapse. Theorem chain (each element banked and verified): s696 Möbius forced → s697 exactly two cylinders → s713 substrate blindness → A1353 two-parameter no-go (an input is required) → A1354 two doors (scale separated from the charge kernel) → A1355 H 2 (Sym; R+ ) = R (area cocycle) → s741 unconditional census, dim H 2 = C(ncyl , 2) = 1, single-flip symmetries forbidden → s740 loaded fiber admits no dynamical stabilization (the radion met honestly). The one-input obligation. dim H 2 = 1 forbids a second independent dimensionful input. Every other dimensionful ratio in the suite is therefore theorem-mandated derivable. Targets: √ (i) vEW / σ = 553.3026 (logϕ = 13.1250; not ϕ-menu-clean, consistent with a dynamical origin) — mandated-derivable; the σ-bridge program is the designated post-freeze flagship. (Pencil curio, not a claim: the off-integer part +0.1250 ≈ 1/8 rung carries ±0.03-rung uncertainty.) (ii) ΛG2 : if ΛG2 = ΛQCD (D700/A700 reading), it is not an independent input — this closes the superseded two-scale paragraph above into the one-class statement. Falsification clause: exhibiting a second underivable dimensionful ratio falsifies the one-input theorem chain. [LIB2-299] Ledger consequence. In the provenance taxonomy above, the Input tier’s “dimensionful scales vEW and ΛG2 ” entry is read, from Rev25 on, as: one registered dimensionful input (Ldepth /Lσ , operationally √ √ me / σ), with vEW / σ reclassified from input to obligation (mandated-derivable) and ΛG2 carried under the identification reading. Rev32.1 (A1538 F8): these are two readouts that must not be collapsed — ONE abstract central scale class is registered by the theorem, while THREE empirical dimensional anchors (mτ , vEW , ΛG2 ) are currently consumed by the operative formula chains; the physical “one-input” reading becomes available only when derived relations with uncertainties tie vEW and ΛG2 to the registered class. [LIB2-124, LIB2-299] The registration is an administrative act on a theorem chain; no public observable moves. Color/singlet localization envelope (cross-sector mass bands) The B-map and octonionic colour decomposition give a genuine structural distinction between colour-singlet and colour-triplet directions, Os → 1(e0 ) ⊕ 1(e7 ) ⊕ 3 ⊕ 3̄ under SU (3) ⊂ G2 , with Hu , Hd , L, ec , ν c on the singlet directions and Q, uc , dc on the colour 3 ⊕ 3̄ directions [A677, A688/A689]. This band label is rigorous. Split-frame reading of “3̄” (wording correction, A1426-K2, Rev28). The real carrier here is 1 ⊕ 3 ⊕ 3∗ of split SL(3, R) with the contragredient action. “3̄” in this and neighbouring prose must therefore be read either as complexified notation, or as requiring a separately loaded compact-frame transport — and compact-Casimir or physical-colour language may not be inferred directly from the split fibre. The band label survives this reading; what does not survive is any argument that walks from the split decomposition to a compact SU (3) Casimir without paying for the transport. Verified house-side (s905, 15/15 ×2); the b = a result is basis- and intertwiner-invariant and is unaffected. 17 ===== PDF PAGE 353 / 433 ===== SU (3) A localization law cf = c0 + α C2 (f ), with C2 (1) = 0, C2 (3) = C2 (3̄) = 4/3, would reduce the lepton/quark mass envelope to a single coefficient α. An explicit SU (3)-structure Dirac-operator analysis [D702–D704] establishes two facts. First, the Casimir-weighted form δcR ∝ C2 (R) is geometrically natural only when the internal SU (3)-curvature is adjoint-isotropic; this is realized by homogeneous orbit-averaging on a nearly-Kähler coset, but not on a generic background, where the connection splits weights inside the multiplet (a partial/Cartan holonomy does not isotropize) and the band law fails. Second, even where the form holds, the amplitude αkR = η s γ τ̂ 2 (kR) and its sign remain free moduli; the phenomenological value αkR ≃ 9.55 (from mt /me ) is not derived, and a single α cannot in any case fit the raw cross-sector ratios (the required value spans a 15× range), so the envelope can only be a band multiplier on top of the algebraic within-sector factors. The within-sector ratios (ϕ-ladder, Koide, 7/3) are untouched, since the Casimir acts by representation only. Envelope status. Os → 1 ⊕ 1 ⊕ 3 ⊕ 3̄ band label: Proved (under B), read in the split frame per the correction above (A1426-K2) — the compact-frame transport is a separately loaded step, not a corollary. Casimir form δcR ∝ C2 (R): Proved under a homogeneous adjoint-isotropy condition; Proved-no for generic SU (3)-structure curvature. Coefficient αkR and sign: Open (free moduli). Cross-sector envelope: reduced to one geometric modulus under the isotropy assumption, not derived; absent that assumption, a relabelled fit. Three-generation ratio ledger: what varies across the generations The generation count (Ng = 3) is an Input: algebraic replication is refuted [A691–A694], so the algebra does not derive why the one-generation Yukawa structure repeats. Given the count, however, the full spectrum is populated by anchored algebraic ratios, and the economy is sharp: exactly one object varies across the three generations. The single generation-varying object — the resolvent index d. Every inter-generation ratio derives from the one-parameter resolvent family 1 Rd = , R1 = ϕ−1 = 0.6180, R2 = 0.1708, R3 = 0.0590, R4 = 0.0217, ϕ2d − 1 with the index d fixed structurally by the Peirce eigenvalue spectrum {ϕ, 1, ϕ−1 } of Jvac — not fitted: d = 1 : CKM transfer; d = 2 : mν2 /mν3 ; d = 3 : mµ /mτ ; d = 4 : ms /mb . (Rev32.2 note on the d = 2 rung: R2 lies 1.44–1.79σ below the m1 = 0 normal-ordering floor and is scored as a below-floor edge target, not a hit; d(ν) = 2 is selected by the post-hoc feature rule d = 2+[YR ̸= 0]+[coloured], the χ2 minimum of an injective assignment, not derived — Paper 5, s1104; the exact-asymmetric σ range and look-elsewhere are certified by s1162, Rev32.6.) The charged-lepton ordering is reversed by the UT1/2 Jordan-automorphism theorem (d = 1 → τ, 2 → µ, 3 → e). The index d — equivalently the ϕ-ladder rung, or the topological winding level of the Peirce idempotent — is the only quantity that carries a generation label. What does NOT vary (generation-invariant, proved). The dynamics is permutation-invariant across the three idempotents {f1 , f2 , f3 } [A637/Q1B]: the winding exponent p = 8/3 = dim(Os )/rank(J3 ) 18 ===== PDF PAGE 354 / 433 ===== √ √ [A616]; the normalization C = 2/10 = 2/ dim(J2 (Os )) [A618]; the lepton–quark bridge 7/3 = n23 /rank(J3 ) [A635/A637]; the cross-block Yukawa tensor ε·ε [A686–A689]; the SM hypercharges [A689]; and the Koide selector K = 2/3. None carries a generation index. Rev29 qualifier: what is proved here is generation-invariance [A637/Q1B]. The mathematical tier of p and C (exact dimension ratio, exact dimension count) is not in dispute; their physical attachment to the mass formula is Loaded-correspondence, not Proved — see “Provenance of the charged-lepton ratio”. Table 4: Spectrum from three anchors + generation-indexed algebraic ratios. Rev32.1 reading rule: tiers name math- ematical provenance; physical attachments are stated separately; no row may be cited as zero-parameter; displayed σ values are named comparator distances, not profile likelihoods. Fermion Index Formula (anchor × ratio) Predicted PDG (miss) Status [source] τ anchor mτ ≡ 1776.93 MeV — — Input (lepton dial) √ √ µ d = 3 mτ (ϕ/ 5)8/3 ( 2/10) 106.05 105.66 Structural (a la- (+0.37%) / Loaded- bel; the corr. (Rev29 ) mono- [A616,A618] mial is not R3 — Paper 2 §3.1, Rev32.9) e Koide mtree µ → δQED → K=2/3 0.508 0.511 Koide- (−0.66%) consistent [A636,A637] √ t anchor vEW / 2 (yt =1) 174,104 172,600 Structural (+0.87%; (re-tiered Rev29 ) dcmp =+5.57, [A632] cross- scheme, no status) c 7/3 (7/3) mconst s 1291.9 1272.9 Structural (+1.49%; [A635,A637] cross- scheme, declared) u const ΛG2 ϕ1/2 331 ∼ 336 const Structural (−1.57% at [A618] full precision 330.73) 19 ===== PDF PAGE 355 / 433 ===== Fermion Index Formula (anchor × ratio) Predicted PDG (miss) Status [source] b 7/3 (7/3) mτ 4146 4186 Structural (−0.95%; [A635,A637] cross- scheme, declared) s const ΛG2 ϕ (KG2 /KSU (3) )1/4 553.7 ∼ 540 const Structural [A631] d const ΛG2 ϕ1/2 331 ∼ 340 const Structural (−2.73% at [A618] full precision 330.73) Anchors (dimensionful dials — the “three named anchors” usage inventory of the input-count convention box; see scales subsection above): mτ = 1776.93 MeV (lepton tower + mb via 7/3); vEW = 246.22 GeV (top, pinned by GF ); ΛG2 ≈ 260 MeV (light-quark constituents + mc via 7/3). [LIB2-124] Light-quark entries are constituent masses, not directly comparable to the current-quark PDG values (mu ≈ 2, md ≈ 5, ms ≈ 93 MeV). [LIB2-128, LIB2-129] 20 ===== PDF PAGE 356 / 433 ===== Provenance of the charged-lepton ratio mµ /mτ (Rev29 re-tiering) The ratio is not proved,√and its √ own sources never claimed it was. Through Rev28 the formula mµ /mτ = (ϕ/ 5) · 2/10 printed at Proved / zero-parameter / “forced by 8/3 algebra, no fit”. That typing is withdrawn. The provenance is target-first, and the chain is short enough to print in full: • D616:99–102 takes the PDG numbers, computes 0.0595/0.4220 = 0.141, and asks whether 0.141 is algebraic in φ. The target came first. √ • A616:50–63 offers 2/10 as the answer, agreeing to 0.37%, and states in the same breath that the algebraic origin is not yet proved. • A618:47–51 supplies dim J2 (Os ) = 10 afterward: the dimension is fetched to explain a number already in hand. • A618:134–140 concedes that the divide-by-dimension step “is argued by analogy”. • A618:147 lists the formal derivation as blocking. It is closed nowhere in the corpus. The +0.37% residual IS the fit gap. C enters the ratio multiplicatively, so the residual measures C and nothing√else: reproducing the measured ratio requires C = 0.140894, whereas the offered constant is 2/10 = 0.141421. The constant is +0.37% high and the predicted muon mass is +0.37% high — the same number twice, because it is the same number. There is no independent determination of C against which 0.37% could be a residual discrepancy. Re-tiered typing (Rev29 ). Mathematical tier Structural; physical attachment Loaded- correspondence; reproduction status Reproduced — the arithmetic is exact and repro- duces in house, and what is missing is a derivation of C, not a computation. This brings Appendix X into line with the two-axis row already printed in Paper 0 (8/3 = dim Os /rank J3 is an exact dimension ratio and Loaded-correspondence: “not, alone, a mass exponent”), and supersedes every “zero free parameters” citation of this ratio elsewhere in the suite. Honest boundary. Populating generations 2 and 3 by anchored ratios is phenomenological accom- modation — legitimate, and exactly parallel to the dimensionful calibration above — not derived replication: Ng = 3 is an input and algebraic replication is refuted [A691–A694]. The inter-generation ledger has mixed provenance: theorem-grade internal maps, Derived-conditional physical rows (two of eight angles after the Rev29 re-tiering and the A1566 retype (Rev29 re-tiering, Paper 3 § “Row-by-row re-tiering”; kernel s959; Rev32.6) — the pre-Rev29 “six of eight at theorem level” is superseded; Table 1), Structural rows, and Loaded-correspondence rows. The full matrix is not a derived physical object, and what survives is not tuned. In one line: the vertical ladders (masses within a sector) are anchored ratios on top of an input count, while the horizontal structure (mixing between generations) is of mixed provenance — theorem-grade internal maps attached to physical rows by correspondences of stated tier. Update (s496/s498, S206) — a conditional forcing skeleton. A forcing argument now exists alongside the input label. Requiring an ergodically-mixing four-dimensional Lorentzian continuum to emerge forces the boundary monodromy to be hyperbolic, and the minimal hyperbolic seed trace is 3 (the trace of the SL(2, Z) seed M1 ; its Sym3 lift in Sp(4, Z) has trace t3 − 2t = 21 — two objects, Rev32.9) (s496 lower-bound theorem; s498 least-dilatation/least-entropy minimality). [LIB2-344] Hence Ng = 3 is Forced-Conditional: the lower bound |trace| ≥ 3 is proven, while = 3 minimality is conditional on least-action selection and the smooth-continuum limit. The engine still takes 3 as an 21 ===== PDF PAGE 357 / 433 ===== input; this is a separate, conditional derivation, not an unconditional theorem. Within-generation Yukawa coefficients: a scoped honest negative (O-YUKAWA-COEFFICIENTS, conditionally closed) The exceptional-Jordan cubic derives the four Standard-Model Yukawa tensors {Quc H, Lν c H, Qdc H c , Lec H c } together with a single democratic (1, 1, 1, 1) common normalization, and nothing finer (Appen- dices J, K). The four distinct physical coefficients {yu , yd , ye , yν } — i.e. the within-generation hier- archy — are irreducibly external to the banked parent action. Five independent lines converge on this: the G2 /U (1)Y 7–3 fence (s238); the exact 12 -norm Y = ±1 mirror leakage removed by the U (1)Y Reynolds projector (A1048); the Reynolds-forced democracy that requires a non-invariant compensator (s239/s240, Appendix J); the failed candidate sweep F4 /E6 /B−L/Jvac (A1049/A1050); and the rank-4 residue map with order-of-magnitude RG running failure (A1051). This is recorded as the Input/open item O-YUKAWA-COEFFICIENTS, now conditionally closed as a scoped honest negative. Scope fence: the no-go is over the banked exceptional-Jordan framework only; non-perturbative or composite dynamics are not banked and so this is not a universal no-go. The honest published claim is the four SM Yukawa tensors + democratic normalization, full stop; no public observable moves. Rest-mass selector and selector fences (Rev21 fold; cross-reference) Two further inputs are now named explicitly elsewhere in the suite and recorded here for the ledger. The rest-mass occupation O = {0, 3, 11, 17} (Appendix M). The integer rungs at which the charged leptons and up quark sit on the golden ladder were carried as an Input through Rev24. Appendix M establishes the surrounding structure target-independently — the exact parity Z2 grading, the clock modulus M = 60 = 2h(E8 ) (two independent derivations), and the exact Galois localization Stab(Z/60)× (O) = {1}. Rev25 update: the selector is now derived in all three layers (mod-2 Möbius parity, mod-5 torsion walls, mod-7 Fano/Artin adjacency; A1349/A1350-verified), and the occupation is promoted to Derived-Conditional (Appendix M, Rev25 section), with the hash- stamped continuation {31, 39} as the live public falsifier. The engine’s occupation column keeps its Input label until the kill condition has been exposed to test; the ledger records the derivation chain. The charged-lepton mass gaps (Appendix O). Beyond the integer windings, the charged-lepton mass ratios require two further numbers — the democratic-singlet and doublet “gaps”√µd , µp of the outer mirror. Appendix O derives the surrounding shape (Koide Q = 2/3 ⇔ r = 2) and the forced two-gap operator structure, but on all present evidence the two gap values are Input of Yukawa type: the loaded action gives a uniform gap that does not reproduce the spectrum, and the conditional 3/5 closure is inexact. They route to one open object — a valid gauge-preserving S125 carrier, the same gate as the colour charges. Nothing is promoted. Selector fences (Appendix N). The fine-structure constant α is an Input modulus, fenced on five independent legs (Wyler route falsified; golden numerology density; noble/KAM robustness-not- selection; the selector is topological, not an offset; and the dynamical-scale-via-decay route is closed at Sbounce = 0 — Appendix N, Legs 1–5, s256/s258–s262/s175). The compact colour real form is an Input: compact su(3) (dimension 8) cannot embed in the available maximal compact part (dimension 6). Engine-side presentation tabs. The Outputs workbook carries three presentation-only tabs (Electron 22 ===== PDF PAGE 358 / 433 ===== Shell Levels, Winding→Mass, Exact Windings↔Energies, sessions S164/S166/S167) that tabulate the descriptive golden-ladder read-offs; they move no public observable and are derived from the banked kernels only. S198–S207 clean negatives (banked, no observable moves). • The σ mass-gap is not an F4 = Der(J3 ) Cartan object: it is the LJvac multiplication in the e6 /f4 (Str/Der) complement (∥projDer ∥ = 10−16 ). • An action-level charged Dirac mass is forbidden (no-Q theorem, triple-confirmed); a neutral 2 × 2 Majorana mass is allowed. • The 912 Θ(A) gauging is blind to the hypercharge residue A: the compact gSM is excluded for all A (including the SM value A = 2). • The S125 extraction is retired with proof: the Majorana/Ward/reciprocity/bridge defect ranks are congruence (frame-orbit) invariants, so no legal frame change repairs the registered obstruction (re-confirmed A1208). S209–S226 clean negatives (Rev25 fold; banked, no observable moves). • α is not derived — confirmed three independent ways (S214): boundary-volume route (α−1 ≈ 14.5, s593); bulk-residue route (1/163, s595); KK-ratio route (s597). All three fail cleanly. S226 adds the typing: α belongs to the Door-2 / dimensionless-coherence class (Appendix O, §“The scale endgame”), not the scale-datum class — which is why no ruler-type route can produce it. The α fence (Appendix N) stands unchanged. • NΛ = 33 lepton-cutoff form is a one-parameter fit, not a prediction (s600, honest fail: the form breaks at the electron). • δ sign = generation chirality (s598): banked with the preceding caveat — the identification inherits the fitted status of the NΛ form it rides on. • Radion first harmonic killed (s743): charge-face defects are not tick-organized. Scale-menu null sealed (s721): no ϕ-menu form for 870.84 within 1% (kept sealed post-registration; see the registration section). Rev26 fold: the dynamics frontier and the paid scale obligation (S228–S240) Ledger status (Rev26). The one-input theorem chain of Rev25 is unchanged; what Rev26 adds is √ the payment of its obligation at conditional/loaded-depth tier: vEW / σ = ϕ105/8 = 553.30 (framed- depth operator D = 13 + 18 ; Appendix O) (registered at β = 1 from the two-element menu β ∈ {1, 7} of Appendix N’s electroweak-permanence proposition — no intrinsic selector fixes β = 1), with √ mτ / σ = 4 = ϕ2 + 1 + ϕ−2 the exact dimensionless companion. This is a registration relative to the marked compact-positive carrier (Paper 4): the frame-free route is closed negative (the E7(7) permanence theorem, Appendices F/N). The interacting-vertex frontier (Appendix R) banks the first derived parameter-free (discrete, derived) relative vertex sign (−1, amputated, F4-fenced) and re-counts the head wall as one merged loaded import + three continuous data {g3 , Csub , rC } + the 23 ===== PDF PAGE 359 / 433 ===== loaded placement kernel Π5←6 . Theorem-tier upgrades this fold: the frame-free Higgs-line no-go is now derived (Appendix F); the Marked Carrier Theorem (Paper 4); the 7/3 finite-carrier theorem (Appendix K). No dimensionless observable moves; α, colour, VCKM = I intact. S228–S240 clean negatives (Rev26 fold; banked, no observable moves). • Static baryon geometry is exhausted (S235): the curved KV three-body shape functional makes the equilateral configuration a curved-length maximum, curvature-robust (K = − 14 softens by ≈ 8%, cannot flip the sign) — the remaining baryon wall is the quantum source/propagator problem, not geometry. • The free contact measure does not select the threshold readout (S238): in the uncom- pressed R → ∞ limit the edge atom carries zero weight and the continuum saturates the full resolvent; atomization and the KV-flow route are dead at shipped tier. • The 10=10 chamber/torsor coincidence is not a bulk transfer (S240): W0A4 = 0 and all S4 → D5 maps factor through Z2 , so the equivariant intertwiner space vanishes; only the Z2 orientation fibre is shared. • Two house over-scopes, corrected (S240): full-27 trilinear uniqueness (the 27 is reducible, rank-3 invariant matrix; repaired on the traceless doorway) and the hope that the kinetic UNINORM fixes the cubic coupling g3 (it fixes only the tensor norm; g3 is structurally free). Rev27 fold: the priced-selector arc — the wall as a closed ledger (S242–S245) Ledger status (Rev27). No dimensionless observable moves; the fold characterizes the discrete half of the parent-action wall (Appendix S) and re-prices, honestly downward, one hoped-for completion (Appendix O). The engine is unchanged; α, colour, VCKM = I intact; KILL-NODE 2 remains fired. The D1116–D1121 hexad closes the selector question at a finite priced ledger: the missing datum is [jA ] ∈ RP2 (or a single-summand sparsity axiom + a branch bit), one relative datum (the common-lift axiom or the unpinned lift ∆θ ), two magnitudes, and the standing orientation Z2 ; the one datum derived beyond counting is the V-side quadrature z− = ±i z+ , conditional on the candidate shape action. Structural theorems banked this fold (Appendix S): the quadratic-action no-go (invariant census 0/5/3); J(A) typed to C2 with rank = 2 ⇐⇒ Im(z̄+ z− ) ̸= 0; the placement–charge table (ι = 16p, V±1 excluded, attachment forced-free at 0 new bits/dims); the independence ladder at three/five/six tiers; the paired-source CASE-D root-line locus; the evaluation relation d = −5s + 18o (kernel (5, −18, 1)); the copy-blindness split (target-Gram actions copy-blind; the missing selector a non-scalar tensor A ∈ Sym3 ); and minimal height refuted-as-canonical. S242–S245 clean negatives and re-pricings (Rev27 fold; banked, no observable moves). • The exact additive-χ mass completion is refuted at the ratio tier (S245): on the occupancy depth support {0, 3, 11, 17} no single-χ closure r = χ2 /(ϕ2N + χ2 ) admits an exact bijection (0/24); the ordered ϕ-depth skeleton and the few-percent shape survive (Appendix O). The support {3, 11, 17} is independently corroborated as the adjacent-integer minimax (floor 0.0795; Appendix M). 24 ===== PDF PAGE 360 / 433 ===== • No banked principle selects the arrow (S245): equivariance, Kan extension, the paired-source theorem, the CRT tick classes, the weld, and the χ-verdict each leave jA free — six independence theorems, the axiom stack minimal at six tiers. • Minimal height is not canonical (S245): the house ordering survives only in the ray-wise- primitive convention; the common A2 -lattice selector is shorter, and 13 coefficient rays tie at output height 1, so minimal height cannot even replace the sparsity axiom. • Four house over-claims, lane-caught and corrected (S244–S245, casualties #4–#7): the independent-channel doorway (retired for the paired-source theorem); “the action votes for the root line” (common-lift-conditional only); the blanket ≤ 2-parameter completion no-go (withdrawn — a fitted period-70 two-parameter harmonic passes the 0.1% bar at 3.04 × 10−4 ; a watch item is banked and reopens only if its two coefficients are ever derived); and the depth-exclusion cut (retired — [M, Qem ] = 0 forbids identifying the two Z4 labels but not depth sourcing). • The 7/3 metric-weighted-residue route is a structural no-go (S246, s902): a unitary residue over Im Os (signature (3, 4)) lies in [−4, +3], so the integer 7 cannot be a signed physical residue (|residue| ≤ 4 < 7); it is realized only as the unweighted multiplicity. This upgrades the former “well-posed open” status of the 7/3 S-matrix bridge (Appendix I) to closed-negative for the residue route, with the finite-carrier index reading (Appendix K) the unique survivor. No observable moves: 7/3 was never a promoted amplitude. 1 The Rev28 fold ledger Rev28 folds twenty verified rounds (D1126–D1146; assessments A1430–A1449; house verifiers s909– s929, each ×2 byte-identical, four of them adjudicated against gates pre-registered before the returns landed). The physics sits in Appendix S (the boundary arc) and Appendix T (the Cartan carrier, the observation functor, the record). This section carries the ledger: what the architecture now is, what freedom is left and how it is typed, what died, and what the house got wrong. 1.1 The architecture (Rev28 box top) The even/odd = shape/selection reading is retired. The suite’s structure is stated as six layers: 25 ===== PDF PAGE 361 / 433 ===== L0 substrate split octonions and the Albert algebra; the (4, 4) model choice is an adopted premise L1 representations, support Peirce decomposition; 27 ↓ so(5); the annular C5 carrier and its categorical support (q = ±1 absent); the affine cover ℓ2 (Z) L2 kinematic invariants trace-derived metric and orientation; triality as the imaginary unit; signature as chirality; the so(5) closure; one shared radius L3 boundary and export Pann /Paff , caps and interfaces, AX-MG, ρ, AX-AFF-ONSET L4 dynamics and state Leff (exact conditional operator law, dynamics-tier candidate); the reflection-positive Cartan state at finite regulator; the positive completion cone; the record process L5 observable attachment OMOS : modular score, unital-CP normalization, POVM, min- imal dilation, Pin/OS evenization; AX-MASS-LABEL; the faithfulness wall One sentence. One E6(6) KK annulus carrying two opposite signature-chart trivializations and two grading orientations, with triality cycling the internal Peirce presentations and leaving the KK generator fixed; the boundary exports through a pointed affine interface priced by AX-MG and one registration coordinate; and every number a reader can see arrives through one explicitly constructed observation functor whose selection by the microscopic theory is the open question. 1.2 The observation-functor faithfulness wall Which loaded choices can any admitted observable distinguish? Two independent theorems answer instances of this and none answers it in general: lift degeneracy (Appendix S) and the even-sector invisibility of the signature transition (Appendix T). Distinguishing the latter costs one of four named new structures. Until the wall’s kernel is computed, no scalar bit-or-dimension total is available for the selector sector, and none is printed. [LIB2-259] 1.3 The typed freedom ledger (replaces bits+dims) The Rev27-era headline (a bit total plus a dimension count, with a surplus) is withdrawn pending typed rebuild: its 17-dimensional decomposition is internally inconsistent as typed — confirmed at primary source, lane-caught, and logged as a house casualty below. It is replaced by typed rows. [LIB2-259] 26 ===== PDF PAGE 362 / 433 ===== Object Moduli Assumption / attachment Falsifier boundary state ρ ∈ R/20Z (one AX-MG, two clauses; cross- a derived edge normalization [gρ ] continuous) layer interface (unitality, trace-preservation or idempotence) collapses c = 1 without the axiom onset marking none continuous AX-AFF-ONSET; Z2 defect a level-structure principle at level 7 that selects 7 (parity cur- rently allows 7, 8, 9) source arrow [jA ] RP off shell; col- AX-COT; log-Hodge natu- an off-shell arrow differing 2 lapsed to the order rality, absorbed into AX- by ker J that moves an ex- line on shell MOS ported quantity chamber lift zero; residual O(2) minimality (minimal- an exported quantity that is unphysical gauge dilation theorem) moves under the complement frame branch / orienta- none continuous branch Real clause; standing a continuum SSB limit that tion (S3 orbit absent loading; boundary-condition selects a branch (impossible the branch) selected at regulator tier) mass label none AX-MASS-LABEL, one- an interacting pole differing particle from the quasi-free gap realized record none — it is data sample none possible: a determinis- tic natural section is a cate- gory error No total. What can be said without the wall’s kernel is this: exactly one continuous modulus survives anywhere in the end-state ledger (ρ), and every other priced row is zero-dimensional. Any reader who wants a scalar “freedom number” should read that sentence instead. 1.4 The Rev28 kill list Structural. kill-node 2 (unconditional; fired off shell and for the full microscopic loading) · the D1125 selector derivation (loaded-effective survives) · AX-SEQ · the unpointed interface · TAM naturality · one-global-bridge · triality-as-class-fix · triality-as-third-cascade · the natural A4 completion · multi- bulk independent radii · sheet-gluing at the F4 tier · automatic principal-F4 nontriviality · the relative radion (three independent times) · direct spin–charge locking · the deterministic natural section of the actualization morphism · the tail/Poisson/Martin actuality rescue. Routes. the 7/3 signed-residue route (index reading survives) · the spectral selector (general r) · positivity-uniqueness · AX-MG derivation at the Markov/annular/affine tier, both clauses · every AX-COT derivation route · minimal-height-as-canonical · depth-cut · monomial selectors · quadratic invariant actions · AXIOM-K1-as-derivable · the kernel axis (twice) · constant pumps · V±1 fill · sedenion/16-dimensional substrate extensions · the phase-only bridge · the linear projector for simplicity · the smooth-elliptic route around the gravitational sign obstruction · pure MM/EH as a continuously reachable target · ghost-safety alone as a metric selector · the equivariant selector for the extremal branch · the χ-completion route through Leff . Numerical. 0.0331562% (off-support, twice killed, final) · the exact single-χ ratio on {0, 3, 11, 17} · 27 ===== PDF PAGE 363 / 433 ===== χ additive-completion-as-exact. The 0.2744490308% affine-safe row is a legal miss, not a kill: it stands in the miss column at 2.74449 times the frozen bar. Retirements (zero-cost). the orientation bit · AX-GOLD-PROFILE · TBD-7 and TBD-12 · the CP1 continuous price · the “one W bit” charge · the wrong-carrier finite-sign residue (erratum) · the “positive chiral determinant” target · gχ · AX-KUBO-MASS · AX-RIESZ-CLIFFORD-MASS · log-Hodge naturality (absorbed into AX-MOS). Watches (not kills). the period-70 two-parameter harmonic (adoption refused) · NuFIT θ23 = 7/16 · the T-U1U1-1 enhancement · the two-cylinder ↔ two-chart identification, still the sharpest single open test. 1.5 House casualties and the standing rule Four corrections were caught against house-signed text in this arc and are recorded rather than absorbed. (i) A dispatch summary asserted that “the continuum already died spectrally”; the banked result had constructed the spectral continuum and refuted only selection. A pre-send grep rule against banked results was adopted in consequence. (ii) The 17-dimensional decomposition of the freedom headline is internally inconsistent as typed; the headline is withdrawn (above). (iii) The single label “W ” denoted two operators; it is split suite-wide. (iv) A banked row priced the chamber lift by a commutant computed on the wrong carrier; the finite-sign residue is retired and replaced by the minimal-dilation theorem (Appendix T, erratum box). In all four cases the review lane caught the house. Standing rule (process, binding). No further χ-completion or χ-expression rounds run against the s900 ratio vector until a physical generator and response map exist; the route is generator → semigroup/two-point → normalized response → χ, or nothing. This is the lesson of the off-support kill and the legal miss, stated once as a rule. 1.6 Provenance: the laboratory notebook Appendix Y lists every adversarial round from S228 to S253 (A1358–A1449) with its dispatch, its headline result and the component carrying it, together with a reverse index from printed object to certifying round and the full casualty register. It also discloses the provenance gap it exists to close: before Rev28 no assessment above A1357 was cited anywhere in this suite, so two folds’ worth of certification was present in substance and absent in citation. Four rounds (A1414, A1416–A1418) had no ledger row at all and are named there. 1.7 What is open, named Πfull 5←6 (the microscopic loading) · Einstein universality (the AdS linearized spectrum of the sourced heat-kernel action) · Nmass /ℜχ (a normalized physical response map into the mass quadrature) · the interacting mass attachment · the conserved-Z2 sector identification · one realized record · AX-MOS realization — equivalently, is the physical observation functor the logarithmic Cartan spectral functor? · Lphys · H2, still unbridged. 28 ===== PDF PAGE 364 / 433 ===== 2 Real-form declaration: which signature invariants survive Os → O Declaration. Every Jordan/FTS signature invariant quoted in this suite is computed over the split octonions Os . Some of those signatures are properties of the construction; others are properties of the real form and change if the identical construction is run over the division octonions O. This section declares which is which, so that no signature in this suite is read as a real-form-independent invariant unless it is one. The discipline is not new here — Paper 0’s Step 2 already argues the fibre case explicitly, selecting Os because its norm form has neutral signature (4, 4) and excluding the compact O because its norm is positive definite. What follows extends that same declaration to the FTS-level signatures, which had been carried as bare invariants. House kernels s973 (independent FTS build, 25/27 gates) and s976 (constrained-action real-form control) run the identical construction over both real forms. Results: Object over Os (split) over O (division) Status Full FTS Hessian, rank 56 (29, 27, 0) (29, 27, 0) real-form independent Normal 28-block (14, 14) (2, 26) real-form dependent Boundary 28-block (15, 13) (27, 1) real-form dependent Constrained-action full Hessian (15, 15, 26) (3, 27, 26) real-form dependent Constraint tangent (14, 14, 26) (2, 26, 26) real-form dependent Two structural facts hold in both real forms and are therefore not real-form artifacts: the full Hessian has rank 56 with signature (29, 27, 0), and the two 28-blocks’ signatures sum to the full signature. The stationarity of the golden point is also common to both (∥∇Smin (z0 )∥ ∼ 3.5 × 10−14 in each). Analytic cause. The three Peirce blocks contribute −|a|2 /φ, −|b|2 and −φ|c|2 ; over the division octonions this is negative definite on all 24 octonionic directions, which is exactly what drives (14, 14) → (2, 26) and (15, 13) → (27, 1). Scope, binding. This declaration does not weaken any result whose statement is real-form independent, and in particular the rank-56/(29, 27, 0) statement is unaffected — it survives the change of real form. What it forbids is quoting (14, 14), (15, 13), (15, 15, 26) or (14, 14, 26) as if they were intrinsic to the construction rather than to Os . Where a downstream argument uses one of those four, the split real form is a declared premise of that argument and must be named as one. 3 The Rev29 fold ledger Rev28 closed on an architecture. Rev29 opens on its price list. The twenty-three-round derivation dive of S255–S257 (Appendix Y, Era 5) moved no observable and fitted no quantity. What it did was convert a set of hopes into a set of named, discharge-conditioned clauses. This section prints them. A reader who wants to know what this programme is still assuming, 29 ===== PDF PAGE 365 / 433 ===== and exactly what would settle each assumption, should be able to find the whole of it here rather than reconstructing it from twenty-four assessments. 3.1 The tiered symmetry-breaking ledger (replaces the D1100 price row) The Rev26-era ledger carried a single blunt row: a twenty-five-parameter price on the microscopic loading. That row is withdrawn. The D1147 dilation retyping, house-verified exact at s930, replaces it with a tiered statement. The full microscopic loading is an isometry together with a fixed-point / conditional-expectation map, carrying three forced dark character sectors; a faithful classical 5 × 6 kernel is rank-obstructed. The symmetry-breaking cost is therefore not one number but a graded one: dim Hom = 0 / (3, 3, 3) / 9, zero at the tier where the loading is forced, (3, 3, 3) across the three dark character sectors, and nine in total. The three sectors are exactly the three nontrivial V4 characters, and their forcing is a theorem, not a choice. Why this matters more than an arithmetic improvement: a single twenty-five-parameter row invited the reading that the programme had twenty-five knobs. It never did — it had a tiered obstruction whose top tier is empty. The honest cost is that nine dimensions of hom-space remain, in a place where the structure says which nine. 3.2 The priced-clause register Twenty-six clauses, plus one added when the ω round closed — twenty-seven. Every one carries where it first appeared, what it is now, and — the column that matters — what would discharge it. Nothing in this table is banked physics; the table is the programme’s outstanding debt, stated so that it can be paid or defaulted on in public. Clause Status What would discharge it Open head walls Module-naturality premise open head wall Derive from the microscopic parent action (the promotion gate) that the physical DF is recovery-fixed and commutes with the exact Fibonacci parent module action. Six microscopic boundary open: six coefficients, Compute the complete localized diver- gauge coefficients (the three zero-mode sums gences and specify the UV boundary renor- boundary law) malization condition, or derive an endpoint- exchange / unified boundary symmetry fix- ing the finite parts. Open, one object or one datum each 30 ===== PDF PAGE 366 / 433 ===== Clause Status What would discharge it X-semion / Spin(10)-center Local representation ex- Construct the tube/clock-to-field recipient microscopic weld act; microscopic attach- functor whose central action on 16 ⊕ 10 is ment open exp(iπX/2). X radial magnitude s open; one positive mod- Derive a radial parent equation, a quan- ulus tized holonomy, or a normalization law fix- ing s without a fitted coefficient ratio. Recipient clause: physical open Construct the full tube-module recipient transfer is the simple τ im- and show the physical transfer represents age the simple object τ , not a composite τ m . Polar-holonomy weld open / conditional Prove that one primitive localization step is the positive polar image of the physical Fibonacci transfer. Peirce-middle marking Pm open / loaded Derive from the parent/module boundary why the middle Peirce record is the unique pointed defect and hidden-state recovery target. Recovery rate / time regis- open; one positive Derive γ from the parent clock/transfer tration γ rate/time datum generator, or prove it is pure time repa- rameterization after an independently fixed physical clock. Zero-dimensional weld: NS open; one C2 choice Derive Tm = −τ1 rather than +τ1 from one sign and mouth exchange in microscopic 5D transport, or identify the one transport choice with a previously derived orientation element. mn − mp = 1.2933 MeV (Pa- unpriced; sign wrong The framework carries the QED half per 9) without a flip energy (Coulomb, α external) and no QCD half (Rev32.2) (mu = md at constituent level; the e7 flip Hu ↔ Hd carries no energy). Derive a flip energy for the Os conjugation, or register an SU (2) isospin object (only the Z2 parity is registered; s1122–s1124, s1129). ax-lep-prim open zero-dimensional Derive from the B-map-to-clock observa- clause tion functor that the two nonzero charged- lepton rungs are primitive generators of Z60 . Primitive polar degree m = exact on the simple- Discharged automatically once the recipi- 1 object module tier; phys- ent clause is proved; only m = 1 satisfies ical recipient open the primitive Fibonacci relation. Conditional — true given a named premise ax-mos minimal modular- conditional Derive the ordered golden/inverse exper- OS observation iment and its minimal UCP/OS readout from the microscopic parent dynamics. 31 ===== PDF PAGE 367 / 433 ===== Clause Status What would discharge it log-hodge naturality conditional; folded Derive from the microscopic state/readout into ax-mos functor that the ordered golden pair is ex- ported through its relative modular loga- rithm. Single-background hypothe- conditional Derive from the 5D parent action that one sis (QY reduction) charge-valued odd background, rather than six unrelated singlet masses, generates the profiles. Branch-Real WH/BH mouth conditional Derive the two mouths as the anti-linear pairing Real-conjugate parent pair in the micro- scopic action. Literal MRSS 5D/orbifold conditional; Derive the physical interval/orbifold real- attachment Appendix-P fence ization from the exact internal fifth mo- mentum and NS carrier, rather than inter- preting it. Physical family attachment conditional Prove module naturality from the parent of the three polar characters action, and show the interacting finite Dirac / two-point operator preserves and physically reads the three record projectors as families. Loaded — carried as a choice, with the alternative named dirac-loaded neutrino loaded Derive Dirac versus Majorana from the treatment parent action. A Majorana branch requires a ∆(B−L) = 2 source/seesaw block and a complete re-audit of every ν-dependent row. Loaded low-energy scalar loaded / conditional Derive the low-energy scalar content and spectrum (one weak doublet, the Higgs parity from the parent boundary no coloured triplet) dynamics, rather than selecting the parity by the desired spectrum. Active c3 /c2 Peirce ordering loaded Derive the active Peirce branch and the ordered golden/inverse boundary state as the unique extremal physical state. Retired, superseded, or refuted — do not cite as live gen-separability refuted; retired price Not applicable. Replaced by the weaker generation-algebra commutation theorem plus two operator-valued generation con- trasts. ax-riesz-clifford-mass Retired as a standalone No separate discharge; what remains is price; survives as a stage sector-specific pole/physical mass attach- of graded Htot ment, not the coefficient of the normalized Clifford map. 32 ===== PDF PAGE 368 / 433 ===== Clause Status What would discharge it ax-mass-label Retired as a standalone Replaced by the quasi-free pole theorem clause and the sector-specific interacting spectral- atom question. ax-map-history Retired as the actuality Not applicable. The stochastic history law law; optional zero-noise is derived; one realized sample remains extremal candidate only record data unless a new deterministic ex- tremal law is explicitly adopted. Golden-unit holonomy law superseded as the Replaced by the polar-holonomy plus h ∈ Z[φ]× sharpest form simple-τ recipient statement; it remains an optional arithmetic compression, not an independent requirement. Strict no-brane / complete- Retired as a generic as- Derive the full Higgs-10 boundary field con- multiplet boundary branch sumption; remains a spe- tent and the boundary counterterm law. cial branch The split Higgs branch and B-rank3 are selected under the loaded spectrum. 3.3 The two head walls, stated once Everything above except two entries is a clause. Two are walls — they are what the next revision is actually for. The promotion gate — not yet instantiated (Rev29 ). Derive from the parent action that DF ∈ Fix(Φ∗ ) ∩ Comm(M̂ ), where M̂ is the exact Fibonacci parent module operator on the record space — the one canonical meaning of the symbol in this suite from Rev32.2 (five historical meanings existed across kernels and boards; every other use of M̂ is retired, and a kernel that spells it Ĥ names this operator). Without it, the three golden records remain conditional family sectors rather than families. Correction to the Rev28 wording, which said the canonical test functional Spromo “is constructed” and its zero set “house-verified”. [LIB2-264] An AST audit of the 1037 banked kernels finds zero bindings of S_promo: the functional is specified, not built, and no run of it exists. [LIB2-264] What is built is narrower, and is stated exactly here because the record is better than a flat negative would suggest: the recovery map Φη is constructed and executable (s953:91–95), and Fix ∩ Comm is solved, 9-dimensional down to 3-dimensional (s954:84–95). That zero-set result stands — at scalar tier, with Ĥ = H4 , the qualifier carried at s954:9 and dropped in transmission to the paper; it is restored here. So: the zero-set computation is real and qualified, and the gate itself is not yet instantiated. The stronger reviewer formulation — that the gate “is not an executable object” — is too strong, is not adopted, and should not be repeated. The boundary law. Six finite counterterms, three visible combinations. What is missing is a UV condition, an endpoint-exchange theorem, or a unified boundary symmetry that fixes the finite parts. The price corrected to 6/3 at A1471; the A1463-era endpoint shorthand is retired. 33 ===== PDF PAGE 369 / 433 ===== 3.4 Closing mathematics of the era, exact Two small results close the dive and are recorded because they are exact and because neither moves an observable. The least-cost mixing defect is the (1 ↔ φ−1 ) link, with penalty ∆min = 12 φ−4 ε2 ∥K∥2 , house-verified symbolically via the banked Hilbert–Schmidt identity. And generation localization splits as 6 = 3 + 3. Read the first of these carefully. It is a statement about the cost of the cheapest defect in a frame where strict naturality forbids mixing altogether. It is not a mixing prediction, it is not a CKM matrix element, and φ appearing in it is a consequence of the module structure the theorem is stated in — not evidence for anything. The programme’s standing rule against numerological support applies here with full force. 3.5 P0-1: the ω question, answered One item of the Rev29 queue was deliberately not settled when this fold opened. It is settled now, and the way it was settled is worth as much as the answer. At S67 two independent lanes converged on the Freudenthal Triple System’s native symplectic form ω as “the single new ingredient that turns the static algebra dynamical”. The claim was never tested. It sat for nineteen sessions, survived every fold by not being examined, and became the last Sargasso item. The programme declined to rule on it from the chair. √ A dedicated round ran instead under freeze-first: the house computed its own answer in exact Q( 5) arithmetic and sealed it before the dispatch was written; the dispatch posed six questions and disclosed none of the answers; the return was adjudicated blind against the sealed table. The result ω is a genuine symplectic form on the full 56 — non-degenerate, antisymmetric, det Ω = 1. That much is true by definition of an FTS and was declared a control in advance, because it proves nothing about dynamics. The decisive computation is where the mass proxies live. Writing LJ = Re− ⊕ J+2 for the slice carrying the golden ladder: dim LJ = 28 = 21 dim M, ω|LJ ≡ 0, LJω = LJ . LJ is a Lagrangian subspace — maximal isotropic as an identity, not by a dimension count. [LIB2-011, LIB2-331] Two independent computations, one of them sealed in advance, agree on this exactly. Three consequences follow, each verified separately rather than inferred: • ω cannot resolve the golden ladder. The full pairing matrix among the directions carrying (φ, 1, φ−1 ) is exactly 03×3 . 34 ===== PDF PAGE 370 / 433 ===== • The induced Poisson bracket on functions of the mass coordinates is identically zero. No Hamiltonian flow is generated within the mass sector by ω alone. • The FTS’s own native quartic does not rescue it: I4 (a, 0, X, 0) = −4aN (X), but every derivative in the conjugate directions vanishes on the mass boundary, so mass-boundary initial data give zero initial velocity. This is an independent route to the same no-go — it does not rest on the degeneracy of ω. And ω is blind to the exact grading e− → r−6 , X → r2 , e+ → r6 , Y → r−2 , which preserves both ω and I4 while sending (φ, 1, φ−1 ) 7→ r2 (φ, 1, φ−1 ). Ratios survive; absolute scale does not. Scale remains an external boundary condition, exactly as recorded nineteen sessions earlier. All of it is real-form independent: the same statements hold for J3 (O) with E7(−25) as for J3 (Os ) with E7(7) , because only the symmetry and non-degeneracy of the Jordan trace pairing enter. The disposition. The broad claim is refuted at the mass sector: ω is not the ingredient that turns the static algebra dynamical. P0-1 retires as an independent dynamics- selector item. What survives is narrower, true, and worth printing: The FTS is the symplectic bulk vectorization of the cubic Jordan Lagrangian boundary. ω contributes kinematics, not dynamics. The algebra where the mass proxies live is not merely a subspace of the 56; it is a Lagrangian boundary of it, which is precisely why the symplectic form is blind there. Clause 27, and a correction the house owes The sealed house table predicted that this outcome would leave nothing behind — that if ω selects no dynamics, the promotion gate already owns whatever remains. That reasoning was wrong, and the lane refuted it under blind conditions. “ω contributes no dynamics selector” does not entail “the promotion gate owns the residual question”. Spromo , as specified, constrains DF ; it says nothing about a polarization, a Legendre map, or a Hamiltonian on the FTS. The house verdict is withdrawn and logged as a casualty in Appendix Y. The residue is therefore named and printed rather than quietly absorbed, and the priced-clause register above goes from twenty-six entries to twenty-seven: Clause Status What would discharge it FTS symplectic-lift / Hamil- open; parent-action Select the conjugate section or Legendre tonian attachment / physical-attachment map, and a Hamiltonian whose vector field tier carries the required physical mass-sector attachment. Sibling of the promotion-gate wall; not owned by Spromo . 35 ===== PDF PAGE 371 / 433 ===== Why this episode is printed at length. The cheap path was to retire ω quietly on the grounds that the parent-action work had probably absorbed it. That would have been a ruling dressed as bookkeeping, on the one item the programme had avoided testing for nineteen sessions — and it would have been wrong in a way nobody would ever have noticed, because the residue it silently absorbed is real. What actually happened instead: the house sealed a table it believed, the lane reproduced five of its six results independently and refuted the sixth, and the programme ended the round down one unexamined claim and up one honestly named open clause. That is what the sealed-table protocol is for. Carrier fence and dynamics-seed reconciliation (Rev32; beside clause 27) Three tens — every ten names its ten (Rev32 fence). Three ten-dimensional carriers circulate near clause 27, and equal dimension identifies nothing. The physical/vector ten (the so(5, 5) vector inside V56 , Kdyn -Casimir 1/6) is isomorphic to the selector ten (two-host certified; kernel s1067); the boundary ten ad√Kdyn (Casimir 1/4, self-intertwiner R·I, Hom = 0 to the physical ten, obstruction numeral 1/ 6) is a different module entirely. [LIB2-016, LIB2-017] Every ten-claim in this suite names its ten; a ten-claim that does not is ill-typed. [A1522 B1; A1523 B1; kernels s1067/s1070; the adjoint-wall census is printed in Appendix S.] The no-energy-order fence and the dynamics seed are compatible (Rev32). The A1489 order theorems stand: the ⊗-layers carry no derived energy order. [LIB2-167] Interpretive corollary, printed beside the fence only (Rev32.3, PI wording S300): the ⊗-layers are order-free by theorem; apparent motion is re-presentation along exchange isomorphisms; dynamics is priced extra structure. The clock generator Hclk (L-DynamicsSeed; A1268–A1270, kernels s483– s485, Motivated tier) is licensed extra structure on the symplectic carrier — a Cartan grading, not a ⊗-layer order — so citing the seed does not violate the fence and the fence does not retire the seed (first suite citation of the seed since S210). [LIB2-167] Independent corroboration, printed both ways: the A1512 golden bridge Hφ re-derives a face of the seed’s golden Cartan flow (the exp(2 ln φ H) ladder) seventy-four sessions later with no shared derivation path; each corroborates, neither derives, the other. [LIB2-167] [INTERCONNECT_SWEEP_S281, Finds 1a/1b.] 3.6 What Rev29 opens with, stated plainly The engine is unchanged. Rev28 remains sealed. No observable moved in twenty-three rounds and none moves in this fold. The bits-plus-dims headline stays withdrawn, and the honest replacement sentence is unchanged: exactly one continuous modulus (ρ) survives anywhere in the end-state ledger. χ has no value, and none will be computed until a physical generator and response map exist. VCKM = I; α and colour remain fenced; kill-node 2 remains fired. What is new is that the programme can now say, in one table, exactly what it is assuming — and for each assumption, what would end the argument. 36 ===== PDF PAGE 372 / 433 ===== 4 The Rev30 fold ledger: the freeze-first arc’s typed inputs The freeze-first arc (A1475–A1500) moved no observable and changed no engine value. What it produced that belongs in an input ledger is a set of exact type counts for the data the selector construction consumes — and one correction to a type that had been printed wrongly and propagated. 4.1 A corrected type: the sign datum is connected sign Correction (Rev30). The source-layer type Dphys = RP15 × R≥0 × Z2 — “direction, magnitude, orientation” — is wrong as a global space, and it was carried through two house documents before it was caught. The oriented-line double cover of RP15 is S 15 , which is connected, and a connected space is not a product with Z2 . The type of record. The functional consumes simply j ∈ F 16 ∼ B= R16 : 16 continuous, 0 independent discrete. An orientation bit exists only over an already-fixed ray — it is ray-relative, not an independent factor, and must never be counted as one. House-verified. Any count that adds a separate Z2 to this datum is double-counting a bit that is not there. 4.2 The two irreducibly-Input data, with exact counts A homogeneity argument settles both of the inhabited data at once: the relevant action is transitive on each fibre, so every invariant scalar is constant on it, and no selection law exists in the frozen frame. This upgrades an earlier half-statement about frame insufficiency into a two-datum theorem with exact types: Datum Continuous Discrete Boundary datum L∂ 10 0 Non-equivariant reduction σsel 43 (53 once the source is fixed) 0 Source j (sign datum, §4.1) 16 0 independent The 43 and 53 are alternative stages of the same count, not additive. The residual stabilizer of the loaded data has dimension exactly 10. Scope, binding — and it is narrow. These are counts of what the construction consumes, not of what it derives, and the accompanying reduced action lives in an explicitly declared homogeneous (0+1) reduction. The four-dimensional continuum lift is open and is not relabelled here. A (0+1) result quoted as a spacetime result would be exactly the interface-type erasure this appendix exists to prevent: an object built in one layer, carried across an unproved interface, and renamed. Nothing in this section promotes an observable, moves a tier, or touches the engine. 4.3 A declared-class exclusion: the compact two-scale Gram ansatz collapses to the scalar line One further typed result from the same arc (the D1180 finish-the-string round, adjudicated A1487) is printed here for the first time; it has appeared in no prior revision of this suite. Intersecting the 37 ===== PDF PAGE 373 / 433 ===== compact two-scale Gram ansatz gQ = gu = gd = c, gL = gν = ge = l with the plane-preserving, coset-compatible, SM-invariant Gram family leaves only the scalar line l = c. Hence r = l/c = 1 exactly, and the previously priced point r = 1/2 is excluded in this declared natural class. [LIB2-138] The exclusion closes the particular compact two-scale route to a 7:3 pole-strength ratio within the declared class — it does not prove every possible physical Gram democratic, and it is not a universal statement. [LIB2-138] Three fences, printed with the result. (i) Disambiguation: the “two-scale” here is the compact two-scale Gram ansatz of the D1176–D1180 string. It is not the retired Rev19–24 two-scale calibration recorded earlier in this appendix, and the two must not be conflated. Likewise the 7/3 printed elsewhere in this suite is the unification ratio n23 /rank(J3 ) — a different object; this exclusion attaches to no printed formula, and no suite claim is corrected by it, because r = 1/2 was never asserted in print. (ii) Provenance: the collapse-to-scalar- line theorem is the lane’s, from the D1180 return; the house independently verified the supporting first-order arithmetic √ (commutant dimension 43, Gram response rank 26, all nonzero singular values 2/ 3) but did not independently delimit the plane-preserving/coset- compatible/SM-invariant family, and the lane kernel s989 has run on one host. The result is class-conditional. [LIB2-138] (iii) Scoring: the earlier house ruling that the B-map Gram would not land at l/c = 1/2 (D1176 R4) was scored void because its subject was ill-typed when scored; it stays void and no bar moves. The physics went the house’s way; that is recorded here, separately from the score. 4.4 The tautology charge reduces to one number: the price of a continuous anchor The D1102 loading-budget round is recorded in Appendix Y (row 1402) as verdict line not proven. That typing is correct and is not revisited here. What was never printed is the reason it is not proven, which is sharper than the refutation and is the useful object: the entire disagreement collapses onto a single methodological number. Write Iout for the information credited to the outputs and Lin for the loading charged to the inputs, and let b be the average price, in bits, of one continuous anchor dimension. Then Iout > Lin holds exactly when b < b⋆ , and b⋆ is fixed by the output accounting alone: Output accounting Iout (bits) b⋆ As claimed by the round 36.27 3.85 As claimed, me Koide line corrected 39.61 4.46 Strict floor + me Koide restored (= 27.27 + 3.34) 30.61 2.82 Strict floor (argued lines only) 27.27 2.22 Two of these rows were corrected in revision, and the corrections run in opposite directions. The third row was previously labelled “Koide credit restored to the house value”, which reads as the first row adjusted; it is not. It is the strict floor plus the 3.34-bit Koide restoration, 27.27 + 3.34 = 30.61 — the asserted lines are struck in that row too. And the second row, “as claimed with the me Koide line 38 ===== PDF PAGE 374 / 433 ===== corrected” (36.27 + 3.34), had never been printed at all. It is the reading the old label most naturally suggested, and it is the most favourable of the four to the position argued here; its omission understated this appendix’s own case and is repaired rather than left standing. The round’s own conservative conversion prices a continuous anchor at ≥ 6 bits/dim, giving Lin ∈ [48.1, 59.1] against Iout = 36.27 — i.e. its own numbers give Iout < Lin while its verdict line asserts the reverse, the flip being attributed to unexplained discounts. Hence not proven by the shown table: the arithmetic reproduces, the conclusion does not follow from it. Two accounting defects drive the spread between the rows. First, 9.0 of the claimed 36.27 bits (25%) sit on asserted CKM and mass-proxy lines carrying no line argument; striking them is what produces the strict floor. Second, the me Koide line is credited 3.9 bits against a house value of 7.24 at a 0.66% match — under-credited by ≈ 3.3 bits with no stated discount rule. (By contrast mµ /mτ , credited 7.7 against house 8.04 at 0.38%, is consistent, and the three mixing angles agree to the digit.) The rule is forced by the output side, not chosen The whole budget is one affine relation. Reading the round’s own two conversions (Lin = 48.08 at 6 bits/dim, 59.08 at 8) back gives Iout − 15.077 Lin = 15.077 + 5.5 b, hence b⋆ = , 5.5 with 15.077 the discrete subtotal and 5.5 the number of continuous anchor dimensions. This reproduces all three published crossovers to the digit (3.853, 2.824, 2.217), so nothing in the dispute is arithmetical. (Rev33.0, R174.) The count 5.5 is the round’s D1102 convention, and it charges the loaded depth 13 + 18 twice: once as a continuous anchor inside the 5.5, and once inside the 15.077, whose ten itemised choices already include β, the depth registration (s1197). The three crossovers are kept as that convention’s arithmetic; the budget that governs is the re-scoped one below, which charges the depth neither way (its measured continuous requirement is zero, and β selects none of the credited lines, s1199). (Rev33.0.) This affine relation charges every continuous anchor the same b and the whole discrete subtotal whatever the outputs. It is kept because it is how the round and the house argued; the verdict no longer rests on it. The sensitivity computation it deferred has since been run anchor by anchor and re-scoped to the governing output lines — see Run and ruled (Rev33.0, R166) below. What fixes b is that the output credits are already in a stated currency. Decoding them: θ12 at 4% is credited 4.64; θ13 at 3.2%, 4.97; θ23 at 12%, 3.06; δCP at 12.5%, 3.00. Each is exactly − log2 (relative precision). So Iout is a description length: bits of the observable actually pinned down. Consistency then forces the input side to be the same quantity, and b is not free: b = − log2 relative precision to which one continuous anchor must be specified .  Two consequences, and they are not the ones the round expected (binding). (1) The model-selection penalties are the wrong currency, and are excluded — not adopted. AIC gives 1/ ln 2 = 1.44 bits per parameter; BIC and two-part MDL give 12 log2 N , i.e. 1.50 at N = 8 observables and 2.16 at N = 20. All of these fall below every b⋆ in the table, so on those rules Iout > Lin in all three accountings and the tautology charge would simply fail. But they measure the price of having a free parameter in a model comparison, not the description length of its value, and Iout here is the latter. Reaching b = 6 under BIC would require N = 4096 observables. The earlier 39 ===== PDF PAGE 375 / 433 ===== pointer to the complexity-penalty/information-criterion gap was therefore a mis-identification, and is withdrawn here. (2) The accounting dispute does not decide the charge — at the two extreme scopings, and only there. At the charged count n = 5.5, b⋆ moves only over [2.22, 4.46] across every accounting on offer, while the round’s own convention is b ≥ 6: every accounting lands on the same side, so the itemization quarrel is not what the verdict turns on there. The same holds, in the opposite sense, at n = 2.5. But this claim was printed unqualified, and unqualified it is false. At the intermediate scoping n = 3.5 of §4.4 the four accountings give b⋆ = 7.01, 6.06, 4.44, 3.48 — a range that straddles b = 6. There the choice of accounting decides the verdict outright, and the me Koide line, questioned two paragraphs above, is exactly what moves it. The general claim was an over-reach licensed by testing only the two scopings this appendix happened to have printed, and it is corrected here rather than carried. What survives is narrower and still useful: the itemization quarrel is not decisive at the endpoints. In the middle it is the whole question. The omission of the third scoping was the house’s own — and when the third column was shipped to both external lanes in the scope round (§4.4), it was disclosed as the house’s omission, not presented as new ground. What is genuinely open, now sharply. b⋆ = 3.85 is a relative precision of 6.9%; b = 6 is 1.6%. So: if each continuous anchor must be known to better than ≈ 7% for the outputs to hold, the charge stands; if 7% sloppiness suffices, it fails. That is a sensitivity computation, not a matter of taste, and it was the single outstanding item (run at Rev33.0 — see Run and ruled below). Nothing here credits or debits any observable, promotes anything, or touches the engine. The house charging convention, stated once and applied uniformly (Rev32.3, PI ruling S300; called a “rule” at Rev32.3, renamed at Rev32.5 — the two-sided discount for definitional inputs that the box on the next page calls owed is still owed). The charged count n was never given a rule in print; here it is. A continuous anchor is charged at weight 1 when it is internal to the readout chain, at weight 12 when it is an external empirical anchor consumed as a datum, and at weight 0 when it is a transfer-sector quantity on which no scored output depends. Applied to D1102’s own six entries: the mτ anchor (1); the Koide K = 2/3 line ( 12 — the only external anchor, and exactly the half in n = 5.5, previously unstated); the loaded depth 13 + 18 (1); and g3 , Csub , rC (0 each — the named-open data of the interacting-vertex programme, banked in Appendix R as structurally free and invisible from the boundary; a description-length rule cannot charge bits to specify a quantity no scored output depends on). Under the rule the house’s own count is n = 2.5 — the charging party’s withdrawal count in the scope table below, reached on the same principle (chargeable only if the map to some scored output is non-constant). The blind lane’s reservation stands beside it: it declined to exclude rC without a proof of analytic orthogonality, giving n = 3.0, and that proof has not been supplied. This paragraph fixes what the house charges and why; it does not lift the fence below. No verdict on the tautology charge is asserted here in either direction, the intermediate scoping is still decided by the sensitivity computation, and the acquittal the charging party offered is still not taken. Corollary — the me Koide anomaly is explained. Under the decoded rule the house values are exact: − log2 (0.0066) = 7.24 and − log2 (0.0038) = 8.04, matching the house column on both lines. The 40 ===== PDF PAGE 376 / 433 ===== lane’s 3.9 for me Koide is therefore not a missing discount rule but an unexplained departure from the rule its own table applies everywhere else. Receipts: house verifier s864 (arithmetic pass, verdict-follows-from-table false, sha 5a5ba03dfaaba55d); register at the head of Trackers/DISPATCH_INDEX.md. Ruled (Rev32.10, R140 D-4, S343). The one methodological choice that the s864 contradiction reduces to — the claimed table b⋆ = 3.85 against the strict floor b⋆ = 2.22 — is ruled: the strict floor governs. The return’s verdict line “Iout > Lin materially (+8–12 bits)” is struck as not following from its own table (its conservative conversion gives Lin ∈ [48.1, 59.1] > Iout = 36.27). This ruling fixes the standard; it does not assert a verdict on the tautology charge, which the paragraph above leaves open in either direction. Run and ruled (Rev33.0, R166, S360). The sensitivity computation has been run, and like for like against the governing row. Output side: the strict floor, Iout = 27.27 (θ12 4.64 + θ13 4.97 + θ23 3.06 + δCP 3.00 + mµ /mτ 7.70 + me Koide 3.90). Continuous side, measured per anchor against those six lines (house kernels s1187, s1198): 13.97 bits if the Koide line is read as a ratio, 18.70 if read on the absolute mass. This charges v, ΛG2 and α wherever the six lines depend on them — anchors the six-entry ledger above does not name — and charges 0 to the loaded depth and the transfer trio, whose measured requirement is zero. Discrete side, re-scoped: the 15.077 is itemised as ten log2 N choices (s864, s1197); a choice that selects none of the six credited lines is not charged, by the same principle that zeroes the transfer trio (s1199). Five are removed — the AX6 orbit selector (the weak-angle branch), Route B (the CKM first row), √ β (the depth registration, reaching only σ), and two transfer-sector choices absent from the scorecard generator — and a def-use trace of the generator confirms that none of them, nor the Dirac/Majorana choice, feeds any credited line (s1200). Left: 7.17 bits. Result: Lin = 21.14 (ratio reading) and 25.87 (absolute reading) against Iout = 27.27 — both clear, by 6.13 and 1.40 bits. The ruling (R166) answers the description-length charge at this accounting, and it is stated with its weaknesses, which travel with it: (i) the absolute margin is thin — one uncharged anchor bit found anywhere nearly erases it; (ii) one line sets every continuous requirement: each anchor’s bits are driven by the me Koide match (0.66%); (iii) the computation is the house’s own and has had no external hostile review; (iv) which Koide reading governs is not ruled — both clear, so it does not decide this. Dirac/Majorana stays charged (1.000 bit): no generator value depends on it, but a choice that acts before the generator is outside a def-use test; if it is later shown to reach no credited line both margins rise by 1.00. Reopener: any finding that adds ≥ 1.40 bits to the absolute reading, or removes a line from the strict floor. Nothing here credits a new observable, promotes anything, or touches the engine. What the 5.5 actually is — and the scope question that outranks the precision question The dimension count is not a free parameter either. The round’s own K1 ledger names six con- tinuous/anchor entries: the mτ anchor, the Koide rule K = 2/3, the three transfer constants {g3 , Csub , rC }, and the loaded depth 13+1/8. Five at full weight plus Koide at the half-dimension external-anchor discount gives exactly 5.5. The half-dimension is that discount and nothing else. What K costs, and how well it is known. The Koide line is the framework’s most sensitive anchor: ∂ ln me /∂ ln K = −76.13, so K must be known to 8.8 × 10−5 relative for me to hold at its claimed 0.67 %. The rule is supplied externally and is known better than that: across the whole span of the two competing τ -mass determinations this appendix already prints side by side in Table 1 — 41 ===== PDF PAGE 377 / 433 ===== 1776.93(9) and 1776.86(12) — and both their error bars, the measured Q stays within 2.0 × 10−5 of 2/3 (at the anchored 1776.93, Q = 0.6666645, a shortfall of 3.3 × 10−6 ). The framework’s use of exactly 2/3 therefore sits inside its own tolerance by a factor of ≈4.5 (s1192, which parses both determinations from Table 1 rather than re-entering them). It remains an external empirical input, charged: nothing here derives K, and no print in this suite calls it derived, algebraic or zero-parameter. But three of those six — g3 , Csub , rC — are the named-open data of the transfer / interacting- vertex sector (Appendix R), not anchors of the committed zero-fit readout. That appendix banks g3 structurally free as a theorem, proves Nabs = g3 Zsub (Csub ) invisible from the boundary, and closes with the statement that nothing in it is a world-scored observable. Under a description-length rule one cannot charge bits for specifying a quantity on which no scored output depends, so the charged count and the effective count can differ — and the gap is decisive: b⋆ (claimed) b⋆ (me corr.) b⋆ (floor + Koide) b⋆ (floor) Iout = 36.27 39.61 30.61 27.27 As charged, n = 5.5 3.85 4.46 2.82 2.22 g3 , Csub excluded; rC retained, n = 3.5 6.06 7.01 4.44 3.48 Transfer sector excluded, n = 2.5 8.48 9.81 6.21 4.88 The middle row is not a compromise position but the one the sector’s own theorems most directly license: g3 and Csub are proven to cancel and to be boundary-invisible, whereas Appendix R types rC only as “continuous, open” — not proven to cancel, merely not fed into any scored formula. Whether that difference is a difference in kind is the question on which the whole table turns, and it is the one this appendix is least entitled to answer for itself. At n = 5.5 the round’s own b ∈ [6, 8] exceeds every b⋆ and the charge stands on every accounting. At n = 2.5 it falls below b⋆ on the claimed accounting and the charge fails — on the round’s own convention. The scope question therefore outranks the precision question: which parameters are in the budget moves the verdict further than what each one costs. A self-directed problem, recorded because it cuts against this appendix’s own case (Rev31.2): the Koide rule appears on both sides of the budget. The input side charges K = 2/3 at the half-dimension external-anchor discount — nearly free, as befits an exact rational — while the output side collects − log2 (0.0066) = 7.24 and − log2 (0.0038) = 8.04 bits for the two mass lines that same rational generates. If a definitional input is priced at ≈ 0 while its consequences are credited in full, the ledger manufactures information out of a definition — the tautology charge in miniature, relocated to the Koide entry. Neither lane raised it: the referee that audited the arithmetic held the output ledger but not the charge framing, so it could not see the double-appearance. What is owed is a discount rule for definitional inputs, stated once and applied uniformly to both sides. Until one exists, this entry is a named open problem against the house’s own accounting; nothing is credited, debited, or promoted on its account. 42 ===== PDF PAGE 378 / 433 ===== This is fenced, and the fence is about who may answer it. The house does not rule here, and the reason is not modesty. The scoping that shrinks n to 2.5 is the one that refutes a charge against this programme, so a house ruling in that direction is exactly the conflict of interest the coalition’s blind-lane discipline exists to prevent. Nothing above is banked: no observable is credited or debited, no tier moves, the engine is untouched, and no verdict on the tautology charge is asserted in either direction. What is established is narrower and, we think, more useful: the charge is decided by two declarations — the currency (fixed: description length, forced by the output column) and the scope (open) — and not by the line-itemization quarrel the round was fought over. The scope declaration is owed to an external lane, with every column shipped so it cannot be settled by whichever number is quoted first. The scope declaration, as it came back The declaration was put to two external lanes simultaneously, under a house pre-commit sealed before either was sent (s1036, sha cd3cb1ab7847...) whose first entry is not a prediction but a disclosure: that the house’s interest lay with n = 2.5, and that the house believed the exclusion argument correct and believed itself disqualified from saying so. One lane received the question with the framing redacted — no identities, no b ≥ 6 convention, no indication which answer favoured whom. The other was the party that brought the charge, and received everything, including the statement that exclusion would defeat its own case. redacted lane charging party g3 , Csub exclude exclude rC not excluded exclude Koide half-dimension strike (exact rational is discrete) retain resulting n 3.0 2.5 The charging party withdrew the charge, declaring n = 2.5 on a named principle — chargeable only if the map to some scored output is non-constant — and excluding rC further than the blind lane was willing to go. The blind lane refused rC without a proof that the outputs are analytically orthogonal to it across its domain, a bar this appendix has not met and does not claim to. 43 ===== PDF PAGE 379 / 433 ===== And the house did not take the acquittal. Two things forbid it. First, the withdrawal was argued from a single cell: at the conceded n = 2.5, on the round’s own b ∈ [6, 8] and its own accountings, Iout > Lin fails in five of nine cells — the declaration quoted the most favourable one. A concession is not a proof, and the verdict line remains not proven, exactly as Appendix Y row 1402 has always had it. Second, and worse for us: the number the house wanted came from the party with a stake in giving it, and was refused by the party with none. That is the precise configuration the fence above was erected to distrust, and it would be a poor use of a fence to dismantle it on arrival. The scope therefore stands contested, not settled — and the reader should note that the two rulings disagree in part because a row of our ledger, “Koide rule K = 2/3, external anchor, discounted”, let one lane price an exact rational and the other an empirical relation. That ambiguity was ours; it is resolved by ruling (Rev32.10, R140 D-5, S343): the 0.5 charged the empirical fact that the Koide relation holds of the observed charged-lepton masses — the external anchor — not the exact rational K = 2/3. Grok’s reading (retain the 0.5) is the one the row meant; Gemini’s pricing of the rational answered a different question, and A1501’s conditional resolves on this referent. The lesson stands: name the object, not the label. 5 The Rev31 register clause: the boundary object, priced once (S274–S275) The parent-action closure (Appendix E, §“The parent-action closure”) changes nothing in the tables above and adds exactly one register entry, stated here so that its price is written in the ledger that exists to carry prices. Register clause (Rev31). The selector parent action is complete-conditional on one ten-dimensional boundary object with three exact faces, [j] ⇐⇒ L∂ ⇐⇒ E ∗ = span{iB j, ΩiB j}, priced once: 10 continuous for the object, plus 1 continuous for the positive dark coupling κd , with zero discrete data consumed. The three faces are one loaded object, not three inputs — any count that prices a face twice is double-counting. Status of the object itself: Input (loaded); the O(16)/SO(16) obstruction theorem (A1509/A1510) proves the price irreducible within the grammar, so this row cannot be discharged from inside; only a genuinely external category could move it. Plan-v2 Row 1 stands at candidate-inhabited (non-blind), on the adopted register sentence: “The declared braid grammar contains a primitive carrier object whose loaded orbit and stabilizer profile exactly match the required boundary datum; that object is another realization of the existing pure-spinor boundary choice.” (A1508, certified non-blind after a scope hold and PI-ruled rerun.) Physical boundary selection remains open/loaded. The dark projective ray [W0 ], by contrast, enters at no register cost: it is grammar-derived (unique top eigenspace of the prefrozen detector spectrum, A1509 Thm. B), and the selector coefficients (1, − 29 ) are forced (A1511) — a parameter-free selector. Fences: selector tier only; continuum/pole/LSZ untouched; ρ, κd , U positivity-only, no numeric values claimed. 44 ===== PDF PAGE 380 / 433 ===== Leibniz Quantum Beats Newton Appendix Y — The Laboratory Notebook: Round-by-Round Provenance, A1300–A1572 Rev33.1. From the S224 head band (A1300) to the close of the freeze-first era (A1500, S270, 2026-08-05); the core span is one hundred and fourteen consecutive adversarial rounds from the first Rev26 assessment (S228, 2026-07-05) to the post-Rev27 derivation dive (S257, 2026-07-27), with the A1300–A1357 head band and the A1475–A1500 freeze-first era added at Rev30. This appendix exists because the suite’s printed claims and the rounds that certified them had drifted apart: Rev26 and Rev27 folded their physics into the tex without carrying their citations, so a reader could not walk from a printed statement back to the round that verified it. Nothing printed elsewhere in this suite is unsupported — but until this appendix, much of it was unfindable. Here every round is listed with its dispatch, its session, its headline result and the component that carries its content. This is a locator and an audit trail, not a second statement of the physics. Tom O’Sieg August 2026 1 What this appendix is, and why it exists The provenance finding (disclosed, S254). Before Rev28, the highest assessment number cited anywhere in this suite was A1357 — the Rev25 nuclear arc. The sealed Rev27 suite (246 pp) cites nothing above it. That means the entire Rev26 dynamics-frontier fold (S228–S240) and the entire Rev27 priced-selector fold (S242–S246) reached the tex by content only, with no citation back to the assessments that certified them — roughly seventy rounds in the gap. This is not a content loss: the physics is in Appendices R, S and X, and every printed row traces to a banked source when checked by hand. It is a provenance loss — the audit trail that the programme’s own honesty machinery depends on. Rev28 is the first fold in that stretch to carry its citations into the tex, and this appendix retrofits the locator layer for everything behind it. The programme runs an adversarial protocol: a dispatch is drafted and its sha frozen, an external lane (ChatGPT, Gemini, Grok) returns an executed or analytic answer, the house independently re-verifies every load-bearing claim with its own kernel, and the result is banked at the tier the verification supports — not the tier the return claimed. The assessment file is the primary record of that adjudication. The A1358–A1473 core span is listed below — 114 rounds over 116 numbers (two reserved) — together with the A1300–A1357 head band and the A1475–A1500 freeze-first era, both added at Rev30. Three properties of this record are worth stating before the table, because they are what make it usable as evidence rather than as narrative. 1. House verification is independent, not confirmatory. In this era every executed (MODE-X) 1 ===== PDF PAGE 381 / 433 ===== round carries a house verifier kernel, recorded in that round’s own assessment header, run twice and required to be byte-identical. Lane modules are not imported; the house reimplements. The kernel identifiers for the S249–S253 rounds are printed in the table; for earlier rounds they live in the assessment headers and are not reproduced here, because this appendix will not print a hash it has not re-checked. 2. The house is wrong on the record. Rounds in which the lane caught a house error are marked cas in the table and collected in §15. There are eight in this era. They are printed because a protocol that only records its wins is not evidence of anything. 3. Tier labels travel. Where the table says refuted, obstructed or no-go, the round’s product was a negative result, and the negative is banked as firmly as any positive. Roughly a third of this notebook is negative results. 2 Reading the ledger Round: the dispatch answered. “content” marks a return accepted against a dispatch that was never formally filed (an informal-thread round); those carry a receipt variance, logged in §15. S: session number. Where it lives: the component carrying that round’s content — a locator at section granularity, not a per-claim citation. A dash means the round’s product was editorial, protocol-level, or a negative that closed a route without adding printed text. Marks: cas = house casualty logged this round; pre = the round was adjudicated against a house prebuild registered before the return landed; cold = external hostile review; orph = the round had no dispatch-ledger row at all before S258, when the four were retrofitted. Convention on “where it lives”. Appendix R = the interacting vertex and dynamics frontier. Appendix S = the priced selector and the boundary arc. Appendix T = the Cartan carrier, the observation functor and the record. Appendix O = the rest-mass programme and the scale registration. Appendix M = the order-five clock and occupation. Appendix L = quantum foundations. Appendix I/H = dynamics, throat and knot geometry. Appendix X = the input ledger, kill list, priced-clause register and casualty register. Paper 9 = the nuclear cluster tier. Era 5 adds five destinations: Appendix P (and its sidebar) = the fifth direction, the chiral lift and the X derivation. Appendix Q = the golden vacuum spectrum and the pointed Fibonacci operator. Appendix F = the gauge boundary and its counterterm law. Appendix K = the Yukawa coefficient. And the papers themselves take Era-5 content for the first time: Paper 3 (the controlled-defect frame), Paper 4 (doublet–triplet), Paper 5 (the Dirac-loaded posture), Paper 6 (thresholds). 3 The head band: A1300–A1357 (recorded S270) The ledger below opened at A1358. Everything before it — the whole S222–S227 head of the band — had no row, while the rounds themselves are filed and readable. Fifty-five rows are added here; they were drafted from the assessment files, and each carries the round’s outcome, not its title. Three numbers are absent by fact, not omission: A1325, A1326 and A1327 have no assessment on disk. They are listed as absent rather than skipped, so the gap is a record and not a silence. A separate check: A1415, sometimes read as a gap, does not exist either — the sequence runs from A1414 straight to A1416. 2 ===== PDF PAGE 382 / 433 ===== A Round S Outcome 1300 D1008 224 Vω=π/4 + complex 56-bein + Ciab preflight — accept: an honest no-close, and a real advance 1301 D1009 224 matched-unit bosonic Ciab completion — accept (amber) + ⋆ a decisive in-house finding 1302 D1010 224 plan confirmation before the s546 heavy build — accept, with two corrections 1303 D1011 224 the Appendix-H T-bridge construction — accept: built and validated in house to 10−13 1304 D1012 224 golden-adapted grading / σ-eight — accept: diagnosis confirmed, path set 1305 D1013 224 golden VEV / flat-valley flow — accept: flow picture confirmed 1306 D1014 224 the Ciab endgame recipe — accept: last mile specified, in-house probe agrees 1307 D1015 224 fork decision (A vs B) + the rank-4 / ten-physical revised endgame — accept 1308 D1016 224 two-neutral / rank-4 Cartan module + the H CW decider — accept 1309 D1017 224 Grok: is the rank-4 golden vacuum right? — accept (literature/SUGRA cross- check) 1310 D1018 224 Gemini: what the rank-4 golden vacuum is — accept 1311 D1019 225 the fermionic Ciab endgame route — accept 1312 D1020 225 Grok: the 2 ↔ 2 bridge — accept; plausible→structural 1313 D1021 225 Gemini: bulk + defect — accept + ⋆ the pivotal physical reading 1314 D1022 225 the κphys caveat-lift review — accept 1315 D1023 225 baryon-pole / trefoil-sector verdict + a deterministic kernel bundle 1316 D1024 225 Gemini: the SU (2)L = κphys unification lead — one wall or two? 1317 D1025 225 Grok: the named proof — soliton throat action from gauged-SUGRA reduction 1318 — 225 unsolicited, no dispatch: minimal one-current boundary action ⇒ χ = 1/2 (conditional) 1319 D1026 225 exact DWS vector-mass operator + locality projector + Goldstone 1320 D1027 225 Grok: the three load-bearing algebra steps of the vector-mass close 1321 D1028 225 Gemini: alternative spurious-mode mechanisms + supertrace bypass routes 1322 D1026 226 bundle-review return: the full S215 vector-mass gate verdict 1323 — 226 narrows the supertrace wall to the physical sector 1324 — 226 rebuild of the A2/L2 → spin- 12 machinery the bundle lacked — accept 1325– — — absent on disk — no assessment filed at these numbers 27 1328 D1032 226 ⋆ exact closed-form A-tensor projector delivered 1329 D1033 226 ⋆ pre-registered Gate-H prediction — blind, on record before the run 1330 D1034 226 ⋆ Gate-D puzzle answered: (A.6) is exact for dyonic ω 1331 D1035 226 ⋆ the compensator derived: K = adH + (R6 ) with centralizer 1332 D1036 226 ⋆ ⋆ ⋆ the vector fix: B(c) · M−1 (c) replaces the full-P Gram 1333 D1037 226 quasi-flats identified as FD/section artifacts 1334 D1038 226 ⋆ ⋆ ⋆ blind tower test = direct hit (4 levels, all doublets) 1335 D1039 226 ⋆⋆ two blind wins, one blind miss — all scored against the seal 1336 D1040 226 ×× seven-for-seven blind MISS; the corrected κ(w) fails 1337 D1041 226 ⋆ blind digit-window win: all three ei to ≤ 4 × 10−14 1338 D1042 226 × cross-curvature blind 4/4 MISS 1339 D1043 226 dictionary delivered as an executable recipe — but the sealed window is UNSCORED 1340 D1044 226 ×× classification exactly INVERTED — 0/6 1341 D1045 226 ⋆ the strongest return of the arc: Cω delivered (zip not received; receipt correctly declared) 1342 D1046 222 ⋆ B-anatomy structural win · window B d2 -zeros blind hit · window A honest refusal 1343 D1047 223 E7 proof cross-check · window C 3/5 partial 1344 D1048 223 ⋆ fingerprint form = structure win, identical to the in-house construction 1345 D1049 223 ⋆ window E VOID — in-house error, owned 3 ===== PDF PAGE 383 / 433 ===== A Round S Outcome 1346 D1050 223 ⋆ window F: the first certified-blind scoring 1347 D1051 223 ⋆ window F′ sharp 4/9 (was 0/9) 1348 D1052 223 ⋆⋆ selector exact on 0..19 — {0, 3, 11, 17}, no partial credit needed 1349 D1053 223 ⋆ ⋆ ⋆ second nucleus 3/3 sharp at the frozen 1% bar 1350 D1054 223 ⋆ ⋆ ⋆ board sweep — 6 Li sharp (0.112% vs frozen 1%) 1351 D1055 225 ⋆ ⋆ ⋆ 8 Be survived the killer test — unbound by typing 1352 D1056 225 ⋆ ⋆ ⋆ 7 Li 0.642% + 7 Be 0.028% both sharp 1353 D1057 225 ⋆ ⋆ ⋆ 9 Be 0.177% + 12 C 0.103% sharp; 9 B mirror sign pass 1354 D1058 226 ⋆ ⋆ ⋆ 16 O 0.167% sharp, the f4 paradox resolved 1355 D1059 226 ⋆ ⋆ ⋆ the answer-sheet round: 20 Ne 0.00031% sharp 1356 D1060 227 ⋆ ⋆ ⋆ the ladder rule in closed form: Tn = (n − 2) + εn 1357 D1061 227 ⋆ ⋆ ⋆ the breathing kernel landed, ∆br = φ−15 − φ−18 ; 28 Si full credit via the obstruction branch; 40 Ca −0.032% What the head band shows. It is the blind-scoring era, and read down the outcome column the misses are as loud as the hits — a seven-for-seven blind miss (A1336), a 4/4 cross-curvature miss (A1338), a classification returned exactly inverted (A1340), a window voided by an in-house error the house owned (A1345), and a sealed window left unscored (A1339). They sit beside the nuclear sweep that lands ten consecutive sharp passes at a frozen 1% bar. Both halves are the same era; printing only one of them would have been the more comfortable and the less true record. 4 The round ledger A Round S Headline result (tier as banked) Where it lives Marks Era 1 — the Rev26 dynamics frontier (S227–S240): the two-circulation, continuum and 7/3 rotations 1358 D1062 227 Track-2 series update v0.8.0→v0.9.0 — editorial, no — scored physics 1359 D1063 228 A = 8 naturality square + second-circulation operator; App. R, Paper 9 same-object conjecture 1360 D1064 228 annular spectral transfer functor; π-coefficient; channel App. R ladder; unit interface 1361 D1065 228 the 7/3 retype: naturality + consistency sweep after App. K hostile review 1362 D1066 228 orbit certificate; K–B lemma; Möbius delay App. R 1363 D1067 228 transfer certificate; arrow ledger; the σ-bridge doorstep App. R, O 1364 D1068 228 the export-functor species (rotation cycle 2 complete) App. R 1365 D1069 229 the open carrier round — capture + independent veri- — fication, ungraded by design 1366 D1070 229 does the Zorn product force b = a? finite-carrier round App. R 1367 D1071 229 κload : constructible or a genuine input? App. R, O 1368 D1072 229 load-HQ parent action — closes or relocates κattach App. R √ 1369 D1073 230 the σ-bridge flagship: vEW / σ = φ105/8 as framed App. O §σ-bridge registration 1370 D1074 230 depth-selector round — forcing 105/8 refuted; no-go App. O, N returned 1371 D1075 230 LOAD-EW-DEPTH open construction App. O continued 4 ===== PDF PAGE 384 / 433 ===== A Round S Headline result (tier as banked) Where it lives Marks 1372 D1076 231 the framed-Higgs-depth-selector kill shot App. N 1373 D1077 231 the reversal spec: permanence fixed-point obstruc- App. N tion 1374 — 231 lane self-initiated “shape of the missing piece” — no — matching dispatch 1375 D1078 231 the loaded-carrier intersection, frame-relative App. R 1376 D1079 231 finishing the loadings: HQ + YM/colour App. R 1378 D1081 233 arc review of the WH–BH neck geometry (s804–s816) App. H, I 1379 D1082 233 the three-tube build: baryon = 3 point masses + 3 flux App. I tubes 1380 D1083 233 audit of the completed baryon programme (6 kernels) App. I 1381 D1084 233 promotion gate: scale triangulation (s822+s823) App. O, X 1382 D1085 233 baryon completion v2 double-check (s824–s828) App. I 1383 D1086 235 the curved-KV three-body quantum Hamiltonian App. I 1384 D1087 235 the quantum three-body object: twist sectors + quater- App. I nionic alternative 1385 D1088 235 wallbreaker: twist-evenness / golden magnitude / App. I, R selection-vs-doubling 1386 D1089 237 the measure theorem under attack: universality / order- App. R selection / stratification 1387 D1090 237 Horn D discriminator: parity-resolved couplings App. R 1388 D1091 237 the order-selection vertex (MODE-A, analytic) App. R 1389 D1092 237 derive Σ: analytic pass — superseded by A1390 App. R wherever execution overturns it 1390 D1092 237 derive Σ, executed. Threshold-edge routing the- App. R orem BANKED — conditional on three named im- ports (deck holonomy, circle dispersion, edge readout). Σfull REFUTED as a pure-BC consequence (the half- integer tower propagates); P3 and P4 DEAD (con- jugate zero refuted); radial INVERTED — retained by the periodic BC, not eliminated. New named wall: Pth (threshold-residue projection). Receipts: bundle sha exact, three kernels bit-portable, two standing recorded-unverified items CLOSE. 1391 D1093 238 Pth : the threshold-residue projection (capstone) App. R 1392 D1094 238 the interacting measure: dressing typed, odd protection App. R adjudicated, pole classified 1393 D1095 239 the linear zero + exit gap; edge-alignment theorem; App. R magnitude no-go 1394 D1096 239 the chamber functor: the L3→L4 shortcut killed; App. R functor decomposed 1395 D1097 240 the parent vertex: η+ weld lands conditional; first de- App. R cas rived relative vertex sign −1; two house overclaims refuted 1396 D1098 240 the ten-dimensional deficit adjudicated: 10=10 dead; App. R vertex readout built at rank 7; g3 structurally free Era 2 — the Rev26 freeze (S241): three independent cold reviews 1397 D1099 241 ChatGPT COLD referee, 36/100 — one real fix (CW Rev26 freeze fixes cold index tier), zero new physics 1398 D1099 241 Gemini COLD referee, 35/100 — converged on the Rev26 freeze fixes cold suite’s own named head wall continued 5 ===== PDF PAGE 385 / 433 ===== A Round S Headline result (tier as banked) Where it lives Marks 1399 D1099 241 Grok COLD referee, 11/100 — its one concrete error Rev26 freeze fixes cold catch refuted in-house Era 3 — the selector arc (S242–S248): the wall priced to its last coefficient 1400 D1100 242 the five-state closure refuted: the unique fully equiv- App. S ariant unital kernel is uniform rank-1 1401 D1101 242 the readout trichotomy; house “primitive quartic” re- App. S cas futed 1402 D1102 242 the price of the map: loading budget itemized; its App. S, X verdict line not proven (s864; the charge reduces to one number, b⋆ ∈ [2.22, 3.85] — App. X, The tautology charge reduces to one number) 1403 D1103 242 the golden annulus decides against the pretty exit: App. S Tube(Fib) builds, does not derive HMkv ; Fourier sup- port {0, ±2} 1404 D1104 242 the chain lands, the weld dies by its own twist list; App. S “proved (welded)” refuted in-house (s867: Z(Fib) has three distinct object twists {1, e±4πi/5 } over four objects, not five; e±2πi/5 do not occur, so they cannot parameterize the Z/5 winding sectors — corroborated by s865-P4 contrast rank 2 of 4) 1405 D1105 242 the pre-registered RDL protocol lands; lane reverses App. S, X itself; tautology charge reinstated 1406 D1106 242 the geometric clock returns four pieces, not one; under- App. S, M determination certificate (w1 = 0 or 1) 1407 D1107 243 the quantization theorem: finite graded odd sector, App. S, M winding z ∈ {±i}, no continuous fugacity — and the missing-tube no-go 1408 D1108 243 the three odd lemmas — W1 and W2 App. S CONCUR; W1b phase DINGED (S873_W1_W2_CONCUR_W1B_PHASE_DINGED) 1409 D1109 243 the two-sided audit — TABLE FAILS RE- App. S COUNT; ledger corrected; dimensions dominate (S874_TABLE_FAILS_RECOUNT_LEDGER_CORRECTED_ DIMS_DOMINATE) 1410 D1110 244 the chamber intertwiner App. S 1411 D1111 243 the χ row App. S, O 1412 D1112 243 the even→SM assignment audit; price asserted, not App. S, X proved 1413 D1113 244 the occupancy round: census honest-null; tautology App. M, X guard adopted 1414 D1114 244 the S244 double-check: 13.907 untied / 11.907 tied App. X (head- orph ledger headline; T1/T2 not tube-forced; s882 SO(6,2) line now with- correction drawn) 1416 D1116 244 the parent action: first two exact equations on C; App. S §source orph Sshape conditional candidate 1417 D1117 244 the mixed tensor: placement-charge table ι = 16p; App. S §charge orph V±1 exclusion 1418 D1118 244 the orientation-odd phase: V-side quadrature z− = App. S §quadra- orph ±iz+ , derived-conditional (blind-adjudicated) ture 1419 D1119 245 the anti-alignment round App. S 1420 D1120 245 the jA round: [jA ] ∈ RP2 typed; null axis (5, −18, 1) App. S continued 6 ===== PDF PAGE 386 / 433 ===== A Round S Headline result (tier as banked) Where it lives Marks 1421 D1121 245 minimal height refuted-as-canonical; the support App. S, M floor {3, 11, 17} Era 4 — the Rev27 freeze and follow-up (S246–S248) 1422 — 246 ChatGPT COLD review of the Rev27-WIP suite — the Rev27 freeze fixes cold only round with fixable defects 1423 — 246 Gemini COLD review — zero undisclosed overclaims Rev27 freeze fixes cold found 1424 — 246 Grok COLD review (Paper 0 focus) — zero undisclosed Rev27 freeze fixes cold overclaims found 1425 — 248 in-house adjudication of the three follow-up reviews; Paper 9 §typed the 28 Si archaeology that Gate 1 of Rev28 executes 1426 D1122 248 the cascade/equivariance round: six gates banked; one App. S cas house prediction corrected 1427 D1123 248 the two-rescues round: six gates banked; two house App. S cas casualties 1428 D1124 248 the one-action / kernel-axis round: axiom ledger com- App. S presses to one row; kernel axis dies 1429 D1125 248 the parent-action moonshot: the dihedral–Markov App. S §D1125 superconnection candidate, all ten C exact inside the candidate Era 5 — the boundary arc (S249–S251): six rounds, closed at its tier — folded at Rev28 1430 D1126 249 the TAM round: transgression obstruction theo- App. S §4→S rem; D1125 killed as selector-deriving; AX-AM is a choice s909 8/8 1431 D1127 249 support-export: Pann derived, q = ±1 categorically ab- App. S sent, ray collapse, non-factorization; AX-SEQ killed s910 8/8 1432 D1128 249 the ladder interface obstructed + pointed rescue App. S (ρ); affine support theorem; final kill of 0.0331562%; AX-AFF-ONSET s911 8/8 1433 D1129 250 non-selection theorem: every r ∈ (0, 1) a bound- App. S pre state ray; positivity-uniqueness closed; AX-MG named s912 33/33 + prebuild 27/27 1434 D1130 250 AX-MG typing: split quantization + degree inde- App. S cas pendence; the “continuum died spectrally” wording reversed s913 32/32 1435 D1131 251 the edge-functor round: coefficient independence + App. S reduction theorem + lift degeneracy s914 46/46 Era 6 — architecture and geometry (S251–S252): folded at Rev28 1436 D1132 251 the wide-lens round: the 17-dim map defect App. X §Rev28 cas confirmed; the observation-functor faithfulness wall named; the χ moratorium adopted 1437 D1133c 251 the two-W separation theorem; no third cascade; App. T §2 pre A4 refuted; one radius s915 27/27 + prebuild 25/25 1438 D1134c 251 the transition cocycle derived at zero continuous App. T §3 pre parameters; non-gluing obstruction; BW bibundle; the wall derived a second way s916 24/24 + prebuild 14/14 1439 D1135c 251 the carrier half of Osig : Πsig , the metric, the connection App. T §4 family, the so(5) Cartan closure s917 28/28 continued 7 ===== PDF PAGE 387 / 433 ===== A Round S Headline result (tier as banked) Where it lives Marks 1440 D1136c 252 27 ↓ so(5); the internal fifth direction; triality as the App. T §5 pre imaginary unit; MacDowell–Mansouri candidate; the solder no-go s918 36/36 + prebuild 38/38 1441 D1137c 252 faithfulness retypes the solder problem; branch Real App. T §6 clause; the spin–charge no-go; the conformal-mode obstruction machine-proved s919 22/22 1442 D1138c 252 a reflection-positive state exists at finite regula- App. T §7 tor; the gravitational sign problem; the positive cone s920 27/27 1443 D1139c 252 AX-COT named; the conditional arrow; nonlinear OS App. T §8, L positivity; associative envelope; Born/Tsirelson at reg- ulator tier s921 30/30 1444 D1140/41c 252 AX-COT independence theorem; nonlinear sim- App. T §8 cas plicity measure; Z6 under local faithfulness; the χ source–response wall s922 45/45 Era 7 — the sponsored string (S253): five rounds in one session, two blind prebuilds — folded at Rev28 1445 D1142 253 the §8 attack: the AX-COT stabilizer obstruction be- App. T §8 comes a theorem; B−L/parity/Z4 closed; two doc- gates s923 71/71 1446 D1143 253 the three-price closure: o = −Dφ exact; the minimal App. T §9 cas dilation theorem; gχ derived away; the A1444-G2 erratum s924 47/47 1447 D1144 253 the observation functor OMOS : Krel = Dφ a the- App. T §10 pre orem; unital-CP forces the scale; POVM exact; OS evenization s926 30/30 vs pre-registered s925 15/15 1448 D1145 253 the four residuals: AX-MOS compressed; ΠMOS 5←6 rank-3 App. T §11 quotient, provably ̸= microscopic; the one-particle gap; the record process s927 46/46 1449 D1146 253 actuality: history ⇐⇒ character ⇐⇒ record are one App. T §12, L pre object; tail/Poisson refuted; Xactual splits s929 27/27 vs pre-registered s928 12/12 Era 5 — the post-Rev27 derivation dive (S255–S257, A1450–A1473) Twenty-three lane rounds and two house outbounds ran across three sessions of one continuous day. The arc took the rest-mass problem from a typed pipeline to a derived architecture to a closed, priced ledger. No observable moved in any of the twenty-four rounds, and no quantity was fitted. Every row below is house-verified: each kernel ran twice, byte-identical, with empty stderr, and every lane bundle was re-run in house against its banked hash. Rounds ran under a temporary regime, the p0-17 dispensation, in which the lane chose its own next object. That regime ended at A1473 and freeze-first resumed. Where a round executed without the gate freeze its item required, the row says so — those are priced variances, not silent ones. 8 ===== PDF PAGE 388 / 433 ===== A D s Headline result Carried by A1450 D1147 s930 Canonical minimal microscopic dilation Umicro ∈ App. O SO(6) confirmed exact; a forced three-dimensional dark sector carrying exactly the three nontrivial V4 characters. Prose-only dispatch; house built the verifier. A1451 D1148 s931 The 1+3+3 rank-seven anatomy is real and ex- App. O act. Instrument identity refuted-as-gauge. The faithful Klein weld refuted; survivor is one global orientation C2 . ⋆ Correction: two Spin(5) form factors, not one — supersedes A1450 claim 9. A1452 D1149 s932 {S, H} = 0 derived from the branch-Real pairing App. O, App. P side- of the two mouths: the scalar form factor dies and bar the τ2 /τ3 phase is fixed in one stroke, at the price of one zero-dimensional clause. A1453 D1150 s933 Typing round: one lattice with a forced dark/null App. O complement and a separately attached mass opera- tor — not two alternative lattices. Three inequiva- lent meanings of “null” held apart. A1454 D1151 s934 ker Π = ker Htot2 refuted as ill-typed; the correct App. O pullback ker Mfull 2 = ker Π⊗F is derived-conditional and exact. The mass–export ordering functor. ? One named falsifier: P1 Mmicro2 P1 = 0. A1455 D1152 s935 Mass loading precedes annular export — mathe- App. O matics confirmed, verdict withheld: the round intro- duced its selection criteria in the same bundle that used them. Sent to the PI as a ratification question. A1456 D1153 — The rest-mass attack map: the operator-to-pole App. O pipeline with gates R1–R9. Synthesis round; every formula re-checked against s930–s935. A1457 D1154 s936 The graded quadrature survives arbitrary positive App. O, App. K noncommuting kinetic dressing after canonical Riesz normalization — house-exact and generic, stronger than the lane’s witness. Tangent/normal protection of the 14 refuted by explicit countermodel. Two residual ratios (rq , rℓ ) remain. A1458 D1155 s937 Spurionic Spin(5) covariance does not protect the App. F 2 — refuted. Replacement: the bulk-local 1 normal-blind counterterm theorem. The Yukawa problem retyped as one democratic scalar. A1459 D1156 s938 The smooth-circle normal-blindness theorem (an- App. F, App. P alytic, named tier); hierarchy characters close at the invariant-ring level; the three-way assignment residue compresses to one zero-dimensional clause, ax-lep-prim; the radius modulus conditionally quantizes to odd integers. 9 ===== PDF PAGE 389 / 433 ===== A D s Headline result Carried by A1460 D1157 s940 House-run against the frozen s939 gate table. Out- App. S come class O-e: the canonical map is not derived, but the two cheapest canonical families are prov- ably dead and the missing structure is exactly named. ax-lep-prim stays named, not adopted. A1461 D1158 s941 ⋆ The Leff semigroup/OS kill-test fires. etLeff App. I, App. X kill is conservative and self-adjoint but not positivity- list preserving: the nearest-neighbour tap of Leff = L + φ−2 L2 is 1 − 4φ−2 = 4φ − 7 < 0 in closed golden form, and a bounded generator with a negative off-diagonal cannot generate an entrywise-positive semigroup. The Markov/stochastic dynamics-tier candidacy of Leff dies. The exact operator law (s912-X7) is untouched. A1462 D1159 s942 Free compactification is hierarchy-blind (it moves P6 only the common scale). The universal-profile gauge threshold has rank two with the testable branch relation aX = −2aT ; the leg-factorized profile split restores full rank three with aM := 2aT + aX . A1463 D1160 s944 First return adjudicated against pre-frozen house App. P gates (s943) — outcome O-I. LMRSS is the unique minimal admissible chiral lift, zero continuous parity moduli, house-proved; one branch-Real chiral zero channel plus an NS partner tower at |p5 |R = 12 . A1464 D1161 s945 R6 → QY ∼ = R3 reduction; the BPS kink wall de- App. P rived; ⋆ the kink direction is independent, backed by an explicit countermodel pair. Executed without its gate freeze — variance priced, verdict class least gate-sensitive. A1465 D1162 s947 On the pre-frozen s946 gates; outcome O-X. The App. P, App. X free mouth-Real determinant is globally hierarchy- dead (Jensen); the 11-ray quartic census shows full-hierarchy rays are maxima; ⋆ the conditional primitive-X theorem (norm-80, ⊥ Y ); falsifier yd = ye ⇐⇒ aC = aX . A1466 D1163 s948 ⋆⋆ The centralizer theorem: X primitive and App. P, App. S Y -orthogonal collapse into one theorem — X = 2(1, 1, 1, 1, 1) is the unique primitive D5 -lattice vec- tor on the A4 -centralizer line. The 16⊕10 branching is the B-map; Ω2 = (−1)F ; z10 forced, so the weld is derived at representation tier. ⋆ The radial- shadow theorem. Gate freeze knowingly waived by the PI, recorded. 10 ===== PDF PAGE 390 / 433 ===== A D s Headline result Carried by A1467 D1164 s950 On the full frozen s949 table — and the fit trap App. T came back clean: no measured input anywhere, three inequivalent normalization candidates listed, none selected. The central C4F functor is forced and equals the frozen reference; det TX = − 27 16 A(A−B) 2 exact; the minimal X ⊗Dφ generation lift refuted. A1468 D1165 s951 A category correction — it closes questions by prov- App. Q, App. T ing they were the wrong shape. No Fibonacci fiber functor into Hilbfd (n2 = 1 + n has no nonnegative integer root); no nonzero M2 (C) → C against the C7 gauge commutant; the even-rank theorem; the commuting generation rescue dead. The pointed Fibonacci operator appears, with golden singular spectrum {φ, 1, φ−1 }. A1469 D1166 s952 ⋆⋆⋆ All three Fgen gates pass. M 2 = M +I −Pm is a App. Q, App. O theorem — the unique minimal pointed Fibonacci completion. L⊤ L = Pm . And O⊤ φ |M |Oφ = Jvac exactly, so the tube and generation walls merge at structural tier. A1470 D1167 s953 Scorecard round, six items: the marked erasure App. O, App. S acquires a parent dynamics (a canonical recovery semigroup, Kraus-complete for every η) derived- conditionally; gen-separability refuted and re- tired as a price; m = 1 at module tier; the bound- ary classification is two-branch; the environment weld refuted-as-typed; the generation question retyped. A1471 D1169 s954 ⋆ ⋆ ⋆ [DF , Agen ] = 0 is forced under recovery-fixed P3, P4, App. F module naturality: the census cuts 9 → 3, spanned by D̂(A, B, C). Strict naturality forbids mixing, so CKM/PMNS is a controlled defect — the struc- tural home for VCKM = I. ⋆⋆ Doublet–triplet splitting derived from the unique MRSS Higgs parity. Boundary price corrected to 6/3. A1472 D1168 s955 The first house outbound complied with in full. ⋆ P5, App. X The ν rider is answered: dirac-loaded, explicit, with charge controls X(L) + X(Hu ) + X(ν c ) = 0 versus X(ν c ν c ) = 10; the SD16 “Majorana pair” is disambiguated as a parent-layer Real condition (C = τ1 K), not an SM mass term. C-forced tier- qualified; B-rank3 with ∆2 = 0, 4/5, 2/5. ⋆ Parity correction: uniqueness is conditional on the loaded scalar spectrum. 11 ===== PDF PAGE 391 / 433 ===== A D s Headline result Carried by A1473 D1170 s956 The closeout. ⋆ Receipt proof : the lane’s recorded App. X, App. O dispatch hash equals sha256 of the house’s dispatch exactly — cryptographic verbatim receipt, a coali- tion first, now standard. Four deliverables land: the 23-row dive ledger (banked-hash crosscheck 10/10), the 26-clause priced register, a 26-row superses- sion self-audit, a 12-row live falsifier list. ⋆ Head walls banked: the promotion gate and the bound- ary law. ∆min is the (1 ↔ φ−1 ) link with penalty 2 φ ε ∥K∥ ; 6 = 3 + 3. 1 −4 2 2 A1474 D1171 s958 ⋆ The ω round — the last Sargasso item, an- App. X swered. First round of the restored freeze-first regime, adjudicated BLIND against a house table sealed before the dispatch was written. Outcome class C · free overlay: LJ = Re− ⊕ J+2 is a 28-dimensional Lagrangian subspace of the 56, so ω vanishes identically where the mass proxies live — it cannot resolve the golden ladder, generates no Poisson flow there, and does not fix scale. The native quartic gives the same no-go independently. P0-1 retires; what survives is kinematic: the FTS is the symplectic bulk vectorization of the cubic Jor- dan Lagrangian boundary. ⋆ House casualty at the sealed table’s own Q6 (see §15); ⋆ the lane declined a golden-ratio reading it could have led with. Sec- ond consecutive receipt-proof; house reproduced the lane’s results hash byte-for-byte. What the era cost, honestly. Twenty-three lane rounds produced no new observable and no fitted quantity. What it produced is architecture: a centralizer theorem where there had been a candidate direction, an exact center computation where there had been a weld hypothesis, a uniqueness theorem where there had been a generation guess, and a forced preservation result resting on one named premise. Every amplitude in that architecture remains an open price, and the register in Appendix X lists all twenty-six of them by name. The arc also fired one kill-test against its own leading dynamics candidate (A1461) and refuted three of its own earlier claims (A1451 on A1450, A1472 on A1471, and the A1463-era endpoint shorthand). That is the denominator this appendix exists to make visible. 5 The freeze-first era: A1475–A1500 The p0-17 dispensation ended at A1473. Everything below ran under restored freeze-first discipline: the house sealed its expectations before the dispatch was written, and each row’s outcome is scored against that seal rather than against hindsight. Twenty-six rounds are recorded here. This section was written at S270 and is a catch-up. The notebook had stood at A1474 while the corpus reached A1500 — twenty-six rounds with no entry, including the four that built Plan v2 12 ===== PDF PAGE 392 / 433 ===== and the round that adjudicated it. The rows below were drafted from the assessment files themselves, not from recollection; where an assessment carries a retraction or correction header, the row says so rather than repeating the retracted claim. The Carried by column began reading “unpapered” throughout, and that was the honest entry. Every one of these adjudications records nothing promoted, engine unchanged, no observable moved, 0 tex — so what the arc produced is architecture, not physics, and the fold records it as such. The fold landed at S271 in three tranches: eighteen rows now name a home (A1495 appears twice in the list below because it is homed in two components; it is one row). A1483, A1488, A1492, A1493, A1495 → Appendix E, “Six declared-class negatives on selector laws”; A1484, A1485, A1490, A1491 → Appendix M, the two-lane blind nonexistence and the what-does-carry-an-order remarks; A1496 → Appendix F, “The invariant-connection kill: a holonomy no-go”; A1494, A1495, A1497 → Appendix X, the Rev30 fold ledger (the corrected sign-datum type and the two irreducibly-Input counts); A1499 → Appendix T, the Clifford isotropy law and the fenced braid representation; A1500 → Appendix N, Part N.D, the dual ruling with all four of its statuses printed together; A1479, A1480 → Appendix H, the DJ clock kill (with the F 2 = I fence in Paper 9); A1481 → Appendix Q, the two golden-boundary negatives; A1482 → Appendix L, the polarization/unitarity obstruction. Five still read “unpapered”, and for those five that is not a backlog but a finding (the twenty-sixth row, A1475, is a VOID tombstone and carries “n/a”, so twenty-five rows ever carried the tag). Four of the five — A1476, A1477, A1478 and A1498 — carry corrections whose targets are session notes and dispatches, not printed text in this suite, so folding them here would assert a paper correction that does not exist. A1486 rests on an object whose equivariance was checked arithmetically rather than structurally. Each of the five is unfolded for a stated reason, and the reasons are recorded rather than the rows being quietly closed. Two rows left this list, and the correction is recorded here rather than made silently. Through Rev32.11 this paragraph read “seven”, and gave reasons for A1487 (“its correction likewise targets a dispatch”) and A1489 (“no blind corroboration. . . a single-lane result”). Both had since been folded: A1487 is printed in Appendix X, in the half-R section, which states it appears there “for the first time”, and the A1489 order theorems are carried in Appendix X’s Rev32 block and in the Appendix M energy-order fence (S280, closed S297). The notebook of record had therefore understated its own fold by two and printed two reasons that were no longer true — found by the S264–S352 master sweep at S353, not by any instrument (Trackers/LOST_SHEEP_MASTER_SWEEP_S353.md, row S353-5). This is the fourth time this notebook has been found behind its own frontier, and the first time the finding was that it was behind in the closing direction — claiming open what was already shut. A reader should take the unhomed rows as a record of rounds run, not of results carried into the papers. One caution the S271 triage produced, recorded because it changes how this table should be read. The claim that this era is uniformly unpapered was checked round by round against the tree, and it does not hold in one direction: the largest correction the arc identified — the retirement of the “zero-parameter, forced by algebra, no fit” framing of the charged-lepton mass ratio — had already been folded at Rev29 and is printed today in Paper 7, Paper 2, Appendix X, Appendix O and Appendix A, each carrying its re-tier and its provenance. An “unpapered” entry in this column means the round’s own architecture has no home yet; it does not mean the round’s findings are absent from the suite. A D s Headline result Carried by A1475 — — ⋆ VOID — number reserved, never spent. A n/a tombstone, not a lost assessment. Recorded because a number with no artifact is voided with a record, never silently omitted. 13 ===== PDF PAGE 393 / 433 ===== A D s Headline result Carried by A1476 D1173 — Retrospectively filed S266, filing-cliff recov- unpapered ery. Written at the time, never landed at its canon- ical path; recovered byte-for-byte from session notes. Nothing re-adjudicated, no tier moved. A1477 D1174 — Retrospectively filed S266, filing-cliff recov- unpapered ery. As A1476 — recovery only. A1478 D1175 — Retrospectively filed S266, filing-cliff recov- unpapered ery. As A1476 — recovery only. A1479 — s970 PI-initiated unprompted string (the “missing E = App. H mc2 ” opener). Not a return against any dis- patch: no D-number, no pre-commit, no receipt protocol — and therefore not scored as a round. Logged so the inbound is findable. A1480 — — HRHP five-shot inbound, no D-number. Receipt App. H, P9 verified: bundle sha256 matched the covering text exactly. A1481 — — ⋆ N1–N5 campaign inbound, no D-number. The App. Q programme’s first clean sealed prospective loss — a pre-registered prediction that failed against its own seal, recorded as such. A1482 — s975, Post-N1–N5 continuation. Adversarial kernel plus App. L s976 a constrained-action real-form control. A1483 D1176 s978, ⋆ The compression round; the lane went 5/5 App. E s981 on the frozen bars — “the strongest single dis- patch of the arc: every demand met, two no-go theorems delivered where one was asked”. A1484 D1177 s983 Madelung-obstruction, Gemini lane. R5 refuted: App. M the lane named a framework object carrying an in- trinsic partial order on a state set, free of atomic physics — the weight-lattice dominance order. ⋆ Carries a retraction header: its s979 character claim (χ = (10, 2, 1) against appendix S) is false; the plan and the papers were right, the kernel com- pared two different modules. A1485 D1178 s984 Madelung-obstruction, Grok lane. R4 and R5 App. M both refuted — the house put two risky bets on the table and lost both. ⋆ Same retraction header as A1484. 14 ===== PDF PAGE 394 / 433 ===== A D s Headline result Carried by A1486 D1179 s986, Domain-and-injection. The house won two risky unpapered s985 bets, R3 and R4 — its first wins in the arc after six placed and none won across three previous rounds. ⋆ Same retraction header as A1484; ⋆ lane serial collision recorded. A1487 D1180 s989, Finish-the-string. The dispatch asked the lane unpapered s990 to find a third house error, and it found a real one: a commutant is a subspace; the house had counted basis vectors. A1488 D1181 s993, Second-order / selection. Three risky bets won App. E s994 in one round (R2, R3, R4) — the best round of the arc on that measure. A1489 D1182 s996 Roadmap round. The sealed design worked: two unpapered parties ranked five targets independently, neither seeing the other, both hash-committed first — ranks 1 and 2 identical. Lane correctly consumed no serial (descriptive audit). A1490 D1183 s999 Blind two-lane round, lane 1 of 2 (Gemini). Nonex- App. M istence proved within the declared class of canoni- cal categorical invariants, on a two-legged argument. A1491 D1184 s1000 Blind two-lane round, lane 2 of 2 (Grok). Nonexis- App. M tence inside an explicitly declared class — indepen- dent of, and convergent with, A1490. A1492 D1185 s1002, The full-carrier selection law. ⋆ Fourth App. E s1003 subspace-vs-set instance — and the first committed inside the dispatch that priced it. A1493 D1186 s1005, The physical tensor — and the error streak App. E s1006 ends: the arc’s first clean house dispatch, 5/5 bars. A1494 D1187 s1008, Grade-moving current. Second consecutive App. X s1009 clean house dispatch. ⋆ Carries a same-session sign correction: the source-layer typing Dphys = RP15 × R≥0 × Z2 is corrected one round later at A1495 — the oriented-line double cover of RP15 is S 15 , which is connected, not a Z2 product. A1495 D1188 s1011, The transported parent action. 5/5 bars. The App. E, X s1012 session’s title question answered: the remaining wall is exactly three open rows, each with a decidable success and kill condition. 15 ===== PDF PAGE 395 / 433 ===== A D s Headline result Carried by A1496 D1189 s1014, Rows 1 ∥ 2 of the decidable plan. Row 2 KILL App. F s1015 — the invariant connection class is closed by a holonomy theorem; the dependency column survives. 5/5 bars. ⋆⋆ Two-host: lane disclosed single-host honestly, house re-ran on a second host, all six outputs byte-identical. A1497 D1190 s1017, Row 3 + the provenance sub-bar. First-class App. X s1018 constraints, positive semigroup, interact- ing reflection-positive two-point — and both provenances close by invariance no-go, exactly as the seal anticipated. ⋆ House serial collision recorded. ⋆⋆ Two-host, 36/36. A1498 D1191 s1020, The two-sheet audit. Five of six house sentences unpapered s1024 corrected (R3 won as hoped); the three decidables all land (R4, R5 won); the sealed s1022 answer key unsealed against them. ⋆⋆ Two-host, 32/32. A1499 D1192 s1026, The synthesis — Plan v2 — the CT/knot App. T s1032 lenses. 5/5 bars; house risky 4W/0L, the second clean sweep. ⋆ The unsealing produced a genuine braid representation. ⋆ ⋆ ⋆ Two-host, now exact. A1500 D1193 s1034 ⋆⋆ Plan-v2 rows 1 ∥ 2 + orphan typing — App. N the dual ruling. Row 1: the declared frozen-V56 orphan class is killed as a sole parent datum (orbit 43, required rank 53, residual boundary fibre 10; Stab = Ksel 0 dim 20 against the required K 0 dyn dim 10) — the orphan is the carrier-level shadow of σsel , not the missing boundary datum. Row 2: con- ditional finite/regulator subgate PASS, original Plan-v2 row OPEN — no stable renormalized 4D continuum trajectory. ⋆ The numerically per- fect “orphan + L∂ ” object is exactly the forbidden circular control, and was typed as such rather than banked. 20/20 gates, 20/20 should-fire controls; ⋆⋆ two-host across two Pythons and two numpy majors. What this era has produced, honestly. Twenty-six rounds, no new observable, no fitted quantity, no tier moved. What they produced is a decidable plan with named kill conditions, and then two of its rows actually decided — one killed (A1496), one killed-as-a-class with the residual fibre counted exactly (A1500) — plus a Row-2 finite subgate that passed while the row it belongs to was held open. The house lost risky bets in three consecutive rounds before winning any (A1484–A1486), found and corrected its own errors twice within a session (A1487, A1494), and on the last round declined a numerically perfect result because it was the forbidden circular control. That denominator is the point of this appendix. 16 ===== PDF PAGE 396 / 433 ===== 6 Era 6: A1501–A1572 (S273–S302; added Rev32.5; A1563–A1572 added Rev32.6) Sixty-two rounds ran between the close of the freeze-first era (A1500, S270) and the Rev32.4 seal, and none had a row here until Rev32.5: the notebook of record had fallen sixty-two rounds behind its own frontier, a gap the house found in its own hostile pass at the Rev32.4 cut (Rev32.5 changelog, H1). The rows below are generated from the filed adjudications (Coalition/assessments/A1501–A1572); each carries the round’s dispatch number, the house kernels it cites, the adjudication headline with its outcome word, and the component that carries the content — or “—” where nothing carries it yet. Four arcs are recorded: the Rev30 cold review and the parent-action closure that became Rev31 (A1501–A1516); the Rev31.2 and Rev32 cold rounds and the Rev32 hardening arc (A1517–A1538); the Track-2 synchronization and the nuclear/mixing rulings arc that became Rev32.2–32.3 (A1539–A1552); and the carrier arc that Appendix T now prints as a fold (A1553–A1562). Every “⋆⋆” is the house grade at intake, not a promotion of anything printed. A D s Headline result Carried by A1501 D1194 s1036, ADJUDICATION of the Gemini return on D1194 App. X §x- s1037, bstar (scope s1038 round) A1502 D1195 s1036, ADJUDICATION of the Grok return on D1195 App. X §x- s1037, bstar (scope s1039 round) A1503 — — GEMINI · Rev30 COLD REVIEW RETURN · Rev30 house verification changelog (ledgers) A1504 — — GROK · Rev30 COLD REVIEW RETURN · house Rev30 verification changelog (ledgers) A1505 — — CHATGPT · Rev30 COLD REVIEW RETURN Rev30 (PDF-ONLY PASS) · house verification changelog; Engine (S274 re-stamp) A1506 D1196 s1014, CHATGPT · THE PARENT-ACTION ASSEMBLY App. S / s1041, RETURN · house verification App. R s1042 (parent- action closure, Rev31) A1507 D1197 s1014, HOUSE ASSESSMENT OF THE D1197 RETURN App. S (pure- s1017, (ChatGPT lane): THE PURE-SPINOR spinor leg) s1043 A1508 D1196 s1041, HOUSE ASSESSMENT OF THE D1196 NON- App. S / s1046 BLIND EXHAUSTIVE RETURN (ChatGPT lane). App. R A1509 D1198 s1044, HOUSE ASSESSMENT OF THE D1198 CLO- App. S (10+1 s1045 SURE RETURN (ChatGPT lane). S275 closure) A1510 D1199 s1042, HOUSE ASSESSMENT: GEMINI ANALYTIC App. S (ana- s1045 REFEREE RETURN on the parent-action lytic referee) 17 ===== PDF PAGE 397 / 433 ===== A D s Headline result Carried by A1511 D1199 s1042, HOUSE ASSESSMENT: GROK ANALYTIC REF- App. S (ana- s1045 EREE RETURN on the parent-action lytic referee) √ A1512 D1200 s1017, HOUSE ASSESSMENT OF THE D1200 RETURN App. H ( 6 s1042, (ChatGPT lane): clock identity / clock iden- s1047 tity, golden bridge) A1513 D1201 s1048, HOUSE ASSESSMENT OF THE D1201 RETURN App. H s1049 (ChatGPT lane): the golden-carrier / App. X (golden carrier) A1514 D1202 s1051 HOUSE ASSESSMENT OF THE D1202 RETURN App. S (ChatGPT lane): the 26⊕10 (26⊕10 grammar- forcing) A1515 D1203 s1052 HOUSE ASSESSMENT OF THE D1203 RETURN App. S (rank- (ChatGPT lane): the character- character variational theorem) A1516 D1204 s1054 HOUSE ASSESSMENT OF THE D1204 RETURN App. S (selec- (ChatGPT lane): the selection tion; F-SEL menu) A1517 — — GEMINI · Rev31.2 COLD REVIEW RETURN · Rev31.2 house verification changelog A1518 — — GROK · Rev31.2 COLD REVIEW RETURN · Rev31.2 house verification changelog A1519 — — CHATGPT · Rev31.2 COLD REVIEW RETURN · Rev31.2 house verification changelog A1520 D1206 s1042 ChatGPT D1206 RETURN, COMPLETED VIA Track 2 (not THE D1208 COLLECTION ROUND — this suite) A1521 D1207 s1042, ChatGPT return to D1207 (HAMILTONIAN App. S s1056 LOOSE-END SYNTHESIS) — INTAKE ASSESS- (Hamiltonian MENT loose ends) A1522 D1209 s1005, House assessment of the D1209 RETURN (problem- boards s1052, board adjudication × (Trackers), s1053 not print A1523 D1210 s1063, House assessment of the D1210 RETURN (hostile App. S (car- s1064, carrier pass × rier grammar, s1066 hostile pass) A1524 D1211 s1068, House assessment of the D1211 RETURN (freeze- Rev32 s1069, prep hostile pass × freeze prep s1070 (ledgers) A1525 D1212 s1071, INTAKE OF THE D1212 RETURN (ChatGPT App. S (ex- s1072 lane, "THE EXPORT ROUND") port schema; Kernels) A1526 D1213 s1073, INTAKE OF THE D1213 RETURN (ChatGPT App. S (re- s1074 lane, "THE REPAIR ROUND") pair round) 18 ===== PDF PAGE 398 / 433 ===== A D s Headline result Carried by A1527 D1214 s1073 INTAKE OF THE D1214 RETURN ("THE App. S DECLARATION-PREP ROUND") (declaration prep) A1528 D1215 s1072, INTAKE OF THE D1215 RETURN ("THE HAMIL- App. S s1073, TONIAN LEDGER ROUND") (Hamiltonian s1074 ledger) A1529 D1216 s1059, INTAKE OF THE D1216 RETURN ("THE SIX App. S (six s1074, WALLS ROUND") walls) s1076 A1530 D1217 s1075, INTAKE OF THE D1217 RETURN ("THE PRE- App. S (hard- s1077 DECLARATION HARDENING + ening) A1531 D1218 s1058, INTAKE OF THE D1218 RETURN ("THE App. S / P3 s1079 CATCH-UP + NEXT-RUNG ROUND") (catch-up, next rung) A1532 D1219 s1058 INTAKE OF THE D1219 RETURN ("SM-1 TYP- App. S ING + FRAMED-WINDING") (SM-1 typ- ing; framed winding) A1533 D1220 s1052, intake of the D1220 return (ChatGPT lane): F- App. S / P3 s1053, SEL(c), artifact recovery, refined-family census (F-SEL(c) s1054 closed nega- tive, Rev32) A1534 — — GROK REV32 COLD RETURN — INTAKE VER- Rev32.1 IFICATION + ADJUDICATION changelog A1535 — — GEMINI REV32 COLD RETURN — INTAKE Rev32.1 VERIFICATION + ADJUDICATION changelog A1536 D1221 s1085 GROK D1221 BRAINSTORM RETURN — IN- App. E TAKE VET + ROUTING RECOMMENDATIONS (s1085/s1086 builds) A1537 D1221 — GEMINI D1221 BRAINSTORM RETURN — IN- App. E TAKE VET + ROUTING RECOMMENDATIONS (s1085/s1086 builds) A1538 — — CHATGPT REV32 COLD RETURN — INTAKE Rev32.1 VERIFICATION + ADJUDICATION + ROUND changelog CLOSE A1539 D1222 s1042, ChatGPT D1222 RETURN — TRACK-2 v1.2 / Track 2 v1.2 s1085, REV32.1 SYNCHRONIZATION — (not this s1086 suite) A1540 D1186 s1085, Independent hostile review — SGTOE Track-2 v1.2 Track 2 (not s1086 this suite) A1541 — s1086 ChatGPT TRACK-2 v1.2.1 FIX-CAPTURE Track 2 POINT RELEASE — ⋆⋆ PASS v1.2.1 (not this suite) A1542 D1223 s1091, ChatGPT D1223 PERIODIC-TABLE EXPAN- P9 §typed s1092, SION RETURN — ⋆⋆ PASS ( Si retype, 28 s1093 Rev32.3) 19 ===== PDF PAGE 399 / 433 ===== A D s Headline result Carried by A1543 D1224 s1091, ChatGPT D1224 P3 BUILD ROUND RETURN — P9 (annu- s1096, ⋆⋆ PASS lar order s1098 defined) A1544 D1225 s1090, ChatGPT D1225 PT PUSH RETURN — ⋆⋆ PASS P9 §typed s1091, (THREE SCOPED NEGATIVES + ONE ERRA- (Rev32.3) s1096 TUM CAUGHT) A1545 D1226 s1101, ChatGPT D1226 THREE MAPS RETURN — ⋆⋆ P9 §typed s1102, PASS (FOUR SCOPED NO-GOS, EACH WITH (annular s1103 ITS OBSTRUCTION NAMED; closure) A1546 D1227 s1102, ChatGPT D1227 HOUSE PROGRESS REVIEW P3 / P5 s1104, RETURN — ⋆⋆ PASS (ALL HOUSE ARITH- (S293 rulings, s1110 METIC REPRODUCED 7/7 + 5/5; Rev32.2) A1547 D1228 s1088, ChatGPT D1228 CLOCK-LENGTH MAP RE- — (count s1090, TURN — ⋆⋆ PASS (SCOPED NO-GO: THE map: con- s1100 COUNT MAP IS NOT A MAP ON THE trol, nothing prints) A1548 D1229 s1079, ChatGPT D1229 OBSERVATION FUNCTOR RE- App. H s1087, TURN — ⋆⋆ PASS (SCOPED NO-GO, DECIDED remarks s1089 ON THE REGISTERED TABLE: (Rev32.3) A1549 D1230 s1079, House adjudication of the ChatGPT D1230 return P4 AX6 / s1133, (TWO WALLS: the replication map · the weak an- P0 moiré s1134 gle) — ⋆⋆ PASS — four frozen exits, all honest, (Rev32.2–.3) all reproduced; the lane found the same AX6 label collision the house found in parallel (s1135) and ADDED an independe A1550 D1231 s1079, House adjudication of the ChatGPT D1231 return P4 AX6pol s1133, (THE NONCENTRAL DEFECT under the two- (Rev32.2) s1140 lattice lens) — ⋆⋆ PASS — the round’s headline is a HOUSE CORRECTION, delivered with three exact counterexamples the house has now reproduced to the digit: the "Peirce catego A1551 D1232 s1079, House adjudication of the ChatGPT D1232 return P0 moiré s1142, (THE ORIENTED ENVELOPE: the noncentral de- remark Tr56 s1145 fect posed in the 56) — ⋆⋆ PASS — the cleanest (Rev32.3) split verdict of the arc: the certified 56/e7 enve- lope GENUINELY REPAIRS two of D1231’s three interface obstructions (nativ A1552 D1233 s1140, House adjudication of the ChatGPT D1233 return — (route s1145 (THE ONE OBJECT: the route-ledger round) — ledger; ⋆⋆ PASS — the round asked for a survey and got App. T an architecture. The lane returned nine fully-typed pointer) routes AND the round’s principal conceptual result: the six faces of 20 ===== PDF PAGE 400 / 433 ===== A D s Headline result Carried by A1553 D1234 s1146, House adjudication of the ChatGPT D1234 return App. T s1147 (THE STAGED SOLDER: build R1) — ⋆⋆ PASS §carrier arc — THE STAGED CELL IS FINISHED. After two (Rev32.2) hundred sessions marked STAGED, the Albert-to- shell solder exists: a rank-27, determinant-4096, all-entries-±1 basis map B: J3 (O_s A1554 D1235 s1088, ADJUDICATION of the D1235 return (BOX-TOP Rev33 check- s1131 UPDATE + PRE-REWRITE TRIAGE) — ⋆⋆ list (ledgers); PASS App. T A1555 D1236 — ADJUDICATION of the D1236 return (FACE App. T six- LEDGER + DOOR CENSUS) — ⋆⋆ PASS face ledger A1556 D1237 — ADJUDICATION of the D1237 return (ℓ_odd App. T (odd BUILD-OR-OBSTRUCT + FACE PROBES) — ⋆⋆ covector no- PASS go) A1557 D1238 s1146 ADJUDICATION of the D1238 return (COVARI- App. T (co- ANT LEG + FACES) — ⋆ ⋆ ⋆ PASS (the round variant leg) built its object) A1558 D1239 s1148 ADJUDICATION of the D1239 return (THE App. T MOS→G6 CHANNEL) — ⋆⋆ PASS (the channel (MOS chan- exists; the premise does not follow) nel) A1559 D1240 s1149, ADJUDICATION of the D1240 return (THE SOL- App. T (sol- s1150 DER Ξ + THE FORCING TABLE) — ⋆⋆ PASS der Ξ; forcing (the solder exists; nothing table) A1560 D1241 s1149, ADJUDICATION of the D1241 return (THE MI- App. T (mi- s1150, CROSCOPIC LEG) — ⋆⋆ PASS (obstructed at the croscopic s1151 record-support tier with leg; premise boxes) A1561 D1242 s1152, ADJUDICATION of the D1242 return (FACE 2, App. T (face s1153 THE BASEPOINT) — ⋆⋆ PASS (the intrinsic 2 basepoint) branch is EMPTY over the A1562 D1243 s1154, ADJUDICATION of the D1243 return (REV33 ME- Rev32.2 s1155 CHANICAL PATCH LEDGER + APPENDIX-T patch ledger CARRIER-ARC FOLD DRAFT) — ⋆⋆ PASS (ledgers); App. T fold Rev32.6 addition (S300–S302): the Rev32.4 cold round, the θ23 octant, the ladder arc, Track-2 v1.3 A1563 cold — Rev32.4 COLD HOSTILE REVIEW (ChatGPT, Rev32.5 fold round full scope; 8/8 verified, 6 confirmed-undisclosed incl. (S300.10– the θ23 “Fixed by” cell vs Paper 3 §5) — ⋆⋆ PASS .27) 72 A1564 cold — Rev32.4 COLD HOSTILE REVIEW (Gemini, 19 Rev32.5 fold round pp; G1 yt /W01 cross-component leak NEW) — ⋆ PASS-PARTIAL 88 A1565 cold — Rev32.4 COLD HOSTILE REVIEW (Grok; D4 Rev32.5 fold round “99/100 with AX6” + D9 “20 predictions” NEW) — ⋆⋆ PASS 84; round verdict C5 21