import type { SemanticFactManifestV1 } from "./semantic-fact-types.js";
export declare function validateSemanticFactProofClosure(manifest: SemanticFactManifestV1): void;