A registered result in its source context
Original ledger classification: Conceptual (verified)
Recorded statement: the two gates are the discrete<->continuous HANDOFF, not missing formulas: quark cross-ratio cleanness tracks generation (t/b=3/26 clean err 3e-5; c/s fits 21/29 AND 34/47; u/d fits 8/17 AND 55/117 -> '11' not forced) =…
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
BOUNDARY.01
Original ledger classification: Conceptual (verified)
Original claim text
the two gates are the discrete<->continuous HANDOFF, not missing formulas: quark cross-ratio cleanness tracks generation (t/b=3/26 clean err 3e-5; c/s fits 21/29 AND 34/47; u/d fits 8/17 AND 55/117 -> '11' not forced) = QCD/scheme-sensitivity boundary (FLAG). Compiler gives clean skeleton (K ladder, word-lengths, splitting, t/b); light-quark c's are QCD-dressed. Gravity same shape (R+R^2 clean; full measure = continuous completion)
Original classification detail
Conceptual (verified)
Dependencies as recorded
FLAV.QRATIO.01; v35
Open the original ledger source, row 31Location 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.
- TFPT — Introduction and reading guide
- Frontier and open physical interfaces
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.
- Proton/electron ratio [formula in source] — a cross-sector ratioFrontier and open physical interfaces
- 2026-06-22 (the first-principles boundary, mapped: can [formula in source] be computed? can [formula in source] be first-principles? both NO, with the exact reason: v339)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportFrontier and open physical interfaces
Registered verification modules
- v35_quark_qcd_boundary.pyRegistered verification module · frontier
Read the description recorded in the module registry
the discrete ↔ continuous boundary; cross-ratio cleanness
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.