Demiurge は技術設計のためのメタコンダクターです — ドメインを横断して厳密で反証可能なエンジニアリングを指揮する7つの動詞の背骨:specify、architect、design、ループの中の analyze、synthesize、verify、handoff。Phanes の姉妹コスモロジーです — Phanes が光で形を顕すのに対し、Demiurge は形作ることで形を与えます。
ほとんどの設計ツールは、より速く描くことを助けます。Demiurge は別のことをします — すべての設計判断を falsifier に答えさせます。spec は受け入れ基準が verifier に束縛されるまで完了せず、分析は自らのループを閉じるまで完了せず、handoff はそれを得た推論を載せて送るまで完了しません。ドメインがチップであれ、タンパク質であれ、ポリシーであれ、背骨は同じです。
↳ specify と architect はコードより先に走ります。
Demiurge はまず受け入れ基準を verifier に束縛された文として固定します。アーキテクチャは勘ではなく、その基準に対してコミットされます — だから設計は1行目から falsifier を持ちます。
↳ analyze はステップではなく不動点です。
設計は、分析が自らの falsifier を閉じるまで analyze 動詞へ再入します。ループこそが製品です — 収束は観測されるものであり、仮定されることはありません。
↳ 成果物は spec と照合されます。
synthesize が成果物を出力し、verify がそれを元の仕様および引用する atlas 定理と照合します。verify を通らない合成物は成果物ではありません。
↳ すべての成果物は自らの履歴を携えます。
handoff は falsifier trail と、結果を生み出した動詞の全連鎖を送り出します — 受け取るチームは成果物だけでなく、それを得た推論も継承します。