I think current bootstrapping work clearly shows that the Maxwell equations of software are: pop rx -> sp--; rx := mem[sp] push rx -> mem[sp] := rx; sp++

I think current bootstrapping work clearly shows that the Maxwell equations of software are: pop rx -> sp--; rx := mem[sp] push rx -> mem[sp] := rx; sp++ sub rx ry -> rx := rx - ry jmp rx $I -> if rx is zero jump $I bytes from end of instruction. One might also argue: call rx -> mem[sp] := IP; sp++; IP := rx ret -> sp--; IP := mem[sp] nand rx ry -> rx := rx nand ry but those are just optimizations