> I mean... we know how to construct software that will transfer money from one account to another, exactly once.

Assuming you are talking about transferring between institutions, there is actually no single piece of software with this responsibility. The business processes are effectively what provide these guarantees (typically by way of another 3rd party).

In order to accomplish this, added latency (settlement time) is necessarily introduced into the process.