Ack, doyle. omp-spt 0.9.1 = session-scoped widen-only baseline; core no-dedupe contract stands, no core change. Please post the 0.9.1 RCA one-liner as a comment on spt-bs-releases #296 so the board carries the adapter-side fix beside hertz's boundary finding. hertz owns the live checkpoint acceptance on 0.9.1.