Skip to content

Record the cleanup: d573-d575, N126, N127 - #234

Merged
nevermemo merged 2 commits into
mainfrom
docs/cleanup-s6-close
Oct 24, 2026
Merged

nevermemo merged 2 commits into
mainfrom
docs/cleanup-s6-close

Conversation

@nevermemo

Copy link
Copy Markdown
Owner

Closes the docs and code cleanup (PRs 226-233) in the records.

  • docs/decisions.md: d573 (cleanup summary), d574 (amends d487: the dedupes taken in PRs 231-233 and the one still open), d575 (local work items rescued before removal).
  • docs/development/roadmap.md: the "On main" line; N126 (SCIP Partial note quotes the configured cap, latent) and N127 (acceptance coordinator dedupe).

Fact-checked against the PRs, merges and code by a separate reviewer; its five fixes are in the second commit. cargo xtask docs check (81 files, 292 links, 0 problems) and cargo xtask lint-machine-paths pass.

🤖 Generated with Claude Code

nevermemo and others added 2 commits October 24, 2026 03:33
d573 summarises the docs and code cleanup (PRs 226-233); d574 amends
d487 for the two items the cleanup took (LSP initialize_params, SCIP
map skeleton) plus the traverse request struct; d575 records what was
rescued before three local work items were removed. N126 (SCIP Partial
note quotes the configured cap, not the applied one) and N127 (the
acceptance coordinator dedupe, live run only) carry the review
findings left for later.

Evidence: cargo xtask docs check: 81 files, 292 links, 0 problems;
lint-machine-paths ok.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Name the docs PRs that had a loss review, cite the merge SHAs as evidence,
attribute the lockfile patch to d393 correctly, mark N126 latent, and drop
the run from N127's dependencies.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@nevermemo
nevermemo merged commit e51341c into main Oct 24, 2026
8 checks passed
@nevermemo
nevermemo deleted the docs/cleanup-s6-close branch October 24, 2026 00:52
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.

1 participant