mirror of
https://github.com/morluto/rea.git
synced 2026-10-26 17:35:11 +00:00
Duplicate-variant validation keyed each finite trace by its JSON form, which preserves the member order of unordered tokens that matching treats as a multiset. Key traces by the observations they accept instead: sort unordered members and expand a token that repeats one event into that event's sequence, keeping token positions and multiplicities significant. Fixes #5916 Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>