@riddledc/riddle-proof 0.8.82 → 0.8.84

package/dist/semantic-certificate.d.cts

@@ -2,6 +2,8 @@ import { JsonValue } from './types.cjs';
 import './public-state.cjs';
 
 declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION: "riddle-proof.semantic-certificate.v0";
+declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION: "riddle-proof.semantic-certificate-closure.v0";
+declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES = 4096;
 interface RiddleProofSemanticScope {
     repository: string;
     revision: string;
@@ -17,6 +19,9 @@ interface RiddleProofSemanticClaimRef {
 interface RiddleProofSemanticClaim extends RiddleProofSemanticClaimRef {
     label: string;
 }
+interface RiddleProofSemanticClaimExpectation extends RiddleProofSemanticClaimRef {
+    label?: string;
+}
 interface RiddleProofSemanticEvidenceRef {
     receipt_id: string;
     artifact_digest: string;
@@ -46,10 +51,11 @@ interface RiddleProofSemanticRule {
     premises: [RiddleProofSemanticClaimRef, ...RiddleProofSemanticClaimRef[]];
     conclusion: RiddleProofSemanticClaim;
 }
+type RiddleProofSemanticAssurance = "runtime_contract_accepted" | "declared_runtime_rule";
 interface RiddleProofSemanticPremise {
     certificate_id: string;
     derivation_kind: RiddleProofSemanticDerivation["kind"];
-    assurance: RiddleProofSemanticDerivation["assurance"];
+    assurance: RiddleProofSemanticAssurance;
     scope: RiddleProofSemanticScope;
     claim: RiddleProofSemanticClaim;
     evidence: RiddleProofSemanticEvidenceBundle;
@@ -134,9 +140,171 @@ type RiddleProofSemanticCompositionResult = {
     ok: false;
     error: RiddleProofSemanticCompositionError;
 };
+interface RiddleProofSemanticCertificateClosure {
+    version: typeof RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION;
+    root_certificate_id: string;
+    certificates: [
+        RiddleProofSemanticCertificate,
+        ...RiddleProofSemanticCertificate[]
+    ];
+}
+type RiddleProofSemanticPremiseSnapshotField = "derivation_kind" | "assurance" | "scope" | "claim" | "evidence";
+interface RiddleProofSemanticCertificateClosureInvalid {
+    code: "invalid_closure";
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureCertificateInvalid {
+    code: "invalid_closure_certificate";
+    input_index: number;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureDuplicateId {
+    code: "duplicate_certificate_id";
+    certificate_id: string;
+    first_index: number;
+    duplicate_index: number;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureRootMissing {
+    code: "root_certificate_missing";
+    root_certificate_id: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureDanglingPremise {
+    code: "dangling_premise";
+    parent_certificate_id: string;
+    premise_index: number;
+    premise_certificate_id: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosurePremiseMismatch {
+    code: "premise_snapshot_mismatch";
+    parent_certificate_id: string;
+    premise_index: number;
+    premise_certificate_id: string;
+    field: RiddleProofSemanticPremiseSnapshotField;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureCycle {
+    code: "certificate_cycle";
+    certificate_ids: string[];
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureUnreachable {
+    code: "unreachable_certificates";
+    certificate_ids: string[];
+    message: string;
+}
+type RiddleProofSemanticCertificateClosureValidationError = RiddleProofSemanticCertificateClosureInvalid | RiddleProofSemanticCertificateClosureCertificateInvalid | RiddleProofSemanticCertificateClosureDuplicateId | RiddleProofSemanticCertificateClosureRootMissing | RiddleProofSemanticCertificateClosureDanglingPremise | RiddleProofSemanticCertificateClosurePremiseMismatch | RiddleProofSemanticCertificateClosureCycle | RiddleProofSemanticCertificateClosureUnreachable;
+type RiddleProofSemanticCertificateClosureValidationResult = {
+    ok: true;
+    closure: RiddleProofSemanticCertificateClosure;
+    root_certificate: RiddleProofSemanticCertificate;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateClosureValidationError;
+};
+interface CreateRiddleProofSemanticAtomicCertificateClosureInput {
+    certificate: unknown;
+}
+interface ComposeRiddleProofSemanticCertificateClosuresInput {
+    rule: RiddleProofSemanticRule;
+    closures: [unknown, ...unknown[]];
+    issued_at?: string;
+}
+interface RiddleProofSemanticCertificateClosureInputInvalid {
+    code: "input_closure_invalid";
+    input_index: number;
+    cause: RiddleProofSemanticCertificateClosureValidationError;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureIdCollision {
+    code: "certificate_id_collision";
+    certificate_id: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureConstructionFailed {
+    code: "closure_construction_failed";
+    cause: RiddleProofSemanticCertificateClosureValidationError;
+    message: string;
+}
+type RiddleProofSemanticCertificateClosureCompositionError = RiddleProofSemanticCompositionError | RiddleProofSemanticCertificateClosureInputInvalid | RiddleProofSemanticCertificateClosureIdCollision | RiddleProofSemanticCertificateClosureConstructionFailed;
+type RiddleProofSemanticCertificateClosureCompositionResult = {
+    ok: true;
+    certificate: RiddleProofSemanticCertificate;
+    closure: RiddleProofSemanticCertificateClosure;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateClosureCompositionError;
+};
+interface MatchRiddleProofSemanticCertificateInput {
+    certificate: unknown;
+    expected_certificate_id: string;
+    expected_scope: RiddleProofSemanticScope;
+    expected_claim: RiddleProofSemanticClaimExpectation;
+    expected_assurance: RiddleProofSemanticAssurance;
+}
+interface RiddleProofSemanticCertificateInvalid {
+    code: "invalid_certificate";
+    message: string;
+}
+interface RiddleProofSemanticCertificateIdMismatch {
+    code: "certificate_id_mismatch";
+    expected: string;
+    observed: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateMatchScopeMismatch {
+    code: "scope_mismatch";
+    field: RiddleProofSemanticScopeField;
+    expected: string;
+    observed: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClaimMismatch {
+    code: "claim_mismatch";
+    expected: RiddleProofSemanticClaimRef;
+    observed: RiddleProofSemanticClaimRef;
+    message: string;
+}
+interface RiddleProofSemanticCertificateAssuranceMismatch {
+    code: "assurance_mismatch";
+    expected: RiddleProofSemanticAssurance;
+    observed: RiddleProofSemanticAssurance;
+    message: string;
+}
+type RiddleProofSemanticCertificateMatchError = RiddleProofSemanticCertificateInvalid | RiddleProofSemanticCertificateIdMismatch | RiddleProofSemanticCertificateMatchScopeMismatch | RiddleProofSemanticCertificateClaimMismatch | RiddleProofSemanticCertificateAssuranceMismatch;
+type RiddleProofSemanticCertificateMatchResult = {
+    ok: true;
+    certificate: RiddleProofSemanticCertificate;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateMatchError;
+};
+interface MatchRiddleProofSemanticCertificateClosureInput {
+    closure: unknown;
+    expected_root_certificate_id: string;
+    expected_scope: RiddleProofSemanticScope;
+    expected_claim: RiddleProofSemanticClaimExpectation;
+    expected_assurance: RiddleProofSemanticAssurance;
+}
+type RiddleProofSemanticCertificateClosureMatchError = RiddleProofSemanticCertificateClosureValidationError | RiddleProofSemanticCertificateMatchError;
+type RiddleProofSemanticCertificateClosureMatchResult = {
+    ok: true;
+    closure: RiddleProofSemanticCertificateClosure;
+    root_certificate: RiddleProofSemanticCertificate;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateClosureMatchError;
+};
 declare function riddleProofSemanticScopesEqual(left: RiddleProofSemanticScope, right: RiddleProofSemanticScope): boolean;
 declare function createRiddleProofSemanticCertificate<Observation>(input: CreateRiddleProofSemanticCertificateInput<Observation>): RiddleProofSemanticCertificationResult;
 declare function parseRiddleProofSemanticCertificate(value: unknown): RiddleProofSemanticCertificate;
+declare function matchRiddleProofSemanticCertificate(input: MatchRiddleProofSemanticCertificateInput): RiddleProofSemanticCertificateMatchResult;
 declare function composeRiddleProofSemanticCertificates(input: ComposeRiddleProofSemanticCertificatesInput): RiddleProofSemanticCompositionResult;
+declare function validateRiddleProofSemanticCertificateClosure(value: unknown): RiddleProofSemanticCertificateClosureValidationResult;
+declare function createRiddleProofSemanticAtomicCertificateClosure(input: CreateRiddleProofSemanticAtomicCertificateClosureInput): RiddleProofSemanticCertificateClosureValidationResult;
+declare function composeRiddleProofSemanticCertificateClosures(input: ComposeRiddleProofSemanticCertificateClosuresInput): RiddleProofSemanticCertificateClosureCompositionResult;
+declare function matchRiddleProofSemanticCertificateClosure(input: MatchRiddleProofSemanticCertificateClosureInput): RiddleProofSemanticCertificateClosureMatchResult;
 
-export { type ComposeRiddleProofSemanticCertificatesInput, type CreateRiddleProofSemanticCertificateInput, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, type RiddleProofSemanticCertificate, type RiddleProofSemanticCertificationResult, type RiddleProofSemanticClaim, type RiddleProofSemanticClaimRef, type RiddleProofSemanticCompositionDerivation, type RiddleProofSemanticCompositionError, type RiddleProofSemanticCompositionResult, type RiddleProofSemanticContract, type RiddleProofSemanticContractDerivation, type RiddleProofSemanticContractError, type RiddleProofSemanticContractRef, type RiddleProofSemanticContractRejected, type RiddleProofSemanticDerivation, type RiddleProofSemanticEvidenceBundle, type RiddleProofSemanticEvidenceRef, type RiddleProofSemanticPremise, type RiddleProofSemanticPremiseCountMismatch, type RiddleProofSemanticPremiseMismatch, type RiddleProofSemanticRule, type RiddleProofSemanticRuntimeContract, type RiddleProofSemanticScope, type RiddleProofSemanticScopeField, type RiddleProofSemanticScopeMismatch, composeRiddleProofSemanticCertificates, createRiddleProofSemanticCertificate, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual };
+export { type ComposeRiddleProofSemanticCertificateClosuresInput, type ComposeRiddleProofSemanticCertificatesInput, type CreateRiddleProofSemanticAtomicCertificateClosureInput, type CreateRiddleProofSemanticCertificateInput, type MatchRiddleProofSemanticCertificateClosureInput, type MatchRiddleProofSemanticCertificateInput, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, type RiddleProofSemanticAssurance, type RiddleProofSemanticCertificate, type RiddleProofSemanticCertificateAssuranceMismatch, type RiddleProofSemanticCertificateClaimMismatch, type RiddleProofSemanticCertificateClosure, type RiddleProofSemanticCertificateClosureCertificateInvalid, type RiddleProofSemanticCertificateClosureCompositionError, type RiddleProofSemanticCertificateClosureCompositionResult, type RiddleProofSemanticCertificateClosureConstructionFailed, type RiddleProofSemanticCertificateClosureCycle, type RiddleProofSemanticCertificateClosureDanglingPremise, type RiddleProofSemanticCertificateClosureDuplicateId, type RiddleProofSemanticCertificateClosureIdCollision, type RiddleProofSemanticCertificateClosureInputInvalid, type RiddleProofSemanticCertificateClosureInvalid, type RiddleProofSemanticCertificateClosureMatchError, type RiddleProofSemanticCertificateClosureMatchResult, type RiddleProofSemanticCertificateClosurePremiseMismatch, type RiddleProofSemanticCertificateClosureRootMissing, type RiddleProofSemanticCertificateClosureUnreachable, type RiddleProofSemanticCertificateClosureValidationError, type RiddleProofSemanticCertificateClosureValidationResult, type RiddleProofSemanticCertificateIdMismatch, type RiddleProofSemanticCertificateInvalid, type RiddleProofSemanticCertificateMatchError, type RiddleProofSemanticCertificateMatchResult, type RiddleProofSemanticCertificateMatchScopeMismatch, type RiddleProofSemanticCertificationResult, type RiddleProofSemanticClaim, type RiddleProofSemanticClaimExpectation, type RiddleProofSemanticClaimRef, type RiddleProofSemanticCompositionDerivation, type RiddleProofSemanticCompositionError, type RiddleProofSemanticCompositionResult, type RiddleProofSemanticContract, type RiddleProofSemanticContractDerivation, type RiddleProofSemanticContractError, type RiddleProofSemanticContractRef, type RiddleProofSemanticContractRejected, type RiddleProofSemanticDerivation, type RiddleProofSemanticEvidenceBundle, type RiddleProofSemanticEvidenceRef, type RiddleProofSemanticPremise, type RiddleProofSemanticPremiseCountMismatch, type RiddleProofSemanticPremiseMismatch, type RiddleProofSemanticPremiseSnapshotField, type RiddleProofSemanticRule, type RiddleProofSemanticRuntimeContract, type RiddleProofSemanticScope, type RiddleProofSemanticScopeField, type RiddleProofSemanticScopeMismatch, composeRiddleProofSemanticCertificateClosures, composeRiddleProofSemanticCertificates, createRiddleProofSemanticAtomicCertificateClosure, createRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificateClosure, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual, validateRiddleProofSemanticCertificateClosure };

package/dist/semantic-certificate.d.ts

@@ -2,6 +2,8 @@ import { JsonValue } from './types.js';
 import './public-state.js';
 
 declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION: "riddle-proof.semantic-certificate.v0";
+declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION: "riddle-proof.semantic-certificate-closure.v0";
+declare const RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES = 4096;
 interface RiddleProofSemanticScope {
     repository: string;
     revision: string;
@@ -17,6 +19,9 @@ interface RiddleProofSemanticClaimRef {
 interface RiddleProofSemanticClaim extends RiddleProofSemanticClaimRef {
     label: string;
 }
+interface RiddleProofSemanticClaimExpectation extends RiddleProofSemanticClaimRef {
+    label?: string;
+}
 interface RiddleProofSemanticEvidenceRef {
     receipt_id: string;
     artifact_digest: string;
@@ -46,10 +51,11 @@ interface RiddleProofSemanticRule {
     premises: [RiddleProofSemanticClaimRef, ...RiddleProofSemanticClaimRef[]];
     conclusion: RiddleProofSemanticClaim;
 }
+type RiddleProofSemanticAssurance = "runtime_contract_accepted" | "declared_runtime_rule";
 interface RiddleProofSemanticPremise {
     certificate_id: string;
     derivation_kind: RiddleProofSemanticDerivation["kind"];
-    assurance: RiddleProofSemanticDerivation["assurance"];
+    assurance: RiddleProofSemanticAssurance;
     scope: RiddleProofSemanticScope;
     claim: RiddleProofSemanticClaim;
     evidence: RiddleProofSemanticEvidenceBundle;
@@ -134,9 +140,171 @@ type RiddleProofSemanticCompositionResult = {
     ok: false;
     error: RiddleProofSemanticCompositionError;
 };
+interface RiddleProofSemanticCertificateClosure {
+    version: typeof RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION;
+    root_certificate_id: string;
+    certificates: [
+        RiddleProofSemanticCertificate,
+        ...RiddleProofSemanticCertificate[]
+    ];
+}
+type RiddleProofSemanticPremiseSnapshotField = "derivation_kind" | "assurance" | "scope" | "claim" | "evidence";
+interface RiddleProofSemanticCertificateClosureInvalid {
+    code: "invalid_closure";
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureCertificateInvalid {
+    code: "invalid_closure_certificate";
+    input_index: number;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureDuplicateId {
+    code: "duplicate_certificate_id";
+    certificate_id: string;
+    first_index: number;
+    duplicate_index: number;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureRootMissing {
+    code: "root_certificate_missing";
+    root_certificate_id: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureDanglingPremise {
+    code: "dangling_premise";
+    parent_certificate_id: string;
+    premise_index: number;
+    premise_certificate_id: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosurePremiseMismatch {
+    code: "premise_snapshot_mismatch";
+    parent_certificate_id: string;
+    premise_index: number;
+    premise_certificate_id: string;
+    field: RiddleProofSemanticPremiseSnapshotField;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureCycle {
+    code: "certificate_cycle";
+    certificate_ids: string[];
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureUnreachable {
+    code: "unreachable_certificates";
+    certificate_ids: string[];
+    message: string;
+}
+type RiddleProofSemanticCertificateClosureValidationError = RiddleProofSemanticCertificateClosureInvalid | RiddleProofSemanticCertificateClosureCertificateInvalid | RiddleProofSemanticCertificateClosureDuplicateId | RiddleProofSemanticCertificateClosureRootMissing | RiddleProofSemanticCertificateClosureDanglingPremise | RiddleProofSemanticCertificateClosurePremiseMismatch | RiddleProofSemanticCertificateClosureCycle | RiddleProofSemanticCertificateClosureUnreachable;
+type RiddleProofSemanticCertificateClosureValidationResult = {
+    ok: true;
+    closure: RiddleProofSemanticCertificateClosure;
+    root_certificate: RiddleProofSemanticCertificate;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateClosureValidationError;
+};
+interface CreateRiddleProofSemanticAtomicCertificateClosureInput {
+    certificate: unknown;
+}
+interface ComposeRiddleProofSemanticCertificateClosuresInput {
+    rule: RiddleProofSemanticRule;
+    closures: [unknown, ...unknown[]];
+    issued_at?: string;
+}
+interface RiddleProofSemanticCertificateClosureInputInvalid {
+    code: "input_closure_invalid";
+    input_index: number;
+    cause: RiddleProofSemanticCertificateClosureValidationError;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureIdCollision {
+    code: "certificate_id_collision";
+    certificate_id: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClosureConstructionFailed {
+    code: "closure_construction_failed";
+    cause: RiddleProofSemanticCertificateClosureValidationError;
+    message: string;
+}
+type RiddleProofSemanticCertificateClosureCompositionError = RiddleProofSemanticCompositionError | RiddleProofSemanticCertificateClosureInputInvalid | RiddleProofSemanticCertificateClosureIdCollision | RiddleProofSemanticCertificateClosureConstructionFailed;
+type RiddleProofSemanticCertificateClosureCompositionResult = {
+    ok: true;
+    certificate: RiddleProofSemanticCertificate;
+    closure: RiddleProofSemanticCertificateClosure;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateClosureCompositionError;
+};
+interface MatchRiddleProofSemanticCertificateInput {
+    certificate: unknown;
+    expected_certificate_id: string;
+    expected_scope: RiddleProofSemanticScope;
+    expected_claim: RiddleProofSemanticClaimExpectation;
+    expected_assurance: RiddleProofSemanticAssurance;
+}
+interface RiddleProofSemanticCertificateInvalid {
+    code: "invalid_certificate";
+    message: string;
+}
+interface RiddleProofSemanticCertificateIdMismatch {
+    code: "certificate_id_mismatch";
+    expected: string;
+    observed: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateMatchScopeMismatch {
+    code: "scope_mismatch";
+    field: RiddleProofSemanticScopeField;
+    expected: string;
+    observed: string;
+    message: string;
+}
+interface RiddleProofSemanticCertificateClaimMismatch {
+    code: "claim_mismatch";
+    expected: RiddleProofSemanticClaimRef;
+    observed: RiddleProofSemanticClaimRef;
+    message: string;
+}
+interface RiddleProofSemanticCertificateAssuranceMismatch {
+    code: "assurance_mismatch";
+    expected: RiddleProofSemanticAssurance;
+    observed: RiddleProofSemanticAssurance;
+    message: string;
+}
+type RiddleProofSemanticCertificateMatchError = RiddleProofSemanticCertificateInvalid | RiddleProofSemanticCertificateIdMismatch | RiddleProofSemanticCertificateMatchScopeMismatch | RiddleProofSemanticCertificateClaimMismatch | RiddleProofSemanticCertificateAssuranceMismatch;
+type RiddleProofSemanticCertificateMatchResult = {
+    ok: true;
+    certificate: RiddleProofSemanticCertificate;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateMatchError;
+};
+interface MatchRiddleProofSemanticCertificateClosureInput {
+    closure: unknown;
+    expected_root_certificate_id: string;
+    expected_scope: RiddleProofSemanticScope;
+    expected_claim: RiddleProofSemanticClaimExpectation;
+    expected_assurance: RiddleProofSemanticAssurance;
+}
+type RiddleProofSemanticCertificateClosureMatchError = RiddleProofSemanticCertificateClosureValidationError | RiddleProofSemanticCertificateMatchError;
+type RiddleProofSemanticCertificateClosureMatchResult = {
+    ok: true;
+    closure: RiddleProofSemanticCertificateClosure;
+    root_certificate: RiddleProofSemanticCertificate;
+} | {
+    ok: false;
+    error: RiddleProofSemanticCertificateClosureMatchError;
+};
 declare function riddleProofSemanticScopesEqual(left: RiddleProofSemanticScope, right: RiddleProofSemanticScope): boolean;
 declare function createRiddleProofSemanticCertificate<Observation>(input: CreateRiddleProofSemanticCertificateInput<Observation>): RiddleProofSemanticCertificationResult;
 declare function parseRiddleProofSemanticCertificate(value: unknown): RiddleProofSemanticCertificate;
+declare function matchRiddleProofSemanticCertificate(input: MatchRiddleProofSemanticCertificateInput): RiddleProofSemanticCertificateMatchResult;
 declare function composeRiddleProofSemanticCertificates(input: ComposeRiddleProofSemanticCertificatesInput): RiddleProofSemanticCompositionResult;
+declare function validateRiddleProofSemanticCertificateClosure(value: unknown): RiddleProofSemanticCertificateClosureValidationResult;
+declare function createRiddleProofSemanticAtomicCertificateClosure(input: CreateRiddleProofSemanticAtomicCertificateClosureInput): RiddleProofSemanticCertificateClosureValidationResult;
+declare function composeRiddleProofSemanticCertificateClosures(input: ComposeRiddleProofSemanticCertificateClosuresInput): RiddleProofSemanticCertificateClosureCompositionResult;
+declare function matchRiddleProofSemanticCertificateClosure(input: MatchRiddleProofSemanticCertificateClosureInput): RiddleProofSemanticCertificateClosureMatchResult;
 
-export { type ComposeRiddleProofSemanticCertificatesInput, type CreateRiddleProofSemanticCertificateInput, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, type RiddleProofSemanticCertificate, type RiddleProofSemanticCertificationResult, type RiddleProofSemanticClaim, type RiddleProofSemanticClaimRef, type RiddleProofSemanticCompositionDerivation, type RiddleProofSemanticCompositionError, type RiddleProofSemanticCompositionResult, type RiddleProofSemanticContract, type RiddleProofSemanticContractDerivation, type RiddleProofSemanticContractError, type RiddleProofSemanticContractRef, type RiddleProofSemanticContractRejected, type RiddleProofSemanticDerivation, type RiddleProofSemanticEvidenceBundle, type RiddleProofSemanticEvidenceRef, type RiddleProofSemanticPremise, type RiddleProofSemanticPremiseCountMismatch, type RiddleProofSemanticPremiseMismatch, type RiddleProofSemanticRule, type RiddleProofSemanticRuntimeContract, type RiddleProofSemanticScope, type RiddleProofSemanticScopeField, type RiddleProofSemanticScopeMismatch, composeRiddleProofSemanticCertificates, createRiddleProofSemanticCertificate, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual };
+export { type ComposeRiddleProofSemanticCertificateClosuresInput, type ComposeRiddleProofSemanticCertificatesInput, type CreateRiddleProofSemanticAtomicCertificateClosureInput, type CreateRiddleProofSemanticCertificateInput, type MatchRiddleProofSemanticCertificateClosureInput, type MatchRiddleProofSemanticCertificateInput, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION, RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION, type RiddleProofSemanticAssurance, type RiddleProofSemanticCertificate, type RiddleProofSemanticCertificateAssuranceMismatch, type RiddleProofSemanticCertificateClaimMismatch, type RiddleProofSemanticCertificateClosure, type RiddleProofSemanticCertificateClosureCertificateInvalid, type RiddleProofSemanticCertificateClosureCompositionError, type RiddleProofSemanticCertificateClosureCompositionResult, type RiddleProofSemanticCertificateClosureConstructionFailed, type RiddleProofSemanticCertificateClosureCycle, type RiddleProofSemanticCertificateClosureDanglingPremise, type RiddleProofSemanticCertificateClosureDuplicateId, type RiddleProofSemanticCertificateClosureIdCollision, type RiddleProofSemanticCertificateClosureInputInvalid, type RiddleProofSemanticCertificateClosureInvalid, type RiddleProofSemanticCertificateClosureMatchError, type RiddleProofSemanticCertificateClosureMatchResult, type RiddleProofSemanticCertificateClosurePremiseMismatch, type RiddleProofSemanticCertificateClosureRootMissing, type RiddleProofSemanticCertificateClosureUnreachable, type RiddleProofSemanticCertificateClosureValidationError, type RiddleProofSemanticCertificateClosureValidationResult, type RiddleProofSemanticCertificateIdMismatch, type RiddleProofSemanticCertificateInvalid, type RiddleProofSemanticCertificateMatchError, type RiddleProofSemanticCertificateMatchResult, type RiddleProofSemanticCertificateMatchScopeMismatch, type RiddleProofSemanticCertificationResult, type RiddleProofSemanticClaim, type RiddleProofSemanticClaimExpectation, type RiddleProofSemanticClaimRef, type RiddleProofSemanticCompositionDerivation, type RiddleProofSemanticCompositionError, type RiddleProofSemanticCompositionResult, type RiddleProofSemanticContract, type RiddleProofSemanticContractDerivation, type RiddleProofSemanticContractError, type RiddleProofSemanticContractRef, type RiddleProofSemanticContractRejected, type RiddleProofSemanticDerivation, type RiddleProofSemanticEvidenceBundle, type RiddleProofSemanticEvidenceRef, type RiddleProofSemanticPremise, type RiddleProofSemanticPremiseCountMismatch, type RiddleProofSemanticPremiseMismatch, type RiddleProofSemanticPremiseSnapshotField, type RiddleProofSemanticRule, type RiddleProofSemanticRuntimeContract, type RiddleProofSemanticScope, type RiddleProofSemanticScopeField, type RiddleProofSemanticScopeMismatch, composeRiddleProofSemanticCertificateClosures, composeRiddleProofSemanticCertificates, createRiddleProofSemanticAtomicCertificateClosure, createRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificate, matchRiddleProofSemanticCertificateClosure, parseRiddleProofSemanticCertificate, riddleProofSemanticScopesEqual, validateRiddleProofSemanticCertificateClosure };

package/dist/semantic-certificate.js

@@ -1,15 +1,29 @@
 import {
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES,
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
   RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION,
+  composeRiddleProofSemanticCertificateClosures,
   composeRiddleProofSemanticCertificates,
+  createRiddleProofSemanticAtomicCertificateClosure,
   createRiddleProofSemanticCertificate,
+  matchRiddleProofSemanticCertificate,
+  matchRiddleProofSemanticCertificateClosure,
   parseRiddleProofSemanticCertificate,
-  riddleProofSemanticScopesEqual
-} from "./chunk-ZZ6UNKJQ.js";
+  riddleProofSemanticScopesEqual,
+  validateRiddleProofSemanticCertificateClosure
+} from "./chunk-AQTCU6W5.js";
 import "./chunk-MLKGABMK.js";
 export {
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES,
+  RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
   RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION,
+  composeRiddleProofSemanticCertificateClosures,
   composeRiddleProofSemanticCertificates,
+  createRiddleProofSemanticAtomicCertificateClosure,
   createRiddleProofSemanticCertificate,
+  matchRiddleProofSemanticCertificate,
+  matchRiddleProofSemanticCertificateClosure,
   parseRiddleProofSemanticCertificate,
-  riddleProofSemanticScopesEqual
+  riddleProofSemanticScopesEqual,
+  validateRiddleProofSemanticCertificateClosure
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.8.82",
+  "version": "0.8.84",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",