Skip to main content

A registered result in its source context

Original ledger classification: Exact [E] PGL2/intertwining identities + [C] typed reading (sympy exact; Python-only per GATE.WOLFRAM.02).

Recorded statement: The F_transfer PGL2 round (one module, 25 checks, ~1 s; discovery probe ftransfer_pgl2_probe.py 25/25, verdict COMMON-ACTION-DISCRETE / UNIFLOW-CONTINUOUS -- NOT KILLED). The v533 preregistration executed in its LITERAL group form: the…

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

FTR.PGL2.01

Original ledger classification: Exact [E] PGL2/intertwining identities + [C] typed reading (sympy exact; Python-only per GATE.WOLFRAM.02).

Original claim text

The F_transfer PGL2 round (one module, 25 checks, ~1 s; discovery probe ftransfer_pgl2_probe.py 25/25, verdict COMMON-ACTION-DISCRETE / UNIFLOW-CONTINUOUS -- NOT KILLED). The v533 preregistration executed in its LITERAL group form: the discrete transfer path alpha_t (disc -7 norm line, norms 2/4/14/32) carries the parabolic base translation T: alpha -> alpha + 2; the declared v183 Koide reading induces the parabolic step +9 = N_fam^2 and is EXACTLY intertwined with T (the reading map Phi is itself Moebius, Phi.T = g.Phi); CR = 4/3 exact; fit-free Moebius transport forces the F corner 53. Continuous half: the native time-1 maps constructed as explicit PGL2 elements -- g_pole hyperbolic with multiplier (2/3)^6, g_Boltzmann = g_pole IDENTICALLY (v425 single-flow theorem), g_QCD parabolic and EXPLICITLY conjugate to T (translation +7/(2pi) in the 1/alpha coordinate), g_relic = identity (degenerate); the v575 uniflow degeneration and the v578 own-clock equivalence reproduced. Five must-fail controls (raw determinant reading killed: transport predicts -16 != 32, CR 28/25; perturbed reading, elliptic clock, deck, dominant-eigenvalue export all killed).

Original classification detail

COMMON-ACTION-DISCRETE / UNIFLOW-CONTINUOUS -- NOT KILLED: the kill criterion 'four incompatible arithmetic actions' is not met; one parabolic class on the discrete half (exact conjugations), uniflow degeneration on the native continuous half; residual = the external anchor clocks/jets, fenced by CONTRACT.F.01; no marker moves.

Dependencies as recorded

CONTRACT.F.01; FTR.DISC7.NORM.01; FTR.CRDISC.01; FTR.CRCONT.01; v533; v571; v575; v578

Open the original ledger source, row 644

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.

All 9 linked sections

Registered verification modules

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

    FTR.PGL2.01: die F_transfer-PGL₂-Runde — **DIE VIER EXTERNEN TRANSFER-SOLVER TEILEN EINE GEMEINSAME MÖBIUS-AKTION AUF DER DISKRIMINANTE-−7-NORMLINIE, WO SIE ÜBERHAUPT WIRKEN — DAS KILL-KRITERIUM ‚VIER INKOMPATIBLE ARITHMETISCHE AKTIONEN‘ IST NICHT ERFÜLLT** (die v533-Präregistrierung in wörtlicher Gruppenform ausgeführt). [E] Diskrete Hälfte: die v183-Koide-Lesart induziert die Schritt-Aktion +9 = N_fam² (parabolisch, exakt mit der Basis-Translation T verflochten, Φ∘T = g∘Φ); CR = 4/3 exakt; Möbius-Transport erzwingt die F-Ecke 53 fit-frei. [E] Kontinuierliche Hälfte: g_pole hyperbolisch (2/3)⁶, g_Boltzmann = g_pole identisch (v425-Single-Flow), g_QCD parabolisch und EXAKT zu T konjugiert (Translation +7/(2π) in 1/α), g_relic = Identität; Uniflow-Degeneration (v575) und Own-Clock-Äquivalenz (v578) reproduziert; 5 Must-fail-Kontrollen (25 checks, ~1 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