A registered result in its source context
Original ledger classification: Open (research contract; both structural nulls are binding constraints; NUSCALE.05/.06 unmoved) | Round-3 v1024 provides a finite parent-internal witness [E/N]; the physical texture/scale remains Open [O].
Recorded statement: THE NEUTRINO-TEXTURE MECHANISM CONTRACT [O] (registered 2026-08-29, review wave 5, v1003). Both structural nulls are BINDING CONSTRAINTS. [E] charged-sector data h=(1,1,1), d=(64,60,64) (coset min norms all 2). [X] Schur-texture NULL: all…
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
FLAV.NU.TEXTURE.MECHANISM.01
Original ledger classification: Open (research contract; both structural nulls are binding constraints; NUSCALE.05/.06 unmoved) | Round-3 v1024 provides a finite parent-internal witness [E/N]; the physical texture/scale remains Open [O].
Original claim text
THE NEUTRINO-TEXTURE MECHANISM CONTRACT [O] (registered 2026-08-29, review wave 5, v1003). Both structural nulls are BINDING CONSTRAINTS. [E] charged-sector data h=(1,1,1), d=(64,60,64) (coset min norms all 2). [X] Schur-texture NULL: all 8 preregistered (K,B) combinations fail; D4 reflection forces lambda_1=lambda_3; hierarchy (eps, 2eps, 3) structurally unreachable from D4-even seam data; required K spectrum [3536.998, 1768.499, 1/3] matches none of 9 comparators. [E] orientation-doubling structure theorem: the sgn-J odd sector generically lifts the degeneracy (exact rational witness). [X] scale NULL: 12 declared trials all fail; required cancellation 1-|c/a|=1.885e-4 not supplied by any frozen constant; eta-branches isospectral. CONSEQUENCE: the mechanism must be D4-odd AND supply a ~2e-4 even-odd cancellation; pure seam data excluded [X-typed]. Does NOT close FLAV.NUSCALE.05/.06; no seesaw closure. Status: Open [O]. EVENING (2026-08-30, v1012): kappa six-fold NULL completes the scaffold bound -- six pre-declared D4-odd candidates, all parity-checked, all NULL (five at 1e-14; K4 = 3.55e-3 is 18.8x too large). The 1.885e-4 cancellation scale requires the true 4D functional. Mechanism scale strictly beyond frozen finite objects. Display stays [O]. EXECUTED UPDATE (2026-09-05, v1024): FLAV.NU.PARENT.INTERTWINER.01 constructs a positive, even, gauge-neutral non-additive finite parent-internal A3-D4 coupling with conditional gap 0.25 and mixed resolvent 0.104712041885. Ordinary D4 acts only on the selected pair operators; the full Fock lift is projective, with C_f^8=1, C_f^4=(-1)^(N1+N3) != (-1)^F and J_f C_f J_f=(-1)^F C_f^-1. It supplies no neutrino mass matrix or 2e-4 cancellation and is not a 4D functional. Parent status stays Open [O]. ROUND-4 CURRENT: v1028 exactly counts full Gauss dimensions and constructs a D4-symmetric cap only on the selected even pair subspace. The invariant-vector space is2D; the actual symmetric fermion lift forbids all Majorana bilinears. No mass texture; [O] unchanged.
Original classification detail
Open [O] (v1003): mechanism must be D4-odd AND supply a ~2e-4 even-odd cancellation; pure seam data excluded [X-typed]. NUSCALE.05/.06 unmoved; no seesaw closure. | EVENING (2026-08-30 v1012): kappa null completes the scaffold bound: mechanism scale strictly beyond frozen finite objects -- 4D functional required. Display stays [O]. | ROUND3 2026-09-05: finite intertwiner only; projective full-Fock boundary explicit; no neutrino mass texture. Display stays [O]. | ROUND-4 CURRENT: v1028 exactly counts full Gauss dimensions and constructs a D4-symmetric cap only on the selected even pair subspace. The invariant-vector space is2D; the actual symmetric fermion lift forbids all Majorana bilinears. No mass texture; [O] unchanged.
Dependencies as recorded
FLAV.NUSCALE.05; FLAV.NUSCALE.06
Open the original ledger source, row 768Location 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
- 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 — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)tfpt research contracts
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)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
- NeutrinosStandard Model and flavor structure
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- =150 2026-08-30 (CXLVII) (evening TOE-gate wave — four executed witnesses graduate as v1012; 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–v1011). v1012_ toe_ gate_ witnesses.py ( [formula in source] ): T5 IR universality on the physical QWZ edge — [formula in source] (limit [formula in source] ), clustering dichotomy [formula in source] vs power-law exponent [formula in source] , Lieb–Robinson cone [formula in source] with leakage [formula in source] , cubic curvature [formula in source] with volume; TYPED SPLIT: gauge holonomy [formula in source] seam clock are not propagating modes, so the common- [formula in source] test needs dynamical gauge excitations. T8 [formula in source] eight-candidate table ALL unique; hard sectors kill the SK response ( [formula in source] ); every response-alive set is exactly [formula in source] even without [formula in source] — entropic-proximity selection is VACUOUS at finite level; verdict NO_SET_WORKS with the double diagnosis; binding requirement [formula in source] a non-entropic principle (Euclidean-cap / orientation-branch). T6 [formula in source] six-fold NULL: six pre-declared D4-odd candidates, all parity-checked, all NULL (five at [formula in source] ; [formula in source] is [formula in source] too large); the [formula in source] cancellation requires the true [formula in source] D functional — third and final scaffold-level nu-mechanism bound this week. T7 interacting TT: conserved interaction-complete lattice stress [formula in source] , TT spectral positivity exact, sum rules [formula in source] , dominant positive- [formula in source] pole persists under [formula in source] (gapped); [formula in source] trend [formula in source] suppressed [formula in source] / [formula in source] enhanced [formula in source] ; free analytic match. Missing: TFPT content, [formula in source] volume scaling, Ward identities. Ledger notes only on TFPT.TOE.COMPLETE.01, FTRANSFER.SK.RHO0.01, FLAV.NU.TEXTURE.MECHANISM.01, GRAV.SPIN2.EMERGENCE.01 (all stay ). Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier [formula in source] introduction evening-wave note; website papers.ts / VerificationDag.Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
All 13 linked sections
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Contract — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Contract — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)
- Full quantum gravity — induced from the boundary kernel
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.
- 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 — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)tfpt research contracts
- Source contract and nomenclature.tfpt research contracts; tfpt research contracts; Research contracts
- =150 2026-08-30 (CXLVIII) (late-evening harvest — thermodynamic-dynamics theorem [formula in source] detline/W-bridge refinements graduate as v1013– v1014; 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–v1012, engine still DEFERRED_NO_ENGINE). (1) v1013_ thermodynamic_ dynamics.py ( [formula in source] ): the mandatory-dynamics leg of QFT4D.LATTICE.FUNDAMENTAL.01 is CLOSED at Hamiltonian-class level. Cited articles/ 2026-08-30/ tfpt_ thermodynamic_ dynamics_ en.tex/ .pdf: uniform Lieb–Robinson bound [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] ; norm-convergent [formula in source] ; gauge-invariant quasilocal [formula in source] (Gauss caveat resolved on the invariant subalgebra); existence of ground and [formula in source] -KMS states. Numeric twin: measured [formula in source] proved bound; analytic finite-volume bound dominates nested differences at buffers [formula in source] ; [formula in source] mutant ratio [formula in source] ; Gauss-positive control commutes, violating embedding has commutator norm [formula in source] . Remaining: phase uniqueness, limit gap, IR universality. Decision typing UNCHANGED. (2) v1014_ bridge_ refinements.py ( [formula in source] ): finite detline restriction isomorphism VERIFIED ( [formula in source] constancy [formula in source] , conjugation covariance exact, [formula in source] / mirror [formula in source] ); orientation fixes only the conjugate branch ( [formula in source] ); the residual constant [formula in source] is the [formula in source] reference normalization — recorded on ALPHA.QUILLEN.EXACT.01. W-bridge: P-anch DERIVED ( [formula in source] via the winding lock); P-dem PARTIAL (the [formula in source] average annihilates the nontrivial character space); missing object [formula in source] the character-blind determinant-response map — the same MMST/Quillen externalized leg as TEL-B/ALG-EXH/P1. AX.P2.01 stays an axiom. Convergence: every remaining axiom-core and continuum gap now runs through ONE externalized theorem. Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier [formula in source] introduction late-evening note; website papers.ts / VerificationDag.Research changelog; TFPT — Introduction and reading guide
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)Research contracts
- =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
Registered verification modules
- 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.
- v1012_toe_gate_witnesses.pyRegistered verification module · frontier
Read the description recorded in the module registry
Abend-TOE-Gatter-Welle (2026-08-30): T5 IR-Zeugen + getypter SPLIT (physikalisches c->1, xi*gap~1.089 vs Power 2.034, v_LR=5/3, Kruemmung->1/6; Holonomie+Uhr keine propagierenden Moden). T8 rho0 8-Kandidaten NO_SET_WORKS (harte Sektoren antworttot; KMS-affine Mengen selektionsvakuoes). T6 kappa sechsfach NULL (K4 18.8x zu gross; 4D-Funktional noetig). T7 wechselwirkendes TT (Erhaltung/Positivitaet/Summenregeln/Z-Persistenz; gelueckt). FIREWALL: TFPT.TOE.COMPLETE.01 / FTRANSFER.SK.RHO0.01 / FLAV.NU.TEXTURE.MECHANISM.01 / GRAV.SPIN2.EMERGENCE.01 bleiben [O]. Python-only / Wolfram zurueckgestellt.
- v1024_parent_internal_boundaries.pyRegistered verification module · frontier
Read the description recorded in the module registry
Parent-interne T6--T8-Grenzen (2026-09-05): endlicher A3--D4 Seam/Neutrinopaar-Intertwiner ohne neuen Faktor; positiv, gerade, gauge-kompatibel, nichtadditiv, lokaler Gap 0.25 konditional auf ererbte volle Parent-Schranke, gemischte Resolvente 0.104712041885. Interner 12D-Z5-Cap Gap 0.197423715893, aber beliebig, D4-brechend und kein globales rho0. Exakte Grenzen: projektiver Full-Fock-D4-Lift; relativer Kommutant bei unitaler Erweiterung; volles Z5-Weylpaar verlangt 5|D nur unprojiziert; uniformer voller Gap schliesst masselosen Spin-2-Pol aus; TT-Projektion nicht endlichreichweitig. 49/49; T6--T8/TOE [O] unbewegt. KEIN RH-CLAIM.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.