feat(DEN-2885): harden canonical Leddy MCP publication seed - #23
Open
ORESoftware wants to merge 3 commits into
Open
feat(DEN-2885): harden canonical Leddy MCP publication seed#23ORESoftware wants to merge 3 commits into
ORESoftware wants to merge 3 commits into
Conversation
Semantically reconcile the original Zed dependency-graph seed with the accepted ore.api-docs.v1 contract: preserve all six package coordinates and publication ordering, replace handwritten JSON-RPC dispatch with official rmcp =3.1.0, embed the immutable API PR #4 snapshot, expose exactly five closed read-only documentation tools, and add deterministic source, stdio, digest, MSRV, and publication validation. No repository, branch, artifact, or concurrent work is removed or overwritten.
Reconcile the organization baseline text with its validator and the existing non-destructive history policy by restoring the exact required phrase in both canonical and compatibility instruction files. This preserves the substantive prohibition on rebase while making the enforced contract explicit.
Cargo correctly honored the exact rmcp 3.1.0 pin but its companion dependency admitted rmcp-macros 3.1.2 under the SDK's semver range. Pin the proc-macro crate explicitly so the reviewed transport/runtime and generated tool surface resolve as the exact 3.1.0 pair; keep the deterministic validator strict rather than weakening it.
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.
What changed
rmcp =3.1.0;ore.api-docs.v1manifest and OpenAPI bytes fromled-dynamo/leddy-api-server.rsPR docs: link GitHub Project and Linear planning #4 at API headaea63f652a20c087260bab3c86b31baa80eaa7ea;api_docs_discover,api_docs_get_openapi,api_docs_validate,api_docs_list_operations, andapi_docs_describe_operation;.vendor/.zedmaterialization from the original seed;publish.shto requireleddy-sync, refuse overwrite, generate and validateCargo.lock, run the full Rust gate, and create the public repository only from the reviewed seed.Semantic reconciliation
The earlier seed from
.github#19correctly established package identity, publication order, and the Zed dependency graph, but its singlezed_dependency_graphtool and handwritten protocol loop conflict with the later acceptedore.api-docs.v1contract inORESoftware/mcp-rust-libs@47e411311523013f90db98390671d683475d6c74and API PR #4.This change preserves the compatible intent from both histories: Zed remains authoritative for package identity and dependency intent, while the official MCP SDK owns protocol behavior and the tool catalog is narrowed to the five contract-defined, non-executable documentation tools. No side was selected wholesale, and no repository, branch, or concurrent artifact was removed.
Safety boundary
The server performs no network request, accepts no credential, follows no redirect, opens no WebSocket, reads no live device state, and cannot publish or clear display state. Only
GET /healthis marked MCP-exposed in the embedded document; all mutations and device/telemetry surfaces remain descriptive only.Validation
Local static checks completed for TOML, JSON, SHA-256 parity, YAML syntax, and publisher shell syntax. The new root workflow is the authoritative Rust formatting, Clippy, unit, process-protocol, documentation, release-build, SDK-resolution, and MSRV gate.
Remaining publication gate
This PR improves the committed source artifact but does not claim that the two missing repositories exist. Publication remains ordered:
led-dynamo/leddy-sync;led-dynamo/leddy-mcp-server.rs;led-dynamo-testproves immutable API/MCP parity;Linear: DEN-2885, DEN-2884, DEN-3159. GitHub:
.github#18,.github#17,leddy-api-server.rs#4.