C.3.4:2 - Context
C.3.1 governs kind identity and subkind relations; C.3.2 governs candidate admissibility and classification judgment. A.2.6 governs a claim’s declared scope. A procedure may still tailor use for a compliance procedure, product line, or cohort without changing the kind.
Three objects remain distinct:
KindUseAdaptationDeclarationstates one named use of a base kind.KindUseAdaptationJudgmentis the three-valued result for one admissible candidate under pinned declaration and signature editions.KindUseAdaptationCorrespondenceDeclarationrecords how one exact source declaration corresponds to one exact target declaration when their constraints or vocabulary bindings differ.
The third object is a C.2.1 declaration episteme. Its effective scheme makes source, target, and rule designations interpretable. It is not an executable adapter, mapping Method, representation correspondence, obtaining F.9 relation, KindBridge, or target judgment.