/**
 * Core verification helpers: verifyTypes + verifyRuntimeBoot.
 *
 * These two functions are the canonical agent-facing evidence-gathering tools
 * for type-safety and runtime-boot validation in the CLEO monorepo.
 *
 * ## `verifyTypes`
 *
 * Runs `tsc -b` (the project-reference composite build — the real
 * cross-package type oracle). Per-package `pnpm build` FALSE-passes
 * cross-package type breaks because esbuild transpiles without checking;
 * only `tsc -b` exercises the full type graph.
 *
 * ## `verifyRuntimeBoot`
 *
 * Performs a cold boot sequence:
 *   1. `node build.mjs` — rebuilds the CLI bundle from source.
 *   2. `node packages/cleo/dist/cli/index.js version` — smoke-boots the
 *      CLI and asserts it exits cleanly.
 *
 * This catches circular-import TDZ (temporal dead-zone) errors that are
 * invisible to both `tsc` and Biome because they are runtime-only
 * phenomena produced by ESM module evaluation order.
 *
 * ## Return contract
 *
 * Both functions return a {@link VerifyResult} with a discriminated
 * `passed` boolean, `durationMs`, and captured `stdout` / `stderr` tails
 * for actionable diagnostics.  Callers MUST check `passed` before treating
 * the output as valid.
 *
 * ## Regression tests captured
 *
 * - `verifyTypes`: dual-ORM-instance type break (two `drizzle-orm` versions
 *   resolve to different instances — tsc catches the shape mismatch; build passes).
 * - `verifyRuntimeBoot`: leaf-hoist TDZ (circular dep between a leaf package
 *   and a re-exported barrel causes the CLI to throw at startup; invisible to tsc).
 *
 * @task T11488
 * @see packages/core/src/tasks/tool-cache.ts — runToolCached (evidence caching layer)
 */
/**
 * The result of a single verification run.
 *
 * @task T11488
 */
export interface VerifyResult {
    /** `true` when the verification step succeeded (exit code 0). */
    passed: boolean;
    /** Process exit code, or `null` if the process could not be spawned. */
    exitCode: number | null;
    /** Trailing stdout captured from the child process (up to 4096 bytes). */
    stdout: string;
    /** Trailing stderr captured from the child process (up to 4096 bytes). */
    stderr: string;
    /** Wall-clock duration in milliseconds. */
    durationMs: number;
    /**
     * Human-readable label identifying which verification step this result
     * belongs to (e.g. `"tsc -b"`, `"node build.mjs"`, `"cleo version smoke"`).
     */
    step: string;
}
/**
 * Result of {@link verifyRuntimeBoot}, which runs two sequential steps.
 *
 * @task T11488
 */
export interface RuntimeBootResult {
    /** `true` when BOTH the build step and the CLI smoke step passed. */
    passed: boolean;
    /** Result for the `node build.mjs` step. */
    buildStep: VerifyResult;
    /** Result for the `node packages/cleo/dist/cli/index.js version` step. */
    cliSmokeStep: VerifyResult;
}
/**
 * Options accepted by {@link verifyTypes} and {@link verifyRuntimeBoot}.
 *
 * @task T11488
 */
export interface VerifyOptions {
    /**
     * Absolute path to the monorepo root (the directory containing `build.mjs`
     * and the root `tsconfig.json`).
     *
     * When omitted the working directory of the calling process is used.
     */
    cwd?: string;
    /**
     * Maximum number of bytes retained from stdout / stderr streams.
     *
     * @defaultValue `4096`
     */
    tailBytes?: number;
    /**
     * Timeout in milliseconds for the child process.  When the timeout
     * expires the child is killed and `passed` is `false`.
     *
     * `verifyTypes` default: `300_000` (5 min — full tsc -b on a cold cache).
     * `verifyRuntimeBoot` default: `120_000` (2 min — covers a cold esbuild run).
     */
    timeoutMs?: number;
}
/**
 * Run `tsc -b` — the cross-package TypeScript type oracle.
 *
 * Per-package `pnpm build` compiles via esbuild (transpile-only) and
 * therefore passes silently when cross-package type breaks exist.  Only
 * `tsc -b` exercises the full composite project-reference graph.
 *
 * Returns a {@link VerifyResult} with `passed: true` iff `tsc` exits with
 * code 0 (no type errors).
 *
 * @param opts - Optional cwd, tail size, and timeout overrides.
 * @returns Structured pass/fail result with diagnostic output.
 *
 * @example
 * ```ts
 * const result = await verifyTypes({ cwd: '/path/to/monorepo' });
 * if (!result.passed) {
 *   console.error('Type errors found:', result.stderr);
 * }
 * ```
 *
 * @task T11488
 */
export declare function verifyTypes(opts?: VerifyOptions): Promise<VerifyResult>;
/**
 * Run a cold monorepo build + CLI boot smoke.
 *
 * Performs two sequential steps:
 *
 * 1. **Build**: `node build.mjs` — rebuilds the CLI bundle from source
 *    (catches bundler/esbuild-level issues).
 * 2. **CLI smoke**: `node packages/cleo/dist/cli/index.js version` — boots
 *    the CLI and asserts a clean exit (catches circular-import TDZ errors
 *    that are invisible to the type checker).
 *
 * The CLI smoke step is skipped when the build step fails (there is no
 * artefact to boot).
 *
 * Returns a {@link RuntimeBootResult} with `passed: true` iff BOTH steps
 * exit with code 0.
 *
 * @param opts - Optional cwd, tail size, and timeout overrides.
 * @returns Structured result containing per-step diagnostics.
 *
 * @example
 * ```ts
 * const result = await verifyRuntimeBoot({ cwd: '/path/to/monorepo' });
 * if (!result.passed) {
 *   if (!result.buildStep.passed) {
 *     console.error('Build failed:', result.buildStep.stderr);
 *   } else {
 *     console.error('CLI boot failed:', result.cliSmokeStep.stderr);
 *   }
 * }
 * ```
 *
 * @task T11488
 */
export declare function verifyRuntimeBoot(opts?: VerifyOptions): Promise<RuntimeBootResult>;
//# sourceMappingURL=verify-tools.d.ts.map