A.2:4.2 - Evaluate Membership without a Circular Shortcut

Each membership clause names the candidate feature’s subject pattern, predicate or governed feature, applicability, dependencies, and slice. The classification has four explicit inputs:

J(candidateSystem, systemRoleKind, kindSignatureEdition, contextSlice)
  -> true | false | unknown

An assignment may be one feature only when the local KindSignature explicitly uses that independently obtaining assignment predicate. There is no family-wide rule that assignment means membership. The judgment being computed, a broader-kind judgment, an extension row, or the proposed U.SubkindOf occurrence cannot be a premise of the same judgment.

For an admissible candidate and slice, a known failed criterion gives false; missing support for a required feature or an unavailable dependency gives unknown. Evidence supports a claim about the governed feature; it does not create that feature or the membership result.

Every U.SubkindOf proposal evaluates the aligned narrower and broader signatures independently for the same candidate and slice. Admit the order only when the C.3.1 monotonicity condition holds. The edge records an already established implication; it never produces either classification judgment.