A.6.6:4.0 - Ordinary direct path
Start with a readable sentence:
Thermocouple channel TC-17 is calibrated to standard ITS-90 for rig R3.
Identify TC-17 and ITS-90, then apply the direct calibratedTo predicate and its applicability rule to the current facts. If the task only asks whether that calibration relation obtains for this rig, the sentence and predicate result are complete. Do not create a declaration record, witness set, edition, or assurance package merely because those fields could be written down.
Add a qualifier only when it changes the direct assertion or a named receiving use:
- name scope when the relation is limited to a range, population, rig, publication, or other exact extent;
- name time when the predicate or the use is time-dependent;
- cite an evidence-use or provenance relation when a claim about the relation is relied on;
- open occurrence identity only when another claim must refer to the same occurrence, compare it, qualify it, or record its history; and
- open a reusable declaration only when the reuse test in A.6.6:4.3 is met.
The assertion episteme, reusable declaration, world-side relation occurrence, evidence, and any Work remain different objects.