TFPT scientific source excerpt Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/half-flux-audit-results.json Original file SHA-256: b6b385cbd57357a5e102f5c50072d270c802eded0bff2ea90f819bd950d46041 Inclusive original lines: 1-47 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 | { 000002 | "date": "2026-10-22", 000003 | "verdict": "SHARP_HALF_FLUX_EXCLUSION_CONFIRMED_IN_STATED_NETS", 000004 | "register_obstruction_exact": true, 000005 | "quotient_clock_witness_cases": [ 000006 | { 000007 | "N": 8, 000008 | "all_base_pair_windows": 4, 000009 | "passed": true 000010 | }, 000011 | { 000012 | "N": 16, 000013 | "all_base_pair_windows": 8, 000014 | "passed": true 000015 | }, 000016 | { 000017 | "N": 48, 000018 | "all_base_pair_windows": 24, 000019 | "passed": true 000020 | } 000021 | ], 000022 | "original_strip_controls": [ 000023 | { 000024 | "sector": 0, 000025 | "zero_modes": 2, 000026 | "zero_occupied": 1, 000027 | "covariance_idempotence_defect": 0.3535533905932738 000028 | }, 000029 | { 000030 | "sector": 2, 000031 | "zero_modes": 0, 000032 | "zero_occupied": 0, 000033 | "covariance_idempotence_defect": 1.0789495590908627e-14 000034 | } 000035 | ], 000036 | "R_fixed_filling_state_purity": "1/2", 000037 | "R_zero_mode_pair_moment": "0", 000038 | "same_covariance_quasifree_pair_moment": "1/4", 000039 | "local_cutoff_HS_integral": "log((eps+delta)^2/(4 eps delta)) -> infinity", 000040 | "selective_antiunitary_candidate_complex_linear": false, 000041 | "finite_or_analytic_control_scope": "No replay of unavailable 18+38 report package; analytic proof reviewed separately.", 000042 | "all_P1_no_go": false, 000043 | "source_hashes": { 000044 | "verification/v746_phys_gnet_local_functor.py": "464d00726d312d88e9cfd07b8edaff2e38104fbbd9f0788be5cd4f26309753d7", 000045 | "verification/v1033_charged_disorder.py": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8" 000046 | } 000047 | }