import { type V3LoopExitWhen } from './dag.js';
import type { StoredEvent } from './event-contract.js';
/** Pure loop/conditional predicate evaluation after DAG validation. */
export declare function matchLoopExitWhen(when: V3LoopExitWhen, value: unknown): boolean;
/**
 * Pure two-tier anti-runaway policy for cross-node revisits.
 * Grant events extend exactly one pair or the whole run by one.
 */
export declare function revisitBudgetStatus(events: StoredEvent[], sourceNodeId: string, toNodeId: string): {
    ok: true;
} | {
    ok: false;
    tier: 'pair' | 'run';
    detail: string;
};
//# sourceMappingURL=core-control.d.ts.map