diff --git a/research/bit-ledger-frame-ranks-seedfeb2/README.md b/research/bit-ledger-frame-ranks-seedfeb2/README.md index 70702479aa..b09634e25f 100644 --- a/research/bit-ledger-frame-ranks-seedfeb2/README.md +++ b/research/bit-ledger-frame-ranks-seedfeb2/README.md @@ -121,7 +121,9 @@ pricing model are from Navinor's `research/selected-suppliers-de-diagnostic` (itself building on Douglas Colkitt's pricing model in `autoresearch.md` and `research/pending-claims-independent-pricing`); the pinned bit word, its format -and its checker chain are the PR589/PR555 lineage (eumemic and predecessors, +and its checker chain are the [PR 589](https://github.com/CrocSwap/integer-mult-bounds/pull/589) +by DreamingOfClouds / [PR 555](https://github.com/CrocSwap/integer-mult-bounds/pull/555) by +eumemic lineage (with their credited predecessors, retained unchanged by the selected record); the bit-side coverage identity `mass = 63W + 63N` and the port-direction analysis are ctoth's discussion-1587 finding with the disclosed reviewing models. An independently corroborated or diff --git a/research/bit-ledger-frame-ranks-seedfeb2/TASK-CARD.md b/research/bit-ledger-frame-ranks-seedfeb2/TASK-CARD.md index 94cf8ec33c..1e5ec8432d 100644 --- a/research/bit-ledger-frame-ranks-seedfeb2/TASK-CARD.md +++ b/research/bit-ledger-frame-ranks-seedfeb2/TASK-CARD.md @@ -61,8 +61,10 @@ Cap: 30 minutes of computation; the emitter-level event-stream rebuild recorded as the exact obstruction if the word-level accounting cannot close. Predecessor authors; intended artifact and reproduction command: -Predecessors: Navinor (selected-suppliers-de-diagnostic open question), eumemic and predecessors -(PR555/PR589 bit word and checkers), Douglas Colkitt (pricing model). Artifact: +Predecessors: Navinor (selected-suppliers-de-diagnostic open question), DreamingOfClouds +([PR 589](https://github.com/CrocSwap/integer-mult-bounds/pull/589)) on eumemic +([PR 555](https://github.com/CrocSwap/integer-mult-bounds/pull/555)) and their credited +predecessors (the bit word and checkers), Douglas Colkitt (pricing model). Artifact: research/bit-ledger-frame-ranks-seedfeb2/ with verify.py and README. Reproduce: PYTHONUTF8=1 python3 -B research/bit-ledger-frame-ranks-seedfeb2/verify.py diff --git a/research/complex-queue-ceiling-uncovered/README.md b/research/complex-queue-ceiling-uncovered/README.md index 1a7f0fc38f..3ebcb99b69 100644 --- a/research/complex-queue-ceiling-uncovered/README.md +++ b/research/complex-queue-ceiling-uncovered/README.md @@ -103,7 +103,7 @@ and `PASS_SNAPSHOT_REBOUND_UNCOVERED 16`. ## Credit Every construction belongs to its claim's authors: G. V. Chudnovsky (CrocSwap/integer-mult-bounds#1175), tomdif and the -CrocSwap/integer-mult-bounds#1148-line authors (CrocSwap/integer-mult-bounds#1169 lineage), jeremykothe2 (CrocSwap/integer-mult-bounds#1183/#1192/#1201/#1207/#1218 lineages), and +CrocSwap/integer-mult-bounds#1148-line authors (CrocSwap/integer-mult-bounds#1169 lineage), Rohan Arun ([PR 1183](https://github.com/CrocSwap/integer-mult-bounds/pull/1183) / [PR 1192](https://github.com/CrocSwap/integer-mult-bounds/pull/1192) / [PR 1201](https://github.com/CrocSwap/integer-mult-bounds/pull/1201) / [PR 1207](https://github.com/CrocSwap/integer-mult-bounds/pull/1207) / [PR 1218](https://github.com/CrocSwap/integer-mult-bounds/pull/1218) lineages), and the authors of CrocSwap/integer-mult-bounds#1104/#1107/#1111/#1117/#1121/#1150/#1154/#1172/#1176 as cited in their packages. The coverage identity is CrocSwap/integer-mult-bounds#1012's; the ceiling model and the queue-census method are Douglas Colkitt's ([CrocSwap/integer-mult-bounds#1240](https://github.com/CrocSwap/integer-mult-bounds/pull/1240), diff --git a/research/complex-queue-ceiling-uncovered/TASK-CARD.md b/research/complex-queue-ceiling-uncovered/TASK-CARD.md index 86c770d2ce..3c93e8ba6b 100644 --- a/research/complex-queue-ceiling-uncovered/TASK-CARD.md +++ b/research/complex-queue-ceiling-uncovered/TASK-CARD.md @@ -56,6 +56,6 @@ pivot maximum. Predecessor authors; intended artifact and reproduction command: Douglas Colkitt (CrocSwap/integer-mult-bounds#1240, CrocSwap/integer-mult-bounds#1264); the individual claim authors (tomdif, rohanarun, -jeremykothe2, Jeremy Diviney, and others as cited per claim). Artifact: +Rohan Arun, Jeremy Diviney, and others as cited per claim). Artifact: `research/complex-queue-ceiling-uncovered/`. Reproduce: `python3 -I -B research/complex-queue-ceiling-uncovered/verify.py`. diff --git a/research/joint-dual-replay-fast/README.md b/research/joint-dual-replay-fast/README.md index a3863aa62d..a2b83510dd 100644 --- a/research/joint-dual-replay-fast/README.md +++ b/research/joint-dual-replay-fast/README.md @@ -142,7 +142,10 @@ and a BENCHMARK.json with the paired timings above (values vary by machine). ## Credit - The frozen replay, transitions stage and words are the frame-compiler line of - Chafik Boukhalfa (PR25-PR58 lineage; `scripts/experiments/pin_joint_dual_sources.py`, + Chafik Boukhalfa ([PR 25](https://github.com/CrocSwap/integer-mult-bounds/pull/25) by + Rohan Arun (rohanarun, with OpenAI Codex assistance) through + [PR 58](https://github.com/CrocSwap/integer-mult-bounds/pull/58) by Chafik Boukhalfa + (chafreaky, with OpenAI Codex assistance); `scripts/experiments/pin_joint_dual_sources.py`, `research/joint-dual`), with the original word/frames checks; PR64 (rfu08) is credited in `check_word` for the cancelling-scatter counterexample, which is retained verbatim. diff --git a/research/joint-dual-replay-fast/TASK.json b/research/joint-dual-replay-fast/TASK.json index 242214e272..31e74c84f0 100644 --- a/research/joint-dual-replay-fast/TASK.json +++ b/research/joint-dual-replay-fast/TASK.json @@ -43,7 +43,7 @@ "scope_status": "refined", "actual_scope": "One measured replay bottleneck: the per-output full-triple scans in the joint-dual serialized-word replay (scripts/experiments/binary_frame_replay.replay on certificates/joint-dual-word-{23,25}.json.gz). Replace the O(outputs x v) scans with per-call containment masks in an opt-in adapter, with the frozen historical verifier, its scripts and tests/test_joint_reclaim.py untouched and used as the oracle.", "scope_change_reason": "Card selection: my first-choice drawn card portable-replay (scope key 831cc1a3c8f9ff01b197) matched the fresh claim of 2026-10-14T11:24Z in discussion 1166 (completed as https://github.com/CrocSwap/integer-mult-bounds/pull/1834), so per the pair-collision rule I took the second-choice card replay-runtime (scope key b1dd41940c60d240b47a, chooser OS nonce 24ae43237c3eaed2410bcdf516d854cd). Refinement inside the card: of the replay stages measurable at base (the isolated test suite, the research-workflow gate, research_package metadata validation, the joint-dual word replay), only the joint-dual word replay had a single dominant, cleanly replaceable measured bottleneck; research_package.py source validation was already batched by research/git-provenance-stream and the research-workflow gate has a flat distribution of subprocess-bound fixtures with no single hotspot.", - "bottleneck_link": "The joint-dual replay is the independent word check for the PR25-PR58 frame-compiler line (research/joint-dual) and the dominant cost of its longest isolated test module (tests/test_joint_reclaim.py). Faster identical-coverage replays shorten the review loop for that line's candidates; this is verification throughput only, not a multiplication mechanism result.", + "bottleneck_link": "The joint-dual replay is the independent word check for the frame-compiler line from PR 25 (https://github.com/CrocSwap/integer-mult-bounds/pull/25) by Rohan Arun (rohanarun, with OpenAI Codex assistance) through PR 58 (https://github.com/CrocSwap/integer-mult-bounds/pull/58) by Chafik Boukhalfa (chafreaky, with OpenAI Codex assistance) (research/joint-dual) and the dominant cost of its longest isolated test module (tests/test_joint_reclaim.py). Faster identical-coverage replays shorten the review loop for that line's candidates; this is verification throughput only, not a multiplication mechanism result.", "budget_minutes": 60, "stop_rule": "One scan replacement in one adapter; abandon if any receipt differs from the historical implementation or the frozen words, if any mutation outcome differs from the historical oracle, or if paired same-fixture timings show less than a 25 percent reduction on the replay stage. No coverage is removed to reach the target; timings are measurements, never a correctness gate.", "outcome": "completed", diff --git a/research/masked-root-star-floor/CLAIM.md b/research/masked-root-star-floor/CLAIM.md index c69a145d43..e3e46d6ea7 100644 --- a/research/masked-root-star-floor/CLAIM.md +++ b/research/masked-root-star-floor/CLAIM.md @@ -70,7 +70,7 @@ instead. Cap: single-machine minutes; no network; stdlib only. Predecessor authors; intended artifact and reproduction command: DreamingOfClouds (CrocSwap/integer-mult-bounds#717, CrocSwap/integer-mult-bounds#595 and CrocSwap/integer-mult-bounds#604), Joel Pulikkan / GamingPuzzled (CrocSwap/integer-mult-bounds#620), -woklerx (CrocSwap/integer-mult-bounds#968 and CrocSwap/integer-mult-bounds#1077), Mihir Srivastava (CrocSwap/integer-mult-bounds#845), seed48 package authors, and the +themilkman216 ([PR 968](https://github.com/CrocSwap/integer-mult-bounds/pull/968), with Anthropic Claude assistance) and woklerx ([PR 1077](https://github.com/CrocSwap/integer-mult-bounds/pull/1077), with OpenAI Codex assistance), Mihir Srivastava (CrocSwap/integer-mult-bounds#845), seed48 package authors, and the selected T37 chain (see certificates/selected-result.json). Artifact: research/masked-root-star-floor/ with verify.py; command: diff --git a/research/masked-root-star-floor/NOTICE.md b/research/masked-root-star-floor/NOTICE.md index 767d5458bc..22c4e3f257 100644 --- a/research/masked-root-star-floor/NOTICE.md +++ b/research/masked-root-star-floor/NOTICE.md @@ -8,7 +8,10 @@ Model and question: CrocSwap/integer-mult-bounds#717 (DreamingOfClouds), `resear `4a97676294f9fa413b65986e9984fddeda71e4cc` (B14 decoder model, D1(a) masked reduction, D1 mixed-beta open problem, D1(e) sampled covering bound; read for definitions only, not vendored or executed). Prior decoder floors: CrocSwap/integer-mult-bounds#620 (Joel Pulikkan / GamingPuzzled), -CrocSwap/integer-mult-bounds#968 and CrocSwap/integer-mult-bounds#1077 (woklerx and the seed44/seed48 packages; both defer masked E-graph +[PR 968](https://github.com/CrocSwap/integer-mult-bounds/pull/968) (themilkman216, +with Anthropic Claude assistance) and +[PR 1077](https://github.com/CrocSwap/integer-mult-bounds/pull/1077) (woklerx, with OpenAI +Codex assistance, and the seed44/seed48 packages; both defer masked E-graph identities), CrocSwap/integer-mult-bounds#845 (Mihir Srivastava; fixed-reader ninth total). The E8 line enumeration is adapted from `research/complex-frame-pair-decoders/verify.py` (Apache-2.0, same repository) with attribution; no predecessor file is modified or imported at runtime. diff --git a/research/masked-root-star-floor/README.md b/research/masked-root-star-floor/README.md index 5440a1de61..e6752b3955 100644 --- a/research/masked-root-star-floor/README.md +++ b/research/masked-root-star-floor/README.md @@ -74,9 +74,10 @@ obligations of the selected construction remain inherited and unchecked here. [PR595](https://github.com/CrocSwap/integer-mult-bounds/pull/595), [PR604](https://github.com/CrocSwap/integer-mult-bounds/pull/604)): the B14 model, the masked reduction D1(a), the mixed-beta open problem and the sampled covering bound D1(e). -- **woklerx** ([PR968](https://github.com/CrocSwap/integer-mult-bounds/pull/968), - [PR1077](https://github.com/CrocSwap/integer-mult-bounds/pull/1077)): the eight-term - all-pairs floor and its complex extension; both defer masked E-graph identities. +- **themilkman216** ([PR968](https://github.com/CrocSwap/integer-mult-bounds/pull/968), + with Anthropic Claude assistance): the eight-term all-pairs floor, and **woklerx** + ([PR1077](https://github.com/CrocSwap/integer-mult-bounds/pull/1077), with OpenAI Codex + assistance): its complex extension; both defer masked E-graph identities. - **seed48 package** (`research/root-pair-first-drop-seed48/`): second deferral of masked identities; **Joel Pulikkan / GamingPuzzled** ([PR620](https://github.com/CrocSwap/integer-mult-bounds/pull/620)): star floors and the diff --git a/research/selected-suppliers-de-diagnostic/README.md b/research/selected-suppliers-de-diagnostic/README.md index 150189ed95..32856f99d3 100644 --- a/research/selected-suppliers-de-diagnostic/README.md +++ b/research/selected-suppliers-de-diagnostic/README.md @@ -161,8 +161,10 @@ Prepared by Navinor (with help from opencode). Predecessor credit: the pricing model and the `a < D/E` diagnostic are Douglas Colkitt's (autoresearch.md, `research/pending-claims-independent-pricing`); the complex ledger is Rohan Arun's #1094 construction on Jeremy Kothe's packing chain, audited by Josie -Elliston and Sagar Thakrar; the bit supplier is the PR589/PR555 lineage -(eumemic and predecessors, retained unchanged by the selected record); the +Elliston and Sagar Thakrar; the bit supplier is the [PR 589](https://github.com/CrocSwap/integer-mult-bounds/pull/589) +by DreamingOfClouds / [PR 555](https://github.com/CrocSwap/integer-mult-bounds/pull/555) +by eumemic lineage +(with their credited predecessors, retained unchanged by the selected record); the fixed-word packing-ceiling lineage (including [PR #1240](https://github.com/CrocSwap/integer-mult-bounds/pull/1240)) is static44, PR525, PR643 and the author of that PR. Substantial AI assistance diff --git a/research/selected-suppliers-de-diagnostic/TASK-CARD.md b/research/selected-suppliers-de-diagnostic/TASK-CARD.md index 72bf428fdc..29989b971b 100644 --- a/research/selected-suppliers-de-diagnostic/TASK-CARD.md +++ b/research/selected-suppliers-de-diagnostic/TASK-CARD.md @@ -79,8 +79,9 @@ rejected. Compute cap: seconds per run, stdlib only. Predecessor authors; intended artifact and reproduction command: Predecessors: Douglas Colkitt (repository pricing model, autoresearch -diagnostic), Rohan Arun (#1094 complex ledger), the PR589 bit supplier lineage -(eumemic/PR555/PR543 lineage per the selected record), Sagar Thakrar and +diagnostic), Rohan Arun (#1094 complex ledger), the PR 589 by DreamingOfClouds / +PR 555 / PR 543 by eumemic bit supplier lineage (with their credited +predecessors, retained unchanged by the selected record), Sagar Thakrar and Josie Elliston (independent audits), Jeremy Kothe (packing chain), static44/PR525/PR643 and the author of https://github.com/CrocSwap/integer-mult-bounds/pull/1240 (packing-ceiling