{
  "caseId": "tet4-linear_static-conjugate_gradient",
  "executionStatus": "FAILED",
  "numericalStatus": null,
  "numericalCheckStatus": null,
  "runtimeMaturity": null,
  "expectedMaturity": "stable",
  "qualificationVerdict": null,
  "numericalChecks": null,
  "scalarResults": {},
  "elapsedSeconds": 0.3834340000030352,
  "meshSha256": "b0bf99a2f8445e33322ea0f237f0ec41d8f14091e7caf815e70c8b44676c2b9d",
  "inputSha256": "11bdb7da53e2efae902f63aa9852409948b88fdb8f9f493add6f1a84d8a50d05",
  "error": "CG requires a verified real SPD reduced matrix. For matrices larger than spd_dense_check_max_dofs, set assume_spd=true only when the model derivation establishes positive definiteness. Use MINRES for symmetric indefinite systems or GMRES/BiCGSTAB for nonsymmetric systems."
}