Specs for models track auditing and code optimization