A.6.0:4.3 - Use RelationSignature for reusable relation declaration
RelationSignature is the relation-facing use of one U.Signature. It is not a second U-kind.
Its EntityOfConcernRef identifies one exact already admitted direct relation kind. If A.6.RCD settles a derived relation kind, that kind counts here only after its direct subject settlement states the participant meanings, exact base-definition and named-substrate dependencies, obtaining and applicability laws, and a direct occurrence-identity rule. The derivation or predicate definition may be cited as a dependency, but a predicate-definition episteme whose EntityOfConcern is the reusable predicate definition rather than the admitted relation kind is not a RelationSignature. A RelationSignature declares:
- the relation-kind designator;
- one
SlotSpecfor each world-side participant meaning that needs reusable typed declaration; - the direct pattern’s obtaining predicate and declared laws, restated for reuse without claiming that the predicate is satisfied;
- applicability of those claims;
- the occurrence-identity rule supplied by the direct relation pattern, restated for reuse without applying it to any occurrence;
- for an admitted derived relation kind, the exact base relation definitions, named substrate and authorized derivation operation, and applicability dependencies already established by the direct subject settlement.
The direct relation pattern remains authoritative for when the relation obtains and how an individuated occurrence keeps identity. The signature declares those rules for reuse.
A direct relation may obtain before anyone writes a signature. Ordinary prose may therefore stop at:
During Shift-17, Robot-7 is assigned as inspector through InspectionAssignment-17.
This is an A.2.1 assertion about an occurrence of declared species MaintenanceInspectionAssignment under U.SystemRoleAssignment. A.2.1 defines the species’ predicate and occurrence-identity rule. The occurrence has Robot-7 as holder, InspectorSystemRole as assigned-kind value, and only the values required for any other declared participants. When several patterns must reuse those participant meanings, predicate, and identity rule, the species’ RelationSignature becomes useful for typed assertions and F.6 attribution. When another claim must refer to this assignment episode, use A.6.REL for explicit individuation.