If the coordinated BIM model has been checked by the Automated Model Checker, will the agencies still perform manual checks?

The Automated Model Checker is targeted to check as many deterministic rules as possible, across multiple agencies. Deterministic rules refer to the geometric, spatial aspects of building elements and spaces. Rules that are not checked in the Automated Model Checker will still be manually checked by the authorities.