C.3.2:1 - Problem Frame

A kind can support useful typed reasoning without acquiring its own public U.* label. Its intent may need a reusable declaration, one candidate may need a current judgment, and a query may need a set representation. These are different objects. Before a judgment exists, the candidate must satisfy the declared candidate ValueKind and the slice must lie within declared applicability. Once admissible, the governed condition named by the criterion settles true or false when known; missing support or an unavailable dependency yields unknown.

The rule about evidence is conditional, not lexical. An observation used merely to support a claim does not create an independently governed quality or relation. But a criterion may directly concern an episteme, an obtaining registration or certification relation, a publication occurrence, legal status, or another governed fact. In that case, determine whether that very condition obtains under its direct pattern; calling the same object evidence in another use does not erase its criterion role. This concept-level rule requires no particular ontology language, schema technology, rule engine, or programming type system.