The finite mirror projector candidate
Original ledger classification: Candidate [C] (exact finite-cluster gapping; open: dynamical gauge fields, domain-wall geometry, 4D volume theorem) | Round-3 v1023 is a separate finite block lemma and does not upgrade DET16.
Recorded statement: THE DET16 RANK-ONE MIRROR PROJECTOR CANDIDATE (registered 2026-08-29, review wave 5, v1002). Candidate [C]: exact finite-cluster gapping mechanism on the full 2^16 chiral Spin(10) Fock space. [E-finite] Omega^dag Omega = P_16, Omega…
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
CHIRAL4D.MIRROR.DET16.01
Original ledger classification: Candidate [C] (exact finite-cluster gapping; open: dynamical gauge fields, domain-wall geometry, 4D volume theorem) | Round-3 v1023 is a separate finite block lemma and does not upgrade DET16.
Original claim text
THE DET16 RANK-ONE MIRROR PROJECTOR CANDIDATE (registered 2026-08-29, review wave 5, v1002). Candidate [C]: exact finite-cluster gapping mechanism on the full 2^16 chiral Spin(10) Fock space. [E-finite] Omega^dag Omega = P_16, Omega Omega^dag = P_0, defect 0; P_phi hermitian idempotent (2.8e-18), rank 1; h_mir spectrum {0^1, 1^65535}, gap exactly 1; all 45 so(10) Fock commutators = 0 (det rho_16 = 1); parity commutator 0; |0> and |F> singlets. [N] hopping stability on the 4-mode analogue: gap 0.90 (2 clusters) / 0.86 (3 clusters) at t = 0.2; spectators untouched. OPEN: dynamical gauge fields, domain-wall geometry, 4D volume theorem. The number-preserving Casimir projector route is a SEPARATE kill recorded on CHIRAL4D.NOMIRROR.01 (not this candidate). Display Candidate [C]; no upgrade of NOMIRROR. EXECUTED UPDATE (2026-08-30, review wave 7, v1007): T1/T2 proved; T3 Michalakis-Zwolak cited-verified (LTQO, t*>0, gap>=1/2). [N] counting line n=2,3; n=2 closing scan through t=4 (no closing); dynamical Z2/Z4 uniquely gapped (full-probe min 0.728854416 pinned; compressed grid coarser). SW 1-alpha t^2 + O(t^4); c_geo/L bounded. 1/192 remains the uncertified counting threshold (ordinary hopping fails the relative-form block hypothesis). BDL supplies no volume-uniform gap remainder (boxed). Display stays Candidate [C]; NOMIRROR unmoved. MONDAY MORNING (2026-08-31, v1016): Froehlich-Pizzo hypotheses cited-verified for Z2/Z4 DET open chains -- volume-uniform spectral gap >= Delta/2 in the parametric window tau_FP (a=0.0233, a/16=0.00146). Dynamical-link leg closed at that finite-group level. Remaining: rotor links, wall mixing, 3+1D placement. Display stays Candidate [C]. EXECUTED UPDATE (2026-09-05, v1023): the separate derivative-filtered wall block preserves ker(D_GW) in a finite quasi-free singular-value model, but it does not realize the DET16/DET32 interaction. The bare mirror response is not gapped and the low branch is quadratic. DET16 remains Candidate [C]; NOMIRROR/T4 remain Open [O].
Original classification detail
Candidate [C] (v1002/v1007): T1/T2 proved; T3 MZ cited-verified (t*>0, gap>=1/2); dynamical [N] + boxed BDL/1/192. Open: compact-group dynamical links, domain-wall geometry, 4D volume theorem. No marker upgrade of NOMIRROR. WAVE-7 2026-08-30. | MONDAY MORNING (2026-08-31 v1016): DFP volume-uniform gap cited-verified for finite-group open chains; dynamical-link leg closed at that level; remaining rotor/wall/3+1D. Display stays [C]. | ROUND3 2026-09-05: derivative-filtered witness is not a DET16/DET32 realization and supplies no 4D theorem. Candidate stays [C].
Dependencies as recorded
CHIRAL4D.NOMIRROR.01; DIMENSION.UPLIFT.FIREWALL.01
Open the original ledger source, row 766Location 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
- 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.
- 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
- =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
- Research Contract — CHIRAL4D.MIRROR.DET16.01 (DET16 rank-one projector, finite cluster)tfpt research contracts
- =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 changelog; TFPT — Introduction and reading guide
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)Research contracts
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Research Contract — CHIRAL4D.MIRROR.DET16.01 (DET16 rank-one projector, finite cluster)tfpt research contracts
All 16 linked sections
- =150 2026-08-31 (CXLIX) (Monday-morning harvest — axiom-core closure [formula in source] state/gap batteries graduate as v1015– v1016; 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–v1014, engine still DEFERRED_NO_ENGINE). (1) v1015_ axiom_ core_ closure.py ( [formula in source] ): character-blind P-dem response DERIVED — [formula in source] exactly at collar sizes [formula in source] and [formula in source] , democracy residual [formula in source] ; mutants split [formula in source] and [formula in source] . Together with P-anch (v1014) BOTH W-bridge premises are derived at finite level; the axiom-core remainder is ZERO modulo the externalized MMST identification. AX.P2.01 stays an axiom (finite shadows; continuum identification is the same external leg). T1 note on TFPT.TOE.COMPLETE.01: the structure-postulate route is now fully premise-supported at finite level. (2) v1016_ state_ gap_ batteries.py ( [formula in source] ): [formula in source] seam-modular cap is the unique finite-level non-entropic selector ( [formula in source] , SK RMS [formula in source] , [formula in source] saddle preserved; finite-proxy caveat; FTRANSFER.SK.RHO0.01 stays ). TEL-B certified-tail BLOCKED ( [formula in source] [formula in source] , UV-supported remainder); strictly smaller external target [formula in source] with factor- [formula in source] measured headroom; [formula in source] -uniform CAR nuclearity PROVED ( [formula in source] ) as ALG specialist input; ALG-EXH unchanged ( SEAM.MMST.TYPEIII.CHARGED.01 stays ). DFP volume-uniform gap cited-verified for [formula in source] open chains ( [formula in source] , [formula in source] ); dynamical-link leg closed at that level; remaining rotor/wall/ [formula in source] D ( CHIRAL4D.MIRROR.DET16.01 stays ). Surfaces: tfpt_research_contracts executed-update paragraphs (five items [formula in source] L1 nuclearity note); tfpt_4_frontier [formula in source] introduction Monday-morning note; MMST handoff HTML update-2026-08-31 block; website papers.ts / VerificationDag.
- 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)
- Exact spectator statement
- 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)
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.
- Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)tfpt research contracts
- Research Contract — FTRANSFER.SK.RHO0.01 (Schwinger–Keldysh completion: cosmological transfers need [formula in source] )Research contracts
- Research Contract — FTRANSFER.SK.RHO0.01 (Schwinger–Keldysh completion: cosmological transfers need [formula in source] )tfpt research contracts
- =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
- Research Contract — SEAM.MMST.TYPEIII.CHARGED.01 (one scaling-limit theorem)tfpt research contracts
- Numeric twindet16 mirror gap theorem en
- 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
All 17 linked sections
- One DET16 cluster
- 2026-09-05 (CLVIII): non-RH round 4 — uniform TEL-B norm and explicit T1–T8 boundaries
- Ambient tensor-product algebra
- Research Contract — SEAM.MMST.TYPEIII.CHARGED.01 (one scaling-limit theorem)
- Research Contract — FTRANSFER.SK.RHO0.01 (Schwinger–Keldysh completion: cosmological transfers need [formula in source] )
- Ambient tensor-product algebra
- Research Contract — SEAM.MMST.TYPEIII.CHARGED.01 (one scaling-limit theorem)
- Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)
- Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)
Registered verification modules
- 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.
- v1007_det16_stability_battery.pyRegistered verification module · frontier
Read the description recorded in the module registry
CHIRAL4D.MIRROR.DET16.01 Kandidat [C] (Review-Welle 7, 2026-08-30): T1/T2 bewiesen (v1002); T3 Michalakis-Zwolak zitiert-verifiziert (LTQO, t*>0, Gap>=1/2). [N] Zaehlgerade n=2,3; n=2-Scan bis t=4; dynamische Z2/Z4 eindeutig gelueckt (Vollsonden-Min 0.728854416); SW 1-alpha t^2 + O(t^4); c_geo/L beschraenkt. [X] gewoehnliches Hopping nicht blockdiagonal, daher 1/192 boxed; BDL liefert keinen volumen-uniformen Gap-Rest. Bleibt [C]. Python-only / Wolfram-Spiegel zurueckgestellt.
- v1016_state_gap_batteries.pyRegistered verification module · frontier
Read the description recorded in the module registry
Zustands-/Luecken-Batterien (Montagmorgen 2026-08-31): R4 Naht-Modular-Kappe einzigartiger endlicher nicht-entropischer Selektor (D_tr 0.1434, SK-RMS 3.038e-3, Sattel erhalten; Finite-Proxy-Caveat). TEL-B zertifizierter Schwanz BLOCKIERT (N^2 D_N 530->19032); skalares dyadisches A_R<43 mit Faktor-350-Headroom; N-uniforme CAR-Nuklearitaet bewiesen (C_beta 67.97/29.73/12.15); ALG-EXH unveraendert. DFP volumenuniforme Luecke zitiert-verifiziert fuer Z2/Z4-offene Ketten (a=0.0233, a/16=0.00146); Rest Rotor/Wand/3+1D. FTRANSFER.SK.RHO0.01 [O] / SEAM.MMST.TYPEIII.CHARGED.01 [O] / CHIRAL4D.MIRROR.DET16.01 [C] unbewegt. Python-only / Wolfram 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.