codex-agy-worker: Instructions file for Codex

AGENTS.md — codex-agy-worker

Product purpose

agy-worker lets Codex use Antigravity CLI (agy) for broad exploration, bounded tasks, and project-scale implementation. Optimize for a useful working result:

1. Dispatch the workflow that matches the user's intent. Normal use delegates substantial exploration and implementation to AGY before Codex duplicates it. Codex reads only scope and authority necessities, then spot-checks material findings and reviews the actual diff.
2. Have Codex inspect the diff and run driver-owned checks. Worker envelopes are not evidence. Existing self-verification is optional advisory feedback when a focused command is known; an unknown first command or architecture does not prohibit useful delegation. Keep final Codex independent acceptance.
3. Continue the same conversation to repair observable failures within the job budget. Failed product checks return concrete sanitized feedback to the same AGY conversation for bounded repair; do not allow silent direct-Codex fallback after provider failure or exhausted budget. Use initial --allow-scoped-repair for approved multi-turn scoped work.
4. Deliver a transparent verified, partially_verified, or blocked outcome. Preserve Goal as an ordinary-use opt-in, not a prerequisite.

Do not refuse a task merely because its final file list, architecture, or test command is not known before dispatch. Do not require a persona for broad exploration. Personas are optional prompt specializations, not capability or approval gates. A broad report is useful but is never an exhaustive-security or completeness claim.

Start with this file and task-relevant source. Use rg to open only the relevant row in docs/REPO_MAP.md or heading in docs/lessons_learned.md; do not preload the full README, repository map, lessons, roadmap, or test history. Read README.md only when the task changes or verifies user-facing behavior or claims.

Before substantial work, check the branch, dirty state, and freshness against a recently fetched main. Preserve a dirty checkout and work from a clean isolated worktree. If fetching is unavailable, report freshness as unknown. For candidate binding drift, diagnose ignored caches without excluding them from the binding.