diff --git a/AGENTS.md b/AGENTS.md
index 8a307b0..ba74b75 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -15,8 +15,7 @@ integrations, each of which lives in a separate repository and ships as a separa
 ## 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
 
@@ -24,11 +23,6 @@ All implementation is `modern_di_flask/main.py`, short enough to read whole. Rea
 
 ## 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.