-- name: CreateNumericEntitlementUsage :one INSERT INTO core.numeric_entitlement_usage (entitlement_id, pool_id, resource_key) VALUES ($1, $2, $3) RETURNING *; -- name: GetUsageByPoolAndResource :one SELECT * FROM core.numeric_entitlement_usage WHERE pool_id = $1 AND resource_key = $2; -- name: AtomicIncrementUsage :execresult UPDATE core.numeric_entitlement_usage neu SET current_usage = neu.current_usage + 1 WHERE neu.pool_id IN ( SELECT pa.pool_id FROM core.pool_assignments pa WHERE pa.workspace_id = $1 AND pa.is_primary = TRUE AND pa.status = 'active' ) AND neu.resource_key = $2 AND neu.current_usage < ( SELECT ne.resource_limit FROM core.numeric_entitlements ne WHERE ne.entitlement_id = neu.entitlement_id ); -- name: AtomicDecrementUsage :execresult UPDATE core.numeric_entitlement_usage neu SET current_usage = GREATEST(neu.current_usage - 1, 0) WHERE neu.pool_id IN ( SELECT pa.pool_id FROM core.pool_assignments pa WHERE pa.workspace_id = $1 AND pa.is_primary = TRUE AND pa.status = 'active' ) AND neu.resource_key = $2; -- name: ListNumericEntitlementUsageByPoolID :many SELECT * FROM core.numeric_entitlement_usage WHERE pool_id = $1 ORDER BY resource_key ASC; -- name: ListPoolUsageWithLimitsByPoolID :many -- Per-resource usage counters for a pool joined to their materialized -- limit (used vs limit per resource key), for the org-detail pools panel -- (ux-honest-surfaces: "pool status and usage are visible on the -- organization view"). A counter row exists only under a materialized -- numeric entitlement (invariant 9, resource-pools card), so the JOIN -- never orphans. SELECT neu.resource_key, neu.current_usage, ne.resource_limit FROM core.numeric_entitlement_usage neu JOIN core.numeric_entitlements ne ON ne.entitlement_id = neu.entitlement_id WHERE neu.pool_id = $1 ORDER BY neu.resource_key ASC;