Function is_commons_discharged 

pub fn is_commons_discharged(pool: u64, cost: u64) -> bool

The obligation is discharged once accumulated compensation meets the cost — the use is then obligation-free (freed globally). Active(Outstanding) → Discharged(ObligationFree).