A registered result in its source context
Original ledger classification: Dynamical-systems unification [E/C] (one shape / one seam-rate)
Recorded statement: THE DISCRETE->DYNAMIC LENS ON F_transfer (2026-06-19): asks whether the main-branch mechanism -- a gapped, positivity-preserving relaxation to a UNIQUE attractor (the local-averaging update m<-(A+2I)/4 m -> the E8 marks, gap 6 log(3/2)) --…
Statement, assumptions and sources
Paper context: Research contracts
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
FR.DYNAMICS.01
Original ledger classification: Dynamical-systems unification [E/C] (one shape / one seam-rate)
Original claim text
THE DISCRETE->DYNAMIC LENS ON F_transfer (2026-06-19): asks whether the main-branch mechanism -- a gapped, positivity-preserving relaxation to a UNIQUE attractor (the local-averaging update m<-(A+2I)/4 m -> the E8 marks, gap 6 log(3/2)) -- is also the shape of the four F_transfer instances, or an unrelated bolt-on. Answer: ALL FOUR share the SAME shape (a gapped contraction/flow to a unique attractor: Perron-Frobenius / Boltzmann H-theorem / RG fixed point), but only ONE has the SEAM rate. [E] F_pole (Koide) IS the seam dynamics: the source->pole/branch relaxation is the Moebius map with fixed-point multiplier F'=(2/3)^6 = lambda_2 = the seam-clock subleading eigenvalue (v82/v54); |F'|<1 => a unique attractor at the SEAM rate (gap 6 log(3/2)), two starts converge at rate lambda_2^n. [C] F_Boltzmann (eta_B): the baryon asymmetry is the slow mode of a positivity-preserving Boltzmann operator; washout kappa_f in (0,1) converges to the unique balance (homog. part decays, gap=W>0); compiler fixes A_Lambda=10 (in M_1 and m~_1); the RATE is thermal, NOT the seam gap. [C] F_relic (axion): the misalignment field's comoving number density relaxes to a CONSTANT once H<~m_a (adiabatic invariant, a fixed point); seed theta_i=3pi/5=(N_fam/g_car)pi; the RATE is cosmological. [I] F_QCD (m_p/m_e): the 1-loop RG flow with the carrier coefficient b3=-7 (b0=11-2 nf/3=7, nf=2 N_fam; asymptotic freedom) has the Gaussian UV fixed point as attractor (alpha_s->0 toward the UV), Lambda_QCD the dynamically generated IR scale; b3 from the carrier, the flow standard RG. [O] VERDICT: one shape (gapped relaxation/flow to a unique attractor) underlies all four = the main-branch discrete->dynamic principle; F_pole has the seam rate exactly ((2/3)^6), the other three share only the shape (external rates: thermal/cosmological/RG). So F_transfer is the downstream readout end of the one principle, NOT a bolt-on; the theory's simplicity is preserved precisely because the external rates are honestly fenced (v187), not because they reduce to the seam.
Original classification detail
[E] the F_pole seam-rate identity (Koide multiplier = (2/3)^6 = seam eigenvalue); [C] the Boltzmann/relic relaxations (shared shape, external rate); [I] the QCD RG UV-attractor (carrier coefficient b3=-7); [O] the unifying verdict. Demonstrates the SHARED discrete->dynamic shape across F_transfer; does NOT reduce the three external rates to the seam, does NOT upgrade any frontier number to [E].
Dependencies as recorded
CONTRACT.F.01; FR.KOIDE.04; SEAM.ATTRACTOR.01; SEAM.EQUIV.GAP.01
Open the original ledger source, row 396Location 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.
- Certifiability and recommended ordertfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')Research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Certifiability and recommended ordertfpt research contracts
- Certifiability and recommended orderResearch contracts
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.
- 2026-06-19 (the discrete [formula in source] dynamic lens on F_transfer: one shape, one seam-rate, v303)Research changelog; TFPT — Introduction and reading guide
- Honest statusinput 4 origin theory
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- 2026-06-24 (Cross-surface consistency sweep: papers, website, gates, figures realigned)Research changelog; TFPT — Introduction and reading guide
- 2026-06-24 (Typed correction budget: v388 the gap correction is keyed to the mechanism class, not a uniform band)Research changelog; TFPT — Introduction and reading guide
- 2026-06-24 (Website: an animated ``Universal Gap Lab'' visualising v383– v391)Research changelog; TFPT — Introduction and reading guide
- Honest statusorigin theory
All 20 linked sections
- The hard reduction: the live residual as typed interfaces
- Honest status
- 2026-06-23 (Bird's-eye synthesis: two new structural patterns — v383 the universal spectral-gap principle and v384 the residual is certification, not construction)
- The unique attractor: a gapped transport selects ONE fixed point
- Honest status
- 2026-06-24 (A falsifiable clock probe of the frontier: v397 how external is the ``external physics''?)
- Appendix: computational verification (reproducibility)
- 2026-06-22 (next-steps round: the keystone collapsed to one shared premise (Lean [formula in source] one citable theorem), the [formula in source] solver suite, the cusp weight derived from a minimal rewrite, and the [formula in source] pressure point: FORM.QGEO.BW.01, v325, v326, v327, v328)
- The unique attractor: a gapped transport selects ONE fixed point
- Front matter / support
- 2026-06-24 (Lean 4: FORM.SPECTRALGAP.01 formalises the scalar core of the universal spectral-gap principle)
- 2026-07-14 (website + figure refresh — the /verification journey views become live HTML (the stale timeline/residual-chain images replaced by interactive components wired to the in-browser reproducer), the prediction surface's empirical-audit wall of text restructured into dated, expandable rounds, and the generated timeline/residual-chain figures extended to the current suite — presentation only, no content or marker moves)
Registered verification modules
- v303_ftransfer_dynamics.pyRegistered verification module · frontier
Read the description recorded in the module registry
FR.DYNAMICS.01 — the discrete->dynamic lens on F_transfer: is the main-branch mechanism (a gapped, positivity-preserving relaxation to a UNIQUE attractor; local-averaging update -> E8 marks, gap 6 log(3/2)) also the shape of the four F_transfer instances? [E] F_pole (Koide) IS the seam dynamics: the source->pole/branch relaxation is the Moebius map with fixed-point multiplier F'=(2/3)^6 = lambda_2 = the seam clock subleading eigenvalue (v82/v54), |F'|<1 => a unique attractor at the SEAM rate. [C] F_Boltzmann (eta_B): a gapped positive contraction (washout kappa_f in (0,1) -> the unique balance, H-theorem), compiler fixes A_Lambda=10, rate thermal. [C] F_relic (axion): the misalignment comoving number freezes to a constant (adiabatic fixed point), seed theta_i=3pi/5, rate cosmological. [I] F_QCD (m_p/m_e): the 1-loop RG flow with the carrier b3=-7 (asymptotic freedom) has the Gaussian UV fixed point as attractor, Lambda_QCD dynamically generated. [O] VERDICT: ONE shape underlies all four = the main-branch principle; F_pole has the seam rate exactly, the other three share only the shape (external rates); F_transfer is the readout end of the one principle, not a bolt-on; simplicity preserved by honest fencing (v187).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.