CPUs are deterministic! I think it’s going to be inherently limiting how far you can abstract above something non-deterministic.

Agree. The non-determinism is a problem. Perhaps systems thinking can help here. After all, traditional computer systems often behave non-deterministically and we’ve learned to make them more reliable.