Paper Formalizes Reasoning Traces as Conditional States · Digg