TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CURRENT-ACTION-ARGUMENT.json Original file SHA-256: dbb88c5d55394a597e8cb8298a5472e47c2efd9c9e09870f34a0e653db2ce02d Inclusive original lines: 1-58 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": "CURRENT-ACTION-ARGUMENT-20261031", 000003 | "all_passed": true, 000004 | "checks": { 000005 | "heat_squared_argument_moments_1_1_1": true, 000006 | "original_positive_source_in_squared_argument_moments_1_2_12": true, 000007 | "Dirac_and_squared_argument_dictionary_poisson": true, 000008 | "Dirac_and_squared_argument_dictionary_heat": true, 000009 | "printed_triplet_is_neither_heat_nor_poisson": true, 000010 | "printed_triplet_excluded_from_entire_positive_Laplace_cone": true, 000011 | "Poisson_Higgs_and_Einstein_weight_matches_printed_a2_a4": true, 000012 | "relative_same_symbol_a0_cancels": true, 000013 | "unscaled_reference_keeps_nonzero_scaled_volume_jet": true, 000014 | "exact_Poisson_constant_fibre_integral": true, 000015 | "exact_heat_constant_fibre_integral": true, 000016 | "Poisson_a0_weight_12": true, 000017 | "Poisson_a2_weight_2": true, 000018 | "Poisson_a4_weight_1": true, 000019 | "heat_a0_weight_1": true, 000020 | "heat_a2_weight_1": true, 000021 | "heat_a4_weight_1": true, 000022 | "Poisson_remainder_need_not_be_heat_even_power_remainder": true, 000023 | "current_Poisson_whole_Higgs_response": true, 000024 | "canonical_Poisson_mu_squared": true, 000025 | "canonical_heat_mu_squared": true, 000026 | "same_canonical_quartic": true, 000027 | "current_conditional_Higgs_threshold": true, 000028 | "same_weight_multiplies_original_Einstein_a2": true, 000029 | "no_new_resolution_of_archived_factor_six": true 000030 | }, 000031 | "values": { 000032 | "ordinary_heat_coefficient_order": [ 000033 | "a0", 000034 | "a2", 000035 | "a4" 000036 | ], 000037 | "heat_weights": [ 000038 | 1, 000039 | 1, 000040 | 1 000041 | ], 000042 | "Poisson_weights": [ 000043 | 12, 000044 | 2, 000045 | 1 000046 | ], 000047 | "printed_v255_v259_weights": [ 000048 | 2, 000049 | 2, 000050 | 1 000051 | ], 000052 | "printed_positive_Laplace_Gram_determinant": -2, 000053 | "independent_phase_space_Poisson_series": "m**6*x**6/24 - 2*m**5*x**5/15 + m**4*x**4/4 - m**2*x**2 + 6", 000054 | "independent_phase_space_heat_series": "-m**6*x**6/12 + m**4*x**4/4 - m**2*x**2/2 + 1/2", 000055 | "mu_squared_Poisson": "-R/6 + 4*chi**2 - 4*C/A", 000056 | "scope": "Conditional same ordinary4D Dirac consumer and original whole96 moments. No identification of positive boundaryQ with original bosonic fullK or Tr_rel. R016/R017/R019 reused,not reclassified as new findings. a0 obstruction does not apply after its exact same-symbol relative cancellation." 000057 | } 000058 | }