E.17.0 - Viewpoint and View Recognition for Multi-View Describing

Status: Stable

At a glance. Use E.17.0 to decide whether one exact engineering account is a view under one already defined viewpoint, without mistaking its label, layout, generation history, bundle position, or publication for conformance.

Use this when. A description, model slice, query result, diagram, or other claim-bearing episteme is being called a functional, safety, maintenance, architecture, or other view, and the next reading, comparison, construction, or publication depends on whether that claim is warranted.

What goes wrong if missed. A viewpointRef, familiar face name, generated table, or readable diagram is accepted as a view without testing the viewpoint’s concerns and rules. The opposite failure is to rebuild a viewpoint convention, bundle, evaluation package, and publication dossier before an ordinary reuse can proceed.

What this buys. One stable test works for directly authored and derived epistemes: identify exact candidate E, resolve exact viewpoint edition P, and test P’s fixed conformance predicate without changing either episteme’s identity.

First action. Recover candidate E through C.2.1, resolve an existing U.ViewpointRef to exact P, and read the target, concern-coverage, semantic-form, completeness, consistency, and admitted-omission rules fixed by P. Do not author a new viewpoint or bundle merely to perform this test.

First useful result. State one readable direct judgment: either episteme E conforms to viewpoint edition P, in which case the same E is a U.View, or E does not conform to P, naming the failed fixed rule without inventing a negative relation occurrence. Keep exact E and P recoverable. If missing identity or interpretation prevents the fixed predicate from being evaluated, report that exact unresolved condition rather than manufacturing a negative result.

Ordinary stop. If the next work needs only view recognition, stop after that judgment. Do not add an occurrence designator, explicit result ValueKind, evaluation package, source-viewing relation, correspondence model, collection or structure, publication occurrence, form, or carrier. Add one of those only when a named receiving use depends on it.

Tech-name: MultiViewDescribing Plain-name: recognizing viewpoints and views in multi-view describing

MultiViewDescribing names this pattern’s method. It is not a public U-kind, a family record, or an extra entity beside the epistemes and relations recovered below.

Builds on: C.2.1 for episteme identity; C.13 for collections; A.22 for selected structures; A.6.5 for relation-signature participant SlotSpecs; A.6.3 for an optional source-to-view construction relation; E.10.D2 for Description epistemes and specification use; E.24.PUB for publication; C.29 for representations.

Used by: E.17 publication, E.17.1 viewpoint bundles, E.17.2 TEVB, E.18 transformation-flow descriptions, and domain patterns that compare several views.

E.17.0:1 - Problem frame

An engineer may have several claim-bearing epistemes about one system, method, structure, work occurrence, or another exact entity. A functional description, safety description, maintenance description, and allocation description may serve different concerns. One episteme may also be constructed from another by a query or projection, rendered in several forms, published several times, or compared with another view.

Those uses involve different objects and relations:

1. the exact EntityOfConcern of each episteme;
2. the episteme itself, identified under C.2.1;
3. an exact U.Viewpoint episteme carrying fixed concerns and conformance rules;
4. an obtaining EpistemeViewpointConformanceRelation occurrence;
5. dependent U.View membership of the same episteme individual;
6. an optional A.6.3 viewing relation recording how one episteme was constructed from another;
7. an optional viewpoint selected for one current describing use when it changes what that use reads or checks or may conclude;
8. exact correspondence relations and epistemes that assert or describe them;
9. publication occurrences, forms, carriers, and representations.

The list is an orientation, not a form to fill. Ordinary positive recognition needs items 1 through 5; a negative test stops without an obtaining conformance occurrence or U.View membership. Construction, selection, correspondence, and publication stay outside unless the receiving use calls for them.

E.17.0:2 - Problem

How can an engineer recognize and use views under explicit viewpoints while preserving exact episteme identity and direct relation semantics, without treating a selected viewpoint, a query result, a diagram, a family label, or a publication as what makes an episteme a view?

The common practical failure is not merely loose wording. The wrong object is used to justify the next action. A generated table is accepted as a view because it was generated; a published diagram is accepted because it is readable; a viewpointRef is treated as proof of conformance; or several documents are put in one package and called a multi-view model without recovering any cross-view relation.

E.17.0:3 - Forces

E.17.0:4 - Solution

