設計/製造モデルに対して完成時の建設の点群を分析し、許容範囲外の作業にフラグを立てる建設検証ソフトウェア