TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/FUNCTOR-check.json
Original file SHA-256: 96a86192e72ea1cf7dd7270f3ac4b9236743cf6ab966d77cb60a930785fe1750
Inclusive original lines: 1-30
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_passed": true,
000003 |   "checks": {
000004 |     "actual_full96": true,
000005 |     "full_U_unitary": true,
000006 |     "transported_grading": true,
000007 |     "normal_matrix_transport": true,
000008 |     "tauS_transport": true,
000009 |     "tauT_transport": true,
000010 |     "native_Jloc_transport": true,
000011 |     "native_JF_anti_grading": true,
000012 |     "native_JF_Phi": true,
000013 |     "whole_D_transport": true,
000014 |     "actual_tau_S_reference": true,
000015 |     "reference_S_whole_transport": true,
000016 |     "reference_S_complete_reader": true,
000017 |     "reference_S_reader_comparison": true,
000018 |     "reference_S_inverse": true,
000019 |     "actual_tau_T_reference": true,
000020 |     "reference_T_whole_transport": true,
000021 |     "reference_T_complete_reader": true,
000022 |     "reference_T_reader_comparison": true,
000023 |     "reference_T_inverse": true
000024 |   },
000025 |   "n_checks": 20,
000026 | [OMITTED: non-scientific conversation or execution metadata]
000027 |   "source_sha256": "404cd24e04ae86ca95b981c5fc6a728930bbc2579aaefdd22e2bf2da9113f06e",
000028 |   "constructor_sha256": "820254440e178430422e50605067775656236602996307f67c9e69124ba5d163",
000029 |   "scope": "Exact symbolic coefficients of actual full96 constructor, both R032 lifts and actual JF. Operator-domain, normal propagation and functional calculus are proved analytically in FUNCTOR.txt."
000030 | }