{
  "metrics": {
    "premise_recall": 1.0,
    "replay_determinism": 1.0,
    "proposal_storage": 1.0,
    "all_three_pass_rate": 1.0,
    "case_count": 24,
    "overall_pass": true
  },
  "case_details": [
    {
      "id": "SYM-V2-001",
      "pattern": "chain_5",
      "vault_hits": 9,
      "trace_hash": "3149f304ab8cb4cf1267467fbaea85c191837d145eaf99043d86f29fa413ba73",
      "trace_hash_replay": "3149f304ab8cb4cf1267467fbaea85c191837d145eaf99043d86f29fa413ba73",
      "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-002",
      "pattern": "chain_5",
      "vault_hits": 7,
      "trace_hash": "1094af17c8e2deb34f770ca5d14dea3749ec1b0f659c720baa4dbb6d19bcbbdc",
      "trace_hash_replay": "1094af17c8e2deb34f770ca5d14dea3749ec1b0f659c720baa4dbb6d19bcbbdc",
      "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-003",
      "pattern": "chain_4",
      "vault_hits": 9,
      "trace_hash": "0047c5566da5f9271bebbd7b9b95a9134b56c66197801c68e8bbc8e42b2b9958",
      "trace_hash_replay": "0047c5566da5f9271bebbd7b9b95a9134b56c66197801c68e8bbc8e42b2b9958",
      "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-004",
      "pattern": "chain_4",
      "vault_hits": 9,
      "trace_hash": "da13c4c1a6d0f19491b8a119a8f5fa502452c23014399288a7af1a7d016888be",
      "trace_hash_replay": "da13c4c1a6d0f19491b8a119a8f5fa502452c23014399288a7af1a7d016888be",
      "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-005",
      "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-V2-006",
      "pattern": "modus_ponens_chain",
      "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-V2-007",
      "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-V2-008",
      "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-V2-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-V2-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-V2-011",
      "pattern": "negation_chain",
      "vault_hits": 9,
      "trace_hash": "2266d6455e2d3db8002094551ad1d3714e5f73a19b9087f3b5266cd4492251f4",
      "trace_hash_replay": "2266d6455e2d3db8002094551ad1d3714e5f73a19b9087f3b5266cd4492251f4",
      "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-012",
      "pattern": "negation_chain",
      "vault_hits": 9,
      "trace_hash": "785f7b82c4d7a6c0df40c20a22d521488e4520d79b601b7e4d82f50db8b76519",
      "trace_hash_replay": "785f7b82c4d7a6c0df40c20a22d521488e4520d79b601b7e4d82f50db8b76519",
      "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-013",
      "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
    },
    {
      "id": "SYM-V2-014",
      "pattern": "chain_recall",
      "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-V2-015",
      "pattern": "single_premise",
      "vault_hits": 6,
      "trace_hash": "9bda4e0f53c343482e0a82fdcc944b6cb8ac30a93bc242726100b08c23616edc",
      "trace_hash_replay": "9bda4e0f53c343482e0a82fdcc944b6cb8ac30a93bc242726100b08c23616edc",
      "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-016",
      "pattern": "single_premise",
      "vault_hits": 6,
      "trace_hash": "ab483df8c90d8667caaf9906d68d8532999f4b078c69c5544345fba25bec66c1",
      "trace_hash_replay": "ab483df8c90d8667caaf9906d68d8532999f4b078c69c5544345fba25bec66c1",
      "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-017",
      "pattern": "single_premise",
      "vault_hits": 6,
      "trace_hash": "e62a2ced1b05a402d1561feb1ba31812885b20667222152afcd538cb205cf672",
      "trace_hash_replay": "e62a2ced1b05a402d1561feb1ba31812885b20667222152afcd538cb205cf672",
      "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-018",
      "pattern": "chain_3",
      "vault_hits": 8,
      "trace_hash": "5998b7a88573e59986a76472c5d4efaba39cb0cf7aa8d3182ad40cae0250d693",
      "trace_hash_replay": "5998b7a88573e59986a76472c5d4efaba39cb0cf7aa8d3182ad40cae0250d693",
      "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-019",
      "pattern": "chain_3",
      "vault_hits": 8,
      "trace_hash": "460821a5b8ec24e78fa91a44f14afc2dadce44757e56889083858aea4d082559",
      "trace_hash_replay": "460821a5b8ec24e78fa91a44f14afc2dadce44757e56889083858aea4d082559",
      "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-020",
      "pattern": "chain_3",
      "vault_hits": 7,
      "trace_hash": "4aa87478699e5de41539aecdf172ff876bb503065c0b13a4b32f0899e15e720c",
      "trace_hash_replay": "4aa87478699e5de41539aecdf172ff876bb503065c0b13a4b32f0899e15e720c",
      "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-021",
      "pattern": "mixed",
      "vault_hits": 10,
      "trace_hash": "49ad92f6bb8e747a49e2ef1ef6738dbc2a30d5c571c8e1269f7796bd2bd63587",
      "trace_hash_replay": "49ad92f6bb8e747a49e2ef1ef6738dbc2a30d5c571c8e1269f7796bd2bd63587",
      "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-022",
      "pattern": "mixed",
      "vault_hits": 11,
      "trace_hash": "4196fb58a84737a1c71e6845227d27344beb44d23237fdf6186ba22f41d81968",
      "trace_hash_replay": "4196fb58a84737a1c71e6845227d27344beb44d23237fdf6186ba22f41d81968",
      "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-023",
      "pattern": "mixed",
      "vault_hits": 4,
      "trace_hash": "f807f3bca3266985f80f9d870ca871d7c2a325289c6176f29d34bcfa676b9ca9",
      "trace_hash_replay": "f807f3bca3266985f80f9d870ca871d7c2a325289c6176f29d34bcfa676b9ca9",
      "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-024",
      "pattern": "mixed",
      "vault_hits": 7,
      "trace_hash": "5fb3d30d2c42a750cccb055d9f7d02ca8b9fd48ac19ac7c6e7a3690e40679097",
      "trace_hash_replay": "5fb3d30d2c42a750cccb055d9f7d02ca8b9fd48ac19ac7c6e7a3690e40679097",
      "proposal_count": 3,
      "expected_proposals": 3,
      "min_vault_hits": 1,
      "premise_recall_pass": true,
      "replay_pass": true,
      "proposal_pass": true,
      "passed": true
    }
  ]
}