## Summary

Describe what changed and why.

## Validation

- [ ] `cargo fmt --all --check`
- [ ] `cargo clippy --workspace --all-targets -- -D warnings`
- [ ] `cargo test --workspace`
- [ ] Real-binary check completed (for decompiler behavior changes)

## Scope

- [ ] Atomic commits (`type(scope): description`)
- [ ] Docs updated (`README.md`, `docs/*`, `context.md`) when behavior changed
- [ ] No unrelated refactors mixed in