A registered result in its source context
Original ledger classification: Identity/Lattice [I]/[L] (cone count + Witten index + central-charge conservation)
Recorded statement: SEAM FOCK-SPACE READINGS (three exact audit bridges that sharpen the QFT/topological reading of already-used objects): (1) CAR CONE COMPRESSION [I] -- the even CAR algebra of the 16 seam Majoranas has dim Lambda^even(R^16)=2^15=32768…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
QFT.FOCK.01
Original ledger classification: Identity/Lattice [I]/[L] (cone count + Witten index + central-charge conservation)
Original claim text
SEAM FOCK-SPACE READINGS (three exact audit bridges that sharpen the QFT/topological reading of already-used objects): (1) CAR CONE COMPRESSION [I] -- the even CAR algebra of the 16 seam Majoranas has dim Lambda^even(R^16)=2^15=32768 directions (cumulant blocks C(16,4)=1820, C(16,6)=8008, C(16,8)=12870), but a quasi-free Bogoliubov transport is the second quantisation Gamma(t)|_Lambda^m=Lambda^m(t), so the whole cone is generated by the 16-dim one-particle spectrum, compression 2^15/16=2048=2^11 (the explicit count behind v161; 'the QFT cone is large but not independent'); (2) WITTEN INDEX = PLUCKER NORM 11 [I] -- the 4 mu4-corner fermions span a 2^4=16=dim S+ Fock space; QBL (degree<=2) keeps sum_{k<=2}C(4,k)=1+4+6=11=||Pl(K)||_1, discards C(4,3)+C(4,4)=5=g_car, so 11=dim S+ - g_car and the quark ratio c_u/c_d=g_car*11/(N_fam^2*Delta_Q)=55/117 reads the QBL-protected boundary state-space dimension (a topological Witten index, not a free integer); (3) AFFLECK-LUDWIG g-THEOREM RIGIDITY [I]/[L] -- c_UV=c((D5)1)+c((A3)1)=5+3=8=c_IR((E8)1), so Delta c=0 along the seam boundary RG flow; a flow needs Delta c>0 to dissipate, so Delta c=0 forces an exact isometry (no relevant/marginal perturbation), the boundary-entropy form of the v157/v158 rigid fixed point. Exact identities; readings audit
Original classification detail
Identity/Lattice [I]/[L]: CAR cone 2^15->2^11; Witten index 11=Plucker norm=dim S+ - g_car; g-theorem Delta c=0 rigidity
Dependencies as recorded
GATE.UWALL.06; CAR.QFREE.01; GATE.METRIC.14; v42_exterior_leg.py; v161_one_particle_reduction.py
Open the original ledger source, row 287Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Standard Model and flavor structure
- Red-team audit
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-13 (seam Fock-space readings v174: CAR cone, Witten index, g-theorem)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- 2026-06-14 (review recommendations 1/3/4 + the four concerns A–D mapped to the named residuals)Research changelog; TFPT — Introduction and reading guide
- Quarks: hierarchy from the same word-lengthsStandard Model and flavor structure
- Quarks: hierarchy from the same word-lengthstfpt 2 standard model
- 2026-06-13 (Zenodo release 5.1 (rev 105) — v174 + v175 + doc refresh)Research changelog; TFPT — Introduction and reading guide
- OutcomeRed-team audit
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v174_seam_fock_readings.pyRegistered verification module · registry
Read the description recorded in the module registry
seam Fock-space readings: (1) CAR cone compression — dim Λ^even(ℝ¹⁶)=2¹⁵=32768 reduces to a 16-dim one-particle problem under quasi-free Bogoliubov (2¹⁵/16=2¹¹), the explicit count behind v161 (''the QFT cone is large but not independent''); (2) Witten index = the Plücker norm 11 = Σ_{k≤2}C(4,k), with 11=dim S⁺ − g_car (full 4-corner Fock 2⁴=16) and c_u/c_d=55/117 reading the QBL-protected boundary state space; (3) Affleck-Ludwig g-theorem: c_UV=5+3=8=c_IR((E8)₁) so Δc=0 forces an exact isometry (boundary-entropy form of v157/v158). Exact; readings audit.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.