TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/hypotheses_20261105F/insertion_origin/neutral-insertion-results.json
Original file SHA-256: 5e76325488a021f5d8f8d96ffe75e9ef135ff8c63dd87d74ec52b48141ba246c
Inclusive original lines: 1-37
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 |   "status": "conditional_original_neutral_operator_insertion_derived_and_existing_conditional_caller_tested",
000003 |   "new_reuse": [
000004 |     "R031 original whole96 Gram + R113 actual double CAR contact give specified original neutral U and Hamiltonian Yukawa source word.",
000005 |     "UY is at most8 CAR letters with3 original-time derivatives, expanding into8 ordered terms.",
000006 |     "Native background source input yields Xa=x_a I, U=u I and fixedH connected UY=0; it does not integrate H."
000007 |   ],
000008 |   "conditions": [
000009 |     "Actual R113 whole-source/contact identity with given time and CAR chart",
000010 |     "Operator-valued original affine Phi family, A>0, actual spatial/test/contact map",
000011 |     "Whole Q0[u] equals source-native endpoint composite, or retain exact mark and product defect",
000012 |     "Actual final neutral U and Y preserve physical sector with adjoints; no P between charged letters",
000013 |     "Hamiltonian Yham signs/factors are not automatically primitive Euclidean Sf normalization",
000014 |     "Original higher fermion vertices retained outside R113 conditional branch; no blanket bilinear restriction"
000015 |   ],
000016 |   "checks": {
000017 |     "checked": 66,
000018 |     "total": 66,
000019 |     "type": "exact native whole96 coefficient and ordered-polynomial controls, no model search",
000020 |     "physical_source_evaluated": false
000021 |   },
000022 |   "fixed_original_control": {
000023 |     "source": "existing R031 integer fixture",
000024 |     "H_coordinates": [
000025 |       1,
000026 |       2,
000027 |       2,
000028 |       4
000029 |     ],
000030 |     "A": 516,
000031 |     "Tr_DM_squared": 52,
000032 |     "U": "25 I",
000033 |     "conditional_connected_UY": "0"
000034 |   },
000035 |   "next_actual_input": "Common original P1 generator or whole Q0[u] endpoint kernel in the actual H field chart, not conditional dGamma(h(H)). Physical HB recovery remains in common caller.",
000036 |   "canonical_mutations": false
000037 | }