A registered result in its source context
Original ledger classification: [MEASURED] Schatten-norm Cauchy rates (6+1 channels, geometrically summable) + [E] lattice-derived FH renormalization (Barnes G, 8.8e-7) + named (L1)-(L3) majorant lemma; deterministic (Python-only per GATE.WOLFRAM.02).
Recorded statement: QGEO-CAR -- the quasi-free CAR route to the formal orbifold continuum limit (GATE.QGEO), first slice (one module, 22 checks, ~10 s; discovery probe qgeo_car_continuum_probe.py 22/22, verdict QGEO-CAR-RATES-SUMMABLE). THE STRATEGY EXECUTED:…
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.CARLIMIT.01
Original ledger classification: [MEASURED] Schatten-norm Cauchy rates (6+1 channels, geometrically summable) + [E] lattice-derived FH renormalization (Barnes G, 8.8e-7) + named (L1)-(L3) majorant lemma; deterministic (Python-only per GATE.WOLFRAM.02).
Original claim text
QGEO-CAR -- the quasi-free CAR route to the formal orbifold continuum limit (GATE.QGEO), first slice (one module, 22 checks, ~10 s; discovery probe qgeo_car_continuum_probe.py 22/22, verdict QGEO-CAR-RATES-SUMMABLE). THE STRATEGY EXECUTED: not measure compactness -- the orbifold correlators are DETERMINANTS of a one-particle covariance, so the limit runs through SCHATTEN-NORM control plus Araki's quasi-free CAR theory. THE MEASUREMENTS: all 6+1 deck/twist sector covariances AND all dressed twist channels are Schatten/shadow-norm CAUCHY on eps-separated configurations (N up to 3072 / 6144), with geometrically summable rates; the FH renormalization is FIT-FREE LATTICE-DERIVED (Barnes G, deviation 8.8e-7); the RP cone margins do NOT degenerate along the ladder; all four kill criteria are clear. THE REMAINDER NAMED: the majorant lemma (L1)-(L3) is stated with constants and the CLASSICAL proof route -- named, not claimed: GATE.QGEO does NOT move. Deterministic (no RNG); self-contained. No marker move.
Original classification detail
QGEO-CAR-RATES-SUMMABLE: all 6+1 channels Schatten-norm Cauchy (N up to 3072/6144), FH renormalization fit-free lattice-derived (Barnes G 8.8e-7), RP cone stable, kill criteria clear; majorant lemma (L1)-(L3) named with constants + classical proof route; GATE.QGEO does NOT move.
Dependencies as recorded
GATE.QGEO.01; QGEO.CONEDYN.01
Open the original ledger source, row 666Location 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.
- Research Contract 2 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportE8 audit and bootstrap
- Research Contract 2 — [formula in source]tfpt research contracts
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v715_qgeo_car_continuum.pyRegistered verification module · core
Read the description recorded in the module registry
QGEO.CARLIMIT.01: QGEO-CAR — die quasifreie CAR-Route zum formalen Orbifold-Kontinuumslimes (GATE.QGEO), erste Scheibe — **QGEO-CAR-RATES-SUMMABLE: alle 6+1 Deck/Twist-Kanäle sind Schatten-Norm-Cauchy auf ε-separierten Konfigurationen (N bis 3072/6144) mit geometrisch summierbaren Raten; die FH-Renormierung ist FIT-FREI GITTER-HERGELEITET (Barnes-G, 8.8e-7); der RP-Kegel degeneriert nicht entlang der Leiter; alle vier Kill-Kriterien frei**; der benannte Rest: das Majoranten-Lemma (L1)–(L3) mit Konstanten + klassischer Beweisroute — benannt, nicht behauptet: GATE.QGEO bewegt sich NICHT (22 Checks, ~10 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.