TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/kms-locality-and-source-winding-results.json
Original file SHA-256: 0d4ef01c6f44f021b87036353d9a8f8bd4850617bccbf8cf569387dc9931f955
Inclusive original lines: 1-82
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-23",
000003 |   "checks_passed": true,
000004 |   "verdict": "KMS_GIVEN_EXTENSION_DOES_NOT_SUPPLY_MICROSCOPIC_LOCAL_SPINOR_MAP",
000005 |   "analytic_CAR_witness_rank": 2,
000006 |   "refined_charge_samples": 40,
000007 |   "finite_edge_fock_states": 256,
000008 |   "thermal_original_edge_controls": [
000009 |     {
000010 |       "alpha": 0.25,
000011 |       "beta_source_H": 0.7,
000012 |       "single_edge_target_Cartan_holonomy": 0.0012270481903698253,
000013 |       "total_even_two_edge_target_holonomy": 0.0024540926857417188,
000014 |       "old_Cartan_holonomy": 1.0
000015 |     },
000016 |     {
000017 |       "alpha": 0.25,
000018 |       "beta_source_H": 6.283185307179586,
000019 |       "single_edge_target_Cartan_holonomy": 0.6435942529055825,
000020 |       "total_even_two_edge_target_holonomy": 0.9101797211244546,
000021 |       "old_Cartan_holonomy": 1.0
000022 |     },
000023 |     {
000024 |       "alpha": 0.25,
000025 |       "beta_source_H": 8.0,
000026 |       "single_edge_target_Cartan_holonomy": 0.757757794014418,
000027 |       "total_even_two_edge_target_holonomy": 0.9627230320962776,
000028 |       "old_Cartan_holonomy": 1.0
000029 |     },
000030 |     {
000031 |       "alpha": 0.75,
000032 |       "beta_source_H": 0.7,
000033 |       "single_edge_target_Cartan_holonomy": 0.001227048190369825,
000034 |       "total_even_two_edge_target_holonomy": 0.0024540926857417183,
000035 |       "old_Cartan_holonomy": 1.0
000036 |     },
000037 |     {
000038 |       "alpha": 0.75,
000039 |       "beta_source_H": 6.283185307179586,
000040 |       "single_edge_target_Cartan_holonomy": 0.6435942529055823,
000041 |       "total_even_two_edge_target_holonomy": 0.9101797211244546,
000042 |       "old_Cartan_holonomy": 1.0
000043 |     },
000044 |     {
000045 |       "alpha": 0.75,
000046 |       "beta_source_H": 8.0,
000047 |       "single_edge_target_Cartan_holonomy": 0.757757794014418,
000048 |       "total_even_two_edge_target_holonomy": 0.9627230320962776,
000049 |       "old_Cartan_holonomy": 1.0
000050 |     }
000051 |   ],
000052 |   "actual_QWZ_time_controls": [
000053 |     {
000054 |       "sector": 1,
000055 |       "Nx": 8,
000056 |       "Ny": 8,
000057 |       "physical_source_time": 0.2,
000058 |       "outside_even_number_commutator_norm": 0.12344880288324762,
000059 |       "local_thermal_occupation": 0.32025424844957984,
000060 |       "local_modular_one_mode_energy": 0.7526036267455846
000061 |     },
000062 |     {
000063 |       "sector": 3,
000064 |       "Nx": 8,
000065 |       "Ny": 8,
000066 |       "physical_source_time": 0.2,
000067 |       "outside_even_number_commutator_norm": 0.12344880288324755,
000068 |       "local_thermal_occupation": 0.3202542465781366,
000069 |       "local_modular_one_mode_energy": 0.7526036353423535
000070 |     }
000071 |   ],
000072 |   "actual_source_sha256": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8",
000073 |   "global_rotations_equal_fixed_interval_modular_flow": false,
000074 |   "conditional_expectation_uniqueness_refuted": false,
000075 |   "source_W1_identified_with_primitive_P1_circle": false,
000076 |   "unitary_source_winding_Cartan_four_word_signs": {
000077 |     "old": 1,
000078 |     "target": -1
000079 |   },
000080 |   "new_microscopic_spinor_sector": false,
000081 |   "all_P1_no_go": false
000082 | }