文档 · 开始 文档概览 选择正确的阅读入口,并了解当前 pre-alpha 边界。 文档 · 开始 快速开始 安装锁定的工具链,并在本地验证仓库。 文档 · 开始 Core 合约示例 无需 Runtime 依赖,编译首个 Agent、类型化 Tool、Model Stream 与显式协议映射。 文档 · 开始 强类型 Agent 生成并固定类型化 Schema,再绑定第一方 OpenAI 与 Anthropic Adapter。 文档 · 开始 进程内 Agent 无需 HTTP 运行强类型 Agent,同时保留 PostgreSQL 持久化、鉴权、恢复与自持有角色。 文档 · 开始 持久化准入 原子提交已认证 Intent、数据库时间、首 Event 与初始 Checkpoint。 文档 · 开始 可恢复 Run 与 Result 使用持久化 Ingress Key 提交、恢复原 Run,并读取经过验证的公开 Result。 文档 · 理解 编译确定性 Graph 构建 Schema-pinned Graph,验证拓扑,并冻结 Canonical Digest。 文档 · 理解 子图与循环 组合共享状态子图、有界循环与能够在中断后恢复的显式返回路径。 文档 · 理解 Skill 组合 在能力包、共享状态子图、持久子 Run 与受保护 MCP Skill 之间选择,不创建第二套 Runtime。 文档 · 理解 持久执行模型 理解 Journal、Checkpoint、Lease、Fence 与恢复证据如何协同。 文档 · 理解 可恢复 Graph Runtime 注册精确可执行代码、重放非初始状态,并在一个 Fence 下驱动确定性有界 Sibling Batch。 文档 · 理解 可恢复 Agent Loop 提交 Lifecycle Handoff,并执行一个 Tenant-scoped 可恢复调度 Quantum。 文档 · 理解 可恢复调用执行 通过持久化 Start、分阶段有序 Tool Coordination、Streaming 校验与 No-dispatch Terminal Recovery 执行精确 Model/Tool Attempt。 文档 · 理解 Provider-native Agent 编译并运维支持有界 Output Repair、有序 Parallel Read-only Tool 与 Write Barrier 的可恢复多轮 Graph,并固定 Policy、Accounting 与 Cancellation Evidence。 文档 · 集成 本地 Rust Tool 生成 Digest-pinned Schema、注册强类型本地代码,并保留持久执行边界。 文档 · 集成 AgentService v1 通过带版本的嵌入式边界授权并暴露精确版本的可恢复 Agent。 文档 · 集成 Agent HTTP v1 通过经过认证、有资源上限的 JSON HTTP 接口提交、找回、读取与取消 Agent。 文档 · 集成 通用 MCP Tool Client 通过 JSON/SSE、OAuth、Custom Header 与受控 MRTR 发现和调用有界 Stateless MCP 2026-07-28 Tool。 文档 · 集成 MCP OAuth Client 将一个 MCP Resource 绑定到 Challenge-driven Discovery、PKCE、Issuer 校验、持久化 Credential 与有界 Replay。 文档 · 集成 MCP Remote Tool 固定 Identity、Schema、可恢复 Dispatch 与 Reconciliation,绑定严格 Stateless MCP 2026-07-28 Tool。 文档 · 集成 MCP Server Profile 在严格 Stateless 生产边界后暴露有界 Tools、Resources、Prompts、Completion 与 MRTR。 文档 · 集成 MCP Skills 通过不可变 Manifest、Origin-scoped 审批与校验后延迟读取发布并激活 Final SEP-2640 静态 Skill。 文档 · 集成 MCP Conformance 状态 查看冻结的官方 Runner 清单、已实现证据与当前 MCP 声明的精确边界。 文档 · 集成 A2A 1.0 Client 发现并固定一个 Agent,调用全部 11 个 Operation,并只依据已背书的远端保证对持久化 Unknown Send 执行 Reconciliation。 文档 · 集成 Artifact 持久化存储 将 Terminal A2A Part 物化为不可变 PostgreSQL Metadata 与私有、经过完整性校验的 Object Bytes。 文档 · 集成 A2A 1.0 Server 通过 Identity-first Policy 与可恢复 Service 合约暴露有界 HTTP+JSON 和 JSON-RPC/SSE。 文档 · 集成 A2A Conformance 状态 查看冻结的官方 TCK、已审计 Harness Patch、精确结果与 Server-only 声明边界。 文档 · 运维 公平调度 配置 Replica-safe 加权 Tenant Selection、精确 Starvation Bound、Rollout 与 Retention。 文档 · 运维 PostgreSQL Provider 配置、迁移、校验并测试已实现的持久化 Provider。 文档 · 运维 宿主验证 记录有界容量、恢复与故障证据,避免把 CI 结果误写成生产 SLO。 文档 · 项目 版本与发布 精确固定公共 Alpha,并理解兼容性、MSRV、持久化数据与发布门禁。 文档 · 项目 实现状态 区分已经实现、正在开发和明确尚未支持的能力。 首页 架构图 查看已经实现、正在开发和规划中的边界。 首页 当前实现 已经实现的切片与明确缺口。 首页 路线图 从合约走向可验证 v1 的开发顺序。 仓库 源代码 StateKnot/StateKnot on GitHub. 仓库 RFCs 架构与持久执行合约草案。 仓库 安全策略 私密漏洞报告与支持策略。
↑↓ 选择 ↵ 打开 39 项结果

