🦋 Что процессор сделал на самом деле: как ixyk превращает машинные инструкции в проверяемые формулы