Evaluate selected PR1094 final-stage replay on native Windows

.github/workflows/community-tooling799.yml

@@ -1,8 +1,8 @@
 name: Community exact tooling and scoped audits
 on:
   workflow_dispatch:
+  # Keep these path-scoped checks available on contributor fork branches.
   push:
-    branches: [main]
     paths:
       - 'research/clifford-state-performance/**'
       - 'research/gram-prefix-performance/**'
@@ -11,6 +11,10 @@ on:
       - 'research/sw4-owner-optimality/**'
       - 'research/pr695-digest-audit/**'
       - 'scripts/verify_pr_reconciliation.py'
+      - 'scripts/replay_historical_check.py'
+      - 'scripts/historical-ci-inputs/**'
+      - 'tests/test_pr_reconciliation.py'
+      - 'tests/test_historical_check.py'
       - 'tests/test_reconciliation_archive.py'
       - '.github/workflows/community-tooling799.yml'
   pull_request:
@@ -22,6 +26,10 @@ on:
       - 'research/sw4-owner-optimality/**'
       - 'research/pr695-digest-audit/**'
       - 'scripts/verify_pr_reconciliation.py'
+      - 'scripts/replay_historical_check.py'
+      - 'scripts/historical-ci-inputs/**'
+      - 'tests/test_pr_reconciliation.py'
+      - 'tests/test_historical_check.py'
       - 'tests/test_reconciliation_archive.py'
       - '.github/workflows/community-tooling799.yml'
 permissions:
@@ -53,6 +61,7 @@ jobs:
       - name: Current ledger and archive integrity controls
         run: |
           python -B scripts/verify_pr_reconciliation.py
+          python -B -m unittest discover -s tests -p 'test_historical_check.py' -v
           python -B -m unittest discover -s tests -p 'test_*reconciliation*.py' -v
           python -B -O -m unittest discover -s tests -p 'test_*reconciliation*.py' -v
       - run: git diff --exit-code

.github/workflows/verify.yml

@@ -37,7 +37,8 @@ jobs:
       - name: Check arithmetic, source hashes, finite identities, and patches
         run: |
           if [ "${{ matrix.group }}" = clones ]; then
-            make skip-clones-verify split-skip-producer
+            python -B scripts/replay_historical_check.py skip-clones
+            make split-skip-producer
             python -B scripts/replay_historical_check.py split-skip
           else
             make verify-${{ matrix.group }}

research/selected1094-windows-successor/README.md

