This is really awesome work! Thank you for sharing, and good luck for what’s ahead. Several source files are referenced through the post (emu.c, emuC.c, emuJit.c, patchpace.c, etc.), but I could not find them. Where can these be accessed please?
Check out the replies to this comment [1] with the same attempted counterexample. Your set isn't union closed because {1}U{2} = {1, 2} isn't in it (same for {1}U{3} etc.).