清单描述了活动。 契约确定成功

核对表上写着某人打算采取的步骤。 任务契约规定必须存在何种结果，哪些条件使该结果可以接受，以及允许系统在生产时做什么。

当一个代理人改变计划时，区别就很重要。 新的步骤并非自动改变目标。 契约给予用户和系统一个稳定的参考点。

有用契约的五个部分

这些领域不是行政元数据。 每个都改变执行引擎所能做的以及最终包必须包含的证据。

  • 意向:具体描述要产生的结果。
  • 接受:结构上，语义上，和人类的检查来定义完成。
  • 制约因素:期限、预算、数据界限和被禁行动。
  • 权力:哪些能力可以自动运行，哪些能力需要确认。
  • 检查点:在继续前必须暂停任务时。

协议的版本，不是记录

有时用户真的需要修改任务. 范围可能更窄，最后期限可能移动，或者新发现的依赖性可能需要另一个来源。

这一改变应产生新的契约版本并有其理由。 最初的目的不是覆写. 这项任务既维持决定，也维持作出决定的条件。

契约使结果可以审查

在接受时，用户不必记住他们最初的意图。 与接受的版本核对送货包. 每个标准都有结果。 每个例外都很明显。

这就是为什么LibreTask从契约开始。 协议是任务中第一个可持久的目标，随后的一切都指向它。