approximates logical/coset posterior inference, not only most-likely-error search; merges equivalent boundary states before pruning; is geometry-agnostic at the ...