{
  "caseId": "mitc4-linear_static-conjugate_gradient",
  "executionStatus": "FAILED",
  "numericalStatus": null,
  "numericalCheckStatus": null,
  "runtimeMaturity": null,
  "expectedMaturity": "stable",
  "qualificationVerdict": null,
  "numericalChecks": null,
  "scalarResults": {},
  "elapsedSeconds": 0.04898449999745935,
  "meshSha256": "8c2cce1c0412af524706cab6eab28e6dcca2c0300b63f432cc7578a1a0d9c624",
  "inputSha256": "e57531812af7c2eeab8388abb34c4e6e0e26f839407d60653fb5f336595e025c",
  "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."
}