using System.Text.Json.Serialization; namespace AMNet.Server; public record SystemState( [property: JsonPropertyName("apiVersion")] int ApiVersion, [property: JsonPropertyName("gameId")] string GameId, [property: JsonPropertyName("serverName")] string ServerName); public record CardReadRequest( [property: JsonPropertyName("cardId")] string MatrixCode); [JsonSerializable(typeof(SystemState))] [JsonSerializable(typeof(CardReadRequest))] [JsonSourceGenerationOptions(WriteIndented = true)] public partial class SerializerContext : JsonSerializerContext;