Auditor SDK

pip install enfinitos-sdk-auditor

from enfinitos_auditor import EnfinitOSAuditor

auditor = EnfinitOSAuditor(verification_key_source="platform")  # or "local" with local_keys

# Single proof pack: signatures + canonicalisation + chain.
report = auditor.verify_proof_pack(pack)
if report.status != "VALID":
    for step in report.steps:
        if step.status == "INVALID":
            print(f"[{step.reason}] {step.target}: {step.message}")
    raise SystemExit("Verification failed")

# Chain-walk only (continuity, genesis-null, issued_at ordering):
chain = auditor.verify_proof_chain(pack.records)
if chain.status != "VALID":
    raise SystemExit("Chain broken")

cargo add enfinitos-sdk-auditor

use enfinitos_auditor::{Auditor, AuditBundle, AuditStepStatus};

// Offline-first: feed in the pinned verification key set you control.
let auditor = Auditor::new(keys); // Vec<VerificationKey>

// Chain-walk only (continuity, genesis-null, issued_at ordering).
// The second argument anchors cross-pack continuity: None for a
// tenant's first pack, Some(prior_tail_after_hash) for later packs.
let chain = auditor.verify_proof_chain(&pack.records, None);
if chain.status != AuditStepStatus::Valid {
    eprintln!("Chain broken");
}

// Full pipeline: signatures + chain + metering + settlement.
// prior_after_hash (new in 0.0.4) anchors a later pack in a tenant's
// sealed series; None asserts this is the tenant's first pack.
let report = auditor.verify_all(&AuditBundle {
    pack,
    metering: None,
    settlement: None,
    prior_after_hash: None,
});
if report.status != AuditStepStatus::Valid {
    for s in &report.pack.steps {
        if s.status == AuditStepStatus::Invalid {
            eprintln!("[{:?}] {}: {}", s.reason, s.target, s.message);
        }
    }
    std::process::exit(1);
}