Exact and conservative remaining charge
Abstract
Actual-source Strong from physical reserves
For the actual centered old and enlarged sources, charge is twice the old source minus the enlarged source. Every positive physical occurrence has nonnegative charge and shadow. The four shadow block sums and four negative endpoints realize the reserve criterion. The exact version retains remaining charges A-1-v0, A-Z-1+v2 and A-(TZ+T+1)+v3+(Z+1)w in the three upper reserve bounds. Replacing each by its upper bound A yields the conservative criterion. Both forms control every natural prefix of the actual physical masked word.