TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/collar-current-source-bridge-20261021/results.json
Original file SHA-256: b7368c956426f1dfa8dbeffc4239805829cac657acd209eadcd120e958578216
Inclusive original lines: 1-15
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": "EXACT_CONDITIONAL_TWO_FACE_TO_CURRENT_BRIDGE_WITH_DIFFERENT_SOURCE_LIFTS",
000003 |   "source_graph_constructor": "experiments/theory-contracts/seam-full-collar-reconstruction-20261015/checker.py",
000004 |   "source_graph_sha256": "fa635ab362138a2448424b58b3e63460d1221b8080dfe0b531ebb540c1d5e91c",
000005 |   "statistical_premise": "Given charged CAR and pure quasifree graph state; not derived from P1.",
000006 |   "analytic_scope": "All smooth real scalar source profiles, all Fourier modes, all ell>0. Infinite formulas require the companion proof; finite checks are controls only.",
000007 |   "cases": {
000008 |     "1/4": {
000009 |       "graph_projector_reused": true,
000010 |       "finite_source_face1_cocycle": "-858993459*I/1718098330",
000011 |       "common_two_face_cocycle": "0",
000012 |       "infinite_face1_limit": "-I/2",
000013 |       "infinite_face0_limit": "+I/2",
000014 |       "different_full_lifts_same_reduced_covariance": true,
000015 |       "relative_endpoint_graph_identity": true,