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: 201-292
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.

000201 |       "name": "closed contour equal paths mode3",
000202 |       "error": "0.0000000000000002220446049250313",
000203 |       "tolerance": "0.0000000000003"
000204 |     },
000205 |     {
000206 |       "name": "original Duhamel ordered integral n=1",
000207 |       "error": "0.0",
000208 |       "tolerance": "1.0e-90"
000209 |     },
000210 |     {
000211 |       "name": "original Duhamel ordered integral n=2",
000212 |       "error": "0.0",
000213 |       "tolerance": "1.0e-90"
000214 |     },
000215 |     {
000216 |       "name": "original Duhamel ordered integral n=3",
000217 |       "error": "8.515919680016301439820107432494617696493193468621363201850100183692817657491104272570073767454713804e-109",
000218 |       "tolerance": "1.0e-90"
000219 |     },
000220 |     {
000221 |       "name": "actual forward Fermi Frechet response",
000222 |       "error": "0.00000000011624719160911334",
000223 |       "tolerance": "0.000000002"
000224 |     },
000225 |     {
000226 |       "name": "proper disjoint support integral",
000227 |       "error": "0.0",
000228 |       "tolerance": "0.000000000000000000000000000001"
000229 |     },
000230 |     {
000231 |       "name": "full Fourier Parseval outside cancellation",
000232 |       "error": "0.0000000000000000008673617379884035",
000233 |       "tolerance": "0.0000000000000001"
000234 |     },
000235 |     {
000236 |       "name": "actual equilibrium exterior half",
000237 |       "error": "0.0000000000000000008673617379884035",
000238 |       "tolerance": "0.0000000000000001"
000239 |     },
000240 |     {
000241 |       "name": "proper exterior real time response at t0",
000242 |       "error": "0.000000000000000000021618413294486922",
000243 |       "tolerance": "0.00000000000001"
000244 |     },
000245 |     {
000246 |       "name": "fixed holonomy derivative mean",
000247 |       "error": "0.000000000000000010494521900586508",
000248 |       "tolerance": "0.00000000000001"
000249 |     },
000250 |     {
000251 |       "name": "fixed holonomy exterior response",
000252 |       "error": "0.0",
000253 |       "tolerance": "0.000000000000000000000000000001"
000254 |     }
000255 |   ],
000256 |   "quarters": [
000257 |     {
000258 |       "a": "0.25",
000259 |       "mean": "0.04134328958148170342964256680023829775150174662741324938754315747407950182261839703257720991218116897",
000260 |       "var": "0.03978873577297383394222094084312859050861491143511411218691683601472419940855663377252845069156327149"
000261 |     },
000262 |     {
000263 |       "a": "0.75",
000264 |       "mean": "-0.04134328958148170342964256680023829775150174662741324938754315747407950182261839703257720991218116897",
000265 |       "var": "0.03978873577297383394222094084312859050861491143511411218691683601472419940855663377252845069156327149"
000266 |     }
000267 |   ],
000268 |   "exterior_example": {
000269 |     "f0": 0.024732333690884442,
000270 |     "g0": 0.028265524218153648,
000271 |     "normalized_equilibrium_derivative": 0.00034953618845557494,
000272 |     "pulse_response_t0": 0
000273 |   },
000274 |   "oscillator_diagnostics": [
000275 |     {
000276 |       "mode": 1,
000277 |       "gibbs_mean": 0.0193659999999992,
000278 |       "expected": 0.019365999999999998
000279 |     },
000280 |     {
000281 |       "mode": 2,
000282 |       "gibbs_mean": 0.019365999999999033,
000283 |       "expected": 0.019365999999999998
000284 |     },
000285 |     {
000286 |       "mode": 3,
000287 |       "gibbs_mean": 0.0193659999999992,
000288 |       "expected": 0.019365999999999998
000289 |     }
000290 |   ],
000291 |   "scope": "Given original free elliptic quantization; all smooth-class proof separate; not primitive P1, physical4D or spin2 closure"
000292 | }