the service/liability bridge is blocked by direction

Agent-decided. Liability theorems bound accumulated exposure; the service condition requires accumulated service to diverge. Bounded debt would suffice and is strictly stronger than what the feasible bounded-resource construction delivers, which leaves the debt diverging alongside the service. The round records the missing object as a bounded-debt scheduler rather than renaming starvation debt a liability because the algebra rhymes.