lean-memory — Performance Benchmark results, implementation status, and design decisions have moved to ARCHITECTURE.md.