What an output proves, and what "success" does not

A 502 clears three facts and no more, Active: active sits next to disabled, and df and du contradict each other without either being wrong.