A structured analysis of oven-sh/bun#30412: pre-existing levers (no async, tiny dep surface, exhaustive tests, pre-computed lifetimes), the Phase A/Phase B split, structured markers, Rust compiler as verifier, and an honest read of what transfers vs what does not.