import type { SpecInput, SpecOutput, SpecStageOptions, Stage } from './spec-types.js';
export declare class SpecStage implements Stage<SpecInput, SpecOutput> {
    private readonly options;
    readonly stageId: "spec";
    private readonly now;
    constructor(options: SpecStageOptions);
    execute(input: SpecInput): Promise<SpecOutput>;
    private mergeConceptDefinitions;
    private buildTerminologyClarifications;
    private openClarifications;
    private toSpecClarification;
    private writeArtifact;
    /**
     * AC-4.40a: Enrich the spec prompt with historical lessons from the ledger.
     */
    private enrichPromptWithLessons;
    /**
     * FR-18 AC-18.3: Decompose endStateGoal into a simple OKR tree.
     */
    private decomposeOkr;
    /**
     * FR-18 AC-18.4: Assign a KR id to an FR via round-robin over available KRs.
     */
    private assignTracesTo;
}
//# sourceMappingURL=spec-stage.d.ts.map