Skip to content

docs: the roadmap and AGENTS.md catch up with #102, #328 and #329 - #330

Merged
bastien-gallay merged 4 commits into
mainfrom
worktree-wrap-102-seeds
Sep 25, 2026
Merged

bastien-gallay merged 4 commits into
mainfrom
worktree-wrap-102-seeds

Conversation

@bastien-gallay

Copy link
Copy Markdown
Collaborator

Why

Wrap pass after #102 was closed and #328 and #329 merged. Three surfaces
still carried claims those changes had made stale, and one lesson needed a
durable home.

What

Evidence

  • Every issue state cited was re-read with gh, and every date and commit
    with git log, by a fresh-context refuter that also checked the proptest
    1.11 source. Its 5 corrections are applied.
  • just roadmap: no errors (3 pre-existing warnings). markdownlint-cli2:
    Linting: 97 files, 0 issues.

… was test noise

The builtin-terminal entry named the failing emitted_lines_never_drift sequence (#102) as the one contract bug left on the surface. It was f32 noise in the test's reference sum, fixed by b1d8045 the day after it was filed; #102 closed on 2026-09-24 and its seed replays since #328. The claim is retracted in place rather than deleted.
…dicting copies

89e7d21 (#318) re-added a pre-#320 'Three features and two defects' paragraph, still listing #196 as open, beside the current 'Two features and two defects' one. Keep the current list, carry over its #316 sentence, note the hardening defects it leaves out (#284, #293), and keep the one fact the removed #196 paragraph held alone: the composed wait needed #236 first.
proptest derives the regressions path from file!(), so the drift test's move out of shell/terminal.rs (34d23a6) left its committed seeds unread until #328, with no signal. Promote it to the Quality bar: git mv the regressions file with its test, and treat it as CI test input (#329).
…les linted

A clean run ends 'Summary: 0 issues in 0 files'; coverage is the 'Linting: N files' line. Cut off by a tail -1 in the #102 pass, it was misread as a vacuous pass.
@bastien-gallay
bastien-gallay merged commit 77d0f58 into main Sep 25, 2026
20 checks passed
@bastien-gallay
bastien-gallay deleted the worktree-wrap-102-seeds branch September 25, 2026 09:23
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