{
  "metrics": {
    "premise_recall": 1.0,
    "replay_determinism": 1.0,
    "proposal_storage": 1.0,
    "all_three_pass_rate": 1.0,
    "case_count": 16,
    "overall_pass": true
  },
  "case_details": [
    {
      "id": "SYM-V2-HLD-001",
      "pattern": "chain_5",
      "vault_hits": 9,
      "trace_hash": "096125dee2238eff8a3ce227e7cac1c0271e20b77dc527e18cd95608dacf2f61",
      "trace_hash_replay": "096125dee2238eff8a3ce227e7cac1c0271e20b77dc527e18cd95608dacf2f61",
      "proposal_count": 5,
      "expected_proposals": 5,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-002",
      "pattern": "chain_4",
      "vault_hits": 9,
      "trace_hash": "c3c479fd56d0276c48ed0c9da8c8351cc7fbfad4479a9873608aae92e4a98272",
      "trace_hash_replay": "c3c479fd56d0276c48ed0c9da8c8351cc7fbfad4479a9873608aae92e4a98272",
      "proposal_count": 4,
      "expected_proposals": 4,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-003",
      "pattern": "chain_3",
      "vault_hits": 5,
      "trace_hash": "344ae898cfadf532bbe5738ecc8e46b2abdd087a32c007dda5dced11a0dfd3e0",
      "trace_hash_replay": "344ae898cfadf532bbe5738ecc8e46b2abdd087a32c007dda5dced11a0dfd3e0",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-004",
      "pattern": "modus_ponens_chain",
      "vault_hits": 12,
      "trace_hash": "99416d363f01669791f3e0283e4f23686a1e6b9f9be4a8e61f18a7a5a07ea6e0",
      "trace_hash_replay": "99416d363f01669791f3e0283e4f23686a1e6b9f9be4a8e61f18a7a5a07ea6e0",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-005",
      "pattern": "syllogism",
      "vault_hits": 5,
      "trace_hash": "b56b3efbdf31e69d0b34f7115a19040ea8b9efef8b89ad754ce4b55dfa628fc3",
      "trace_hash_replay": "b56b3efbdf31e69d0b34f7115a19040ea8b9efef8b89ad754ce4b55dfa628fc3",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-006",
      "pattern": "modus_tollens_chain",
      "vault_hits": 8,
      "trace_hash": "4883560cd275730e79591882e0a38ec8556c5360456ed50b995126fd53ac3425",
      "trace_hash_replay": "4883560cd275730e79591882e0a38ec8556c5360456ed50b995126fd53ac3425",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-007",
      "pattern": "negation_chain",
      "vault_hits": 7,
      "trace_hash": "470842cf03a602dfad9ac4875207050ae15bc4fd61903e4531411cb816995e80",
      "trace_hash_replay": "470842cf03a602dfad9ac4875207050ae15bc4fd61903e4531411cb816995e80",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-008",
      "pattern": "chain_recall",
      "vault_hits": 8,
      "trace_hash": "a00830706c4d6f52e7b7229ec24173a7181381d18f59cddc09db265816743741",
      "trace_hash_replay": "a00830706c4d6f52e7b7229ec24173a7181381d18f59cddc09db265816743741",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-009",
      "pattern": "chain_recall",
      "vault_hits": 10,
      "trace_hash": "472b5fa663dca63fdbc76f0f841263229024d868f71e0e1eafd871daaed644a9",
      "trace_hash_replay": "472b5fa663dca63fdbc76f0f841263229024d868f71e0e1eafd871daaed644a9",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-010",
      "pattern": "single_premise",
      "vault_hits": 6,
      "trace_hash": "e444983608f079f51a7bbd56cbda8a2d26fd6ebcc3f004896cbccbb25623c203",
      "trace_hash_replay": "e444983608f079f51a7bbd56cbda8a2d26fd6ebcc3f004896cbccbb25623c203",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-011",
      "pattern": "single_premise",
      "vault_hits": 11,
      "trace_hash": "e361e8d587eac8073e077460352ece36f205c6ee4d25b7e40357db9c7f66b9eb",
      "trace_hash_replay": "e361e8d587eac8073e077460352ece36f205c6ee4d25b7e40357db9c7f66b9eb",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-012",
      "pattern": "chain_3",
      "vault_hits": 8,
      "trace_hash": "31f11c9a4ca1222a282496ba01c9afbefa2d8cb0f9574a5dd55b4d041af3535e",
      "trace_hash_replay": "31f11c9a4ca1222a282496ba01c9afbefa2d8cb0f9574a5dd55b4d041af3535e",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-013",
      "pattern": "chain_3",
      "vault_hits": 10,
      "trace_hash": "8d7c1bbac5967078feb1235d95cba65ee9ad800c7ee460a7545ad849b0bbc84c",
      "trace_hash_replay": "8d7c1bbac5967078feb1235d95cba65ee9ad800c7ee460a7545ad849b0bbc84c",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-014",
      "pattern": "mixed",
      "vault_hits": 9,
      "trace_hash": "bcbae85cf5af12ac22a0fdfd44e2d4ee2f7baf2ff67bf2fc32f4099797f8fca1",
      "trace_hash_replay": "bcbae85cf5af12ac22a0fdfd44e2d4ee2f7baf2ff67bf2fc32f4099797f8fca1",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-015",
      "pattern": "mixed",
      "vault_hits": 9,
      "trace_hash": "2f92a5aded0350ef934f9baf00f8121050f654bf5eafc558db89194c1ff2303c",
      "trace_hash_replay": "2f92a5aded0350ef934f9baf00f8121050f654bf5eafc558db89194c1ff2303c",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-V2-HLD-016",
      "pattern": "mixed",
      "vault_hits": 12,
      "trace_hash": "3ef230fa76b66c124d15009bcb3a1aa5cac7849b4dd996437ee3eddbda2bfcc4",
      "trace_hash_replay": "3ef230fa76b66c124d15009bcb3a1aa5cac7849b4dd996437ee3eddbda2bfcc4",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    }
  ]
}