Skip to main content

A registered result in its source context

Original ledger classification: Proven finite block identity [E]; GW/gauge reading conditional [C]; DET16 [C], NOMIRROR [O], T4 and TOE [O] unchanged.

Recorded statement: DERIVATIVE-FILTERED WALL BLOCK LEMMA (registered 2026-09-05, v1023; no parent marker move). For H_df=Delta b^dagger b+lambda(b+g D_GW p)^dagger(b+g D_GW p), every singular-value block has determinant lambda g^2 Delta s^2, preserves ker…

Statement, assumptions and sources

Paper context: Research contracts

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

CHIRAL4D.MIRROR.DFILTER.BLOCK.01

Original ledger classification: Proven finite block identity [E]; GW/gauge reading conditional [C]; DET16 [C], NOMIRROR [O], T4 and TOE [O] unchanged.

Original claim text

DERIVATIVE-FILTERED WALL BLOCK LEMMA (registered 2026-09-05, v1023; no parent marker move). For H_df=Delta b^dagger b+lambda(b+g D_GW p)^dagger(b+g D_GW p), every singular-value block has determinant lambda g^2 Delta s^2, preserves ker D_GW on the physical summand, has an adiabatically mirror-continuated high branch >=Delta+lambda and a quadratic low branch with coefficient lambda g^2 Delta/(Delta+lambda). Finite gauge covariance and SVD reduction defects are 2.41e-15 and 1.78e-15. The bare mirror variable is not invariant and has low-band weight for s>0: no bare-mirror response gap and no Weyl cone. Canonical DET16/DET32 realization, interacting parent, admissibility/quasilocality, measure/anomaly/index control, universality and 4D continuum remain open.

Original classification detail

[E-finite]/[C]: exact 2x2 singular-value block and deterministic covariance witness only. No invariant mirror-response gap, Weyl cone, many-body or 4D theorem.

Dependencies as recorded

CHIRAL4D.NOMIRROR.01; CHIRAL4D.MIRROR.DET16.01; TFPT.TOE.COMPLETE.01

Open the original ledger source, row 776

Location 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.

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.

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.

Registered verification modules

  • 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.

Search later reviewed research for this identifierRead the coverage boundaries