Specification for asynchronous APIs and event contracts; ties to async interaction and brokers (7.4.2–7.4.3, 7.4.5–7.4.7).