Local mantra. Identify the candidate episteme. Resolve the exact existing viewpoint episteme. Test their fixed conformance predicate. If it obtains, recognize the same episteme as a view; if it fails, name the failed rule and stop or repair. Add construction, selection, correspondence, evaluation, or publication only for the current use.

The mantra is a recall aid. Sections 4.1 through 4.11 supply the object distinctions, obtaining rules, and stopping conditions.

E.17.0:4.1 - Identify the candidate episteme before calling it a view

Recover candidate E : U.Episteme through C.2.1:

• exact claim content;
• exact EntityOfConcern T;
• effective U.ReferenceScheme.

These three discriminators identify E. A layout, file, query run, viewpointRef, selected project context, publication form, or carrier does not add another episteme identity discriminator.

If the current thing is only a diagram element, graph node, form, or carrier, recover that object under C.29 or E.24.PUB first. Do not promote it to an episteme or view by appearance.

E.17.0:4.2 - Resolve one exact viewpoint episteme

U.Viewpoint is a same-individual dependent durable kind under U.Episteme. One exact viewpoint P is the same individual as a C.2.1 episteme.

P has one truthful C.2.1 EntityOfConcern. In the ordinary self-contained branch it is the exact independently admitted durable or local target kind whose membership criterion P uses. For a local kind, recover which candidates it can classify, what intended members must satisfy, what separates relevant non-members, and when a changed declaration still describes the same kind. A practice or source boundary helps find and compare that membership rule; it does not decide kind identity. Only when separately versioned convention components and their organization change a named reuse, comparison, or maintenance action is P instead about exact selected S_viewpoint : U.Structure. Neither branch introduces a new public kind or organization record.

Existing-P route. Resolve one current U.ViewpointRef to exact P and inspect P’s fixed target criterion, admitted kinds, concern coverage, semantic-form, completeness, consistency, and omission rules. Do not reconstruct P’s constituent collection or authoring history merely to use the already admitted edition.

E.17.0:4.3 - Run the ordinary E/P route contiguously

1. Identify exact candidate episteme E under C.2.1.
2. Resolve the existing exact viewpoint edition P and its fixed rules.
3. Apply the five-condition test in §4.4 to fixed <E,P>.
4. State exactly one readable result: positive, negative with the failed fixed rule, or unresolved with the missing identity or interpretation.
5. Stop unless a named receiving use triggers exact occurrence designation, warrant, new-viewpoint authoring, evaluation, selection, construction history, multi-view organization, or publication detail.

E.17.0:4.4 - Test the direct conformance relation and state the result

EpistemeViewpointConformanceRelation is a direct species of U.Relation. Plainly: the episteme conforms to this exact viewpoint.

Its only two actual participants are independently identified before the test:

• candidate episteme E : U.Episteme;
• viewpoint episteme P : U.Viewpoint.

EpistemeViewpointConformanceRelation(E,P) obtains exactly when:

1. E is one independently identified episteme and P is one independently admitted viewpoint episteme;
2. exact T := EntityOfConcern(E) is recovered only from E’s C.2.1 constitution;
3. exact T satisfies P’s fixed EntityOfConcernKindCriterion through the cited public durable-kind membership rule or the direct identity and membership rule of one exact independently admitted local kind; an exact C.3.2 KindSignature edition and one exact U.ContextSlice are separate test inputs only when P’s local membership test needs them;
4. E has at least one independently admitted episteme kind referenced by P’s admitted-kind claims, excluding U.View and every kind whose membership depends on this same conformance; and
5. E’s fixed claim content, interpreted under its effective reference scheme, satisfies P’s fixed concern-coverage and semantic-form rules, including each exact completeness rule and each admitted omission or loss condition named by P.

T is recovered from E, not guessed from a use qualifier, topic, P, label, reference spelling, or evaluator input, and it is not a hidden third participant. Changing T changes E. Changing P’s target criterion, admitted target kind or cited membership rule, any exact KindSignature edition or U.ContextSlice named as a separate test input, admitted-kind claims, or conformance rules changes P.

State the result immediately after the five tests:

• positive: all five conditions hold, so the pair-determined positive relation occurrence obtains and the same E is a U.View relative to exact P;
• negative: at least one evaluable fixed condition fails; name that condition, do not mint a negative relation occurrence, and do not claim U.View membership through P;
• unresolved: missing or ambiguous E identity, P identity, kind criterion, local sense, or interpretation prevents evaluation; name that exact missing condition and claim neither positive nor negative conformance.

