TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-TWO-REVERSE-MU10-PERIODS-CHECK.json Original file SHA-256: ea115b56724840d2242ba8038876272bc8c43867923ee31b15a8d33db16907dc Inclusive original lines: 1-35 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 direct reverse-ray integral using actual endpoint roots and CCW orientation", 000003 | "precision_decimal_digits": 60, 000004 | "rows": [ 000005 | { 000006 | "input": [ 000007 | 1, 000008 | 0 000009 | ], 000010 | "scalar_entry": [ 000011 | 0, 000012 | 0 000013 | ], 000014 | "period": "(0.469767915115744315133612049767534321671592217793629315767356 + 0.125873933485315890697313260052297965265606340831998126138267j)", 000015 | "reader_coefficient": "(-0.469767915115744315133612049767534321671592217793629315767356 - 0.125873933485315890697313260052297965265606340831998126138267j)", 000016 | "expected_minus_i_old": "(-0.4697679151157443151336120497675 - 0.1258739334853158906973132600523j)", 000017 | "abs_residual_against_old_31digit_values": "3.43819325363887804741357304984174286529327380510924689831307e-32" 000018 | }, 000019 | { 000020 | "input": [ 000021 | 1, 000022 | 0 000023 | ], 000024 | "scalar_entry": [ 000025 | 1, 000026 | 1 000027 | ], 000028 | "period": "(-1.57259397527544478804870805580666972245056128537035753902495 - 0.421375285697104379201444468916678668097174463314032000970612j)", 000029 | "reader_coefficient": "(1.57259397527544478804870805580666972245056128537035753902495 + 0.421375285697104379201444468916678668097174463314032000970612j)", 000030 | "expected_minus_i_old": "(1.5725939752754447880487080558067 + 0.4213752856971043792014444689167j)", 000031 | "abs_residual_against_old_31digit_values": "3.70375495702935054602000518213262457456759191106551819443434e-32" 000032 | } 000033 | ], 000034 | "passed": true 000035 | }