Fun question. Say the reach of a program is the set of all problems it can solve or help solve (whether anyone knows, or whether the problems exist yet). All of that program's possible outputs together comprise the implication space -- it sounds like "codomain" is actual term. The instantiation of each item in the codomain is an occurrence of my "inferential novelty". The codomain is implicit in a program when it is created, but not all of that output will help solve problems. The program's reach is the subset that does.

Fun question. Say the reach of a program is the set of all problems it can solve or help solve (whether anyone knows, or whether the problems exist yet). All of that program's possible outputs together comprise the implication space -- it sounds like "range" is the actual term. The instantiation of each item in the range is an occurrence of my "inferential novelty". The range is implicit in a program when it is created, but not all of that output will help solve problems. The program's reach is the subset that does.