hey! author of the post here. I wanted to document all of it, so I went overboard with the links in the end. My Go implementation can be safely removed from here, as it is in the nascent stages. I would recommend going through Pekka's repo for code.
I think the words "V is visible only if TE is not T" are intended to replace the entire text in the bottom-right cell of Table 2; is that right?
Also, I wrote another post explaining the issue in detail - https://avi.im/blag/2023/hekaton-paper-typo/
I will update both posts and clarify this!
edit: I updated the posts