Every original occurrence
Abstract
Literal hybrid and singleton-W inventories
The hybrid decoder takes low original U bits and high original V bits. The first bank includes U[s-2]. A W mask is decoded into its original W labels; its weight is never used as the label index. XOR subset partitions and explicit multiset rearrangements prove both complete physical inventory permutations. Positive-label bounds and mask masses are consumed by both actual source constructions. No numeric inequality is substituted for bit inclusion.