Skip to content

Docs: correct attribution credit lines in merged research packages - #2746

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
navinor:docs/attr-credit-corrections-20261015
Oct 16, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
navinor:docs/attr-credit-corrections-20261015

Conversation

@navinor

@navinor navinor commented Oct 15, 2026

Copy link
Copy Markdown
Contributor

Factual attribution corrections (docs-only)

These are factual attribution corrections from the completed attribution sweep of the 78 PR bodies authored by navinor in this repository. The sweep audited PR bodies only; every correction was gated and applied to the cited PRs' bodies. This PR applies the same corrections to the credit lines of merged research packages on main. Citation text only: no numbers, results, proofs or other prose changed.

Corrections

  1. research/complex-queue-ceiling-uncovered/README.md (from PR 1648): the "Conditional kappa 0.001675603180601302: mixed entrance providers on T37 owners #1183/Conditional kappa 0.001675670695307702: cross-call T37 entrance augmentation #1192/Conditional kappa 0.00167576776285696: mixed T37 source-holder fusions #1201/Conditional kappa 0.001675807682652: X54 on mixed T37 fusion providers #1207/Conditional kappa 0.001675809683500501: global mixed allocation with X54 and fusions #1218 lineages" were credited to jeremykothe2; all five PRs are Rohan Arun's (rohanarun): PR 1183 / PR 1192 / PR 1201 / PR 1207 / PR 1218.
  2. research/joint-dual-replay-fast/README.md and TASK.json (from PR 1880): "Chafik Boukhalfa (PR25-PR58 lineage)" mapped the whole span to one author. The line runs from PR 25 by Rohan Arun (rohanarun, with OpenAI Codex assistance) through PR 58 by Chafik Boukhalfa (chafreaky, with OpenAI Codex assistance).
  3. research/masked-root-star-floor/README.md, NOTICE.md, CLAIM.md (from PR 1226): "woklerx (Research: frame-pair decoders and the exact 8-term complex copy-cost floor (no new kappa) #968 and Scoped structural result: arbitrary complex coefficients retain the exact eight-term E8 decoder floor #1077)". PR 968 (the eight-term all-pairs floor) is themilkman216's (with Anthropic Claude assistance); PR 1077 (its complex extension) is woklerx's (with OpenAI Codex assistance).
  4. research/bit-ledger-frame-ranks-seedfeb2/README.md and TASK-CARD.md, research/selected-suppliers-de-diagnostic/README.md (from PR 2099): "the PR589/PR555 lineage (eumemic and predecessors)" mapped the names positionally opposite to the PRs. PR 589 is DreamingOfClouds's; PR 555 is eumemic's. The corrected phrasing names each PR's author explicitly and keeps their credited predecessors.

Every cited PR's author was verified with gh pr view NNN --json author,title before naming.

Scope note

Docs-only: no research package is created, and nothing is registered with scripts/research_package.py (this is a repo-docs change to merged packages' credit text). The only SOURCES pin that references a touched file is research/joint-dual-replay-production/SOURCES.json -> research/joint-dual-replay-fast/README.md with usage: "provenance", which is not a drift-enforced input row; the one input pin into that package (fast_replay.py) is untouched.

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
  CrocSwap#1183/CrocSwap#1192/CrocSwap#1201/CrocSwap#1207/CrocSwap#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.
Factual attribution corrections matching the README fixes in 6f0cf0a:

- research/complex-queue-ceiling-uncovered/TASK-CARD.md: the
  CrocSwap#1183/CrocSwap#1192/CrocSwap#1201/CrocSwap#1207/CrocSwap#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.
@Mister-Meeseeks
Mister-Meeseeks merged commit 03deb54 into CrocSwap:main Oct 16, 2026
8 of 61 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants