# Exact weighted history vector interpolation and aliases

RE-638. Reproduce with `python3 scripts/analyze_qvm_history_vector_lerp.py`; check with `python3 scripts/test_qvm_history_vector_lerp.py`. The [machine report](qvm-history-vector-lerp.json) retains source identity and bounded fixtures.

Complete143032–143097 calculates the complement once, then performs two rounded products and one rounded sum per component. Fractions below0 or above1 extrapolate without clamping. Exact output aliases to either input vector match separate output for tested vectors because component dependencies remain local; partial overlaps and other alias domains are unverified. Large cancellation-sensitive inputs demonstrate that a+fraction×(b−a) can produce different bits. The wrapper stops before the void epilogue and makes no native or full history claim.

No original executable/full QVM/native collision/physics/rendering executes. Native responses and legal input domains are supplied or unverified where stated; full runtime/macOS/Linux Rust/Bevy/Solari gameplay remains open.