TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/historical-dynamics-source-recovery-20261103/quarter-source-results-J.json
Original file SHA-256: 20403a2673f5102c28c3c95d1eb4965a10c71bdb7cfdadee0d2819d32ccccee7
Inclusive original lines: 1-32
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": "QUARTER20261104J",
000003 |   "producer": "verification/v252_full_finite_triple.py",
000004 |   "producer_sha256": "820254440e178430422e50605067775656236602996307f67c9e69124ba5d163",
000005 |   "full_internal_dimension": 96,
000006 |   "real_linear_parameter_basis": 84,
000007 |   "quarter_equals_i_original_grading": true,
000008 |   "quarter_commutes_with_actual_antiunitary_J": true,
000009 |   "quarter_squared": "-I on the one-particle coefficient space",
000010 |   "quarter_coefficient_defect": 0.0,
000011 |   "fixed_MR_remainder": "-2 D_MR",
000012 |   "fixed_MR_remainder_formula_defect": 0.0,
000013 |   "nonzero_MR_basis_defects": 12,
000014 |   "actual_R032_reference_quarter_transport_defect": 0.0,
000015 |   "existing_right_quaternion_orbit_defect": 0.0,
000016 |   "existing_right_quaternion_is_not_U_X": true,
000017 |   "original_holonomy_lift_reused": "compiler-quartic-holonomy-20260919/PROOF.txt sections3-4",
000018 |   "original_reflection_lift_relation": "L(r)^2=G^-1; L(r)^8=1, versus raw r^2=1",
000019 |   "joint_16_times_4_center_phase": "i from the A3 partner for the section g=J",
000020 |   "native_quartic_clock_on_five": "+I5",
000021 |   "spin10_central_generator_on_vector_five": "-I5",
000022 |   "direct_native_vector_intertwiner_dimension": 0,
000023 |   "carrier_spinor_X_values": [
000024 |     -3,
000025 |     1,
000026 |     5
000027 |   ],
000028 |   "physical_global_symmetry_proved": false,
000029 |   "complete_original_source_evaluated": false,
000030 |   "S_adm_H_tr_pos_and_common_spectrum_derived": false,
000031 |   "scope": "Exact real-linear coefficient comparison on original full96 producer and actual native quartic code; no new field measure or physical identification."
000032 | }