Repository navigation

AGENTS.md: add Verification Discipline; sweep prose on a behavior change (#356) - #358

Merged

ptr727 merged 1 commit into

verification-discipline-356

Jul 18, 2026

Merged

AGENTS.md: add Verification Discipline; sweep prose on a behavior change (#356)#358
ptr727 merged 1 commit into
developfrom
verification-discipline-356

Commits on Jul 18, 2026
- AGENTS.md: add Verification Discipline; sweep prose on a behavior change (#356)
  
  ptr727
  and
  claude
  committed
  13b3d28