Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:35:20 UTC
F.9:5 - Minimal vocabulary
Semantic context - Plain shorthand for the interpretation basis <ReferenceScheme, LocalSenseClaim> recovered from an exact F.17 cell; it is not a separate entity or participant.
SchemeSenseCell - the exact F.17 local composite value <ReferenceScheme by value, LocalExpression, LocalSenseClaim>.
SenseCellAddressRef - an address that resolves one exact SchemeSenseCell; the address is not the cell.
Bridge - an obtaining direct semantic relation between two exact SchemeSenseCell values from different semantic contexts under one exact profile.
BridgePredicateProfile - the F.9-local by-value declaration of the direct relation’s kind, symmetry or orientation, endpoint readings, correspondence or difference condition, applicability and as-of basis, Boolean truth condition, and stop dependencies.
Bounded-use claim - an ordinary C.2.1 claim that says whether one exact obtaining Bridge is suitable for one named use, direction, use-specific rule, and loss tolerance. This phrase is descriptive, not a new public kind name.
Relation orientation - how the Bridge kind orders or symmetrically relates its endpoint slots; it is not a use licence.
Use direction - the ordered <UseSourceSenseCell, UseReceivingSenseCell> designated inside one bounded-use claim.
Observed semantic loss - a difference or counterexample found in evidence. It can bear on a bounded-use claim but is not the use’s permitted-loss tolerance.
Permitted-loss tolerance - the maximum named loss accepted by one proposed use; it is content of that use’s C.2.1 claim.
Bridge occurrence description - an independently constituted C.2.1 episteme whose exact EntityOfConcern is one already individuated Bridge occurrence. It describes; it neither makes the predicate true nor supplies occurrence identity.
Bridge Card - optional claim-bearing packaging. A filled Card may itself be a Bridge description episteme when its C.2.1 triple concerns an actual occurrence; a candidate Card instead modally describes the admitted relation kind and proposed endpoints. The reusable Card layout, registry row, publication form, and carrier remain separate.
CL (Congruence Level) - optional F.9-local shorthand for the strength of evidence about a stated correspondence. It is neither a participant nor a use threshold and never grants a use.
senseFamily - the local meaning family used by Part F. A senseFamily label is not a durable U-kind.