import type { RunnerDeps } from "../types.js";
import type { RunInternals } from "./contracts.js";
/** Runs on the caller's own argument at `new Runner` (the only point that still sees an inherited seat — construction then
 *  reads every own seat once into the plain copy the Runner keeps, `retainRunnerDeps`), and again in the pre-first-await
 *  config-doors phase and pre-CAS on a resume. */
export declare function assertNoRetiredRunnerDeps(deps: RunnerDeps): void;
/** The resume ladder's pre-claim door over the inherited constraints a resume is handed: a retired member of one refuses before
 *  the claim (a refusal after it would burn the token on a store without `reopen`). The deps' retired seats and the caller
 *  policies' retired members are the config-door phase's, which a resume enters before the claim (`refuseResumeDoors`). */
export declare function assertNoRetiredInheritedConstraints(internals: RunInternals | undefined): void;