c867fc9810b10e01f16f8d9719b3598703dca93decb99c3eac3c4e541f7549e7, and this page is generated from exactly those bytes — the build refuses to run if they do not match the served MANIFEST. Every page below is its own anchor, so a Registrar record can link to the page it cites instead of to the top of a 300 KB file. ★ Built because a cold review lost six of fourteen tendon verdicts to unpinnable page markers (D1264 → A1593), and declined to guess rather than mis-cite — which was the right call and the house's cost to bear.301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400
# 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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
— 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
σ-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
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
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
√
ϕ-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
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
√ √
[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
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
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
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
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
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
• 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
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
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
χ 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
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
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
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
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
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
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
• 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
21Generated by scripts/suite_text_anchors_build.py (S370a) from SUITE_Rev33.1_TEXT_part4_pp301-400.txt. The .txt file is unchanged and remains the object of record.