ADR-0016 — Database-backed GPU lease coordination

Status: accepted (M5)

GPU admission uses persisted leases and a locked accelerator row. Correctness therefore does not depend on one API process or an in-memory mutex. Server timestamps, expiry and reconciliation make crashed-request reservations recoverable.