import type { VerificationCheck } from "./types.js";
/**
 * Replay Integrity Check
 *
 * Verifies the cryptographic hash-chain and the equality of operational
 * state to replayed state. Also reports aggregate graph correctness.
 */
export declare const checkReplayIntegrity: VerificationCheck;
/**
 * Projection Consistency Check
 *
 * Verifies that cached projections are consistent with their source state
 * and carry required provenance. Also detects forbidden mutable status files.
 */
export declare const checkProjectionConsistency: VerificationCheck;
/**
 * Evidence Referential Integrity Check
 *
 * Verifies that every durable decision points to an existing draft and,
 * for approvals, to an existing certified snapshot.
 */
export declare const checkEvidenceReferentialIntegrity: VerificationCheck;
/**
 * Assertion Provenance Check
 *
 * Verifies that assertions (confidence values, approval reasons) are
 * traceable to durable evidence rather than hand-edited fields.
 */
export declare const checkAssertionProvenance: VerificationCheck;
/**
 * Governance Invariant Check
 *
 * Programmable rules derived from the governance record, layer boundaries,
 * and projection model.
 */
export declare const checkGovernanceInvariants: VerificationCheck;
/**
 * Drift Check
 *
 * Detects divergence between expected and actual state: checkpoints that
 * have moved past the event log, or canonical state that lags events.
 */
export declare const checkDrift: VerificationCheck;
export declare const ALL_CHECKS: VerificationCheck[];