/**
 * Async counting semaphore for limiting concurrent operations.
 * Used by VerificationHarness to prevent resource exhaustion when
 * multiple goals verify simultaneously.
 */
export declare class Semaphore {
    private _value;
    private readonly _capacity;
    private _waiters;
    constructor(initial: number);
    get available(): number;
    get waiting(): number;
    acquire(): Promise<void>;
    release(): void;
}
//# sourceMappingURL=semaphore.d.ts.map