Helix
通过每次关闭一条证据循环来推进不确定的工作。节奏是完整完成的 安排 → 行动 → 断言/收束 转换；活动量不是进展。
保持转换法则可见
- 工作前设存盘点。 要求显式配置的表面、引用、表示形式和读/写权限。如果任何一项缺失，则返回
NEEDS-HUMAN-DECISION；绝不发明文件、服务或记录档备。Ralph 风格或目标循环的持久化提示或计划文件承载执行和意图，而非学习；仅当用户将其配置为表面时，才将其视为存盘点。 - 先安排后行动。 冻结提供的局势或需求、预期效果和证据、权限和边界、所选分支的贡献、一个移动的最大范围、观察来源、审查点以及预期和否定回读。缺少框架会使 下一步 变为修复或阻塞，绝不允许实验。Helix 序列化一个提供的移动；它不分类因果机制或设计探针。安装后，
Read the Terrain负责上游工作。 - 一次只行动一次。 保持一次移动在执行中。只向其执行者提供结果边界、分支贡献、移动、观察来源、审查点和回读。在第一个回读、审查点或边界处停止。
- 在下一个行动前先断言。 将不可变观察追加到冻结的回读旁边，然后将其分类为
预期、否定、混合或不确定。努力、信心和回顾性生产者叙述不是证据。 - 收束每一个已结束的移动。 将已完成的工作交付到其记录存储中，已退休的工作放入墓志铭中，其他所有内容进行有意的处置。在下一个行动之前，用恰好一个 下一步 重写存盘点。
存盘点存储裁决，而非商议：结果、存续分支、活跃的安排移动和结果、开放链接、墓志铭以及一个 下一步。每个周期重新推导候选和排名。匹配的回读只建立在其边界内观察到的内容；它不证明价值、正确性或因果关系。
运行当前状态
从第一个未完成的转换开始；绝不重复已完成的阶段。
- 完整读取存盘点。
- 扩展： 从结果和最新结果推导分支；删除任何其可能结果对下一个决策没有变化的候选。检查墓志铭复活条件，选择一个分支，并将实现检查保留在安排的移动之后。
- 探针： 安排，然后行动一次。
- 收束： 断言，对已结束的移动排序，重写存盘点，并选择一个 下一步。
仅加载存盘点和边界案例的相关章节：
- 配置或重构存盘点；
- 修复孤儿或未知链接；
- 解决
混合或不确定的证据； - 退休、复活、重试或处置工作。
返回存盘点引用、下一步以及所有孤儿、未知或权限阻塞项。