hidden states: LEFT / REST / RIGHT · observation: weighted event-flow proxy · inference: α-recursion in log-space