From 2592fee5d58eaa1c5f034bccea76584236dd5240 Mon Sep 17 00:00:00 2001 From: "Dhanji R. Prasanna" Date: Tue, 6 Jan 2026 12:49:00 +1100 Subject: [PATCH] Generalize lamport.md examples to be language-agnostic MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Changed Rust-specific examples to generic ones: - 'Tool calls must be valid JSON' → 'API responses must be valid JSON' - 'Never block the async runtime' → 'Never block the event loop' - 'Crate/module' → 'Module/package' - 'run cargo test' → 'basic commands' --- agents/lamport.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/agents/lamport.md b/agents/lamport.md index 09ce08d..7794d67 100644 --- a/agents/lamport.md +++ b/agents/lamport.md @@ -280,8 +280,8 @@ AGENTS.md should start with: REQUIRED sections (include ONLY these): 1. **Critical Invariants** - - MUST hold constraints (e.g., "Tool calls must be valid JSON") - - MUST NOT do constraints (e.g., "Never block the async runtime") + - MUST hold constraints (e.g., "API responses must be valid JSON", "Database connections must be closed") + - MUST NOT do constraints (e.g., "Never block the event loop", "Never store secrets in logs") - Performance constraints that affect correctness 2. **Recommended Entry Points** @@ -305,10 +305,10 @@ REQUIRED sections (include ONLY these): DO NOT include in AGENTS.md: - Architecture overview (use README) -- Crate/module descriptions (use README) +- Module/package descriptions (use README) - File structure diagrams (derivable from codebase) - Documentation links (use README's Documentation Map) -- Testing instructions beyond "run cargo test" (trivial) +- Testing instructions beyond basic commands (trivial) - How to use the project (use README) ------------------------------------------------------------