Ordinary stopping rule. Stop with that readable result when the next work needs neither an exact occurrence designator nor warrant. Add an occurrence designator, assertion episteme, evaluation episteme or local result value, evidence path, work record, or decision-use episteme only for the named receiving need. A readable assertion is not occurrence identity, but neither is mandatory reification or evidence justified without a consumer.

For fixed E and P, one positive occurrence is participant-determined by <E,P>. Discovering, warranting, or using the judgment may involve a classifier, evaluation work, assertion, evidence path, result value, operational state, publication, audience, current use, or newly selected slice; none adds a participant or identity discriminator to the conformance occurrence. If conformance could change while E and P remain fixed because another current object changed, route that condition to a separately identified adequacy or evaluation claim or reopen the relation architecture.

Conformance covers E’s semantic content relative to P’s fixed convention claims. Truth about T, decision fitness, stakeholder satisfaction, evidence-backed adequacy, publication usefulness, and operational usefulness remain separate evaluations. Evaluation never makes the direct predicate obtain or produces another occurrence for the same fixed pair.

E.17.0:4.4.1 - Exact declaration and public designation of conformance

EpistemeViewpointConformanceRelationSignature is a separate RelationSignature episteme about the direct kind and declares exactly:

The declaration, SlotSpecs, references, and relation-participant designations alone do not establish that the relation obtains. Its positive occurrence is identified by the actual E/P pair under the fixed predicate. P remains the ordinary episteme about its exact C.2.1 EntityOfConcern; P is not this signature.

The complete F.18 NameCard for the direct conformance kind is below. Its public-row fields point to the current F.17 result rather than paraphrasing that result’s scheme or local sense:

The card, label, candidate list, and former placeholder are naming evidence only. None is relation admission, occurrence identity, or proof of obtaining.

E.17.0:4.5 - Recognize the same episteme individual as U.View

An episteme is a U.View exactly when EpistemeViewpointConformanceRelation(E,P) obtains for at least one exact viewpoint P. This is same-individual dependent-kind membership of E under U.Episteme, not a second view individual, wrapper, form, carrier, result value, or identity discriminator.

One unchanged E may conform to zero, one, or several viewpoint editions through different pair-determined occurrences while remaining one episteme. Direct authoring and A.6.3 construction—including identity viewing—are separate histories: either may be present or absent, and neither grants membership. Selection, transformation, bundling, naming, rendering, publication, audience, or current use also grants none.

Membership survives the end of reading, selection, use, evaluation, bundle membership, or publication. P_old and P_new are different C.2.1 epistemes when they differ in fixed claims, effective scheme, or exact EntityOfConcern—the target kind in the self-contained branch or selected S in the structured branch; an obtaining EpistemeEditionRelation relates them but transfers no conformance. A current use may select P_new while unchanged E still conforms to P_old; adequacy and conformance for <E,P_new> are judged separately. If E’s claim content, EntityOfConcern, or effective scheme changes, C.2.1 identifies another episteme and its membership is judged anew.

The stable gain is one U.Viewpoint extent spanning both a self-contained P about an exact target kind and the narrower P about an action-changing convention structure, plus one U.View extent spanning direct and derived construction without identity, use, or publication collapse. The ordinary cost is one exact P and the fixed E/P test; C/Q/S recovery and A.22 selection are paid only when separately versioned convention organization changes a named action.

E.17.0:4.6 - Author or revise a reusable viewpoint only when existing P cannot serve

New-viewpoint authoring has two branches. Use one self-contained viewpoint episteme P by default. Open the convention-structure branch only when separately versioned convention components and their organization change reuse, comparison, maintenance, or another named action independently of P’s fixed conformance claims.

Head-to-head task replay.

The first row sets the ordinary architecture. The second demonstrates the narrower case in which structure pays for itself. Formality, assurance, or the wish to make a diagram does not trigger the second branch.

E.17.0:4.6.1 - Author the smallest self-contained viewpoint episteme

