Все сказанное про модификатор Mirror не есть истина. Все работает синхронно и как положено.
Странно, у меня после применения Mirror синхронности не наблюдается.
Еще интересует, после применения Boolean difference при вычитании тела 2 из тела 1, в результате, получается, как будто объединение этих тел, при том, что тело 3 в теле 2 имеет и грани, и вершины, а плоскости только с торцов.
При разных значениях параметра Overlap treshold, изменений нет.
https://pp.userapi.com/c841235/v841235827/3dfe2/68uQONtadg0.jpg