Skip to content

TASK AGENTDOC-G-map-cli-57 — Author the agent corpus #57

Description

@olympum

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

  1. docs/agents/INDEX.md names every corpus document except itself.
  2. docs/agents/CORPUS-SPEC.md matches the authoritative corpus specification.
  3. The current-state document names the repository boundary, important entry points, and the first files an agent should read.
  4. Hazard documents describe measured failures or explicitly record that no hazard has yet been established.
  5. verification/REFRESH.md states that claims are manually rerunnable until the later Rust runner phase and does not imply automated freshness.
  6. No README.md exists inside docs/agents/.
  7. 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

Activity

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions