Signing the not-yet-valid ERC-8211 introduces a primitive that older account abstraction standards couldn’t express: the predicate . A predicate is a gate on a function call — a checkpoint that doesn’t execute, doesn’t transfer, doesn’t change state. It only