Repository navigation
MCP: issues from live testing (missing files, dead-end indices, all errors, protocol version) - #22
Merged
Merged
Conversation
1. A missing model, claims or rules path was an E_LOAD with a hint about stdlib.writ. It is now E_FILE_NOT_FOUND in the arguments, naming the argument and the path it resolved to. E_LOAD stays for a (load …) form, with a hint about loads. 2. Dead ends lead with their situation index and end with their cells, so writ_show can follow them and a worker stuck half-way no longer looks like an intended ending. CLI too; tour.md and the guide examples regenerated. 3. writ_validate reports every error it can find: after a name or type error it blanks that top-level form (lines kept) and reads the file again, up to 20, one per form. A syntax error, or one in the schema or instance, stops it. Claims that read after blanking still get the n/a check, and errors come in file order. 4. instructions were set (676 chars), but initialize always answered protocol 2024-11-05, and the instructions field only arrived in 2025-03-26. The version is now negotiated: the client's own if this server speaks it, else the newest. writ_guide's description also carries the workflow, for clients that drop instructions anyway. 5. compare prints `equations: none` rather than an empty label. writ-problems (306), writ-arch (74) and scheduling (12) pass against an installed build. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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 subscribe to this conversation on GitHub.
Already have an account?
Sign in.
1 participant
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.
Addresses the five issues in
mcp_advanced.md(second round, from a Claude chat client using inline sources).E_LOADhint aboutstdlib.writE_FILE_NOT_FOUNDin arguments, naming the argument and the path it resolved to, formodel,claims,rules,old_modelandnew_model.E_LOADstays for a(load …)form, with a hint about loads.#N reached by: … (cells), in the CLI too. The JSON already hadstate.writ_validatereported only the first errorn/aname check. Errors are listed in file order.instructionsdidn't reach the clientinitializealways answered protocol2024-11-05, andinstructionsonly appeared in2025-03-26. The version is now negotiated, and thewrit_guidedescription carries the workflow for clients that dropinstructionsanyway.equations:lineequations: none.Behaviour change: the dead-end line format changed.
reached by:is still in every line, so the downstream greps still match.docs/tour.mdand the guide examples are updated.Testing
make testpasses, with 250 checks intest_mcp_authoring, up from 234.make lintpasses.🤖 Generated with Claude Code