A.2.5:6.3 - Socially Constituted Credential State

A clinician holds one exact assignment whose local kind is ProcedureOperatorSystemRole. Predicate CredentialCurrentForProcedure-X depends on an accepted credential decision, its validity interval, and absence of a suspending decision.

The accepted decision relation helps constitute the predicate because the credential ontology says so. A certificate publication may evidence that decision but does not substitute for it. The state occurrence still has the assignment and predicate as participants; evidence and publication remain neighboring relations.