Skip to main content

A registered result in its source context

Original ledger classification: Exact [E] factorization/deck/uniqueness identities + 25-digit transport certificates + [C] the boundary-monodromy reading (sympy + mpmath)

Recorded statement: The Gauss-Manin transport round -- the deck step IS the boundary monodromy (one module, 12 checks, ~7 s; discovery probe transport_deck_probe.py 12/12, verdict TRANSPORT-CANONICAL; closes v613's named residue F1 at the transport level).…

Statement, assumptions and sources

Paper context: TFPT — Introduction and reading guide

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

Original ledger classification: Exact [E] factorization/deck/uniqueness identities + 25-digit transport certificates + [C] the boundary-monodromy reading (sympy + mpmath)

Original claim text

The Gauss-Manin transport round -- the deck step IS the boundary monodromy (one module, 12 checks, ~7 s; discovery probe transport_deck_probe.py 12/12, verdict TRANSPORT-CANONICAL; closes v613's named residue F1 at the transport level). THE FACTORIZATION [E, symbolic]: transporting the segment cycles along the rigid quarter-rotation loop of the four branch points (p_k(tau) = e^{i pi tau/2} p_k, the rotation braid), the discriminant lambda(tau) = e^{2 pi i tau} winds ONCE around 0 and the transported periods factorize EXACTLY: I_m(tau) = e^{i pi tau (m+1)/2} e^{-2 pi i tau j/3} I_m(0) (rotation substitution identity). THE DECK STEP = BOUNDARY MONODROMY [E]: at tau = 1 the deck factor is omega = t^4 on the t = omega sheet, UNIFORM across all three rows (j = 2 forms AND the conjugated antiholomorphic row), and omega-bar = (omega-bar)^4 on the conjugate sheet -- the deck step is t^4 on EVERY sheet; must-fail controls: t^3 = 1 != omega and t^5 != omega (the exponent 4 = |mu_4| is forced by the puncture count). THE CANONICAL MATRIX [E]: the transport matrix in the segment basis is EXACTLY omega*M -- no conjugator freedom left: the v613 dictionary r ~ omega*M is CANONICAL (Gauss-Manin transport); (omega*M)^4 = omega*1 re-derives v597's r^4 = omega; char(transport) = char(r) exactly. CERTIFICATES [E, 25-digit]: direct branch-tracked integration at tau = 1/3, 1/2, 2/3, 1 (dps 80) matches the closed factorization (max rel diff 5e-28); transported seg_1 at tau = 1 equals omega * (static seg_2) to 2.7e-81. THE READING [C]: the braid fixes the boundary, the rigid rotation does not -- their homological difference is one boundary loop of local-system monodromy (t^4 = omega); the rotation-braid convention (rigid quarter rotation realizes delta = s1 s2 s3) is the typed literature identification, carried by the exact char identity. GATE.QGEO does not move; no marker changes.

Original classification detail

TRANSPORT-CANONICAL: transported periods factorize exactly (rotation substitution identity); deck step = boundary monodromy t^4 = omega on every sheet (exponent 4 = |mu_4| forced); canonical transport matrix = omega*M (v613 dictionary canonical, r^4 = omega re-derived); 25-digit certificates; 12/12 checks

Dependencies as recorded

QGEO.PERNORM.01; QGEO.POLFRAME.01; v597; v612; v613

Open the original ledger source, row 632

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

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

    QGEO.TRANSPORT.01: die Gauss-Manin-Transport-Runde — **DER DECK-SCHRITT IST DIE RAND-MONODROMIE**: der Transport der Segment-Zyklen entlang der starren Viertel-Rotations-Schleife der vier Verzweigungspunkte lässt die Diskriminante λ(τ) = e^{2πiτ} EINMAL um 0 winden, und die transportierten Perioden faktorisieren EXAKT (I_m(τ) = e^{iπτ(m+1)/2}·e^{−2πiτj/3}·I_m(0)); bei τ = 1 ist der Deck-Faktor ω = t⁴ auf JEDEM Blatt (uniform über alle drei Zeilen; must-fail: t³ ≠ ω, t⁵ ≠ ω — der Exponent 4 = |μ₄| ist durch die Punktezahl erzwungen); **die kanonische Transport-Matrix in der Segment-Basis ist EXAKT ω·M — das v613-Wörterbuch r ~ ω·M ist KANONISCH** (kein Konjugator-Spielraum), (ωM)⁴ = ω·1 leitet v597s r⁴ = ω her; 25-stellige Zertifikate (dps 80, max 5e−28; τ=1 auf 2.7e−81); v613s Rest F1 auf Transport-Ebene geschlossen (12 checks, ~7 s)

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

Search later reviewed research for this identifierRead the coverage boundaries