diff --git a/bots/gsbot/RSR.md b/bots/gsbot/RSR.md index 7e292b43..778bdb60 100644 --- a/bots/gsbot/RSR.md +++ b/bots/gsbot/RSR.md @@ -44,7 +44,7 @@ implemented in **Rust** (with a designed-in SPARK verification seam — see - ✅ Automated testing (`cargo test --all-targets`) - ✅ Code quality checks (`cargo clippy --all-targets -- -D warnings`, `cargo fmt --all -- --check`) -- ✅ Banned-language enforcement (Hypatia / ts-blocker / npm-bun-blocker) +- ✅ Banned-language enforcement (Hypatia / runtime-policy) - ✅ Build verification ### ✅ Testing (Complete)