TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/collar-current-source-bridge-20261021/contract_index.json
Original file SHA-256: 80de96c729cf3e744da3fdc8ae5da56f3588692de12a8f62dd7602036d92e108
Inclusive original lines: 1-61
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 |   "contract": "collar-current-source-bridge-20261021",
000003 |   "date": "20261021",
000004 |   "research_id": "UR.COLLAR.FACE_CURRENT.01",
000005 |   "question": "Which part of the scalar two-face current bridge survives the original complete Dirac lift, physical boundary domain and chiral-measure identification?",
000006 |   "verdict": "PARTIAL",
000007 |   "mathematical_verdict": "EXACT_CONDITIONAL_TWO_FACE_TO_CURRENT_BRIDGE_WITH_DIFFERENT_SOURCE_LIFTS",
000008 |   "checker": "checker.py",
000009 |   "firewall": "experiments",
000010 |   "claims_tested": [],
000011 |   "gates": [],
000012 |   "positive_results": [
000013 |     "Original graph supplies second-face level1 cocycle, thermal current response and its original sea limit, without an independent current normalization.",
000014 |     "Full charge carry and the original time scale are retained in the thermal/Hall history formulas.",
000015 |     "Common and one-face source lifts have the same face marginal but different full covariances and coherent phases.",
000016 |     "Relative endpoint graph T_phi=g_phi T has an explicit scalar transport-block source family, independent of its interior frame interpolation.",
000017 |     "Full existing Dirac lift and its bounded Hermitian endpoint perturbation are explicit; transported-domain and fixed-domain sources are distinguished.",
000018 |     "The original grading already identifies the scalar chiral differential block, while its physical fermion measure/line connection remains to be derived."
000019 |   ],
000020 |   "kills": [
000021 |     "Equality of the reduced face covariance identifies common two-face gauge transport with the one-face source current on the full source.",
000022 |     "The common two-face density cocycle equals the chiral second-face cocycle.",
000023 |     "Automatic identification of the full Lagrangian Dirac Cauchy CAR vector-current cocycle with the scalar chiral one: the complete normal-commuting cocycle is zero.",
000024 |     "A component-selective phase retains both fixed Dirac Clifford symbols.",
000025 |     "Four-mark-fixed nonconstant profiles preserve the fixed original Hardy/APS subspace."
000026 |   ],
000027 |   "new_assumptions": [
000028 |     "Reuse explicitly given charged CAR on both faces with pure quasifree covariance G; this statistical premise is not derived from P1.",
000029 |     "Relative endpoint transport is constructed as a frame/source family, not asserted to be a physically executed intervention."
000030 |   ],
000031 |   "relations": [
000032 |     {
000033 |       "type": "references",
000034 |       "target": "seam-full-collar-reconstruction-20261015"
000035 |     },
000036 |     {
000037 |       "type": "references",
000038 |       "target": "joint-native-algebra-selection-20261016"
000039 |     },
000040 |     {
000041 |       "type": "references",
000042 |       "target": "seam-collar-multifield-20261016"
000043 |     }
000044 |   ],
000045 |   "leaves_open": [
000046 |     "P1 origin of the CAR source and its physical field identification",
000047 |     "Physical boundary attachment selection and original OS A/A*-admissibility of the endpoint operation",
000048 |     "Original physical chiral measure and connection, distinguished from the full Dirac vector source",
000049 |     "Determinant-line connection compatibility, events and record dynamics",
000050 |     "All complete physical T1-T8 claims"
000051 |   ],
000052 |   "physical_gates_closed": [],
000053 |   "complete_TFPT_solution": false,
000054 |   "novelty_scope": "Typed TFPT source bridge plus a complete-Dirac structural restriction of its proposed physical identification; standard current and Dirac mathematics, no general novelty claimed.",
000055 |   "continuation": {
000056 |     "proof": "DIRAC-LIFT-ADMISSIBILITY.md",
000057 |     "checker": "check_dirac_lift.py",
000058 |     "results": "dirac_lift_results.json",
000059 |     "scope": "Complete original two-component module, both faces and explicit CAR/implementability hypotheses; no 4D no-go or physical Padm identification."
000060 |   }
000061 | }