{
  "caseId": "mitc3-linear_static-cg",
  "executionStatus": "FAILED",
  "numericalStatus": null,
  "numericalCheckStatus": null,
  "runtimeMaturity": null,
  "expectedMaturity": "experimental",
  "qualificationVerdict": null,
  "numericalChecks": null,
  "scalarResults": {},
  "elapsedSeconds": 0.27482350000354927,
  "meshSha256": "80888769fefb6367dd7a6f46caf7e0465b3d048cf870e03af849c6e29c41d083",
  "inputSha256": "0c6e259ebcb223cb4bc52a10b1228449206ccba5f9042afa80013e4c13f15fe4",
  "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."
}