Under review: rank137 cross-copy candidate; inherited operator obstruction

.gitattributes

@@ -18,3 +18,5 @@ 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
+
+research/e8-early-reset-reuse/** -text

.github/workflows/cross-copy-rank137.yml

@@ -0,0 +1,40 @@
+name: Verify rank137 cross-copy composition
+on:
+  pull_request:
+    paths:
+      - 'research/e8-cross-copy-rank137/**'
+      - '.github/workflows/cross-copy-rank137.yml'
+  push:
+    paths:
+      - 'research/e8-cross-copy-rank137/**'
+      - '.github/workflows/cross-copy-rank137.yml'
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: sudo apt-get update && sudo apt-get install -y libboost-dev
+      - run: python -m pip install sympy
+      - run: python -B research/e8-cross-copy-rank137/verify.py "$RUNNER_TEMP/cross-copy-rank137"
+        env:
+          PYTHONINTMAXSTRDIGITS: '0'
+          PYTHONDONTWRITEBYTECODE: '1'
+          BOOST_INCLUDE: /usr/include
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: rank137-${{ matrix.python-version }}-evidence
+          path: |
+            ${{ runner.temp }}/cross-copy-rank137/*.log
+            ${{ runner.temp }}/cross-copy-rank137/RECEIPT.json
+            ${{ runner.temp }}/cross-copy-rank137/FAILURE.json
+            ${{ runner.temp }}/cross-copy-rank137/RESULT.json

.github/workflows/early-reset-reuse.yml

@@ -0,0 +1,20 @@
+name: Verify early reset and kernel composition
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: python -B research/e8-early-reset-kernel/verify.py "$RUNNER_TEMP/early-reset-reuse"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: early-reset-reuse-${{ matrix.python }}
+          path: ${{ runner.temp }}/early-reset-reuse

.github/workflows/eleven-hosting-selected.yml

@@ -0,0 +1,20 @@
+name: Verify eleven-stage hosting-selected kernel
+on:
+  pull_request:
+  push:
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: python -m pip install sympy
+      - run: python -B research/e8-eleven-hosting-selected/verify.py "$RUNNER_TEMP/eleven-hosting-selected"
+        env:
+          PYTHONINTMAXSTRDIGITS: '0'
+          PYTHONDONTWRITEBYTECODE: '1'

.github/workflows/hosting-selected-kernel.yml

@@ -0,0 +1,19 @@
+name: Verify hosting-selected kernel
+on:
+  pull_request:
+  push:
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: python -B research/e8-hosting-selected-kernel/verify.py "$RUNNER_TEMP/hosting-selected-kernel"
+        env:
+          PYTHONINTMAXSTRDIGITS: '0'
+          PYTHONDONTWRITEBYTECODE: '1'

.github/workflows/joint-frame-retiming.yml

@@ -0,0 +1,20 @@
+name: Verify joint B-phase frame retiming
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: python -B research/e8-joint-frame-retiming/verify.py "$RUNNER_TEMP/joint-frame-retiming" --replay-phases
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: joint-frame-retiming-${{ matrix.python }}
+          path: ${{ runner.temp }}/joint-frame-retiming

.github/workflows/r740-idle-hosting.yml

@@ -0,0 +1,20 @@
+name: Verify R740 idle-data hosting composition
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: python -B research/e8-r740-idle-hosting/verify.py "$RUNNER_TEMP/r740-idle-hosting"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: r740-idle-hosting-${{ matrix.python }}
+          path: ${{ runner.temp }}/r740-idle-hosting

.github/workflows/rank138-idle-hosting.yml

@@ -0,0 +1,19 @@
+name: Verify rank138 idle-data hosting
+on:
+  pull_request:
+  push:
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: python -B research/e8-rank138-idle-hosting/verify.py "$RUNNER_TEMP/rank138-hosting"
+        env:
+          PYTHONINTMAXSTRDIGITS: '0'
+          PYTHONDONTWRITEBYTECODE: '1'

.github/workflows/split-centres-global.yml

@@ -0,0 +1,23 @@
+name: Split-centres global kappa
+on:
+  pull_request:
+    paths:
+      - 'research/split-centres-global/**'
+      - '.github/workflows/split-centres-global.yml'
+  push:
+    paths:
+      - 'research/split-centres-global/**'
+      - '.github/workflows/split-centres-global.yml'
+  workflow_dispatch:
+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: python -B research/split-centres-global/verify.py "$RUNNER_TEMP/split-centres-check"

research/e8-cross-copy-rank137-validation/DOC-ONLY-UPDATE.json

@@ -0,0 +1,9 @@
+{
+  "tested_manifest_sha256": "8441fa7b22a19ec4ac31625d0c7c2f9d581b43c970406cc8d85e6f390a82c14d",
+  "current_manifest_sha256": "addab723d01f0fa24c09c680550c26bfda95b14aededaefff63395230b69e581",
+  "changed_package_files": [
+    "README.md"
+  ],
+  "all_executable_source_and_data_unchanged": true,
+  "full_results_equal": true
+}

research/e8-cross-copy-rank137-validation/README-STATUS-ONLY.diff

@@ -0,0 +1,24 @@
+--- README-before-full-passes
++++ README-after-full-passes
+@@ -1,10 +1,10 @@
+ # Rank137 cross-copy composition (draft)
+
+-Conditional candidate **κ = 0.001347781996192312**, bit-bound, **0.00277860352249% above PR450** at commit `6faca41020a620689de013cdab9f61a22deca314`. Exact changed checks pass; a fresh complete wrapper replay is pending at draft submission.
++Conditional candidate **κ = 0.001347781996192312**, bit-bound, **0.00277860352249% above PR450** at commit `6faca41020a620689de013cdab9f61a22deca314`. Exact changed checks passed at draft submission. Fresh complete wrapper replays subsequently passed on Python3.11.15 and3.14.8; receipts and logs are in `../e8-cross-copy-rank137-validation/`. GitHub CI is separate and was queued at this update.
+
+ Remove just pivot744 from the rank138 kernel selection, then apply PR450 target-prefix mixing and re-optimize PR448 cross-copy hosting. There are113 pivots,101 donors and entrance rank137. R remains740. The former rank147 selection is worse under cross-copy pricing; its failed comparison is retained.
+
+-The mixed local profile is independently replayed on all980 formal columns. Eleven stages, dimension78 and eight replicas host all65,120 residuals;14,544 split across two copies of the same child. Live stock remains9,600, physical stock9,609, deficit3264. Compared with rank138, the adjusted selection eliminates the partial idle remainder; selecting by entrance rank alone misses the gain.
++The mixed local profile is independently replayed on all980 formal columns. Eleven stages, dimension78 and eight replicas host all65,120 residuals;14,544 split across two copies of the same child. Live stock remains9,600, physical stock9,609, deficit3264. Compared with rank138, the adjusted selection replaces the rank14 partial idle remainder with rank3; selecting by entrance rank alone misses the gain.
+
+ ## Evidence at submission
+
+@@ -13,7 +13,7 @@
+ - Global emitted instruction digest independently recomputed;20 hosted mutations rejected.
+ - PR448 complex template regenerated from the fully verified PR447 supplier and matches its pinned template hash; independent complex audit and five controls pass. This is component reuse, not a full PR448 wrapper replay.
+ - Both rational moment engines, fresh finite invoices, six bootstrap levels,47 strict outer inequalities and next-grid/parameter controls pass. Exact receipts in `evidence/`.
+-- Initial parent-audit launch used a Python without SymPy and failed before auditing; retained log, corrected run passed. Full new-wrapper replay, expanded record mutation run and fresh verification on both Python versions remain pending.
++- Initial parent-audit launch used a Python without SymPy and failed before auditing; retained log, corrected run passed. Both full-wrapper replays subsequently passed, including expanded record mutation controls and Gram checks. Their results agree exactly. Tested source code is unchanged; only this README and its manifest were updated after the passes.
+
+ ## Reproduce
+

research/e8-cross-copy-rank137-validation/README.md

@@ -0,0 +1,11 @@
+# Rank137 validation evidence
+
+Python3.14.8 complete component replay passed using the already verified PR447 parent. This includes source reconstruction, mixing, record export, C++ legality and columns, record mutation controls, Gram checks, geometry, template emission and independent audits, regenerated complex supplier, both moments and finite outer assembly. It is not a fresh full parent replay.
+
+Tested package manifest: `8441fa7b22a19ec4ac31625d0c7c2f9d581b43c970406cc8d85e6f390a82c14d` at PR453 code commit `bd4dc1a3b32a0c094304e34be75e28dbddc3130b`.
+
+Fresh full Python3.14.8 replay PASS at the same package manifest; receipt and logs are in `python314/`. Python3.11.15 also passed in full; receipts and logs are in `python311/`. Both full RESULT.json files agree exactly. GitHub CI is queued, not passed. The rank138 anchor exactly reproduces PR450. The partial idle remainder changes rank14 to rank3; the initial README wording was corrected after the full runs. `DOC-ONLY-UPDATE.json` and `README-STATUS-ONLY.diff` bind that documentation-only change; executable source and data are unchanged.
+
+The123-relation subset MILP nominates the same rank137 selection. The solve uses a floating objective and relaxed concentration model, so its optimal status is not a mathematical optimality proof. The search script refers to the local research workspace and is retained as experiment provenance, not the standalone verifier.
+
+Fixed-rank137 stage screens at13,15,17,19stages all produce lower exact bit endpoints than11stages. These are losing aggregate-only screens, not admitted global constructions.