diff --git a/AGENTS.md b/AGENTS.md
index 6859b23..05a4030 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -122,4 +122,3 @@
   Gitea rebases the synthetic upstream root commit without the `third_party/pi` prefix.
   Preserve `git-subtree-dir` and `git-subtree-split` trailers on Pi vendor commits.
 - The default Pi model for NixOS user configuration is set in `configs/nixos/modules/shell/pi/default.nix`, not in vendored Pi source.
-- Nix evaluates a `let` binding at most once per enclosing expression evaluation. A closure shares bindings from its enclosing `let` scope across calls.