I agree with others that “comptime parameter” feels more appropriate than “spec”.
My preferred term is actually “static parameter” because we are talking about the distinction between the static and dynamic parts of a program. However, that term would best be paired with the keyword static and Modular didn’t like my suggestion to use static in place of comptime.
So “comptime parameter” is the next best thing.