{
  "checks": 13,
  "passed": 13,
  "results": [
    {
      "name": "one terminating expression does not discharge system-wide premise",
      "passed": true
    },
    {
      "name": "eta and additional rewrite rules require a bridge",
      "passed": true
    },
    {
      "name": "normalization supplies no practical runtime bound",
      "passed": true
    },
    {
      "name": "selected intersection scope is not membership algorithm coverage",
      "passed": true
    },
    {
      "name": "decidability is not polynomial runtime",
      "passed": true
    },
    {
      "name": "missing external-kernel record remains visible",
      "passed": true
    },
    {
      "name": "ideal exact source statement does not guarantee noisy hardware",
      "passed": true
    },
    {
      "name": "resource improvements are outside source claim",
      "passed": true
    },
    {
      "name": "a gate-set replacement needs a translation",
      "passed": true
    },
    {
      "name": "embedded subgroup cannot be replaced by its abstract type",
      "passed": true
    },
    {
      "name": "no family formal scope is not selected formal coverage",
      "passed": true
    },
    {
      "name": "documentary completeness is not mathematical certification",
      "passed": true
    },
    {
      "name": "claimed independent verification is always refused",
      "passed": true
    }
  ],
  "meaning": "Documentary boundary tests; no theorem or evidence content is verified"
}