From 2246aeea07d007e454ac53c54cf89f4d362d42bf Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Mon, 29 Jun 2026 09:12:56 +1000 Subject: [PATCH] docs(AGENTS): require standard BZ/LLL terminology; proofs follow the executable Co-Authored-By: Claude Opus 4.8 (1M context) --- AGENTS.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index ffef56ad6..bea173f96 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -77,6 +77,13 @@ meta-commentary about the history of our research process to any file. The git history tracks that. SPEC files and `PLAN/` contain the current state of the design, not a journal of how we got there. +## Mathematical terminology + +Use only standard terminology an expert in Berlekamp–Zassenhaus and LLL +recognizes immediately — no coined jargon or private coordinate names — +and let proofs track the operations the executable performs rather than a +parallel reformulation of them. + ## Per-turn progress files Start of turn: read the most recent file in `progress/` (ISO-8601