Merge `main` to `feature/flat_map` - #5884

Merged

Stephan T. Lavavej (StephanTLavavej) merged 46 commits into

microsoft:feature/flat_mapfrom

StephanTLavavej:merge-flat_map

Nov 20, 2025

Microsoft GitHub Policy Service / license/cla succeeded Nov 19, 2025 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Microsoft GitHub Policy Service