A force is transferred from a Supplier to a Recipient, gated by contact between them (Dodge 2010's ForceTransfer, one register down: forceAmount is refused-metric per §2/§5.9; the contact precondition is already has_common_boundary; what's left is has_as_cause gated by contact).