κ = 7.6817007781759e-4: composed p10 stages with full source-bound admission

.github/workflows/p10-composed-stages.yml

@@ -0,0 +1,35 @@
+name: p10 composed stages
+on:
+  pull_request:
+    paths:
+      - 'research/p10-composed-stages/**'
+      - '.github/workflows/p10-composed-stages.yml'
+  push:
+    paths:
+      - 'research/p10-composed-stages/**'
+      - '.github/workflows/p10-composed-stages.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/p10-composed-stages/requirements.txt
+      - name: Replay complete immutable construction
+        run: python -B research/p10-composed-stages/verify.py --output "$RUNNER_TEMP/p10-composed-proof" --cxx g++ --boost-include /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: p10-composed-verification
+          path: |
+            ${{ runner.temp }}/p10-composed-proof/VERIFICATION.json
+            ${{ runner.temp }}/p10-composed-proof/CERTIFICATE.json
+            ${{ runner.temp }}/p10-composed-proof/FAILURE.json
+            ${{ runner.temp }}/p10-composed-proof/logs/