A registered result in its source context
Original ledger classification: Identity for factorized model and relative-bound obstruction [E]; finite regression [N]; interacting gap [O]
Recorded statement: The actual v1008 factorized onsite model at n=4 J=2 and |d|<=3/5 has uniform gap >=1+sqrt(3)/2. An ordinary hopping bond has zero vacuum expectation but nonzero action and therefore cannot obey the proposed lower form bound by onsite…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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
CHIRAL4D.MIRROR.FACTORIZED.BOUND.01
Original ledger classification: Identity for factorized model and relative-bound obstruction [E]; finite regression [N]; interacting gap [O]
Original claim text
The actual v1008 factorized onsite model at n=4 J=2 and |d|<=3/5 has uniform gap >=1+sqrt(3)/2. An ordinary hopping bond has zero vacuum expectation but nonzero action and therefore cannot obey the proposed lower form bound by onsite vacuum-complement projectors. This refutes that bound, not the existence of every interacting gap. Newly chosen bond magnitude 3/5 is distinct from the actual sin(k) source coefficient 3/10. Gauged finite Ritz and projected-bond repairs remain conditional changed interactions.
Original classification detail
36 checks: 29 exact; 6 source; 1 floating. T3/T4 and TOE [O]
Dependencies as recorded
CHIRAL4D.NOMIRROR.01; CHIRAL4D.MIRROR.SIGNED.CAR.01
Open the original ledger source, row 788Location 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.
- Frontier and open physical interfaces
- Research contracts
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.
- Honest statusinput 4 origin theory
- Rounds 6 and 7: free quantum curvature, covariant extension, charged disorder, mirror parent, and first-order matter couplingtfpt research contracts; tfpt research contracts; Research contracts
- Round 7: the actual DET parent, its exact factorized gap, and the local-defect obstructiontfpt research contracts; tfpt research contracts; Research contracts
- Honest statusorigin theory
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Honest statusOrigin Theory
- Reproducibility and claim boundary.tfpt research contracts; tfpt research contracts; Research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v1034_parent_mirror.pyRegistered verification module · frontier
Read the description recorded in the module registry
Factorized mirror gap and bare-hopping relative-bound obstruction; no interacting gap theorem; full repository required
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.