| --- |
| license: apache-2.0 |
| --- |
| |
| # 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. |
| |
