{
  "registry": "SIMARC claims registry",
  "version": "v1",
  "updated": "2026-08-25",
  "status": "OPEN AND EMPTY",
  "note": "The registry is open and holds no claims. No programme has published a result, and nothing is filed here until it can be filed with the test that could have refuted it. An empty registry is reported as empty rather than populated with work that is not finished. Every claim, when there is one, carries the evidence standard that decided it; a claim may not be restated with vocabulary above its standard, and a kill test, where declared, is the specific computation whose outcome would falsify it.",
  "claim_schema": {
    "id": "string",
    "program": "P-01 | P-02 | P-03 | P-04",
    "statement": "string",
    "standard": "PROOF | EXACT | STATISTICAL | OBSERVATIONAL",
    "status": "string",
    "certificate": "string | null — a machine-checkable re-verification artifact",
    "independent_checks": "integer",
    "kill_test": "string | null — the computation whose outcome would falsify the claim",
    "source_artifact": "string",
    "verifications": "array"
  },
  "verification_invitation": {
    "independent_verifications_to_date": 0,
    "protocol": "https://simarc.org/agents.html",
    "record_schema": {
      "claim_id": "string",
      "outcome": "CONFIRMED | REFUTED | INCONCLUSIVE",
      "input_hashes": "object",
      "output_hashes": "object",
      "environment": "object",
      "notes": "string",
      "verifier": {
        "name": "string",
        "kind": "agent | human",
        "contact": "string"
      }
    }
  },
  "claims": []
}