import type { FlightReferenceSet } from "./run-flight-ledger.js";
export declare const ACCEPTANCE_COMPILER_VERSION: "0.1";
export declare const MAX_ACCEPTANCE_COMPILE_ITEMS = 64;
export declare const MAX_ACCEPTANCE_COMPILE_GAPS = 128;
export interface AcceptanceCompileItem {
    readonly acceptance_id: string;
    readonly observable_criterion: string;
}
export interface AcceptanceCompileValidation {
    readonly validation_id: string;
    readonly unit_id: string;
    readonly command_fingerprint: string;
    readonly references: FlightReferenceSet;
}
export interface AcceptanceCompileCoverage {
    readonly acceptance_id: string;
    readonly unit_id: string;
    readonly validation_ids: readonly string[];
}
export interface AcceptanceCompileProposal {
    readonly version: typeof ACCEPTANCE_COMPILER_VERSION;
    readonly provenance: {
        readonly producer: "dog-coordinator";
        readonly acceptance_fingerprint: string;
        /** The capsule producer, not this compiler, is responsible for excluding secrets from capsule input. */
        readonly capsule_inputs_exclude_secrets: true;
    };
    /** Identifier boundary for later binding to LunaFabricUnit; scope/dependency data stays in the DAG contract. */
    readonly unit_ids: readonly string[];
    readonly declared_capsule_ids: readonly string[];
    readonly acceptance_items: readonly AcceptanceCompileItem[];
    readonly validations: readonly AcceptanceCompileValidation[];
    readonly coverage: readonly AcceptanceCompileCoverage[];
}
export type AcceptanceCompileGapCode = "malformed_proposal" | "duplicate_acceptance_id" | "duplicate_unit_id" | "duplicate_validation_id" | "duplicate_coverage" | "unknown_acceptance_id" | "unknown_unit_id" | "unknown_validation_id" | "validation_unit_mismatch" | "undeclared_capsule" | "validation_evidence_missing" | "uncovered_acceptance";
export interface AcceptanceCompileGap {
    readonly code: AcceptanceCompileGapCode;
    readonly pointer: string;
    readonly acceptance_id: string | null;
    readonly unit_id: string | null;
    readonly validation_id: string | null;
}
export interface AcceptanceCoverageMapEntry {
    readonly acceptance_id: string;
    readonly unit_id: string;
    readonly validation_ids: readonly string[];
    readonly references: FlightReferenceSet;
}
interface CompileResultBase {
    readonly proposal_id: string;
    readonly acceptance_fingerprint: string | null;
}
export type AcceptanceCompileResult = (CompileResultBase & {
    readonly status: "accepted";
    readonly plan_id: string;
    readonly coverage_map: readonly AcceptanceCoverageMapEntry[];
    readonly gaps: readonly AcceptanceCompileGap[];
}) | (CompileResultBase & {
    readonly status: "rejected";
    readonly plan_id: string;
    readonly coverage_map: readonly AcceptanceCoverageMapEntry[];
    readonly gaps: readonly AcceptanceCompileGap[];
});
/** Deterministic schema/semantic compiler. It performs no natural-language inference, dispatch, or user interaction. */
export declare function compileAcceptanceCoverage(value: unknown): AcceptanceCompileResult;
export {};