R715 count-only fallback correction: conditional κ = 0.001296611983223706

.gitattributes

@@ -18,3 +18,25 @@ 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
+
+research/r715-kernel-pool/** -text
+
+research/r715-retimed-kernel-pool/** -text
+
+research/r715-pr472-deliveries/** -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/r715-kernel-pool.yml

@@ -0,0 +1,30 @@
+name: Verify R715 kernel and whole pooling
+on:
+  pull_request:
+    paths: ['research/r715-kernel-pool/**', '.github/workflows/r715-kernel-pool.yml']
+  push:
+    paths: ['research/r715-kernel-pool/**', '.github/workflows/r715-kernel-pool.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/r715-kernel-pool/verify.py "$RUNNER_TEMP/r715"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: r715-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/r715/*.json
+            ${{ runner.temp }}/r715/*.log

.github/workflows/r715-pr472-deliveries.yml

@@ -0,0 +1,30 @@
+name: Verify PR472 delivery reordering and whole pooling
+on:
+  pull_request:
+    paths: ['research/r715-pr472-deliveries/**', '.github/workflows/r715-pr472-deliveries.yml']
+  push:
+    paths: ['research/r715-pr472-deliveries/**', '.github/workflows/r715-pr472-deliveries.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/r715-pr472-deliveries/verify.py "$RUNNER_TEMP/pr472-delivery"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: pr472-delivery-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/pr472-delivery/*.json
+            ${{ runner.temp }}/pr472-delivery/*.log

.github/workflows/r715-reordered-deliveries.yml

@@ -0,0 +1,30 @@
+name: Verify reordered R715 deliveries and whole pooling
+on:
+  pull_request:
+    paths: ['research/r715-reordered-deliveries/**', '.github/workflows/r715-reordered-deliveries.yml']
+  push:
+    paths: ['research/r715-reordered-deliveries/**', '.github/workflows/r715-reordered-deliveries.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/r715-reordered-deliveries/verify.py "$RUNNER_TEMP/r715-delivery"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: r715-delivery-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/r715-delivery/*.json
+            ${{ runner.temp }}/r715-delivery/*.log

.github/workflows/r715-retimed-kernel-pool.yml

@@ -0,0 +1,30 @@
+name: Verify R715 retimed kernel and whole pooling
+on:
+  pull_request:
+    paths: ['research/r715-retimed-kernel-pool/**', '.github/workflows/r715-retimed-kernel-pool.yml']
+  push:
+    paths: ['research/r715-retimed-kernel-pool/**', '.github/workflows/r715-retimed-kernel-pool.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/r715-retimed-kernel-pool/verify.py "$RUNNER_TEMP/r715-rekernel"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: r715-rekernel-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/r715-rekernel/*.json
+            ${{ runner.temp }}/r715-rekernel/*.log

.github/workflows/r715-warm-followups.yml

@@ -0,0 +1,31 @@
+name: Verify warm R715 kernel and target factors
+on:
+  pull_request:
+    paths: ['research/r715-warm-kernel/**', 'research/r715-warm-target-factors/**', 'research/r715-factors-complex79/**', 'research/r715-factor-replica64/**', 'research/r715-replica64-complex79/**', 'research/r715-factor-replica84/**', 'research/r715-replica84-complex79/**', 'research/r715-response-replica28/**', '.github/workflows/r715-warm-followups.yml']
+  push:
+    paths: ['research/r715-warm-kernel/**', 'research/r715-warm-target-factors/**', 'research/r715-factors-complex79/**', 'research/r715-factor-replica64/**', 'research/r715-replica64-complex79/**', 'research/r715-factor-replica84/**', 'research/r715-replica84-complex79/**', 'research/r715-response-replica28/**', '.github/workflows/r715-warm-followups.yml']
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python: ['3.11', '3.14']
+        package: ['r715-warm-kernel', 'r715-warm-target-factors', 'r715-factors-complex79', 'r715-replica64-complex79', 'r715-replica84-complex79', 'r715-response-replica28']
+    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/${{ matrix.package }}/verify.py "$RUNNER_TEMP/warm-followup"
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+          PYTHONINTMAXSTRDIGITS: '0'
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: ${{ matrix.package }}-${{ matrix.python }}
+          path: |
+            ${{ runner.temp }}/warm-followup/*.json
+            ${{ runner.temp }}/warm-followup/*.log