A minal high-performance specification-backed stateful object matching engine