TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-CIRCLE-HIGGS-MEASURE.json
Original file SHA-256: 2d77749d0b7d952baeac5d27855496e8b78f22f08777ae8fb0ffe193b4fb356b
Inclusive original lines: 1-176
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 |   "all_passed": true,
000003 |   "checks": {
000004 |     "whole96_phi_selfadjoint_0": true,
000005 |     "whole96_odd_grading_0": true,
000006 |     "actual_whole_square_0_0.25_1": true,
000007 |     "exact_trace_factorization_0_0.25_1": true,
000008 |     "whole_uniform_heat_bound_0_0.25_1": true,
000009 |     "whole_uniform_Poisson_bound_0_0.25_1": true,
000010 |     "actual_whole_square_0_0.25_4": true,
000011 |     "exact_trace_factorization_0_0.25_4": true,
000012 |     "whole_uniform_heat_bound_0_0.25_4": true,
000013 |     "whole_uniform_Poisson_bound_0_0.25_4": true,
000014 |     "actual_whole_square_0_0.75_1": true,
000015 |     "exact_trace_factorization_0_0.75_1": true,
000016 |     "whole_uniform_heat_bound_0_0.75_1": true,
000017 |     "whole_uniform_Poisson_bound_0_0.75_1": true,
000018 |     "actual_whole_square_0_0.75_4": true,
000019 |     "exact_trace_factorization_0_0.75_4": true,
000020 |     "whole_uniform_heat_bound_0_0.75_4": true,
000021 |     "whole_uniform_Poisson_bound_0_0.75_4": true,
000022 |     "whole96_phi_selfadjoint_1": true,
000023 |     "whole96_odd_grading_1": true,
000024 |     "actual_whole_square_1_0.25_1": true,
000025 |     "exact_trace_factorization_1_0.25_1": true,
000026 |     "whole_uniform_heat_bound_1_0.25_1": true,
000027 |     "whole_uniform_Poisson_bound_1_0.25_1": true,
000028 |     "actual_whole_square_1_0.25_4": true,
000029 |     "exact_trace_factorization_1_0.25_4": true,
000030 |     "whole_uniform_heat_bound_1_0.25_4": true,
000031 |     "whole_uniform_Poisson_bound_1_0.25_4": true,
000032 |     "actual_whole_square_1_0.75_1": true,
000033 |     "exact_trace_factorization_1_0.75_1": true,
000034 |     "whole_uniform_heat_bound_1_0.75_1": true,
000035 |     "whole_uniform_Poisson_bound_1_0.75_1": true,
000036 |     "actual_whole_square_1_0.75_4": true,
000037 |     "exact_trace_factorization_1_0.75_4": true,
000038 |     "whole_uniform_heat_bound_1_0.75_4": true,
000039 |     "whole_uniform_Poisson_bound_1_0.75_4": true,
000040 |     "whole96_phi_selfadjoint_2": true,
000041 |     "whole96_odd_grading_2": true,
000042 |     "actual_whole_square_2_0.25_1": true,
000043 |     "exact_trace_factorization_2_0.25_1": true,
000044 |     "whole_uniform_heat_bound_2_0.25_1": true,
000045 |     "whole_uniform_Poisson_bound_2_0.25_1": true,
000046 |     "actual_whole_square_2_0.25_4": true,
000047 |     "exact_trace_factorization_2_0.25_4": true,
000048 |     "whole_uniform_heat_bound_2_0.25_4": true,
000049 |     "whole_uniform_Poisson_bound_2_0.25_4": true,
000050 |     "actual_whole_square_2_0.75_1": true,
000051 |     "exact_trace_factorization_2_0.75_1": true,
000052 |     "whole_uniform_heat_bound_2_0.75_1": true,
000053 |     "whole_uniform_Poisson_bound_2_0.75_1": true,
000054 |     "actual_whole_square_2_0.75_4": true,
000055 |     "exact_trace_factorization_2_0.75_4": true,
000056 |     "whole_uniform_heat_bound_2_0.75_4": true,
000057 |     "whole_uniform_Poisson_bound_2_0.75_4": true,
000058 |     "infinite_Poisson_partial_plus_exact_tails": true,
000059 |     "quarter_conjugate_baseline_equal": true,
000060 |     "uniform_joint_IR_bound_vanishes": true,
000061 |     "exact_odd_Hermitian_square_countercheck": true
000062 |   },
000063 |   "details": {
000064 |     "constructor_controls": [
000065 |       {
000066 |         "H": "(0j, 0j)",
000067 |         "alpha": 0.25,
000068 |         "N": 1,
000069 |         "heat": 158.36548319374452,
000070 |         "heat_bound": 170.15556968692954,
000071 |         "even_Poisson": 142.4914111588865,
000072 |         "Poisson_bound": 190.01448783849602
000073 |       },
000074 |       {
000075 |         "H": "(0j, 0j)",
000076 |         "alpha": 0.25,
000077 |         "N": 4,
000078 |         "heat": 163.3083095727835,
000079 |         "heat_bound": 170.15556968692954,
000080 |         "even_Poisson": 181.771068213087,
000081 |         "Poisson_bound": 190.01448783849602
000082 |       },
000083 |       {
000084 |         "H": "(0j, 0j)",
000085 |         "alpha": 0.75,
000086 |         "N": 1,
000087 |         "heat": 143.3618485363595,
000088 |         "heat_bound": 170.15556968692954,
000089 |         "even_Poisson": 132.02252448538172,
000090 |         "Poisson_bound": 190.01448783849602
000091 |       },
000092 |       {
000093 |         "H": "(0j, 0j)",
000094 |         "alpha": 0.75,
000095 |         "N": 4,
000096 |         "heat": 163.30830826920348,
000097 |         "heat_bound": 170.15556968692954,
000098 |         "even_Poisson": 181.24404067946116,
000099 |         "Poisson_bound": 190.01448783849602
000100 |       },
000101 |       {
000102 |         "H": "(0.6j, (0.8+0j))",
000103 |         "alpha": 0.25,
000104 |         "N": 1,
000105 |         "heat": 50.48123391581466,
000106 |         "heat_bound": 170.15556968692954,
000107 |         "even_Poisson": 64.29387650426001,
000108 |         "Poisson_bound": 190.01448783849602
000109 |       },
000110 |       {
000111 |         "H": "(0.6j, (0.8+0j))",
000112 |         "alpha": 0.25,
000113 |         "N": 4,
000114 |         "heat": 52.05682961769032,
000115 |         "heat_bound": 170.15556968692954,
000116 |         "even_Poisson": 88.98946597066802,
000117 |         "Poisson_bound": 190.01448783849602
000118 |       },
000119 |       {
000120 |         "H": "(0.6j, (0.8+0j))",
000121 |         "alpha": 0.75,
000122 |         "N": 1,
000123 |         "heat": 45.69861351487622,
000124 |         "heat_bound": 170.15556968692954,
000125 |         "even_Poisson": 59.44880133197628,
000126 |         "Poisson_bound": 190.01448783849602
000127 |       },
000128 |       {
000129 |         "H": "(0.6j, (0.8+0j))",
000130 |         "alpha": 0.75,
000131 |         "N": 4,
000132 |         "heat": 52.05682920215579,
000133 |         "heat_bound": 170.15556968692954,
000134 |         "even_Poisson": 88.61835710983448,
000135 |         "Poisson_bound": 190.01448783849602
000136 |       },
000137 |       {
000138 |         "H": "((1+2j), (3-1j))",
000139 |         "alpha": 0.25,
000140 |         "N": 1,
000141 |         "heat": 19.14009254403653,
000142 |         "heat_bound": 170.15556968692954,
000143 |         "even_Poisson": 23.64760665937934,
000144 |         "Poisson_bound": 190.01448783849602
000145 |       },
000146 |       {
000147 |         "H": "((1+2j), (3-1j))",
000148 |         "alpha": 0.25,
000149 |         "N": 4,
000150 |         "heat": 19.73748379632204,
000151 |         "heat_bound": 170.15556968692954,
000152 |         "even_Poisson": 32.94415462026256,
000153 |         "Poisson_bound": 190.01448783849602
000154 |       },
000155 |       {
000156 |         "H": "((1+2j), (3-1j))",
000157 |         "alpha": 0.75,
000158 |         "N": 1,
000159 |         "heat": 17.326749446488325,
000160 |         "heat_bound": 170.15556968692954,
000161 |         "even_Poisson": 21.81165397016406,
000162 |         "Poisson_bound": 190.01448783849602
000163 |       },
000164 |       {
000165 |         "H": "((1+2j), (3-1j))",
000166 |         "alpha": 0.75,
000167 |         "N": 4,
000168 |         "heat": 19.737483638771028,
000169 |         "heat_bound": 170.15556968692954,
000170 |         "even_Poisson": 32.80489339130923,
000171 |         "Poisson_bound": 190.01448783849602
000172 |       }
000173 |     ]
000174 |   },
000175 |   "scope": "Whole original constant quarter-circle and already given compact product only;uniform positive Laplace trace-class baseline;no actual Higgs measure selected,no general variable-field/fermion joint-limit/no-go claim,no new Lean"
000176 | }