User-State Verification in Conversational Commerce: Detecting Journey Hallucinations via Trace Invariants. - Diogo Carvalho; Senka Krivic; Timothy Tang; Salman Ahmad (UMAP, 2026)