C.3.2:9 - Required Worked Cases

C.3.2:9.1 - Physical pump

CoolingPumpSignature-2 admits physical pump candidates and applies in plant slice S-14. Pump #14 is independently identified as a physical pump, so the request is admissible. Governed flow, heat-transfer, and operating-state conditions satisfy the criterion; a calibrated measurement result supports that claim without becoming the pump or its performance. The result is true. A maintenance-query extension may represent Pump #14 but does not create its classification.

C.3.2:9.2 - Episteme and publication form

Maintenance-instruction episteme MI-22 is admissible for DiagnosticInstructionKind and is evaluated through its claim-bearing content and governed subject. MI-22-PDF-Layout and MI-22-HTML-Layout are different publication forms for the chosen episteme edition; files that bear them are presentation carriers. Arrangement, form, carrier, or encoding alone changes neither the episteme, criterion satisfaction, kind, nor judgment.

C.3.2:9.3 - Non-entity temperature value

Value 87 °C, with declared scale, unit, interpretation, and time, is admissible for HighTemperatureValueKind when the signature’s ValueKind accepts that quantity. It can then be judged against the declared interval without fabricating a value-shaped entity.

C.3.2:9.4 - Schema label

A row carries label Customer, but the claim asks whether account holder #441 is a contractual customer. If the kind admits account-holder Systems or persons rather than database rows, the row itself is not an admissible candidate. For the actual account holder, the label may support recovery of the governed contractual relation but does not make that relation obtain. A different row-shape kind could make the row admissible under its own criterion.

C.3.2:9.5 - Unavailable measurement

Pump #14 remains an admissible physical candidate in later slice S-15, but a required flow-measurement dependency is unavailable. The judgment is unknown. A safety guard may decline reliance; it does not return false or remove the pump from a historical S-14 extension.

C.3.2:9.6 - Not-applicable request

The value 87 °C is submitted to CoolingPumpSignature-2, whose candidate ValueKind is physical pump. The request is not-applicable; no cooling-pump judgment is formed. Lack of a pump judgment says nothing about whether the temperature value is known.

C.3.2:9.7 - Registration-defined membership

A KindSignature for RegisteredSupplierKind declares supplier candidates and requires an exact obtaining registration-status relation under the current register rule. Supplier #27 is admissible. If that governed relation obtains, it is part of the membership condition even though a registration episteme may also be used as evidence. A copied row or certificate image alone does not create the relation. This preserves legitimate institutional kinds without treating every record as a world-side fact.