C.3:4 - Four Objects and a Pre-judgment Check
Keep these four objects separately recoverable:
| Object | Meaning | Subject pattern |
|---|---|---|
U.Kind individual and any U.SubkindOf facts | One intensional classification distinction, recovered through its candidate domain, operative membership condition, intended member/non-member boundary, and continuity rule. U.SubkindOf facts form a preorder; mutually obtaining facts state classification equivalence for the declared alignment and do not merge kind identities. | C.3, C.3.1, and accepted E.24.UK results for U.Kind and U.SubkindOf |
KindSignature | One U.Signature declaration episteme whose exact EntityOfConcern is the kind and whose claim content declares candidate ValueKind, criterion, applicability, reference scheme, assumptions, dependencies, formality, and any current ExtentRule. | C.3.2, A.6.0, and C.2.1 |
| classification judgment | One evaluation for an admissible exact candidate, kind, signature edition, and context slice with result true, false, or unknown. It is not a direct relation occurrence by default. | C.3.2 |
KindExtension(k, slice) | An optional set-valued representation of candidates whose admissible judgment is true for the fixed signature edition and slice. | C.3.2, with C.29 when the representation changes a claim-bearing use |
Before the judgment, C.3.2 returns admissible or not-applicable. Candidate mismatch with the declared ValueKind, or a slice outside declared applicability, is not-applicable and no three-valued judgment is formed. Missing support or an unavailable dependency for an admissible candidate instead yields unknown.
Scope is not a fifth part of the kind. A KindSignature episteme may carry its own U.ClaimScope, and a separate classification assertion carries the scope of that assertion. The U.ContextSlice is an evaluation input.