From these experiments, another observation:
Binohash doesn’t give introspection in the usual sense — the script can’t read tx data.
But it seems to get close:
mutation → commitment → verification
Instead of read-access to tx fields, we get sighash mutation via subset selection, committed through CHECKSIG.
This feels like a form of pseudo-introspection.
Is that a useful way to think about it?