{
  "schema": "AN04-contour-foundation-checks/v1",
  "passed": true,
  "checks": [
    {
      "name": "Exact curved nonholomorphic determinant homotopy",
      "passed": true,
      "scope": "Full two-coordinate identity A4, all columns and conjugate defects; dropping the defect fails."
    },
    {
      "name": "Symmetric square series and noncommuting derivative",
      "passed": true,
      "scope": "Forty-four terms, square identity, symmetry and full ordered derivative; the commuting shortcut fails."
    },
    {
      "name": "Matrix Gaussian path, full moments and branch sign",
      "passed": true,
      "quadrature_error": 4.440892098500626e-16,
      "scope": "Independent 90-by-90 quadrature and path integration, all second moments, and a three-dimensional wrong-principal-root control."
    },
    {
      "name": "Complete semipositive virtual-critical-point model",
      "passed": true,
      "scope": "Exact stationarity, value, translation, square completion, shift bound, final damping and Gaussian branch M1--M7."
    }
  ],
  "script_sha256": "14f10be8642b1beb17374bf6d0d2f73081418ee4e7e1a21af61c99f2b2e98dff",
  "foundations_sha256": "03510ce209891806bc53dd69beef14edc19367dfa020524c492322c8f26ea204",
  "companion_sha256": "7524353653b69a8fc66f6afa2321623f4436ec42b27b5444048a00ebb25e4035",
  "general_theorems_certified_by_finite_checks": false
}