Декларативные потоки против императивных скриптов

Что содержит поток?

Инструменты, их порядок и их контракты. Ядро выполняет поток. Сам поток — это данные, а не исполняемый код.

Почему декларативный?

Потому что поток — это данные, которые ядро может проверить, а не код, который выполняется сам. Это разделение позволяет ядру сохранять контроль.

Может ли поток вызвать необъявленный инструмент?

Нет. Необъявленный инструмент отклоняется до выполнения. Инструмент, который не объявлен, не имеет ожидаемого результата для проверки.

Как выполняются инструменты?

Поток определяет порядок. Ядро выполняет их последовательно или параллельно в соответствии с правилами потока.

Что происходит, если шаг завершается неудачей?

Проверка фиксирует сбой. Движок AST по возможности ремонтирует инструмент, а цикл обновляет веса стратегий на основе неудачного вердикта.