Identify the exact independently admitted target kind K_target that the candidate epistemes’ EntitiesOfConcern must satisfy. For a local kind, recover its candidate domain, operative membership condition, intended member/non-member boundary, and continuity rule. Use a practice or source boundary only to find or compare that membership rule. Use an exact C.3.2 KindSignature edition and U.ContextSlice only as separate inputs when the membership test needs them. Constitute exact P under C.2.1 as <ClaimGraph(P), K_target, ReferenceScheme(P)>; the target kind is P’s truthful exact EntityOfConcern because P states how epistemes about members of that kind are to be read. P’s fixed ClaimGraph:

1. states the exact target-kind criterion and cites its direct authority;
2. names exact stakeholder or audience referents only when they change the concerns, and states the exact concerns;
3. names the independently admitted episteme kinds allowed for candidate E;
4. states fixed concern-coverage, semantic-form, completeness, consistency, omission, and conformance rules without circular use of U.View; and
5. states the describing-use frame and fixed applicability qualifiers needed to interpret those rules.

The same episteme P is admitted as U.Viewpoint when those five claim-content conditions hold under its effective scheme. No parent U.Signature, C.13 collection, Q, selected S, A.22 work, organization record, or evaluation result is required. Changed P claim content, exact target-kind EntityOfConcern, or effective scheme identifies another P edition; packaging, publication, evaluation, representation, or current-use selection does not.

E.17.0:4.6.2 - Add a viewpoint-convention structure only when it changes action

Use the structured branch only when at least two convention components remain independently identified or versioned and their obtaining dependencies or organization change a named reuse, comparison, maintenance, or joint-interpretation action. Mere decomposition, citation, co-membership, a graph, or future possibility is insufficient.

Construct C_viewpoint under C.13 from the exact constituent episteme editions. The collection may be heterogeneous: its invariant is exact constituent identity, not uniform declaration power. Give each constituent the least-powerful independently admitted kind that carries its actual claims.

Preserve every exact edition. A concern question, kind citation, or one-use rule acquires none of SubjectKind, RangedValueKind, Vocabulary, Laws, or Applicability merely to fit a common table. Conversely, a constituent that independently is a reusable relation declaration, kind declaration, or method description keeps that stronger admitted kind. Collection position grants no convention job and no stronger membership.

For this branch:

1. identify the least-powerful exact constituents above;
2. construct exact C_viewpoint from those editions under C.13;
3. recover each selected direct relation occurrence using the pattern that defines its obtaining test and occurrence identity;
4. identify ordinary constraint episteme Q_org about exact C_viewpoint and the admissible describing-use frame;
5. have an exact system use the applicable A.22 selection method over C, selected obtaining occurrences, applied Q constraints, and the use frame, yielding exact S_viewpoint; and
6. constitute P under C.2.1 with EntityOfConcern(P)=S_viewpoint and the same five fixed claim-content conditions from §4.6.1.

In this branch, changed P claim content, exact S, or effective scheme identifies another P edition. S itself is not U.Viewpoint; P is the claim-bearing individual. No viewpoint record, wrapper, organization object, context entity, bundle position, package ID, publication grouping, or parent U.Signature grants membership. When the action-changing trigger disappears, use or author self-contained P rather than preserving C/Q/S as ceremonial structure.

E.17.0:4.6.3 - Keep explicit evaluation values optional

The fixed E17ViewpointSemanticsSlice@FPFEdition selects the exact FPF and E.17.0 declaration editions, effective U.ReferenceScheme, and Γ_time. In that slice the admission predicates defined here permit exactly two optional C.3.2 local ValueKinds, each carried by its own C.2.1 KindSignature episteme:

The four exact values remain distinct from their designators. Both kinds use F4 formality, deterministic exact-equality membership, no SubkindOf, and fail-closed definedness. Incomplete evidence or interpretation leaves the optional evaluation unsupported or undefined; it supplies neither a negative result nor a third unknown member.

Omit both local values from P, direct relation obtaining, and—when the structured branch is active—Q_org and structure identity unless the named consumer actually needs one. Without such a consumer, state the direct conformance judgment or the structured branch’s Q_org constraint judgment. KindMembershipJudgment and ConcernCoverageJudgment remain withdrawn and do not return as kinds or result fields.

E.17.0:4.6.4 - In the structured branch, state Q_org and select S without hidden organization

