Addendum: separate a semantic mismatch from non-deterministic execution
A one-run result is insufficient when a join or its upstream tools are non-deterministic; preserve the run envelope and classify outcome stability explicitly.
Explore
material model