TFPT scientific source excerpt
Original repository path: verification/v1007_det16_stability_battery.py
Original file SHA-256: feaf81bb4bb568cce12a972d606f93ba9eb841b986c395b677ef433574d53baf
Inclusive original lines: 1-34
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.

000001 | #!/usr/bin/env python3
000002 | # -*- coding: utf-8 -*-
000003 | """v1007 -- CHIRAL4D.MIRROR.DET16.01 [C]: compressed DET16 stability
000004 | battery (counting line, covariance, dynamical Z2/Z4 links, SW,
000005 | BDL audit).
000006 | 
000007 | Provenance: experiments/tfpt-discovery/det16_gap_stability_probe.py
000008 | (19/19) + det16_dynamical_links_probe.py (124/124) + the 12-page
000009 | memorandum articles/2026-08-30/det16_mirror_gap_theorem_en.tex
000010 | (review wave 7, 2026-08-30).  Imports the four-mode analogue from
000011 | v1002; does not import experiments/.
000012 | 
000013 | THE POINT.  T1/T2 proved in v1002; T3 Michalakis--Zwolak cited-verified
000014 | (LTQO, t*>0, gap >= 1/2).  Ordinary hopping is not block-diagonal, so
000015 | 1/192 is boxed, not a theorem.  Dynamical links stay [N] on a
000016 | compressed Z2/Z4 grid; BDL supplies no volume-uniform gap remainder.
000017 | 
000018 |   [N]  counting line n=2,3 at t in {0.05,0.10,0.20}; n=2 closing scan
000019 |         through t=4 (no closing); Spin(4) covariance.
000020 |   [N]  dynamical Z2 L=2 (dim 128), Z2 L=3 (2048), Z4 L=2 (dim 72);
000021 |         grid t in {0,0.2,0.4}, h_E in {0.5,1.0,2.0}; uniquely gapped.
000022 |         Full-probe min gap 0.728854416 is pinned [N] from the
000023 |         uncompressed 124-check scan (paper source-contains).
000024 |   [N]  second-order SW: gap = 1 - alpha t^2 + O(t^4); c_geo/L =
000025 |         (1-1/L) m^2 bounded.
000026 |   [X]  flavor-selective mutant; 1/3-normalization mutant; BDL does
000027 |         not yield a numeric t_BDL or a gap remainder.
000028 | 
000029 | MUST-FAIL: flavor-selective hopping breaks Spin(4); 1/3 projector
000030 | is not idempotent; wrong SW denominator fails the envelope.
000031 | 
000032 | HONEST SCOPE (firewall): four-mode analogue, open 1D chains, finite
000033 | Z2/Z4; n=4 65536 and the full t-scan to 4.0 on n=3,4 are out of
000034 | suite.  CHIRAL4D.MIRROR.DET16.01 stays Candidate [C].