Q_org is one ordinary C.2.1 constraint episteme with exact EntityOfConcern(Q_org)=C_viewpoint. Its ClaimGraph carries the applied semantic constraints under its effective reference scheme and the named admissible describing-use frame. Q is not C, a selected relation occurrence, S, P, a result value, Signature, MethodDescription, organization record, actor, or method.

When the structured branch is triggered, Q carries these eight organization constraints by value:

1. One target criterion. Select exactly one E_target by its exact claim content and cited target-kind membership rule; a raw kind label, viewpoint name, or collection position proves neither selection nor membership.
2. Concerns depend on the target. Every exact E_concern[i] depends on E_target. When stakeholder attribution changes the concern, cite one exact stakeholder referent recovered as an independently identified System, local system-role kind, obtaining system-role assignment, collection-as-whole, or another exact local kind whose members are the concern referents. A responsibility claim remains a separately defined direct relation and never follows from the kind or assignment.
3. Coverage depends on exact concerns and claim families. Each coverage constraint depends on the exact concern constituents and exact claim families it evaluates; a heading, graph edge, unresolved family label, or coverage result is neither the dependency nor proof of coverage.
4. Semantic form depends on the admitted kind. Each semantic-form constraint depends on the exact independently admitted-kind constituent to which it applies; notation, form, or a raw kind reference grants no admission or dependence.
5. Method conventions depend on exact method descriptions. Each method-based convention depends on one exact D_method[i] whose exact EntityOfConcern is an independently admitted A.3.1 method. The raw method remains outside C, and description, method, dependence, and performed work remain distinct.
6. Completeness, consistency, and omission name their subjects. Each such constraint depends on the exact concern or claim components it constrains and names any admitted omission condition by value; a bare status or whole-P label is insufficient.
7. Resolution does not establish a relation. Resolve every designation and reference under the effective scheme, while keeping spelling equality, lookup, graph adjacency, compatible schemes, token presence, and reference resolution from counting as direct-relation obtaining.
8. No circular view admission. No admitted-kind constituent may depend on U.View membership or the same conformance judgment being established. Every mutually dependent group needs one named joint-interpretation method or fixed-point criterion.

Replay mutually dependent groups through stratified or witnessed joint/fixed-point semantics. Without that witness, the candidate fails the A.22 selection criterion for the named use. A graph, strongly connected component, iteration syntax, or fixed-point diagram is at most a C.29 representation of already judged occurrences and semantics; it is not the witness, criterion, or selected structure.

An exact system uses the applicable A.22 structure-selection method over exact C, exact obtaining occurrences r_1,...,r_n, the applied Q constraints, and the admissible-use frame. The symbols r_1,...,r_n are local notation, not an O object or collection kind. The selection yields exact S under A.22; C remains the C.13 collection, and each r retains the predicate and occurrence identity defined by its relation pattern.

Identity and change stay local:

• Q changes only with its claim content, exact C EntityOfConcern, or effective reference scheme; another graph, form, carrier, representation, or publication leaves the same Q edition unchanged.
• Replacing a selected obtaining occurrence changes the organization used to identify S. Replacing only its assertion, occurrence description, D, J, result, production or use relation, provenance, or graph leaves that occurrence unchanged, although use-specific admissibility may need reevaluation.
• S changes when C, any selected obtaining occurrence, the applied semantic constraint set, or the admissible-use frame changes. Replacing only Q while those discriminators remain semantically unchanged leaves S unchanged.
• In the structured branch, P changes only with its fixed claim content, exact S EntityOfConcern, or effective reference scheme. In the self-contained branch, exact target-kind EntityOfConcern replaces S as that discriminator. P is neither its EntityOfConcern, a reference, a bundle position, a publication object, nor an evaluation result.

Resolve P’s target criterion, admitted kinds, coverage, semantic-form, completeness, consistency, and omission rules through exact constituent claims and selected obtaining occurrences cited by P. Do not leave them as untyped fields, mandatory Signature constituents, or graph edges treated as occurrences.

In the structured branch the selected public individual is exact episteme P about S. These nearby alternatives remain rejected:

