tiny.closure.project

1pub const Reason = enum(u8) {2    none,3    claim_missing,4    work_limit,5    visited_capacity,6    frontier_capacity,7    generation_root_unknown,8    claim_name_unknown,9    profile_unknown,10    edge_mask_unsupported,11    artifact_missing,12    artifact_ambiguous,13    artifact_node_missing,14    artifact_digest_unknown,15    artifact_digest_mismatch,16    artifact_witness_unknown,17    byte_range_missing,18    byte_range_digest_unknown,19    byte_range_witness_unknown,20    byte_range_overflow,21    byte_range_out_of_bounds,22    byte_range_overlap,23    byte_coverage_gap,24    foreign_only_executable,25    node_identity_ambiguous,26    node_evidence_unknown,27    claim_root_missing,28    claim_root_node_missing,29    artifact_unreachable,30    treatment_missing,31    treatment_unknown,32    treatment_conflict,33    treatment_forbidden,34    origin_evidence_missing,35    origin_treatment_forbidden,36    edge_kind_omitted,37    predecessor_omitted,38    edge_target_missing,39    oracle_influence,40    authority_evidence_missing,41    authority_edge_missing,42    authority_target_missing,43    authority_unknown,44    authority_forbidden,45    service_evidence_missing,46    service_evidence_unknown,47    service_requirement_mismatch,48    record_reference_missing,49    record_evidence_unknown,50};

1pub const Result = struct {2    verdict: schema.Verdict,3    reason: Reason,4    work: u64,5    high_water: u32,6};

1pub const Scratch = struct {2    visited: []u8,3    queue: []u32,4};

1pub const WorkBoundError = error{WorkArithmeticOverflow};

1pub const WorkCardinality = 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};

1pub fn check(2    input: schema.GenerationInput,3    claim_id: schema.ClaimId,4    scratch: Scratch,5    work_limit: u64,6) Result {7    var checker = Checker{8        .input = input,9        .claim_id = claim_id,10        .scratch = scratch,11        .work_limit = work_limit,12    };13    return checker.run();14}

1pub fn maximumWork(cardinality: WorkCardinality) WorkBoundError!usize {2    const node_pairs = try triangular(cardinality.nodes);3    const range_pairs = try triangular(cardinality.ranges);4    const origin_scans = try sum(&.{5        try product(&.{ 2, cardinality.source_records }),6        try product(&.{ 2, cardinality.artifacts }),7        try product(&.{ 2, cardinality.build_records }),8        cardinality.provenance_parents,9        cardinality.digests,10        cardinality.lineage_references,11        cardinality.service_descriptors,12    });13    return sum(&.{14        try setupWork(cardinality, node_pairs, range_pairs),15        try traversalWork(cardinality, origin_scans),16        try policyWork(cardinality),17        try recordWork(cardinality, range_pairs),18    });19}

1const checker = @import("check.zig");23pub const Reason = checker.Reason;4pub const Result = checker.Result;5pub const Scratch = checker.Scratch;6pub const WorkBoundError = checker.WorkBoundError;7pub const WorkCardinality = checker.WorkCardinality;8pub const check = checker.check;9pub const maximumWork = checker.maximumWork;

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