A registered result in its source context
Original ledger classification: Identity [E] + typed boundary [C] (exact symbolic identities on compiler kernels; the continuous-solver half open)
Recorded statement: The preregistered cross-ratio check (self-code review Priority 4 / v566 S9), executed on its DISCRETE half (one module, 9 checks, <1 s; discovery probe cr_discrete_corners_probe.py 9/9, verdict CR-PASSES): the four solver corners are the…
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.CRDISC.01
Original ledger classification: Identity [E] + typed boundary [C] (exact symbolic identities on compiler kernels; the continuous-solver half open)
Original claim text
The preregistered cross-ratio check (self-code review Priority 4 / v566 S9), executed on its DISCRETE half (one module, 9 checks, <1 s; discovery probe cr_discrete_corners_probe.py 9/9, verdict CR-PASSES): the four solver corners are the in-repo Sheet-Diamond kernels J,K,C,F = M(1,t) = R + Q diag(1,t,t), t = -2..1 (FTR.PATH.01/v224, dets (2,4,14,32)); the corpus's one canonical declared solver reading, the Koide anchor response ell(M) = a^T M 1 (v183), reads (26, 35, 44, 53): CR = 4/3 EXACTLY, and the fit-free reconstruction forces y_F = 53 from (26, 35, 44) alone -- the Koide numerator is Moebius-determined by the three upstream corners (a NEW exact cross-corner identity); honesty theorem: ell is affine on the path (step 9 = N_fam^2) and EVERY linear functional passes -- the check separates linear from nonlinear exports; negative controls with teeth: the determinant path fails at 28/25 exactly as preregistered, the dominant-eigenvalue export fails at 1.322162. THE HONEST BOUNDARY: the DISCRETE half only -- the external continuous solvers (pole transfer, Boltzmann, relic ODE, lattice) export no states here; the continuous half of the check stays open exactly as CONTRACT.F.01 fences it; contract markers unchanged. [2026-07-31: the CONTINUOUS half is since executed by v575 -- UNIFLOW-DEGENERATE, closing onto the v425 single-flow theorem; see FTR.CRCONT.01.]
Original classification detail
CR-PASSES (discrete half): declared export (26,35,44,53), CR = 4/3 exact, y_F = 53 Moebius-forced; controls 28/25 and 1.3222 fail as they must; continuous half open; 9/9 checks
Dependencies as recorded
CONTRACT.F.01; FTR.PATH.01; DIAMOND.PARA.SELFCODE.01; v183; v224; v533; v566
Open the original ledger source, row 608Location 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.
- Certifiability and recommended ordertfpt research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Certifiability and recommended ordertfpt research contracts
- Certifiability and recommended orderResearch contracts
Registered verification modules
- v571_cr_discrete_corners.pyRegistered verification module · frontier
Read the description recorded in the module registry
FTR.CRDISC.01: the preregistered cross-ratio check (self-code review Priority 4 / v566 S9), executed on its DISCRETE half — the four solver corners are the in-repo Sheet-Diamond kernels J,K,C,F = M(1,t), t = −2..1 (v224, dets (2,4,14,32)), and the corpus's one canonical declared solver reading, the Koide anchor response ℓ(M) = aᵀM·1 (v183), reads (26, 35, 44, 53) on them: CR = 4/3 EXACTLY, and the fit-free reconstruction forces y_F = 53 from (26,35,44) alone — the Koide numerator is Möbius-determined by the three upstream corners (new exact cross-corner identity); honesty theorem: ℓ is affine on the path (step 9 = N²fam) and every linear functional passes — the check separates linear from nonlinear exports; negative controls with teeth: determinants fail at 28/25 as preregistered, the dominant eigenvalue fails at 1.3222; the DISCRETE half only — the continuous solver states stay open exactly as CONTRACT.F.01 fences them (9 checks, <1 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.