A.6.3.RT:4.1.c - Transition description and source-relation epistemes
Describe the occurrence durably only after it obtains and a receiving use needs that description. The transition-description episteme is identified under C.2.1 by claim content about the exact six-participant occurrence, that occurrence as EntityOfConcern, and its own effective U.ReferenceScheme. Editing its claim graph creates another description episteme without changing the occurrence.
Its claim content may make these values recoverable; they are not extra participants or identity fields:
| Description content | Meaning |
|---|---|
transitionRelationRef | The exact six-participant occurrence. |
viewingConstructionRefOrStatement | Exact v : X -> Y, including claim construction, endpoint-scheme relation, same exact EntityOfConcern, preservation, loss/recoverability, prohibited strengthening, applicability, use, and return. |
representationTransformationWorkRef | Exact A.15.1 Work already used in the obtaining test; actual performer, assignment, Method, A.6.1 bindings, and any A.15.PROD inception claim remain separate. |
sourceRelationReferenceEpistemeRefs[] | C.2.1 epistemes about exact source relations actually used; each relation still needs its own obtaining basis. |
preservedClaimRefs[] | Exact source claims carried into Y for this use. |
preservedCommitmentRefs[]? | Exact commitments preserved when a commitment is current. |
representationSchemeDeltaDescriptionRef | What differs between the source and receiving schemes described by the participating scheme-description epistemes. |
reasoningMediumDeltaDescriptionRef? | Changed inspection, comparison, inference, or replay affordance when material. |
representationLossDescriptionRef? | Lost, narrowed, foregrounded, or rearranged distinctions. |
recoverabilityDescriptionRef? | How omitted content is recovered from exact X or source relations. |
admissibleUseDescriptionRef | What Y supports now. |
nonAdmissibleDownstreamUseDescriptionRef | Which stronger use has not been established. |
returnConditionDescriptionRef | When the user returns to exact X or its source relations. |
At least one of loss and recoverability is explicit; both are explicit when distinctions are lost and a recovery route is claimed.
When v cites a claim about one exact source relation, identify any reference-bearing episteme independently by its own C.2.1 triple: claims designating that relation and stating its exact kind, signature, defining pattern, and use in v; the source relation as EntityOfConcern; and its effective scheme. The episteme is not the relation, and citation does not make the relation obtain.
Publication may expose X, Y, the occurrence, or its description; forms, carriers, C.29 representations, and publication occurrences substitute for none of them.