MoonBit production rule engine (Rete network): cross-fact working memory, incremental propagation, deterministic conflict resolution, auditable execution