Original ledger status
CAR.COUNT.01
SELF-COUNTING CHANNEL (the Pascal closure is an IDENTITY of the certified channel, not an extra requirement; closes the state half of the QBL analytic core at the structural level): (1) CANONICAL BIJECTION [I] - for odd g negation w -> -w maps the S+ weights bijectively into the opposite sheet (the CAR.PAIR.01 parity stated as a bijection), so the Cartan-neutral kernels of the certified channel S+xS- are exactly the pairs (w,-w), ONE PER CODE STATE: # neutral certified kernels = dim S+ = 2^{g-1} exactly (4, 16, 64 for g = 3, 5, 7) - the channel counts the code. (2) PASCAL PARTITION [I]: the same neutral set graded by pair-degree m (zero modes of Lambda^{2m}(C^{2g})) has sizes C(g,m) for m = 0..K = (g-1)/2; g=5 -> (1,5,10). (3) THE CLOSURE IS AN IDENTITY [I]: two countings of one set give 2^{g-1} = sum_{m<=K} C(g,m), symbolically verified for all odd g = 3..13 - the closure CONDITION of CAR.LADDER.01 is the channel counting itself. (4) HODGE FOLD [I]: the code's minus-sign grading C(g,2j) equals the folded binomial C(g, min(2j, g-2j)) with min(2j,g-2j) <= K - every code sector appears as a pair-degree <= K sector (g=5: code (1,10,5) vs channel (1,5,10), same multiset, folded order). (5) LADDER GENERICITY: the identity holds for every odd g and carries NO g-selection - the selection stays with rank-8 (g + N_fam = 8, CAR.RANK/v14) and ladder integrality (CAR.LADDER.01). (6) RESIDUE RE-TYPE [P] (recorded, not claimed): QBL clause (b') loses its closure burden - given the sheet-odd kernel (CAR.PAIR.02a) the channel automatically contains exactly one neutral kernel per code state at pair-degree <= K, so (b') is the definition of the channel; the remaining physical input is 'the seam certifies through a single scalar 2-point kernel' (for the established free c=8 seam net Wick extends the single kernel to the entire even tower by determinants); the carrier selection itself is carried by rank-8 + integrality - QBL is the structural consistency frame, no longer a missing selector
Recorded status: Identity [I] (bijection + exact multiset gradings + symbolic binomial identity) + Physical [P] (residue re-type)
Dependencies, status detail and source
Canonical status: Identity: Pascal closure = two countings of the channel's neutral set; one kernel per code state; QBL residue = single 2-point-kernel input
Dependencies: CAR.PAIR.01; CAR.PAIR.02; CAR.QTRANS.01; CAR.LADDER.01; CAR.RANK; ARCH.QUAD.01 (QBL)
Scripts: v112_selfcounting_channel.py
Location: tfpt_1
Original CSV, line 196Original ledger status
CAR.QFREE.01
ONE KERNEL IS THE WHOLE NET (the QBL input merges with the R2/holomorphy premise; anchors the carrier choice to the Gate-A objects): (1) MAJORANA BOOKKEEPING [I] - level-1 central charges c(D5)_1 = 45/9 = 5 = g_car, c(A3)_1 = 15/5 = 3 = N_fam, c(SO16)_1 = 120/15 = 8, c(E8)_1 = 248/31 = 8; the carrier net (D5)_1 x (A3)_1 = SO(10)_1 x SO(6)_1 = 10 + 6 = 16 FREE MAJORANA FERMIONS with c = 16/2 = 8; the whole extension tower carrier(mu=16) -> SO(16)_1(mu=4) -> E8_1(mu=1) carries the SAME 16 fermions, only the certified glue grows (index steps 2 x 2 = 4 = |mu_4|, GATE.METRIC.06/07). (2) WICK/PFAFFIAN [I] (exact, 10-Majorana Jordan-Wigner model): ALL 210 vacuum 4-point functions AND all 210 6-point functions equal the Pfaffian of the single 2-point kernel - one kernel determines all correlations; quasi-freeness realised exactly. (3) THE KERNEL IS A CALDERON INVOLUTION OF RANK g [I]: M = I + iA with A integer antisymmetric, A^2 = -I; P = M/2 is a projection with rank P = 5 = g_car = c(D5)_1; eps = iA is an involution; at seam level (16 Majoranas) the rank is 8 = rank E8 - THE CENTRAL CHARGE IS THE RANK OF THE ONE KERNEL (5 carrier block, 8 seam hull). (4) ONE KERNEL <=> ONE STATE [I]: the joint kernel of the five annihilators is exactly 1-dimensional - the polarization fixes the vacuum uniquely; kernel => state => (Wick) all correlations. (5) PREMISE MERGE [P] (recorded, not claimed): QBL's remaining input 'single scalar 2-point kernel' = 'the seam state is quasi-free' = the defining property of the free-fermion net the R2 gate already posits (Gate-A (H') index-4 extension, GATE.METRIC.06); QBL adds NO assumption beyond R2; upgrade contract: R2 closes => the carrier choice closes [L] along free net => one kernel => sheet-odd (CAR.PAIR.02) => self-counting tower (CAR.PAIR.01/CAR.COUNT.01) => complete transport (CAR.QTRANS.01) => carrier; gate typing [P]/[A] unchanged
Recorded status: Identity [I] (exact Pfaffian/Wick + polarization theorems + bookkeeping) + Physical [P] (premise merge)
Dependencies, status detail and source
Canonical status: Identity: one quasi-free kernel determines the whole net (rank = c); QBL input = R2 premise; upgrade contract R2 => carrier [L]
Dependencies: CAR.PAIR.02; CAR.COUNT.01; CAR.QTRANS.01; ARCH.QUAD.01 (QBL); GATE.METRIC.03-07 (Gate A); CAR.LADDER.01
Scripts: v113_quasifree_kernel.py
Location: tfpt_1; tfpt_research_contracts
Original CSV, line 197Original ledger status
SYNTH.INVENTORY.02
RESIDUAL INVENTORY UPDATED (post v110-v122; supersedes the CONTENTS of SYNTH.INVENTORY.01 while keeping its cardinality): (1) thirteen new ledger rows machine-pinned (CAR.PAIR.02, CAR.QTRANS.01, CAR.COUNT.01, CAR.QFREE.01, GATE.UWALL.06-09, FLAV.H2.02-05, ARCH.TRIAD.01). (2) R2 CARRIES THREE LOADS: the single index-4 boundary-net statement closes, when proven, the metric gate (GATE.METRIC.06), the carrier choice (CAR.QFREE.01 upgrade contract) and the QBL programme (ARCH.QUAD.01) - one theorem, three doors. (3) UPDATED RESIDUAL TABLE, exactly FIVE structural classes: R1 seam quantum clock (produce the bend log_{3/2}3 at coupling ~1/3pi) [P]; R2 index-4 seam net (3 loads) [P]/[A]; R3 seam determinant => EH [A]; R4' SELECTOR ESTABLISHMENT (derive n = (5,-9,6) + the diamond determinants from the parabolic geometry; replaces the DISCHARGED 'H2 dictionary' class) [A]/[P]; R5 parabolic realisation of Q (GATE.QGEO; carries P1) [P] - plus the two irreducibles (v_geo, pi) and the frozen data surfaces; a sixth structural class would FAIL the script. (4) THE FLAVOR SIDE HAS NO OPEN ANALYSIS CLASS OF ITS OWN: H2 values exact (FLAV.H2.02), addresses pinned (FLAV.H2.04), margins theorems (FLAV.H2.05); residue = five frozen selector integers. Ledger-bookkeeping module, Python-only by nature
Recorded status: Identity [I] (machine bookkeeping + typing contract)
Dependencies, status detail and source
Canonical status: Inventory: five classes re-pinned (R1 clock; R2 index-4 net with 3 loads; R3 EH; R4' selectors; R5 Q); flavor side discharged; sixth class fails the script
Dependencies: SYNTH.INVENTORY.01; GATE.METRIC.06; CAR.QFREE.01; ARCH.QUAD.01; FLAV.H2.05; HOR.CLOCK.02; GATE.QGEO
Scripts: v123_inventory_update.py
Location: origin_theory; introduction
Original CSV, line 207