construct

Construct

权威性

Construct 不会持久化任何执行状态，也不会创建任何执行产物。所有规划决策均由 Blueprint 拥有；实现差异由 Git 工作树状态决定。发现结果是证据，而非权威：它不能扩展已封存的 Blueprint。Blueprint 必须保持逐字节不变。保留无关的脏工作；执行需要 Git 工作树。脚本仅证明机制；归因、范围真实性和完成情况由 Agent 负责。

命令

python <construct>/scripts/cli.py --repo-root <repo> --input blueprint_file=<blueprint.md> --input phase=before --format json verify

先判断标准；若存在 next_command，则遵循它，否则遵循 required_action。

顺畅执行循环

1. 接收。 阅读一次执行契约，然后对于新工作先运行 verify，对于恢复工作运行 status。对于脏目标、非 Git 路径、并发、破坏性或恢复工作，请阅读安全。编辑前阅读完整的 Blueprint；当调用方引用或转述 Blueprint 时，重新阅读该步骤，并以其封存文本为准。
2. 实现。 按顺序实现每个 ### N.。apply 会写入已声明的代码块，不要手动编写：对于带有 Red: 的步骤，先用 apply 写入 Frozen，再编写文本测试，用 prove 证明其已声明的失败，然后用 apply 写入 Exact。实现其余部分，然后使用调用方持有的下一个未使用尝试编号，通过 prove 证明通过，并遵循其前进指引。仅修复 Blueprint 已明确规定的内容；否则以 plan-contradiction 停止。
3. 验证。 运行 verify 的 after 阶段；判断每个 Expect:。仅通过 verify 或 reverify 执行 Runs，恢复时也如此。只有 Blueprint 明确规定答案时，才在本地修复，然后从最早失效的 Run 行开始 reverify。若显示了已声明的 Incomplete: 结果，则在步骤 4 后以 verification-incomplete 结束。否则，停止并提供 plan-contradiction 证据。超时或变更失败都不安全，绝不能 reverify。
4. 对账并报告。 按照执行契约，将最终差异与封存的 Blueprint 比较一次。若涉及重大行为或安全风险、显著传播、间接验证或难以观察的验收条件，则进行一次已获得资格的一致性审查；否则不进行。报告指令、每次 Proof 运行和 Run，以及各自的 Expect: 和表明是否满足预期的引用输出、无法恢复的 red 差距、通知、Blueprint 未包含的任何调用方引述、审查是否获得资格、是否已运行或虽获得资格但未运行，以及受保护路径和 HEAD 是否保持不变。

例外情况

停止即结束 Construct 运行：plan-contradiction、protected-work-conflict 或 safety-contradiction，并附上确切证据。失败、恢复与停止规定了失败的 Runs、恢复以及后续操作。

最终报告和停止报告都应以一个符合当前结果的可选下一步结束；停止后应以恢复责任方的步骤为准：提供一个独立完整的围栏代码块提示词，并指出所需的任何仓库、议题、PR 或产物，或者说明无需下一步。只有对方回答“是”才会启动该步骤，并通过它指定的任意技能执行；但 charter、diagnose 或 ticket 步骤须由用户以 /<skill> 命令运行。