git:20260305.8216dda to git:20260311.cd2f680

1 added, 7 removed. Audit A to B.

- # Miri LLM Context

- See [AGENTS.md](file:///Users/vshynkarenko/Desktop/projects/my/miri/miri/AGENTS.md) for full context and guidelines.

- ## Build/Test/Lint Commands

- - Build: `cargo build`

- - Test: `cargo test`

- - Lint: `cargo clippy -- -D warnings`

+ See AGENTS.md