E.17.0:4.6.5 - Author progressively and stop at the needed assurance
Authoring is a progressive path, not a mandatory workflow. For self-contained P, identify exact target kind, constitute P with the five fixed claim-content conditions in §4.6.1, apply the positive viewpoint-membership predicate, and mint or reuse U.ViewpointRef. For the structured branch only:
- identify every exact constituent edition and state each proposed dependent-to-base claim readably;
- resolve both endpoint designations, apply the direct obtaining criterion, and construct exact C from those editions under C.13;
- add D only for a named A.22 selection-use claim, and J or evaluation only when that receiving use needs the additional assurance;
- apply exact Q constraints and have an exact system use the applicable A.22 selection method over C and the selected obtaining occurrences, producing exact S; and
- identify ordinary episteme P about S, apply the positive viewpoint-membership predicate, and only then mint or reuse
U.ViewpointRef.
Citation, collection membership, graph adjacency, and displayed edges never close step 2. Selection identifies an existing selected object; it does not construct another constituent episteme. Viewpoint authoring requires neither five fixed stages, one composite method, empirical/formal evaluation, nor J. Identify every cited method under A.3.1 and use B.1.5 only when an order-sensitive method whole independently obtains. Stop as soon as the named receiving use is served; add no assurance artifact merely because a longer path exists.