Skip to main content

Which cyclic orders the marked construction permits

Original ledger classification: Exact [E] ramification/genus/Chevalley-Weil/pinning identities (sympy) + [C] the conditional typing

Recorded statement: The cyclic-N census -- the seam admits N in {3, 5} as primitive-Lorentz orders and the compiler's integral constants pin N = 3 (one module, 9 checks, <1 s; discovery probe cyclic_n_census_probe.py 9/9, verdict N3-PINNED; makes the first…

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.NCENSUS.01

Original ledger classification: Exact [E] ramification/genus/Chevalley-Weil/pinning identities (sympy) + [C] the conditional typing

Original claim text

The cyclic-N census -- the seam admits N in {3, 5} as primitive-Lorentz orders and the compiler's integral constants pin N = 3 (one module, 9 checks, <1 s; discovery probe cyclic_n_census_probe.py 9/9, verdict N3-PINNED; makes the first v617 bedrock residue CONDITIONAL). RAMIFICATION [E]: points over infinity = gcd(N, 4): full ramification everywhere iff N in {3, 5} among N = 2..6. GENUS [E]: Riemann-Hurwitz table g = 1, 3, 3, 6, 7 with complete character decomposition. SHEET DIMENSIONS [E]: primitive sheets have the compiler's rank 3 exactly for N in {3, 5, 6}, rank 2 for N in {2, 4}. CHEVALLEY-WEIL [E]: N = 3 has BOTH primitive sheets Lorentz ((1,2)/(2,1), the v599/v613 signature); N = 5 has a Lorentz pair; N = 6 has NO primitive Lorentz sheet (its Lorentz content = the order-3 characters: N = 6 REDUCES to N = 3) -- the seam-admissible orders with a primitive Lorentz sheet are EXACTLY {3, 5}. THE PINNING [E]: det_Z(1 - deck) = Phi_N(1)^3 = N^3 for prime N: 27 for N = 3 (the machine-checked v597 constant) vs 125 for N = 5; saturation 81 = 3^4 vs 625 = 5^4: N = 3 UNIQUE. THE READING [C]: the residue moves one level down -- WHY the compiler is 3-adic is N_fam = 3, anchored in the E8 glue (240 = 16 x 5 x 3), named, not derived. GATE.QGEO does not move.

Original classification detail

N3-PINNED: seam-admissible primitive-Lorentz orders = {3, 5} exactly (N = 6 reduces to N = 3); compiler constants 27/81 pin N = 3 uniquely (vs 125/625 for N = 5); residue = N_fam = 3 (E8-anchored); 9/9 checks

Dependencies as recorded

QGEO.SEAMFORCE.01; QGEO.COVER.01; QGEO.PERNORM.01; v597; v600; v613; v617

Open the original ledger source, row 636

Location 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.

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.

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.

Registered verification modules

  • v620_cyclic_n_census.pyRegistered verification module · core
    Read the description recorded in the module registry

    QGEO.NCENSUS.01: der zyklisch-N-Zensus — **DER SEAM LÄSST N ∈ {3,5} ALS PRIMITIVE LORENTZ-ORDNUNGEN ZU, UND DIE COMPILER-KONSTANTEN PINNEN N = 3** (der erste v617-Bedrock-Rest, konditional gemacht): volle ∞-Verzweigung ⟺ gcd(N,4) = 1 ⟺ N ∈ {3,5}; Genus-Tabelle 1,3,3,6,7 (N = 2..6, Riemann–Hurwitz exakt); primitive Blatt-Dimension 3 genau für N ∈ {3,5,6}; **Chevalley–Weil: N = 3 hat BEIDE primitiven Blätter Lorentz ((1,2)/(2,1) — die v599/v613-Signatur), N = 5 ein Lorentz-Paar, N = 6 KEIN primitives Lorentz-Blatt (sein Lorentz-Gehalt = die Ordnung-3-Charaktere: N = 6 REDUZIERT auf N = 3)**; das Pinning: det_ℤ(1−deck) = Φ_N(1)³ = N³ — 27 für N = 3 (EXAKT die maschinell geprüfte v597-Konstante) vs. 125 für N = 5; Saturation 81 = 3⁴ vs. 625 = 5⁴: **N = 3 eindeutig**; der Rest wandert eine Ebene tiefer: warum der Compiler 3-adisch ist = N_fam = 3 (E8-Glue-verankert) (9 checks, <1 s)

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.