diff --git a/AGENTS.md b/AGENTS.md
index 4c09889..e5e79f6 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -13,8 +13,7 @@ and ships as a separate PyPI package.
 ## Commands
 
 `just` (task runner) and `uv` (package manager). The [`justfile`](justfile) is the source of truth —
-`just --list`, or read it. The one thing it does not say: a `ty` suppression is written
-`# ty: ignore`, never `# type: ignore`.
+`just --list`, or read it.
 
 ## Architecture
 
@@ -27,15 +26,10 @@ non-Provider attributes that exist to exercise the skip path.
 
 ## Workflow
 
-Real work **not scheduled** becomes a GitHub issue.
-
 Every link in `README.md` must be absolute: `https://github.com/modern-python/<repo>/blob/main/<path>`,
 or `.../tree/main/<path>` for a directory. Never a relative path: `README.md` is also the PyPI long
 description, and PyPI does not rewrite relative links, so a relative one 404s on the package page.
 
-An invariant is a test whose name is the claim, with a docstring opening `INVARIANT:` and a second
-paragraph naming **what breaks it** — design rationale, not a report of what this one test catches.
-
 ## Agent skills
 
 - **Issues and specs** — GitHub Issues on `modern-python/modern-di-pytest`, via `gh`: