Dhanji R. Prasanna e2fffaab94 Slim down AGENTS.md and update lamport.md for machine-specific output ...

AGENTS.md changes:
- Removed redundant sections that duplicated README.md:
  - System Overview (crate table)
  - File Structure Quick Reference
  - Testing Strategy
  - Pointers to Documentation
  - Architecture Decisions
- Kept unique machine-specific sections:
  - Critical Invariants (merged Performance Constraints)
  - Recommended Entry Points
  - Dangerous/Subtle Code Paths
  - Do's and Don'ts for Automated Changes
  - Common Incorrect Assumptions
  - Dependency Analysis Artifacts
- Reduced from ~220 lines to ~116 lines

lamport.md changes:
- Rewrote AGENTS.md section with explicit instructions
- Added REQUIRED sections list (5 sections only)
- Added DO NOT include list to prevent README duplication
- AGENTS.md now points to README for architecture/usage

2026-01-06 12:46:40 +11:00

..

euler.md

Extend euler.md to require AGENTS.md updates

2026-01-06 12:35:12 +11:00

fowler.md

fix: fowler agent now respects --workspace flag and reads project docs

2025-12-26 15:24:20 +11:00

lamport.md

Slim down AGENTS.md and update lamport.md for machine-specific output

2026-01-06 12:46:40 +11:00