C.3.A:2 - Problem

Older guard shorthand used one two-valued “membership defined” question for several different jobs. That erased the exact candidate and signature edition, collapsed unavailable support into known failure, made a refusal look like a classification result, and allowed a record or bridge assertion to manufacture target truth. Method–Work use added another collapse when a JobSlice, capability row, plan, or log was read as the performed Work occurrence.

C.3.A restores two levels:

• declaration level: which exact local kind and KindSignature edition a claim quantifies over, and whether that kind is compatible with the receiver’s expected kind under C.3.1 order or an obtaining KindBridge; and
• candidate-use level: whether one exact target-side candidate satisfies the receiver’s exact declaration in that exact slice, with the claim-kind consequence supplied only by the already established C.3.1 order or obtaining KindBridge.