diff --git a/AGENTS.md b/AGENTS.md
index 2acdd67..1c3dcf2 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -41,11 +41,14 @@ Boundary rules:
 ## Workflow
 
 - Work from Linear tickets and linked specs in `docs/specs/`
+- Keep the corresponding Linear ticket in sync while working
 - One ticket at a time, small commits
 - Before implementation: re-check ticket/spec and assumptions
 - Do not commit without explicit user approval
 - Use pre-commit and pre-push hooks as the default validation path
 - Run manual checks selectively for targeted validation or when hooks do not cover the relevant risk
+- After push: add a Linear comment with branch/commit and validation status
+- After merge to `main`: move the Linear ticket to `Done` unless the user says otherwise
 - Run Codex review before merge (`codex review --base origin/main`)
 
 ## Communication