/**
 * Phase 3 — `--since` delta scope.
 *
 * `scope.json` records how the audit was scoped for a given run: a full audit
 * (the default), or a delta audit measured against a git ref. In delta mode the
 * orchestrator audits only the changed files (`seed_files`) and their nearest
 * graph neighbours (`expanded_files`); every other auditable file inherits its
 * prior completion or is excluded from this run. The artifact is a deterministic
 * function of the inputs (the ref, the changed files, the graph) so the same
 * inputs always yield the same scope, and it is recorded honestly in the report
 * header and the run log. It sits upstream of `coverage_matrix.json` in the
 * staleness DAG.
 */
import { z } from "zod";
export declare const AuditScopeBudgetSchema: z.ZodObject<{
    /**
     * Upper bound on the number of in-scope files (seeds + expanded). Seeds are
     * always retained; expansion stops once this cap is reached.
     */
    max_files: z.ZodNumber;
}, "strict", z.ZodTypeAny, {
    max_files: number;
}, {
    max_files: number;
}>;
export type AuditScopeBudget = z.infer<typeof AuditScopeBudgetSchema>;
export declare const AuditScopeManifestSchema: z.ZodObject<{
    /**
     * `full` audits every auditable file; `delta` scopes to a changed
     * neighbourhood.
     */
    mode: z.ZodEnum<["full", "delta"]>;
    /** Git ref/SHA the delta was measured against; `null` in full mode. */
    since: z.ZodNullable<z.ZodString>;
    /**
     * Changed auditable files (relative to `since`) that exist in the repo
     * manifest. Empty in full mode. Sorted for determinism.
     */
    seed_files: z.ZodArray<z.ZodString, "many">;
    /**
     * Auditable files pulled in by deterministic priority-frontier expansion over
     * the dependency graph (graph neighbours of the seeds). Sorted for determinism.
     */
    expanded_files: z.ZodArray<z.ZodString, "many">;
    /** The budget applied during expansion. */
    budget: z.ZodObject<{
        /**
         * Upper bound on the number of in-scope files (seeds + expanded). Seeds are
         * always retained; expansion stops once this cap is reached.
         */
        max_files: z.ZodNumber;
    }, "strict", z.ZodTypeAny, {
        max_files: number;
    }, {
        max_files: number;
    }>;
    /**
     * Human-readable note when the scope was truncated by the budget, or when a
     * requested `--since` could not be honoured and the run fell back to full.
     */
    dropped_note: z.ZodOptional<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    budget: {
        max_files: number;
    };
    mode: "full" | "delta";
    since: string | null;
    seed_files: string[];
    expanded_files: string[];
    dropped_note?: string | undefined;
}, {
    budget: {
        max_files: number;
    };
    mode: "full" | "delta";
    since: string | null;
    seed_files: string[];
    expanded_files: string[];
    dropped_note?: string | undefined;
}>;
export type AuditScopeManifest = z.infer<typeof AuditScopeManifestSchema>;
//# sourceMappingURL=auditScope.d.ts.map