Review evidence and failure behavior

Review the implementation against this contract: Unexplained volume equals inflow minus billed use, authorized flushing, and storage increase. Preserve all units.
Test this domain failure: Supply a storage decrease. The balance must preserve its negative sign.
Check input citations, calculations, and actual tool logs.
Report unsupported claims and unexecuted tests. Do not approve external actions.