A registered result in its source context
Original ledger classification: Boundary audit [E]/[X]/[C] (what is derived / external / tensioned / forbidden)
Recorded statement: THE HONEST FIRST-PRINCIPLES BOUNDARY, mapped precisely (2026-06-22): answers (a) can M_Planck/v_geo be computed from first principles? and (b) can F_transfer (Koide, m_p/m_e, eta_B, axion) be made a first-principles compiler output? BOTH…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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
FIRSTPRINCIPLES.BOUNDARY.01
Original ledger classification: Boundary audit [E]/[X]/[C] (what is derived / external / tensioned / forbidden)
Original claim text
THE HONEST FIRST-PRINCIPLES BOUNDARY, mapped precisely (2026-06-22): answers (a) can M_Planck/v_geo be computed from first principles? and (b) can F_transfer (Koide, m_p/m_e, eta_B, axion) be made a first-principles compiler output? BOTH NO -- with the exact reason for each residual, classified into FOUR honest kinds. [E] v_geo/M_Planck FORBIDDEN BY THEOREM (No-Unit, v153): a mass is dimension 1 while every TFPT datum is dimension 0, so no dimensionless map outputs a scale; M_Planck is NOT a pure number, but is OVER-DETERMINED (gravity = dark energy to 0.11%, v274); every dimensionless RATIO is derived, only the one unit is not. [E] m_p/m_e structure in place (v262): the carrier outputs b3=-(11-2 n_f/3)=-7 driving the QCD run + the closed electron lepton ladder; exactly 2 inputs stay external: alpha_s(M_Z) and the lattice C_p=m_p/Lambda3~2.83. [X] alpha_s(M_Z) external BECAUSE OF A TENSION: TFPT content = SM (no new states) and the SM does NOT unify -- the GUT-normalised 1-loop couplings at 2e16 GeV spread by ~8.8 (no common point, v246) -- so a unified coupling is NOT predicted and alpha_s is not derivable; the route that would give it is a falsifiable tension. [N] C_p parameter-free but lattice-only (m_p/Lambda_QCD~2.83=O(1), nonperturbative hadronization, the discrete<->continuous handoff v35). [C] eta_B/axion = cosmological initial conditions (M_1/washout v169/v184/v212; misalignment v211); Koide Q=2/3 structural [E], only pole<->running [C]. [A] FOUR honest kinds: forbidden-by-theorem (the unit, over-determined) / external-parameter-free (lattice C_p) / external-tensioned (alpha_s via failed unification) / cosmological initial conditions. A boundary audit; fabricates nothing, closes nothing. [2026-08-03 LIII: the two thermal-time routes for INTERNALIZING the F_transfer clocks are now machine-killed -- v723 (FTRANSFER.STT.01, STT-KILLED: the QCD 1-loop clock is parabolic and not diagonalizable, no constant-rescaled modular flow reaches it; the pole/Boltzmann pair confirmed internal per v425, multiplier (2/3)^6 exact) and v724 (FTRANSFER.COCYCLE.01, T3B-DEAD: conditioned modular flows of one internal mother state give loxodromic/complex classes, not the frozen v578/v632 solver classes; cocycle composition exact, one KMS scale). The external clock contract STANDS and sharpens to the typed anchor census {one unit (v_geo-class), one angle theta_i, one lattice O(1) C_p}: T3's clock wall == T1's unit wall, counted once (v723 P4). No status move.]
Original classification detail
[E] the No-Unit dimensional argument + b3; [X] the non-unification spread; [N] the lattice O(1); [C] the cosmological scenarios; [A] the four-way classification. A boundary audit (like v35/v167/v275); does NOT close anything, fabricates nothing.
Dependencies as recorded
v153; v274; v262; v246; v35; ANCHOR.VGEO.01; FR.MPME.02
Open the original ledger source, row 441Location 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.
- Frontier and open physical interfaces
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.
- 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
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
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v339_firstprinciples_boundary.pyRegistered verification module · frontier
Read the description recorded in the module registry
The honest first-principles boundary, mapped precisely -- answers (a) can M_Planck/v_geo be computed? and (b) can F_transfer be made first-principles? Both NO, with the exact reason per residual, classified into FOUR kinds. [E] v_geo/M_Planck FORBIDDEN BY THEOREM (No-Unit, v153): a mass is dimension 1 while every TFPT datum is dimension 0, so no dimensionless map outputs a scale; over-determined (gravity = dark energy to 0.11%, v274); every RATIO is derived, only the unit is not. [E] m_p/m_e structure in place (v262): carrier b3=-7 + closed electron; 2 external inputs: alpha_s(M_Z) and the lattice C_p~2.83. [X] alpha_s external BECAUSE OF A TENSION: SM content does NOT unify (spread ~8.8 at 2e16, v246). [N] C_p parameter-free but lattice-only (v35). [C] eta_B/axion = cosmological initial conditions; Koide Q=2/3 structural [E]. [A] FOUR kinds: forbidden-by-theorem / external-parameter-free / external-tensioned / cosmological. A boundary audit, NOT a solution.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.