Prototype causal rewriting with a syntax DAG

2026-11-04 16:34:06 +08:00
parent 503cf5e978
commit 218f25290b
6 changed files with 271 additions and 0 deletions
@@ -0,0 +1,13 @@
+name: Verify syntax DAG
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu24.04-x64-lean4.35
+    steps:
+      - uses: https://github.com/actions/checkout@v4
+      - name: Install wheels in an isolated environment
+        run: |
+          python3 -m venv .venv
+          .venv/bin/python -m pip install --only-binary=:all: -r requirements.txt
+      - name: Verify graph commits and decoding
+        run: .venv/bin/python -m unittest -v