DEMIURGE

作为动词的架构

Demiurge 是技术设计的元指挥 — 一条由七个动词构成的脊柱,跨领域编排严谨、可证伪的工程:specify、architect、design、循环中的 analyze、synthesize、verify、handoff。它是 Phanes 的姊妹宇宙观 — Phanes 以光显现形态,Demiurge 则以塑造赋予形态。

大多数设计工具帮你画得更快。Demiurge 做的事不同 — 它让每一个设计决策都对一个 falsifier 负责。一份 spec 在其验收标准被 verifier 绑定之前不算完成;一次分析在闭合自己的循环之前不算完成;一次 handoff 在交付赢得它的推理之前不算完成。无论领域是芯片、蛋白质还是政策,这条脊柱都相同。

核心特性

↳七动词脊柱: specify、architect、design、analyze、synthesize、verify、handoff — 每个动词都有可衡量的闭合条件。没有动词靠感觉就算完成。

↳领域可插拔: 芯片、蛋白质、政策、系统 — 同一套七动词骨架按领域分派 solver 与 oracle。脊柱恒定,领域是插件。

↳诚实即特性: over-claim 在构造上被禁止。每个动词都声明自己的范围、来源,以及它尚未做到的事 — audit trail 随设计一同交付。

工作原理

Specify

specify 与 architect:验收标准在任何代码之前,被固定为绑定 verifier 的陈述。

Design ⟲ Analyze

design 在循环中反复进入 analyze 动词,直到分析闭合自己的 falsifier。

Synthesize

synthesize 产出工件;verify 将其与 spec 及其所引用的 atlas 定理交叉核对。

Handoff

handoff 将交付物连同其完整的 falsifier trail 以及产生它的动词链一起交付。

互联的设计工作流

从 Spec 到形态

↳ specify 与 architect 在任何代码之前运行。

Demiurge 先将验收标准固定为绑定 verifier 的陈述。架构是针对这些标准提交的,而非凭直觉 — 因此设计从第一行起就有一个 falsifier。

以分析迭代

↳ analyze 是一个不动点,而非一个步骤。

设计反复进入 analyze 动词,直到分析闭合自己的 falsifier。循环本身就是产品 — 收敛是被观测的,绝不被假定。

Synthesize 与 Verify

↳ 工件与 spec 交叉核对。

synthesize 产出交付物;verify 将其与原始规约及其引用的 atlas 定理核对。未通过 verify 的合成物不是交付物。

带 Provenance 的 Handoff

↳ 每个交付物都携带其历史。

handoff 交付 falsifier trail 以及产生该结果的完整动词链 — 接收团队继承的不只是工件,还有赢得它的推理。

柏拉图的《蒂迈欧》

Demiurge 是柏拉图式的「形相塑造者」:它不发明材料,而是赋予技术材料以严谨的形态。它与 Phanes — 俄耳甫斯教中显现形相的原初存在 — 结为姊妹宇宙观:两个 dancinlab 品牌,一个连续的宇宙观。Demiurge 处于 hexa-lang 的下游,并继承其诚实原则 — 每个动词都有范围、有引用、可证伪。