A.2.8:4.1 - Direct Participants and Predicate Parameters
One U.Commitment occurrence has:
- exactly one actual duty bearer, expressed by either
dutyBearerSystemRef : U.EntityRef constrained to an admitted U.Systemor a separately governed localdutyBearerPartyRef : PartyRef; - a non-empty exact set of duty referents stating the action, avoidance, outcome, promise content, claim, or other governed object to which the duty applies; and
- optional actual counterparties or beneficiaries when the duty is owed to someone.
Exactly one duty-bearer branch is filled. A system-role kind, classification judgment, assignment occurrence, organizational-position label, publication, policy, or claim record is not the bearer.
The normalized modality is a by-value predicate parameter:
DeonticModalityToken ::= MUST | MUST_NOT | SHOULD | SHOULD_NOT
SHALL and REQUIRED map to MUST; SHALL NOT and PROHIBITED map to MUST_NOT; RECOMMENDED maps to SHOULD; and NOT RECOMMENDED maps to SHOULD_NOT only after the source claim has been recovered as a duty. MAY and OPTIONAL do not normalize into U.Commitment; route their current meaning to A.2.8.PER, an admissibility predicate, or ordinary prose.
Scope and validity delimit applicability. Duty referents are cited by exact identifiers when they already exist. Useful duty referents include a claim, an instance of U.PromiseContent, an action or outcome specification, an admitted Method, or an already identified Work occurrence when the duty concerns that occurrence. A MethodDescription is cited only when the duty depends on claims in that exact episteme edition; description is not mandatory indirection to the Method.
The current normative policy or prescription, its constitutive rule, the actual instituting basis, provenance, and adjudication evidence are grounds or qualifiers. They are not extra duty bearers and do not become deontic participants by appearing in a record.