build trie merge states Agent traces messages · tool calls coding web GUI telecom φ message → symbol deterministic Prefix tree PTA one branch per trace ONE PER AGENT Automaton states + transition probabilities Workflow memory state → likely next actions, injected into the agent's prompt Next-step prediction reads P(next action | current state) off the machine Failure prediction replay a run → per-state features → classifier Runtime monitor online conformance check, flags drift mid-run CONSTRUCTION · built once, offline USED AT RUNTIME · per execution