{
  "metrics": {
    "premise_recall": 1.0,
    "replay_determinism": 1.0,
    "proposal_storage": 1.0,
    "all_three_pass_rate": 1.0,
    "case_count": 18,
    "overall_pass": true
  },
  "case_details": [
    {
      "id": "SYM-PUB-001",
      "pattern": "single_premise",
      "vault_hits": 8,
      "trace_hash": "d096b188d113318efa2ea467e2e00b0d8fa5ec3ae422b26cc26250bcb6860987",
      "trace_hash_replay": "d096b188d113318efa2ea467e2e00b0d8fa5ec3ae422b26cc26250bcb6860987",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-002",
      "pattern": "single_premise",
      "vault_hits": 9,
      "trace_hash": "400cdec227817f3b19135be6d0ec6baeb83b1066ea14a4bbb125464ed68cd14e",
      "trace_hash_replay": "400cdec227817f3b19135be6d0ec6baeb83b1066ea14a4bbb125464ed68cd14e",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-003",
      "pattern": "modus_ponens_chain",
      "vault_hits": 6,
      "trace_hash": "7ada8825761fb66ab6ece0fb7b3c41c69a87d899768dd9dc8a356ef7f6f92b02",
      "trace_hash_replay": "7ada8825761fb66ab6ece0fb7b3c41c69a87d899768dd9dc8a356ef7f6f92b02",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-004",
      "pattern": "modus_ponens_chain",
      "vault_hits": 8,
      "trace_hash": "3406d5f1840286af69d11ca133de2f13b1e261ed11e48e1983ffb24cf343e39c",
      "trace_hash_replay": "3406d5f1840286af69d11ca133de2f13b1e261ed11e48e1983ffb24cf343e39c",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-005",
      "pattern": "syllogism",
      "vault_hits": 9,
      "trace_hash": "60a94aef3fbe40f1c81d2dd419fccac5959845ecff965452b842e5345677cb63",
      "trace_hash_replay": "60a94aef3fbe40f1c81d2dd419fccac5959845ecff965452b842e5345677cb63",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-006",
      "pattern": "syllogism",
      "vault_hits": 7,
      "trace_hash": "c6e80189d3cd62495a09d9db8da82d8547c7bd9a7a9dfadb1877b4bb1c9f1bb5",
      "trace_hash_replay": "c6e80189d3cd62495a09d9db8da82d8547c7bd9a7a9dfadb1877b4bb1c9f1bb5",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-007",
      "pattern": "negation",
      "vault_hits": 7,
      "trace_hash": "c0a4145553895d2480a0d4c8f81aa5b57dc272f8f3c33ef6323afeee20e43395",
      "trace_hash_replay": "c0a4145553895d2480a0d4c8f81aa5b57dc272f8f3c33ef6323afeee20e43395",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-008",
      "pattern": "negation",
      "vault_hits": 8,
      "trace_hash": "35438c2e594f60222318f35386ab7c01f7c07fa27c4cd8992240b253d3614bc3",
      "trace_hash_replay": "35438c2e594f60222318f35386ab7c01f7c07fa27c4cd8992240b253d3614bc3",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-009",
      "pattern": "modus_tollens_chain",
      "vault_hits": 8,
      "trace_hash": "ecbbe849b6b63f44e217675154c312d766da07bba596dd4f9a25c754f22fe8f0",
      "trace_hash_replay": "ecbbe849b6b63f44e217675154c312d766da07bba596dd4f9a25c754f22fe8f0",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-010",
      "pattern": "modus_tollens_chain",
      "vault_hits": 11,
      "trace_hash": "c847edb69aaabd572c0baf6ed9f49bd9d383b3b4ffc7f74496753aa160256e56",
      "trace_hash_replay": "c847edb69aaabd572c0baf6ed9f49bd9d383b3b4ffc7f74496753aa160256e56",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-011",
      "pattern": "chain_recall",
      "vault_hits": 4,
      "trace_hash": "7a28413684c53139dd2b022904e0cd4c69f62e6aae1b9175a7c660d11355e804",
      "trace_hash_replay": "7a28413684c53139dd2b022904e0cd4c69f62e6aae1b9175a7c660d11355e804",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-012",
      "pattern": "chain_recall",
      "vault_hits": 8,
      "trace_hash": "fd1ab5e3051b18e03f31e18dd289c08348d5a882db51a173b3f6e7ce0daf6de3",
      "trace_hash_replay": "fd1ab5e3051b18e03f31e18dd289c08348d5a882db51a173b3f6e7ce0daf6de3",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-013",
      "pattern": "chain_recall",
      "vault_hits": 9,
      "trace_hash": "46257dfe2789f4d90725ac72174bd423019ba1c1fbf2009fbce0afe6a2919db2",
      "trace_hash_replay": "46257dfe2789f4d90725ac72174bd423019ba1c1fbf2009fbce0afe6a2919db2",
      "proposal_count": 4,
      "expected_proposals": 4,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-014",
      "pattern": "modus_ponens_chain",
      "vault_hits": 9,
      "trace_hash": "d4ca7efb5fa68f45248a494d6303e954210b6e60ab85cbd040ca3489bd480749",
      "trace_hash_replay": "d4ca7efb5fa68f45248a494d6303e954210b6e60ab85cbd040ca3489bd480749",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-015",
      "pattern": "single_premise",
      "vault_hits": 6,
      "trace_hash": "d5674d2f4d027139841330ca9c0479d5be191149595e33161b81fba7a1c299cd",
      "trace_hash_replay": "d5674d2f4d027139841330ca9c0479d5be191149595e33161b81fba7a1c299cd",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-016",
      "pattern": "syllogism",
      "vault_hits": 9,
      "trace_hash": "4c60c5066397d815d5d4ad94d7fd57c21de372a799052da502387ea76bcc298d",
      "trace_hash_replay": "4c60c5066397d815d5d4ad94d7fd57c21de372a799052da502387ea76bcc298d",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-017",
      "pattern": "negation",
      "vault_hits": 8,
      "trace_hash": "23b1887e288f12d1261cc58d95361eb634efeed47ae548ddc101ce1ee84a82ae",
      "trace_hash_replay": "23b1887e288f12d1261cc58d95361eb634efeed47ae548ddc101ce1ee84a82ae",
      "proposal_count": 1,
      "expected_proposals": 1,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    },
    {
      "id": "SYM-PUB-018",
      "pattern": "chain_recall",
      "vault_hits": 6,
      "trace_hash": "e52c769164fb2b02a210e9d149e5e7f926e729b5f04a615311a89b50a4a89b48",
      "trace_hash_replay": "e52c769164fb2b02a210e9d149e5e7f926e729b5f04a615311a89b50a4a89b48",
      "proposal_count": 2,
      "expected_proposals": 2,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    }
  ]
}