DoneSpec – deterministic completion checks for AI coding agents | Heykuki News