Skip to content

Shorten agent instructions#703

Merged
ilysenko merged 1 commit into
mainfrom
codex/shorten-agents-docs
Jul 8, 2026
Merged

Shorten agent instructions#703
ilysenko merged 1 commit into
mainfrom
codex/shorten-agents-docs

Conversation

@ilysenko

@ilysenko ilysenko commented Jul 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • shorten AGENTS.md into a compact agent quick-start
  • move detailed repository map, validation, and runtime/generated notes into docs/agents
  • add the latest-upstream CODEX.DMG drift policy to AGENTS.md

Tests

  • rg -n "latest upstream|legacy DMG|fallback patch|version-specific" AGENTS.md docs/agents
  • test -f docs/agents/repository-map.md && test -f docs/agents/validation-playbook.md && test -f docs/agents/generated-and-runtime-notes.md
  • wc -l AGENTS.md
  • git diff --check -- AGENTS.md
  • markdown link existence check for AGENTS.md local links

@ilysenko ilysenko merged commit 90ea761 into main Jul 8, 2026
5 checks passed
@ilysenko ilysenko deleted the codex/shorten-agents-docs branch July 8, 2026 06:27
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