A.6.REL:4.1.5 - Naming, reference, and representation
| Canonical FPF name | What this object is | Direct relation to preserve | Naming rule | Subject pattern |
|---|---|---|---|---|
| relation-occurrence designator | a name associated with one already recoverable relation occurrence under a naming relation and effective reference scheme | designates the occurrence; assignment of the designator does not create or individuate it | apply F.18; select a name that exposes enough of the direct relation and identity distinction for its receiving use | F.18 |
| relation-occurrence reference | a reference value of one exact RefKind under an effective U.ReferenceScheme | a system applying the governed resolution method obtains the already recoverable relation occurrence as referent | use the exact governed RefKind whose declared referent range admits this relation kind; a field ending in Ref names the reference value, not the occurrence | F.18 and the direct RefKind pattern |
| representation element | an element of a declared representation | represents an object, claim content, or declaration, or corresponds to one independently governed object in this relation-object architecture | keep the source representation’s own name and state an explicit correspondence naming both the source element and the FPF object; do not rename the source element into that object | the applicable representation or representation-transition pattern; C.29 when a mathematical-lens use is claimed |
A source-specific term remains the name of its source-side object until an explicit correspondence is stated. That correspondence never identifies a source representation element with the represented FPF object. Representation preservation stays with the selected representation or representation-transition pattern; C.29 governs a declared mathematical-lens use. Structural equivalence goes to C.34, and cross-context sameness goes to A.6.9.