代理式工作流程通常通过其是否达到正确结果来进行评估。但是在机构环境中，这种方法是不够的，因为一个正确的动作可能依赖于错误的权限、不支持的完成声明或因后续变化而过时的工作。我们定义了受管理的执行，即工作的决策、完成和对变化的响应都由可检查的源数据支持。我们提出了一种名为 Matrix 的确定性因果状态层，它记录权限和事实依赖、验证完成证据并选择性地使受影响的工作失效。在受控比较中，受管理的工作流程和直接工作流程通常达到相同的结果，但只有受管理的路径始终保留管理证据、拒绝不支持的完成并将恢复限制在依赖任务上。然后，一个角色分离的传输挑战失败：一个确定性执行的完整性合约严重阻塞了在其编写上下文之外生成的合成包。这些结果并不证明 Matrix 是一种通用的准确性增强器；它们支持其作为机构完整性层的主要角色，为使代理式工作可审计和独立可验证提供了支持。 博主点评： 本文提出了一种新的代理式工作流程管理方法，通过记录和验证工作流程的源数据来确保其完整性和可靠性，这对机构环境中的工作流程管理具有重要意义。