/**
 * combineVerdict fuses the verifier LLM's self-reported verdict with the
 * MEASURED exit codes of diablo's engine-owned gate commands (ADR 0001). The
 * measured exit code has teeth: a green LLM verdict over any non-zero gate is a
 * FAIL, full stop. The LLM verdict can only DOWNGRADE the result (a FAIL/none
 * verdict fails the stage even when the gates pass — the verifier judged the
 * acceptance criteria unmet), never upgrade past a measured failure.
 *
 * The effective rule: PASS iff `llmVerdict === "pass" AND every gate exited 0`.
 * A measured failure is always categorised "implementation" (a code fault the
 * worker can retry), never "plan" — a failing typecheck/test is fixable code,
 * not a broken plan. When no gates are configured, the result falls back to the
 * LLM verdict and `measured` is false, so the caller can warn that the run is
 * LLM-verdict-only rather than silently trusting it.
 *
 * Pure (verdict + outcomes in, decision out) so it is unit-tested directly.
 */
import type { Verdict, VerdictCategory } from "./verdict.ts";
/** The exit code of one gate command run in the worktree. */
export interface GateOutcome {
    command: string;
    exitCode: number;
    /**
     * The command's combined stdout+stderr, when the runner captured it. Used to
     * recognise a "nothing to check yet" failure (ADR 0004) — an early TDD stage
     * whose typecheck/test gate exits non-zero ONLY because no source or test
     * files exist yet. Optional for back-compat: an outcome without it is judged
     * on exit code alone, exactly as before.
     */
    output?: string;
}
export interface MeasuredVerdict {
    verdict: "pass" | "fail";
    /** True when at least one deterministic gate command actually ran. */
    measured: boolean;
    /** On a measured failure, the retryable category (always "implementation"). */
    category: VerdictCategory;
    /** Human-readable reason on a fail (names the failing command + exit code). */
    reason?: string;
}
export declare function combineVerdict(llmVerdict: Verdict, llmCategory: VerdictCategory, gates: readonly GateOutcome[]): MeasuredVerdict;