core/evals/symbolic_logic/public
Shay 119d97f9c0 feat(evals): v2 lanes for calibration and symbolic-logic
Closes Phase 2 v2 coverage — all five lanes now pass v2 public + holdouts.

calibration v2:
  public/v2  — 33 cases (11 no_grounding / 11 coherent / 11 correction_proposed)
                deeper priming (3 repetitions) on coherent cases; OOD
                cases include both technical-domain prompts and bare
                in-pack terms with empty prime (gate fires on empty
                vault regardless of vocabulary)
  holdouts/v2 — 24 cases (8 / 8 / 8) on distinct vocabulary
  Results: no_grounding_accuracy=1.0, coherent_accuracy=1.0,
            correction_proposed_accuracy=1.0 on both splits.

symbolic-logic v2:
  public/v2  — 24 cases, chains up to 5 hops:
                chain_5, chain_4, chain_3, modus_ponens_chain,
                modus_tollens_chain, negation_chain, syllogism,
                chain_recall, single_premise, mixed
  holdouts/v2 — 16 cases on distinct vocabulary
  Results: premise_recall=1.0, replay_determinism=1.0,
            proposal_storage=1.0 on both splits.

  Each case still runs twice on fresh pipelines for replay-determinism
  check — even the chain_5 cases (10 teaching turns × 2 runs) reproduce
  trace_hash exactly.

Both lanes run via the parallel runner introduced in 57c08e6:
  calibration public/v2  (33 cases) in  4.9s
  calibration holdouts/v2 (24 cases) in  3.7s
  symbolic_logic public/v2 (24 cases) in 21.9s
  symbolic_logic holdouts/v2 (16 cases) in 16.5s
  (symbolic_logic is slower per-case because of the 2x replay run +
   long chains)

Test suite: 596 passing (no regression).

Phase 2 v2 milestone: all five lanes complete + v1 baselines documented.
Next: v3 lanes for at least two of the five (roadmap exit gate).
2026-05-16 13:17:41 -07:00
..
v1 feat(evals): symbolic-logic lane v1 — premise-chain foundations 2026-05-16 12:34:55 -07:00
v2 feat(evals): v2 lanes for calibration and symbolic-logic 2026-05-16 13:17:41 -07:00