Repository navigation
docs(plan): record the MCP direction, the blank-session fix and the merge of #33 to #36 (plan r20) - #38
Merged
Conversation
…erge of #33 to #36 (plan r20) The owner came back on 2026-10-23 with two problems in Zed: the MCP notice at the start of each new thread, and a thread without a message that cannot be opened after Zed restarts. The owner chose an optional extension package for MCP (core, harness and CLI stay without an MCP client) and asked for the blank-session fix as a PR at once. On 2026-10-25 the owner asked for the release content first, then for the merge of #33 to #36. The merge is done. #33 with `gh pr merge --squash` (ca2ab85). #34 to #36 with `gh stack link 34 35 36` (stack #37) and `gh stack merge 37 --yes --squash` (fa4887b, 34c11d9, e0f2a36). The tree of each commit is the tree of its PR head plus the two plan files of #33. CI and TUI CI pass on e0f2a36 (pytest 2,908 passed on Python 3.11, 3.12 and 3.13; nextest 8,490 passed, 0 failed, 22 skipped). PLAN-RUST-AGENT-RUNTIME-REMOVAL.md: - Decision 17 gets a correction (#34: session/load and session/resume open an empty session for a canonical UUID that has no file). - New decisions: 19 (the MCP direction, decided), 20 (the versions of the extension packages and their core floors), 21 (the 11 defaults of the MCP design). - V0.6: 14 commits, one more package. Conditions 1, 3, 5 and 6 and the known issues are rewritten. - r19 said the three extension packages stay as they are. That is wrong. The packaging test requires that each floor equals the workspace version, so a core of 0.6.0 needs `>=0.6.0` in all four extension packages (checked: 4 tests fail). This is decision 20. - The status, section 7, appendix A.1 and A.2, the index and the revision log carry the same facts. The execution log gets section 10.23: the cause of both problems, the three PRs, the release content, the merge, the check of the trees, CI on main, the floors, and what is not verified. docs/TUI-AND-CODE-AGENT.md: the paragraph about MCP servers now says that `pi-mcp-py` connects them and what the agent says without it. No condition of V0.6 is met yet. Only documents change.
…an r20) The owner answered "follow your lean" for the two open decisions of r20. Decision 20 (versions and core floors of the extension packages): option (a). At the version bump (V0.6 condition 5) the four extension packages get the core floor `>=0.6.0`. pi-web-access-py, pi-goal-x-py and pi-dynamic-workflows-py go from 0.2.0 to 0.3.0, as V0.5 did in 7e7d4d4 (0.1.0 to 0.2.0). pi-mcp-py stays at 0.1.0 (first upload). The lean did not say which digit to raise. 0.3.0 is my choice from the V0.5 precedent; the plan and the execution log say so. Decision 21 (the 11 defaults of the MCP design): all defaults stay, including Q3 (annotations are trusted) and Q5 (no way to configure servers in zypi). No code change. Neither decision changes code. The change of decision 20 belongs to the PR of condition 5, which is not open yet. Files: the plan (status, V0.6 section, next steps, decisions 20 and 21, the lists of the decision section, index, revision log, one link definition), the execution log (section 10.23 and its revision-log entry), the MCP design (section 10: one sentence). Only documents change.
zy1233
added a commit
that referenced
this pull request
Oct 25, 2026
…d its checks (plan r21, r22) (#41) Docs only: the plan, its execution log and the baseline. r21: the V0.6 versions, the merge of #38 and #39, and exit conditions 1 to 4 (CI, release size, dry run, comparison with v0.5.0). New execution log section 10.24. r22: the tag v0.6.0 on 5f73e07, the Release run (6 jobs, first try), PyPI (7 packages; pi-mcp-py is a new project), the GitHub Release (16 assets), the two binaries, a clean-venv install, the pi-mcp tests against the PyPI wheels, and the PTY scripts against the released zypi. No defect found. New execution log section 10.25 and the release numbers in docs/baselines/tui.md. Also fix 12 bold spans in the plan and the execution log that GitHub showed with literal asterisks (a closing ** after a CJK punctuation mark and before a letter).
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
Plan r20. Only documents change (4 files, +100 −28; 2 commits). No code, no workflow and no
tui/file changes. The plan now says what happened after r19: the owner chose the MCP direction (an optional extension package), the release content forpi-mcp-pywas added, #33 to #36 are merged, and the owner answered decisions 20 and 21. Two earlier statements are corrected.Two corrections:
session/loadwith an id that has no file, and gotresource_not_found. fix(cli): open a session in which nobody typed again with session/load and session/resume #34 fixed the code; the plan text now says so.>=0.6.0in all four extension packages. This is decision 20.What the answers mean (nothing is changed in code yet):
The lean did not say which digit to raise for decision 20. 0.3.0 is my choice from the V0.5 precedent. The owner did not name it. The plan and the execution log say so. Change it if you want 0.2.1.
Evidence
Before: the plan says the three extension packages stay.
After: the plan says all four floors must change. I checked it with a temporary edit (reverted):
No other package pins the three published extensions.
pi-web-access-py,pi-goal-x-pyandpi-dynamic-workflows-pyappear outside docs only as their ownnameand inpip installlines (no version); there is nouv.lock. So a bump touches only their ownpyproject.toml.The merge facts in the text match GitHub. docs(plan): set the V0.6 release milestone and record the merge of #27 to #31 (plan r19) #33
ca2ab85, fix(cli): open a session in which nobody typed again with session/load and session/resume #34fa4887b(PR head79f41ad), feat(extensions): give extensions the MCP servers a client passes, a way to tell the user, and turn barriers #3534c11d9(d56e95e), feat(mcp): add pi-mcp-py, an extension that connects the MCP servers a client passes #36e0f2a36(eda4aac). Each squash commit has the tree of its PR head plus the two plan files of docs(plan): set the V0.6 release milestone and record the merge of #27 to #31 (plan r19) #33.CI on
mainate0f2a36:CIpasses (pytest2,908 passed / 39 skipped / 31 deselected on Python 3.11, 3.12, 3.13).TUI CIpasses (nextest 8,490 passed / 0 failed / 22 skipped;Gates: warnings 0, dependency graph 970/970,leader243/243,x.ai297/297).Links. A scratch checker (not in the repo) read the changed files: 0 undefined references and 0 wrong anchors or paths; the plan has 9 new link definitions and all are used. The checker finds planted defects (an undefined reference, a wrong anchor, a missing file, a wrong cross-file anchor).
The files keep their CRLF line ends (no bare LF) and the diff has no whole-file rewrite.
ruff check .andruff format --check .pass.Not verified: "from 0.6.0" in the docs is my assumption for the next release. I cannot check that
PYPI_API_TOKENmay create a new PyPI project. #34 andpi-mcp-pyare not tried in a real Zed (a real context7 server and a real model were tried in-process, see #36). The 0.3.0 digit is my choice (see above).Merge Danger
Door: two-way. Only documents.
Blast Radius: readers of the plan.
CIruns on this PR (ruff and pytest).TUI CIdoes not run: its path filter does not includedocs/**.mainate0f2a36(for example "14 commits after v0.5.0"). If another PR merges first, those numbers need an update.