A registered result in its source context
Original ledger classification: Sheet/deck reverse audit [E]/[O] (the double-cover 'other side' = degree-2 + the 128-spinor, forced-disjoint from the 5 unmapped degrees; the complement of v354/v355)
Recorded statement: THE 'OTHER SIDE OF THE SEAM' AUDITED AGAINST THE UNMAPPED E8 STRUCTURE (2026-06-27, v430): the sheet/deck complement of the reverse audit v354/v355. The reverse audit found FIVE Casimir degrees {12,14,18,20,24} with no primary readout…
Statement, assumptions and sources
Paper context: Red-team audit
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
E8.OTHERSIDE.AUDIT.01
Original ledger classification: Sheet/deck reverse audit [E]/[O] (the double-cover 'other side' = degree-2 + the 128-spinor, forced-disjoint from the 5 unmapped degrees; the complement of v354/v355)
Original claim text
THE 'OTHER SIDE OF THE SEAM' AUDITED AGAINST THE UNMAPPED E8 STRUCTURE (2026-06-27, v430): the sheet/deck complement of the reverse audit v354/v355. The reverse audit found FIVE Casimir degrees {12,14,18,20,24} with no primary readout ('hull overhead'); the double cover has an 'other side' (the one-sided Z2 collar / conjugate half-spinor S^-). Does that other side correlate with the unmapped E8 structure -- is the leftover where the second sheet lives? The answer is a disciplined NEGATIVE. [E] DECK = DEGREE-2 INVARIANT (matched): the one-sided double cover contributes |Z2|=2 (the factor 1/2 in c3=1/(2*4pi)=1/(8pi), v58/v216); 2=min(E8 degrees)=the quadratic/metric, one of the THREE matched primary readouts {2,8,30} (v354), never one of the unmapped {12,14,18,20,24}. [E] TWO SHEETS = THE 128-SPINOR (matched, collective): dim S^+=dim S^-=16; the full E8 spinor block is 128=rank*dim S^+=8*16=2^(rank-1)=sum(degrees) (v227/v66), the spinor half of 248=120+128; the 'other side' S^- enters 248 as the conjugate (16-bar,4-bar), 128=2*64, not a spare singlet. [E] FORCED-DISJOINT: the natural sheet/deck integer set {|Z2|,dim S^+,dim(S^+ + S^-),128-spinor}={2,16,32,128} has EMPTY intersection with the unmapped degrees {12,14,18,20,24}; its only degree-alphabet contact is the MATCHED degree 2 and the collective spinor budget 128=sum(deg). [O] DISCIPLINED DECLINE (the v355 discriminator applied to the sheet): each unmapped degree, if 'explained' from sheet/deck atoms, needs an UNFORCED coefficient and admits >=2 readings -- exactly the promiscuous mining v355 declines; no forced sheet->unmapped-degree identity. [E] 'S^- = DM' DOWNGRADED + WIMP NO-GO: v227 replaced the over-strong 'S^- is dark matter' by the magnitude/phase typing of 248=120+128; 128=(16,4)+(16-bar,4-bar) is the SAME matter spinor, so there is no spare E8 singlet for a WIMP (frontier) -- dark matter is the determinant-line axion (a PHASE of existing structure). [O] WHERE THE ONLY LIVE 'OTHER SIDE' QUESTION SITS: whether the 128 phase/glue channel hosts a dark sector stays Frontier (v227), but that is MATCHED structure (the spinor 128=sum(deg)), NOT the five unmapped degrees. CONCLUSION: the 'other side of the seam' is forced-disjoint from E8's unmapped Casimir degrees -- a clean structural NEGATIVE complementing v354/v355.
Original classification detail
[E] the deck=degree-2 (matched) and two-sheets=128-spinor (matched, =sum(deg)) identities, and the forced-disjointness {2,16,32,128} cap {12,14,18,20,24}=empty; [O] the disciplined decline (no forced sheet->unmapped identity, v355 discriminator) and the honest residual (the 128 phase/glue dark-sector question concerns matched structure). The sheet/deck complement of v354/v355; closes nothing, records the structural negative.
Dependencies as recorded
E8.REVERSE.AUDIT.01; E8.UNMAPPED.BANDWIDTH.01; E8.CHAN.01; E8.CAS.01; v58; v109
Open the original ledger source, row 97Location 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.
- 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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-27 ( v430 — the seam's ``other side'' is forced-disjoint from [formula in source] 's unmapped Casimir degrees)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.
- OutcomeRed-team audit
- The secondary branching atlasE8 audit and bootstrap
- The secondary branching atlasinput 5 tfpt 3 e8 audit bootstrap
- Dark matter — the candidate is fixed, the scale is pendingFrontier and open physical interfaces
- The secondary branching atlasinput 5 tfpt 3 e8 audit bootstrap
- 2026-06-27 ( v431, v432 — the ``unmapped'' [formula in source] degrees are forced spine [formula in source] flavor structure; the unconditional over-determination floor)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v430_other_side_reverse_audit.pyRegistered verification module · registry
Read the description recorded in the module registry
E8.OTHERSIDE.AUDIT.01: the 'other side of the seam' (double-cover deck / conjugate sheet S⁻) audited against E8's UNMAPPED Casimir degrees -- the sheet/deck complement of v354/v355, answering 'is the leftover where the second sheet lives?' with a disciplined NEGATIVE. [E] DECK=DEGREE-2: the one-sided cover contributes |Z2|=2 (the 1/2 in c3=1/(2·4π)=1/(8π), v58/v216); 2=min(E8 degrees)=the metric, one of the matched primary readouts {2,8,30} (v354), NOT one of the unmapped {12,14,18,20,24}. [E] TWO SHEETS=128-SPINOR: dim S⁺=dim S⁻=16, the spinor block 128=rank·dim S⁺=8·16=2^(rank−1)=Σdeg, the spinor half of 248=120+128; S⁻ is the conjugate (16̄,4̄), 128=2·64, not a spare singlet. [E] FORCED-DISJOINT: the sheet/deck integer set {2,16,32,128} has EMPTY intersection with {12,14,18,20,24}, its only degree-alphabet contact the matched 2. [O] DISCIPLINED DECLINE: each unmapped degree needs an UNFORCED coefficient from sheet atoms and admits ≥2 readings (the v355 discriminator) -- no forced sheet→unmapped-degree identity. [E] 'S⁻=DM' DOWNGRADED + WIMP NO-GO: v227 replaced the over-strong 'S⁻ is dark matter'; 128=(16,4)+(16̄,4̄) is the SAME matter spinor (no spare singlet), DM is the determinant-line axion (a phase). [O] the only live 'other side' question (the 128 phase/glue dark sector, v227) concerns MATCHED structure, not the unmapped degrees. A clean structural NEGATIVE; Wolfram-mirrored, Python (sympy).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.