docs: the roadmap and AGENTS.md catch up with #102, #328 and #329 - #330
Merged
Merged
Conversation
… 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.
…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.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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
.roadmap/features/f-builtin-terminal.md+ROADMAP.md: the entry namedemitted_lines_never_drift property fails for a 126-delta scroll sequence #102 as the one contract bug left on the terminal surface. It was f32 noise
in the test, fixed by
b1d8045, so the claim is retracted in place.AGENTS.md: two contradicting Still open paragraphs.89e7d21(fix(terminal): the copy chord asks the terminal for its selection and keeps no cache #318)re-added a pre-docs(mcp): update live bridge tool count to 17 and document prompt_in_session (#196) #320 copy that still listed F-mcp-agent-loop: composed prompt->wait->read over any session (shell or Claude) #196 as open. One list is kept.
It now also names the hardening defects it leaves out (MCP token temp file uses create() not create_new()/O_NOFOLLOW: token theft on shared /tmp #284, MCP bridge should own its Host/Origin check, not rely on rmcp internals #293), and it
keeps the Aucune session ne quitte le statut
starting—wait_for_statusinexploitable #236 ordering note that only the removed copy carried.AGENTS.mdQuality bar: new bullet on moving a test orphaning its proptestseeds (the test(terminal): replay the scroll-drift proptest seeds again #328 finding).
.wrap.md: markdownlint's summary counts files with findings, not fileslinted.
Evidence
gh, and every date and commitwith
git log, by a fresh-context refuter that also checked the proptest1.11 source. Its 5 corrections are applied.
just roadmap: no errors (3 pre-existing warnings).markdownlint-cli2:Linting: 97 files, 0 issues.