Original ledger status
CARRIER.CUTCODE.01
CARRIER.CUTCODE.01
CARRIER.CUTCODE.01 (+ CARRIER.MOMENT.INCIDENCE.01): the Arf split as the cut classification of K5 + the one-line master moment with the frozen 210 decision, ONE module from two probes (17/17 + 16/16 checks, ~1 s; discovery probes carrier_cutcode_probe.py CUTCODE-EXACT and carrier_moment_incidence_probe.py MOMENT-INCIDENCE-PARTIAL, both 2026-08-06). PART 1, THE CUT CODE [E neu]: the cut map delta: F2^5 -> F2^10 (edges of K5) is INJECTIVE on C_even(5) and ISOMETRIC (delta(x).delta(y) = x.y mod 2 on all 256 pairs; kernel = the repetition code; control C2: the isometry fails on exactly the 256 odd x odd pairs), with the quadratic identity q*(v) = wt(delta iota v)/2 mod 2 on all 16 words -- so the Arf split 16 = 1 + 5bar + 10 IS the cut classification (0|5) + (1|4) + (2|3) (the five wt-4 words = the elementary vertex cuts, the ten wt-2 words = the duad cuts, both bijections certified); the Clebsch graph SRG(16,5,0,2) (40 edges = |R(D5)|, tfpt_1 Theorem 2) grades over the Arf shells as 40 = 5 + 20 + 15 with forbidden blocks EMPTY, and the within-10 edge graph IS the Petersen graph (full isomorphism census 120 = |S5|); the 240 Gaussian roots / 60 mu4-lines grade 80 + 160 / 20 + 40 over the shells -- typed as Arf/cut grading, explicitly NOT a matter split (ROOTCLASS-MIXED, v775; the 5/20/15 readings are audit fingerprints [C]). PART 2, THE MASTER MOMENT: the symbolic identity sum_{i<j}(x_i + x_j)^2 - 3 sum x_i^2 = (sum x_i)^2 for ALL 5-vectors gives the one-line derivation Tr_{S+} X^2 = 4|X|^2 = 4 h(E8) = 120 (|X|^2 = 30 = h(E8), Tr_10 = 90, Tr_5bar = 30; the chain 120/3 + 1 = 41 = 10 b1 re-anchored); chi_X(t) = (t+2)^3 (t-3)^2 exact with elementary symmetric values (0, -15, 10, 60, -72) typed audit fingerprints [C] (72 AUDIT-ONLY, no morphism). THE 210 DECISION (frozen rule, either outcome the deliverable): p4(X) = 210 = C(10,4) stays DECORATIVE -- the equivariant-bijection candidates are KILLED by the exhaustive fixed-point obstruction (both groups S3xS2 and Z2^5:(S3xS2), both indexings: the fixed 4-subset exists, no G-fixed slot does, total equivariant maps = 0), none of the six frozen slot-local weight families reproduces p4, and only the PARTIAL miss-slot map survives (80 type-(1,1,1,1) subsets -> missed slot with uniform fibers 16 = 2^4, exact on the colour slots, deficit 65/65 on the weak slots) plus the Newton tie p4 = 2 e2^2 - 4 e4 (generic symmetric-function algebra, [C] audit). Controls fire in both parts. No physics claim, no marker move, NO RH claim. Python-only per GATE.WOLFRAM.02.
Recorded status: Exact [E neu] cut-map/shell-grading censuses (F2/integer, exhaustive) + the frozen 210 decision landing PARTIAL (decorative, per the preregistered rule); the 5/20/15 and charpoly readings audit fingerprints [C]; carries CARRIER.MOMENT.INCIDENCE.01
Dependencies, status detail and source
Canonical status: CUTCODE-EXACT + MOMENT-INCIDENCE-PARTIAL: delta injective isometric on all 256 cells; Arf split = the (0|5)+(1|4)+(2|3) cut classification; Clebsch 40 = 5 + 20 + 15 with forbidden blocks empty and within-10 = Petersen (census 120); roots/lines grade 80 + 160 / 20 + 40 -- Arf/cut grading, NOT matter; Tr_{S+}X^2 = 4|X|^2 = 4 h(E8) = 120 from one symbolic identity; charpoly exact, 72 audit-only; the 210 = C(10,4) map DECORATIVE -- equivariant bijection killed by the fixed-point obstruction (exhaustive); the partial 80 -> 5 x 16 miss-slot map and Newton tie survive as audit.
Dependencies: ARF.SPINORCOMPILER.01; ARF.ROOTCLASS.01; v774; v2; v55; v109; v111; v700; v752
Scripts: v810_cutcode_moment.py
Location: tfpt_1;tfpt_3
Original CSV, line 698