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