TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/register-words-and-fold-results.json
Original file SHA-256: ecd5bab0a1326aec6b72ba4fdbf6d4a2352100ddb5597d36c46fe8eb250b2160
Inclusive original lines: 1-183
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": "ALL_WORD_REGISTER_OBSTRUCTION_AND_FIXED_CHARGE_FOLD_MISMATCH",
000004 |   "nonunitary_four_word_positive_norm": "127/16",
000005 |   "half_flux_four_word_ratio": -1,
000006 |   "required_remote_even_locality_ratio": 1,
000007 |   "uniform_operator_norm_commutator_ratio": 2,
000008 |   "actual_width8_projection_time_witnesses": [
000009 |     {
000010 |       "r": 0,
000011 |       "s": 1,
000012 |       "one_particle_transfer": [
000013 |         0,
000014 |         32
000015 |       ],
000016 |       "even_sector_spectator": 1
000017 |     },
000018 |     {
000019 |       "r": 0,
000020 |       "s": 2,
000021 |       "one_particle_transfer": [
000022 |         0,
000023 |         32
000024 |       ],
000025 |       "even_sector_spectator": 1
000026 |     },
000027 |     {
000028 |       "r": 0,
000029 |       "s": 3,
000030 |       "one_particle_transfer": [
000031 |         0,
000032 |         32
000033 |       ],
000034 |       "even_sector_spectator": 1
000035 |     },
000036 |     {
000037 |       "r": 1,
000038 |       "s": 0,
000039 |       "one_particle_transfer": [
000040 |         0,
000041 |         32
000042 |       ],
000043 |       "even_sector_spectator": 1
000044 |     },
000045 |     {
000046 |       "r": 1,
000047 |       "s": 2,
000048 |       "one_particle_transfer": [
000049 |         0,
000050 |         32
000051 |       ],
000052 |       "even_sector_spectator": 1
000053 |     },
000054 |     {
000055 |       "r": 1,
000056 |       "s": 3,
000057 |       "one_particle_transfer": [
000058 |         0,
000059 |         32
000060 |       ],
000061 |       "even_sector_spectator": 1
000062 |     },
000063 |     {
000064 |       "r": 2,
000065 |       "s": 0,
000066 |       "one_particle_transfer": [
000067 |         0,
000068 |         32
000069 |       ],
000070 |       "even_sector_spectator": 1
000071 |     },
000072 |     {
000073 |       "r": 2,
000074 |       "s": 1,
000075 |       "one_particle_transfer": [
000076 |         0,
000077 |         32
000078 |       ],
000079 |       "even_sector_spectator": 1
000080 |     },
000081 |     {
000082 |       "r": 2,
000083 |       "s": 3,
000084 |       "one_particle_transfer": [
000085 |         0,
000086 |         32
000087 |       ],
000088 |       "even_sector_spectator": 1
000089 |     },
000090 |     {
000091 |       "r": 3,
000092 |       "s": 0,
000093 |       "one_particle_transfer": [
000094 |         0,
000095 |         32
000096 |       ],
000097 |       "even_sector_spectator": 1
000098 |     },
000099 |     {
000100 |       "r": 3,
000101 |       "s": 1,
000102 |       "one_particle_transfer": [
000103 |         0,
000104 |         32
000105 |       ],
000106 |       "even_sector_spectator": 1
000107 |     },
000108 |     {
000109 |       "r": 3,
000110 |       "s": 2,
000111 |       "one_particle_transfer": [
000112 |         0,
000113 |         32
000114 |       ],
000115 |       "even_sector_spectator": 1
000116 |     }
000117 |   ],
000118 |   "shared_flux_one_edge_counterexample_norm_squared": 4,
000119 |   "parent_half_flux_cover_holonomy": "-h",
000120 |   "uniform_D8_spinor_vector_twist_cover_holonomy": "h",
000121 |   "complex_charge_preserving_conjugacy_possible": false,
000122 |   "quarter_real_charge_reversing_conjugacy_possible": true,
000123 |   "all_original_Dirac_assertions_executed_even_under_OO": true,
000124 |   "original_Dirac_replay": {
000125 |     "verdict": "CONDITIONAL_FULL_DIRAC_VECTOR_COCYCLE_CANCELLATION_AND_DOMAIN_DICHOTOMY",
000126 |     "source_graph_constructor": "experiments/theory-contracts/seam-full-collar-reconstruction-20261015/checker.py",
000127 |     "source_graph_sha256": "fa635ab362138a2448424b58b3e63460d1221b8080dfe0b531ebb540c1d5e91c",
000128 |     "cases": {
000129 |       "1/4": {
000130 |         "normal_complement_identity": true,
000131 |         "second_face_opposite_occupations": true,
000132 |         "finite_component_plus_cocycle": "-858993459*I/1718098330",
000133 |         "finite_component_minus_cocycle": "858993459*I/1718098330",
000134 |         "finite_full_vector_cocycle": "0",
000135 |         "nontrivial_endpoint_moves_trace_graph": true,
000136 |         "scalar_eta_analytic": "1/2",
000137 |         "paired_B_eta_analytic": "0"
000138 |       },
000139 |       "3/4": {
000140 |         "normal_complement_identity": true,
000141 |         "second_face_opposite_occupations": true,
000142 |         "finite_component_plus_cocycle": "-858993459*I/1719665050",
000143 |         "finite_component_minus_cocycle": "858993459*I/1719665050",
000144 |         "finite_full_vector_cocycle": "0",
000145 |         "nontrivial_endpoint_moves_trace_graph": true,
000146 |         "scalar_eta_analytic": "-1/2",
000147 |         "paired_B_eta_analytic": "0"
000148 |       }
000149 |     },
000150 |     "fixed_symbol_pointwise_commutant": "scalar I2 (no additional internal multiplicities classified)",
000151 |     "full_Dirac_differential_lift_exact": true,
000152 |     "full_Dirac_potential_Hermitian_exact": true,
000153 |     "four_mark_profile_APS_leakage_minus1_to_plus3": {
000154 |       "sin4theta": "-I/2",
000155 |       "1-cos4theta": "-1/2"
000156 |     },
000157 |     "analytic_four_mark_cocycles": {
000158 |       "component_plus": "-2I",
000159 |       "component_minus": "+2I",
000160 |       "complete_vector": "0"
000161 |     },
000162 |     "analytic_four_mark_Weyl_rectangles": {
000163 |       "component_plus": "exp(2I s t)",
000164 |       "component_minus": "exp(-2I s t)",
000165 |       "complete_vector": "1"
000166 |     },
000167 |     "unchanged_previous_scalar_result": true,
000168 |     "scope": "Existing complete two-component Dirac module, complete two-face graph, given charged CAR state, implementable normal-commuting generators. Infinite claims require the proof, not a mode cutoff.",
000169 |     "not_derived": [
000170 |       "P1 physical chiral measure/line connection",
000171 |       "original OS Padm and A/A* operator dictionary",
000172 |       "physical boundary attachment selection",
000173 |       "4D chirality or determinant-line unification"
000174 |     ],
000175 |     "complete_TFPT_solution": false,
000176 |     "physical_gates_closed": []
000177 |   },
000178 |   "source_hashes": {
000179 |     "experiments/theory-contracts/collar-current-source-bridge-20261021/check_dirac_lift.py": "1e0047ba99ab68b3d1bc71d10a8ef7d894cd86bab6b7e401bdd4cbff1dee7c02",
000180 |     "verification/v1033_charged_disorder.py": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8"
000181 |   },
000182 |   "P1_E8_origin_derived": false
000183 | }