TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_sewing_20261029/spectral-weight-rp-results.json Original file SHA-256: c90b0f3274565b0a96df43217aa7f85de6395547bd90bd7b85ed113396279d25 Inclusive original lines: 1-73 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 | "verdict": "POINTWISE_POSITIVE_SPECTRAL_WEIGHT_DOES_NOT_PRESERVE_RP", 000003 | "exact_profile": "f(u)=exp(-u)", 000004 | "operator": "D(x,y)=[[x,1],[1,y]], x,y in {-2,2}", 000005 | "base_reflection_kernel": [ 000006 | [ 000007 | 10, 000008 | 9 000009 | ], 000010 | [ 000011 | 9, 000012 | 10 000013 | ] 000014 | ], 000015 | "base_eigenvalues": [ 000016 | 19, 000017 | 1 000018 | ], 000019 | "spectra": [ 000020 | { 000021 | "configuration": [ 000022 | -2, 000023 | -2 000024 | ], 000025 | "eigenvalues": [ 000026 | "-1", 000027 | "-3" 000028 | ] 000029 | }, 000030 | { 000031 | "configuration": [ 000032 | -2, 000033 | 2 000034 | ], 000035 | "eigenvalues": [ 000036 | "-sqrt(5)", 000037 | "sqrt(5)" 000038 | ] 000039 | }, 000040 | { 000041 | "configuration": [ 000042 | 2, 000043 | -2 000044 | ], 000045 | "eigenvalues": [ 000046 | "-sqrt(5)", 000047 | "sqrt(5)" 000048 | ] 000049 | }, 000050 | { 000051 | "configuration": [ 000052 | 2, 000053 | 2 000054 | ], 000055 | "eigenvalues": [ 000056 | "1", 000057 | "3" 000058 | ] 000059 | } 000060 | ], 000061 | "action_difference": "q*(1 - q**4)**2", 000062 | "analytic_sign_certificate": "Delta>75/256>1/9>log(10/9)", 000063 | "action_same": "0.3680028509755290011450214068521909012719", 000064 | "action_opposite": "0.0134758939981709341932720968462968484977", 000065 | "negative_kernel_eigenvalue": "-1.958378409434055564888290988721549366654", 000066 | "normalized_reflected_response": "-0.1239426461250916662535013947009952773381", 000067 | "base_normalized_reflected_response": "1/19", 000068 | "relative_reference_cancels_in_normalized_state": true, 000069 | "general_profile_qualification": "Every nonconstant finite positive Laplace profile has Delta>0; a general counterexample uses r in (exp(-Delta),1). The fixed ratio 9/10 needs Delta>log(10/9).", 000070 | "scope": "Generic inference in the old measure proof only. This is not an original P1/P2 source, a physical TFPT prediction, or a continuum geometric/BRST countermodel.", 000071 | "complete_TFPT_solution": false, 000072 | "ledger_changed": false 000073 | }