- Lower unshift and reverse through the C and LLVM backends. - Preserve spread, mutation, evaluation-order, and reference-counting semantics. - Add runtime, differential, and surface-manifest coverage.