From 8a8820f6838069203da4ef5539c9d5bbf3161e9b Mon Sep 17 00:00:00 2001
From: Michael Suchacz <203725896+ibetitsmike@users.noreply.github.com>
Date: Thu, 27 Nov 2025 13:04:00 +0000
Subject: [PATCH] =?UTF-8?q?=F0=9F=A4=96=20docs:=20require=20static-check?=
 =?UTF-8?q?=20before=20pushing=20to=20PRs?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Add explicit instruction in Mode: Exec to run `make static-check` locally
before pushing changes. This makes the requirement proactive rather than
only reactive to CI failures.

_Generated with `mux`_
---
 docs/AGENTS.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/AGENTS.md b/docs/AGENTS.md
index 9289acd7e..c40d49b60 100644
--- a/docs/AGENTS.md
+++ b/docs/AGENTS.md
@@ -156,6 +156,7 @@ Avoid mock-heavy tests that verify implementation details rather than behavior.
 ## Mode: Exec
 
 - Treat as a standing order: keep running checks and addressing failures until they pass or a blocker outside your control arises.
+- **Before pushing to a PR**, run `make static-check` locally and ensure all checks pass. Fix issues with `make fmt` or manual edits. Never push until local checks are green.
 - Reproduce remote static-check failures locally with `make static-check`; fix formatting with `make fmt` before rerunning CI.
 - When CI fails, reproduce locally with the smallest relevant command; log approximate runtimes to optimize future loops.