C.3.4:10.1 - Vehicle@ABSOnly Constraint Use

VehicleABSUse-2026 designates Vehicle, pins its signature, and adds the governed candidate condition that the vehicle has ABS. For this example, the base signature’s candidate domain is physical vehicles. A vehicle in the declared slice is admissible. With a true base judgment, the adaptation returns true if the vehicle is known to have ABS, false if it is known not to have ABS, and unknown if that condition is unresolved; a non-vehicle input is not-applicable. Surface, rig, and time conditions used only to bound the claim remain Scope. If ABS becomes a stable classification distinction, recover another kind and test its subkind relation separately.