TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary-source-results.json
Original file SHA-256: 00932f60621d41dbe1b3545d7691b00f71b322f0daaf788269b6baec9756dd3a
Inclusive original lines: 1-69
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 |   "checks": [
000003 |     {
000004 |       "name": "quarter-fold-domains",
000005 |       "scope": "Analytic mode identity for every integer k; Sobolev domains in proof",
000006 |       "status": "PASS"
000007 |     },
000008 |     {
000009 |       "name": "half-period-characters",
000010 |       "scope": "Complex-linear boundary translation, not Q rotation or antiunitary OS",
000011 |       "status": "PASS"
000012 |     },
000013 |     {
000014 |       "name": "winding-with-carry",
000015 |       "scope": "Finite replay of the analytic even/odd-index formula",
000016 |       "status": "PASS"
000017 |     },
000018 |     {
000019 |       "name": "fixed-dimensionless-modulus",
000020 |       "scope": "2 W B_Sigma = 2 pi B_cov, at W=1/2 and circumference1",
000021 |       "status": "PASS"
000022 |     },
000023 |     {
000024 |       "name": "distinct-full-collar-moduli",
000025 |       "scope": "Old full flat Pin test has modulus1, elliptic annulus has modulus1/2",
000026 |       "status": "PASS"
000027 |     },
000028 |     {
000029 |       "name": "two-boundary-calderon-projector",
000030 |       "scope": "Exact rational identity with x=exp(W lambda); chiral product Dirac",
000031 |       "status": "PASS"
000032 |     },
000033 |     {
000034 |       "name": "selected-face-fermi-factor",
000035 |       "scope": "Face1 covariance (1+exp(2 W B))^-1; opposite face is complementary",
000036 |       "status": "PASS"
000037 |     },
000038 |     {
000039 |       "name": "face-is-not-hardy-projector",
000040 |       "scope": "Every finite real mode has strictly mixed face covariance",
000041 |       "status": "PASS"
000042 |     },
000043 |     {
000044 |       "name": "crosscap-nonstationarity-I",
000045 |       "scope": "Signed boundary B, finite collar r=exp(-2 L lambda)>0; no all-P1 exclusion",
000046 |       "status": "PASS"
000047 |     },
000048 |     {
000049 |       "name": "crosscap-energy-variance-I",
000050 |       "scope": "Pair sector energy test, not a W8 field identification",
000051 |       "status": "PASS"
000052 |     },
000053 |     {
000054 |       "name": "crosscap-nonstationarity--I",
000055 |       "scope": "Signed boundary B, finite collar r=exp(-2 L lambda)>0; no all-P1 exclusion",
000056 |       "status": "PASS"
000057 |     },
000058 |     {
000059 |       "name": "crosscap-energy-variance--I",
000060 |       "scope": "Pair sector energy test, not a W8 field identification",
000061 |       "status": "PASS"
000062 |     }
000063 |   ],
000064 |   "complete_TFPT_solution": false,
000065 |   "exact_checks": 12,
000066 |   "physical_gates_closed": [],
000067 |   "scope": "Original elliptic cut under declared free chiral CAR interpretation; source transport remains open",
000068 |   "status": "PASS"
000069 | }