{
  "schema": "SOVRIENT_FORMAL_RECEIPT_V1",
  "generated_utc": "2026-05-11T15:45:08Z",
  "formal_gate_mode": "require",
  "formal_gate_status": "PASS",
  "theorem_book": "/mnt/c/Users/khals/sovrient/formal/SovrientKernelACL2.lisp",
  "theorem_book_sha256": "8ee9fd8020e4f12f2b75eb95c80f4f71644cdc67a5bff737d3ac1ff9115330d5",
  "theorem_count": 10,
  "theorems": [
    "can-publish-implies-pass",
    "can-publish-implies-admissible",
    "hold-blocks-publish",
    "fail-blocks-publish",
    "pass-not-admissible-blocks",
    "existing-diff-without-force-blocks",
    "existing-same-idempotent",
    "force-overrides-difference",
    "mismatched-date-blocks",
    "sidecar-ok-sound"
  ],
  "acl2_certificate": {
    "path": "/mnt/c/Users/khals/sovrient/formal/SovrientKernelACL2.cert",
    "sha256": "1fee3f2b3f12f894da20aadfd73308bac0355ac0f19341213a6eb02bcd4d6785"
  },
  "acl2_log": {
    "path": "/tmp/sovrient_acl2_formal.log",
    "sha256": "b0f4181ad0647a3550e483a1af000094fa0b70db647d418d8478ab975f50f16a",
    "qed_count": 10
  }
}