Comment by ahartmetz

    /// Rule: every block leaves exactly as long as it arrived, whatever
    /// is being held back, or the output would run short.

Uhm yeah, that is "literally what" territory.