Cover detection helpers from SPEC §6.2 for regression safety. Co-authored-by: Cursor <cursoragent@cursor.com>