A registered result in its source context
Original ledger classification: Lattice theorem [E] (exact unitary equivalence + gauge pin + exclusion census, honest isospectral documentation) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
Recorded statement: The bond-defect premise upgraded to a lattice THEOREM (one module, 18 checks, ~40 s; discovery probe bond_defect_premise_probe.py 18/18, verdict BOND-DEFECT-CANONICAL). THE THEOREM [E]: the deck-character blocks of the covered seam ARE the…
Statement, assumptions and sources
Paper context: input 5 tfpt 3 e8 audit bootstrap
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
QGEO.BONDDEF.01
Original ledger classification: Lattice theorem [E] (exact unitary equivalence + gauge pin + exclusion census, honest isospectral documentation) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
Original claim text
The bond-defect premise upgraded to a lattice THEOREM (one module, 18 checks, ~40 s; discovery probe bond_defect_premise_probe.py 18/18, verdict BOND-DEFECT-CANONICAL). THE THEOREM [E]: the deck-character blocks of the covered seam ARE the one-bond-defect chains, unitarily and exactly (A_r = sqrt(3) R P_r on all modes, exact in Q(zeta_6), at 16/48 AND 48/144; defect phase = deck character): twist sector = deck boundary condition = bond defect, canonically; D_can = L^4 and D_can^3 = -1 as exact operator identities (the quarter clock fixes the canonical section lift); NS-vs-R bookkeeping exact. GAUGE + PIN [E]: the defect position is pure gauge (symbolic telescoping theorem in all 16 free bond phases; all positions exactly isospectral); the geometry pins the gauge class -- sheet reduction = one uniform twist unit per mark (cocycle support = the v622 mark set), window boundary at a crossing <=> defect at a mark, clock covariance selects the mark-uniform field. EXCLUSION CENSUS [E + honest]: every unit-phase configuration with the sector holonomy is gauge-equivalent to the bond defect; the base chain has NO other Z3; site potentials/amplitude defects killed by exact traces, sign defect = the R sector (v628 kill), alternating weights trivialize (v623 kill); an isospectral real NN chain EXISTS (7.8e-16) -- honestly documented: purely spectral data cannot exclude it, but it is no Z3-twist realization and the measured string/correlator data discriminate it (0.26/0.066); the charge-string bridge makes the measured defect ladder bond-defect spectroscopy. TYPED [C]: the continuum/CFT-level statement + the v622/v623 seam identification; GATE.QGEO does not move.
Original classification detail
BOND-DEFECT-CANONICAL: twist = deck = bond defect as a lattice theorem in Q(zeta_6) (exact unitary equivalence, D_can = L^4, D_can^3 = -1 operator identities), position = gauge + mark pin, alternatives census complete incl. the honest isospectral chain (string data discriminate); continuum CFT + seam identification stay [C]; GATE.QGEO does not move.
Dependencies as recorded
QGEO.ORBARF.01; QGEO.ORBASM.01; QGEO.TWISTOPE.01; v622; v623; v628; v639
Open the original ledger source, row 656Location 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.
- E8 audit and bootstrap
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 / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v653_bond_defect.pyRegistered verification module · core
Read the description recorded in the module registry
QGEO.BONDDEF.01: die Bond-Defekt-Prämisse wird ein GITTER-SATZ — **TWIST-SEKTOR = DECK-RANDBEDINGUNG = BOND-DEFEKT, KANONISCH UND EXAKT (unitäre Äquivalenz A_r = √3·R·P_r auf allen Moden, in ℚ(ζ₆) exakt, bei 16/48 UND 48/144), MIT D_can = L⁴ UND D_can³ = −1 ALS OPERATOR-IDENTITÄTEN** (die Viertel-Uhr FIXIERT den kanonischen Sektions-Lift); die Defekt-Position ist REINE EICHUNG (symbolischer Teleskop-Satz in allen 16 freien Bond-Phasen) mit geometrisch gepinnter Eichklasse (Blatt-Reduktion = eine uniforme Twist-Einheit pro Mark; Kozykel-Träger = Mark-Menge); **Alternativen-Zensus vollständig: die Basiskette hat KEIN anderes ℤ₃, Traces/Holonomie/v628-Casimir töten alles außerhalb — inkl. der EHRLICHEN isospektralen NN-Kette (existiert auf 7.8e−16! rein spektral nicht ausschließbar, aber keine ℤ₃-Twist-Realisierung, und die gemessenen String-Daten diskriminieren sie)**; Kontinuums-CFT + Naht-Identifikation bleiben [C] (18 checks, ~40 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.