κ = 7.10069340338651e-4: five-stage banks and F₂ movement fusion

.github/workflows/continued-kappa-research.yml

@@ -0,0 +1,22 @@
+name: Verify shared entrance gauge construction
+on:
+  pull_request:
+    paths:
+      - 'research/coordinated-crossover-pr200/**'
+      - '.github/workflows/continued-kappa-research.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  immutable-offline:
+    runs-on: ubuntu-24.04
+    timeout-minutes: 45
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: '3.14'
+      - run: python3 -B research/coordinated-crossover-pr200/verify.py
+      - run: git diff --exit-code

.github/workflows/five-stage-source527-banks.yml

@@ -0,0 +1,27 @@
+name: Verify five-stage source527 banks
+on:
+  pull_request:
+    paths:
+      - 'research/five-stage-source527-banks/**'
+      - '.github/workflows/five-stage-source527-banks.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  immutable-offline:
+    strategy:
+      fail-fast: false
+      matrix:
+        python: ['3.11', '3.13']
+    runs-on: ubuntu-24.04
+    timeout-minutes: 45
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
+        with:
+          python-version: ${{ matrix.python }}
+      - run: python3 -m pip install -r research/five-stage-source527-banks/requirements.txt
+      - run: python3 -B research/five-stage-source527-banks/verify.py --output "$RUNNER_TEMP/five-stage-source527-verification"
+      - run: git diff --exit-code

certificates/five-stage-source527-banks-publication-audit.json

@@ -0,0 +1,86 @@
+{
+  "all_inputs_unchanged": true,
+  "certificate_sha256": "90a94f6e72999b556ecc043dc9a54efecbe96503cee9dbe5838d6726904ec161",
+  "files": 127,
+  "independent_replay": {
+    "files": 127,
+    "fresh_stages": [
+      "banks",
+      "bit",
+      "complex",
+      "finite",
+      "math",
+      "primes",
+      "raw",
+      "scalar"
+    ],
+    "inputs_unchanged": true,
+    "kappa": "710069340338651/1000000000000000000",
+    "kappa_scientific": "7.100693403386509e-04",
+    "manifest_sha256": "3851372231a7baaa86e1abd8b41407aab7450c2d76d0487f1fea4f806f70c90b",
+    "negative_controls": [
+      "omitted banks stage",
+      "omitted bit stage",
+      "omitted complex stage",
+      "omitted finite stage",
+      "omitted math stage",
+      "omitted primes stage",
+      "omitted raw stage",
+      "omitted scalar stage"
+    ],
+    "seconds": 352.48472391601535,
+    "status": "PASS_IMMUTABLE_PARITY_FUSED_SOURCE527_FIVE_STAGE_BANKED_CONSTRUCTION",
+    "timings": {
+      "banks": 48.18564783298643,
+      "bit": 37.599770709028235,
+      "complex": 31.1994167920202,
+      "finite": 0.13497087499126792,
+      "math": 0.4633227500016801,
+      "primes": 11.56315958299092,
+      "raw": 8.189521708001848,
+      "scalar": 193.89631579100387
+    }
+  },
+  "manifest_sha256": "3851372231a7baaa86e1abd8b41407aab7450c2d76d0487f1fea4f806f70c90b",
+  "published_package_byte_identical": true,
+  "root_replay": {
+    "files": 127,
+    "fresh_stages": [
+      "banks",
+      "bit",
+      "complex",
+      "finite",
+      "math",
+      "primes",
+      "raw",
+      "scalar"
+    ],
+    "inputs_unchanged": true,
+    "kappa": "710069340338651/1000000000000000000",
+    "kappa_scientific": "7.100693403386509e-04",
+    "manifest_sha256": "3851372231a7baaa86e1abd8b41407aab7450c2d76d0487f1fea4f806f70c90b",
+    "negative_controls": [
+      "omitted banks stage",
+      "omitted bit stage",
+      "omitted complex stage",
+      "omitted finite stage",
+      "omitted math stage",
+      "omitted primes stage",
+      "omitted raw stage",
+      "omitted scalar stage"
+    ],
+    "seconds": 352.77735449999454,
+    "status": "PASS_IMMUTABLE_PARITY_FUSED_SOURCE527_FIVE_STAGE_BANKED_CONSTRUCTION",
+    "timings": {
+      "banks": 48.09752395801479,
+      "bit": 37.713670458993874,
+      "complex": 31.69509837499936,
+      "finite": 0.13805145799415186,
+      "math": 0.4710108329891227,
+      "primes": 11.649015916016651,
+      "raw": 8.302082208014326,
+      "scalar": 193.73732774998643
+    }
+  },
+  "status": "PASS_TWO_IDENTICAL_IMMUTABLE_PARITY_PACKAGE_REPLAYS"
+}

certificates/five-stage-source527-banks-verification.json

@@ -0,0 +1,39 @@
+{
+  "files": 127,
+  "fresh_stages": [
+    "banks",
+    "bit",
+    "complex",
+    "finite",
+    "math",
+    "primes",
+    "raw",
+    "scalar"
+  ],
+  "inputs_unchanged": true,
+  "kappa": "710069340338651/1000000000000000000",
+  "kappa_scientific": "7.100693403386509e-04",
+  "manifest_sha256": "3851372231a7baaa86e1abd8b41407aab7450c2d76d0487f1fea4f806f70c90b",
+  "negative_controls": [
+    "omitted banks stage",
+    "omitted bit stage",
+    "omitted complex stage",
+    "omitted finite stage",
+    "omitted math stage",
+    "omitted primes stage",
+    "omitted raw stage",
+    "omitted scalar stage"
+  ],
+  "seconds": 352.77735449999454,
+  "status": "PASS_IMMUTABLE_PARITY_FUSED_SOURCE527_FIVE_STAGE_BANKED_CONSTRUCTION",
+  "timings": {
+    "banks": 48.09752395801479,
+    "bit": 37.713670458993874,
+    "complex": 31.69509837499936,
+    "finite": 0.13805145799415186,
+    "math": 0.4710108329891227,
+    "primes": 11.649015916016651,
+    "raw": 8.302082208014326,
+    "scalar": 193.73732774998643
+  }
+}

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"
+]