C.3.3:9.1 - Vehicle → TransportUnit (manufacturing)

Source kinds Vehicle and PassengerCar, target kinds TransportUnit and PassengerTransportUnit, and their exact declaration editions are independently identified. One KindBridge relation obtains from Vehicle to TransportUnit and another from PassengerCar to PassengerTransportUnit under the pinned scheme editions. The bridge assertion states that source fact SubkindOfObtains(PassengerCar, Vehicle; sourceRS) is preserved by target fact SubkindOfObtains(PassengerTransportUnit, TransportUnit; targetRS), while the EV distinction is collapsed; it records CL^k=2, the lost battery-health invariants, and definedness limited to registryAPI v1.4 in the selected time window. A candidate is first checked for admissibility and, if admissible, then classified by the exact receiving declaration; source classification is not copied. If the receiving claim also relies on an independently established scope translation, that relation’s consequence remains separate from the kind-bridge consequence; the kind-bridge consequence leaves F and G unchanged.