using System.Text.Json.Serialization;

namespace StellaOps.AuditPack.Services;

/// <summary>
/// In-toto v1 statement structure.
/// </summary>
public sealed record InTotoStatement
{
    [JsonPropertyName("_type")]
    public required string Type { get; init; }

    [JsonPropertyName("subject")]
    public required IReadOnlyList<InTotoSubject> Subject { get; init; }

    [JsonPropertyName("predicateType")]
    public required string PredicateType { get; init; }

    [JsonPropertyName("predicate")]
    public required VerdictReplayAttestation Predicate { get; init; }
}