Skip to content

docs: Bazel contributor guide and language spec alignment - #47

Draft
cursor[bot] wants to merge 23 commits into
mainfrom
cursor/system-documentation-quality-a25a
Draft

cursor[bot] wants to merge 23 commits into
mainfrom
cursor/system-documentation-quality-a25a

Conversation

@cursor

@cursor cursor Bot commented Oct 20, 2026

Copy link
Copy Markdown

Companion documentation for the v0.5.5 Bazel migration (PR #46).

  • Add doc-site/docs/reference/build-and-test.md (MkDocs nav + cross-links); deep detail remains in build/bazel/README.md.
  • Extend plasm-language-definition.md with nominal entity unions (.of_type) and execution-scoped compute preparation.
  • Update AGENTS.md, root README.md, getting-started, cli-and-env, and appliance inventory for Bazel vs cargo roles.

Verified: mkdocs build --strict (two pre-existing warnings on repo-relative teaching-card links).

Open in Web View Automation 

ryan-s-roberts and others added 23 commits October 18, 2026 00:18
Preserve concrete identity through typed output decoding and explicit of_type narrowing. Add abstract language and prompt matrix coverage plus CGS authoring guidance. Query/search and action outputs are supported; Get, relation-target sums and iteration outputs remain explicit follow-up work.

Validated in the working tree: entity_union matrix 3 passed, constructor registry 4 passed, teaching matrix 1 passed, binding_contract 5 passed. Unrelated MCP work remains unstaged; its test fixture needed an unstaged pagination-state initializer to compile the host test suite. Two existing coverage-ledger omissions remain recorded separately.
Replace the vendored MCP SDK with rmcp for inbound and outbound HTTP, retain typed protocol failures and persistence, and move catalog publication into a host-independent crate. Update strict diagnostic consumers, protocol fixtures, release callers and the reviewed cutover documentation.
Record the task-oriented catalog mappings and documented GitHub integration coverage separately from core language and transport changes.
Box the SDK initialization error at its source, preserve typed causes and assert bounded protocol/transport/execution footprints. Release protocol-test locks before awaits and repair stale relation assertions and compiler hygiene.
Add build-and-test reference page linked from mkdocs, AGENTS.md, and README.
Document nominal entity unions and PreparedCompute scope in the language
definition. Cross-link appliance inventory and cli/env index to Bazel.

Co-authored-by: Ryan Roberts <ryan-s-roberts@users.noreply.github.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants