import type { ProjectReadBoundary } from "../io/bootstrap-write-boundary.js"; import type { ProjectReadSnapshot } from "../io/project-read-snapshot.js"; export type ClosureVerification = "failed" | "not-run" | "passed" | "unknown"; export type ClosureVerificationSummary = { readonly evidenceRef?: string; readonly reason: string; readonly verification: ClosureVerification; }; export declare function readClosureVerification(projectDir: string, boundary?: ProjectReadBoundary, snapshot?: ProjectReadSnapshot): ClosureVerificationSummary;