Provenancial Equality with Linvail

Once you click the play button, the target program (top) is provided as a string to the instrumenter (bottom). The instrumenter is responsible for transforming and then executing it.

This minimal demo illustrates how Linvail differentiates primitive values based on their provenance.