Add a CI gate: the site builds and the built pages match their sources

.github/workflows/ci.yml

@@ -0,0 +1,31 @@
+name: CI
+
+# The `gate` job's `run:` steps are also the AFK factory's gate (.sandcastle/run-gate.ts),
+# run in the sandcastle-agent image, which has Python 3.11. Keep build.py runnable on 3.11.
+
+on:
+  pull_request:
+  push:
+    branches: [main]
+
+jobs:
+  gate:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.11'
+      - name: Build the site
+        run: python3 build.py
+      - name: Built pages match their sources
+        run: |
+          changed="$(git status --porcelain)"
+          if [ -n "$changed" ]; then
+            echo "python3 build.py changed files; run it and commit the result:"
+            echo "$changed"
+            git diff
+            exit 1
+          fi
+      - name: install.sh parses
+        run: sh -n install.sh

CLAUDE.md

@@ -25,9 +25,9 @@ labelled `wayfinder:*` are skipped (`.sandcastle/ready-issues.ts`). A human merg
 **The gate reads its steps from CI.** The gate is the `run:` steps of the `gate` job
 (else the `checks` job) of `.github/workflows/ci.yml` **on `main`**, in order. If there is
 no `ci.yml`, no such job, or no runnable step, the gate runs nothing and logs that loudly.
-Today this repo has no `.github/workflows/ci.yml`, so the gate runs nothing and the
-review is the only check. Adding a `ci.yml` with a job named `gate` (or `checks`) makes the
-factory gate on it with no further change.
+Today the gate is the `gate` job of `.github/workflows/ci.yml`: `python3 build.py`, then a
+check that the built pages match their sources, then `sh -n install.sh`. It runs in the
+sandbox image's Python 3.11, so `build.py` must stay runnable on 3.11.
 The rule lives in one place, `gateFromCi` in `.sandcastle/run-gate.ts`, tested by
 `.sandcastle/run-gate.test.ts`.
 

build.py

@@ -154,9 +154,10 @@ def head(title, description, root):
 
 def nav_groups(active, wrapper_class):
     out = []
+    active_attr = ' class="active"'
     for section, pages in NAV:
         links = "\n".join(
-            f'      <a href="{slug}.html"{" class=\"active\"" if slug == active else ""}>{html.escape(title)}</a>'
+            f'      <a href="{slug}.html"{active_attr if slug == active else ""}>{html.escape(title)}</a>'
             for slug, title, _ in pages)
         out.append(f'    <div class="group">\n      <h4>{html.escape(section)}</h4>\n{links}\n    </div>')
     return "\n".join(out)