import type { ArtifactBundle } from "../io/artifacts.js";
import type { Ceiling, CharterKind } from "audit-tools/shared";
/**
 * Per-kind charter-extraction LANE prompts (Phase C.1). The host supplies
 * JUDGMENT (a self-organized leveled teleology per lane, in TELOS terms) while
 * the tool supplies ENFORCEMENT (packet feeding, universe grounding, the
 * file-set-overlap join, id assignment, the Phase-A True gate, per-lane kind
 * purity) at ingest.
 *
 * Channel purity is a property of the INPUT (design resolution 4): each lane's
 * prompt points at a tool-materialized evidence PACKET holding only that
 * channel's material (stated → docs + extracted comments; structural → tree /
 * edges / declarations; revealed → comment-stripped bodies), so blindness never
 * depends on an agent obeying a "do not read X" instruction. `true` is NOT a
 * lane — it is nominated by the independent delta miner at the deepest rung,
 * downstream of triangulation. Lane prompts are ADVANCE-FREE (no
 * continue-command).
 */
/** The three estimator kinds — every extraction lane; never `true`. */
export type EstimatorCharterKind = Exclude<CharterKind, "true">;
/**
 * The extraction kinds a run's ceiling requests, in canonical order. The three
 * estimator channels extract at every charter-authorizing ceiling; `deepest`
 * changes what the MINER may do (True nominations), never the lane set.
 */
export declare function charterExtractionKindsForCeiling(_ceiling: Ceiling): EstimatorCharterKind[];
/**
 * Render ONE kind's lane prompt. The lane is blind by construction: it carries
 * only its own kind's definition, its materialized evidence packet, and its
 * submission path.
 */
export declare function renderCharterKindLanePrompt(bundle: ArtifactBundle, opts: {
    kind: EstimatorCharterKind;
    submissionPath: string;
    packetPath: string;
}): string;
//# sourceMappingURL=charterExtractionPrompt.d.ts.map