{
  "status": "unverified",
  "required": true,
  "checks": [
    {
      "check": "grpo_gs8.initialization",
      "status": "passed",
      "reason": "grpo_gs8: observed initial state identity recorded."
    },
    {
      "check": "grpo_gs8.optimizer.0",
      "status": "unverified",
      "reason": "grpo_gs8: active optimizer after restore 0 is unverified; a client declaration is insufficient."
    },
    {
      "check": "grpo_gs8.optimizer.1",
      "status": "unverified",
      "reason": "grpo_gs8: active optimizer after restore 1 is unverified; a client declaration is insufficient."
    },
    {
      "check": "grpo_gs8.output",
      "status": "passed",
      "reason": "grpo_gs8: fixed-batch full-output fingerprint recorded."
    },
    {
      "check": "gs1_kernel.initialization",
      "status": "passed",
      "reason": "gs1_kernel: observed initial state identity recorded."
    },
    {
      "check": "gs1_kernel.optimizer.0",
      "status": "unverified",
      "reason": "gs1_kernel: active optimizer after restore 0 is unverified; a client declaration is insufficient."
    },
    {
      "check": "gs1_kernel.optimizer.1",
      "status": "unverified",
      "reason": "gs1_kernel: active optimizer after restore 1 is unverified; a client declaration is insufficient."
    },
    {
      "check": "gs1_kernel.output",
      "status": "passed",
      "reason": "gs1_kernel: fixed-batch full-output fingerprint recorded."
    }
  ],
  "reason": "grpo_gs8: active optimizer after restore 0 is unverified; a client declaration is insufficient.",
  "applicability": "required"
}