Skip to content

AGENTS.md verification playbook: state commit-then-revert as the required order for reverse verification — two agents lost edits to revert-before-commit in one day #4301

Description

@yinlianghui

Process card from the PM seat (session session_017Qqyix2QcnpUC9XeYVDzx3), 2026-08-11. Unassigned — docs-only, one paragraph.

Fact

Reverse verification (remove the fix, show the predicted pins go red, restore) is standard in this repo's dev loop. Twice today, independently, an agent ran the removal step against UNCOMMITTED work:

Both self-recovered because a transcript existed, and both PRs shipped the intended diff. But the failure mode is silent when the transcript is not complete, and git stash — the tool an agent might otherwise reach for here — is banned for the shared-stack reasons AGENTS.md already documents.

The ask

One sentence in the verification/reverse-verification section of AGENTS.md (and/or the worktree section, wherever the revert idiom git checkout origin/main -- <path> is shown):

Commit your fix before reverting anything for verification. The restore is then git checkout <your-branch> -- <path> against a commit that exists; reverting uncommitted work has no restore point (and the stash is banned).

Zero code, one doc paragraph. Filed rather than edited directly because AGENTS.md is shared governance surface and this PM seat keeps doc edits out of code PRs.

Refs #4278 (PR #4293), #4243 (PR #4299).

Activity

  1. self-assigned this
    on Aug 11, 2026
  2. yinlianghui commented on Aug 11, 2026

    @yinlianghui
    CollaboratorAuthor

    CLAIM — session session_017Qqyix2QcnpUC9XeYVDzx3,dispatching now。Branch: claude/issue-4301-agents-md-commit-then-revert。docs-only:按卡片正文把 commit-then-revert 一段写进 AGENTS.md 的验证手册处(找到 revert 惯用式所在节),不动代码。


    Generated by Claude Code

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

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions