TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ELLIPTIC-LOCAL-INSERTION.json
Original file SHA-256: bd266bf96fb20f59ea4329f9c7095aa222f69386efdbeaa1a8a64c8965a024a2
Inclusive original lines: 1-200
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": "EXACT_SCOPED_LOCAL_INSERTION_AND_CAUSAL_RESPONSE",
000003 |   "checks": 50,
000004 |   "diagnostics": [
000005 |     {
000006 |       "name": "original Fermi charge a=0.25",
000007 |       "error": "1.964509578766410125683377973649804774057970303601685198963497543047493592964706273817176287572170676e-101",
000008 |       "tolerance": "1.0e-95"
000009 |     },
000010 |     {
000011 |       "name": "original Fermi variance a=0.25",
000012 |       "error": "1.339438349158915994784121345670321436857707025182967181111475597532381995203208823057165650617389097e-102",
000013 |       "tolerance": "1.0e-95"
000014 |     },
000015 |     {
000016 |       "name": "exact quarter variance a=0.25",
000017 |       "error": "8.929588994392773298560808971135476245718046834553114540743170650215879968021392153714437670782593982e-103",
000018 |       "tolerance": "1.0e-95"
000019 |     },
000020 |     {
000021 |       "name": "original exterior half a=0.25",
000022 |       "error": "7.143671195514218638848647176908380996574437467642491632594536520172703974417113722971550136626075185e-102",
000023 |       "tolerance": "1.0e-95"
000024 |     },
000025 |     {
000026 |       "name": "original Fermi charge a=0.75",
000027 |       "error": "1.741269853906590793219357749371417867915019132737857335444918276792096593764171469974315345802605826e-101",
000028 |       "tolerance": "1.0e-95"
000029 |     },
000030 |     {
000031 |       "name": "original Fermi variance a=0.75",
000032 |       "error": "4.464794497196386649280404485567738122859023417276557270371585325107939984010696076857218835391296991e-103",
000033 |       "tolerance": "1.0e-95"
000034 |     },
000035 |     {
000036 |       "name": "exact quarter variance a=0.75",
000037 |       "error": "4.464794497196386649280404485567738122859023417276557270371585325107939984010696076857218835391296991e-103",
000038 |       "tolerance": "1.0e-95"
000039 |     },
000040 |     {
000041 |       "name": "original exterior half a=0.75",
000042 |       "error": "7.143671195514218638848647176908380996574437467642491632594536520172703974417113722971550136626075185e-102",
000043 |       "tolerance": "1.0e-95"
000044 |     },
000045 |     {
000046 |       "name": "full pair square theta t=0.0",
000047 |       "error": "0.0",
000048 |       "tolerance": "1.0e-95"
000049 |     },
000050 |     {
000051 |       "name": "full pair square theta t=0.3",
000052 |       "error": "1.2065182528167188236012090426639071188939324530743069925359154775719662490710590476348112691610288e-103",
000053 |       "tolerance": "1.0e-95"
000054 |     },
000055 |     {
000056 |       "name": "full pair square theta t=1.1",
000057 |       "error": "5.000576060563296994027032793805462368092717611440668977538010249162864458909728591462344618716208216e-101",
000058 |       "tolerance": "1.0e-95"
000059 |     },
000060 |     {
000061 |       "name": "full pair square theta t=(0.3 + 0.200000000000000011102230246251565404236316680908203125j)",
000062 |       "error": "7.143671195514218638848647176908380996574437467642491632594536520172703974417113722971550136626075185e-102",
000063 |       "tolerance": "1.0e-95"
000064 |     },
000065 |     {
000066 |       "name": "original real Quillen norm v=0.03",
000067 |       "error": "2.857468478205687455539458870763352398629774987056996653037814608069081589766845489188620054650430074e-101",
000068 |       "tolerance": "1.0e-95"
000069 |     },
000070 |     {
000071 |       "name": "original real Quillen norm v=0.2",
000072 |       "error": "2.857468478205687455539458870763352398629774987056996653037814608069081589766845489188620054650430074e-101",
000073 |       "tolerance": "1.0e-95"
000074 |     },
000075 |     {
000076 |       "name": "original real Quillen norm v=0.4",
000077 |       "error": "1.428734239102843727769729435381676199314887493528498326518907304034540794883422744594310027325215037e-101",
000078 |       "tolerance": "1.0e-95"
000079 |     },
000080 |     {
000081 |       "name": "original Quillen real Hessian",
000082 |       "error": "0.0",
000083 |       "tolerance": "1.0e-90"
000084 |     },
000085 |     {
000086 |       "name": "Poisson modular scale=0.7",
000087 |       "error": "1.428734239102843727769729435381676199314887493528498326518907304034540794883422744594310027325215037e-101",
000088 |       "tolerance": "1.0e-95"
000089 |     },
000090 |     {
000091 |       "name": "Poisson modular scale=1.0",
000092 |       "error": "0.0",
000093 |       "tolerance": "1.0e-95"
000094 |     },
000095 |     {
000096 |       "name": "Poisson modular scale=1.4",
000097 |       "error": "2.857468478205687455539458870763352398629774987056996653037814608069081589766845489188620054650430074e-101",
000098 |       "tolerance": "1.0e-95"
000099 |     },
000100 |     {
000101 |       "name": "forward perturbed Gibbs mean mode1",
000102 |       "error": "0.0000000000000007979727989493313",
000103 |       "tolerance": "0.0000000000004"
000104 |     },
000105 |     {
000106 |       "name": "original partition scalar mode1",
000107 |       "error": "0.0000000000001235400670651643",
000108 |       "tolerance": "0.0000000000004"
000109 |     },
000110 |     {
000111 |       "name": "whole oscillator state transport mode1",
000112 |       "error": "0.00000000000000487153161018188",
000113 |       "tolerance": "0.0000000000002"
000114 |     },
000115 |     {
000116 |       "name": "whole Gibbs Weyl mode1",
000117 |       "error": "0.0000000000000007644444344592333",
000118 |       "tolerance": "0.0000000000003"
000119 |     },
000120 |     {
000121 |       "name": "causal pulse commutator mode1",
000122 |       "error": "0.000000000000000006938893903907228",
000123 |       "tolerance": "0.0000000000003"
000124 |     },
000125 |     {
000126 |       "name": "closed contour unequal paths mode1",
000127 |       "error": "0.00000000000000011123893155135927",
000128 |       "tolerance": "0.0000000000003"
000129 |     },
000130 |     {
000131 |       "name": "closed contour equal paths mode1",
000132 |       "error": "0.0000000000000001110223024625161",
000133 |       "tolerance": "0.0000000000003"
000134 |     },
000135 |     {
000136 |       "name": "forward perturbed Gibbs mean mode2",
000137 |       "error": "0.0000000000000009645062526431047",
000138 |       "tolerance": "0.0000000000004"
000139 |     },
000140 |     {
000141 |       "name": "original partition scalar mode2",
000142 |       "error": "0.00000000000003425038030968608",
000143 |       "tolerance": "0.0000000000004"
000144 |     },
000145 |     {
000146 |       "name": "whole oscillator state transport mode2",
000147 |       "error": "0.000000000000004165985178211475",
000148 |       "tolerance": "0.0000000000002"
000149 |     },
000150 |     {
000151 |       "name": "whole Gibbs Weyl mode2",
000152 |       "error": "0.000000000000000898693918551216",
000153 |       "tolerance": "0.0000000000003"
000154 |     },
000155 |     {
000156 |       "name": "causal pulse commutator mode2",
000157 |       "error": "0.0000000000000000069388939035033316",
000158 |       "tolerance": "0.0000000000003"
000159 |     },
000160 |     {
000161 |       "name": "closed contour unequal paths mode2",
000162 |       "error": "0.00000000000000011188630228279524",
000163 |       "tolerance": "0.0000000000003"
000164 |     },
000165 |     {
000166 |       "name": "closed contour equal paths mode2",
000167 |       "error": "0.00000000000000000000000000007573064690507422",
000168 |       "tolerance": "0.0000000000003"
000169 |     },
000170 |     {
000171 |       "name": "forward perturbed Gibbs mean mode3",
000172 |       "error": "0.0000000000000007979727989493313",
000173 |       "tolerance": "0.0000000000004"
000174 |     },
000175 |     {
000176 |       "name": "original partition scalar mode3",
000177 |       "error": "0.00000000000039140912733159894",
000178 |       "tolerance": "0.0000000000004"
000179 |     },
000180 |     {
000181 |       "name": "whole oscillator state transport mode3",
000182 |       "error": "0.000000000000002830454797948211",
000183 |       "tolerance": "0.0000000000002"
000184 |     },
000185 |     {
000186 |       "name": "whole Gibbs Weyl mode3",
000187 |       "error": "0.0000000000000007219451441763396",
000188 |       "tolerance": "0.0000000000003"
000189 |     },
000190 |     {
000191 |       "name": "causal pulse commutator mode3",
000192 |       "error": "0.00000000000000001214306433183765",
000193 |       "tolerance": "0.0000000000003"
000194 |     },
000195 |     {
000196 |       "name": "closed contour unequal paths mode3",
000197 |       "error": "0.00000000000000013092278833360675",
000198 |       "tolerance": "0.0000000000003"
000199 |     },
000200 |     {