Parent plan: https://github.com/mithran-hq/mithran-infra/issues/4601
Objective
Author and land the documentation-only agent corpus for map-cli.
Scope
Read the repository root AGENTS.md and CLAUDE.md, then path-local instructions and CODEOWNERS before editing. Work from an explicit origin/main revision. Write a repository-specific docs/agents corpus with an INDEX.md, copied CORPUS-SPEC.md, current-state orientation, repository-specific hazards, and verification/REFRESH.md.
Every claim must identify how it is known. Use measured commands against the named revision, document assertions as assertions, and mark unavailable cross-repository facts as uncheckable. Do not invent hazards. If no repository-specific hazard is established, state that result and record the probe used.
The corpus is documentation-only in this task. Do not add the Python runner, Rust runner, or refresh workflow.
Acceptance criteria
- docs/agents/INDEX.md names every corpus document except itself.
- docs/agents/CORPUS-SPEC.md matches the authoritative corpus specification.
- The current-state document names the repository boundary, important entry points, and the first files an agent should read.
- Hazard documents describe measured failures or explicitly record that no hazard has yet been established.
- verification/REFRESH.md states that claims are manually rerunnable until the later Rust runner phase and does not imply automated freshness.
- No README.md exists inside docs/agents/.
- The repository local gate or documented proof command runs against the landed change and reports its result.
Dependencies
ADR AGENTDOC-G-4602 and the estate-directory task under PLAN AGENTDOC-G must land first.
Non-goals
- Add or migrate claim runners.
- Add refresh workflows.
- Rewrite unrelated repository documentation.
- Copy architecture prose without reading the repository.
Refs https://github.com/mithran-hq/mithran-infra/issues/4601, https://github.com/mithran-hq/mithran-infra/issues/4602
Parent plan: https://github.com/mithran-hq/mithran-infra/issues/4601
Objective
Author and land the documentation-only agent corpus for map-cli.
Scope
Read the repository root AGENTS.md and CLAUDE.md, then path-local instructions and CODEOWNERS before editing. Work from an explicit origin/main revision. Write a repository-specific docs/agents corpus with an INDEX.md, copied CORPUS-SPEC.md, current-state orientation, repository-specific hazards, and verification/REFRESH.md.
Every claim must identify how it is known. Use measured commands against the named revision, document assertions as assertions, and mark unavailable cross-repository facts as uncheckable. Do not invent hazards. If no repository-specific hazard is established, state that result and record the probe used.
The corpus is documentation-only in this task. Do not add the Python runner, Rust runner, or refresh workflow.
Acceptance criteria
Dependencies
ADR AGENTDOC-G-4602 and the estate-directory task under PLAN AGENTDOC-G must land first.
Non-goals
Refs https://github.com/mithran-hq/mithran-infra/issues/4601, https://github.com/mithran-hq/mithran-infra/issues/4602