C.2.1:6 - Description and specification-use boundary (normative)
A Description episteme is a U.Episteme whose exact EntityOfConcern is the entity being described. Description does not create a second kind beside ordinary epistemes; it names the current relation and use of one episteme.
For a description use, keep these values recoverable:
| Value | Meaning | Identity status |
|---|---|---|
entityOfConcernRef | designation of the exact EntityOfConcern in the description episteme’s constitution relation | its resolved exact EntityOfConcern, not the reference value or designation, is C.2.1 identity-bearing |
effective U.ReferenceScheme | rules by which the description claims refer to and can be checked against that entity | C.2.1 identity-bearing |
viewpointRef, when current | governed reference resolving to the exact U.Viewpoint episteme selected for this describing use under E.17.0 | use qualifier outside episteme identity; work that changes an identity discriminator identifies another episteme independently |
claimScopeRef, when current | designation of the exact U.ClaimScope under A.2.6 | claim-use qualifier |
modelUseStructureRef, when current | designation of one independently selected BoundedModelUseStructure : U.Structure | optional interpretation qualifier, not a context root |
Use E.10.D2 to keep the EntityOfConcern, its Description episteme, and specification use distinct. A Description episteme is admitted for specification use only when its claims are checkable and a named harness or validation relation can test them. Preserve or update a selected viewpoint only for the named describing use whose reliance depends on it. The suffix Spec, formal notation, approval appearance, or publication in a repository does not grant that use.
Self-description uses the same rule. If an episteme describes itself, its EntityOfConcern designation resolves to that episteme. If a review episteme describes it, the review episteme has the first episteme as EntityOfConcern and its own claim content and reference scheme.