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: 401-600
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.

000401 |     },
000402 |     {
000403 |       "label": "Distinct exact cofactor laws agree on supplied finite original-quarter prefix",
000404 |       "passed": true
000405 |     },
000406 |     {
000407 |       "label": "Additional actual quarter mode distinguishes finite-prefix ambiguity",
000408 |       "passed": true
000409 |     },
000410 |     {
000411 |       "label": "Positive nonzero original H strictly changes given free right occupation 0.25",
000412 |       "passed": true
000413 |     },
000414 |     {
000415 |       "label": "Positive nonzero original H strictly changes given free right occupation 0.75",
000416 |       "passed": true
000417 |     },
000418 |     {
000419 |       "label": "R062 actual same two/four-field law ambiguity retained at fixed original mode",
000420 |       "passed": true
000421 |     },
000422 |     {
000423 |       "label": "R062 exact six-field discrepancy replayed without Wick replacement",
000424 |       "passed": true
000425 |     },
000426 |     {
000427 |       "label": "Whole actual quarter route distinguishes R062 finite-marginal ambiguity using an additional two-field answer",
000428 |       "passed": true
000429 |     },
000430 |     {
000431 |       "label": "Radial density 1/(1+u)^2 is allowed despite infinite Higgs u moment",
000432 |       "passed": true
000433 |     },
000434 |     {
000435 |       "label": "No-finite-moment source response exists in same original class at 0.25",
000436 |       "passed": true
000437 |     },
000438 |     {
000439 |       "label": "No-finite-moment source response exists in same original class at 1.25",
000440 |       "passed": true
000441 |     },
000442 |     {
000443 |       "label": "Finite multipoint Schur interior pivot 0/2",
000444 |       "passed": true
000445 |     },
000446 |     {
000447 |       "label": "Finite multipoint Schur interior pivot 1/2",
000448 |       "passed": true
000449 |     },
000450 |     {
000451 |       "label": "Given original free elliptic covariance replayed in explicit identity-map candidate 1",
000452 |       "passed": true
000453 |     },
000454 |     {
000455 |       "label": "Finite multipoint Schur interior pivot 0/4",
000456 |       "passed": true
000457 |     },
000458 |     {
000459 |       "label": "Finite multipoint Schur interior pivot 1/4",
000460 |       "passed": true
000461 |     },
000462 |     {
000463 |       "label": "Finite multipoint Schur interior pivot 2/4",
000464 |       "passed": true
000465 |     },
000466 |     {
000467 |       "label": "Finite multipoint Schur interior pivot 3/4",
000468 |       "passed": true
000469 |     },
000470 |     {
000471 |       "label": "Given original free elliptic covariance replayed in explicit identity-map candidate 2",
000472 |       "passed": true
000473 |     },
000474 |     {
000475 |       "label": "Finite multipoint Schur interior pivot 0/8",
000476 |       "passed": true
000477 |     },
000478 |     {
000479 |       "label": "Finite multipoint Schur interior pivot 1/8",
000480 |       "passed": true
000481 |     },
000482 |     {
000483 |       "label": "Finite multipoint Schur interior pivot 2/8",
000484 |       "passed": true
000485 |     },
000486 |     {
000487 |       "label": "Finite multipoint Schur interior pivot 3/8",
000488 |       "passed": true
000489 |     },
000490 |     {
000491 |       "label": "Finite multipoint Schur interior pivot 4/8",
000492 |       "passed": true
000493 |     },
000494 |     {
000495 |       "label": "Finite multipoint Schur interior pivot 5/8",
000496 |       "passed": true
000497 |     },
000498 |     {
000499 |       "label": "Finite multipoint Schur interior pivot 6/8",
000500 |       "passed": true
000501 |     },
000502 |     {
000503 |       "label": "Finite multipoint Schur interior pivot 7/8",
000504 |       "passed": true
000505 |     },
000506 |     {
000507 |       "label": "Given original free elliptic covariance replayed in explicit identity-map candidate 4",
000508 |       "passed": true
000509 |     },
000510 |     {
000511 |       "label": "Recovered quark radial law predicts actual charged-lepton original96 source 0.25",
000512 |       "passed": true
000513 |     },
000514 |     {
000515 |       "label": "Recovered quark radial law predicts actual charged-lepton original96 source 1.25",
000516 |       "passed": true
000517 |     },
000518 |     {
000519 |       "label": "Same radial tower does not determine angular conditional source without existing weak-invariance premise",
000520 |       "passed": true
000521 |     }
000522 |   ],
000523 |   "original_builder": {
000524 |     "seed": 252,
000525 |     "y_squared": 5.173928975873014,
000526 |     "ell": "2pi original elliptic normalization",
000527 |     "mode_checks": [
000528 |       {
000529 |         "alpha": 0.25,
000530 |         "n": 0,
000531 |         "H": "(0j, 0j)",
000532 |         "occupation": 0.9585761678336372
000533 |       },
000534 |       {
000535 |         "alpha": 0.25,
000536 |         "n": 0,
000537 |         "H": "(0.6j, (0.8+0j))",
000538 |         "occupation": 0.5546251200362441
000539 |       },
000540 |       {
000541 |         "alpha": 0.25,
000542 |         "n": 0,
000543 |         "H": "(0j, (2+0j))",
000544 |         "occupation": 0.527435634004334
000545 |       },
000546 |       {
000547 |         "alpha": 0.25,
000548 |         "n": 1,
000549 |         "H": "(0j, 0j)",
000550 |         "occupation": 0.9999998492982952
000551 |       },
000552 |       {
000553 |         "alpha": 0.25,
000554 |         "n": 1,
000555 |         "H": "(0.6j, (0.8+0j))",
000556 |         "occupation": 0.7408048056483427
000557 |       },
000558 |       {
000559 |         "alpha": 0.25,
000560 |         "n": 1,
000561 |         "H": "(0j, (2+0j))",
000562 |         "occupation": 0.6324752787390122
000563 |       },
000564 |       {
000565 |         "alpha": 0.25,
000566 |         "n": 3,
000567 |         "H": "(0j, 0j)",
000568 |         "occupation": 1.0
000569 |       },
000570 |       {
000571 |         "alpha": 0.25,
000572 |         "n": 3,
000573 |         "H": "(0.6j, (0.8+0j))",
000574 |         "occupation": 0.9096380332417328
000575 |       },
000576 |       {
000577 |         "alpha": 0.25,
000578 |         "n": 3,
000579 |         "H": "(0j, (2+0j))",
000580 |         "occupation": 0.7906506322651904
000581 |       },
000582 |       {
000583 |         "alpha": 0.75,
000584 |         "n": 0,
000585 |         "H": "(0j, 0j)",
000586 |         "occupation": 0.9999193069943163
000587 |       },
000588 |       {
000589 |         "alpha": 0.75,
000590 |         "n": 0,
000591 |         "H": "(0.6j, (0.8+0j))",
000592 |         "occupation": 0.6565706870466326
000593 |       },
000594 |       {
000595 |         "alpha": 0.75,
000596 |         "n": 0,
000597 |         "H": "(0j, (2+0j))",
000598 |         "occupation": 0.5813332002432378
000599 |       },
000600 |       {