Demiurge — мета-дирижёр технического проектирования: семиглагольный хребет, оркеструющий строгую, опровержимую инженерию во множестве предметных областей: specify, architect, design, analyze в цикле, synthesize, verify, handoff. Это родственная Phanes космология — там, где Phanes являет форму светом, Demiurge даёт форму, формуя её.
Большинство инструментов проектирования помогают рисовать быстрее. Demiurge делает иное — он заставляет каждое проектное решение отвечать перед falsifier. Spec не завершён, пока его критерии приёмки не привязаны к verifier; анализ не завершён, пока не замкнёт собственный цикл; handoff не завершён, пока не передаёт рассуждение, которое его заслужило. Хребет один и тот же, будь предметная область чипом, белком или политикой.
↳ specify и architect выполняются до всякого кода.
Demiurge сначала фиксирует критерии приёмки как привязанные к verifier утверждения. Архитектура фиксируется относительно этих критериев, а не догадки — поэтому у проекта есть falsifier с первой строки.
↳ analyze — это неподвижная точка, а не шаг.
Проект снова входит в глагол analyze, пока анализ не замкнёт собственный falsifier. Цикл — это и есть продукт: сходимость наблюдается, а не предполагается.
↳ Артефакты сверяются со spec.
synthesize выдаёт результат; verify проверяет его относительно исходной спецификации и теорем atlas, на которые он ссылается. Синтез, не прошедший verify, не является результатом.
↳ Каждый результат несёт свою историю.
handoff отправляет falsifier trail и всю цепочку глаголов, которые произвели результат — принимающая команда наследует не только артефакт, но и рассуждение, которое его заслужило.
Demiurge — платоновский ваятель Форм: он не изобретает материал, а придаёт техническому материалу строгую форму. В паре с Phanes — орфическим первородным явителем Форм — он образует родственную космологию: два бренда dancinlab, одна непрерывная космология. Demiurge находится ниже по течению от hexa-lang и наследует его правило честности — каждый глагол ограничен в области, снабжён ссылками и опровержим.