Repository navigation
docs(plan): record r27 - the flag and settings probes, the fixes and the cleanup batch - #64
Merged
zy1233 merged 1 commit intoOct 31, 2026
Conversation
…the cleanup batch Execution log: new section 10.30 (PRs 57 and 60 to 63: the probes, the fixes, the picker cutoff, the dead modules, the test-support crate; what stays open; what is not verified; merge order and conflicts); contents list, section 10 title, intro and revision log updated. Plan: header, current state, the phase D row, 'not in V0.6', the V0.7 known issues, next steps, the unverified list (flags and settings are measured now), decisions 8, 9, 10 and 14 with the lists above them, items 1.P6, D.5 and D.8, index row, revision summary, link definitions. The five PRs are open and not merged, so the plan says 'done' with the PR numbers, not 'merged'. The user decided 8 and 14 on 2026-10-30 (measure, then change as the plan leans) and said the cleanup batch may be done. The plan says that and no more: the user did not choose the method of decision 9. docs/baselines/tui.md is not changed; its numbers come with CI runs on main after the merge. Round numbers: PR 58 and PR 59 are r24 and r25. PR 56 was r24 too; it is r26 now. This round is r27. Docs only.
zy1233
changed the base branch from
docs/plan-r24
to
refactor/tui-trim-test-support
October 31, 2026 02:50
zy1233
force-pushed
the
docs/plan-record-settings-and-cleanup
branch
from
October 31, 2026 02:51
98660b5 to
675a694
Compare
This was referenced Oct 31, 2026
Owner
Author
|
Stack #66, bottom to top: #58, #59, #56, #57, #60, #61, #62, #63, #64, #65. One atomic squash merge ( Position 9 of 10. Base: |
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.
Summary
Records r27: the five PRs of 2026-10-30 (#57, #60, #61, #62, #63) and what the user decided. Documents only. The text was written when the five PRs were open, so the plan says "done, not merged" and gives the PR numbers.
What the plan says the user decided (2026-10-30), and no more:
docs/baselines/tui.mdis not changed. Its numbers come with CI runs onmain, so they are measured after the merge. (The body of #60 said this PR would update it; that sentence is corrected.)Evidence
After: they are "done" with the PR numbers, each marked "not merged". "Not verified yet" says what the probes measured (Linux only, debug build for the PTY regression) and what they did not.
[text][ref]of the plan has a definition (pr-57topr-63andl10-30are new); every](#anchor)of both files has a heading; the new anchors follow the GitHub rules.gh api markdown(gfm) shows no stray**.Gates + cargo checkandcargo nextesttoo for fix(tui): hide eight dead settings and refuse flags the Python agent does not back #60 to refactor(tui): remove the unused half of pi-test-support (plan D.5) #63).ruff checkandruff format --checkpass. No code changed, so no test ran.Merge Danger
Door: two-way.
Blast Radius: documentation (two files under
docs/PLAN/).Round numbers. This PR is r27 / section 10.30 and sits above #63 in the stack (#58, #59, #56, #57, #60, #61, #62, #63, this PR, #65). PR #58 and PR #59 (the other session) hold r24 / 10.27 and r25 / 10.28. PR #56 was r24 too; it is r26 / 10.29 now. No number is used twice. The rebase changed the numbers and the lists of rounds in the plan and the log. It did not change the r27 text, except the sentences about the round numbers.
Stack. All ten PRs are merged by one
gh stack merge. From that moment the plan lines that say "not merged" are out of date. A follow-up docs PR (r28) updates them and records the merge (commits, order, CI onmain, the numbers ofdocs/baselines/tui.md).The code PRs. This PR says what they do. It does not change them. If one of the five is closed instead of merged, the plan lines for it must change.