A finite world the analyst can name.
A declared, typed set of objects — branches, evidence classes, reasoning patterns, artifacts. Nothing implicit. Nothing hidden. If the ontology cannot name it, the analyst cannot claim it, and the reviewer will not be asked to accept it.