System.Text.Json Polymorphism with Swagger in .NET 7

Polymorphic JSON is not finished when System.Text.Json can serialize a derived type. The same discriminator contract must survive OpenAPI generation, server validation, client generation, and every se