E.17:7 - Objects used by the optional formal profile
| Object or symbol | Function | Boundary |
|---|---|---|
| source episteme E | carries the selected claims about its EntityOfConcern | identified under C.2.1 |
publicationViewpointRef (conditional) | resolves publication viewpoint episteme P only for a material U.View claim or viewpoint-dependent formal operation | designator and reference remain distinct from P |
F_face | finite C.13 collection of publication-form designators for this profile | not a viewpoint bundle or U.ViewFamily |
Emit_s, FaceObj_s, FaceMorph_s, PromoteFace | conceptual-form symbols for constructing and checking publication-form content | defined only in the representation-side formalism; no U-kind membership follows |
| receiving episteme, when separately constructed | its claims are checked against the source and, only for a material U.View claim, against P | A.6.3 construction and E.17.0 conformance are independent claims |
| publication occurrence, form, carrier | makes the selected episteme available to a declared audience and use | E.24.PUB identifies these objects and tests whether the publication relations obtain |
In the optional morphism profile, the author selects source E and publication-form profile F_face; P is selected only for a material U.View claim or a formal operation whose definition depends on that viewpoint. A system performs any authoring, rendering, checking, or publication work. MVPK names the publication method and constraints.