rebind stale SPEC-HYGIENE-CORE R1 static replay closure