TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/EXACT-CUTOFF-HIGGS-MEASURE.json
Original file SHA-256: 85b3d9ee4820a6d0f1db8bb35c3fbf56b1808e2841252df910ebf9bae8253391
Inclusive original lines: 1-70
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 |     "native96_Hermitian_0": true,
000005 |     "whole96_heat_trace_bounded_0": true,
000006 |     "whole96_even_Poisson_trace_bounded_0": true,
000007 |     "native96_Hermitian_1": true,
000008 |     "whole96_heat_trace_bounded_1": true,
000009 |     "whole96_even_Poisson_trace_bounded_1": true,
000010 |     "native96_Hermitian_2": true,
000011 |     "whole96_heat_trace_bounded_2": true,
000012 |     "whole96_even_Poisson_trace_bounded_2": true,
000013 |     "native96_Hermitian_3": true,
000014 |     "whole96_heat_trace_bounded_3": true,
000015 |     "whole96_even_Poisson_trace_bounded_3": true,
000016 |     "native96_Hermitian_4": true,
000017 |     "whole96_heat_trace_bounded_4": true,
000018 |     "whole96_even_Poisson_trace_bounded_4": true,
000019 |     "native96_Hermitian_5": true,
000020 |     "whole96_heat_trace_bounded_5": true,
000021 |     "whole96_even_Poisson_trace_bounded_5": true,
000022 |     "nontrivial_native96_radial_response": true,
000023 |     "exact_regulated_flat_C2_partition": true,
000024 |     "exact_regulated_flat_ball_mass": true,
000025 |     "bounded_ball_mass_lost_at_zero_regulator": true,
000026 |     "ball_mass_leading_coefficient": true,
000027 |     "flat_partition_diverges": true,
000028 |     "radial_H2_moment_diverges": true,
000029 |     "cone_radial_primitive_derivative": true,
000030 |     "cone_radial_integral_diverges": true,
000031 |     "quartic_truncation_not_exact_large_amplitude": true,
000032 |     "odd_moment_can_vanish_despite_escape": true,
000033 |     "constant_normalized_observable_converges": true
000034 |   },
000035 |   "details": {
000036 |     "native96_controls": [
000037 |       {
000038 |         "radius": 0.0,
000039 |         "heat": 86.55455780365352,
000040 |         "even_Poisson": 71.91332964420153
000041 |       },
000042 |       {
000043 |         "radius": 1.0,
000044 |         "heat": 27.5904874651292,
000045 |         "even_Poisson": 28.933499233990297
000046 |       },
000047 |       {
000048 |         "radius": 2.0,
000049 |         "heat": 18.169410918700947,
000050 |         "even_Poisson": 17.380291330941773
000051 |       },
000052 |       {
000053 |         "radius": 4.0,
000054 |         "heat": 10.10088845458483,
000055 |         "even_Poisson": 10.061491315693836
000056 |       },
000057 |       {
000058 |         "radius": 16.0,
000059 |         "heat": 0.12709903300326447,
000060 |         "even_Poisson": 1.4497933484991092
000061 |       },
000062 |       {
000063 |         "radius": 64.0,
000064 |         "heat": 7.686140657203605e-31,
000065 |         "even_Poisson": 0.0025034303557697015
000066 |       }
000067 |     ]
000068 |   },
000069 |   "scope": "Fixed-rank bounded cutoff and ordinary noncompact C2 volume only; no actual physical measure selection, no continuum/no-go claim, no new Lean"
000070 | }