{
  "caseId": "tet10-linear_static-cg",
  "executionStatus": "FAILED",
  "numericalStatus": null,
  "numericalCheckStatus": null,
  "runtimeMaturity": null,
  "expectedMaturity": "stable_after_reinforced_tests",
  "qualificationVerdict": null,
  "numericalChecks": null,
  "scalarResults": {},
  "elapsedSeconds": 3.5633988000045065,
  "meshSha256": "f5ded3ce1727cd97e29da884c7a4f167dacb8c6a5a79803fea2b3e44ef110af6",
  "inputSha256": "19e806416f9f30efcf43c5659e6dc60173514e99c2e49b8961360a7e5068d69c",
  "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."
}