{
  "_comment": "FV-BADGE-1 pilot-status record. class/label are Tim's verbatim claim-tier vocabulary (methods.html). kernel_digest_at_authoring is the real sourceDigest() of this kernel at the time this record was authored -- the badge gate recomputes it live and drops the badge if it no longer matches. This is the ONLY authoritative source for this kernel's badge; do not duplicate the class/label anywhere else.",
  "tool_id": "art-157-emir-lifecycle-event-validator",
  "class": "A",
  "label": "Verified by exhaustive enumeration (all 24 inputs)",
  "kernel_digest_at_authoring": "sha256:9d3b6b68b0c7bf0cd0b08b8e320a2f27a849be1e49c1044ee5a8fd4c432c9191",
  "evidence_vector": {
    "_comment": "FV-EVIDENCE-VECTOR-1. Every field below names the script that re-derives it. No verification work was redone here.",
    "authoritative_vectors": {
      "count": 2,
      "source": "kernel's own golden fixtures, house-authored from the EMIR lifecycle state table; no external RTS worked-example citation applies",
      "tolerance": "exact execution_hash match",
      "gate": "chaingraph/kernels/golden-parity.test.mjs"
    },
    "oracle_independence": "none",
    "metamorphic_relations": [
      {
        "relation": "action_legal matches the declared prior_state x action_type table across the full 3x8=24-cell grid, the kernel's entire declared domain",
        "cases": 24,
        "divergences": 0,
        "gate": "chaingraph/kernels/__proptests__/art-157-emir-lifecycle-event-validator.proptest.mjs"
      },
      {
        "relation": "compliance flags fire exactly on their declared conditions across the same 24-cell grid",
        "cases": 24,
        "divergences": 0,
        "gate": "chaingraph/kernels/__proptests__/art-157-emir-lifecycle-event-validator.proptest.mjs"
      }
    ],
    "machine_proof": {
      "kind": "enumeration",
      "toolchain_digest": "node runtime executing the in-repo property-test harness; no Dafny/Z3 toolchain applies to a class-A enumeration proof"
    },
    "human_signature": {
      "status": "none",
      "note": "metadata only; not part of the verification claim"
    }
  }
}