Run python independent258.py. Supplied states/certificates are included; no external imports. Scope: finite saturation and one-exchange/refill geometry only.
