C.3.A:9 - Worked examples (informative)

E1 — Same-context braking claim. A policy quantified over Vehicle pins VehicleSignature@v4; the receiver pins PassengerCarSignature@v3. Declaration admission establishes SubkindOfObtains(PassengerCar, Vehicle; plantVehicleScheme). Applying the policy to VIN-17 evaluates J(VIN-17, PassengerCar, v3, S-plant); on true, C.3.1 monotonicity supplies the Vehicle-side consequence needed by the universal claim. A missing axle dependency yields unknown and a separate refusal.

E2 — Cross-plant reuse. An obtaining KindBridge relates source Vehicle to target TransportUnit; its assertion records a collapsed EV/ICE distinction and CL^k=2. The target signature is independently authored. Plant-B evaluates its exact vehicle candidate under that target edition; the source result is only support, and bridge consequences lower R.

E3 — API adapter. A producer declares Request; a consumer expects AuthenticatedRequest. Declaration compatibility fails until an adapter and target declaration are recovered. For request req-884, unavailable key-validation support yields target unknown; the consumer refuses without asserting that the request is known unauthenticated.

E4 — Masked clinic use. The guard designates the exact AdultPatient@Clinic RoleMask declaration, base signature edition, patient candidate, and slice. Unavailable date-of-birth support yields unknown; the mask label and EHR row do not classify the patient.