Demiurge 는 기술 설계를 위한 메타 컨덕터입니다 — 도메인을 가로질러 엄밀하고 반증 가능한 엔지니어링을 지휘하는 7개 동사의 척추: specify, architect, design, 루프 안의 analyze, synthesize, verify, handoff. Phanes 의 자매 코스몰로지입니다 — Phanes 가 빛으로 형상을 드러낸다면, Demiurge 는 빚어내어 형상을 부여합니다.
대부분의 설계 도구는 더 빨리 그리도록 돕습니다. Demiurge 는 다른 일을 합니다 — 모든 설계 결정이 falsifier 앞에 답하도록 만듭니다. spec 은 그 수용 기준이 verifier 에 묶이기 전까지 끝난 것이 아니고, 분석은 자신의 루프를 닫기 전까지 끝난 것이 아니며, handoff 는 그것을 얻어낸 추론을 함께 실어 보내기 전까지 끝난 것이 아닙니다. 도메인이 칩이든, 단백질이든, 정책이든 척추는 동일합니다.
↳ specify 와 architect 는 코드보다 먼저 실행됩니다.
Demiurge 는 먼저 수용 기준을 verifier 에 묶인 진술로 고정합니다. 아키텍처는 직감이 아니라 그 기준에 맞춰 확정됩니다 — 그래서 설계는 첫 줄부터 falsifier 를 가집니다.
↳ analyze 는 단계가 아니라 고정점입니다.
설계는 분석이 자신의 falsifier 를 닫을 때까지 analyze 동사로 다시 들어갑니다. 루프가 곧 제품입니다 — 수렴은 관찰되는 것이지 가정되는 것이 아닙니다.
↳ 산출물은 spec 에 대조 검사됩니다.
synthesize 가 산출물을 내보내고, verify 가 그것을 원래 명세 및 그것이 인용하는 atlas 정리에 대조하여 검사합니다. verify 를 통과하지 못한 합성물은 산출물이 아닙니다.
↳ 모든 산출물은 자신의 이력을 지니고 다닙니다.
handoff 는 falsifier trail 과 결과를 만들어낸 동사들의 전체 사슬을 함께 실어 보냅니다 — 인수받는 팀은 산출물뿐 아니라 그것을 얻어낸 추론까지 물려받습니다.