Stops at the first failure; returns true when empty without invoking predicate. Exceptions propagate; the immediate inline callback admits non-local returns.