- SymbolicSummaryCache: per-function BV-64 cache to avoid re-encoding - Language-agnostic observer overloads for Rust/Swift backends - Abstract-interpretation pre-pass for Rust integer range filtering - 3 new unit tests, 63/63 pass