{
  "spec": "JCR-1 verified-code v1",
  "schema_id": "verified-code/1",
  "canonical_encoding": "JSON with sorted object keys (recursively); UTF-8; no whitespace; no float coercion. content_hash is BLAKE3 hex of the canonical bytes.",
  "note": "Two vectors covering the two load-bearing proof modes: a Lean formal proof and an adversarial-fuzz counterexample. Implementers in any language MUST round-trip every receipt under canonical encoding and assert byte-equal content_hash against the embedded value.",
  "vector_count": 2,
  "vectors": [
    {
      "n": 1,
      "description": "Lean Pass — formal proof of n + 0 = n, lean toolchain pinned.",
      "content_hash": "06fd5cae83668d2eb4aaa589e87c03dffdba42b8a16a95dd7ed34bcfc457b67d",
      "receipt": {
        "jc_receipt": "verified-code/1",
        "id": "vcr-lean-0001",
        "closed_at": "2026-06-05T00:00:00Z",
        "steward": "did:keri:EJ9testStewardAID000000000000000",
        "program": {
          "language": "lean",
          "content_hash": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
          "byte_length": 128
        },
        "spec": {
          "content_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
          "summary": "all n ≥ 0, n + 0 = n"
        },
        "proof": {
          "kind": "lean",
          "content_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
          "toolchain": "leanprover/lean4:v4.13.0"
        },
        "verifier": {
          "id": "lean-4.13.0",
          "version": "4.13.0"
        },
        "verdict": {
          "kind": "pass",
          "chain": ["lean-4.13.0"]
        }
      }
    },
    {
      "n": 2,
      "description": "Fuzz Fail — binary_search returned OOB index on round 42 of 1024 seeded inputs.",
      "content_hash": "f38df7e5b177a13ebd49a3e940c3ad3d487f533ea793087bfdc27101b44c50ad",
      "receipt": {
        "jc_receipt": "verified-code/1",
        "id": "vcr-fuzz-0001",
        "closed_at": "2026-06-05T00:00:00Z",
        "steward": "did:keri:EJ9testStewardAID000000000000000",
        "program": {
          "language": "rust",
          "content_hash": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
          "byte_length": 256
        },
        "spec": {
          "content_hash": "eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee",
          "summary": "binary_search never returns OOB index"
        },
        "proof": {
          "kind": "fuzz",
          "property_id": "no-oob-index",
          "seed": 7,
          "rounds": 1024
        },
        "verifier": {
          "id": "jouleclaw-oracle-fuzz",
          "version": "0.1.0"
        },
        "verdict": {
          "kind": "fail",
          "reasons": ["counterexample found on round 42"],
          "details": {
            "property_id": "no-oob-index",
            "round": 42,
            "input_hex": "deadbeef",
            "reason": "returned index 16 for len-8 slice"
          }
        }
      }
    }
  ]
}