A.22:4.2 - Structure claim reliance relation selection
When a structure claim relies on something beyond the selected structure itself, choose the reliance relation kind, name the relation record by value, and name the definition or test used for that relation. Use that definition for the relation’s required fields and use limits.
| Current reliance relation kind | What is named | Definition or test to apply |
|---|---|---|
| Source-description relation | source episteme, source view, publication form or rendering where relevant, described structure or structure claim, source-basis pins or structure-use return condition, admissible use, and any grounded non-admissible use | A.7 when nearby objects need distinguishing; C.2.1 and E.10.D2 for the episteme and describing use; E.17.0 for claimed view membership; A.6.3 for a source-to-receiving construction; E.17 for a source-backed reader face; E.24.PUB and local rules for publication |
| Base-dependence or basedness | dependent = structure claim or structural description, base, declared baseRelation, scope, declared Γ_time when temporal scope is claimed, witness refs when witness use is claimed, admissible use, stop or return condition, and any grounded non-admissible use | A.6.6 SWBD, or an admitted subject-specific base relation whose definition supplies the stated participants, applicability, and identity rule |
| EntityOfConcern or empirical grounding | exact claim-bearing episteme, its EntityOfConcern, and effective ReferenceScheme; when empirical grounding is claimed, the exact grounding holon, covered claim subgraph, and obtaining C.2.1 EpistemeEmpiricalGroundingRelation; claim scope, optional model-use structure, describing-use viewpoint, reference plane, and observation or witness condition only when current | C.2.1, A.2.6, A.1.1, E.17.0, A.6.4, A.6.3.RT, and A.6.6 only for a separate base-dependence claim |
| Evidence or witness reliance | evidence-use relation, evidence-provenance relation, claim ref, witness publication or observation record, timespan and freshness; if an evidence graph is current, its graph path remains a mathematical or provenance expression rather than an action route | A.10, A.2.4, G.6 |
| Mathematical-lens reliance | lens candidate, lens card, or lens-use record; primary EntityOfConcern; relation record or claim record named by value when lens reliance is being claimed; preserved structure; lost structure; stop condition; MathLensUseOutputRef; C.29 lens-use result; or LensUseBoundaryValue | C.29; C.26 only when a residual contextual-model obstruction calls for its quantum-like lens; F.9 only for separately needed cross-context semantic correspondence; the named mathematical-lens pattern for its own claims |
| Simulation, generated representation, model, or extracted trace | exact source episteme and publication when source availability matters, representation or extraction method, validation boundary, preserved structure, lost structure, and structure-use return condition | C.29 for representation or extraction correspondence; E.10.D2 and E.17.0 for description and view claims; E.17 and E.24.PUB for publication; C.2.1 only for exact episteme identity or an explicitly claimed empirical-grounding relation; A.10 for evidence; or the pattern that defines or tests the exact simulation, extraction, or validation claim |
If no reliance relation kind can be selected, keep the wording as a source-finding note, recognition cue, ordinary help, quote-only wording, or reduced-use cue. Do not create a generic reliance record to make the claim look resolved.
U.Structure does not carry description, representation, extraction, mathematical-lens, simulation, or generic reliance state as an internal structure field. Those are source-description, source-use, base-dependence, evidence, lens, extraction, simulation, or publication relations about a structure. PublicationRef is not an admissible substitute for the source episteme, source view, evidence relation, SWBD, or lens output.