/**
 * `aidlc verify <instance>` — run the project's test command and write a receipt.
 *
 * The command comes only from `verify.command` in `.aidlc/config.yaml`, a file a
 * person commits; never from an argument or the environment. Every refusal writes
 * nothing, so an older receipt is never replaced by a run that did not happen.
 *
 * Requirements: tool-written-test-receipts/AC-4, AC-8, AC-9, AC-10
 *
 * @module
 */
import { Command } from 'commander';
export declare function registerVerify(program: Command): void;
/** @returns The exit code: the test command's, or 1 for a refusal. */
export declare function runVerifyCommand(projectRoot: string, instance: string): Promise<number>;
//# sourceMappingURL=verify.d.ts.map