@@ -0,0 +1,135 @@
+# Selected PR1094 final stage: Windows successor evaluation
+
+A separately versioned, source-bound wrapper executes the selected final stage
+on native Windows. It applies only PR2316's two relative-path key conversions
+in memory; the original supplier files, archives and selected record are unchanged.
+This is a portability receipt, with no new kappa or full-theorem claim.
+
+## Result and exact scope
+
+The unchanged selected entry point rejects Windows paths at `Submission file
+inventory or hash changed`, before creating output. The successor completes all
+11 PR1087 strict stages and returns selected kappa `0.001672660197076918`.
+Its input is the ten archived `slots/local` files, each authenticated against
+the PR1042 receipt. Earlier cold ancestry is not rebuilt.
+
+The [execution receipt](VALIDATION.json) records Windows, interpreter and timing.
+All 105 output files are checked against the reviewed PR1094 archive:
+
+| Class on this Windows run | Files | Required equality |
+|---|---:|---|
+| Bytes | 88 | Exact bytes, including all 22 gzip outputs |
+| Logs | 11 | Exact bytes after CRLF to LF conversion |
+| Invoice | 1 | Every JSON key and value, preserving value types; dictionary order may differ |
+| Assembly and admission receipts | 2 | Every value except the invoice hash, which must match each actual invoice |
+| Independent T16 receipt | 1 | Every value after relocating exactly six input-path keys |
+| Stage receipts | 2 | Every value except nonnegative finite wall times and log hashes; hashes must match actual logs, whose normalized contents are compared |
+
+In particular, **ASSEMBLY.json is not byte-identical** to the selected archive.
+Its sole differing leaf is `input_sha256.fresh_invoice`: the invoice has the
+same typed JSON content but a different dictionary order. Separately, Windows
+log CRLF bytes change the log hashes in both stage receipts. The checker follows
+those dependencies; it never simply discards hash fields. No gzip waiver is used.
+The six independent input digests agree after mapping their Windows/POSIX paths.
+
+## Successor delta and source binding
+
+The authenticated `research/complex-t16-rare-pattern-exchanges/verify.py` has only
+these two substitutions before compilation:
+
+```python
+str(f.relative_to(P))       # replaced by f.relative_to(P).as_posix()
+str(f.relative_to(source))  # replaced by f.relative_to(source).as_posix()
+```
+
+The original path remains `__file__`, so its exact original package inventory
+and archived source manifest remain enforced. The source hash and exact one-match
+count for each substitution are checked. `compile(..., optimize=0)` preserves
+all original assertions even when this evaluation is invoked with `-O`.
+The strict subprocesses run without `-O` or inherited `PYTHONOPTIMIZE`.
+The successor writes replay outputs only to temporary directories.
+[SOURCES.json](SOURCES.json) pins all 22 direct inputs to canonical main
+`0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2`.
+
+The comparison permits no global path-string replacement, arbitrary volatile
+keys or blanket hash exclusions. Sixteen corruption controls cover invoice and
+assembly proof values (including integer-to-boolean changes and duplicate keys),
+invoice links, independent input pins and unmapped paths, log content and links,
+kappa, invalid timing, gzip bytes, missing/extra output, changed original source
+and an undeclared timing field. Outputs must return to their positive
+comparison after the controls.
+
+## Reproduce
+
+From the repository root, with Python 3.12 and only the standard library:
+
+```sh
+python3.12 scripts/research_package.py --package research/selected1094-windows-successor --check-only
+python3.12 scripts/research_package.py --package research/selected1094-windows-successor
+python3.12 -I -O -B research/selected1094-windows-successor/verify.py --report /absolute/path/receipt.json
+```
+
+The registered command deliberately exercises an optimized parent. Its successor
+and all inherited strict checks retain assertions. The package can replay on other
+platforms, but only native Windows is evidenced here. A later environment with an
+unexplained output difference must fail rather than broaden normalization.
+
+## Overlap and limitations
+
+This follows [PR2316](https://github.com/CrocSwap/integer-mult-bounds/pull/2316)
+head `1b732744b66cc3461559d52349ae07fa31d444f8`, which checked the inventory
+guards only and explicitly requested a separately versioned successor replay.
+The earlier [final-stage portability audit](../selected-final-stage-portability/README.md)
+covered macOS and left Windows unrun. This contribution adds actual native Windows
+execution and an explicit dependency-aware comparison of the resulting receipts.
+It does not claim discovery of the two-conversion repair.
+
+[Discussion 2333](https://github.com/CrocSwap/integer-mult-bounds/discussions/2333)
+is the canonical investigation. [TASK.json](TASK.json) records priority revision 4,
+the fresh overlap search and the deliberate handoff override after the initial
+P104 candidate proved covered. Search coverage is not proof of novelty.
+
+This is neither a cold selected replay nor independent verification of the
+multiplication theorem, stock envelope or precision assumptions. The inherited
+strict verifier checks its own transitive inputs; this package pins its direct
+inputs rather than claiming an independently complete transitive manifest.
+The selected reproduction command remains unchanged and still rejects Windows
+inventory keys. No selected frontier, historical source or policy is altered.
+
+## Historical CI dependency
+
+The contribution branch also incorporates the pending historical CI repairs in
+[PR2055](https://github.com/CrocSwap/integer-mult-bounds/pull/2055), through
+`92276c22f6f419bbefd870bf2bb373bc41b0c643`. The first hosted run of this
+package's branch failed six clone/test jobs because the historical PR53 checks
+read optimized live helpers instead of their unchanged source-pinned versions.
+The shared repair runs those checks in authenticated temporary copies. It also
+retains exact reconciliation bindings and assertion safety. Original repair
+commits and attribution are preserved; no selected source pin is changed.
+This CI dependency can be reviewed separately from the Windows evaluation.
+
+## Open next questions
+
+The structured questions in [TASK.json](TASK.json) give first steps and blockers:
+
+1. Execute complete native Windows cold ancestry with immutable source pins.
+   This would test construction before the archived PR1042 inputs; it is outside
+   this bounded final-stage evaluation.
+2. Maintainers can review a new portable entry point and canonical invoice
+   serialization. Adoption requires a separately versioned policy decision;
+   this evaluation does not modify the selected record.
+
+## Credit
+
+PR2316: josecarlosgonzalezroque-design, with OpenAI Codex, for the manifest-key
+failure and proposed delta. Selected PR1094: Rohan Arun, using Jeremy Kothe's
+PR1087 strict verifier and the retained PR1018/1005/869/799/741 lineage.
+Douglas Colkitt supplied the selected replay receipts and archives.
+JosieElliston's final-stage portability audit supplied the comparison scope and
+archived-input binding pattern. Maxime Fleury and Antoine Olivier supplied the
+repository's regenerated-container comparison guidance. Their source-specific
+notices remain unchanged; no predecessor code is vendored here.
+
+New work: Dennis / antunishdPursuit, with substantial OpenAI Codex assistance in
+investigation, implementation, execution, self-review and writing. No independent
+human review claimed. Apache-2.0.

research/selected1094-windows-successor/SOURCES.json

@@ -0,0 +1,162 @@
+{
+  "schema_version": 1,
+  "base_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11",
+      "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "e8870e5917057d59b730eb14721a778639eca050",
+      "sha256": "d46eb6d5b3e279428753d770653663fbdf1063e55c255ea073d768f344927ef7"
+    },
+    {
+      "path": "research/community-frontier1042-audit/RESULT.json",
+      "usage": "input",
+      "git_blob": "8182d0818c0cbda7e52c10120f15b2c3a2c8f933",
+      "sha256": "bf12c6ed3b412539638b76addb40591a631609b2ab9e5ee0db1f6bbe067d0ec0"
+    },
+    {
+      "path": "research/community-frontier1042-audit/selected-replay.tar.gz",
+      "usage": "input",
+      "git_blob": "6f4dc6fe7631d8aacf8081fcaecf32197181685b",
+      "sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754"
+    },
+    {
+      "path": "research/community-frontier1094-audit/ASSEMBLY.json",
+      "usage": "input",
+      "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0",
+      "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045"
+    },
+    {
+      "path": "research/community-frontier1094-audit/REPLAY.json",
+      "usage": "input",
+      "git_blob": "2cfb7fffa7cd78f418be16c13224c3206b6d0183",
+      "sha256": "ce0678fa7abaab221de74baeace0c6696d5ea23a36719a58cff230215a06aae7"
+    },
+    {
+      "path": "research/community-frontier1094-audit/RESULT.json",
+      "usage": "input",
+      "git_blob": "131d9c96a54632ae385ced4138fd7f30ad448a3e",
+      "sha256": "1e3e47e9ec24bcb6fb5f703b7fce0aab658d84ff72bfae5da3ae429d17b6e752"
+    },
+    {
+      "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json",
+      "usage": "input",
+      "git_blob": "6a75493790b4eff9c4a98051ef8b01d6aad0d5a8",
+      "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b"
+    },
+    {
+      "path": "research/community-frontier1094-audit/STAGES.json",
+      "usage": "input",
+      "git_blob": "a92499421609e4cdb5630f2697d2bad4b5a42a83",
+      "sha256": "72ad3ba266488da6bb6a41be404700dcea183a85002a5428df0033685c56d8be"
+    },
+    {
+      "path": "research/community-frontier1094-audit/selected-replay.tar.gz",
+      "usage": "input",
+      "git_blob": "c24daf067f9c543421d89ca2eeaa4eb78a57fb6f",
+      "sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/CANDIDATE.json",
+      "usage": "input",
+      "git_blob": "d80e967cb9ee9003ace480474399b4e5ee16f7d1",
+      "sha256": "e5fe28718bd517bbb2e9cd377778bf76bd89012b71e48889784ea45e4dfd7dd4"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/MANIFEST.json",
+      "usage": "input",
+      "git_blob": "3216666bd231516f8d2387e3096d6a5bd413b519",
+      "sha256": "16a964621e718c8da4c859ccbb280c3c00816ca72874e955910fdf0ef27a0adc"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/MOVES.json",
+      "usage": "input",
+      "git_blob": "a0d272b433b05eead7d0b7bbf2962a84faf854e5",
+      "sha256": "d902f129f4c66e4bfe0e1a2e2c602ed71022d11ed938bfa801a087bb8b3b0d1a"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/OWNERS.json.gz",
+      "usage": "input",
+      "git_blob": "d3ba33d7e703a3229d9fb8a360f69d2f318bbb70",
+      "sha256": "87902c528dfab7d503dcf8a784260e3ab6fb7424c418a1820f7261f25be7b6bc"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/PRICE.json",
+      "usage": "input",
+      "git_blob": "f0e765d35128eef8079bdb90c2ebe25db9c9b7ba",
+      "sha256": "08372c20bee19530083ba15d3a95ce019df68679bae8a52a77fbe8d9c311fc5c"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/PROFILE.json",
+      "usage": "input",
+      "git_blob": "7acbdeb81015d4681b5773489369a2a8b0d46d79",
+      "sha256": "cf539f314584ee0b6d7102d2344be96a63defa88b9d9ab6ffe05cddd6c13a874"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/README.md",
+      "usage": "input",
+      "git_blob": "f205b7132243aedcb2aa85110a44f0c8cd1e4fe1",
+      "sha256": "da542711a6a3eb01ce1ebdf8f28a748e6195512687f61d003b95ac5ff281a7b2"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/SOURCE.json",
+      "usage": "input",
+      "git_blob": "1e43afd08c060373b6fde3c775c23c180cb6a794",
+      "sha256": "4cfd44cebfe88f4450294239fbea8feecb564338dc3027b76065227f5d19cb6f"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/VALIDATION.json",
+      "usage": "input",
+      "git_blob": "cf1de72638625b8d0845ce2756d68d97f7e55f42",
+      "sha256": "93d2f78759a7fdfaeb1023387d85f059a7db285b8767ef2c3692a0c21ea3e1c5"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/data/OWNERS.json.gz",
+      "usage": "input",
+      "git_blob": "d3ba33d7e703a3229d9fb8a360f69d2f318bbb70",
+      "sha256": "87902c528dfab7d503dcf8a784260e3ab6fb7424c418a1820f7261f25be7b6bc"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/data/PLAN.json",
+      "usage": "input",
+      "git_blob": "f1bec76e8e9b7a1f09c1e05cb6cce973b6e59f1b",
+      "sha256": "7bd786ba8e66408f02aa9ef446eaf20c1bfe981ea2e4dd1e5a929f0aa7767bc0"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/data/SPEC.json",
+      "usage": "input",
+      "git_blob": "af013ccc2975d9d575d116f8a463cc947f220c8d",
+      "sha256": "8cb51f25a5da4a29d3783853025b73ff1f452429d4fdb30c599e598bcab0e71d"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/upstream1087.tar.gz",
+      "usage": "input",
+      "git_blob": "2970ef79b0441e937449bed30f68f2e0558186ba",
+      "sha256": "d4acf04daef85d4514f80ec5fcd2492d0c60e5d6c49fa71b3e6523f8db2dea86"
+    },
+    {
+      "path": "research/complex-t16-rare-pattern-exchanges/verify.py",
+      "usage": "input",
+      "git_blob": "9d471cf90835bc91d32bb0216c2bb867011a7420",
+      "sha256": "b8c2f76b305c5c9ceb42df203deef564857d17f1f8182d0745dda9ab96e3d4de"
+    }
+  ],
+  "predecessors": [
+    {
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/2316",
+      "head": "1b732744b66cc3461559d52349ae07fa31d444f8",
+      "role": "Path-key diagnosis and requested successor handoff; no code vendored."
+    },
+    {
+      "path": "research/selected-final-stage-portability",
+      "base": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2",
+      "role": "Comparison scope and archived-input binding pattern; comparator not imported."
+    }
+  ]
+}