TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-OPERATOR-INFORMATION.json
Original file SHA-256: 7b2a14013e1e9af782691fa4e82d01f592dbb052632538b025b4cba8171c2f8b
Inclusive original lines: 1-49
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 |   "contract": "B1-OPERATOR-INFORMATION-20261030",
000003 |   "checks": {
000004 |     "original_Y_MR_trace_orthogonal": true,
000005 |     "radial_source_trace_separates_frame_orbits": true,
000006 |     "radial_trace_difference_formula": true,
000007 |     "full_D_odd_0": true,
000008 |     "boundary_h_not_gamma_odd_0": true,
000009 |     "whole_source_projection_0": true,
000010 |     "logodds_recovers_given_h_0": true,
000011 |     "full_D_odd_1": true,
000012 |     "boundary_h_not_gamma_odd_1": true,
000013 |     "whole_source_projection_1": true,
000014 |     "logodds_recovers_given_h_1": true,
000015 |     "original_radial_family_changes_C": true,
000016 |     "original_radial_family_changes_whole_G": true,
000017 |     "bounded_perturbation_exact": true,
000018 |     "one_particle_weight_is_odds": true,
000019 |     "signed_weight_not_even_heat": true,
000020 |     "fock_density_normalized": true,
000021 |     "fock_occupations_equal_C": true,
000022 |     "alternative_positive_profile_same_f0": true,
000023 |     "alternative_positive_profile_same_f2": true,
000024 |     "alternative_positive_profile_same_f4": true,
000025 |     "alternative_profile_higher_moment_differs": true,
000026 |     "alternative_profile_global_positive": true,
000027 |     "alternative_profile_not_original": true,
000028 |     "alternative_profile_not_positive_laplace": true,
000029 |     "general_variance_expansion": true,
000030 |     "point_measure_moments_exact": true
000031 |   },
000032 |   "all_passed": true,
000033 |   "actual96_Tr_Phi_squared": [
000034 |     1862.0,
000035 |     7238.0
000036 |   ],
000037 |   "actual96_whole_C_change_frobenius": 0.32529486447497286,
000038 |   "actual96_whole_G_change_frobenius": 0.46369288113295803,
000039 |   "positive_profile_counterexample": {
000040 |     "polynomial": "u**3 - 6*u**2 + 6*u",
000041 |     "epsilon": "1/20",
000042 |     "f0": 1,
000043 |     "f2": 1,
000044 |     "f4": 1,
000045 |     "next_moment": "13/5",
000046 |     "positive_multiplier_lower_bound": "4/5 - sqrt(2)/5"
000047 |   },
000048 |   "scope": "Actual v252 structural probes, fixed-mode numerical controls and exact profile counterexample. KK homotopy and unbounded-domain claims use the separate analytic proof; no finite truncation is a proof of those. No physical source or action is selected."
000049 | }