Original ledger status
REDTEAM.B.01
Red Team Target B - attack on the UPSTREAM physical premise of Theorem A (the Lean arithmetic 2^g=g^2+g+2 <=> g=5 is NOT attacked; it is verified [F]). Finding: the carrier rank is selected by the Pascal RULE, not the arithmetic. Perturbing the constant 2^g=g^2+g+c gives {5} only at c=2; the truncation degree K in 2^(g-1)=sum_{k<=K} C(g,k) sets g=2K+1 (K=0->1, 1->3, 2->5, 3->7), so choosing K=2 is the physical input. Over-determined (D5 half-spinor dim S+=2^(g-1)=16 <=> g=5; family closure N_fam=(2^(g-1)-1)/g, g+N_fam=8 also pick 5) but each is itself a postulate. VERDICT: the arithmetic core stands [F]; the Pascal SELECTION must be typed [A]/[P], not [I]
Recorded status: Red-team [F]+[A] (survives, narrowed)
Dependencies, status detail and source
Canonical status: Red-team verdict: survives; Pascal selection now typed [A]/[P]
Dependencies: FORM.CAR.01; CAR.UNIQ.01; v2; v14
Scripts: redteam/rt_B_pascal.py
Location: tfpt_5_redteam
Original CSV, line 152Original ledger status
ARCH.QUAD.01
EXTERNAL-REVIEW VALIDATION + the DEGREE-2 pattern named: (1) SEED NORMAL FORM [I] - phi0 = (|mu4|/N_fam) c3 + Omega_adm c3^|mu4| exactly: the seed is a linear seam term plus a topological fourth-order correction over all admissible fermion states (4/3 = |mu4|/N_fam, 48 = Omega_adm = N_fam dim S+, exponent 4 = |mu4|) - a structured anchor readout, not a fitted formula. (2) HYPERCHARGE SECOND MOMENT [I] computed from the explicit charge table: Tr X = 0, Tr X^2 = 120 = 5! (X = 6Y on one 16-state generation). (3) FACTORIAL SPINE [I] (named lemma): 5! = 120 = |R+(E8)| = sum of E8 exponents = Tr X^2; 240 = 2x120; 1920 = 2^4 x 5! = |W(D5)| - the same factorial moment in four projections (hypercharge, E8 roots, D5 Weyl group, Hawking-power fingerprint): an anti-numerology structure statement. (4) DEGREE-2 INVENTORY [I]: six exact degree-2 structures (Pascal closure truncates at K=2 with UNIQUE solution g=5 on 1..40; glue norms 5/4+3/4 = 2 = root norm; c3 = (1/2) x 1/(4pi) = variational half x 2d-slice Gauss-Bonnet; pair sector C(5,2) = 10 = A_Lambda; second moments; codimension-2 seam). NAMED HYPOTHESIS [P] (recorded, NOT claimed): QUADRATIC BOUNDARY LOCALITY - the seam supports only bilinear data, hence the compiler truncation K=2 is forced rather than chosen; if proven, the Pascal SELECTION (red-team Target B residual, REDTEAM.B.01/CAR.PASCAL.01, typed [A]/[P]) upgrades to [L] and the chain locality => K=2 => g=5 => 16 => D5 => E8 closes the carrier choice - the named reduction target for Target B. (5) AUDIT: 240 = 16x15 (even-code transition reading) exact but non-unique (240 = 16x5x3 established, v1), no bijection exhibited - recorded like the v91 graph reading. NOTES: 'reality compiler = {a, pi, v_geo}' is a restatement of v23+v78 (confirmed); the requested grammar-freeze rule is already implemented by v84 (pre-data freeze) + v100 (declared-grammar census)
Recorded status: Identity [I] (seed NF, moment, spine, inventory) + [P] (named locality hypothesis) + audit
Dependencies, status detail and source
Canonical status: Identity: seed NF + factorial spine + degree-2 inventory; locality hypothesis [P] named
Dependencies: ARCH.CORE.01 (anchor); CAR.PASCAL.01 / REDTEAM.B.01 (the residual it names); FLAV.MASSVOL.01; HOR.01 (1920); REG.FREEZE.01; v100
Scripts: v106_review_validation.py
Location: tfpt_1;introduction
Original CSV, line 189Original ledger status
CAR.LADDER.01
PASCAL LADDER THEOREM (Target B residual sharpened to zero slack): the closure 2^{g-1} = sum_{k<=K} C(g,k) has for every K exactly one solution g = 2K+1 (K=1..6 scanned over g=1..60; structurally: odd-g midpoint identity by binomial symmetry, even-g strict straddle around 2^{g-1} excludes all even g). EXACT EQUIVALENCE [I]: the carrier selection g=5 <=> the truncation degree K=2 - the Pascal-selection residual (CAR.PASCAL.01/REDTEAM.B.01, typed [A]/[P]) is therefore EXACTLY the one named hypothesis Quadratic Boundary Locality (ARCH.QUAD.01). NEIGHBOUR WORLDS [I]: K=1 -> g=3 (one-family world), K=2 -> g=5 (three families), K=3 -> g=7 (nine families), K=4 -> g=9 inconsistent (N_fam = 255/9 not integer). OVERDETERMINATION [I]: only K=2 also satisfies the independent rank closure g+N_fam = 8 = rank E8 (CAR.UNIQ.01/v14) - two independent selections agree. THE ONE HYPOTHESIS [P] (recorded, not claimed): QBL = the seam Calderon datum is a single two-point kernel and the carrier code is generated by the degrees it certifies (K<=2); if proven from reflection positivity the carrier choice upgrades [A]/[P] -> [L] along QBL => K=2 <=> g=5 => 16 => D5 => E8
Recorded status: Identity/Lattice [I]/[L] (ladder, equivalence, controls, overdetermination) + [P] (QBL)
Dependencies, status detail and source
Canonical status: Identity: g=5 <=> K=2 exactly; Target B residual = one hypothesis (QBL)
Dependencies: CAR.PASCAL.01; REDTEAM.B.01; ARCH.QUAD.01 (QBL named); CAR.UNIQ.01 (v14)
Scripts: v108_pascal_ladder.py
Location: tfpt_3_e8_audit_bootstrap;tfpt_1
Original CSV, line 191