import type { ResolvedMachineDef } from "../core/dsl.js";
import { type VerificationCertificate } from "./compare.js";
import { type GeneratedPaths } from "./generate.js";
export declare const verifyGeneratedMachineArtifacts: (machine: ResolvedMachineDef, generated: GeneratedPaths) => Promise<VerificationCertificate>;