TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-SCALE-ENERGY-RECONSTRUCTION.json
Original file SHA-256: 5dbbbc34ae521765422716d2e1421c27bae3b73f5494fa5cac9d12fe7187985b
Inclusive original lines: 1-35
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": "WHOLE-SCALE-ENERGY-RECONSTRUCTION-20261031",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "original_normal_and_coupled_block_contract": true,
000006 |     "full_variable_scale_null_solution_transport": true,
000007 |     "nonzero_energy_weight_exact_without_commutation": true,
000008 |     "unweighted_energy_substitution_has_nonzero_defect": true,
000009 |     "nonconstant_scale_operator_variation_is_anticommutator": true,
000010 |     "independent_whole_transfer_energy_derivative_gives_flat_moments": true,
000011 |     "unchanged_original_flat_source_recovers_whole_profile_one": true,
000012 |     "normal_profile_mutation_transfer_moment_0": true,
000013 |     "normal_profile_mutation_transfer_moment_1": true,
000014 |     "normal_profile_mutation_transfer_moment_2": true,
000015 |     "same_inverse_recovers_positive_profile_mutation_without_scan": true,
000016 |     "chiral_variation_is_half_whole_trace_not_naive_inserted_half": true,
000017 |     "FP_and_logdet_read_different_Laurent_coefficients": true,
000018 |     "smeared_Higgs_divergence_cannot_be_dropped": true,
000019 |     "local_Higgs_divergence_coefficient_from_full_heat_trace": true
000020 |   },
000021 |   "details": {
000022 |     "flat_transfer_moment_max_abs_error": "1.2272734e-91",
000023 |     "flat_reconstruction_coefficients": [
000024 |       "1.0",
000025 |       "2.117707e-84",
000026 |       "-1.151983e-83",
000027 |       "3.221671e-83",
000028 |       "-4.7724739e-83",
000029 |       "3.5567906e-83",
000030 |       "-1.0484068e-83"
000031 |     ],
000032 |     "diagnostics_only": "Numerical inversion of the existing historical odd block and one positive profile mutation; not a measured TFPT scale,full3+1D fit or infinite-data stability proof."
000033 |   },
000034 |   "scope": "Analytic proof supplies whole profile uniqueness using the cited Muntz theorem. Controls test differential identities,independent energy response,Gram inversion,Laurent coefficients and a false chiral-weight shortcut. No new physical source,Y/MR,domain or metric selected;no new Lean formalization."
000035 | }