TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/historical-dynamics-source-recovery-20261103/three-hypotheses-source-F.json
Original file SHA-256: ae582cbbdc21f4a579e8f355a775c82691afa55f582fba7bbb7a2d3308f3ba37
Inclusive original lines: 1-39
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 |   "result_id": "TORSION20261104F",
000003 |   "passed": 19,
000004 |   "checks": {
000005 |     "whole_original_zero_momentum_real_torsion_square": true,
000006 |     "whole_original_zero_momentum_hermitian": true,
000007 |     "actual_full_J_reality": true,
000008 |     "whole_original_M_skew_-1": true,
000009 |     "whole_original_P_equals_MdaggerM_-1": true,
000010 |     "actual_J_fiber_unitarity_-1": true,
000011 |     "actual_J_fiber_P_intertwining_-1": true,
000012 |     "full_trace_is_twice_actual_Weyl_trace_-1": true,
000013 |     "linear_original_M_has_no_bare_second_torsion_contact_-1": true,
000014 |     "whole_original_M_skew_1": true,
000015 |     "whole_original_P_equals_MdaggerM_1": true,
000016 |     "actual_J_fiber_unitarity_1": true,
000017 |     "actual_J_fiber_P_intertwining_1": true,
000018 |     "full_trace_is_twice_actual_Weyl_trace_1": true,
000019 |     "linear_original_M_has_no_bare_second_torsion_contact_1": true,
000020 |     "actual_full_product_Pfaffian_log_heat_weight_one_eighth": true,
000021 |     "ordinary_geometric_and_fermion_uv_S2_signs_differ": true,
000022 |     "original_F_form_factor_moments": true,
000023 |     "original_F_second_derivative_is_nonlocal_before_truncation": true
000024 |   },
000025 |   "actual_matrix_scope": "Existing ordinary Spin4/full96 total Weyl product, full symbolic Yukawa and Majorana, constant real torsion and Phi for the matrix check. Eeps is not Padm.",
000026 |   "analytic_extension": "For the actual J-real selfadjoint Gamma-odd operator with compatible paired domains, MdaggerM=D² restricted to Eeps and J intertwines the two fibers. Domain and selector transport remain required.",
000027 |   "fermion_absolute_effective_action": "-log|Pf M|=-(1/4)Tr_Eeps log(MdaggerM)=-(1/8)Tr_full log(D²), when the paired-domain and full-product hypotheses hold; phase retained separately.",
000028 |   "ordinary_positive_proper_time_uv_diagnostic": {
000029 |     "fermion_coefficient": "9*d/(256*pi**2*eps)",
000030 |     "geometric_coefficient": "-27*chi**2*d/(16*pi**2)",
000031 |     "not_a_selection_of_a_physical_regulator": true,
000032 |     "not_a_no_go_for_all_original_regulated_sources": true
000033 |   },
000034 |   "original_nonlocal_weight_contact": "An actual full spectral-profile second variation need not be supported at coincident points. F_xy cannot in general be removed as a local contact in the full-source spectral response.",
000035 |   "fundamental_solution_achieved": false,
000036 |   "full_Sadm_derived": false,
000037 |   "physical_Htrpos_derived": false,
000038 |   "common_physical_spectrum_computed": false
000039 | }