- Preserve lexical captures, callback identity, receiver effects, and default arguments in native bound arrows. - Keep bound function name and length available through JavaScript aliases and checked storage.