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.
| Object | Positive trigger and exact identity | Boundary |
|---|---|---|
A_dependency | a separately reviewable readable assertion is needed: one C.2.1 assertion episteme whose exact EntityOfConcern is E_dependent and whose claims state the direct predicate for exact E_base | authoring does not make r obtain; A is neither r, an occurrence description, nor a third participant |
O_dependency | an already recoverable r needs a separate description: one C.2.1 description episteme whose exact EntityOfConcern is r and whose claims may state endpoints and participant-determined identity | the description is not r, and endpoint mention without independently recoverable r is insufficient |
D_dependencyUse | one named A.22 structure-selection judgment needs a reviewable claim that exact r is admissible: one C.2.1 episteme identified through obtaining EpistemeConstitutionRelation(G_dependencyUse,r,S_decl), where G is its exact U.ClaimGraph, r is its exact EntityOfConcern, and S_decl is its effective U.ReferenceScheme | D is not G, r, S_decl, an assertion, occurrence description, U.Signature, RelationSignature, selected structure, actor, or third dependency-relation participant; the participant triple does not constitute itself, and obtaining r does not entail use-specific admissibility |
J_dependency | that named selection judgment needs inspectable inferential support | J is non-constitutive justification content, distinct from G; it carries the inferential account for the obtaining and selection-admissibility claims. Claim truth and r’s occurrence identity remain governed by their direct rules |
| empirical or formal evaluation package | a named receiving use needs a tested result or formal conclusion | its actors, work, methods, bases, results, evidence, production, and use relations remain separate from r and D |
| later selection work and C.11 result | accountable selection or project choice is separately current | an exact system performs Work using the selected method; no generic acceptance relation follows |
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:
- exact
E_baseunder exactS_basecarries the criterion, law, public name, or method claim used to interpret or replayE_dependent; - an exact system in exact interpretation or replay work, enacting an admitted method, resolves and applies that base content to
E_dependentunder exactS_dep; and - replacing exact base edition
E_baseor making its exact used content unavailable can change interpretation or replay of fixed exactE_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.