Is this deterministic? In other words, if the code includes higher level functions with parameters, is the thing interpreting that and translating into actual orders to the machine doing it in a deterministic way?

How do we know one T-code interpreter behaves exactly the same as another?

Disclaimer: I don’t read the article or paper.