C.3.4:6.1 - Definition and Shape

KUA-01 (Definition). A KindUseAdaptationDeclaration SHALL be a named, versioned C.2.1 declaration episteme with exact base kind as EntityOfConcern, effective scheme, pinned base signature, receiving use, adaptation type, candidate constraints, vocabulary bindings, applicability, dependencies, intended guard use, and separate scope expectations. Its formality characterizes the episteme.

KUA-02 (Not a new kind). A declaration MUST NOT introduce a kind or subkind fact. Stable refinement requires an independently recovered kind and C.3.1 obtaining test.

KUA-03 (Admissibility before judgment). Fixed candidate, kind, base-signature edition, adaptation-declaration edition, and slice first yield admissible or not-applicable. Only an admissible request yields true, false, or unknown; implicit latest and guard-result coercion are forbidden.

KUA-04 (Adaptation type). A vocabulary declaration preserves the base judgment. Constraint and composite declarations use governed candidate conditions: any known false gives false, all known true gives true, and unresolved required facts give unknown.