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: 601-800
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.

000601 |         "alpha": 0.75,
000602 |         "n": 1,
000603 |         "H": "(0j, 0j)",
000604 |         "occupation": 0.9999999997185731
000605 |       },
000606 |       {
000607 |         "alpha": 0.75,
000608 |         "n": 1,
000609 |         "H": "(0.6j, (0.8+0j))",
000610 |         "occupation": 0.8048867663244699
000611 |       },
000612 |       {
000613 |         "alpha": 0.75,
000614 |         "n": 1,
000615 |         "H": "(0j, (2+0j))",
000616 |         "occupation": 0.6795151642099694
000617 |       },
000618 |       {
000619 |         "alpha": 0.75,
000620 |         "n": 3,
000621 |         "H": "(0j, 0j)",
000622 |         "occupation": 1.0
000623 |       },
000624 |       {
000625 |         "alpha": 0.75,
000626 |         "n": 3,
000627 |         "H": "(0.6j, (0.8+0j))",
000628 |         "occupation": 0.9275028805493829
000629 |       },
000630 |       {
000631 |         "alpha": 0.75,
000632 |         "n": 3,
000633 |         "H": "(0j, (2+0j))",
000634 |         "occupation": 0.818033254729222
000635 |       }
000636 |     ],
000637 |     "physical_Y_values_selected": false
000638 |   },
000639 |   "cross_channel_original_diagnostics": [
000640 |     {
000641 |       "p": "0.25",
000642 |       "direct_original96": 0.6750624664140237,
000643 |       "shared_law_prediction": 0.6750624664140236,
000644 |       "new_Y_fit": false
000645 |     },
000646 |     {
000647 |       "p": "1.25",
000648 |       "direct_original96": 0.8688558277780223,
000649 |       "shared_law_prediction": 0.8688558277780223,
000650 |       "new_Y_fit": false
000651 |     }
000652 |   ],
000653 |   "original_free_source_reader": [
000654 |     {
000655 |       "samples": 2,
000656 |       "F_interval": [
000657 |         0.8490193252646291,
000658 |         0.99627207622075
000659 |       ],
000660 |       "source": "actual given elliptic zero-H right complement",
000661 |       "carrier_identity_is_hypothesis": true,
000662 |       "positive_radial_law_forced": "delta_u0 only within this marked conditional identification"
000663 |     },
000664 |     {
000665 |       "samples": 4,
000666 |       "F_interval": [
000667 |         0.9551859835709214,
000668 |         0.99627207622075
000669 |       ],
000670 |       "source": "actual given elliptic zero-H right complement",
000671 |       "carrier_identity_is_hypothesis": true,
000672 |       "positive_radial_law_forced": "delta_u0 only within this marked conditional identification"
000673 |     },
000674 |     {
000675 |       "samples": 8,
000676 |       "F_interval": [
000677 |         0.9852243852852324,
000678 |         0.99627207622075
000679 |       ],
000680 |       "source": "actual given elliptic zero-H right complement",
000681 |       "carrier_identity_is_hypothesis": true,
000682 |       "positive_radial_law_forced": "delta_u0 only within this marked conditional identification"
000683 |     }
000684 |   ],
000685 |   "finite_pairwise_bounds": [
000686 |     {
000687 |       "samples_per_quarter": 1,
000688 |       "occupation_pairwise_bound": "2/15"
000689 |     },
000690 |     {
000691 |       "samples_per_quarter": 2,
000692 |       "occupation_pairwise_bound": "2/63"
000693 |     },
000694 |     {
000695 |       "samples_per_quarter": 8,
000696 |       "occupation_pairwise_bound": "2/1023"
000697 |     },
000698 |     {
000699 |       "samples_per_quarter": 32,
000700 |       "occupation_pairwise_bound": "2/16383"
000701 |     },
000702 |     {
000703 |       "samples_per_quarter": 1000,
000704 |       "occupation_pairwise_bound": "2/15999999"
000705 |     }
000706 |   ],
000707 |   "finite_source_reader_diagnostics": [
000708 |     {
000709 |       "samples": 2,
000710 |       "F_target": 0.36510529507925826,
000711 |       "F_interval": [
000712 |         0.3314863450726984,
000713 |         0.4094075912015353
000714 |       ],
000715 |       "occupation_interval": [
000716 |         0.6657431725363492,
000717 |         0.7047037956007677
000718 |       ],
000719 |       "physical_law_selected": false
000720 |     },
000721 |     {
000722 |       "samples": 4,
000723 |       "F_target": 0.36510529507925826,
000724 |       "F_interval": [
000725 |         0.35323063088106144,
000726 |         0.3708723399973492
000727 |       ],
000728 |       "occupation_interval": [
000729 |         0.6766153154405307,
000730 |         0.6854361699986746
000731 |       ],
000732 |       "physical_law_selected": false
000733 |     },
000734 |     {
000735 |       "samples": 8,
000736 |       "F_target": 0.36510529507925826,
000737 |       "F_interval": [
000738 |         0.3621577131817057,
000739 |         0.36611628701772386
000740 |       ],
000741 |       "occupation_interval": [
000742 |         0.6810788565908529,
000743 |         0.683058143508862
000744 |       ],
000745 |       "physical_law_selected": false
000746 |     },
000747 |     {
000748 |       "samples": 16,
000749 |       "F_target": 0.36510529507925826,
000750 |       "F_interval": [
000751 |         0.3643876108480452,
000752 |         0.36519957436954414
000753 |       ],
000754 |       "occupation_interval": [
000755 |         0.6821938054240226,
000756 |         0.6825997871847721
000757 |       ],
000758 |       "physical_law_selected": false
000759 |     }
000760 |   ],
000761 |   "exact_deconvolution": {
000762 |     "original_radial_atoms": {
000763 |       "0": "1/5",
000764 |       "1/2": "1/4",
000765 |       "7/3": "1/3",
000766 |       "20/3": "13/60"
000767 |     },
000768 |     "range": "30",
000769 |     "recovered_nonzero_atoms": {
000770 |       "0": "1/5",
000771 |       "1/2": "1/4",
000772 |       "7/3": "1/3",
000773 |       "20/3": "13/60"
000774 |     },
000775 |     "inferred_candidate_atoms": 57,
000776 |     "physical_law_selected": false
000777 |   },
000778 |   "noncompact_infinite_mean_diagnostic": [
000779 |     {
000780 |       "p": "0.25",
000781 |       "F": 0.15062715326130818,
000782 |       "finite_mean_assumed": false
000783 |     },
000784 |     {
000785 |       "p": "1.25",
000786 |       "F": 0.4993122050904376,
000787 |       "finite_mean_assumed": false
000788 |     }
000789 |   ],
000790 |   "R062_extra_mode_discrepancy": 2.1843012276435023e-05,
000791 |   "finite_prefix_counterexample": {
000792 |     "modes": [
000793 |       "0.25",
000794 |       "1.25"
000795 |     ],
000796 |     "common_radial_support": [
000797 |       "0.0",
000798 |       "0.25",
000799 |       "1.0",
000800 |       "4.0"