{
  "schema_version": "0.2",
  "state": "PUBLIC_SITE_WITH_WORKED_EXAMPLE",
  "published_proof_bundles": 0,
  "independently_replicated_packages": 0,
  "claim_registry": "../claims.json",
  "release_gate": "Explicit approval and artifact-level review required",
  "notice": "One worked example and one elementary Lean-checked formal demonstrator are publicly available. No approved ONAR9/EMIN research proof bundles or independent empirical replication packages have been published.",
  "published_worked_examples": 1,
  "worked_example_index": "https://shadow.golge.ai/evidence/bs-min-01/",
  "published_lean_demonstrators": 1,
  "research_proof_bundles_published": 0
}