Function admit 

pub fn admit(stats: &QueueStats, item: &ItemMeta) -> Admission

Decides whether the queue admits one more item. Pure and total: depth + cost <= capacity admits; checked arithmetic, overflow sheds (fail-closed). Shedding refuses new items only — starving what is already queued is a liveness property and citysim’s to assert.