- Support integer widths and clamped arrays with shared storage and exact runtime brands. - Preserve typed-array values through untyped fields, iteration, and byte I/O. - Compile native ArrayBuffer response bodies and checked Number predicates.