Motion library

Batch two extends the same rules: one clear purpose line, replay on demand, and deterministic motion that still reads at rest.