TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HIGGS-SUPERCONNECTION-REDUCTION.json
Original file SHA-256: 3b55330fb9f7f03acc77657e0a3b24d03c20c976aa2fc87b7f8ad3c3d68c1c94
Inclusive original lines: 1-43
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-HIGGS-SUPERCONNECTION-REDUCTION-20261031",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "Euclidean_Clifford_and_chirality": true,
000006 |     "all_four_derivative_spin_components_orthogonal_to_all_six_curvatures": true,
000007 |     "all_four_derivative_components_have_exact_unit_projection": true,
000008 |     "derivative_spin_trace_and_mixed_scalar_trace_vanish": true,
000009 |     "derivative_spin_matrices_are_Hermitian": true,
000010 |     "whole_derivative_square_spin_trace": true,
000011 |     "constant_field_heat_ratio_remains_minus12": true,
000012 |     "actual_original96_chirality_projection_annihilates_odd_vertex": true,
000013 |     "actual_original96_square_projection_defect_is_not_zero": true,
000014 |     "actual_original96_Higgs_defect_trace_is_Au_half": true,
000015 |     "actual_original96_projection_defect_has_positive_Gram_form": true,
000016 |     "actual_original96_mass_square_commutes_with_finite_chirality": true,
000017 |     "actual_original96_derivative_moment_direction_0": true,
000018 |     "actual_original96_weighted_heat_retains_half_kinetic_direction_0": true,
000019 |     "actual_original96_derivative_moment_direction_1": true,
000020 |     "actual_original96_weighted_heat_retains_half_kinetic_direction_1": true,
000021 |     "actual_original96_derivative_moment_direction_2": true,
000022 |     "actual_original96_weighted_heat_retains_half_kinetic_direction_2": true,
000023 |     "actual_original96_derivative_moment_direction_3": true,
000024 |     "actual_original96_weighted_heat_retains_half_kinetic_direction_3": true,
000025 |     "complete_block_inverse_including_all_exterior_entries": true,
000026 |     "finite_determinant_includes_exterior_factor": true,
000027 |     "complete_sources_have_two_shifted_legs_and_direct_exterior_term": true,
000028 |     "Schur_spectral_derivative_has_exterior_weight": true,
000029 |     "full_resolvent_trace_needs_log_derivative_and_exterior": true,
000030 |     "naive_projected_resolvent_trace_is_not_whole_trace": true,
000031 |     "positive_squared_operator_resolvent_uses_both_signed_resolvents": true,
000032 |     "complete_Schur_jet_0_retains_background_and_exterior": true,
000033 |     "complete_Schur_jet_1_retains_background_and_exterior": true,
000034 |     "complete_Schur_jet_2_retains_background_and_exterior": true,
000035 |     "complete_Schur_jet_3_retains_background_and_exterior": true,
000036 |     "complete_Schur_jet_4_retains_background_and_exterior": true,
000037 |     "full_logdet_H2_jet_equals_original_unsplit_matrix": true,
000038 |     "full_logdet_H4_jet_equals_original_unsplit_matrix": true,
000039 |     "noncommuting_Higgs_jet_blocks_are_actually_noncommuting": true,
000040 |     "noncommuting_fourth_jet_cyclic_ordering_is_correct": true
000041 |   },
000042 |   "scope": "Existing conditional spin4/full96 original consumer; exact finite block identities and jets. Three/four-slot diagnostics are identity tests, not chosen physical normal operators. Actual normal projection, domain, weighted trace and infinite relative continuation remain original inputs; no new Lean proof or physical closure."
000043 | }