Docs: correct attribution credit lines in merged research packages

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

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
 

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),

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`.

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.

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",

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:
 

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.

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

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

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