If you’re skimming, the core invariant is that an operation is in-flight from successful admission until its returned CompletionStage reaches a terminal state. Everything else (fail-fast rejection, cancellation semantics, lack of queuing/fairness) follows from that.
Happy to be challenged on semantics or failure modes, especially edge cases under concurrency.