ALUX currently supports selected EVM workloads in isolated execution environments. TSAC coordinates relevant global-state operations with TVM; compatibility depends on the supported surface.