• S itself is not U.Viewpoint: consumers require the exact claim-bearing edition P, while EntityOfConcern(P)=S.
• An episteme about one method is a neighboring U.MethodDescription only when exact M and that description independently pass A.3.1 and A.3.2; it is not the viewpoint genus. A method-description constituent does not retarget P from S to M.
• No viewpoint record, wrapper, organization object, context entity, or non-entity value is needed; P, S, C, and selected relation occurrences already exhaust the identity-bearing objects.
• A catalogue or local family-declaration position, catalogue edition, package ID, or publication grouping does not constitute P or grant membership.
• P requires no parent U.Signature, is not a public C.3 local kind, and is not EpistemeViewpointConformanceRelationSignature. A reusable kind declaration, a local-kind classification judgment, and a direct-relation declaration are different jobs with different subjects.

U.Viewpoint is therefore the same P under the complete positive predicate above: no new root identity, wrapper identity, method requirement, selection-dependent membership, or generic-episteme shortcut.

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:

1. identify every exact constituent edition and state each proposed dependent-to-base claim readably;
2. resolve both endpoint designations, apply the direct obtaining criterion, and construct exact C from those editions under C.13;
3. add D only for a named A.22 selection-use claim, and J or evaluation only when that receiving use needs the additional assurance;
4. 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
5. 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.

E.17.0:4.7 - Keep viewpoint-convention dependence direct

Use ViewpointConventionDependencyRelation(E_dependent,E_base) only when interpreting or replaying the fixed claims of exact dependent constituent episteme E_dependent depends on an exact criterion, law, public name, or method claim carried by exact base constituent episteme E_base, and replacing that base edition or making its exact used content unavailable can change the interpretation or replay. It is the A.6.6 base-dependence case specialized to viewpoint-convention constituents.

Citation, co-membership, reference resolution, compatible schemes, or a graph edge alone does not establish this predicate. For fixed endpoint editions, one positive occurrence r is participant-determined by <E_dependent,E_base>. Scope, time, status, evaluator, evidence, result, use, selection, representation, and publication are neither participants nor occurrence-identity discriminators.

ViewpointConventionDependencyRelationSignature is a separate RelationSignature episteme about the direct relation kind. It declares exactly:

The SlotSpecs declare reusable participant meanings and polarity. Their declaration does not make the relation obtain or identify an occurrence. The current A.6.6 vocabulary resolution chain is viewpointConventionDependsOn -> current vocabulary entry -> ViewpointConventionDependencyRelationSignature -> its EntityOfConcern, ViewpointConventionDependencyRelation. The NameToken, its separate NameCard, vocabulary entry, signature episteme, direct kind, and occurrence remain distinct; spelling or citation proves none of them equivalent and makes no occurrence obtain.

E.17.0:4.7.1 - Local designation of the direct relation kind; public row pending

The complete F.18 NameCard below is a durable local naming settlement. Core-facing reuse is proposed, but no current F.17 row or SenseCell accepts this value and sense; the card therefore remains pending and makes no public-row claim.

E.17.0:4.7.2 - Add only the neighboring object the receiving use needs

The compact positive statement may stop at “this exact constituent depends on that exact base constituent.” Add the following objects only under their positive trigger; do not flatten them into one witnessed-base record or add their fields to the two-participant relation.

D_dependencyUse is therefore the exact C.2.1 episteme identified through obtaining EpistemeConstitutionRelation(G_dependencyUse,r,S_decl). The ordered triple names the exact ClaimGraph, EntityOfConcern, and effective ReferenceScheme participants; it is not a self-constituting card or record and does not make the relation obtain.

When the structured branch is active, G_dependencyUse designates exact r and the receiving A.22 use: exact C_viewpoint, exact Q_org constraints applied, and the named admissible-use frame. It carries two separate claim values:

• c_dependencyObtains: exact direct predicate obtains, independently of use and evidence;
• c_dependencyAdmissibleForSelection: exact r is admissible among candidate organizing occurrences for that named use frame.

Both are claim values in G, not C.2.1 epistemes, occurrences, or decision results. Changing the use frame can change the second claim while r remains unchanged. Add exact U.ClaimScope or a time qualification to G only when it changes the represented claim; neither becomes a participant. Cite the exact current A.6.6 vocabulary entry and exact RelationSignature as declarations, not as r or proof of r. D is reidentified only when one of exact <G_dependencyUse,r,S_decl> changes; a changed claim value changes D only through changed constitutive G.

