A registered result in its source context
Original ledger classification: Exact [E] finite net axioms + exact local index 4 + [C] the named continuum theorems (Python-only per GATE.WOLFRAM.02).
Recorded statement: The G_net local net functor -- net axioms exact, Watatani index locally exactly 4, Ramond as half-line/bond defect (one module, 16 checks, ~2 s; discovery probe phys_gnet_local_functor_probe.py 16/16, verdict GNET-LOCAL-FUNCTOR-ALIVE). THE…
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
GNET.LOCALNET.01
Original ledger classification: Exact [E] finite net axioms + exact local index 4 + [C] the named continuum theorems (Python-only per GATE.WOLFRAM.02).
Original claim text
The G_net local net functor -- net axioms exact, Watatani index locally exactly 4, Ramond as half-line/bond defect (one module, 16 checks, ~2 s; discovery probe phys_gnet_local_functor_probe.py 16/16, verdict GNET-LOCAL-FUNCTOR-ALIVE). THE NET AXIOMS ARE EXACT: isotony, graded locality and clock covariance hold exactly for the interval assignment on the quotient circle. THE INDEX IS LOCAL: the Watatani index of the local fixed-point inclusion is EXACTLY 4 for every interval ell >= 2 -- the [D, A] index statement is interval-local, not merely global. RAMOND IS SOLITONIC: the R sector is a half-line/bond defect with local footprint sqrt(2/N) leakage -- exactly the DHR/solitonic structure the seam-Calderon identification needs. 4 MUST-FAIL CONTROLS FIRE. MISSING CONTINUUM THEOREMS NAMED, NOT CLAIMED: GNS limit net (tightness; the v679 formal residual), index continuity along the inductive limit (Pimsner-Popa/Longo heredity), identification with the Longo Q-system extension of GATE.METRIC.11, solitonic sector construction (twisted DHR/Longo-Roberts), Haag duality/split for the quotient-circle net. No marker move. [2026-08-05 LXII (v779): the finite-level precursors of theorems (1)/(2)/(3)/(5) are MEASURED COHERENT (GNS-PRECURSORS-COHERENT, 27/27) -- the Haar scaling isometry tower intertwines exactly (<= 2.2e-16, window data literally level-independent), the index-4 expectation squares commute exactly (the finite half of the Q-system identification), the canonical chiral-sea state is Cauchy with geometric contraction ~1/4 per doubling, the index census is machine-exact at every level with zero degradation, the split witness stabilizes and decreases with separation, and the finite Haag-duality census gives twisted-duality defect 0 with dim B'/dim A' = 4 (l = 1: 3); a 10-section continuum-paper skeleton is on record; theorem (4)'s finite witness stays the v746 bond-defect identity. The exact dim law d_c(l) = 4^(l-1) + 2^(l-1) cos(pi c/2) types the C[Z4] obstruction at exactly 2^-l and EXPLAINS the l = 1 three-sector anomaly. Every measurement stays typed finite evidence, never a continuum proof.]
Original classification detail
GNET-LOCAL-FUNCTOR-ALIVE: net axioms exact (isotony/graded locality/clock covariance), Watatani index LOCALLY exactly 4 for every interval ell >= 2, Ramond = half-line/bond defect (solitonic; leakage sqrt(2/N)); 4 must-fails fire; the five continuum theorems named, not claimed.
Dependencies as recorded
QGEO.BONDDEF.01; GATE.METRIC.11; QGEO.DECKSECTOR.01; v722
Open the original ledger source, row 675Location 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
- 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.
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- The explicit mass gap closes dynamics and clusteringStandard Model and flavor structure
- Front matter / supportE8 audit and bootstrap
- The explicit mass gap closes dynamics and clusteringtfpt 2 standard model
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
- v746_phys_gnet_local_functor.pyRegistered verification module · core
Read the description recorded in the module registry
GNET.LOCALNET.01: der G_net-Lokal-Netz-Funktor — **GNET-LOCAL-FUNCTOR-ALIVE: die Netz-Axiome sind EXAKT (Isotonie, graduierte Lokalität, Uhr-Kovarianz auf dem Quotienten-Kreis); der Watatani-Index der lokalen Fixpunkt-Inklusion ist LOKAL EXAKT 4 für jedes Intervall ℓ ≥ 2 — die [D,A]-Index-Aussage ist intervall-lokal, nicht nur global; Ramond = Halblinien-/Bond-Defekt (solitonisch; lokaler Footprint, Leckage √(2/N))**; 4 Must-Fail-Kontrollen feuern; fehlende Kontinuums-Sätze BENANNT, nicht behauptet (GNS-Limes-Netz, Index-Kontinuität Pimsner–Popa/Longo, Longo-Q-System-Identifikation zu GATE.METRIC.11, getwistete DHR/Longo–Roberts-Sektoren, Haag-Dualität/Split) (16 Checks, ~2 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.