- Reduce allocation and reference-management overhead in native array loops. - Enable vectorization while preserving numeric behavior. - Preserve live tuple iteration and cover reference lifetimes and missing values.