A payload's per-job pool selection. Defaults to unbounded. Only capped payloads need an instance.

A selective description of the concurrency key for a payload. Evaluation returns the job key. Static inspection returns the reachable pools.

This payload is unbounded.

Cap by a fixed pool, keyed by a per-job suffix (e.g. a tenant id).

Cap by a fixed pool under one shared key (a single global pool).

Concurrency selectByCase. See selectByCase for the totality requirement on k.

Select between two selectors with a job predicate. Policy collection inspects both branches.

A concurrency pool. At most cpLimit jobs share a key under cpPrefix. The default is seeded. An operator override on the pool takes precedence.

A pool named prefix admitting at most limit concurrent jobs per key. The cap is floored at 1. Pause a pool via an override. The prefix must not contain :, the key separator. The migration enforces this.

A pool with its default and override limits plus live key and in-flight stats. The effective cap is override when set, else default.

A single key's in-flight count, its effective cap, and fill fraction.

A patch over a pool's override limit. Nothing leaves it unchanged, Just Nothing clears the override (reverts to the default), Just (Just v) sets it.

Apply a pool's override-limit patch on its policy row, retuning every key under the prefix live. Lowering it does not preempt in-flight jobs until they drain. Returns rows affected.

Override a declared pool's limit for every key under it. Returns rows affected.

Drop a pool's override. Its declared limit applies again. Returns rows affected.

Delete drained concurrency rows with no live job. The reaper runs this.

Recompute the concurrency counts from live jobs, repairing any trigger drift.

List every concurrency pool with its default/override limit and live key and in-flight aggregates.

List a prefix's keys with effective cap and in-flight fill fraction, paginated.