End-to-end acceptance of a git-based CAD tool found a boolean that subtracts a box whose corner sits on a sphere's centre and silently returns the target unchanged while checks pass; a committed release also stays labelled "proposed" after the release branch moves, with no obsolete warning.