TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE.json
Original file SHA-256: e2bd564ab89a6c894ceaac4321dce721e07ac93883c42341a9d23b210abe031d
Inclusive original lines: 1-28
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": "ORIGINAL-DYNAMICAL-HIGGS-SOURCE-20261031",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "all288_original_real_basis_images_equal_whole96_Higgs_derivatives": true,
000006 |     "all288_images_Hermitian_odd_and_JF_real": true,
000007 |     "four_real_components_reconstruct_original_quaternion": true,
000008 |     "quaternion_norm_keeps_whole_H_direction": true,
000009 |     "all_moments_to8fermions_equal_full_cumulant_source": true,
000010 |     "first_induced_nu_up_fourfermion_is_minus_covariance_times_given_Ys": true,
000011 |     "sixfermion_retains_third_boson_cumulant": true,
000012 |     "eightfermion_retains_fourth_boson_cumulant": true,
000013 |     "complex_H2_cross_fourfermion_has_no_extra_factor_two": true,
000014 |     "old_charged_skew_pair_Pfaffian_equals_oriented_single_determinant": true,
000015 |     "Pfaffian_not_squared_determinant": true,
000016 |     "singular_case_keeps_source_coefficients_without_inverse": true,
000017 |     "commuting_marginal_control_has_positive_normalized_measure": true,
000018 |     "separate_marginal_reflected_forms_are_product_positive": true,
000019 |     "mixed_reflected_form_is_negative_despite_commutation": true,
000020 |     "even_half_actions_commute": true,
000021 |     "whole_even_interaction_exponential_sews_exactly": true
000022 |   },
000023 |   "original_basis_images": 288,
000024 |   "Yukawa_coordinates": "72 real coefficient basis directions of supplied four 3x3 matrices, no search or selection",
000025 |   "first_common_cross_action_coefficient": "-G_h2_h2bar * Ynu[a,b] * conjugate(Yu[d,c])",
000026 |   "counterexample_mixed_reflected_form": "-1/2",
000027 |   "scope": "Actual full96 original real Higgs consumer; complete induced finite source at given original boson moments. No physical boson measure chosen, joint original reflection not inferred from JF, no continuum/TOE promotion."
000028 | }