{
  "cases": [
    {
      "expected_proposals": 1,
      "id": "SYM-PUB-001",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "single_premise",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "55e2104ccc41356d36a049376948693631d1390ab0fa0f055652c012e8b722f6",
      "trace_hash_replay": "55e2104ccc41356d36a049376948693631d1390ab0fa0f055652c012e8b722f6",
      "vault_hits": 8
    },
    {
      "expected_proposals": 1,
      "id": "SYM-PUB-002",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "single_premise",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "5cb9e8a7ff412e3a4543ff682ec59ca744005a4bf6e64568d071df18c237d017",
      "trace_hash_replay": "5cb9e8a7ff412e3a4543ff682ec59ca744005a4bf6e64568d071df18c237d017",
      "vault_hits": 9
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-003",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "modus_ponens_chain",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "b3ed54d19e9b28b3f9e68ead8f3e4091f20d69b5d6ca5337cc01c7f386cace7c",
      "trace_hash_replay": "b3ed54d19e9b28b3f9e68ead8f3e4091f20d69b5d6ca5337cc01c7f386cace7c",
      "vault_hits": 6
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-004",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "modus_ponens_chain",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "eb96dcaa7ae701fa02b45385c5603f9d2efa82733c1ef2a68f2ff9ce663e0a54",
      "trace_hash_replay": "eb96dcaa7ae701fa02b45385c5603f9d2efa82733c1ef2a68f2ff9ce663e0a54",
      "vault_hits": 8
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-005",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "syllogism",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "261703a0da24e4f210a72577d5b5aeddbb3dd4cf5c695636a2cb5ac429006f7f",
      "trace_hash_replay": "261703a0da24e4f210a72577d5b5aeddbb3dd4cf5c695636a2cb5ac429006f7f",
      "vault_hits": 9
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-006",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "syllogism",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "ec246139e93fd02652471d0b164106ddcefc870b2d575c003b586962d47c2efe",
      "trace_hash_replay": "ec246139e93fd02652471d0b164106ddcefc870b2d575c003b586962d47c2efe",
      "vault_hits": 7
    },
    {
      "expected_proposals": 1,
      "id": "SYM-PUB-007",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "negation",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "2f1a134b0318008f0703f7c727d8d4fa23a8230852dfea76d2b2d8e59ad0fc7e",
      "trace_hash_replay": "2f1a134b0318008f0703f7c727d8d4fa23a8230852dfea76d2b2d8e59ad0fc7e",
      "vault_hits": 7
    },
    {
      "expected_proposals": 1,
      "id": "SYM-PUB-008",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "negation",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "36f57fb9014e01dd3bcb7a71ebe90f868d688b357f098ab6cbc76bb04105dccb",
      "trace_hash_replay": "36f57fb9014e01dd3bcb7a71ebe90f868d688b357f098ab6cbc76bb04105dccb",
      "vault_hits": 8
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-009",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "modus_tollens_chain",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "a5660b9b6fc02cd31cbc29bf32cbee7e26a7e36c210ff83368423818ded63db8",
      "trace_hash_replay": "a5660b9b6fc02cd31cbc29bf32cbee7e26a7e36c210ff83368423818ded63db8",
      "vault_hits": 8
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-010",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "modus_tollens_chain",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "5094014c1059555827099e5db78bd1c8d364c8b5e3347a1a4b15182a1709f2dd",
      "trace_hash_replay": "5094014c1059555827099e5db78bd1c8d364c8b5e3347a1a4b15182a1709f2dd",
      "vault_hits": 11
    },
    {
      "expected_proposals": 3,
      "id": "SYM-PUB-011",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "chain_recall",
      "premise_recall_pass": true,
      "proposal_count": 3,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "4cc1af73e8ff207b3a3474174241f792b35e04fad70cc1ea6b036360526d7f1c",
      "trace_hash_replay": "4cc1af73e8ff207b3a3474174241f792b35e04fad70cc1ea6b036360526d7f1c",
      "vault_hits": 4
    },
    {
      "expected_proposals": 3,
      "id": "SYM-PUB-012",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "chain_recall",
      "premise_recall_pass": true,
      "proposal_count": 3,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "a94af500f39a835e9f5bcf9398c0ce8dc0410a4148d6a03eb8a8d80f1fe3f852",
      "trace_hash_replay": "a94af500f39a835e9f5bcf9398c0ce8dc0410a4148d6a03eb8a8d80f1fe3f852",
      "vault_hits": 8
    },
    {
      "expected_proposals": 4,
      "id": "SYM-PUB-013",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "chain_recall",
      "premise_recall_pass": true,
      "proposal_count": 4,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "1b32f72a20f2e74f490218b127e588c6241e8957f2c15a480472061c5c945df0",
      "trace_hash_replay": "1b32f72a20f2e74f490218b127e588c6241e8957f2c15a480472061c5c945df0",
      "vault_hits": 9
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-014",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "modus_ponens_chain",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "9e80eacaa26d08d54cf537c0fee0d238a93eeb97aeb40e8a0e27bdaef673b3f7",
      "trace_hash_replay": "9e80eacaa26d08d54cf537c0fee0d238a93eeb97aeb40e8a0e27bdaef673b3f7",
      "vault_hits": 9
    },
    {
      "expected_proposals": 1,
      "id": "SYM-PUB-015",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "single_premise",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "f8d6254665eaadd6272196260394cbf53231d368e3f6dd520ebba7f8a814851d",
      "trace_hash_replay": "f8d6254665eaadd6272196260394cbf53231d368e3f6dd520ebba7f8a814851d",
      "vault_hits": 6
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-016",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "syllogism",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "8f10e619ac4162b6077b3577565efb5c7921b1e8bac386e3e510742bbe4591e3",
      "trace_hash_replay": "8f10e619ac4162b6077b3577565efb5c7921b1e8bac386e3e510742bbe4591e3",
      "vault_hits": 9
    },
    {
      "expected_proposals": 1,
      "id": "SYM-PUB-017",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "negation",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "39be6151a82543bdaf8cb4cccbee70b1bd969d6fb914ec26410d1c278a977ebe",
      "trace_hash_replay": "39be6151a82543bdaf8cb4cccbee70b1bd969d6fb914ec26410d1c278a977ebe",
      "vault_hits": 8
    },
    {
      "expected_proposals": 2,
      "id": "SYM-PUB-018",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "chain_recall",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "cef95573b770e69ba726799bbd3925608053c0d29cc6b081e65d9f685adeeb85",
      "trace_hash_replay": "cef95573b770e69ba726799bbd3925608053c0d29cc6b081e65d9f685adeeb85",
      "vault_hits": 6
    }
  ],
  "lane": "symbolic_logic",
  "metrics": {
    "all_three_pass_rate": 1.0,
    "case_count": 18,
    "overall_pass": true,
    "premise_recall": 1.0,
    "proposal_storage": 1.0,
    "replay_determinism": 1.0
  },
  "split": "public",
  "timestamp": "2026-05-22T23:22:00.948314+00:00",
  "version": "v1"
}
