The companion made clear something that the (abstract of) the original post didn't; this sort of system can't be used to physically perform "hypercomputation,"

The companion made clear something that the (abstract of) the original post didn't; this sort of system can't be used to physically perform "hypercomputation," since encoding an undecidable problem requires an infinite lattice. Ah well.