Conditional κ = 8.049462195041506e-4: two kernels and 15 extra retimings after #366

.github/workflows/pr364-kernel-extension.yml

@@ -0,0 +1,41 @@
+name: Verify kernel and coupled frame extension
+on:
+  pull_request:
+    paths:
+      - 'research/pr364-kernel-extension/**'
+      - 'research/pr366-propagation-extension/**'
+      - 'research/w3-design-t-staged-p10b-reorder-mc/**'
+      - '.github/workflows/pr364-kernel-extension.yml'
+  push:
+    paths:
+      - 'research/pr364-kernel-extension/**'
+      - 'research/pr366-propagation-extension/**'
+      - 'research/w3-design-t-staged-p10b-reorder-mc/**'
+      - '.github/workflows/pr364-kernel-extension.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.12']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: ${{ matrix.python }}
+      - name: Install verifier dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y g++ libboost-dev
+          python -m pip install -r research/pr366-propagation-extension/requirements.txt
+      - name: Replay pinned source and new certificate
+        run: python -B research/pr366-propagation-extension/verify.py --output "$RUNNER_TEMP/propagation-extension"
+      - name: Confirm source tree unchanged
+        run: git diff --exit-code

.github/workflows/w3-design-t-staged-p10b.yml

@@ -0,0 +1,42 @@
+name: w3-design-t-staged-p10b
+
+on:
+  pull_request:
+    paths:
+      - 'research/w3-design-t-staged-p10b/**'
+      - '.github/workflows/w3-design-t-staged-p10b.yml'
+  push:
+    paths:
+      - 'research/w3-design-t-staged-p10b/**'
+      - '.github/workflows/w3-design-t-staged-p10b.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 90
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.12', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install dependencies (numpy, mpmath, C++17 compiler, Boost headers)
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y g++ libboost-dev
+          python -m pip install numpy==2.3.5 mpmath==1.3.0
+      - name: Quick verification (manifest, staged word, Design T + twin rebuild, legality, columns, E8 supplier, kappa)
+        run: bash research/w3-design-t-staged-p10b/verify.sh --quick "$RUNNER_TEMP/dtst-quick"
+      - name: Full verification (adds the PR346 rebuild control)
+        run: bash research/w3-design-t-staged-p10b/verify.sh "$RUNNER_TEMP/dtst-full"
+      - name: Require an unchanged tree
+        run: git diff --exit-code

certificates/joint-dual-kappa.json

@@ -842,7 +842,7 @@
     "scripts/experiments/pin_joint_dual_sources.py": "4d31cc0e38b7902709ca5f8f714cba109760d2592346dd7f8dc0b900a2d9fe00",
     "scripts/experiments/verify_joint_dual.py": "7a31bba1e9c0ded32ae285df2ca9bc91ef20c330f6789fdba361876f3c7a1985"
   },
-  "source_manifest_sha256": "4f3c15b82a2d97335d4fe95fb8bcb96bd2a921087da289d9da16c68213a17f17",
+  "source_manifest_sha256": "698fe862a620e5b80b85fbc6034c9456fa0fa9aea638dbbbcb3f9edd24c0415e",
   "sources": [
     {
       "files": {

certificates/joint-dual-validation.json

@@ -226,7 +226,7 @@
     }
   },
   "bit_saving": "2382370177/50000000000000",
-  "certificate_sha256": "9801147b1502cf1e43d5fa39aa37f5291f03b48c30c4dd4f272e0877894a1c24",
+  "certificate_sha256": "6f684fa7f747073a132e8d0b5652cf12a8afa389f2a16ff6ade8e080d786dd22",
   "kappa": "4764513337/100000000000000",
   "margins": 7,
   "producer_words_regenerated_and_matched": true,

research/joint-dual/SOURCE.json

@@ -3,9 +3,9 @@
   "base_pr57_commit": "cd350f76c9bc01489ec83568bded532cb69be938",
   "base_pr58_commit": "bc2f7ed4c20dc18898305ab17165c0c995cbb804",
   "files": {
-    "Makefile": "768131bd4ce18433f6abccdc9812a38c92e11220e3a1019c6d95334b42f529d1",
+    "Makefile": "cd0fb59dc078d1fdf54a163ea13bb3660d03c8fe69c1a7f99fc8e5f476a3d5c2",
     "NOTICE": "b49022cb4104d90b182e4c335f670faf45529025b15db77bf0291835083c28bd",
-    "README.md": "d104c31d5b7e0d3a8d011a0e3517ab615e5b499b3dc05684f7ad3cadcd28bdae",
+    "README.md": "b81f8035b859007add6693c6d860371c9100a6766e494045495a28a457a5fcb9",
     "certificates/joint-dual-compiler.json": "516c4d85158553dabd0a98216a064b2a7397957a9d5dd0df1d6e5aec53a4e805",
     "certificates/joint-dual-profiles-23.json": "159fa8fee175fc1d24f63e72d3c2f1dc9f4fcd78b938c5e7d2f735fd0fd37209",
     "certificates/joint-dual-profiles-25.json": "8d190ce42d097e828c5756918c52f2963df576cf4c6600b0fc7f2b7fdb6ad223",