Final audience question (from someone asking during post-party logistics): could observability tooling (e.g. Coverband) watch production traffic and auto-generate Ruby type annotations? Drapper is skeptical. (1) Observation can't distinguish a string from a `_Union('small','medium','large')` — it would just see a string. (2) Once types raise in production they stop gathering the very data needed to refine them. (3) False negatives could generate types that wrongly raise on rare-but-valid production values. He'd only be open to it as a migration aid that *generates RBS-style hints*, not as a system that raises in production; better migration path is to extract small objects manually and use the `never` type to surface which attribute is wrong. He mentions Marco is doing related production-analysis/documentation work.