May queued, already-owned work be executed — a background task body, a
notification dispatch pass? Through a drain, yes; that queue IS the work a
drain exists to finish. Not in proof-only: the proof is one run, and a task
queue re-driving itself alongside it is not a proof of anything.
May queued, already-owned work be executed — a background task body, a notification dispatch pass? Through a drain, yes; that queue IS the work a drain exists to finish. Not in proof-only: the proof is one run, and a task queue re-driving itself alongside it is not a proof of anything.