spec coverage: report % complete