From 6f0cf0a8d8a3f845b59a4679972c1c7f86035b3f Mon Sep 17 00:00:00 2001 From: Aaron Wang Date: Thu, 15 Oct 2026 15:47:18 -0400 Subject: [PATCH 1/2] Docs: correct attribution credit lines in five merged research packages Factual attribution corrections from the completed sweep of navinor's PR bodies (the same corrections were applied to the bodies of PRs 1648, 1880, 1226 and 2099): - research/complex-queue-ceiling-uncovered/README.md: the #1183/#1192/#1201/#1207/#1218 lineages are Rohan Arun's (rohanarun), not jeremykothe2's. - research/joint-dual-replay-fast/README.md and TASK.json: the frame-compiler line runs from PR 25 by Rohan Arun (rohanarun, with OpenAI Codex assistance) through PR 58 by Chafik Boukhalfa (chafreaky, with OpenAI Codex assistance), not Chafik Boukhalfa's alone. - research/masked-root-star-floor/README.md, NOTICE.md, CLAIM.md: PR 968 is themilkman216's (with Anthropic Claude assistance); PR 1077 is woklerx's (with OpenAI Codex assistance). - research/bit-ledger-frame-ranks-seedfeb2/README.md and TASK-CARD.md, research/selected-suppliers-de-diagnostic/README.md: PR 589 is DreamingOfClouds's and PR 555 is eumemic's; the "eumemic and predecessors" phrasing mapped the names to the wrong PRs. Citation text only: no numbers, results, proofs or other prose changed. Docs-only; nothing registered with scripts/research_package.py. --- research/bit-ledger-frame-ranks-seedfeb2/README.md | 4 +++- research/bit-ledger-frame-ranks-seedfeb2/TASK-CARD.md | 6 ++++-- research/complex-queue-ceiling-uncovered/README.md | 2 +- research/joint-dual-replay-fast/README.md | 5 ++++- research/joint-dual-replay-fast/TASK.json | 2 +- research/masked-root-star-floor/CLAIM.md | 2 +- research/masked-root-star-floor/NOTICE.md | 5 ++++- research/masked-root-star-floor/README.md | 7 ++++--- research/selected-suppliers-de-diagnostic/README.md | 6 ++++-- 9 files changed, 26 insertions(+), 13 deletions(-) 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/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 From 3011db354853d71bc92a781df94adbb90f7a9f50 Mon Sep 17 00:00:00 2001 From: Aaron Wang Date: Thu, 15 Oct 2026 16:03:39 -0400 Subject: [PATCH 2/2] Docs: correct attribution credit lines in two more task cards Factual attribution corrections matching the README fixes in 6f0cf0a8: - research/complex-queue-ceiling-uncovered/TASK-CARD.md: the #1183/#1192/#1201/#1207/#1218 lineages are Rohan Arun's (rohanarun), not jeremykothe2's. - research/selected-suppliers-de-diagnostic/TASK-CARD.md: PR 589 is DreamingOfClouds's and PR 555/PR 543 are eumemic's; the positional "eumemic/PR555/PR543" phrasing mapped the names to the wrong PRs. Citation text only; no numbers, results or other prose changed. No package registrations changed. --- research/complex-queue-ceiling-uncovered/TASK-CARD.md | 2 +- research/selected-suppliers-de-diagnostic/TASK-CARD.md | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) 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/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