A registered result in its source context
Original ledger classification: Identity [E] + typed closure [C] (exports recomputed; degeneracy theorem exact; the closure onto v425 typed)
Recorded statement: The CONTINUOUS half of the preregistered cross-ratio check, executed against the in-repo solver dynamics (one module, 7 checks, <1 s; discovery probe cr_continuous_uniflow_probe.py 7/7, verdict UNIFLOW-DEGENERATE): the frozen protocol…
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
FTR.CRCONT.01
Original ledger classification: Identity [E] + typed closure [C] (exports recomputed; degeneracy theorem exact; the closure onto v425 typed)
Original claim text
The CONTINUOUS half of the preregistered cross-ratio check, executed against the in-repo solver dynamics (one module, 7 checks, <1 s; discovery probe cr_continuous_uniflow_probe.py 7/7, verdict UNIFLOW-DEGENERATE): the frozen protocol exports -- the fixed-point multipliers of the native contractions, recomputed from primitives (F_pole = e^{-Delta} = (2/3)^6 via the v99 generator; F_Boltzmann = the SAME contraction by the v425 single-flow theorem; F_QCD b3 = -7; F_relic adiabatic 1) -- form the quadruple {(2/3)^6, (2/3)^6, 1, -7} with a FORCED repetition, and a repeated quadruple gives CR in {0, 1, oo} in every corner assignment (theorem + all 24 permutations): the continuous half can never pass natively. THE CLOSURE: it closes onto v425 -- four independent projective solver states do not exist natively; the only four independent external data are the dimensionful anchors (v_geo, M_R, C_p, theta_i), [O] walls, not canonical projective states; the meaningful CR content was and remains the discrete half (FTR.CRDISC.01, y_F = 53 forced). A future continuous test would need anchor-level exports from genuinely external runs -- outside the native scope, stated honestly; contract markers unchanged. [2026-07-31 II: the jet-level successor is executed natively by v578 (MOEBIUS-IN-OWN-CLOCK: no shared wall-time Schwarzian, each instance projective in its own clock); see FTR.JETS.01.]
Original classification detail
UNIFLOW-DEGENERATE: exports {(2/3)^6,(2/3)^6,1,-7} forced degenerate by the single-flow theorem; CR in {0,1,oo} in every assignment; the continuous half closes onto v425; 7/7 checks; anchors stay [O]
Dependencies as recorded
FTR.CRDISC.01; CONTRACT.F.01; DYN.TRANSFER.UNIVERSAL.01; v99; v159; v320; v425; v571
Open the original ledger source, row 611Location 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.
- Research contracts
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.
- =150 2026-07-31 (XI) (the continuous half of the cross-ratio check executed and closed: UNIFLOW-DEGENERATE ( v575 promoted) — the native exports are forced degenerate by the single-flow theorem, so the continuous half closes onto v425; both halves of the preregistered check are now executed)Research changelog; TFPT — Introduction and reading guide
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 / supportE8 audit and bootstrap
- Certifiability and recommended ordertfpt research contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Certifiability and recommended ordertfpt research contracts
- Certifiability and recommended orderResearch contracts
Registered verification modules
- v575_cr_continuous_uniflow.pyRegistered verification module · frontier
Read the description recorded in the module registry
FTR.CRCONT.01: the continuous half of the preregistered cross-ratio check, executed against the in-repo solver dynamics — UNIFLOW-DEGENERATE: the frozen protocol exports (fixed-point multipliers of the native contractions, v425) give the quadruple {(2/3)⁶, (2/3)⁶, 1, −7} — the repetition is FORCED by the single-flow theorem (F_pole and F_Boltzmann are literally the same seam contraction), and a repeated quadruple gives CR ∈ {0, 1, ∞} in every corner assignment (theorem + all 24 permutations): the continuous half can never pass natively — it closes onto v425; the only four independent external data are the dimensionful anchors (v_geo, M_R, C_p, θ_i), [O] walls, not projective states; the meaningful CR content stays the discrete half (v571, y_F = 53 forced); a future continuous test needs genuinely external anchor-level exports (7 checks, <1 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.