m/find and m/search

output.txt

twou.centralpark.server.database.migrations-test=> (m/find prod-snapshot {?p {:program/uuid (m/pred some?)} & (m/not {_ {:program-of-study/program (?p)}})} ?p)
17592186059725
twou.centralpark.server.database.migrations-test=> (m/search prod-snapshot {?p {:program/uuid (m/pred some?)} & (m/not {_ {:program-of-study/program (?p)}})} ?p)
()

m/find should return nil here, best as I can understand:

dev=> (m/find prod-snapshot {?p {:program/uuid (m/pred some?)} & (m/not {_ {:program-of-study/program (?p)}})} ?p)
17592186059725

The first part matches:

dev=> (m/find prod-snapshot {_ {:program-of-study/program (?p)}} ?p)
17592186059725

The second part does not:

dev=> (m/find prod-snapshot (m/not {_ {:program-of-study/program (?p)}}) :ok)
nil

The value available inside & is...

dev=> (m/find prod-snapshot {?p {:program/uuid (m/pred some?)} & ?rest} ?rest)
{17592186109750 #:program-of-study{:program (17592186059725)}}
dev=> (def rest-of-map *1)
#'dev/rest-of-map

The negand, substituting the bound value, matches:

dev=> (m/find rest-of-map {_ {:program-of-study/program (17592186059725)}} :ok)
:ok

It's negation, substituting the bound value, fails to match.

dev=> (m/find rest-of-map (m/not {_ {:program-of-study/program (17592186059725)}}) :ok)
nil
dev=>

So the best answer I can think up that would make the behavior correct is if & isn't required to match under m/find. But that doesn't seem to be true:

dev=> (m/find {} {& (m/guard false)} :ok)
nil
dev=> (m/find {} {& (m/guard true)} :ok)
:ok