Skip to content

ci(docs) Show the MCP replay on port builds - #133

Merged
tony merged 1 commit into
masterfrom
docs-publisher-ae091e4d4
Nov 3, 2026
Merged

tony merged 1 commit into
masterfrom
docs-publisher-ae091e4d4

Conversation

@tony

@tony tony commented Nov 3, 2026

Copy link
Copy Markdown
Contributor

Pin only the shared port builder and publisher to ae091e4d45832b34550bf9471269df9689d3c2fa from c601a9f6712ee581d6520699feff76c0a8665285. All other workflow bytes, library contents, triggers, permissions and language/source/version inputs remain unchanged.

  • Keep a worked example's recorded MCP session on its page while the tools it called take and return the schemas they had when it was recorded and any list of tools in a result is the set the port advertises, so a page that documents another revision of the port still replays it, and say which revision the page documents and that the results there may differ (mcp-showcase.ts, mcp-contract.ts, McpReplay.astro)

A port's MCP page showed its worked example as requests only, because the page took a recording only when the port's head was the commit it was recorded at, and a port's own build regenerates the tool list at that head. The Core showcase also refused a Ruby program that indents its require inside a begin block, as libtmux-ruby does.

The exact required CI and root merge receipts of the shared checkpoint must be verified before this operator runs. This PR does not claim an owner build or publication pass. Root reviews this exact caller diff, actual repository-required checks and reviews before merge; optional native estate checks are not a new universal gate.

Execution route: controlled_real_pin_merge_push. Root separately schedules reviewed merges and exact source requests from the actual workflow state. If the current active workflow already publishes the intended source on merge, retain that actual event and do not issue a duplicate request. Future source/native/run identities will be bound to actual events.

why: A port's MCP page showed its worked example as requests only,
because the page took a recording only when the port's head was the
commit it was recorded at, and a port's own build regenerates the tool
list at that head. The Core showcase also refused a Ruby program that
indents its require inside a begin block, as libtmux-ruby does.

what:
- Keep a worked example's recorded MCP session on its page while the
  tools it called take and return the schemas they had when it was
  recorded and any list of tools in a result is the set the port
  advertises, so a page that documents another revision of the port
  still replays it, and say which revision the page documents and that
  the results there may differ (`mcp-showcase.ts`, `mcp-contract.ts`,
  `McpReplay.astro`)

Shared source: libtmux/docs
From: c601a9f6712ee581d6520699feff76c0a8665285
To:   ae091e4d45832b34550bf9471269df9689d3c2fa
@tony
tony merged commit fe25ff5 into master Nov 3, 2026
18 checks passed
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.

1 participant