B.1.3:4.1 - Terms (didactic recap)
- U.Episteme — a claim-bearing knowledge holon. C.2.1 identifies it through the participant-determined
EpistemeConstitutionRelationover<claim content, exact EntityOfConcern, effective ReferenceScheme>.ClaimGraphSlot,EntityOfConcernSlot, andReferenceSchemeSlotname participant meanings only inside that relation’s reusable declaration; they are not internal slots of the episteme. Empirical grounding uses the separateEpistemeEmpiricalGroundingRelation, while text, code, figures, datasets, SCR/RSCR references, publication forms, and presentation carriers remain separately governed provenance, representation, publication, or carrier material. - Evidence/Provenance Graph — an A.10 descriptive account whose edges cite independently established direct support, source, measurement or use relations. Display labels such as
evidencesdo not create generic relation kinds. - Semantic mapping — the exact correspondence rule used by this composition. When it crosses semantic contexts, identify the source and receiving F.17
SchemeSenseCellvalues and an obtaining F.9Bridge; keep the proposed use, direction, use-specific rule, permitted loss, reliance, and CL evidence summary separate. F.9 does not require CL for every Bridge; B.1.3 requires the summary for a mapping used in its support account. CL alone neither grants the use nor supplies a numerical penalty. - SCR — a
U.SCRthat lists all symbol carriers included in the aggregate; never dropped. - Semantic context — Plain shorthand for the local interpretation basis recovered from one exact F.17
SchemeSenseCellas<ReferenceScheme, LocalSenseClaim>. It is not another operation argument or entity. Crossing between two such contexts uses F.9 and the separate bounded-use and reliance steps above.
Didactic reminders. • Knowledge does not act. A researcher or engineer may use it while performing Work. Recover the exact System and Work only when the receiving claim consumes them; use A.12 only when the acting-side distinction is itself current. • A collection’s own rule establishes which epistemes belong to it; belonging is not a semantic argument link and does not by itself make a holon. Use ConstituentOf for logical or evidential composition. •
PhaseOfis only a proper temporal restriction of one unchanged episteme. Changed C.2.1 discriminators identify another episteme; testEpistemeEditionRelationseparately. Use MHT only for a remaining whole-reidentification question, not as a substitute for C.2.1 identity.