Repair historical CI inputs, generated hashes and regression fixtures

.github/workflows/community-batch1047.yml

@@ -87,6 +87,8 @@ jobs:
       - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97
         with:
           python-version: '3.12'
+      - name: Fetch immutable tree required by the PR946 historical inventory
+        run: git fetch --no-tags --depth=1 https://github.com/CrocSwap/integer-mult-bounds.git 407d52ff15b2217b6e22bce44728b4c3907b6515
       - name: Install exact native replay dependencies
         run: |
           sudo apt-get update

.github/workflows/community-reconciliation92.yml

@@ -3,13 +3,19 @@ on:
   push:
     paths:
       - 'research/community-reconciliation92-audit/**'
+      - 'scripts/replay_historical_check.py'
+      - 'scripts/historical-ci-inputs/**'
+      - 'tests/test_historical_check.py'
       - 'scripts/run_parallel.py'
       - 'scripts/verify_parallel.py'
       - 'tests/test_parallel_verification.py'
       - '.github/workflows/community-reconciliation92.yml'
   pull_request:
     paths:
       - 'research/community-reconciliation92-audit/**'
+      - 'scripts/replay_historical_check.py'
+      - 'scripts/historical-ci-inputs/**'
+      - 'tests/test_historical_check.py'
       - 'scripts/run_parallel.py'
       - 'scripts/verify_parallel.py'
       - 'tests/test_parallel_verification.py'
@@ -26,6 +32,6 @@ jobs:
         with:
           python-version: '3.12'
       - name: Check provenance and scoped dispositions (not a mathematical replay)
-        run: python3 research/community-reconciliation92-audit/verify.py
+        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

.github/workflows/r420-two-sided-basis.yml

@@ -4,10 +4,16 @@ on:
   push:
     paths:
       - 'research/r420-two-sided-basis/**'
+      - 'scripts/replay_historical_check.py'
+      - 'scripts/historical-ci-inputs/**'
+      - 'tests/test_historical_check.py'
       - '.github/workflows/r420-two-sided-basis.yml'
   pull_request:
     paths:
       - 'research/r420-two-sided-basis/**'
+      - 'scripts/replay_historical_check.py'
+      - 'scripts/historical-ci-inputs/**'
+      - 'tests/test_historical_check.py'
       - '.github/workflows/r420-two-sided-basis.yml'
   workflow_dispatch:
 
@@ -29,14 +35,14 @@ jobs:
       - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
         with:
           python-version: ${{ matrix.python-version }}
-      - run: python -B research/r420-two-sided-basis/verify.py
-      - run: python -B -m unittest discover -s research/r420-two-sided-basis -p 'test_*.py'
       - name: Install Boost for unchanged C++ checkers
         if: matrix.python-version == '3.13'
         run: |
           sudo apt-get update -qq
           sudo apt-get install -y --no-install-recommends libboost-dev
-      - name: Fresh C++ legality and multistage columns
-        if: matrix.python-version == '3.13'
-        run: CXX=g++ python -B research/r420-two-sided-basis/native.py
+      - name: Replay unchanged Python and native checkers with historical inputs
+        env:
+          CXX: g++
+          NATIVE: ${{ matrix.python-version == '3.13' && '--native' || '' }}
+        run: python -B scripts/replay_historical_check.py r420 $NATIVE
       - run: git diff --exit-code

.github/workflows/verify.yml

@@ -24,6 +24,9 @@ jobs:
       - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
         with:
           python-version: ${{ matrix.python-version }}
+      - name: Fetch immutable baseline required by performance regression tests
+        if: matrix.group == 'tests'
+        run: git fetch --no-tags --depth=1 https://github.com/CrocSwap/integer-mult-bounds.git 0b1cccf86e2f5132ed286a26ef0a681a495740ea
       - name: Install headers for the exact enlarged-frame profiler
         if: matrix.group == 'positive'
         run: |
@@ -32,7 +35,13 @@ jobs:
             sudo apt-get install -y libboost-dev
           fi
       - name: Check arithmetic, source hashes, finite identities, and patches
-        run: make verify-${{ matrix.group }}
+        run: |
+          if [ "${{ matrix.group }}" = clones ]; then
+            make skip-clones-verify split-skip-producer
+            python -B scripts/replay_historical_check.py split-skip
+          else
+            make verify-${{ matrix.group }}
+          fi
       - name: Require reproducible certificates and patches
         run: git diff --exit-code
 

certificates/mixed-point-audit.json

@@ -487,7 +487,7 @@
   "source_sha256": {
     "docs/research/mixed-point-audit.md": "c80527f9e98c27bd7f5858a06c7273f84c40e0c41505eb4d16029b61f80fb968",
     "scripts/experiments/mixed_point_circuit.py": "f509362b5031976a22af351fd158ae0b4520fa4f286a5176ec37023d672a7ddc",
-    "scripts/rational_span_frames.py": "766d342dd73ca5efd784c5733282a93d379a58beea763e703238dfbb4eacce82"
+    "scripts/rational_span_frames.py": "7386947406d5dc4322a39fb7ccd886876a2fa1d163e823f0f231e11cf9ca0cec"
   },
   "status": "BOUNDED MIXED-POINT RESEARCH; NO NEW KAPPA",
   "target": "1/1073741824",

certificates/rank-product-core.json

@@ -6054,7 +6054,7 @@
     "docs/research/rank-product-core.md": "1028abd145b367f94960264a874b847cdbeb3b4d84dd6d3a890fe4203922bd41",
     "scripts/audit_joint_frames.py": "3df8061392ce0ba42bbde8c02f2a30c8141145e70e9a48c18da73d3aafb14423",
     "scripts/audit_rank_product_core.py": "1471f17e86d6c02d5c288116cc3a53544c881ded47a3500f70dac97b366e46a7",
-    "scripts/audit_stage_pair.py": "f4823525abb553f76ea33adf61ed51e88ec38dd6c346dbcac86f69ffa8fb0375",
+    "scripts/audit_stage_pair.py": "67cd9f046e257d7889b7574ca70db983d2414e93dcac34d9a555bc688cff6097",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e",
     "scripts/finite_bit_contract.py": "3cff26a332cb6056f656b824e3a523fb8937d15206ddcc4118b911ac8df1b2a7"
   },

certificates/stage-pair-audit.json

@@ -903,7 +903,7 @@
   ],
   "source_sha256": {
     "docs/research/stage-pair-audit.md": "af302999ac2342016bc6d0c5b5e33824cd9eafbb260322a2a6700b309069db9f",
-    "scripts/audit_stage_pair.py": "f4823525abb553f76ea33adf61ed51e88ec38dd6c346dbcac86f69ffa8fb0375"
+    "scripts/audit_stage_pair.py": "67cd9f046e257d7889b7574ca70db983d2414e93dcac34d9a555bc688cff6097"
   },
   "status": "BOUNDED TWO-INVOCATION FRAME SEARCH; NO NEW KAPPA",
   "upstream_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a",