tiny.closure.receipt

1pub const Context = struct {2    limits: limits.Limits,3    capacity: limits.Capacity,4    occupancy: Counts,5    high_water: Counts,6    before_root: schema.Digest,7    after_root: schema.Digest,8    verdict: schema.Verdict,9    reason: ?[]const u8,10    rejection: ?[]const u8,11    unknown: ?[]const u8,12    work: usize,13    visited_high_water: usize,14    queue_high_water: usize,15    allocation_count: u64,16};

1pub const Counts = struct {2    nodes: usize,3    edges: usize,4    artifacts: usize,5    ranges: usize,6    digests: usize,7    provenance_parents: usize,8    source_records: usize,9    build_records: usize,10    authorities: usize,11    lineage_references: usize,12    service_descriptors: usize,13    residual_roots: usize,14    claims: usize,15    claim_nodes: usize,16    receipt_bytes: usize,1718    pub fn fromInput(input: schema.GenerationInput, receipt_bytes: usize) Counts {19        return .{20            .nodes = input.nodes.len,21            .edges = input.edges.len,22            .artifacts = input.artifacts.len,23            .ranges = input.ranges.len,24            .digests = input.digests.len,25            .provenance_parents = input.provenance_parents.len,26            .source_records = input.source_records.len,27            .build_records = input.build_records.len,28            .authorities = input.authorities.len,29            .lineage_references = input.lineage_references.len,30            .service_descriptors = input.service_descriptors.len,31            .residual_roots = input.residual_roots.len,32            .claims = input.claims.len,33            .claim_nodes = input.claim_nodes.len,34            .receipt_bytes = receipt_bytes,35        };36    }3738    pub fn fromLimits(value: limits.Limits) Counts {39        return .{40            .nodes = value.nodes,41            .edges = value.edges,42            .artifacts = value.artifacts,43            .ranges = value.ranges,44            .digests = value.digests,45            .provenance_parents = value.provenance_parents,46            .source_records = value.source_records,47            .build_records = value.build_records,48            .authorities = value.authorities,49            .lineage_references = value.lineage_references,50            .service_descriptors = value.service_descriptors,51            .residual_roots = value.residual_roots,52            .claims = value.claims,53            .claim_nodes = value.claim_nodes,54            .receipt_bytes = value.receipt_bytes,55        };56    }5758    pub fn fromCapacity(value: limits.Capacity) Counts {59        return .{60            .nodes = value.nodes,61            .edges = value.edges,62            .artifacts = value.artifacts,63            .ranges = value.ranges,64            .digests = value.digests,65            .provenance_parents = value.provenance_parents,66            .source_records = value.source_records,67            .build_records = value.build_records,68            .authorities = value.authorities,69            .lineage_references = value.lineage_references,70            .service_descriptors = value.service_descriptors,71            .residual_roots = value.residual_roots,72            .claims = value.claims,73            .claim_nodes = value.claim_nodes,74            .receipt_bytes = value.receipt_bytes,75        };76    }77};

1pub const Error = json.Error || ValidationError;

1pub fn encode(2    output: []u8,3    input: schema.GenerationInput,4    selected_claim: schema.ClaimId,5    context: model.Context,6) Error![]const u8 {7    try validate(input, context);8    const selected = findClaim(input.claims, selected_claim) orelse9        return error.SelectedClaimNotFound;10    var normalized = context;11    const length = try fixedReceiptLength(input, selected, &normalized);12    if (length > context.limits.receipt_bytes or13        length > context.capacity.receipt_bytes or14        length > output.len)15    {16        return error.ReceiptCapacityExceeded;17    }18    return try json.render(19        output,20        length,21        rows.emit,22        .{ input, selected, normalized },23    );24}

1const implementation = @import("encode.zig");2const model = @import("model.zig");34pub const json = @import("json.zig");56pub const Context = model.Context;7pub const Counts = model.Counts;8pub const Error = implementation.Error;9pub const encode = implementation.encode;

1pub const receipt = @import("receipt/root.zig");