TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json
Original file SHA-256: f9d87f9acdf92ae0ef8a3223fdac0ec82f86a1af649aac2819e47eec03cd11d2
Inclusive original lines: 1-20
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 |   "scope": "Independent root check of actual signed NS/Hardy finite reader I; normal prefactor reviewed against original charged E embedding and current dz reader. Does not identify NS with physical quarter time or source response with odd Higgs D_F.",
000003 |   "independent_branch": "principal sqrt of squared polynomial with sign reversed after t=1/sqrt3; agrees with analytic factorized sqrt continuation",
000004 |   "I_quadrature": [
000005 |     "0.125873933485315890697313260052297965265606340831998126138267694605789680381",
000006 |     "-0.469767915115744315133612049767534321671592217793629315767356556923390259965"
000007 |   ],
000008 |   "I_closed": [
000009 |     "0.125873933485315890697313260052297965265606340831998126138267694605789680381",
000010 |     "-0.469767915115744315133612049767534321671592217793629315767356556923390259964"
000011 |   ],
000012 |   "residual": "3.18486159737472440937208086252206694793399738835737329015230185627662698114e-76",
000013 |   "primitive_derivative_remainder_mod_omega2_omega_1": "0",
000014 |   "strict_lower_bound_positive": true,
000015 |   "A_gt_3pi_4": true,
000016 |   "B_lt_5pi_12": true,
000017 |   "normal_identity": "Echarged*[-Nc(dz)]Echarged=2z Pgamma+; two graph face factors sum2X; complex conjugate spin factor gives-2i z^2; dtheta=dz/(iz); oriented eta pair=-2I =>4X I/pi",
000018 |   "CP_control_single_nontrivial_ad_character_plus_invariant": "Yu=diag(1,2,3),Yd=I+P diag(1,2,i),Tr([Hu,Hd]^3)=-1440*I",
000019 |   "no_physical_completion_claim": true
000020 | }