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