A.6.5:4.1 - Keep pattern scope exact
| Object or claim | Defining or constraining content | What A.6.5 contributes |
|---|---|---|
| Direct relation kind, relation-participant meanings, and relation obtaining predicate | the direct-relation definition | no replacement; A.6.5 supplies the SlotSpec discipline for a compatible RelationSignature |
| Relation occurrence and identity | the direct-relation definition and A.6.REL | exact participant ValueKinds; refMode applies only to relation-participant designations in an assertion or relation-occurrence description episteme |
RelationSignature declaration | A.6.0 defines the containing signature | complete SlotSpec declarations inside its vocabulary item |
| Assertion that a predicate obtains | C.2.1 defines assertion content; the direct claim pattern defines that claim family | no new assertion kind; the assertion can name exact relation participants |
| Local derived kind of participants | C.3 and C.3.1 define the kind, subkind, and continuity questions; C.3.2 supplies its KindSignature, membership judgment, and optional extension | when a RelationSignature is needed, its SlotSpec uses the declared participant ValueKind while the SlotKind remains local to that declaration |
| Planned participant designation | A.15.2 and A.15.3 define the planned claim | one exact SlotSpec may be cited as the target of a planned filling; A.6.5 contributes only the declaration-local SlotKind, ValueKind, and refMode discipline and establishes neither the plan claim nor actual participation |
None of these objects gets its identity or truth condition from A.6.5. A.6.5 supplies the participant-declaration and designation-typing discipline at their shared boundary.