TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-ADMISSIBILITY-SOURCE.json
Original file SHA-256: 4ba29bf64a0d7dd3e2c56f5722ab79d6e8c405a3bba7be4c1caecdfc919c61e2
Inclusive original lines: 1-106
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-31",
000003 |   "results": [
000004 |     "R049",
000005 |     "R050"
000006 |   ],
000007 |   "scope": "Actual original four-ghost Koszul admissibility operator; no physical ghost measure or normal-sphere to spacetime identification. Symbolic scalar joint fibers encode the whole commuting spectral family.",
000008 |   "all_passed": true,
000009 |   "checks": [
000010 |     {
000011 |       "name": "all creation anticommutators",
000012 |       "passed": true
000013 |     },
000014 |     {
000015 |       "name": "all mixed CAR anticommutators",
000016 |       "passed": true
000017 |     },
000018 |     {
000019 |       "name": "whole four-penalty differential is nilpotent",
000020 |       "passed": true
000021 |     },
000022 |     {
000023 |       "name": "whole Laplacian equals sum squares on every ghost grade",
000024 |       "passed": true
000025 |     },
000026 |     {
000027 |       "name": "actual selfadjoint odd source square",
000028 |       "passed": true
000029 |     },
000030 |     {
000031 |       "name": "contracting homotopy numerator on every positive joint fiber",
000032 |       "passed": true
000033 |     },
000034 |     {
000035 |       "name": "zero-penalty fiber keeps all sixteen ghosts",
000036 |       "passed": true
000037 |     },
000038 |     {
000039 |       "name": "actual grade multiplicities 1 4 6 4 1",
000040 |       "passed": true
000041 |     },
000042 |     {
000043 |       "name": "whole degree character",
000044 |       "passed": true
000045 |     },
000046 |     {
000047 |       "name": "index supertrace vanishes",
000048 |       "passed": true
000049 |     },
000050 |     {
000051 |       "name": "degree weighted supertrace vanishes",
000052 |       "passed": true
000053 |     },
000054 |     {
000055 |       "name": "two equal parity sectors",
000056 |       "passed": true
000057 |     },
000058 |     {
000059 |       "name": "whole energy resolvent numerator",
000060 |       "passed": true
000061 |     },
000062 |     {
000063 |       "name": "whole degree-weighted resolvent trace",
000064 |       "passed": true
000065 |     },
000066 |     {
000067 |       "name": "all original constraint insertions survive in off-diagonal source",
000068 |       "passed": true
000069 |     },
000070 |     {
000071 |       "name": "ghost grade zero resolvent diagonal retains energy denominator",
000072 |       "passed": true
000073 |     },
000074 |     {
000075 |       "name": "ordinary source trace has no unsquared constraint direction",
000076 |       "passed": true
000077 |     },
000078 |     {
000079 |       "name": "only joint zero pattern is harmonic",
000080 |       "passed": true
000081 |     },
000082 |     {
000083 |       "name": "every positive pattern is bounded below by a realized positive penalty",
000084 |       "passed": true
000085 |     },
000086 |     {
000087 |       "name": "at most sixteen fixed finite penalty eigenvalues",
000088 |       "passed": true
000089 |     },
000090 |     {
000091 |       "name": "positive penalty reweighting preserves the whole joint kernel",
000092 |       "passed": true
000093 |     },
000094 |     {
000095 |       "name": "full energy-source variation including off-diagonal insertions",
000096 |       "passed": true
000097 |     }
000098 |   ],
000099 |   "grade_multiplicities": [
000100 |     1,
000101 |     4,
000102 |     6,
000103 |     4,
000104 |     1
000105 |   ]
000106 | }