TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/collar-current-source-bridge-20261021/dirac_lift_results.json
Original file SHA-256: f6afbd6af36efd7ffdea93bebd1bbcea296c91efc841ff54725fbe69055e1f4a
Inclusive original lines: 1-54
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 |   "verdict": "CONDITIONAL_FULL_DIRAC_VECTOR_COCYCLE_CANCELLATION_AND_DOMAIN_DICHOTOMY",
000003 |   "source_graph_constructor": "experiments/theory-contracts/seam-full-collar-reconstruction-20261015/checker.py",
000004 |   "source_graph_sha256": "fa635ab362138a2448424b58b3e63460d1221b8080dfe0b531ebb540c1d5e91c",
000005 |   "cases": {
000006 |     "1/4": {
000007 |       "normal_complement_identity": true,
000008 |       "second_face_opposite_occupations": true,
000009 |       "finite_component_plus_cocycle": "-858993459*I/1718098330",
000010 |       "finite_component_minus_cocycle": "858993459*I/1718098330",
000011 |       "finite_full_vector_cocycle": "0",
000012 |       "nontrivial_endpoint_moves_trace_graph": true,
000013 |       "scalar_eta_analytic": "1/2",
000014 |       "paired_B_eta_analytic": "0"
000015 |     },
000016 |     "3/4": {
000017 |       "normal_complement_identity": true,
000018 |       "second_face_opposite_occupations": true,
000019 |       "finite_component_plus_cocycle": "-858993459*I/1719665050",
000020 |       "finite_component_minus_cocycle": "858993459*I/1719665050",
000021 |       "finite_full_vector_cocycle": "0",
000022 |       "nontrivial_endpoint_moves_trace_graph": true,
000023 |       "scalar_eta_analytic": "-1/2",
000024 |       "paired_B_eta_analytic": "0"
000025 |     }
000026 |   },
000027 |   "fixed_symbol_pointwise_commutant": "scalar I2 (no additional internal multiplicities classified)",
000028 |   "full_Dirac_differential_lift_exact": true,
000029 |   "full_Dirac_potential_Hermitian_exact": true,
000030 |   "four_mark_profile_APS_leakage_minus1_to_plus3": {
000031 |     "sin4theta": "-I/2",
000032 |     "1-cos4theta": "-1/2"
000033 |   },
000034 |   "analytic_four_mark_cocycles": {
000035 |     "component_plus": "-2I",
000036 |     "component_minus": "+2I",
000037 |     "complete_vector": "0"
000038 |   },
000039 |   "analytic_four_mark_Weyl_rectangles": {
000040 |     "component_plus": "exp(2I s t)",
000041 |     "component_minus": "exp(-2I s t)",
000042 |     "complete_vector": "1"
000043 |   },
000044 |   "unchanged_previous_scalar_result": true,
000045 |   "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.",
000046 |   "not_derived": [
000047 |     "P1 physical chiral measure/line connection",
000048 |     "original OS Padm and A/A* operator dictionary",
000049 |     "physical boundary attachment selection",
000050 |     "4D chirality or determinant-line unification"
000051 |   ],
000052 |   "complete_TFPT_solution": false,
000053 |   "physical_gates_closed": []
000054 | }