Chiral lattice matter and the mirror sector
Original ledger classification: Open (research contract; 1+1D chiral Gauss census executed; SMG mechanism toy-proved [E]; Nielsen-Ninomiya as Gauss statement; 4D Spin(10) theorem stays [O]; no 3+1D closure) | Round-3 v1023 adds an exact finite block lemma [E]/conditional GW reading [C]; NOMIRROR remains Open [O].
Recorded statement: THE CHIRAL 4D LATTICE MATTER CONTRACT [O] (registered 2026-08-27; step (4) of the firewall route ordering). The seam's c_- = 8 and Chern/inflow structure are a boundary-ANOMALY signal, not yet 4D matter. DEMAND: an explicit chiral lattice…
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
CHIRAL4D.NOMIRROR.01
Original ledger classification: Open (research contract; 1+1D chiral Gauss census executed; SMG mechanism toy-proved [E]; Nielsen-Ninomiya as Gauss statement; 4D Spin(10) theorem stays [O]; no 3+1D closure) | Round-3 v1023 adds an exact finite block lemma [E]/conditional GW reading [C]; NOMIRROR remains Open [O].
Original claim text
THE CHIRAL 4D LATTICE MATTER CONTRACT [O] (registered 2026-08-27; step (4) of the firewall route ordering). The seam's c_- = 8 and Chern/inflow structure are a boundary-ANOMALY signal, not yet 4D matter. DEMAND: an explicit chiral lattice operator (Ginsparg-Wilson/overlap type) for the TFPT representation content with proofs of (C1) a local gauge-invariant fermion measure; (C2) perturbative AND global anomaly freedom; (C3) no Witten SU(2) anomaly; (C4) no mirror generation in the physical spectrum (mirror decoupling surviving the continuum limit); (C5) correct index and charges (TFPT charge lattice, N_fam generations); (C6) a stable continuum limit compatible with QFT4D.OS.RECON.01. CALIBRATION (state of the art): Mastropietro arXiv:2303.02790 -- weakly coupled 4D U(1) with a MASSIVE gauge field; the TFPT target (chiral SU(3)xSU(2)xU(1), three generations, massless nonabelian fields, EWSB and confinement downstream) is far stronger. KILL TESTS: mirror fails to decouple (WOIT kill test 3 at lattice level); Witten anomaly obstructs the carrier SU(2); every gauge-invariant measure is provably nonlocal. CONSISTENCY (ledger wins): the celestial-branch scope fence honestly lists interacting RP, mirror decoupling, internal SU(2), both helicities, local matter fields, EWSB, confinement as NOT closed; the contradictory 'zero open internal mechanisms' phrase in docs/OPEN_PROBLEMS.md is corrected in the same change. EXECUTED UPDATE (2026-08-28, v989): chiral Gauss census on a two-species Z4 Hamiltonian (factorized 16 x 256, 4096 never materialised) -- single-exponent Gauss iff q_L = q_R; two-exponent Gauss always (lattice Dirac doubling); V^4 = I; mutant (g_L,g_R)=(1,0) on vectorlike fails. NOT the TFPT representation content and not 3+1D. Contract stays [O]. Python-only / Wolfram mirror deferred. EXECUTED UPDATE (2026-08-28, completeness wave, v997): FK SMG toy theorem -- N=8 unique Spin(7)-singlet ground state, Schmidt rank 1, volume-independent gap 14 at L=1,2,3; N=4 contrast 2^L-degenerate; physical chiral edge keeps its pi/L spectrum exactly. SMG mechanism toy-proved [E]; 4D Spin(10) theorem stays [O]. Contract stays [O]. Python-only / Wolfram mirror deferred. WAVE-5 KILL (2026-08-29, v1002): number-preserving Casimir projector route excluded -- singlet census one 16 = {N=0:1, N=16:1} (none at N=8); k=2 half-filling multiplicity 27; k=3: 1463 (exact Weyl alternation, |W(D5)|=1920); uniqueness fails at every cluster size. The DET16 number-violating projector is a SEPARATE candidate (CHIRAL4D.MIRROR.DET16.01 [C]). EXECUTED UPDATE (2026-09-05, v1023): child CHIRAL4D.MIRROR.DFILTER.BLOCK.01 proves the finite derivative-filtered 2x2 singular-value block, exact ker(D_GW) preservation and the adiabatically mirror-continuated high branch. The bare mirror variable is not invariant, the low branch is quadratic (z=2), and no bare-mirror response gap, Weyl cone, DET16/DET32 realization, interacting parent, local measure/anomaly/index control or 3+1D continuum theorem follows. Parent status stays Open [O]. ROUND-4 CURRENT: v1027 repairs canonical DET excitations under the singlet premise and preserves signed z=1 dispersion for fixed c-number gauge fields. It changes flatDeltaQ to additiveDeltaNa. No hard bare-mirror gap, quantum-link CAR diagonalization, chiral SM or continuum closure; [O] unchanged.
Original classification detail
Open: explicit GW/overlap chiral lattice operator for the TFPT content. EXECUTED (v989): 1+1D Gauss census (single-exponent iff vectorlike; two-exponent always). No 3+1D closure. EXECUTED (v997): SMG mechanism toy-proved [E] (N=8 unique Spin(7) singlet, gap 14 volume-independent; N=4 2^L contrast; physical edge pi/L exact). 4D Spin(10) theorem stays [O]. No 3+1D closure. WAVE-5 (2026-08-29, v1002): number-preserving Casimir projector route excluded (census N=8:0, k=2:27, k=3:1463, |W(D5)|=1920). Display unmoved Open. | ROUND3 2026-09-05: finite derivative-filtered block only; no invariant mirror-response gap, Weyl cone, many-body realization or 4D closure. Display stays [O]. | ROUND-4 CURRENT: v1027 repairs canonical DET excitations under the singlet premise and preserves signed z=1 dispersion for fixed c-number gauge fields. It changes flatDeltaQ to additiveDeltaNa. No hard bare-mirror gap, quantum-link CAR diagonalization, chiral SM or continuum closure; [O] unchanged.
Dependencies as recorded
DIMENSION.UPLIFT.FIREWALL.01; QFT4D.OS.RECON.01; WOIT.OS.TWISTOR.01 (kill test 3)
Open the original ledger source, row 746Location 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-08-27 (CXXXI) (the external deep-review round — dimension / dynamics / gravity firewalls and the 4D construction ladder: the review diagnosis ``chiral [formula in source] D seam net [formula in source] local, interacting [formula in source] D quantum world'' is implemented as eight new contract IDs in tfpt_research_contracts plus one new load-bearing module. (1) DIMENSION.UPLIFT.FIREWALL.01 (standing rule, in force): no [formula in source] D theorem closes a [formula in source] D claim; every contract closure states the spacetime dimension of hypotheses AND conclusion; audit census recorded (SEAM.EQUIV.01 is [formula in source] D in and out — even fully proved it is a boundary building block, not the 4D theory; the v957 kinematic uplift does not close it; the anomaly-inflow bulk is invertible/topological, never to be silently equated with physical spacetime); the realistic route ordering (seam as boundary module [formula in source] genuine 4D Euclidean lattice [formula in source] OS package [formula in source] chirality/no-mirror [formula in source] only then BW/CHM [formula in source] entanglement gravity [formula in source] bulk–seam equivalence) is registered as the programme skeleton. (2) SEAM.BULK4D.RECON.01 : the previously implicit seam [formula in source] bulk theorem made explicit (4D local algebras/Schwinger functions; locality/microlocality, Poincar\'e covariance [formula in source] spectrum condition, spin-statistics [formula in source] CPT, both helicities, clustering, nontrivial S-matrix, unique operator dictionary). (3) the dynamics split DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (``three meanings of dynamics'': relaxation [formula in source] / dissipative semigroup [formula in source] / unitary [formula in source] ): the finite kernel half of MARKOV.EMBED is executed \ as v971_markov_embedding_generator.py ( [formula in source] , sympy-exact) — [formula in source] of the v221 seam kernel is an EXACT classical Markov generator: [formula in source] by spectral calculus, row sums symbolically zero, off-diagonals exactly [formula in source] (the reviewer's independently verified numbers), uniformization certificate [formula in source] entrywise [formula in source] [formula in source] positivity-preserving doubly stochastic for all [formula in source] , [formula in source] (gap [formula in source] ), negative control: second eigenvalue [formula in source] gives [formula in source] — provably NOT embeddable; the field level and the local size-consistent unitary dilation (Stinespring [formula in source] Lieb–Robinson [formula in source] OS continuation) stay ; binding precision: the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). (4) QFT4D.OS.RECON.01 \ (the genuine 4D Euclidean lattice OS package) with the binding phrasing rule: the v381 all-orders leg is a local perturbative construction under the stated EG/BRST hypotheses (Duch weak adiabatic limit cited, hypotheses unverified for the concrete model; no confinement / mass gap / asymptotic charged states / nonperturbative Higgs vacuum / full S-matrix follows) — tfpt_2 and tfpt_5 phrasing restricted accordingly. (5) CHIRAL4D.NOMIRROR.01 \ (explicit GW/overlap chiral lattice operator; local gauge-invariant measure, perturbative [formula in source] global anomaly freedom, no Witten [formula in source] anomaly, no mirrors, correct index/charges, stable continuum limit; Mastropietro arXiv:2303.02790 as calibration). (6) GRAV.NONCIRCULAR.01 (standing rule, in force): BW is a theorem WITHIN a local Poincar\'e-covariant QFT (Mund/Morinelli counterexample landscape cited), never a generator of Lorentz spacetime from a modular flow; every BW/CHM use declares assumption-vs-result; audit census: the entanglement-equilibrium Einstein derivation (v323/v358/v359) is typed ASSUMPTION (conditional on the 4D package, never citable as evidence for it), QG.AMB.01 correctly declared, the seam KMS [formula in source] chain dimension-typed, the intrinsic-BW programme the honest result-direction attempt. (7) OBS.TRANSDUCTION.01: the transduction principle (internal eigenvalue [formula in source] nonvanishing projection [formula in source] [formula in source] physical coupling [formula in source] observable signature; without the middle arrow neither non-observation falsifies nor observation confirms; minimal model machine-checked at exploration level in fo01, uniform functional blind to [formula in source] , character channel recovers [formula in source] to [formula in source] ; the ACT [formula in source] Planck birefringence proximity typed coincidence-level pending the shared-action proof). (8) PRED.JOINTLIKELIHOOD.01 : evidence reorganized from hit-counting into overdetermined relation bundles (flavor sum rule; [formula in source] , [formula in source] ; one normalized axion action; character-resolved transfer) with the statistical demand (joint likelihood, atom-induced covariance, effective dof, prespecified null [formula in source] formula grammar, real holdout); the v100 ``13/13, [formula in source] '' statement retyped as a look-elsewhere quantifier under its declared null — the 2026-06-09 freeze protects FUTURE measurements, it does not retroactively make historically known data blind. Docs corrected in the same change: docs/OPEN_PROBLEMS.md (the Einstein-derivation overstatement rewritten to the conditional Jacobson-route typing with the explicit does-NOT-follow list; ``zero open internal mechanisms'' fixed to match the contract scope fence — ledger wins; the all-orders phrasing restricted) and docs/FALSIFICATION.md (the null-model section retitled and rescoped, freeze and kill tests unchanged). Ledger [formula in source] rows; suite [formula in source] modules; bash build.sh audit and the manifest regeneration are the joint exit gate)Research changelog; TFPT — Introduction and reading guide
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)tfpt research contracts
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)tfpt research contracts
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)tfpt research contracts
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)tfpt research contracts
- Research Contract — SEAM.DETLINE.UNIFICATION.01 (the determinant-line unification hypothesis)tfpt research contracts
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
All 27 linked sections
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- =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 Contract — CHIRAL4D.MIRROR.DET16.01 (DET16 rank-one projector, finite cluster)
- =150 2026-08-30 (CXLV) (review wave 7 — four exploration strands graduate as v1006– v1009: the MMST lemma battery, the DET16 stability battery, the [formula in source] D master-object assembly scaffold, and the [formula in source] constrained minimizer; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1005). (1) v1006_ mmst_ lemma_ battery.py ( [formula in source] ): five lemmas in-house on SEAM.MMST.TYPEIII.CHARGED.01 \ — L3 crossed-product; UGF [formula in source] (measured plateau [formula in source] , max measured [formula in source] [formula in source] at [formula in source] ); TEL-a [formula in source] with exact isometries ( [formula in source] , measured envelope [formula in source] ); integer D5+A3 pairings; [formula in source] outerness in the limit [formula in source] finite-inner correction. Residual boxed: TEL-B-EXTERNAL (Hankel [formula in source] ; HS remainder sourced from the paper max [formula in source] / fit [formula in source] / v998 bound [formula in source] , not recomputed) [formula in source] ALG-EXH (two Buchholz–Verch estimates). Display stays . Cited articles/2026-08-30/mmst_charged_scaling_limit_en.tex ( [formula in source] pp) [formula in source] externalization_mmst_handoff_v2_en.html. (2) v1007_ det16_ stability_ battery.py ( [formula in source] ): T1/T2 proved (v1002); T3 Michalakis–Zwolak cited-verified (LTQO, [formula in source] , gap [formula in source] ). Counting line [formula in source] ; [formula in source] closing scan through [formula in source] ; dynamical [formula in source] uniquely gapped (full-probe min [formula in source] pinned; compressed suite). SW [formula in source] ; [formula in source] bounded. [formula in source] boxed (ordinary hopping not block-diagonal); BDL boxed (no volume-uniform gap remainder). CHIRAL4D.MIRROR.DET16.01 stays ; CHIRAL4D.NOMIRROR.01 unmoved. Cited articles/2026-08-30/det16_mirror_gap_theorem_en.tex. (3) v1008_ master_ assembly_ scaffold.py ( [formula in source] ): [formula in source] D master-object scaffold-coherent — combinatorial [formula in source] ; frozen-link [formula in source] , [formula in source] ; unique-contractive [formula in source] ; QWZ wall slope [formula in source] , DET gap [formula in source] through [formula in source] ; assembly [formula in source] [formula in source] , clock [formula in source] . [formula in source] spaces [formula in source] / [formula in source] out of suite. Decision QFT4D.LATTICE.FUNDAMENTAL.01 and GAUGE.DETLINE.FIXPOINT.01 \ unmoved. (4) v1009_ rho0_ minimizer.py ( [formula in source] ): finite uniqueness of the KMS compression (Klein); Hessian strictly positive; centre dim [formula in source] ; identity [formula in source] . TYPED: V1000_CONSEQUENCE_MISMATCH (compression kills the SK response vs frozen contrast [formula in source] ) [formula in source] CENTER_FLATNESS_PREMISE_FALSE. Canonical formula needs a weaker admissible set. FTRANSFER.SK.RHO0.01 stays . Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier wave-7 paragraph; introduction status card; website papers.ts / VerificationDag.
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- Research Contract — CHIRAL4D.MIRROR.DET16.01 (DET16 rank-one projector, finite cluster)
- Front matter / support
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)
- =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.
- Research Contract — SEAM.DETLINE.UNIFICATION.01 (the determinant-line unification hypothesis)
- Research Contract — SEAM.DETLINE.UNIFICATION.01 (the determinant-line unification hypothesis)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- Full quantum gravity — induced from the boundary kernel
- Research Contract — CHIRAL4D.MIRROR.DET16.01 (DET16 rank-one projector, finite cluster)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
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.
- =150 2026-09-05 (CLVII) (non-RH T1–T8 Round 3 graduates as v1022– v1025; suite [formula in source] , ledger rows [formula in source] through six narrow subcontracts; [formula in source] module checks; NO marker move; TFPT.TOE.COMPLETE.01 and every T1–T8 gate remain ). v1022_ telb_ round3_ certificates.py ( [formula in source] ; native python-flint==0.9.0, 256-bit Arb/Acb) replaces the float/Richardson TEL-B input by 5812 rational cells and the exact cut jump, proving [formula in source] and [formula in source] . Together with the stated analytic digamma/midpoint lemmas, its executable Arb arithmetic gives [formula in source] , [formula in source] and [formula in source] ; full C2b remains open exactly at CF [formula in source] and DG [formula in source] . Its exact one-mode [formula in source] countermodel refutes the former ALG2 Vandermonde-to-generated-algebra implication: FE-GEN or an exact gauge/code-projected microscopic-algebra theorem is still required, and ALG1 remains conditional on the generated projection. v1025_ telb_ c1_ c2a_ certificates.py ( [formula in source] ; native 100-bit Arb/Acb) executes the existing analytic C1/C2a proofs: [formula in source] and [formula in source] for every even [formula in source] . v1023_ derivative_ filtered_ wall.py ( [formula in source] ) proves only the finite quasi-free singular-value block: the high continuation branch is separated, but the bare [formula in source] subspace is not invariant, the low branch has [formula in source] rather than a Weyl cone, and no DET16/DET32, interacting-parent, measure/anomaly/index or [formula in source] D theorem follows. v1024_ parent_ internal_ boundaries.py ( [formula in source] ) supplies finite parent-internal T6–T8 witnesses and no-gos: a positive seam/neutrino-pair intertwiner with projective full-Fock [formula in source] lift but no mass texture; the uniform-gap and direct-TT locality obstructions but no graviton; and a gapped internal [formula in source] cap that is chosen, [formula in source] -breaking and complement-trivial, hence no global [formula in source] . T1 retains only finite axiom-core/W-bridge support while unconditional provenance and the dimension selector remain open; T3 remains at Hamiltonian-class level; T5 retains finite IR witnesses and the v1020 spectator obstruction while prime completion, OS reconstruction, confinement and scattering remain open. The common missing object is still one shared [formula in source] D parent satisfying T3–T8. Native-only handling is explicit in the website reproducer; v1022/v1025 are not represented as Pyodide certificates. NO RH CLAIM. Surfaces: tfpt_research_contracts, tfpt_4_frontier, introduction, tfpt_2_standard_model, the MMST article/PDF, ledger, generated verification maps/index, website paper/DAG/gap/FAQ mirrors and changelog.Research changelog; TFPT — Introduction and reading guide
- Numeric twindet16 mirror gap theorem en
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)tfpt research contracts
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)tfpt research contracts
- Source contract and nomenclature.tfpt research contracts; tfpt research contracts; Research contracts
- Round 7: the actual DET parent, its exact factorized gap, and the local-defect obstructiontfpt research contracts; tfpt research contracts; Research contracts
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)Research contracts
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)Research contracts
All 16 linked sections
- The hard reduction: the live residual as typed interfaces
- One DET16 cluster
- =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 Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)
- Ambient tensor-product algebra
- Ambient tensor-product algebra
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)
- 2026-10-18: Project separation and retained physics history
Registered verification modules
- v989_lattice_gate_battery.pyRegistered verification module · frontier
- v997_spin2_smg_witnesses.pyRegistered verification module · frontier
Read the description recorded in the module registry
GRAV.SPIN2.EMERGENCE.01 [O-Update: quadratische Zeugen [E]; Inhalt auf untrunkierter Formfunktion gepinnt] + CHIRAL4D.NOMIRROR.01 [O-Update: SMG-Mechanismus toy-bewiesen [E]; 4D-Spin(10)-Theorem bleibt [O]] (Vollstaendigkeits-Welle 2026-08-28): exakte Barnes-Rivers-Zerlegung -- R+R^2 sauber (ein masseloser TT-Pol, zwei Helizitaeten, Skalaron bei M_scal exakt); lokale a4-Weyl^2-Trunkierung traegt ZWINGEND einen Spin-2-Ghost (Gegenresiduum) -- typisiert. FK-SMG-Toy: N=8 eindeutiger Spin(7)-Singulett-Grundzustand, Schmidt-Rang 1, volumenunabhaengiges Gap 14 bei L=1,2,3; N=4-Kontrast 2^L-entartet; physische chirale Kante behaelt pi/L-Spektrum exakt. Python-only / Wolfram-Spiegel zurueckgestellt.
- v1002_spin10_mirror_projector.pyRegistered verification module · frontier
Read the description recorded in the module registry
CHIRAL4D.MIRROR.DET16.01 Kandidat [C] (Review-Welle 5, 2026-08-29; genaues endliches-Cluster-Gapping; offen: dynamische Eichfelder, Domain-Wall-Geometrie, 4D-Volumentheorem): DET16 Rang-1-Projektor auf 2^16, Omega^dag Omega=P_16, P_phi hermitesch idempotent 2.8e-18, h_mir {0^1, 1^65535} Gap 1, 45 so(10)-Kommutatoren 0; Hopping-Stabilitaet Gap 0.90/0.86 bei t=0.2; Casimir-Route AUSGESCHLOSSEN (Zensus N=8:0, k=2:27, k=3:1463, |W(D5)|=1920). Python-only / Wolfram-Spiegel zurueckgestellt.
- v1023_derivative_filtered_wall.pyRegistered verification module · frontier
Read the description recorded in the module registry
Ableitungsgefilterter Wall-Block (2026-09-05): H_df erhaelt ker(D_GW) exakt; det Block=lambda g^2 Delta s^2; das adiabatisch spiegel-kontinuierte hohe Band liegt >=Delta+lambda; der niedrige Ast ist quadratisch. Der nackte Spiegeloperator ist nicht invariant und hat fuer s>0 Niedrigbandgewicht -- kein Spiegel-Antwortgap und kein Weyl-Kegel. Gauge-Defekt 2.41e-15, Spektraldefekt 1.78e-15. Endliches quasi-freies Blocklemma; kanonische DET16/DET32-Realisierung, Vielteilchenparent, Zulässigkeit/Quasilokalitaet, Mass/Anomalie/Index, Universalitaet und 4D-Limes bleiben offen. Keine Markerbewegung. KEIN RH-CLAIM.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.