import type { AdvanceAuditResult } from "../orchestrator/advanceTypes.js";
import type { ArtifactBundle } from "../io/artifacts.js";
import type { EdgeReasoningResults } from "../orchestrator/edgeReasoning.js";
import type { AuditResult } from "../types.js";
import type { AnalyzerSetting } from "audit-tools/shared";
import type { ExternalAnalyzerResults } from "audit-tools/shared";
import type { ExternalAcquisitionAdvanceOptions } from "../orchestrator/acquisitionExecutor.js";
export interface RunAuditStepOptions {
    root: string;
    artifactsDir: string;
    preferredExecutor?: string;
    auditResultsPath?: string;
    /**
     * Already-validated host-handoff results. This is the in-process counterpart
     * to `auditResultsPath`: the zero-adapter host boundary validates and binds
     * each untrusted result before handing the normalized AuditResult objects to
     * the ordinary result-ingestion executor.
     */
    auditResultsData?: AuditResult[];
    runtimeUpdatesPath?: string;
    /** Provide a file path OR an already-parsed object; path is only read when the object is absent. */
    externalAnalyzerPath?: string;
    externalAnalyzerData?: ExternalAnalyzerResults;
    narrativeResultsPath?: string;
    criticalFlowFallbackResultsPath?: string;
    intentEquivalenceVerdictPath?: string;
    charterSubmissionPath?: string;
    charterDeltaSubmissionPath?: string;
    clarificationAnswersPath?: string;
    systemicChallengePath?: string;
    /**
     * Already-validated edge-reasoning rewrites. Parsed + shape-checked by the
     * caller (`handleGraphEnrichmentBranch` tolerant-unwraps or quarantines the
     * submission) — never a raw file path, so no unvalidated cast here.
     */
    edgeReasoningResults?: EdgeReasoningResults;
    analyzers?: Record<string, AnalyzerSetting>;
    graphLlmEdgeReasoning?: boolean;
    externalAcquisition?: ExternalAcquisitionAdvanceOptions;
    since?: string;
    runLog?: boolean;
}
export declare function runAuditStep(options: RunAuditStepOptions): Promise<AdvanceAuditResult>;
/**
 * The CLI batch lane's half of the S7 grounding contract (docs-16): overwrite
 * every finding's `grounding` with the TOOL's own re-check before the payload
 * reaches validation or the ledger.
 *
 * OVERWRITE, not refuse: unlike the host-handoff boundary — whose worker
 * submissions are raw and where a supplied verdict is rejected outright — this
 * lane also carries results a previous ingest already grounded, so a refusal
 * would reject legitimate re-imports. Recomputing is idempotent on those and
 * strips a self-reported verdict from the rest. Runs BEFORE `validateAuditResults`
 * and shape-guards its own traversal, so a malformed payload still fails at the
 * validation gate with its normal message instead of throwing here.
 *
 * Exported so the contract is tested against THIS mechanism directly: the only
 * alternative seam is the multi-minute end-to-end batch-ingest fixture, and a
 * test that cannot reach the code it names is not a guard.
 */
export declare function stampToolComputedGrounding(root: string, results: readonly unknown[]): Promise<void>;
export declare function ingestBatchAuditResults(options: {
    root: string;
    artifactsDir: string;
    batchDir: string;
}): Promise<{
    batchFiles: string[];
    bundle: ArtifactBundle;
    audit_state: {
        status: "blocked" | "complete" | "not_started" | "active";
        obligations: {
            id: string;
            state: "blocked" | "missing" | "satisfied" | "present" | "stale";
            reason?: string | undefined;
        }[];
        last_executor?: string | undefined;
        last_obligation?: string | undefined;
        blockers?: string[] | undefined;
    };
    selected_obligation: string | null;
    selected_executor: string;
    progress_made: boolean;
    artifacts_written: string[];
    progress_summary: string;
    next_likely_step: string | null;
}>;
//# sourceMappingURL=auditStep.d.ts.map