Conditional kappa 0.001013370540420331: 64-replica response-subspace banks

.gitattributes

@@ -18,3 +18,13 @@ 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
+
+# PR390 and the refinement bind the exact original bytes, including CRLF.
+research/e8-prefix-restoration/** -text -whitespace
+research/e8-prefix-bootstrap/** -text -whitespace
+
+# Preserve manifest-pinned PR398 supplier bytes.
+research/e8-r781-signed-source/** -text
+
+# Preserve manifest-pinned PR401 supplier bytes.
+research/e8-response-subspaces/** -text

.github/workflows/e8-prefix-bootstrap.yml

@@ -0,0 +1,25 @@
+name: Verify PR390 finite bootstrap refinement
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    env:
+      PYTHONDONTWRITEBYTECODE: '1'
+      PYTHONINTMAXSTRDIGITS: '0'
+    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 libboost-dev
+      - run: python -m pip install -r research/e8-prefix-restoration/requirements.txt
+      - run: python -B research/e8-prefix-bootstrap/verify.py "$RUNNER_TEMP/prefix-bootstrap"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: prefix-bootstrap-${{ matrix.python }}
+          path: ${{ runner.temp }}/prefix-bootstrap

.github/workflows/e8-r781-heterofusion.yml

@@ -0,0 +1,25 @@
+name: Verify R781 heterogeneous banks and padding fusion
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    env:
+      PYTHONDONTWRITEBYTECODE: '1'
+      PYTHONINTMAXSTRDIGITS: '0'
+    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 libboost-dev
+      - run: python -m pip install -r research/e8-r781-signed-source/requirements.txt
+      - run: python -B research/e8-r781-heterofusion/verify.py "$RUNNER_TEMP/r781-heterofusion"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: r781-heterofusion-${{ matrix.python }}
+          path: ${{ runner.temp }}/r781-heterofusion

.github/workflows/e8-response-bank64.yml

@@ -0,0 +1,25 @@
+name: Verify response-subspace banks at 64 replicas
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    env:
+      PYTHONDONTWRITEBYTECODE: '1'
+      PYTHONINTMAXSTRDIGITS: '0'
+    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 libboost-dev
+      - run: python -m pip install -r research/e8-response-subspaces/requirements.txt
+      - run: python -B research/e8-response-bank64/verify.py "$RUNNER_TEMP/response-bank64"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: response-bank64-${{ matrix.python }}
+          path: ${{ runner.temp }}/response-bank64

.github/workflows/e8-signed-padding.yml

@@ -0,0 +1,25 @@
+name: Verify signed prefix and padding fusion
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    env:
+      PYTHONDONTWRITEBYTECODE: '1'
+      PYTHONINTMAXSTRDIGITS: '0'
+    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 libboost-dev
+      - run: python -m pip install -r research/e8-prefix-restoration/requirements.txt
+      - run: python -B research/e8-signed-padding/verify.py "$RUNNER_TEMP/signed-padding"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: signed-padding-${{ matrix.python }}
+          path: ${{ runner.temp }}/signed-padding

.github/workflows/e8-signed-prefix.yml

@@ -0,0 +1,25 @@
+name: Verify signed target-prefix refinement
+on: [push, pull_request]
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.14']
+    env:
+      PYTHONDONTWRITEBYTECODE: '1'
+      PYTHONINTMAXSTRDIGITS: '0'
+    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 libboost-dev
+      - run: python -m pip install -r research/e8-prefix-restoration/requirements.txt
+      - run: python -B research/e8-signed-prefix/verify.py "$RUNNER_TEMP/signed-prefix"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: signed-prefix-${{ matrix.python }}
+          path: ${{ runner.temp }}/signed-prefix

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/balanced-nullity-banks-163/AUDIT-TARGETS.json

@@ -0,0 +1,54 @@
+[
+  "Mathproof.BeyondNLogN.TakeoverBit.partialSwap_apply",
+  "Mathproof.BeyondNLogN.TakeoverBit.partialSwap_zero",
+  "Mathproof.BeyondNLogN.TakeoverBit.partialSwap_comp_disjoint",
+  "Mathproof.BeyondNLogN.TakeoverBit.partialSwap_involutive",
+  "Mathproof.BeyondNLogN.TakeoverBit.partialSwap_id",
+  "Mathproof.BeyondNLogN.TakeoverBit.partialSwap_commute",
+  "Mathproof.BeyondNLogN.TakeoverBit.bankSwap_eq_sum",
+  "Mathproof.BeyondNLogN.TakeoverBit.bankSwap_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.weighted_apply",
+  "Mathproof.BeyondNLogN.TakeoverBit.weighted_comp",
+  "Mathproof.BeyondNLogN.TakeoverBit.weighted_id",
+  "Mathproof.BeyondNLogN.TakeoverBit.weightedBank_eq",
+  "Mathproof.BeyondNLogN.TakeoverBit.weightedBank_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.coordinateProjector_apply",
+  "Mathproof.BeyondNLogN.TakeoverBit.coordinateProjector_idempotent",
+  "Mathproof.BeyondNLogN.TakeoverBit.coordinateProjector_disjoint",
+  "Mathproof.BeyondNLogN.TakeoverBit.coordinateProjector_sum",
+  "Mathproof.BeyondNLogN.TakeoverBit.coordinateBank_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.bankAddress_bijective",
+  "Mathproof.BeyondNLogN.TakeoverBit.bankAddress_roles_injective",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.selected_block_capacity",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.undeferred_block_capacity",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.selected_bank_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.undeferred_bank_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.inherited_rank_mass",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.removed_exterior_count",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.packed_rank_mass",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.packed_max_rank",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.normalized_volume",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.packed_deficit",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.actual_role_counts",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.selected_weighted_bank_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.P12.undeferred_weighted_bank_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.Contents.run_eq_address",
+  "Mathproof.BeyondNLogN.TakeoverBit.Contents.run_full",
+  "Mathproof.BeyondNLogN.TakeoverBit.Contents.p12_selected_contents",
+  "Mathproof.BeyondNLogN.TakeoverBit.Contents.p12_undeferred_contents",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.inherited_rank_mass",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.removed_exterior_count",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.packed_rank_mass",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.packed_max_rank",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.normalized_volume",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.packed_deficit",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.actual_role_counts",
+  "Mathproof.BeyondNLogN.TakeoverBit.PR161P12.actual_bank_and_inventory_certificate",
+  "Mathproof.BeyondNLogN.TakeoverLiteralGuard20261008.literal_charge_lt",
+  "Mathproof.BeyondNLogN.TakeoverLiteralGuard20261008.finite_row_reserve",
+  "Mathproof.BeyondNLogN.TakeoverLiteralGuard20261008.row_reserve_value",
+  "Mathproof.BeyondNLogN.TakeoverBalanced16320261009.core_slacks_positive",
+  "Mathproof.BeyondNLogN.TakeoverBalanced16320261009.all_47_slacks_positive",
+  "Mathproof.BeyondNLogN.TakeoverBalanced16320261009.strengthened_public_margin",
+  "Mathproof.BeyondNLogN.TakeoverBalanced16320261009.all_47_concrete_guards"
+]