Спасибо всем за помощь! Колеблюсь между:
1) сoverer (потому что, например, cover используется для описания покрытия плоскости многоугольниками, т.е. оно ещё и абстрактно)
2) Какой-нибудь compactificater, по аналогии превращение множества/пространства в компакт: https://en.wikipedia.org/wiki/Compactification_(mathematics) / https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BC%D0%BF%D0%B0%D0%BA%D1%82%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F
3) Sealer выглядит очень красиво и по всем параметрам вроде бы подходит.
4) Patch, однако, добавляет изумительно подходящие смысловые оттенки. Но выглядит, если я правильно понимаю, по основному "смысловому назначению" слабее, чем seal. То есть, patch просто чем-то забахать дыры, а seal - это прям намертво и непроницаемо.

Итого я по сумме склоняюсь скорее к компромиссному sealer.