Skip to content

docs: list container_runtime.rs in AGENTS.md architecture tree - #2096

Draft
github-actions[bot] wants to merge 1 commit into
mainfrom
docs/agents-md-container-runtime-module-68c353e9cb5cf6ec
Draft

docs: list container_runtime.rs in AGENTS.md architecture tree#2096
github-actions[bot] wants to merge 1 commit into
mainfrom
docs/agents-md-container-runtime-module-68c353e9cb5cf6ec

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

Agent Documentation Update

Findings

Area Issue File(s)
accuracy src/compile/extensions/container_runtime.rs (typed Docker runtime config: Mount/MountMode, Network, Tmpfs, ContainerUser, AddHost, used by MCPG stdio server config and runtime extensions such as Lean) exists in the codebase but was missing from the extensions/ subtree listing in AGENTS.md, making the architecture map incomplete for agents relying on it as an index. AGENTS.md

Applied Fixes

  • Added a container_runtime.rs entry to the src/compile/extensions/ tree in AGENTS.md with a short description of its role and consumers.

Notes

Verified by diffing find src -name '*.rs' against files mentioned in AGENTS.md, then confirming via grep/src/compile/extensions/mod.rs that container_runtime is a real, actively-used module (re-exported types consumed in src/compile/common.rs MCPG mount building and src/runtimes/lean/extension.rs), not dead code. No other drift was found in docs/cli.md, docs/front-matter.md, docs/safe-outputs.md, or prompts/*.md during this pass — CLI commands, safe-output tool names, and front-matter fields all matched current source.


Created by the agent-documentation maintainer workflow.

Generated by Agent Documentation Maintainer · auto · 83.1 AIC · ⌖ 14.8 AIC · ⊞ 13.6K ·

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines:
2 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.

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.

0 participants