Black is trying to avoid a mating net that forces it into the wrong corner. To build the mating net, the White king should cut the black king off the center first, by controlling the center itself. Black can resist that without getting into a form of a mating net. I thought it might be this position where black has no danger of a mating net and has cut the white king off the center.
[FEN "6BK/5N2/5k2/8/8/8/8/8 w - - 0 1"]
I want to capture the essence of this checkmate without relying on brute force search. Just defining general goals that can be extracted from any position.
I am not asking the technique of mating, just how to express them clearly in a systematic way to a computer.