Spec coverage reporting.
Reports which components have structural constraints, behavioral specs, or are unconstrained.