Two actual inventory consumers
Abstract
Physical source and the literal ear
The common proof derives every packet check from the four actual positive banks, their physical permutation, native masses and actual source signs. Both singleton_actual_source and borrow_actual_source consume proved selector windows. The borrow banks are firstBank; Hybrid(M XOR t); all W plus Hybrid(t XOR u); all X plus Hybrid(u). The singleton banks instead move the one decoded W bit into X. Every original Fin label remains present once. The borrow ear slot is 3 when s=a+1; otherwise it is 1 when Rp<0, 2 when Gp<0, and 3 otherwise. The singleton ear slot is 1 when Rp<0 and 3 otherwise. The common checks cover every old/new seam, every positive-bank peak, and the final zero seam. withEar_split supplies the actual preterminal prefix length and actual_nat_joint_iff supplies OriginalOrder at the original seed. The old row has no fictitious extra occurrence; the pre-fresh new total is -A and its actual fresh occurrence is A.