{"version":1,"passed":true,"method":"Independent saved-artifact reload without optimization; direct decompositions and positive-definite global bounds.","feasibilityTolerance":1e-09,"relativeGapTolerance":1e-07,"scope":"Numerical floating-point certificates, not interval proofs. All sampled states; no assertion between stops.","scenarios":[{"id":"one-spike","stops":560,"draws":20,"statuses":{"analytic":20,"certified":540},"compactSha256":"0b0a76d28ac7c54d606d973d112b70b340b3b64fb0ce4a249d2daf95cb8e7370","auditSha256":"79901ebf44cf1dc22e8422e338bf01f8ef0c54e0734e37e27d926125248b525f","maxNormResidual":2.8820499624651908e-12,"maxTrainResidual":2.8241034296434054e-12,"maxReferenceStationarity":6.823699069949887e-16,"unresolved":[],"minCertifiedEigenvalue":0.00021768674431780696,"maxCertifiedGap":1.6475709685437323e-12},{"id":"two-spike","stops":560,"draws":20,"statuses":{"analytic":20,"certified":540},"compactSha256":"890040bd398625c1be175fd8d1a6ea79e225c457296b65511ffb8ec5d3da1b55","auditSha256":"8461dbca685783232b504dd4d277a6fcb0ec3c16ae4b31d97b3103c0dc4c2b9e","maxNormResidual":6.36837852714942e-15,"maxTrainResidual":1.1569807431930452e-13,"maxReferenceStationarity":2.2221808363767185e-13,"unresolved":[],"minCertifiedEigenvalue":0.0032236888144847597,"maxCertifiedGap":8.572476062340684e-12}]}