Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 15:15:10 UTC
F.16:4 - Minimal vocabulary
Worked claim — the exact proposition demonstrated by the page.
Actual subject — the value or entity to which a substantive claim applies.
Obtaining relation — a relation supported for these exact participants; its appearance on the page does not create it.
Source basis — exact source and edition, passage, and effective reference scheme needed by the claim.
Evidence basis — the observations, source claims and independently established direct relations supporting the conclusion, represented in A.10’s descriptive evidence-provenance account with its bounded-reliance disposition. A separately current B.3 assurance claim retains its own result and limits.
Evaluation result — when the case evaluates a promise or criterion, the result bound by an exact A.6.1 application during evaluation Work, on the result scale declared by the applicable rule.
Receiving use — the concrete decision, explanation, comparison, or action for which the result is used.
SchemeSenseCell — the exact F.17 coordinate <ReferenceScheme by value, LocalExpression, LocalSenseClaim>. A separate address resolves that coordinate when recurring use needs it.
Comparison table — an optional F.7 display of exact entries and already obtaining relations.
Window and separation of duties — F.10 or F.14 constraints included only when time, population, phase, or separation of duties changes the case.