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: 201-400
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.

000201 |     },
000202 |     {
000203 |       "label": "Exact single-quarter finite Blaschke factors N=8",
000204 |       "passed": true
000205 |     },
000206 |     {
000207 |       "label": "Exact shared two-quarter occupation ambiguity N=8",
000208 |       "passed": true
000209 |     },
000210 |     {
000211 |       "label": "Exact single-quarter finite Blaschke factors N=32",
000212 |       "passed": true
000213 |     },
000214 |     {
000215 |       "label": "Exact shared two-quarter occupation ambiguity N=32",
000216 |       "passed": true
000217 |     },
000218 |     {
000219 |       "label": "Exact single-quarter finite Blaschke factors N=1000",
000220 |       "passed": true
000221 |     },
000222 |     {
000223 |       "label": "Exact shared two-quarter occupation ambiguity N=1000",
000224 |       "passed": true
000225 |     },
000226 |     {
000227 |       "label": "Finite multipoint Schur interior pivot 0/2",
000228 |       "passed": true
000229 |     },
000230 |     {
000231 |       "label": "Finite multipoint Schur interior pivot 1/2",
000232 |       "passed": true
000233 |     },
000234 |     {
000235 |       "label": "Actual full diagnostic law lies in finite original-quarter source interval 1",
000236 |       "passed": true
000237 |     },
000238 |     {
000239 |       "label": "Finite reader interval respects analytic ambiguity bound 1",
000240 |       "passed": true
000241 |     },
000242 |     {
000243 |       "label": "Finite multipoint Schur interior pivot 0/4",
000244 |       "passed": true
000245 |     },
000246 |     {
000247 |       "label": "Finite multipoint Schur interior pivot 1/4",
000248 |       "passed": true
000249 |     },
000250 |     {
000251 |       "label": "Finite multipoint Schur interior pivot 2/4",
000252 |       "passed": true
000253 |     },
000254 |     {
000255 |       "label": "Finite multipoint Schur interior pivot 3/4",
000256 |       "passed": true
000257 |     },
000258 |     {
000259 |       "label": "Actual full diagnostic law lies in finite original-quarter source interval 2",
000260 |       "passed": true
000261 |     },
000262 |     {
000263 |       "label": "Finite reader interval respects analytic ambiguity bound 2",
000264 |       "passed": true
000265 |     },
000266 |     {
000267 |       "label": "Finite multipoint Schur interior pivot 0/8",
000268 |       "passed": true
000269 |     },
000270 |     {
000271 |       "label": "Finite multipoint Schur interior pivot 1/8",
000272 |       "passed": true
000273 |     },
000274 |     {
000275 |       "label": "Finite multipoint Schur interior pivot 2/8",
000276 |       "passed": true
000277 |     },
000278 |     {
000279 |       "label": "Finite multipoint Schur interior pivot 3/8",
000280 |       "passed": true
000281 |     },
000282 |     {
000283 |       "label": "Finite multipoint Schur interior pivot 4/8",
000284 |       "passed": true
000285 |     },
000286 |     {
000287 |       "label": "Finite multipoint Schur interior pivot 5/8",
000288 |       "passed": true
000289 |     },
000290 |     {
000291 |       "label": "Finite multipoint Schur interior pivot 6/8",
000292 |       "passed": true
000293 |     },
000294 |     {
000295 |       "label": "Finite multipoint Schur interior pivot 7/8",
000296 |       "passed": true
000297 |     },
000298 |     {
000299 |       "label": "Actual full diagnostic law lies in finite original-quarter source interval 4",
000300 |       "passed": true
000301 |     },
000302 |     {
000303 |       "label": "Finite reader interval respects analytic ambiguity bound 4",
000304 |       "passed": true
000305 |     },
000306 |     {
000307 |       "label": "Finite multipoint Schur interior pivot 0/16",
000308 |       "passed": true
000309 |     },
000310 |     {
000311 |       "label": "Finite multipoint Schur interior pivot 1/16",
000312 |       "passed": true
000313 |     },
000314 |     {
000315 |       "label": "Finite multipoint Schur interior pivot 2/16",
000316 |       "passed": true
000317 |     },
000318 |     {
000319 |       "label": "Finite multipoint Schur interior pivot 3/16",
000320 |       "passed": true
000321 |     },
000322 |     {
000323 |       "label": "Finite multipoint Schur interior pivot 4/16",
000324 |       "passed": true
000325 |     },
000326 |     {
000327 |       "label": "Finite multipoint Schur interior pivot 5/16",
000328 |       "passed": true
000329 |     },
000330 |     {
000331 |       "label": "Finite multipoint Schur interior pivot 6/16",
000332 |       "passed": true
000333 |     },
000334 |     {
000335 |       "label": "Finite multipoint Schur interior pivot 7/16",
000336 |       "passed": true
000337 |     },
000338 |     {
000339 |       "label": "Finite multipoint Schur interior pivot 8/16",
000340 |       "passed": true
000341 |     },
000342 |     {
000343 |       "label": "Finite multipoint Schur interior pivot 9/16",
000344 |       "passed": true
000345 |     },
000346 |     {
000347 |       "label": "Finite multipoint Schur interior pivot 10/16",
000348 |       "passed": true
000349 |     },
000350 |     {
000351 |       "label": "Finite multipoint Schur interior pivot 11/16",
000352 |       "passed": true
000353 |     },
000354 |     {
000355 |       "label": "Finite multipoint Schur interior pivot 12/16",
000356 |       "passed": true
000357 |     },
000358 |     {
000359 |       "label": "Finite multipoint Schur interior pivot 13/16",
000360 |       "passed": true
000361 |     },
000362 |     {
000363 |       "label": "Finite multipoint Schur interior pivot 14/16",
000364 |       "passed": true
000365 |     },
000366 |     {
000367 |       "label": "Finite multipoint Schur interior pivot 15/16",
000368 |       "passed": true
000369 |     },
000370 |     {
000371 |       "label": "Actual full diagnostic law lies in finite original-quarter source interval 8",
000372 |       "passed": true
000373 |     },
000374 |     {
000375 |       "label": "Finite reader interval respects analytic ambiguity bound 8",
000376 |       "passed": true
000377 |     },
000378 |     {
000379 |       "label": "Whole thermal Pick matrix necessary PSD condition on actual diagnostic law",
000380 |       "passed": true
000381 |     },
000382 |     {
000383 |       "label": "Exact triangular inverse recovers entire radial measure and cancels every spurious thermal atom on compact range",
000384 |       "passed": true
000385 |     },
000386 |     {
000387 |       "label": "Exact recovered diagnostic law remains positive and normalized",
000388 |       "passed": true
000389 |     },
000390 |     {
000391 |       "label": "Positive shifted Stieltjes atom alone fails positive original-law deconvolution",
000392 |       "passed": true
000393 |     },
000394 |     {
000395 |       "label": "Exact general finite-prefix null direction by signed maximal minors",
000396 |       "passed": true
000397 |     },
000398 |     {
000399 |       "label": "Finite prefix countercontrols are positive normalized laws in original finite-H class",
000400 |       "passed": true