For non trivial uses it wouldn't be a great spec. But I think we can bring our worlds together with a bit of boilerplate.
> The system shall have behavior identical to that expressed by the system created by the following source code. [add some stuff about environment to taste]
Not sure what the point is. We can update the spec with "in the presence of a compatible ABI".
All I'm saying is a program isn't VHS. It's a VHS tape. At that point it's largely philosophy. Can you reconstruct a VHS format from a VHS tape? Sure.
For non trivial uses it wouldn't be a great spec. But I think we can bring our worlds together with a bit of boilerplate.
> The system shall have behavior identical to that expressed by the system created by the following source code. [add some stuff about environment to taste]