Pre-alpha 文档

持久执行依赖记录,而非进程内存。

StateKnot 将逻辑工作、物理所有权、外部效果与权威 Graph State 明确分离。

持久执行、可恢复与持久化

本文将 Durable Execution 称为“持久执行”:进程中断后,运行时可以根据已经提交的 日志、检查点和调用记录恢复工作,而不必把整个流程从头执行。

持久执行(Durable Execution)
一套结合状态保存、重放校验和故障恢复的执行机制,不只是把数据写入数据库。
可恢复(Recoverable)
强调中断后根据已保存的证据继续处理的能力,例如可恢复 Agent 或可恢复 Graph。 是否可以重试外部调用,仍取决于调用记录和明确的重试契约。
持久化(Persistence)与持久性(Durability)
“持久化”指保存日志、状态、凭据等数据;“持久性”指已提交数据在约定故障范围内 不丢失的保证,取决于存储配置和恢复验证。仅有持久化存储不等于流程能够正确恢复。

Rust API 保留原名,例如 DurableGraphDriver 和 DurableAgentLoop,便于对照源码。这里的术语不扩大已实现能力, 也不代表框架已经完成生产验收;当前边界见实现状态。

为什么需要这些边界

Agent 工作会跨越数据库、模型供应商、工具、人工处理和远端 Agent。进程崩溃无法证明一个外部请求是否执行,内存中的 Future 也不能授权替代 Worker。因此 StateKnot 会持久化下一步决策所需的证据,同时不虚构所有副作用都是 Exactly-once。

证据链

  1. Journal

    Append-only Canonical Fact 用于证明哪些事实已经权威生效,以及它们在 Run 内的精确顺序。

  2. Checkpoint

    不可变 Graph/State 快照绑定精确 Journal Head 与父 Checkpoint。

  3. Lease 与 Fence

    数据库时钟 Lease 授予临时所有权;每次 Worker 写入都重复校验单调递增的 Fencing Epoch。

  4. Invocation Ledger

    Model/Tool Intent、物理 Attempt、终态证据与未知外部效果不会随进程丢失。

  5. Pending Result

    一个逻辑 Node Result 在 Barrier 前提交;即使兄弟节点或 Worker 崩溃,它仍可被复用。

  6. Barrier

    完整且 Canonical 排序的 Result Set 会原子地生成后继 Checkpoint,并消费相应 Pending Result。

逻辑身份不等于 Worker 身份

一个 Node Activation 属于精确的 Tenant、Run、Graph Namespace、Superstep 与 Node。物理 AttemptId 及其 Worker FencingEpoch 记录谁尝试执行该逻辑工作。恢复过程可以替换物理 Attempt,但不会改变 Result 顺序或暗中创建新的逻辑 Invocation。

数据库事务中绝不执行外部工作

StateKnot 先提交 Intent 或 Attempt Start,关闭事务,再调度 Model、Tool、A2A 或人工工作。返回的证据在后续事务中提交。这既避免长期持有数据库锁,也让每个崩溃边界明确可审计。

数据库变更 Exactly-once 并不等于现实世界副作用 Exactly-once。Tool 在支持时使用 Idempotency Key;无法证明完成状态时保留明确的 Unknown Outcome。

当前恢复逻辑能够做出的决策

Recovery 现在会从 Tenant-scoped 不可变 Registry 重新加载精确 Compiled Graph,重新编译 Canonical Bytes,验证 Checkpoint Binding,再在同一个有效 Fence 下校验 Pending Result 和完整 Attempt History,并将每个 Ready Node 分类为 Completed、Dispatchable、Deferred、In-flight、Failed 或 Exhausted;Node 代码启动前必须先提交 Durable Attempt Start。当所有未完成节点均为 Deferred 时,Store 会把 Lease 原子释放到数据库时间驱动的索引化唤醒中,直接 Claim 也不能提前执行。

可恢复 Driver 现已冻结可执行 Schema、Reducer 与 Node,独立重放每个已提交的非初始 Checkpoint,在 Node 代码运行期间续租,提交 Continue Barrier,并返回类型化 Wait/Terminal/Failure Handoff。接入 Worker Deployment 前请阅读Runtime 集成契约与Agent Loop 契约。