Non-negotiable properties
- Policy-rejected jobs remain visible and unlocked.
- The lease is written by the same statement or Lua script that claims the job.
- Store time controls refill, scheduling, and lease expiry.
- Candidate selection draws per partition so one flooding tenant cannot hide quiet ones.
- Fairness is work-conserving: spare capacity never idles to punish a noisy tenant.
- Rate-limited work is requeued without consuming an attempt.
PostgreSQL uses one admission query, MySQL uses its matching atomic transaction path, and
Redis uses one Lua script. Their behavior is compared by cross-language conformance.