TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/neutral-pairs-and-vector-wards-results.json
Original file SHA-256: 3181894c8896cbdbfa2d6041ecbe1c6f21f6d41938d9b97f1cffddb92b415dad
Inclusive original lines: 1-97
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": "ORIGINAL_NEUTRAL_DEFECT_PAIR_CONSTRUCTED_NOT_SINGLE_SPINOR_SECTOR",
000004 |   "register_grade": 0,
000005 |   "global_cover_holonomy_changed": false,
000006 |   "uniform_eight_sheet_interval_sign_exact": true,
000007 |   "finite_band_factorization": [
000008 |     {
000009 |       "occupied_modes_per_residue": 1,
000010 |       "one_block_determinant": "0",
000011 |       "full_expectation": "0"
000012 |     },
000013 |     {
000014 |       "occupied_modes_per_residue": 2,
000015 |       "one_block_determinant": "-4/pi**2",
000016 |       "full_expectation": "65536/pi**16"
000017 |     },
000018 |     {
000019 |       "occupied_modes_per_residue": 3,
000020 |       "one_block_determinant": "0",
000021 |       "full_expectation": "0"
000022 |     },
000023 |     {
000024 |       "occupied_modes_per_residue": 4,
000025 |       "one_block_determinant": "256/(9*pi**4)",
000026 |       "full_expectation": "18446744073709551616/(43046721*pi**32)"
000027 |     }
000028 |   ],
000029 |   "finite_band_has_second_Fermi_edge": true,
000030 |   "complement_determinant_controls": [
000031 |     {
000032 |       "alpha": "1/4",
000033 |       "exact": true,
000034 |       "single_component_phase_nonzero": true
000035 |     },
000036 |     {
000037 |       "alpha": "3/4",
000038 |       "exact": true,
000039 |       "single_component_phase_nonzero": true
000040 |     }
000041 |   ],
000042 |   "original_four_mark_central_forms": [
000043 |     "2*I",
000044 |     "-2*I",
000045 |     "0"
000046 |   ],
000047 |   "same_source_time_unitary_separation_energy_controls": [
000048 |     {
000049 |       "return_width": "pi/8",
000050 |       "H1_ramp_exact_DeltaK": "32",
000051 |       "all_smooth_profiles_lower_bound": "16"
000052 |     },
000053 |     {
000054 |       "return_width": "pi/16",
000055 |       "H1_ramp_exact_DeltaK": "48",
000056 |       "all_smooth_profiles_lower_bound": "32"
000057 |     },
000058 |     {
000059 |       "return_width": "pi/32",
000060 |       "H1_ramp_exact_DeltaK": "80",
000061 |       "all_smooth_profiles_lower_bound": "64"
000062 |     },
000063 |     {
000064 |       "return_width": "pi/64",
000065 |       "H1_ramp_exact_DeltaK": "144",
000066 |       "all_smooth_profiles_lower_bound": "128"
000067 |     }
000068 |   ],
000069 |   "actual_QWZ_full_covariance_controls": [
000070 |     {
000071 |       "quarter_register_sector": 1,
000072 |       "all_occupied_modes_retained": 256,
000073 |       "left_right_edge_covariance_change": [
000074 |         0.6445068385917867,
000075 |         0.6445068385917875
000076 |       ],
000077 |       "neutral_parity_expectation_real": 5.494331843494137e-27,
000078 |       "neutral_parity_expectation_imag": 9.117879367472679e-44,
000079 |       "global_seam_unchanged": true
000080 |     },
000081 |     {
000082 |       "quarter_register_sector": 3,
000083 |       "all_occupied_modes_retained": 256,
000084 |       "left_right_edge_covariance_change": [
000085 |         0.6445068385917865,
000086 |         0.6445068385917873
000087 |       ],
000088 |       "neutral_parity_expectation_real": 5.49433184349402e-27,
000089 |       "neutral_parity_expectation_imag": -6.189225609857311e-44,
000090 |       "global_seam_unchanged": true
000091 |     }
000092 |   ],
000093 |   "source_sha256": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8",
000094 |   "infinite_determinant_or_continuum_limit_claimed": false,
000095 |   "single_128_spinor_generators_constructed": false,
000096 |   "physical_chiral_measure_selected": false
000097 | }