using System.Text.Json.Serialization; namespace AimeNet; public record SystemState( [property: JsonPropertyName("apiVersion")] int ApiVersion, [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 AppJsonSerializerContext : JsonSerializerContext;