Model check findings
Type to filter or open a column's choices to select several values. Module branches ending in :*
include all descendant modules. Use a column's menu to hide it or show all columns.
More complete diagnostic records and evidence are available locally on the build
machine (not published), at repository-relative path .