он не только тьюринг-полный, он еще и решает проблему останова (точнее сам кефир её решает, а язык позволяет с этим взаимодействовать), хотя сама проблема является алгоритмически неразрешимой и выходит за критерии тьюринг-полноты
я бы даже сказал, что скорее тьюринг-полнота в смартах кефира это скорее следствие того, что само устройство кефира и EVM эффективно решает эту проблему останова