Conditional κ = 0.001274494971185576: four-replica whole bit hosting

.gitattributes

@@ -18,3 +18,19 @@ research/coordinated-frames-and-entrance-banks/** -text -whitespace
 # Frozen PR210 package and round-nine evidence retain their audited bytes.
 research/five-stage-source527-banks/** -text -whitespace
 research/community-round9-audit/** -text -whitespace
+
+# Frozen replicated E8 sources and witnesses preserve their committed bytes.
+research/e8-r740-replica32/** -text
+# Byte-identical PR442 proof packages, including original whitespace.
+research/e8-early-reset-kernel/** -text -whitespace
+research/e8-early-reset-reuse/** -text -whitespace
+research/idle-axis-hosting/** -text -whitespace
+research/split-centres-global/** -text -whitespace
+# Preserve source pins and the literal evidence diff, including removed whitespace.
+research/e8-target-mixing-whole/** -text
+research/e8-target-mixing-whole-validation/FINAL-COSMETIC.diff -text -whitespace
+
+research/complex-kernel-mixed151/** -text
+research/r740-hosted-rank151-mixed/** -text
+
+research/bit-whole-pool4/** -text

.github/workflows/bit-whole-pool4.yml

@@ -0,0 +1,30 @@
+name: Verify whole bit residual pooling
+on:
+  pull_request:
+    paths: ['research/bit-whole-pool4/**', '.github/workflows/bit-whole-pool4.yml']
+  push:
+    paths: ['research/bit-whole-pool4/**', '.github/workflows/bit-whole-pool4.yml']
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: sudo apt-get update && sudo apt-get install -y g++ libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - run: python -B research/bit-whole-pool4/verify.py "$RUNNER_TEMP/pool4"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: pool4-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/pool4/*.json
+            ${{ runner.temp }}/pool4/*.log

.github/workflows/complex-kernel-mixed151.yml

@@ -0,0 +1,30 @@
+name: Verify composed complex kernel and rank151 bit supplier
+on:
+  pull_request:
+    paths: ['research/complex-kernel-mixed151/**', 'research/r740-hosted-rank151-mixed/**', '.github/workflows/complex-kernel-mixed151.yml']
+  push:
+    paths: ['research/complex-kernel-mixed151/**', 'research/r740-hosted-rank151-mixed/**', '.github/workflows/complex-kernel-mixed151.yml']
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: sudo apt-get update && sudo apt-get install -y g++ libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - run: python -B research/complex-kernel-mixed151/verify.py "$RUNNER_TEMP/composition"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: composition-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/composition/*.json
+            ${{ runner.temp }}/composition/*.log

.github/workflows/e8-complex-adapted-kernel.yml

@@ -0,0 +1,60 @@
+name: e8-complex-adapted-kernel
+on:
+  pull_request:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/r740-hosted-rank149/**'
+      - 'research/e8-target-mixing-whole/**'
+      - 'research/e8-complex-adapted-kernel/**'
+      - 'research/whole-hosted-format-ceiling/**'
+      - 'research/cross-family-residual-obstruction/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/e8-complex-adapted-kernel.yml'
+  push:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/r740-hosted-rank149/**'
+      - 'research/e8-target-mixing-whole/**'
+      - 'research/e8-complex-adapted-kernel/**'
+      - 'research/whole-hosted-format-ceiling/**'
+      - 'research/cross-family-residual-obstruction/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/e8-complex-adapted-kernel.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - name: Exact cross-family route obstruction
+        run: python -B research/cross-family-residual-obstruction/verify.py
+      - name: Exact scoped architecture ceiling
+        run: python -B research/whole-hosted-format-ceiling/verify.py
+      - name: Full parent, local phases and both eleven-stage suppliers
+        run: E8_REPLAY_PHASES=1 python -B research/e8-complex-adapted-kernel/verify.py "$RUNNER_TEMP/e8-complex-adapted-kernel-full"
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code

.github/workflows/e8-r740-replica32.yml

@@ -0,0 +1,34 @@
+name: e8-r740-replica32
+on:
+  pull_request:
+    paths:
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/e8-r740-replica32.yml'
+  push:
+    paths:
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/e8-r740-replica32.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - name: Full parent reconstruction and kernel verification
+        run: bash research/e8-r740-replica32/verify.sh "$RUNNER_TEMP/e8-r740-replica32-full"
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code

.github/workflows/e8-target-mixing-whole.yml

@@ -0,0 +1,54 @@
+name: e8-target-mixing-whole
+on:
+  pull_request:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/r740-hosted-rank149/**'
+      - 'research/e8-target-mixing-whole/**'
+      - 'research/cross-family-residual-obstruction/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/e8-target-mixing-whole.yml'
+  push:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/r740-hosted-rank149/**'
+      - 'research/e8-target-mixing-whole/**'
+      - 'research/cross-family-residual-obstruction/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/e8-target-mixing-whole.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - name: Exact cross-family route obstruction
+        run: python -B research/cross-family-residual-obstruction/verify.py
+      - name: Full parent, local phases and both eleven-stage suppliers
+        run: E8_REPLAY_PHASES=1 python -B research/e8-target-mixing-whole/verify.py "$RUNNER_TEMP/e8-target-mixing-whole-full"
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code

.github/workflows/r740-hosted-eleven.yml

@@ -0,0 +1,46 @@
+name: r740-hosted-eleven
+on:
+  pull_request:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/r740-hosted-eleven.yml'
+  push:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/r740-hosted-eleven.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - name: Full parent reconstruction and hosted verification
+        run: python -B research/r740-hosted-eleven/verify.py "$RUNNER_TEMP/r740-hosted-eleven-full"
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code

.github/workflows/r740-hosted-rank149.yml

@@ -0,0 +1,52 @@
+name: r740-hosted-rank149
+on:
+  pull_request:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/r740-hosted-rank149/**'
+      - 'research/cross-family-residual-obstruction/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/r740-hosted-rank149.yml'
+  push:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/r740-hosted-eleven/**'
+      - 'research/r740-hosted-rank149/**'
+      - 'research/cross-family-residual-obstruction/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/r740-hosted-rank149.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - name: Exact cross-family route obstruction
+        run: python -B research/cross-family-residual-obstruction/verify.py
+      - name: Full parent, local phases and both eleven-stage suppliers
+        run: E8_REPLAY_PHASES=1 python -B research/r740-hosted-rank149/verify.py "$RUNNER_TEMP/r740-hosted-rank149-full"
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code

.github/workflows/r740-idle-hosted-replicas.yml

@@ -0,0 +1,44 @@
+name: r740-idle-hosted-replicas
+on:
+  pull_request:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/r740-idle-hosted-replicas.yml'
+  push:
+    paths:
+      - 'research/r740-idle-hosted-replicas/**'
+      - 'research/split-centres-global/**'
+      - 'research/e8-early-reset-reuse/**'
+      - 'research/e8-early-reset-kernel/**'
+      - 'research/idle-axis-hosting/**'
+      - 'research/e8-r740-replica32/**'
+      - '.github/workflows/r740-idle-hosted-replicas.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt
+      - name: Full parent reconstruction and hosted verification
+        run: python -B research/r740-idle-hosted-replicas/verify.py "$RUNNER_TEMP/r740-idle-hosted-replicas-full"
+      - name: Require an unchanged tracked 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/bit-whole-pool4-validation/README.md

@@ -0,0 +1 @@
+Full default Python3.14.8 reconstruction passed, including the repaired full PR460 supplier chain and all changed whole-pooling checks. The proof package remained unchanged throughout this run. This is local execution evidence; no CI pass is asserted.