>> The one-at-a-time method works if you do it just after the mirroring while in the same session, but not with the saved + reloaded file.

But even in the same session, it doesn't work if you move the cube before the booelan.

btw looks like filleting the mirrored box (at once) don't work either.

not sure if it helps to track the bug :)