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