import type { EffortHint } from "@claudexor/schema";
/**
 * Effort resolution against VENDOR-ordered ladders. There is no static rank
 * table anywhere in this repo: a level's rank is its position in the ladder the
 * vendor itself advertised (a model's own ordered list, or the harness's merged
 * ladder — `mergeEffortLadders` in the schema package). Ranking is NOT
 * permission: what a run may actually use is whatever the resolved (harness,
 * model) ADVERTISES, so a level newer than this repo passes through untouched
 * the moment the vendor ships it.
 */
/**
 * Outcome of resolving a requested effort against an advertised vocabulary.
 * `rejected` carries actionable text naming what IS advertised — an unknown
 * level is never silently downgraded into something we merely guessed at.
 */
export type EffortCheck = {
    status: "ok";
    effort: EffortHint | null;
    clamped: boolean;
} | {
    status: "rejected";
    message: string;
};
/**
 * Resolve a requested reasoning-effort level against the levels a specific
 * (harness, model) advertises. THE single owner of effort semantics; every
 * surface (adapters, settings writes, preflight) resolves through it.
 *
 * `advertised` is what the resolved target accepts (the model's own ordered
 * list, or the harness ladder when the model recorded none). `ladder` is the
 * rank authority for clamping: the harness's MERGED vendor order, so a level
 * one sibling model advertises can clamp onto what THIS model accepts (`ultra`
 * on gpt-5.4 → `xhigh`, because the merged codex ladder places `ultra` above
 * it). It defaults to `advertised` itself — the degenerate case where nothing
 * beyond the target's own order is known, including a harness whose models'
 * orders CONTRADICT each other: pass `advertised` there, which makes
 * cross-model clamping impossible by construction and refuses instead of
 * inventing an order.
 *
 * - nothing requested → ok, no effort (pass no flag).
 * - `advertised` empty → ok, no effort: effort is not a tunable surface here, so
 *   the caller discloses it as ignored (INV-105) instead of clamping to a guess.
 * - requested IS advertised → PASS THROUGH VERBATIM. This is what makes a
 *   future vendor level work with no Claudexor change.
 * - requested is not advertised but the LADDER places it → CLAMP to the nearest
 *   advertised level by ladder position (ties resolve to the cheaper one).
 * - requested is unknown to the ladder too → REJECT, naming the advertised
 *   set. We cannot place it, so any "nearest" would be invented.
 */
export declare function resolveEffort(requested: EffortHint | null | undefined, advertised: readonly EffortHint[], ladder?: readonly EffortHint[]): EffortCheck;
/**
 * Map a requested effort onto a level the resolved (harness, model) accepts, or
 * null when none should be sent. Thin translational wrapper over `resolveEffort`
 * for arg builders, which must never emit a level the vendor would reject: a
 * rejection yields null (send NO flag, keep the vendor default) rather than a
 * fabricated downgrade. Surfaces that can talk back to the user call
 * `resolveEffort` and report its `message`.
 */
export declare function normalizeEffort(requested: EffortHint | null | undefined, advertised: readonly EffortHint[], ladder?: readonly EffortHint[]): EffortHint | null;
//# sourceMappingURL=effort.d.ts.map