Насчет AT еще давным-давно был задан вопрос о бесконечных циклах и других фичах тьюринг-машин. И это очень важный вопрос безопасности всей сети, несмотря на готовность виртуальной машины уже более полугода. Кстати, на каком альте оно работает?

Если SC действительно будет реализован как язык манипуляции данных, без управляющих элементов типа циклов и условных переходов, альтернативы, видимо, будут исключены. Кстати, какая готовность сейчас для SC?