When J is present, keep separate conclusion nodes for the two claims and at least these distinct premises when they are actually relied on:

1. exact E_base under exact S_base carries the criterion, law, public name, or method claim used to interpret or replay E_dependent;
2. an exact system in exact interpretation or replay work, enacting an admitted method, resolves and applies that base content to E_dependent under exact S_dep; and
3. replacing exact base edition E_base or making its exact used content unavailable can change interpretation or replay of fixed exact E_dependent.

Designation, citation, graph location, co-membership, scheme compatibility, version difference alone, or a failed lookup supplies none of those premises. If the interpretation is method-dependent, cite the exact U.MethodDescription, but identify the acting system, admitted method, and work occurrence separately.

E.17.0:4.7.3 - Keep empirical and formal evaluation local

When empirical interpretation or replay testing is current, identify separately:

• H_dependencyEvaluator : U.System under A.1 as performer;
• exact RA_dependencyEvaluator : DependencyEvaluationWorkAssignment <: U.SystemRoleAssignment under A.2.1, with H_dependencyEvaluator in HolderSystemSlot, declaration-local assigned-kind domain DependencyEvaluatorSystemRoleKindDomain, and DependencyEvaluatorSystemRole as RA’s assigned-kind value admitted by that domain; the value, assignment, holder System, and Work remain distinct, and neither the value nor assignment acts;
• M_dependencyTest : U.Method under A.3.1 and, when needed, D_dependencyTest : U.MethodDescription under A.3.2; D describes M but is neither method, work, RelationSignature, nor OperationAlgebra, and a separate A.6.1 operation declaration is cited only when typed application is current;
• exact W_dependencyTest : U.Work: A.13 first recovers H as the exact actual performer through the already named obtaining RA; A.15.1 independently admits W as enacting M; because this branch expressly represents precise assignment-bound attribution, F.6 separately relates W to that same RA. F.6 identifies neither RA nor H, and a failed F.6 relation would leave W intact while removing only that attribution;
• exact B_dependencyEmpirical, a C.2.1 episteme identifying the model, calibration, assumptions, and interpretation basis; and
• exact result episteme T_dependency = <G_dependencyTestResult,E_dependent,S_test>, whose ClaimGraph designates exact E_base, predicate, method, conditions, basis, and positive or negative result.

Establish actual participation of E_dependent, E_base, each parameter, and B_dependencyEmpirical during W only through the exact relations that define those participation positions or A.6.1 operation-application bindings. A MethodDescription or compatible SlotSpec establishes no participation. Open a local A.15.PROD claim only when the receiving use needs to say W first constituted T or later completed its declared production; inception, completion, episteme identity, and dependency obtaining remain distinct.

When formal interpretation is current, constitute exact formal-evidence episteme E_dependencyProof = <G_dependencyProof,E_dependent,S_proof> and exact B_dependencyFormal identifying the theory, axiom set, proof semantics, and interpretation basis. Its ClaimGraph designates exact E_base, proof obligation, formal method, basis, and result. Preserve entailment, refutation, malformed input, timeout, and checker failure as different outcomes; neither a refutation nor a checker failure fabricates positive r. The proof episteme is distinct from r and its participants.

If reusable target claims are needed, constitute them separately under C.2.1:

• C_dependencyObtains has c_dependencyObtains as its principal claim and concerns the exact endpoint pair and predicate;
• C_dependencyDoesNotObtain carries a distinct negative principal claim and is not a state of the positive episteme; and
• C_dependencyAdmissibleForSelection concerns exact r under the named use frame and remains distinct from both obtaining claims.

Co-representation in one ClaimGraph does not merge these epistemes. T carries its empirical conclusion locally; E_dependencyProof carries its formal conclusion locally. If a target-claim episteme separately represents one conclusion, use C.29 only when representation correspondence matters—never as truth, use, or r. Mint no duplicate evidence-bearing relation and no new A.10 ontology.

Keep these three cases distinct:

1. exact r obtains while support for c_dependencyObtains is unknown; a selecting system may decline reliance without deleting or reidentifying r;
2. a negative empirical or formal result may support C_dependencyDoesNotObtain without presupposing r, fabricating D, or becoming a positive occurrence; and
3. T may support the claim that r obtains without supporting use-specific admissibility; a later decision method may consume empirical and formal result epistemes in separate declared premise slots and produce a separate C.11 result.

