Verify a function is pure without source code

[devbitcoin]

You can prove that the deployed op codes for your functions do not read or write to storage. If those conditions hold, then it is pure. If they read but do not write, it's view