TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QUARTER-TOWER-HIGGS-INVERSE.json
Original file SHA-256: f5e606f849a47a329b46bc1eb624ea058eb40ac1205562e76b839bc14ca47524
Inclusive original lines: 1-200
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_SCOPED_WHOLE_QUARTER_TOWER_RADIAL_IDENTIFIABILITY; PHYSICAL_SOURCE_VALUES_OPEN",
000003 |   "all_passed": true,
000004 |   "control_count": 129,
000005 |   "checks": [
000006 |     {
000007 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 0, (0j, 0j))",
000008 |       "passed": true
000009 |     },
000010 |     {
000011 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 0, (0.6j, (0.8+0j)))",
000012 |       "passed": true
000013 |     },
000014 |     {
000015 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 0, (0j, (2+0j)))",
000016 |       "passed": true
000017 |     },
000018 |     {
000019 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 1, (0j, 0j))",
000020 |       "passed": true
000021 |     },
000022 |     {
000023 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 1, (0.6j, (0.8+0j)))",
000024 |       "passed": true
000025 |     },
000026 |     {
000027 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 1, (0j, (2+0j)))",
000028 |       "passed": true
000029 |     },
000030 |     {
000031 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 3, (0j, 0j))",
000032 |       "passed": true
000033 |     },
000034 |     {
000035 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 3, (0.6j, (0.8+0j)))",
000036 |       "passed": true
000037 |     },
000038 |     {
000039 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.25, 3, (0j, (2+0j)))",
000040 |       "passed": true
000041 |     },
000042 |     {
000043 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 0, (0j, 0j))",
000044 |       "passed": true
000045 |     },
000046 |     {
000047 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 0, (0.6j, (0.8+0j)))",
000048 |       "passed": true
000049 |     },
000050 |     {
000051 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 0, (0j, (2+0j)))",
000052 |       "passed": true
000053 |     },
000054 |     {
000055 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 1, (0j, 0j))",
000056 |       "passed": true
000057 |     },
000058 |     {
000059 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 1, (0.6j, (0.8+0j)))",
000060 |       "passed": true
000061 |     },
000062 |     {
000063 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 1, (0j, (2+0j)))",
000064 |       "passed": true
000065 |     },
000066 |     {
000067 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 3, (0j, 0j))",
000068 |       "passed": true
000069 |     },
000070 |     {
000071 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 3, (0.6j, (0.8+0j)))",
000072 |       "passed": true
000073 |     },
000074 |     {
000075 |       "label": "Unchanged original96 same fixed rightvector whole mode block (0.75, 3, (0j, (2+0j)))",
000076 |       "passed": true
000077 |     },
000078 |     {
000079 |       "label": "Actual elliptic quarter normalization and right complement 0.25",
000080 |       "passed": true
000081 |     },
000082 |     {
000083 |       "label": "Actual elliptic quarter normalization and right complement 0.75",
000084 |       "passed": true
000085 |     },
000086 |     {
000087 |       "label": "Exact positive-real Pick Gram identity",
000088 |       "passed": true
000089 |     },
000090 |     {
000091 |       "label": "Exact RHP real part of every original thermal resolvent",
000092 |       "passed": true
000093 |     },
000094 |     {
000095 |       "label": "Original tanh partial fractions retain bounded positive tail (mpf('0.25'), 0)",
000096 |       "passed": true
000097 |     },
000098 |     {
000099 |       "label": "Original tanh partial fractions retain bounded positive tail (mpf('0.75'), 2)",
000100 |       "passed": true
000101 |     },
000102 |     {
000103 |       "label": "Original tanh partial fractions retain bounded positive tail (mpf('3.25'), mpf('1000000.0'))",
000104 |       "passed": true
000105 |     },
000106 |     {
000107 |       "label": "Actual analytic response stays positive-real (mpc(real='0.0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007', imag='2.5'), 0)",
000108 |       "passed": true
000109 |     },
000110 |     {
000111 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='0.0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007', imag='2.5'), 0)",
000112 |       "passed": true
000113 |     },
000114 |     {
000115 |       "label": "Actual analytic response stays positive-real (mpc(real='0.0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007', imag='2.5'), mpf('0.5'))",
000116 |       "passed": true
000117 |     },
000118 |     {
000119 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='0.0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007', imag='2.5'), mpf('0.5'))",
000120 |       "passed": true
000121 |     },
000122 |     {
000123 |       "label": "Actual analytic response stays positive-real (mpc(real='0.0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007', imag='2.5'), mpf('100000000.0'))",
000124 |       "passed": true
000125 |     },
000126 |     {
000127 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='0.0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007', imag='2.5'), mpf('100000000.0'))",
000128 |       "passed": true
000129 |     },
000130 |     {
000131 |       "label": "Actual analytic response stays positive-real (mpc(real='0.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019', imag='-4.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031'), 0)",
000132 |       "passed": true
000133 |     },
000134 |     {
000135 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='0.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019', imag='-4.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031'), 0)",
000136 |       "passed": true
000137 |     },
000138 |     {
000139 |       "label": "Actual analytic response stays positive-real (mpc(real='0.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019', imag='-4.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031'), mpf('0.5'))",
000140 |       "passed": true
000141 |     },
000142 |     {
000143 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='0.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019', imag='-4.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031'), mpf('0.5'))",
000144 |       "passed": true
000145 |     },
000146 |     {
000147 |       "label": "Actual analytic response stays positive-real (mpc(real='0.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019', imag='-4.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031'), mpf('100000000.0'))",
000148 |       "passed": true
000149 |     },
000150 |     {
000151 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='0.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000019', imag='-4.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031'), mpf('100000000.0'))",
000152 |       "passed": true
000153 |     },
000154 |     {
000155 |       "label": "Actual analytic response stays positive-real (mpc(real='3.0', imag='1.0'), 0)",
000156 |       "passed": true
000157 |     },
000158 |     {
000159 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='3.0', imag='1.0'), 0)",
000160 |       "passed": true
000161 |     },
000162 |     {
000163 |       "label": "Actual analytic response stays positive-real (mpc(real='3.0', imag='1.0'), mpf('0.5'))",
000164 |       "passed": true
000165 |     },
000166 |     {
000167 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='3.0', imag='1.0'), mpf('0.5'))",
000168 |       "passed": true
000169 |     },
000170 |     {
000171 |       "label": "Actual analytic response stays positive-real (mpc(real='3.0', imag='1.0'), mpf('100000000.0'))",
000172 |       "passed": true
000173 |     },
000174 |     {
000175 |       "label": "Uniform Harnack-Schwarz bound on original conditional function (mpc(real='3.0', imag='1.0'), mpf('100000000.0'))",
000176 |       "passed": true
000177 |     },
000178 |     {
000179 |       "label": "Exact occupation readout is 1/(1-Schur), not raw Cayley output",
000180 |       "passed": true
000181 |     },
000182 |     {
000183 |       "label": "Exact occupation derivative gives nonexpansive constant1 on actual negative Schur range",
000184 |       "passed": true
000185 |     },
000186 |     {
000187 |       "label": "Exact single-quarter finite Blaschke factors N=1",
000188 |       "passed": true
000189 |     },
000190 |     {
000191 |       "label": "Exact shared two-quarter occupation ambiguity N=1",
000192 |       "passed": true
000193 |     },
000194 |     {
000195 |       "label": "Exact single-quarter finite Blaschke factors N=2",
000196 |       "passed": true
000197 |     },
000198 |     {
000199 |       "label": "Exact shared two-quarter occupation ambiguity N=2",
000200 |       "passed": true