The motivation of this question is the following: there are entities in a computer program which can either be explicitly specified, or else they can be "inferred", that is, deduced automatically from other parts of the program without the programmer having to write them down. I need a noun to express that.
Is "specificity" the right noun for the state or the possibility of being specified? The online dictionaries I have consulted seem to give a slightly different meaning: being clear or exact, being narrowly circumscribed instead of general. But that's not quite the meaning I need to convey.
I guess "specifiedness" would be the correct word, but it doesn't seem to exist in dictionaries. "specifiability" does exist, but puts too much emphasis on the potential of being specified, while I want to talk about the current specified or inferred status of the entities in my program. Like: "what's the specifiedness of entities X and Y? —X is specified, while Y is inferred."