{
  "metrics": {
    "premise_recall": 1.0,
    "replay_determinism": 1.0,
    "proposal_storage": 1.0,
    "all_three_pass_rate": 1.0,
    "case_count": 12,
    "overall_pass": true
  },
  "case_details": [
    {
      "id": "SYM-HLD-001",
      "pattern": "single_premise",
      "vault_hits": 7,
      "trace_hash": "96b77bf658cedced8d00aaf783621e4f257c6932f0a6d3cb7900756f092a2261",
      "trace_hash_replay": "96b77bf658cedced8d00aaf783621e4f257c6932f0a6d3cb7900756f092a2261",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-002",
      "pattern": "modus_ponens_chain",
      "vault_hits": 8,
      "trace_hash": "1d8c1c218169bf69775ce66424da03eb9f56408c82ae94f723b065c30cf23a71",
      "trace_hash_replay": "1d8c1c218169bf69775ce66424da03eb9f56408c82ae94f723b065c30cf23a71",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-003",
      "pattern": "syllogism",
      "vault_hits": 6,
      "trace_hash": "79c4e511848cddbd8c28cc390b47e4dfb402062ec8946b49cb5f10e235267641",
      "trace_hash_replay": "79c4e511848cddbd8c28cc390b47e4dfb402062ec8946b49cb5f10e235267641",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-004",
      "pattern": "negation",
      "vault_hits": 7,
      "trace_hash": "4b42571ee3e1726367190270d25d386f29bdcbf3b6445db915b4cac0db5006d8",
      "trace_hash_replay": "4b42571ee3e1726367190270d25d386f29bdcbf3b6445db915b4cac0db5006d8",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-005",
      "pattern": "modus_tollens_chain",
      "vault_hits": 9,
      "trace_hash": "b852e47bea1a2ea7b0d4eb4ad5f7edb34a08574d437599afb1d8ab4e6cd8acef",
      "trace_hash_replay": "b852e47bea1a2ea7b0d4eb4ad5f7edb34a08574d437599afb1d8ab4e6cd8acef",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-006",
      "pattern": "chain_recall",
      "vault_hits": 9,
      "trace_hash": "4f3c71c9eaf22d1afd6c1a6d9c4d73c70de8865f4ae3131de2b78ab5e6b4b7a9",
      "trace_hash_replay": "4f3c71c9eaf22d1afd6c1a6d9c4d73c70de8865f4ae3131de2b78ab5e6b4b7a9",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-007",
      "pattern": "chain_recall",
      "vault_hits": 7,
      "trace_hash": "d74838fd350ddbfcb32f4a3e146d660cd30d1a5826156c8e6cdd0a61a318cb27",
      "trace_hash_replay": "d74838fd350ddbfcb32f4a3e146d660cd30d1a5826156c8e6cdd0a61a318cb27",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-008",
      "pattern": "single_premise",
      "vault_hits": 9,
      "trace_hash": "f1841651c4b9ee19280a65a9c605cbbb09ca34e482fb98a0dc241a00029fc6b5",
      "trace_hash_replay": "f1841651c4b9ee19280a65a9c605cbbb09ca34e482fb98a0dc241a00029fc6b5",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-009",
      "pattern": "modus_ponens_chain",
      "vault_hits": 6,
      "trace_hash": "51e1038ccdac76ba26b24cc556f271aa34ad0980d5db1536d9a7b60109fc5a04",
      "trace_hash_replay": "51e1038ccdac76ba26b24cc556f271aa34ad0980d5db1536d9a7b60109fc5a04",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-010",
      "pattern": "syllogism",
      "vault_hits": 9,
      "trace_hash": "8fa3596b6cd8e2267726464689ebde1760a450cf127c824355461bb4a8930442",
      "trace_hash_replay": "8fa3596b6cd8e2267726464689ebde1760a450cf127c824355461bb4a8930442",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-011",
      "pattern": "negation",
      "vault_hits": 9,
      "trace_hash": "f69171107665edd6a7d6d9aefbdbcbf27412569406ff5d02008ba76df54b5b4d",
      "trace_hash_replay": "f69171107665edd6a7d6d9aefbdbcbf27412569406ff5d02008ba76df54b5b4d",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-HLD-012",
      "pattern": "chain_recall",
      "vault_hits": 6,
      "trace_hash": "e88fb33222837f6adce14e42d0f393a9a5923d869db6e9fbcf6706b25cbe0c9f",
      "trace_hash_replay": "e88fb33222837f6adce14e42d0f393a9a5923d869db6e9fbcf6706b25cbe0c9f",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    }
  ]
}