Crate vauban_claim_verifier 

vauban-claim-verifier — Forensic verifier for Vauban Claim Algebra.

Implements DX surface VS-4 (S8 spec) and OSS-13 (SNF V2 WP2).

Properties

• Zero Vauban dependency (I-S8-2): does not call any Vauban API or SDK.
• Offline mode: AnchorWitness::offline() skips on-chain anchor check.
• Apache 2.0: fully open-source, auditable, no phone-home.

Quick start

use vauban_claim_verifier::{verify_claim_offline, AnchorWitness};

let claim_cbor: &[u8] = &[/* your CBOR bytes */];
let report = verify_claim_offline(claim_cbor, "draft-vauban-claim-algebra-00").unwrap();
assert!(report.temporal_frame_valid);
println!("{}", serde_json::to_string_pretty(&report).unwrap());

Structs

AnchorWitness

Witness data required to verify a claim’s on-chain anchor.

DelegationLink

A single link in a delegation chain.

EvidenceStep

One step in the evidence verification trace.

ProvenanceChain

Result of verifying a delegation chain (→ operator).

VerificationReport

Result of verifying a Vauban Claim (draft-vauban-claim-algebra-00).

Enums

RevocationStatus

Revocation status of the claim.

VerifyError

All errors that can occur during claim verification.

Functions

claim_hash

Compute the canonical claim hash (SHA-256 of CBOR bytes, hex-encoded).

verify_claim_offline

Verify a CBOR-encoded claim offline (anchor check skipped).

verify_claim_offline_with_pubkey

Verify a CBOR-encoded claim offline with Ed25519 public key.

verify_claim_with_anchor

Verify a CBOR-encoded claim with a full Merkle anchor witness.