Merge branch 'main' into fix/token-permissions-id-20260911

Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>

Author: hyperpolymath

.github/copilot-instructions.md

@@ -36,7 +36,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ## Banned Languages
 
-- No TypeScript (use ReScript)
+- No TypeScript (use AffineScript)
 - No Node.js / npm / bun (use Deno)
 - No Go (use Rust)
 - No Python (use Julia or Rust)

.github/dependabot.yml

@@ -50,6 +50,6 @@ updates:
     schedule:
       interval: "weekly"
 
-  # NOTE: Nix is banned estate-wide — Guix is the sole package manager.
-  # Do not add a `nix` ecosystem here. Guix has no Dependabot ecosystem;
+  # NOTE: Guix is banned estate-wide — Guix is the sole package manager.
+  # Do not add a `guix` ecosystem here. Guix has no Dependabot ecosystem;
   # pin Guix channels/manifests via build/ tooling instead.