A registered result in its source context
Original ledger classification: Candidate [C]/[N] + mechanism [O] (structured point inside the v481 window; scalaron-trace hypothesis typed, not derived; no seesaw closure)
Recorded statement: THE SCALARON-TRACE RUNG CANDIDATE (registered 2026-08-28, external master-object review wave 2): M_R = N_fam * M_scal = 3 c3^{7/2} Mbar = 9.180e13 GeV -- a STRUCTURED point inside the v481 PS window, -1.8% from the v481-required 9.346e13…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
FLAV.NUSCALE.05
Original ledger classification: Candidate [C]/[N] + mechanism [O] (structured point inside the v481 window; scalaron-trace hypothesis typed, not derived; no seesaw closure)
Original claim text
THE SCALARON-TRACE RUNG CANDIDATE (registered 2026-08-28, external master-object review wave 2): M_R = N_fam * M_scal = 3 c3^{7/2} Mbar = 9.180e13 GeV -- a STRUCTURED point inside the v481 PS window, -1.8% from the v481-required 9.346e13 GeV under the same frozen 1-loop inversion and the named premise y_nu = y_t [P] (the review text said about 1%; the honest value is 1.8); m_3 at the candidate = 0.0512 eV (+1.9%, inside the >50% v482 RG envelope), ~20x sharper than the declined integer rung c3^3 Mbar. EXACT ladder position: 3 c3^{7/2} = (3 sqrt c3) c3^3, 3 sqrt(c3) = 3/sqrt(8 pi) = 0.598413 -- 0.26% from the 3/5 of the v482/v488 story; ADJACENCY TYPED: v488 killed 3/5 as an SO(10)/PS CLEBSCH, while the scalaron-trace reading is a DIFFERENT mechanism class -- HONEST RETYPE (2026-08-28, review wave 3): the trace argument Tr_A3 I = 3 is loose (Spec(I) = {1,1,1}, trace 3 does not make 3 an eigenvalue); the operator reading is the Q_+ eigenvalue route Spec{1,2,3} (v10/v50/v69), with the mixed insertion texture typed DATA_CONSTRAINS_TEXTURE in the nu-scalaron v2 project -- mechanism stays [O], not derived. The same M_scal already carries f_a = M_scal/128 (v185) and the inflation scale (v253): no new scale atom. KILL TEST: Sigma m_nu (NO) = 0.059 eV; a robust cosmological bound below 0.059 eV or a >~5% shift of the required M_R kills the candidate. CANONICAL NOTE (2026-08-28, completeness wave, NU_TEXTURE_CENSUS_NULL, not a module): frozen 3x3 inventory search 0/1607 corpus candidates + 0/200 random control (best miss factor 12.6 on the reactor angle) -- the Q+ union needs structure beyond the frozen 3x3 inventory; mechanism [O] sharpened. Provenance: experiments/tfpt-discovery/nu_texture_census_probe.py. No v3 freeze; M2 = 1.73e10 GeV remains the unused prediction.
Original classification detail
[N] 3 M_scal within 1.8% of the required M_R and m_3 within 1.9% at the frozen v481 inputs; [E] exact ladder identities; [C] the scalaron-trace reading; [O] the mechanism; [X] the Sigma m_nu = 0.059 eV kill floor. Does NOT close FLAV.NUSCALE; v481 window candidate and v488 negative untouched. WAVE-3 RETYPE (2026-08-28): operator reading is the Q_+ eigenvalue route Spec{1,2,3} (v10/v50/v69), not Tr I = 3; texture DATA_CONSTRAINS_TEXTURE (nu-scalaron v2); mechanism stays [O]. COMPLETENESS-WAVE NOTE (2026-08-28): NU_TEXTURE_CENSUS_NULL 0/1607 + 0/200 -- frozen 3x3 inventory provably insufficient; mechanism [O] sharpened; no new module (search null). WAVE-5 (2026-08-29, v1003): Schur-texture NULL (8/8 D4-even (K,B) fail; lambda_1=lambda_3 forced) and scale NULL (12/12; 1-|c/a|=1.885e-4 not supplied) recorded as binding constraints on FLAV.NU.TEXTURE.MECHANISM.01 [O]. Candidate unmoved; no seesaw closure.
Dependencies as recorded
FLAV.NUSCALE.02; FLAV.NUSCALE.03; FLAV.NUSCALE.04; GRAV.FR.01; AX.P1.01
Open the original ledger source, row 550Location 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.
- Standard Model and flavor structure
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.
- Research Contract — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)tfpt research contracts
- Research Contract — FLAV.NUSCALE.06 (pentagon-class misalignment candidate)tfpt research contracts
- Neutrinostfpt 2 standard model
- =150 2026-08-29 (CXLIII) (review wave 5 — two exploration probes graduate as v1002– v1003 plus three registrations: the DET16 finite-cluster hit, the two neutrino-texture structural nulls, the master scaling-limit theorem SEAM.MMST.TYPEIII.CHARGED.01, the gauge-stiffness step-scaling divergence, and the holomorphic-KMS document; suite [formula in source] , ledger [formula in source] : three new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1001). (1) v1002_ spin10_ mirror_ projector.py ( [formula in source] ): DET16 rank-one projector on the full [formula in source] cluster — [formula in source] , [formula in source] , defect [formula in source] ; [formula in source] hermitian idempotent [formula in source] , rank [formula in source] ; [formula in source] spectrum [formula in source] , gap exactly [formula in source] ; all [formula in source] [formula in source] Fock commutators [formula in source] ( [formula in source] ); parity commutator [formula in source] ; [formula in source] and [formula in source] singlets. Hopping stability on the [formula in source] -mode analogue: gap [formula in source] ( [formula in source] clusters) / [formula in source] ( [formula in source] clusters) at [formula in source] ; spectators untouched. NEW ledger row CHIRAL4D.MIRROR.DET16.01 Candidate \ (exact finite-cluster gapping; open: dynamical gauge fields, domain-wall geometry, [formula in source] D volume theorem). (2) the Casimir kill, permanent. Number-preserving Casimir projector uniqueness fails at every cluster size: one [formula in source] (none at [formula in source] ); [formula in source] half-filling multiplicity [formula in source] ; [formula in source] (exact Weyl alternation, [formula in source] ). Ledger note on CHIRAL4D.NOMIRROR.01: number-preserving Casimir projector route excluded; display stays . (3) v1003_ nu_ structural_ nulls.py ( [formula in source] ): charged-sector data [formula in source] , [formula in source] ; Schur-texture NULL — all [formula in source] preregistered [formula in source] fail, D4 reflection forces [formula in source] , hierarchy [formula in source] structurally unreachable from D4-even seam data, required [formula in source] matches none of [formula in source] comparators; orientation-doubling structure theorem — [formula in source] odd sector generically lifts the degeneracy (exact rational witness); scale NULL — [formula in source] fail, required cancellation [formula in source] not supplied, [formula in source] -branches isospectral. NEW ledger row FLAV.NU.TEXTURE.MECHANISM.01 : both nulls are binding constraints (mechanism must be D4-odd AND supply a [formula in source] even-odd cancellation; pure seam data excluded -typed). FLAV.NUSCALE.05/ .06 notes only; candidates unmoved. (4) registrations (no marker moves). NEW SEAM.MMST.TYPEIII.CHARGED.01 : ONE scaling-limit theorem [formula in source] strongly on the finite-energy core [formula in source] crossed-product continuity, from which [formula in source] , [formula in source] , type III [formula in source] , unique rotational KMS, unique CE, deck equidistribution and modular invariance follow as corollaries; children SEAM.SIMPLECURRENT.GENERATOR.01, SEAM.STATE.RPMIXING.01 continuum, ALPHA.QUILLEN.EXACT.01 rigidity, AX.P1.01 reading (listed on the parent, not back). Cited document articles/2026-08-29/holomorphic_kms_extension_en.tex ( [formula in source] pp): unconditional rotational-KMS uniqueness via KLM [formula in source] Longo–Tanimoto GIVEN the identification; P1 [formula in source] theorem-conditional on seam identification [formula in source] [formula in source] ; axiom typing UNCHANGED. GAUGE.DETLINE.FIXPOINT.01: mechanism executed at fixed volume (unique fixed point, contraction [formula in source] , exact [formula in source] and [formula in source] Dynkin ratio [formula in source] ) BUT the preregistered thermodynamic step-scaling [formula in source] is DIVERGENT ( [formula in source] oscillates [formula in source] , [formula in source] at [formula in source] ); typed hurdle: the [formula in source] D toy has no plaquette self-interaction, the real contract needs [formula in source] D; display stays . [formula in source] boundary note: unit choice closed; dimensionless hierarchies [formula in source] remain predictive obligations. Surfaces: tfpt_research_contracts (new sections MIRROR.DET16, TYPEIII.CHARGED, NU.TEXTURE.MECHANISM; DETLINE stiffness update; NOMIRROR Casimir kill); tfpt_4_frontier wave-5 paragraph; tfpt_2 (texture-mechanism note); introduction status card [formula in source] hierarchy sentence.Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-28 (CXXXVIII) (the master-object wave, part 2 — the second external bird's-eye review (``one 4D lattice [formula in source] one seam simple current [formula in source] one unitary dilation [formula in source] one determinant line [formula in source] one [formula in source] '') adjudicated: its four machine-checkable candidate results verified and integrated as FOUR new modules (suite [formula in source] , ledger [formula in source] : one new row FLAV.NUSCALE.05; three contract rows updated, NO status-marker moves). (1) v983_ simple_ current_ generator.py: the SEAM.SIMPLECURRENT.GENERATOR.01 generator is identified — the glue vector [formula in source] with [formula in source] , [formula in source] , order 4 in the discriminant group [formula in source] of [formula in source] ; isotropic glue [formula in source] even unimodular rank-8 overlattice ( [formula in source] ); coset root census [formula in source] — the odd fusion powers of the ONE class carry the full [formula in source] spinor sector; kill tests (vector-class / mismatched glue) fire; holomorphy shadow [formula in source] vs [formula in source] at the lattice level; the analytic half (G1–G4) stays . (2) v984_ markov_ qca_ dilation.py: the DISCRETE leg of DYN.UNITARY.DILATION.01 realized constructively — the collision step [formula in source] is exactly unitary, the Stinespring identity [formula in source] holds symbolically, [formula in source] and six fresh ancillas give [formula in source] exactly (radius-1 collision band); must-fail fires ( [formula in source] ); typed remark AGAINST the review text: a reused mod-3 adder ancilla still reproduces the populations exactly; the continuous Hamiltonian/OS legs stay . (3) v985_ quillen_ channel_ swap.py: the v974 CHANNEL-SWAP face of ALPHA.QUILLEN.EXACT.01 resolved at the finite level by [formula in source] -character grading — the deck swap [formula in source] maps the jump spectrum [formula in source] onto the mark pattern [formula in source] exactly (odd swap fails), the graded [formula in source] difference is [formula in source] -free [formula in source] , the channelwise unit ratio is uniform [formula in source] ; continuum Bismut–Freed, KMS rigidity and the [formula in source] compensation stay . (4) v986_ nu_ scalaron_ rung.py: the SCALARON-TRACE RUNG [formula in source] GeV — a structured point INSIDE the v481 window, [formula in source] from the 1-loop requirement (the review claimed [formula in source] 1\%; the honest value is 1.8), [formula in source] sharper than the declined integer rung; exact ladder position [formula in source] , [formula in source] from the closed [formula in source] Clebsch door — adjacency TYPED, not consumed (v488 killed the Clebsch mechanism; the generation-blind scalaron trace is a different class, itself ); kill test [formula in source] eV; new row FLAV.NUSCALE.05 [C]/[N], no seesaw closure. The remaining review content is typed, not consumed: the axion line ( [formula in source] , [formula in source] ) and the Riemann–Roch carrier ARE the existing v185/v211/v189; the 4D action, chiral measure, OS package, bulk dictionary, determinant-line unification, [formula in source] , transduction matrix and joint likelihood stay open contracts exactly as registered on 2026-08-27. Paper surfaces: tfpt_research_contracts (three executed-update paragraphs), tfpt_2_standard_model (scalaron-trace rung paragraph).)Research changelog; TFPT — Introduction and reading guide
- NeutrinosStandard Model and flavor structure
- Nachweise der erneuten PrüfungTFPT Gesamtsynthese 2026-09-28
- =150 2026-08-29 (CXLII) (review wave 4 — four exploration probes graduate as v998– v1001 plus the lattice-fundamental quasilocal-family amendment, the [formula in source] closed-metrology retype, the ALPHA.QUILLEN relative-determinant note, and the master contract TFPT.TOE.COMPLETE.01; suite [formula in source] , ledger [formula in source] : two new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v997). (1) v998_ seam_ modular_ closure.py ( [formula in source] ): two-edge HS remainder bounded by [formula in source] on the frozen plateau [formula in source] ; lattice character [formula in source] EXACT four orders [formula in source] ; [formula in source] as Eisenstein series, [formula in source] -expansion match to [formula in source] orders exact (Jacobi identity; the reviewer's C7 sharpening); [formula in source] numeric transform at [formula in source] digits with [formula in source] -weight bookkeeping. Ledger notes on SEAM.EQUIV.MMST.01 and SEAM.SIMPLECURRENT.GENERATOR.01: C7 arithmetic shadow now exact; net-level C7 stays cited/open. (2) v999_ weak_ collision_ hp.py ( [formula in source] ): the continuous-time dilation leg — generator extraction Richardson [formula in source] ; [formula in source] symbolic; [formula in source] exact; GNS splitting defect [formula in source] ; locality [formula in source] ; strong-collision singularity contrast rank [formula in source] . DYN.UNITARY.DILATION.01: the finite ladder is now COMPLETE (discrete/kernel/field-free/interacting-classical/quantum-coupled/continuous-time); open [formula in source] the thermodynamic field limit only; contract stays . (3) v1000_ spin2_ sk_ witnesses.py ( [formula in source] ): lattice graviton — positivity exact, [formula in source] TT helicities at all [formula in source] momenta ( [formula in source] ), [formula in source] exact; SK — KMS/FDT [formula in source] , [formula in source] -dependence contrast [formula in source] vs static [formula in source] , saddle [formula in source] -fold degenerate with [formula in source] unique in the [formula in source] lift . GRAV.SPIN2.EMERGENCE.01 quadratic Hamiltonian half executed; FTRANSFER.SK.RHO0.01 mechanism executed; both contracts stay . (4) v1001_ nu_ pentagon_ chain.py ( [formula in source] ): [formula in source] inventory theorem; misalignment [formula in source] ; pentagon double hit [formula in source] frozen, all three measured angles [formula in source] (honest max pull [formula in source] ) at [formula in source] , unique LEE survivor [formula in source] ; v3 chain SHA-16 a4c28732fa687620 with [formula in source] eV, [formula in source] meV, [formula in source] meV, [formula in source] ; v270– [formula in source] tension [formula in source] TYPED; census null [formula in source] . NEW ledger row FLAV.NUSCALE.06 Candidate \ (pentagon-class misalignment; mechanism [formula in source] the [formula in source] -to-flavor operator ; kills DESI/DUNE [formula in source] vs [formula in source] /JUNO). NO seesaw closure; FLAV.NUSCALE.05 unmoved. (5) Amendments (typed; no marker moves). QFT4D.LATTICE.FUNDAMENTAL.01: a single finite box is not a world — the fundamental object is the quasilocal consistent family [formula in source] with [formula in source] ; continuum ( [formula in source] ) optional, thermodynamic limit and controlled IR universality mandatory (dated 2026-08-29). ANCHOR.VGEO.01/ .02: display retyped from open-physics/primitive phrasing to CLOSED METROLOGY STRUCTURE ( [formula in source] unit torsor; one dimensionful calibration necessary by dimensional analysis — No-Unit v153/ v725); display stays , no physical . ALPHA.QUILLEN.EXACT.01: the correct object is the relative determinant [formula in source] ; BFK [formula in source] is [formula in source] -independent at fixed cut number so [formula in source] — no physical compensation (consistent with COMPENSATION_INTERNAL). NEW master contract TFPT.TOE.COMPLETE.01 : eight gates T1–T8 with the binding separation [formula in source] vs [formula in source] AND independent holdouts; every existing [formula in source] D/dilation/detline/SK/flavor/gravity contract is a child of one gate. Surfaces: tfpt_research_contracts (executed-update paragraphs at MMST/SIMPLECURRENT, DILATION, GRAV.SPIN2, SK.RHO0; new sections TOE.COMPLETE and NUSCALE.06; lattice-fundamental amendment; ALPHA relative-det note); tfpt_4_frontier [formula in source] introduction status card / [formula in source] row; tfpt_2 (NUSCALE.06 candidate paragraph).Research changelog; TFPT — Introduction and reading guide
All 15 linked sections
- Research Contract — FLAV.NUSCALE.06 (pentagon-class misalignment candidate)
- Front matter / support
- Research Contract — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)
- =150 2026-08-28 (CXLI) (the completeness wave — four exploration probes graduate as v994– v997 (suite [formula in source] , ledger [formula in source] : eight contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v993). (1) v994_ mmst_ criteria_ battery.py ( [formula in source] ): [formula in source] of [formula in source] MMST identification criteria executed -measured — measured [formula in source] (16 Majorana copies), conformal edge spectrum [formula in source] , current normalisation [formula in source] , sector collapse [formula in source] , and the flagship: [formula in source] /GSO-projected lattice character sums reproduce the [formula in source] vacuum character [formula in source] three orders deep; C6 is now written out in articles/2026-08-28/psi_lambda_convergence_theorem_en.tex (analytic log coefficient [formula in source] vs measured [formula in source] , [formula in source] ); C7 modular invariance stays cited/open. Ledger notes on SEAM.EQUIV.MMST.01 (stays ) and SEAM.SIMPLECURRENT.GENERATOR.01 (stays ; open rest [formula in source] C7 [formula in source] net G2/G3/G4). (2) v995_ kms_ subnet_ rigidity.py ( [formula in source] ): all [formula in source] v972 mixing directions killed by KMS alone on finite [formula in source] ; covariance provably redundant; unique [formula in source] -invariant crossed-product extension [formula in source] . SEAM.STATE.RPMIXING.01 finite KMS rigidity ; type-III/continuum stays . (3) v996_ gauge_ grammar_ kill.py ( [formula in source] ): H0 structural kill — negative [formula in source] flip the stationary-root signs ( [formula in source] inverse [formula in source] , [formula in source] [formula in source] ); [formula in source] conventions [formula in source] hits; [formula in source] control [formula in source] survives all mutants; detline curvature [formula in source] exponentially with rate [formula in source] (numerical Bismut–Freed shadow). GAUGE.DETLINE.FIXPOINT.01 naive grammar excluded ; genuinely nonabelian structure required — typed; [formula in source] remains an external input; contract stays . (4) v997_ spin2_ smg_ witnesses.py ( [formula in source] ): Barnes–Rivers quadratic decomposition — [formula in source] clean (one massless TT pole, two helicities, scalaron at [formula in source] exact); the local [formula in source] Weyl [formula in source] truncation necessarily carries an opposite-residue spin-2 ghost — typed; FK SMG toy: [formula in source] unique [formula in source] -singlet ground state, Schmidt rank [formula in source] , volume-independent gap [formula in source] at [formula in source] ; [formula in source] contrast [formula in source] -degenerate; physical chiral edge keeps [formula in source] exactly. GRAV.SPIN2.EMERGENCE.01 quadratic witnesses , content pinned on the untruncated form factor; CHIRAL4D.NOMIRROR.01 SMG toy-proved , [formula in source] D [formula in source] stays ; both contracts stay . Canonical note (not a module) on FLAV.NUSCALE.05: NU_TEXTURE_CENSUS_NULL [formula in source] — frozen [formula in source] inventory provably insufficient; mechanism \ sharpened. Surfaces: tfpt_research_contracts (executed-update paragraphs at MMST/SIMPLECURRENT, RPMIXING, GAUGE.DETLINE.FIXPOINT.01, GRAV.SPIN2.EMERGENCE.01, CHIRAL4D.NOMIRROR.01, ALPHA.QUILLEN rigidity/ln-2 notes); tfpt_2 (census-null note); tfpt_4_frontier [formula in source] introduction card addendum. Exploration record: articles/2026-08-28/big_picture_simplicity_first_en.md.
- Route B — leptogenesis interface ( ).
- Research Contract — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)
- Research Contract — FLAV.NUSCALE.06 (pentagon-class misalignment candidate)
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.
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- =150 2026-08-30 (CXLIV) (review wave 6 — two exploration probes graduate as v1004– v1005 plus two registrations and display corrections: the Milnor–Frobenius–Gray finite algebra, the circularity-flagged relative pencil, the local-ring identification contract, the Weinberg–Witten spin-2 firewall, and honest rest/SM/gravity wording; suite [formula in source] , ledger [formula in source] : two new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1003). (1) v1004_ milnor_ frobenius_ gray.py ( [formula in source] ): CLASSICAL (cite, no claim) — Milnor algebra of [formula in source] dimension [formula in source] , spectral numbers [formula in source] [formula in source] exponents [formula in source] . NEW-IN-CORPUS EXACT -finite: rank clock [formula in source] table-sum [formula in source] ; [formula in source] ; self-clock iff [formula in source] ; [formula in source] unique among ordered spherical triples; Galois–Gray [formula in source] (binary Gray order [formula in source] ); CP [formula in source] socle/Frobenius; integral dual-number bridge [formula in source] free rank [formula in source] over [formula in source] , basis-dependent. INTERPRETIVE : [formula in source] . Mutants: [formula in source] [formula in source] ; [formula in source] self-clock survives but exponents fail; wrong socle rank [formula in source] . NEW ledger row SEAM.MILNOR.LOCALRING.01 : required canonical geometric/mechanical identification of the raw seam collar / [formula in source] transition bus with [formula in source] preserving dual-number action, Frobenius pairing, Gray torsor, deck action and CP (rank clock and socle-CP as outputs); kill [formula in source] second inequivalent identification or [formula in source] -equivariance failure; currently \ because Milnor algebra [formula in source] exponents are classical and the corpus map is unproven. (2) v1005_ relative_ pencil_ bridges.py ( [formula in source] ): EXACT -finite Hankel [formula in source] [formula in source] Jacobi spec [formula in source] diag [formula in source] (v106/v119) and winding spec [formula in source] [formula in source] fixed plane (v4). EXACT BUT CIRCULARITY-FLAGGED : unique [formula in source] , [formula in source] , factorisation [formula in source] , CM [formula in source] , dual number mod [formula in source] , index [formula in source] SNF [formula in source] — BUT carrier [formula in source] already sits in the column sums of [formula in source] and [formula in source] : NOT a P2 selector until [formula in source] , [formula in source] , [formula in source] are derived from seam geometry independently; AX.P2.01 typing UNCHANGED. INTERPRETIVE : Klein-four SNF [formula in source] only after [formula in source] (side-blind nulls v521, not a theorem). Mutants: [formula in source] fails; perturbed [formula in source] breaks factorisation; [formula in source] breaks Hankel. (3) registrations (no marker moves). NEW GRAV.WEINBERG.WITTEN.01 : binding firewall BEFORE any spin-2 marker move — the microscopic Hamiltonian family must NOT possess a fundamental Lorentz-covariant local conserved [formula in source] ; Lorentz, diffeomorphism Ward identities and the spin-2 mode must emerge in the SAME IR limit; acceptance [formula in source] positive TT density, two helicities, massless pole, emergent diff Ward, universal soft coupling, named evaded Weinberg–Witten premise; kill [formula in source] microscopic covariant local [formula in source] together with a massless composite spin-2 claim; child of T7, cross-link GRAV.SPIN2.EMERGENCE.01 (not back). (4) display corrections (honest wording, no claim changes). Status-at-a-glance: compiler rest [formula in source] now sits NEXT TO the strict-physical-TOE rest (ten-component [formula in source] / eight TFPT.TOE.COMPLETE.01 gates, one line). SM completeness retyped: the discrete Standard-Model structure (charges, families, flavor operators) is derived under the axioms; [formula in source] D existence, chiral measure, mirror gap, couplings and neutrino dynamics are open. Gravity display: ``parameter-free'' headlines replaced by ``the classical covariant field equation carries no free dimensionless Newton coupling under the named QFT/entanglement premises ''. Surfaces: tfpt_research_contracts (new sections MILNOR.LOCALRING, WEINBERG.WITTEN; SPIN2 firewall note; T7 child; v358/v359 keybox titles); tfpt_4_frontier wave-6 paragraph; introduction status card [formula in source] SM/gravity lines; tfpt_2 gravity heading [formula in source] conclusion; website StatusMatrix / WhatTfptClaims / ClaimStack / GravityEmergence / OpenGates / VerificationDag.Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-28 (CXL) (review wave 3 — the third external bird's-eye review adjudicated and integrated: ONE new module v993 plus THREE new \ contracts plus a v986 motivation retype plus the dual-rest formula; suite [formula in source] , ledger [formula in source] ; NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v992). (1) v993_ minimal_ defect_ selector.py ( [formula in source] ): the FULL rank-8 ADE census (SNF of Cartan) with cyclic [formula in source] glue on BOTH factors selects [formula in source] uniquely ( [formula in source] aliases collapsed) — the [formula in source] architecture of v624 is an OUTPUT of (rank 8 [formula in source] cyclic [formula in source] ), not an INPUT; kill tests [formula in source] / [formula in source] (product 16, fail cyclicity) and the [formula in source] control [formula in source] ; [formula in source] exact (lattice shadow of [formula in source] ); the [formula in source] average is the UNIQUE trace-preserving finite conditional expectation (uniqueness needs the module property; kernel dim [formula in source] without it). Ledger notes on AX.P1.01/ AX.P2.01: axiom typing UNCHANGED; the equidistribution identification stays the open \ of v813; cited-not-proved remain [formula in source] and holomorphic uniqueness of [formula in source] . SEAM.SIMPLECURRENT.GENERATOR.01 canonical status grows the [formula in source] parity-shadow line. (2) Three new research contracts, all , no scripts: GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings as unique stationary points of one nonabelian zeta-det/inflow functional; generalizes ALPHA.QUILLEN.EXACT.01; honest: [formula in source] is currently an external input); GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 pole from the same spectral determinant; Einstein equation stays downstream/conditional; GRAV.NONCIRCULAR.01 binding); FTRANSFER.SK.RHO0.01 (cosmological transfers need [formula in source] , not [formula in source] alone; typed candidate [formula in source] , [formula in source] orientation picks [formula in source] ; FTRANSFER.GENERATING.01 covers equilibrium only). (3) v986 docstring retype: the [formula in source] motivation is loose ( [formula in source] ); the operator reading is the [formula in source] eigenvalue route [formula in source] ; texture data-constrains-texture; check logic and pass/fail UNCHANGED. (4) Dual rest: introduction status card (and the research-contracts keybox, with a brief frontier mirror) now carries [formula in source] (compiler) beside [formula in source] (strict-physical-TOE accounting of the 2026-08-27/28 contract wave); nothing in the second formula is claimed closed. Exploration not promoted: the wave-3 Quillen zero-mode Gram identity is a reformulation ( [formula in source] ), not a Quillen-metric object.Research changelog; TFPT — Introduction and reading guide
- Full quantum gravity — induced from the boundary kernelFrontier and open physical interfaces
Registered verification modules
- v986_nu_scalaron_rung.pyRegistered verification module · frontier
Read the description recorded in the module registry
FLAV.NUSCALE.05 [C]/[N] Kandidat (Externe Master-Objekt-Review Welle 2, 2026-08-28): **die Skalaron-Spur-Sprosse M_R = N_fam M_scal = 3 c3^{7/2} Mbar — ein strukturierter Punkt IM v481-Fenster, 1.8 % von der 1-Loop-Anforderung** — 3 M_scal = 9.180e13 GeV vs das v481-geforderte 9.346e13 GeV (dieselbe eingefrorene 1-Loop-Inversion, y_nu = y_t [P]) — Abweichung -1.8 % (der Review sagte 'etwa 1 %'; der ehrliche Wert ist 1.8), m_3 am Kandidaten = 0.0512 eV (+1.9 %, innerhalb der >50 %-v482-RG-Enveloppe); EXAKTE Leiterposition 3 c3^{7/2} = (3 sqrt c3) c3^3 mit 3 sqrt(c3) = 3/sqrt(8 pi) = 0.598413, 0.26 % von der 3/5 der v482/v488-Geschichte — ADJAZENZ EHRLICH TYPISIERT: v488 toetete 3/5 als SO(10)-CLEBSCH; die Skalaron-Spur-Lesart ist eine ANDERE Mechanismusklasse (HONEST RETYPE Welle 3: Tr I = 3 ist locker, Spec(I)={1,1,1}; Operator-Lesart ist Q_+ Spec{1,2,3}; Textur DATA_CONSTRAINS_TEXTURE) und bleibt selbst [O]; ~20x schaerfer als die abgelehnte Ganzzahl-Sprosse c3^3 Mbar (0.019 vs 0.401 in m_3); dasselbe M_scal traegt bereits f_a = M_scal/128 (v185) — kein neues Skalenatom. KILL-TEST: Sigma m_nu (NO) = 0.059 eV; eine robuste Schranke darunter oder ein >~5 %-Shift der geforderten M_R toetet den Kandidaten. FIREWALL: y_nu = y_t bleibt [P]; KEINE Seesaw-Schliessung; der v481-Fensterkandidat und das v488-Negativ unberuehrt; kein PMNS-Claim.
- v1003_nu_structural_nulls.pyRegistered verification module · frontier
Read the description recorded in the module registry
FLAV.NU.TEXTURE.MECHANISM.01 [O] (Review-Welle 5, 2026-08-29; bindende Constraints, keine Texture): [E] geladener Sektor h=(1,1,1), d=(64,60,64); [X] Schur-Texture-NULL 8/8 (K,B) scheitern, D4-Spiegelung erzwingt lambda_1=lambda_3; gefordertes K ~ [3536.998, 1768.499, 1/3] trifft keinen von 9 Komparatoren; [E] Orientierungs-Verdopplung hebt Entartung generisch; [X] Skalen-NULL 12/12, 1-|c/a|=1.885e-4 von keiner gefrorenen Konstante. Mechanismus muss D4-ungerade sein UND ~2e-4-Cancellation liefern; reine Seam-Daten ausgeschlossen. Python-only / Wolfram-Spiegel zurueckgestellt.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.