{
  "status": "passed",
  "checks": [
    {
      "name": "fast selected formal scope is not supplied",
      "passed": true
    },
    {
      "name": "fast signed-input/output model mismatches exposed",
      "passed": true
    },
    {
      "name": "fast five unsupported combined/product claims exposed",
      "passed": true
    },
    {
      "name": "fast ten obligations remain unknown",
      "passed": true
    },
    {
      "name": "fast synthetic completeness certifies no contents or applicability",
      "passed": true
    },
    {
      "name": "fast independent verification is not granted",
      "passed": true
    },
    {
      "name": "low-space selected formal scope is not supplied",
      "passed": true
    },
    {
      "name": "low-space signed-input/output model mismatches exposed",
      "passed": true
    },
    {
      "name": "low-space five unsupported combined/product claims exposed",
      "passed": true
    },
    {
      "name": "low-space ten obligations remain unknown",
      "passed": true
    },
    {
      "name": "low-space synthetic completeness certifies no contents or applicability",
      "passed": true
    },
    {
      "name": "low-space independent verification is not granted",
      "passed": true
    },
    {
      "name": "eighteen current registry contracts match names/models/obligations",
      "passed": true
    },
    {
      "name": "two resource claims cannot be silently combined",
      "passed": true
    }
  ],
  "scope": "Fourteen documentary registry/linter controls only; self-authored gap cases and synthetic completeness do not certify proofs, evidence or applicability."
}