> Shrinking is expressed as manipulations of that tape.

How do you do that in general? I can't find any documentation on that.

This paper by the Hypothesis authors has some information: https://www.doc.ic.ac.uk/~afd/papers/2020/ECOOP_Hypothesis.p...