I think we are at a fundamental disagreement on this. You can make asynchronous code predictable if you utilize something like TLA+, or treat the code as a pro

I think we are at a fundamental disagreement on this. You can make asynchronous code predictable if you utilize something like TLA+, or treat the code as a protocol system.