C.3.3:7.4 - With Guards

A typed receiving guard first determines whether the same kind continues or a distinct-kind bridge is current. It then checks receiving admissibility and, when admissible, the fresh judgment. It independently checks any scope or sense relation the claim consumes and applies only justified consequences to R. not-applicable, unknown, absent bridge, and guard refusal remain different results.