mate

The mate filter matches a position in which one side has been checkmated:
  mate

Examples

The mate filter occurs in examples: idealmate.cql, mirrormate.cql, modelmate.cql, persistent.cql, puremate-simple.cql.

A sample mirror mate is from an Arestov study, found from the file mirrormate.cql

Arestov 2013, after 10. h8=N#
(found from CQL file: mirrormate.cql)