C.2.1:4.4 - Keep neighboring uses under their direct relations
| Current distinction | Relation or object to use | Why it stays outside the core constitution relation |
|---|---|---|
| classification judgment or separately current classification assertion | the A.1 recognition judgment for an admitted holon kind or the C.3.2 membership judgment for a local kind; one C.2.1 episteme when a receiving review treats the judgment as a separate claim-bearing object | the governing criterion states the membership condition; the classification judgment evaluates the candidate under it; the assertion carries that judgment but neither creates the candidate nor admits the kind |
| claim scope | exact U.ClaimScope and its A.2.6 membership semantics | scope delimits where claims hold; it does not identify every episteme |
| concern-bearing viewpoint use | one exact U.Viewpoint episteme P selected for one named describing use | selection states the concern under which the description is used; it neither establishes conformance nor enters episteme identity |
| view | the same episteme individual recognized as U.View when an exact EpistemeViewpointConformanceRelation to at least one exact viewpoint episteme obtains | conformance, source-to-receiving construction, current-use selection, publication, form, and carrier remain different relations or objects |
| bounded model use | optional relation to one BoundedModelUseStructure : U.Structure under A.1.1 | model-use organization can qualify interpretation without becoming a universal identity component |
| justification structure | exact JustificationGraph content | a justification structure organizes inferential dependencies without becoming claim content |
| evidence use or assurance for a claim | for ordinary bounded reliance, the descriptive A.10 evidence-provenance path, the independently established direct relations it cites, and local RelianceDisposition; when an actual named assurance claim is current, the exact B.3 AssuranceResult or its non-positive disposition | evidence and assurance can support, narrow, or stop reliance on the claim while the episteme’s identity remains fixed |
| publication | exact publication occurrence and publication form under E.17 and E.24.PUB | making an edition available does not constitute or reidentify it |
| presentation carrier | any exact U.PresentationCarrier under E.17 and E.24.PUB | bearing a publication form or rendered expression does not constitute or reidentify the episteme |
| representation and admissible operations | the representation scheme, selected elements and operations used for the represented episteme, with any required correspondence or transition governed through :4.0 | a change of scheme or admitted operations can change the available work |
Names ending in Slot are admissible here only as SlotKinds inside the exact RelationSignature governed by the neighboring direct relation pattern. A card or other episteme form carries participant designations in ordinary fields; it does not acquire SlotKinds by using similar field labels. None of those neighboring SlotSpecs belongs to EpistemeConstitutionRelationSignature.