Huczynska–Vatter conjecture on finite bases of monotone grid classes

A monotone grid class is a permutation class defined by a finite grid whose nonempty cells contain monotone permutations. Huczynska–Vatter's conjecture. Every monotone grid class is finitely based. The conjecture concerns monotone grid classes rather than directly addressing lwqo; the source notes that, unlike the geometric case, no nonconstructive proof was known there.