Pigeon RadarProvider API benchmarks and consumer-interface observations are labeled separately.