- Avoid materializing scalar string slices and preserve index metadata. - Specialize known callbacks and numeric call boundaries. - Lower proved integer remainders without changing number semantics.