FINER-SQL writer spurious-gate study โ compactexec reference checkpoint
checkpoint-1200 from the gate_* GRPO writer spurious-gate arms
(campaigns/chained_05b_tkde/writer_gate_results/, finer-sql-tkde repo, paper-and-architecture
branch), dataset data/train/grpo_sql_writer_bird_train_compactexec.
Cited as the step-matched compactexec comparison reference in
campaigns/chained_05b_tkde/NOTEBOOK.md (2026-08 entry):
kept_ckpts_compactexec/checkpoint-1200(959MB, model.safetensors OK) +probes_iso/compactexec/compactexec1200_bird_full.json= EX 0.21121 (21.12%), n=1534, 324 exec-match.
Caveat from the same entry: all 324 exec-matches were oracle_verdict=oracle_error /
oracle_detector=db_not_found (the oracle could not open the DB at probe time โ certified / proven_spurious / unresolved = 0). This reference is usable for EX only, not for spurious
coverage. See writer_gate_results/review_panel/ROUND2_RUNS.md for the round context.