For historical reliance on a claim or result, use A.10 to recover its obtaining premise, decision-use, reference-use, or operation-argument relation for the named bounded use. Recover exact Work and its enacted Method only when that dated Work is itself a current claim or the expressly selected empirical evaluation branch above requires them. Retain that branch’s A.13 performer basis, independent A.15.1 Work admission, and F.6 when precise assignment-bound attribution is consumed. Storage, inspection, citation, attachment, production, graph membership, or adjacency alone does not establish that use. Keep empirical and formal algebras distinct; keep provenance and assurance with A.10, G.6, and B.3. Retain a missing-governor blocker instead of inventing a generic evidence, use, or acceptance relation.

E.17.0:4.7.4 - Schemes, scope, transformation, and change

Recover S_dep from E_dependent, S_base from E_base, and S_decl from D. They are three uses of existing U.ReferenceScheme, outside r and its RelationSignature. G may designate exact endpoints, claim values, and declared names through those schemes; designation is neither occurrence obtaining, truth, nor historical participation.

Keep claim-scope widen, narrow, and refit under A.2.6 when no local-sense translation is needed. Use translate only when scope membership must be expressed between exact local senses: require an obtaining F.9 Bridge between their exact SchemeSenseCell values, the separate affirmative claim for that translation’s direction, rule, and tolerance, and the current A.10 or B.3 reliance branch. Scheme difference, same spelling, token reuse, or translation intent triggers no Bridge.

Use A.6.3.RT when the dependency use needs a representation-scheme transition. Recover exact source and receiving epistemes and their construction, preservation, loss, and admissible use when that reliance-facing use requires them. Open RepresentationSchemeTransitionRelation@Context only when the actual transition occurrence is itself material and all six required participants—one independently selected BoundedModelUseStructure : U.Structure, the preserved EntityOfConcern, source and receiving representation epistemes, and source and receiving scheme-description epistemes—plus actual representation-transformation Work are independently recoverable. The @Context suffix is the retrieval label for that A.1.1 use, and Work belongs to the obtaining test rather than the participant tuple. Apply A.6.3.RT’s same-EntityOfConcern, preservation, loss or recoverability, and tuple-plus-scheme-pair identity rules; add a transition-description episteme only when its receiving use needs one. Add C.29 only for a current mathematical lens. Use F.9 separately when the claim actually needs a Bridge between distinct local senses. If interpretation or the proposed dependency use lacks a required basis, name that exact gap and block only that use; the absence of a six-participant transition occurrence or Bridge by itself blocks neither the direct dependency judgment nor a supported exact construction.

Changing only J, an assertion or occurrence description, evaluation result, basis, provenance, production, later-use relation, or representation leaves r unchanged while its endpoint pair is fixed. It also leaves D unchanged while exact <G_dependencyUse,r,S_decl> is fixed. Unknown support does not make an obtaining r non-obtaining, and support for a negative claim creates no positive r. A changed representation transition invalidates judgments that depended on that transition, but changes r only when an endpoint episteme or the direct predicate also changes.

Progressive stopping rule. Use the lightest sufficient rung: readable dependency assertion; reusable RelationSignature when declaration reuse matters; D only for a named A.22 selection-use claim; J only for inspectable inference; evaluation work and exact participation only when evaluation is current; local A.15.PROD only for a needed result-inception or completion claim; provenance, assurance, representation transition, mathematical lens, scope translation, and Bridge only at their own triggers. No higher rung proves a lower-rung occurrence.

E.17.0:4.8 - Keep selection for one describing use separate

For one current describing use, always name the use. Add one singular viewpointRef : U.ViewpointRef only when selecting P changes what the use reads or checks or what a relying use may conclude; otherwise omit the reference. When present, resolve it under the effective reference scheme to exact P. ViewpointId is P’s designator; designator, reference, episteme, and describing use remain different objects.

When the viewpoint matters, that describing use selects P for itself only. The selection does not establish conformance or U.View membership, give E a new C.2.1 identity, reidentify E, or create a universal selection relation, legacy context tuple, bounded-context object, or generic model-use identity field. Another use may select another P while E remains unchanged. A use needing several viewpoints first identifies the C.13 collection and its exact membership; it does not overload viewpointRef with a collection value.