Or, "the code is the contract" as they say.