TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/full_energy_sector_results.json
Original file SHA-256: 7ed4550b5b8d54c46810a409fdcd9622d5e78408d31e96db6cbc3bb1479cdbce
Inclusive original lines: 1-172
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": "PASS_TARGETED_CONTROLS",
000004 |   "analytical_theorem": "FULL-FINITE-ENERGY-AND-SECTOR-MENU.txt",
000005 |   "source_sha256": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8",
000006 |   "exact_source_identities": {
000007 |     "H0_cubic": true,
000008 |     "H0_rank14": true,
000009 |     "X_square": true,
000010 |     "Z_square": true,
000011 |     "X_H0_anticommutator": true,
000012 |     "X_Z_anticommutator": true,
000013 |     "pi_gap": true,
000014 |     "edge_orthonormality": true,
000015 |     "edge_zero_vectors": true,
000016 |     "opposite_edge_slopes": true
000017 |   },
000018 |   "full_builder_controls": [
000019 |     {
000020 |       "sector": 1,
000021 |       "N": 8,
000022 |       "max_error": 9.769962616701378e-15
000023 |     },
000024 |     {
000025 |       "sector": 3,
000026 |       "N": 8,
000027 |       "max_error": 7.549516567451064e-15
000028 |     }
000029 |   ],
000030 |   "gap_grid_diagnostic": {
000031 |     "minimum_third_absolute_eigenvalue": 0.9999999999999998,
000032 |     "maximum_subhalf_eigenvalue_count": 2
000033 |   },
000034 |   "spectral_controls": [
000035 |     {
000036 |       "sector": 1,
000037 |       "N": 64,
000038 |       "cutoff": 2.13,
000039 |       "one_body_rank": 8,
000040 |       "fock_spectral_rank": 34,
000041 |       "max_energy_error": 0.008596500702165555
000042 |     },
000043 |     {
000044 |       "sector": 1,
000045 |       "N": 64,
000046 |       "cutoff": 3.13,
000047 |       "one_body_rank": 12,
000048 |       "fock_spectral_rank": 96,
000049 |       "max_energy_error": 0.03328616078081037
000050 |     },
000051 |     {
000052 |       "sector": 1,
000053 |       "N": 128,
000054 |       "cutoff": 2.13,
000055 |       "one_body_rank": 8,
000056 |       "fock_spectral_rank": 34,
000057 |       "max_energy_error": 0.00215150545704601
000058 |     },
000059 |     {
000060 |       "sector": 1,
000061 |       "N": 128,
000062 |       "cutoff": 3.13,
000063 |       "one_body_rank": 12,
000064 |       "fock_spectral_rank": 96,
000065 |       "max_energy_error": 0.00834431952402337
000066 |     },
000067 |     {
000068 |       "sector": 1,
000069 |       "N": 256,
000070 |       "cutoff": 2.13,
000071 |       "one_body_rank": 8,
000072 |       "fock_spectral_rank": 34,
000073 |       "max_energy_error": 0.0005380252299234112
000074 |     },
000075 |     {
000076 |       "sector": 1,
000077 |       "N": 256,
000078 |       "cutoff": 3.13,
000079 |       "one_body_rank": 12,
000080 |       "fock_spectral_rank": 96,
000081 |       "max_energy_error": 0.0020875059073843794
000082 |     },
000083 |     {
000084 |       "sector": 3,
000085 |       "N": 64,
000086 |       "cutoff": 2.13,
000087 |       "one_body_rank": 8,
000088 |       "fock_spectral_rank": 34,
000089 |       "max_energy_error": 0.008596500702170662
000090 |     },
000091 |     {
000092 |       "sector": 3,
000093 |       "N": 64,
000094 |       "cutoff": 3.13,
000095 |       "one_body_rank": 12,
000096 |       "fock_spectral_rank": 96,
000097 |       "max_energy_error": 0.033286160780802376
000098 |     },
000099 |     {
000100 |       "sector": 3,
000101 |       "N": 128,
000102 |       "cutoff": 2.13,
000103 |       "one_body_rank": 8,
000104 |       "fock_spectral_rank": 34,
000105 |       "max_energy_error": 0.0021515054570291348
000106 |     },
000107 |     {
000108 |       "sector": 3,
000109 |       "N": 128,
000110 |       "cutoff": 3.13,
000111 |       "one_body_rank": 12,
000112 |       "fock_spectral_rank": 96,
000113 |       "max_energy_error": 0.00834431952400827
000114 |     },
000115 |     {
000116 |       "sector": 3,
000117 |       "N": 256,
000118 |       "cutoff": 2.13,
000119 |       "one_body_rank": 8,
000120 |       "fock_spectral_rank": 34,
000121 |       "max_energy_error": 0.0005380252298960997
000122 |     },
000123 |     {
000124 |       "sector": 3,
000125 |       "N": 256,
000126 |       "cutoff": 3.13,
000127 |       "one_body_rank": 12,
000128 |       "fock_spectral_rank": 96,
000129 |       "max_energy_error": 0.0020875059074163538
000130 |     }
000131 |   ],
000132 |   "quarter_h1_count": 64,
000133 |   "quarter_h1_all_odd_relative_dressing": true,
000134 |   "quarter_h1_all_nonlocal_to_full_D8": true,
000135 |   "D8_relative_locality_of_uniform_scalar_Z4_classes": {
000136 |     "0": true,
000137 |     "1/4": false,
000138 |     "1/2": true,
000139 |     "3/4": false
000140 |   },
000141 |   "half_twist_common_time_by_chirality": [
000142 |     {
000143 |       "alpha": "1/4",
000144 |       "minus_parity": 0,
000145 |       "minimum_fold_energy": "0",
000146 |       "minimum_multiplicity": 1
000147 |     },
000148 |     {
000149 |       "alpha": "1/4",
000150 |       "minus_parity": 1,
000151 |       "minimum_fold_energy": "1/32",
000152 |       "minimum_multiplicity": 1
000153 |     },
000154 |     {
000155 |       "alpha": "3/4",
000156 |       "minus_parity": 0,
000157 |       "minimum_fold_energy": "0",
000158 |       "minimum_multiplicity": 1
000159 |     },
000160 |     {
000161 |       "alpha": "3/4",
000162 |       "minus_parity": 1,
000163 |       "minimum_fold_energy": "1/32",
000164 |       "minimum_multiplicity": 1
000165 |     }
000166 |   ],
000167 |   "source_vacuum_and_time_retained": true,
000168 |   "new_P1_spinor_sector_constructed": false,
000169 |   "full_P1_or_TFPT_exclusion": false,
000170 |   "historical_pinned_checker_repaired_or_replayed": false,
000171 |   "verification_boundary": "Exact matrix/arithmetic checks plus finite floating spectral controls. The all-N and compactness claims rest on the written proof, not this finite run."
000172 | }