We present a discrete substrate model in which several dynamical rules that are ordinarily postulated are instead theorems. Units are pairs of differentiation counts; only the count difference is observable; equal counts are indistinguishable from absence. From the single move “differentiate a slot” we prove: an unobservable, strictly monotone total (an arrow-of-time residue); an observable ±1 walk (an oscillation sector); and annihilation upon equalization (a failure mechanism), with the residue–annihilation identity holding exactly in simulation.
Tae Morgan (Fri,) studied this question.