/**
 * Reject an unusable evidence kind before the first agent is spawned.
 *
 * `evidence()` is by construction near the end of a workflow, so an invalid
 * kind throws after every agent has finished. Measured: a fifty-minute run with
 * three completed agents died at its final line on `kind: "design"`, reported
 * `work_failed`, and burned an attempt. The work survived only because it had
 * already been written to the tree; nothing in the proof could recover it.
 *
 * A workflow's evidence kinds are usually written literally, and a literal is
 * checkable by reading the file. Where a kind is computed the scan says nothing
 * and the existing runtime validation still applies — a partial check that
 * costs one file read is worth more than a complete one nobody can implement.
 */
export interface EvidencePreflightProblem {
    kind: string;
    line: number;
}
/** Every literal `evidence({ kind: … })` in this source whose kind is not in the
 * vocabulary. Computed kinds are invisible here, by design. */
export declare function findInvalidEvidenceKinds(source: string): EvidencePreflightProblem[];
/** The thrown message, or undefined when the script is clean or unreadable. */
export declare function evidencePreflightError(source: string, scriptPath: string): string | undefined;
//# sourceMappingURL=evidence-preflight.d.ts.map