fix: make Proof Lab Pages build independently testable

.github/workflows/ci.yml

@@ -438,9 +438,19 @@ jobs:
       - name: Check frontend JavaScript syntax
         run: node --check site/app.js
 
-      - name: Serve Counterproof playground
+      - name: Build deployable Proof Lab artifact
         run: |
-          python3 -m http.server 8765 --directory site >/tmp/counterproof-http.log 2>&1 &
+          python3 scripts/build_pages.py
+          test -f dist/index.html
+          test -f dist/app.js
+          test -f dist/data/build.json
+          test -f dist/data/capabilities.json
+          grep -q '"commit"' dist/data/build.json
+          grep -q 'CounterProof' dist/index.html
+
+      - name: Serve CounterProof Proof Lab
+        run: |
+          python3 -m http.server 8765 --directory dist >/tmp/counterproof-http.log 2>&1 &
           echo $! >/tmp/counterproof-http.pid
           for i in {1..20}; do
             curl -fsS http://127.0.0.1:8765/ >/dev/null && exit 0

.github/workflows/pages.yml

@@ -5,7 +5,6 @@ on:
     branches: [main]
     paths:
       - 'site/**'
-      - 'skill_factory/evolution/capabilities.py'
       - 'scripts/build_pages.py'
       - '.github/workflows/pages.yml'
   workflow_dispatch:

scripts/build_pages.py

@@ -8,8 +8,6 @@
 from datetime import datetime, timezone
 from pathlib import Path
 
-from skill_factory.evolution.capabilities import capability_report
-
 ROOT = Path(__file__).resolve().parents[1]
 DIST = ROOT / "dist"
 
@@ -36,10 +34,6 @@ def main() -> None:
         json.dumps(build, ensure_ascii=False, indent=2),
         encoding="utf-8",
     )
-    (data / "capabilities.json").write_text(
-        json.dumps(capability_report(), ensure_ascii=False, indent=2),
-        encoding="utf-8",
-    )
     (DIST / ".nojekyll").touch()