{
  "cases": [
    {
      "expected_proposals": 1,
      "id": "SYM-HLD-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": "80224fd99afb276e1cb4587534ef48e11e448fd8fc674c08df7271b7a7711532",
      "trace_hash_replay": "80224fd99afb276e1cb4587534ef48e11e448fd8fc674c08df7271b7a7711532",
      "vault_hits": 7
    },
    {
      "expected_proposals": 2,
      "id": "SYM-HLD-002",
      "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": "16890086eb090b02afded85d0042086546e95de19bc92a641c7f119845016826",
      "trace_hash_replay": "16890086eb090b02afded85d0042086546e95de19bc92a641c7f119845016826",
      "vault_hits": 8
    },
    {
      "expected_proposals": 2,
      "id": "SYM-HLD-003",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "syllogism",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "96739aafd272ffa6514aab20a9c4f5d88a61c50c1efe5fba915411d7385813b3",
      "trace_hash_replay": "96739aafd272ffa6514aab20a9c4f5d88a61c50c1efe5fba915411d7385813b3",
      "vault_hits": 6
    },
    {
      "expected_proposals": 1,
      "id": "SYM-HLD-004",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "negation",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "c3420ea6d2fdabd317a8b02c4b5e207e006f83f285bcff2b04b4d1be911e231c",
      "trace_hash_replay": "c3420ea6d2fdabd317a8b02c4b5e207e006f83f285bcff2b04b4d1be911e231c",
      "vault_hits": 7
    },
    {
      "expected_proposals": 2,
      "id": "SYM-HLD-005",
      "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": "67dc98b2f100d4fdafbf845d7b7cf51fcf5fbc5750a96a532674d1cbe78bf5ac",
      "trace_hash_replay": "67dc98b2f100d4fdafbf845d7b7cf51fcf5fbc5750a96a532674d1cbe78bf5ac",
      "vault_hits": 9
    },
    {
      "expected_proposals": 3,
      "id": "SYM-HLD-006",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "chain_recall",
      "premise_recall_pass": true,
      "proposal_count": 3,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "ae8e1bd81c0d65225a414e143c112fc888d3d0298e9dd926e6ef6a498545a650",
      "trace_hash_replay": "ae8e1bd81c0d65225a414e143c112fc888d3d0298e9dd926e6ef6a498545a650",
      "vault_hits": 9
    },
    {
      "expected_proposals": 3,
      "id": "SYM-HLD-007",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "chain_recall",
      "premise_recall_pass": true,
      "proposal_count": 3,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "a72d0e9670c82078b383c87f01181b51fe2d73b9ea954e4dd5b2b391ad4a17d3",
      "trace_hash_replay": "a72d0e9670c82078b383c87f01181b51fe2d73b9ea954e4dd5b2b391ad4a17d3",
      "vault_hits": 7
    },
    {
      "expected_proposals": 1,
      "id": "SYM-HLD-008",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "single_premise",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "8152b48b4249e6bd7c87effb8dab81ea0f31cda4586193f17180e95bb92a2038",
      "trace_hash_replay": "8152b48b4249e6bd7c87effb8dab81ea0f31cda4586193f17180e95bb92a2038",
      "vault_hits": 9
    },
    {
      "expected_proposals": 2,
      "id": "SYM-HLD-009",
      "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": "5006702acd91365e9dc94f96e76290b91d8390570e1db8f7d51591f59760c55c",
      "trace_hash_replay": "5006702acd91365e9dc94f96e76290b91d8390570e1db8f7d51591f59760c55c",
      "vault_hits": 6
    },
    {
      "expected_proposals": 2,
      "id": "SYM-HLD-010",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "syllogism",
      "premise_recall_pass": true,
      "proposal_count": 2,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "76fcba154a23d8e5ea8404d1e77aebce985a7a332dbfcd5cb3c92571e0e00f2a",
      "trace_hash_replay": "76fcba154a23d8e5ea8404d1e77aebce985a7a332dbfcd5cb3c92571e0e00f2a",
      "vault_hits": 9
    },
    {
      "expected_proposals": 1,
      "id": "SYM-HLD-011",
      "min_vault_hits": 1,
      "passed": true,
      "pattern": "negation",
      "premise_recall_pass": true,
      "proposal_count": 1,
      "proposal_pass": true,
      "replay_pass": true,
      "trace_hash": "264d4f457950adfdf70800267cc52eb73228f5450d2485b2ae2381cff882676f",
      "trace_hash_replay": "264d4f457950adfdf70800267cc52eb73228f5450d2485b2ae2381cff882676f",
      "vault_hits": 9
    },
    {
      "expected_proposals": 3,
      "id": "SYM-HLD-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": "97c7c298a9ccd424ea3219229ca0773d771b7742ae13c735b411cab3b0f1c776",
      "trace_hash_replay": "97c7c298a9ccd424ea3219229ca0773d771b7742ae13c735b411cab3b0f1c776",
      "vault_hits": 6
    }
  ],
  "lane": "symbolic_logic",
  "metrics": {
    "all_three_pass_rate": 1.0,
    "case_count": 12,
    "overall_pass": true,
    "premise_recall": 1.0,
    "proposal_storage": 1.0,
    "replay_determinism": 1.0
  },
  "split": "holdout",
  "timestamp": "2026-05-22T23:23:27.759978+00:00",
  "version": "v1"
}
