Skip to main content

interpret_generated_artifact_integrity

kernel_conformance::reference_interpreters

Function interpret_generated_artifact_integrity 

Source 
pub fn interpret_generated_artifact_integrity(
    spec: &SpecBundleV1,
    ast: &NormativeASTV1,
    obligations: &ProofObligationSetV1,
    schema_family: &str,
    generated_at: &str,
) -> (GeneratedSchemaBundleV1, ProofEvaluationReceiptV1)
Expand description

Interprets generated schema integrity for a spec surface.