execution-specs