SpillState Not a bool pair: "spilled K of N, then the source threw" must never re-stream the source. Cases Abandoned Deleted Fresh Replaying Spilled Spilling Cases Abandoned Deleted Fresh Replaying Spilled Spilling