From 236072625cf1ad3bf6b3337c87fc4c3c155fe16e Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 29 Jul 2026 08:09:23 +0100 Subject: [PATCH] docs: stop describing two deleted CI workflows as live MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit npm-bun-blocker.yml was REPLACED by runtime-policy.yml, and ts-blocker.yml was DELETED outright, across 55 repositories on 2026-07-29. These documents still described both as active CI. npm-bun-blocker -> runtime-policy (renamed in place; it has a successor) ts-blocker -> removed (no successor; the rule it enforced, "use ReScript instead", is itself retired) Why they went, briefly: the old npm-bun-blocker failed any build carrying bun.lockb with "Use Deno instead", which blocked what is now the FIRST-choice runtime under standards/LANGUAGE-POLICY.adoc §1 and mandated the second. ts-blocker could not fail at all -- it diffed HEAD~1 on a depth-1 checkout, sent the error to /dev/null and swallowed it with || true. 20 of 20 runs green; it never once fired. Deliberately NOT touched, and excluded from the sweep that produced this: * dated records -- CRG-AUDIT-2026-04-18.adoc, SESSION-CLOSE-*, STATE-ASSESSMENT-*, CHANGELOGs, .audittraining/. They record the tree AS IT WAS; rewriting them would falsify the record. * standards/LANGUAGE-POLICY.adoc, which names both workflows on purpose in order to document their retirement. Full scan: dev-notes/SCAN-RESULTS-2026-07-29.adoc. Co-Authored-By: Claude Opus 5 --- bots/gsbot/RSR.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)