TFPT scientific source excerpt
Original repository path: verification/v1023_derivative_filtered_wall.py
Original file SHA-256: a6850b0acc2c2cd47579b290d02aeb8b48ba32836f4141570c6daaad8f35f69a
Inclusive original lines: 226-243
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000226 |         "infrared": infrared_lattice_certificate(),
000227 |         "rank_nullity": rank_nullity_certificate(),
000228 |         "claim_boundary": {
000229 |             "proved": [
000230 |                 "nonzero derivative-filtered physical-mirror mixing",
000231 |                 "exact preservation of ker(D_GW)",
000232 |                 "uniform separation of the mirror-continuation band by at least Delta+lambda",
000233 |                 "positive renormalised low-energy D_GW^dagger D_GW dispersion",
000234 |                 "gauge covariance when D_GW is gauge covariant",
000235 |             ],
000236 |             "not_proved": [
000237 |                 "a spectral gap in the canonical bare-mirror operator response",
000238 |                 "a linear Weyl cone (the certified infrared branch is quadratic)",
000239 |                 "a canonical DET16/DET32 realization of the mirror variable",
000240 |                 "admissibility and quasilocality for an interacting many-body parent",
000241 |                 "anomaly, index and measure control",
000242 |                 "interacting anomaly-free chiral continuum limit",
000243 |                 "Wilson universality or Lorentz restoration",