本文提出了一个用于LLM中介工作流的概念模型，该模型将工作流定义、实例和上下文快照视为共享基础结构中的持久化知识对象。

  • 该模型受Lisp启发但独立于语言，使用符号形式和对象身份作为解释视角，而非实现承诺。
  • 它确立了“derive”（对可用状态进行确定性计算）与“infer”（在声明的上下文和执行器控制的能力策略下介导的LLM判断）之间的核心语义区别。
  • 工作流被表示为可检查、可恢复和可审查的知识对象，它们产生并留下知识的痕迹。

作者将此作为语义持久性的初步概念性说明，指出形式化转换语义仍是未来的工作。