import type { SliceCheckOptions, SliceCheckResult } from './slice-check-types.js';
/**
 * 2026-09-10 D1-follow-up (G5): `tsconfig.build.json` is the type contract the
 * package actually ships (`src/**` only) and it is clean, so the typecheck
 * stage GATES on it. The wider `tsconfig.json` adds `tests/**`, which still
 * carries errors this slice did not cause — 142 as measured on 2026-09-10
 * (`pnpm exec tsc -p tsconfig.json --noEmit 2>&1 | grep -c "error TS"`), all
 * of them under `tests/`, none under `src/`. That count is therefore a
 * baseline, not a gate: the stage fails only when it GROWS, which is the
 * question "did this slice add a type error anywhere?". Re-measure and update
 * this constant when the residue is paid down.
 */
export declare const TYPECHECK_PREEXISTING_BASELINE = 142;
/** Named code for "the CLI this stage needs is not installed". */
export declare const BINARY_UNRESOLVED_CODE = "SLICE_CHECK_BINARY_UNRESOLVED";
export declare function sliceCheck(options: SliceCheckOptions): Promise<SliceCheckResult>;