TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-POSITIVE-SOURCE-HEAT.json Original file SHA-256: 0b80b32ab1fd6d3e3c6aefc481a7be495c37271e2bf0d59e31a5e7de517f9c7b Inclusive original lines: 1-32 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-POSITIVE-SOURCE-HEAT-20261030", 000003 | "checks": { 000004 | "positive_mixture_mass_one": true, 000005 | "inverse_heat_time_moment_1": true, 000006 | "inverse_heat_time_moment_2": true, 000007 | "positive_mixture_value_u_1": true, 000008 | "positive_mixture_value_u_4": true, 000009 | "squared_argument_moment1_is2": true, 000010 | "squared_argument_moment2_is12": true, 000011 | "shape_invariant3": true, 000012 | "shape_invariant_preserved_by_units": true, 000013 | "cannot_normalize_all_three_to1": true, 000014 | "actual96_C_rebuilt_from_sign_and_positive_factor": true, 000015 | "actual96_X_rebuilt_from_positive_factor": true, 000016 | "actual96_sign_involution": true, 000017 | "actual96_positive_factor_is_contraction": true, 000018 | "actual96_h_and_minus_h_same_positive_factor": true, 000019 | "actual96_h_and_minus_h_different_C": true, 000020 | "actual96_pair_rebuilds_full_G": true, 000021 | "actual96_square_root_argument_identity": true 000022 | }, 000023 | "all_passed": true, 000024 | "profile": "exp(-sqrt(u)) for u=(beta E)^2", 000025 | "moments": [ 000026 | 1, 000027 | 2, 000028 | 12 000029 | ], 000030 | "shape_invariant": 3, 000031 | "scope": "Existing AP factor and full source polar decomposition; analytic all-spectrum subordination, exact scalar integrals and actual96 controls. No identification with physical Sbos or new source/action selection." 000032 | }