Cool. Asami also does this (it can be turned off), although there isn’t any reporting of which path it uses.
I’m also curious about what you mean by “Rules”. Is this queries built from queries, as Datomic does, or is it about creating new database operations (like assertions) based on existing data, as per Datalog Horn clauses?