TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/finite-results.json Original file SHA-256: 5e2a5e1c792cf5d6cb9459c49e301a5c9dc53c6ad0094ab10ad16ab6d921b27b Inclusive original lines: 1-21 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 | "all_pass": true, 000003 | "checks": { 000004 | "actual_dimension": true, 000005 | "actual_phi_selfadjoint": true, 000006 | "actual_phi_odd": true, 000007 | "actual_total_B_even": true, 000008 | "C_B_anticommutes": true, 000009 | "new_C_antilinear": true, 000010 | "E_isometry": true, 000011 | "E_positive_total_chirality": true, 000012 | "whole_original_mass_operator_intertwiner": true, 000013 | "selfadjoint_h": true, 000014 | "squared_h": true, 000015 | "profile_second_derivative_coefficient": true, 000016 | "profile_first_derivative_coefficient": true, 000017 | "profile_zeroth_coefficient_retains_derivative": true 000018 | }, 000019 | "constructor_sha256": "820254440e178430422e50605067775656236602996307f67c9e69124ba5d163", 000020 | "scope": "Full actual finite coefficient and smooth classical profile jets; not physical quantization or bosonic state selection." 000021 | }