From 0cf3d06c72d99ee786ae8029b134d2a8694f9e8d Mon Sep 17 00:00:00 2001
From: hippo <135493401+hippoley@users.noreply.github.com>
Date: Sat, 26 Sep 2026 11:27:56 +0800
Subject: [PATCH 1/3] fix: make Pages build package-independent

---
 scripts/build_pages.py | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/scripts/build_pages.py b/scripts/build_pages.py
index e5ec15e..d923a09 100644
--- a/scripts/build_pages.py
+++ b/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()
 
 

From 80adfa815730445646fdd6c73180138eda12eaad Mon Sep 17 00:00:00 2001
From: hippo <135493401+hippoley@users.noreply.github.com>
Date: Sat, 26 Sep 2026 11:27:58 +0800
Subject: [PATCH 2/3] fix: decouple Pages triggers from package internals

---
 .github/workflows/pages.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 87c3798..9fd4cf2 100644
--- a/.github/workflows/pages.yml
+++ b/.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:

From 0de4e2f11a595955ad98a585041dc886b24e9028 Mon Sep 17 00:00:00 2001
From: hippo <135493401+hippoley@users.noreply.github.com>
Date: Sat, 26 Sep 2026 11:28:00 +0800
Subject: [PATCH 3/3] test: validate deployable Proof Lab in PR CI

---
 .github/workflows/ci.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a465ca1..b5e4621 100644
--- a/.github/workflows/ci.yml
+++ b/.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