Thinking a bit more: A-If a program is a thing that produces a result for a given input, these programs are the same. B-You can’t generally know if two progra

Thinking a bit more: A-If a program is a thing that produces a result for a given input, these programs are the same. B-You can’t generally know if two programs are the same without solving halting problems, reducing polynomial algos to linear time or having infinite time and space computing resources, etc. C-The best you can do is ask if two compilers produce the same output, or a linting/refactoring/canonicalization/formatting operation results in same source. D-If a program is a thing that interactive debuggers use to create explorations next to source code while computing, these programs are different. I agree with your approach of starting with these programs as being different, and allowing custom scraps to become a higher layer hash resolver. The reason is that compilers change over time, and it is only under the lens of a compiler(or linter, etc) that comparisons can be made. To bake a holy compiler in today would be arbitrary and quickly outdated.