Instead of having to provide a definition of a term, you could simplify this spec by just saying "A proton compliant program must always give the same output for a given input."