Looks great - not much to add. It's in line with the similar proposals in Swift Log and Swift Metrics, and I think this nicely completes that new paradigm.
Thanks for the multiple rounds of polishing this up Vlad, et al. I think we're all happy enough with the tradeoffs taken in the proposal now. Thanks again!