Prove the F_2^6 difference basis has order 14

.gitattributes

@@ -184,3 +184,27 @@ research/rank7-joint-endframes-restore-edit/** -text -whitespace
 research/pr1-retention-receipt/inputs/** -text -whitespace
 
 research/rank-shape-coframe-bill-seed850bc3/sources/pr3066-RESULT.json -text
+
+# Preserve the submitted continuation and its two frozen outer dependencies.
+research/kappa-next-regime/** -text -whitespace
+research/kappa-adaptive-continuation/evidence/full-release/admission/package/outer/*.py -text -whitespace
+
+# Exact source/evidence closure of the submitted operator-repair continuation.
+research/kappa-operator-repair/** -text -whitespace
+research/kappa-adaptive-continuation/** -text -whitespace
+research/kappa-1745-continuation/** -text -whitespace
+research/kappa-global-continuation/** -text -whitespace
+research/kappa-boundary-continuation/** -text -whitespace
+
+# Exact PR4088 export bytes and the pinned two-provider rebind.
+research/staged544-mixed-idle-rebind/** -text -whitespace
+
+# Exact delivered 0.0023 checkpoint, scoped dependencies and local review evidence.
+research/kappa-0023-productive-jobs/** -text -whitespace
+research/kappa-accounted-composition/** -text -whitespace
+research/kappa-causal-continuation/** -text -whitespace
+research/kappa-function-composition/** -text -whitespace
+research/kappa-global-routing/** -text -whitespace
+research/kappa-native-resume/** -text -whitespace
+research/kappa-observation-integration/** -text -whitespace
+research/kappa-rebuild/** -text -whitespace

.github/workflows/community-reconciliation92.yml

@@ -9,6 +9,8 @@ on:
       - 'scripts/run_parallel.py'
       - 'scripts/verify_parallel.py'
       - 'tests/test_parallel_verification.py'
+      - 'tests/test_script_exit_cleanup.py'
+      - 'tests/test_script_cancellation.py'
       - '.github/workflows/community-reconciliation92.yml'
   pull_request:
     paths:
@@ -19,6 +21,8 @@ on:
       - 'scripts/run_parallel.py'
       - 'scripts/verify_parallel.py'
       - 'tests/test_parallel_verification.py'
+      - 'tests/test_script_exit_cleanup.py'
+      - 'tests/test_script_cancellation.py'
       - '.github/workflows/community-reconciliation92.yml'
   workflow_dispatch:
 permissions:
@@ -35,3 +39,5 @@ jobs:
         run: python3 -B scripts/replay_historical_check.py reconciliation92
       - name: Check worker isolation and rejection controls
         run: python3 -m unittest discover -s tests -p test_parallel_verification.py -v
+      - name: Check direct-script completion and cancellation cleanup
+        run: python3 -W error -B -m unittest discover -s tests -p 'test_script_*.py' -v

.github/workflows/community-tooling799.yml

@@ -11,9 +11,17 @@ on:
       - 'research/sw4-owner-optimality/**'
       - 'research/pr695-digest-audit/**'
       - 'scripts/verify_pr_reconciliation.py'
+      - 'scripts/reconcile_pr_queue.py'
+      - 'scripts/pr_intake_initial_heads.py'
+      - 'docs/research/pr-intake-decisions.json'
+      - 'docs/research/pr-intake-evidence/queue-next-20261017.json'
+      - 'docs/research/pr-intake-evidence/queue-tail-20261017.json'
+      - 'docs/research/pr-intake-evidence/queue-refresh-20261017.json'
+      - 'docs/research/pr-intake-evidence/queue-oct18-20261018.json'
       - 'scripts/replay_historical_check.py'
       - 'scripts/historical-ci-inputs/**'
       - 'tests/test_pr_reconciliation.py'
+      - 'tests/test_pr_reconciliation_initial_heads.py'
       - 'tests/test_historical_check.py'
       - 'tests/test_reconciliation_archive.py'
       - '.github/workflows/community-tooling799.yml'
@@ -26,9 +34,17 @@ on:
       - 'research/sw4-owner-optimality/**'
       - 'research/pr695-digest-audit/**'
       - 'scripts/verify_pr_reconciliation.py'
+      - 'scripts/reconcile_pr_queue.py'
+      - 'scripts/pr_intake_initial_heads.py'
+      - 'docs/research/pr-intake-decisions.json'
+      - 'docs/research/pr-intake-evidence/queue-next-20261017.json'
+      - 'docs/research/pr-intake-evidence/queue-tail-20261017.json'
+      - 'docs/research/pr-intake-evidence/queue-refresh-20261017.json'
+      - 'docs/research/pr-intake-evidence/queue-oct18-20261018.json'
       - 'scripts/replay_historical_check.py'
       - 'scripts/historical-ci-inputs/**'
       - 'tests/test_pr_reconciliation.py'
+      - 'tests/test_pr_reconciliation_initial_heads.py'
       - 'tests/test_historical_check.py'
       - 'tests/test_reconciliation_archive.py'
       - '.github/workflows/community-tooling799.yml'

.github/workflows/frontier1094.yml

@@ -1,147 +1,7 @@
 name: Rare-pattern T16 composition
+# Historical checkpoint: available explicitly, not rerun for new selections.
 on:
   workflow_dispatch:
-  push:
-    branches: [main]
-    paths:
-      - scripts/verify_hpe_lean_binding.py
-      - scripts/historical-ci-inputs/verify_hpe_lean_binding.py
-      - research/hyperplane-end-lean/HyperplaneEnd/Exact.lean
-      - 'research/complex-t16-rare-pattern-exchanges/**'
-      - 'research/gauge44-leaver8/**'
-      - 'research/gauge44-slots/**'
-      - 'research/gauge44-slots-t16/**'
-      - 'scripts/verify_frontier1094.py'
-      - '.github/workflows/frontier1094.yml'
-      # Selected-record inputs checked by scripts/check_selected_ci_inputs.py
-      - 'research/complex-sw4-frame8/**'
-      - 'research/e8-bit-p111-tuned/**'
-      - 'research/e8-bit-carrier-skeleton/**'
-      - 'research/direct-delivery504-global/**'
-      - 'research/gauge44-frames-x/**'
-      - 'research/complex-t21-owners/**'
-      - 'research/complex-t21-owner-bound/**'
-      - 'research/complex-t37-owners/**'
-      - 'research/gauge44-leaver/**'
-      - 'research/community-frontier1094-audit/**'
-      - 'certificates/checkpoints/frontier1042.json'
-      - 'certificates/replay-coverage/pr741-sw4-v1.json'
-      - 'certificates/selected-result.json'
-      - 'research/community-frontier1042-audit/**'
-      - 'scripts/verify_frontier1042.py'
-      - 'scripts/verify_frontier741.py'
-      - 'scripts/verify_frontier741_bindings.py'
-      - 'scripts/verify_frontier741_bridge_coverage.py'
-      - 'scripts/verify_frontier799.py'
-      - 'scripts/verify_frontier799_bindings.py'
-      - 'scripts/verify_replay_coverage.py'
-      - 'scripts/verify_selected_result.py'
-      # Live-checkout files the replay hash-asserts through UPSTREAM-PINS / INPUTS main
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-RECIPES.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-REVIEW.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INTEGRATION.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-CHECKS.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/WRAPPER-CHECKS.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/work/complex-nine-native/DATA-PHASES.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/controller-input/split-centres/CANONICAL-WORD.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PACKET-PROGRAMS.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PROTOTYPE.json'
-      - 'research/complex-k492-owner-repair/vendor/joint_prefix/code/build_joint_prefix.py'
-      - 'research/complex-k492-owner-repair/vendor/joint_prefix/data/JOINT-PREFIX.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/code/build_cold_kernel.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/data/EIGHT-COLD.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/engines/moment.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/engines/outer.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/inputs/PR543-EXPECTED.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/phases_full.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/code/prepare_supplier_base.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/vendor/clifford/clifford_exact.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor535/inputs/ROUND20-PARENT-TEMPLATE.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/inputs/phase-baseline/CANONICAL-WORD.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_common.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_word.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/inputs/RAW504.json.gz'
-      - 'research/structural-gain/frontier-composition/global-replay/base/split-centres/FULL-WORD.json.gz'
-      - 'research/structural-gain/frontier-composition/multicold-eight-word/FULL-WORD.json.gz'
-  pull_request:
-    paths:
-      - scripts/verify_hpe_lean_binding.py
-      - scripts/historical-ci-inputs/verify_hpe_lean_binding.py
-      - research/hyperplane-end-lean/HyperplaneEnd/Exact.lean
-      - 'research/complex-t16-rare-pattern-exchanges/**'
-      - 'research/gauge44-leaver8/**'
-      - 'research/gauge44-slots/**'
-      - 'research/gauge44-slots-t16/**'
-      - 'scripts/verify_frontier1094.py'
-      - '.github/workflows/frontier1094.yml'
-      # Selected-record inputs checked by scripts/check_selected_ci_inputs.py
-      - 'research/complex-sw4-frame8/**'
-      - 'research/e8-bit-p111-tuned/**'
-      - 'research/e8-bit-carrier-skeleton/**'
-      - 'research/direct-delivery504-global/**'
-      - 'research/gauge44-frames-x/**'
-      - 'research/complex-t21-owners/**'
-      - 'research/complex-t21-owner-bound/**'
-      - 'research/complex-t37-owners/**'
-      - 'research/gauge44-leaver/**'
-      - 'research/community-frontier1094-audit/**'
-      - 'certificates/checkpoints/frontier1042.json'
-      - 'certificates/replay-coverage/pr741-sw4-v1.json'
-      - 'certificates/selected-result.json'
-      - 'research/community-frontier1042-audit/**'
-      - 'scripts/verify_frontier1042.py'
-      - 'scripts/verify_frontier741.py'
-      - 'scripts/verify_frontier741_bindings.py'
-      - 'scripts/verify_frontier741_bridge_coverage.py'
-      - 'scripts/verify_frontier799.py'
-      - 'scripts/verify_frontier799_bindings.py'
-      - 'scripts/verify_replay_coverage.py'
-      - 'scripts/verify_selected_result.py'
-      # Live-checkout files the replay hash-asserts through UPSTREAM-PINS / INPUTS main
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-RECIPES.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CLIFFORD-REVIEW.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/INTEGRATION.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-CHECKS.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/WRAPPER-CHECKS.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/base/work/complex-nine-native/DATA-PHASES.json'
-      - 'research/community-k492-audit/pr622/replay/baseline558/complex-global/controller-input/split-centres/CANONICAL-WORD.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PACKET-PROGRAMS.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/direct_delivery/inputs/hamming/PROTOTYPE.json'
-      - 'research/complex-k492-owner-repair/vendor/joint_prefix/code/build_joint_prefix.py'
-      - 'research/complex-k492-owner-repair/vendor/joint_prefix/data/JOINT-PREFIX.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/code/build_cold_kernel.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/data/EIGHT-COLD.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/engines/moment.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/engines/outer.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/inputs/PR543-EXPECTED.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/phases_full.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/code/prepare_supplier_base.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor531/vendor/clifford/clifford_exact.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-global/vendor535/inputs/ROUND20-PARENT-TEMPLATE.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/inputs/phase-baseline/CANONICAL-WORD.json.gz'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_common.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/gk/gk_word.py'
-      - 'research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/vendor/pr552/complex-local/static44/inputs/RAW504.json.gz'
-      - 'research/structural-gain/frontier-composition/global-replay/base/split-centres/FULL-WORD.json.gz'
-      - 'research/structural-gain/frontier-composition/multicold-eight-word/FULL-WORD.json.gz'
 permissions:
   contents: read
 jobs:

.github/workflows/frontier4359.yml

@@ -0,0 +1,26 @@
+name: Productive-helper conditional construction
+# Historical checkpoint: available explicitly, not rerun for new selections.
+on:
+  workflow_dispatch:
+permissions:
+  contents: read
+concurrency:
+  group: frontier4359-${{ github.ref }}
+  cancel-in-progress: true
+jobs:
+  replay:
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: python3 -B scripts/verify_frontier4359.py --work "$RUNNER_TEMP/frontier4359"
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: frontier4359-replay
+          path: |
+            ${{ runner.temp }}/frontier4359/VALIDATION.json
+            ${{ runner.temp }}/frontier4359/logs

.github/workflows/frontier4470.yml

@@ -0,0 +1,74 @@
+name: Joint-helper conditional construction
+on:
+  workflow_dispatch:
+  push:
+    branches: [main]
+    paths:
+      - '.github/workflows/frontier4470.yml'
+      - 'LICENSE'
+      - 'certificates/checkpoints/frontier4359.json'
+      - 'certificates/frontier4359-source.json'
+      - 'certificates/frontier4470-source.json'
+      - 'certificates/frontier4470/**'
+      - 'certificates/frontier4470/CLAIM.json'
+      - 'certificates/frontier4470/prior-task-catalog.json'
+      - 'certificates/selected-result.json'
+      - 'docs/research/pr-intake-evidence/pr4359/**'
+      - 'docs/research/pr-intake-evidence/pr4416/**'
+      - 'docs/research/pr-intake-evidence/pr4470/**'
+      - 'notes/batched-bit-rows.tex'
+      - 'notes/batched-complex-rows.tex'
+      - 'notes/compact-control-movement.tex'
+      - 'notes/general-clifford-frames.tex'
+      - 'notes/stopped-product-complex.tex'
+      - 'notes/three-stage-cover-bit.tex'
+      - 'notes/three-stage-cover-rows.tex'
+      - 'references/semantic-bulk/pr23/semantic-bulk-17-note.tex'
+      - 'research/e8-bit-carrier-skeleton/**'
+      - 'research/e8-bit-p111-tuned/**'
+      - 'research/fresh-helper-boundary/**'
+      - 'research/fresh-helper-thinned/**'
+      - 'research/higher-moment-strictification/**'
+      - 'research/joint-helper-lattice/**'
+      - 'research/kappa-0023-productive-jobs/**'
+      - 'research/kappa-accounted-composition/**'
+      - 'research/kappa-causal-continuation/**'
+      - 'research/kappa-function-composition/**'
+      - 'research/kappa-global-routing/**'
+      - 'research/kappa-native-resume/**'
+      - 'research/kappa-observation-integration/**'
+      - 'research/kappa-rebuild/**'
+      - 'research/missing-join-frame/**'
+      - 'research/pr4359-p7-padding/**'
+      - 'research/pr4470-arithmetic-check/**'
+      - 'research/pr4470-frame-audit/**'
+      - 'research/query-thinned-controllers/**'
+      - 'research/stage-zero-commutation-audit/**'
+      - 'research/stage-zero-forced-translation/**'
+      - 'research/t74-native-fast/**'
+      - 'scripts/verify_frontier4470.py'
+      - 'scripts/verify_selected_result.py'
+permissions:
+  contents: read
+concurrency:
+  group: selected-frontier4470-${{ github.ref }}
+  cancel-in-progress: true
+jobs:
+  replay:
+    runs-on: ubuntu-latest
+    timeout-minutes: 35
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: python3 -B scripts/verify_frontier4470.py --work "$RUNNER_TEMP/frontier4470"
+      - run: git diff --exit-code
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: frontier4470-replay
+          path: |
+            ${{ runner.temp }}/frontier4470/VALIDATION.json
+            ${{ runner.temp }}/frontier4470/source/review-evidence/*.log
+            ${{ runner.temp }}/frontier4470/source/review-evidence/*.json