Method + bounds (no frontier claim): kernel width rule, EXACT pivot maximum 112 and a seeded 112-pivot selection on the R715 word

.gitattributes

@@ -18,3 +18,14 @@ 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

.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-r715-kernel-cap.yml

@@ -0,0 +1,58 @@
+name: e8-r715-kernel-cap
+on:
+  pull_request:
+    paths:
+      - 'research/e8-r715-kernel-cap/**'
+      - 'research/e8-r715-eleven-stage-whole/**'
+      - 'research/e8-r715-paid-complex/**'
+      - 'research/e8-complex-adapted-kernel/**'
+      - 'research/e8-r740-replica32/**'
+      - 'research/idle-axis-hosting/**'
+      - '.github/workflows/e8-r715-kernel-cap.yml'
+  push:
+    paths:
+      - 'research/e8-r715-kernel-cap/**'
+      - '.github/workflows/e8-r715-kernel-cap.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  light:
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    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: python -m pip install -r research/e8-r740-replica32/parent436/requirements.txt scipy ortools
+      - name: LIGHT - ceiling, selection, kernel, mixing, width rule, hosting re-solve, screen composition
+        run: python -B research/e8-r715-kernel-cap/verify.py "$RUNNER_TEMP/e8-r715-kernel-cap-light" --light
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code
+  full:
+    runs-on: ubuntu-latest
+    timeout-minutes: 240
+    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 scipy ortools
+      - name: FULL - search from scratch, bit supplier, PR 458 complex supplier, exact composition
+        run: python -B research/e8-r715-kernel-cap/verify.py "$RUNNER_TEMP/e8-r715-kernel-cap-full"
+      - name: Require an unchanged tracked tree
+        run: git diff --exit-code

.github/workflows/e8-r715-paid-complex.yml

@@ -0,0 +1,60 @@
+name: e8-r715-paid-complex
+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/**'
+      - 'research/e8-r715-eleven-stage-whole/**'
+      - 'research/e8-r715-paid-complex/**'
+      - '.github/workflows/e8-r715-paid-complex.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/**'
+      - 'research/e8-r715-eleven-stage-whole/**'
+      - 'research/e8-r715-paid-complex/**'
+      - '.github/workflows/e8-r715-paid-complex.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 240
+    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: Both suppliers from scratch (PR458 complex, R715 bit) and the exact composition
+        run: python -B research/e8-r715-paid-complex/verify.py "$RUNNER_TEMP/e8-r715-paid-complex-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