Execution domain badges on specs.