Pre-alpha 文档
文档必须跟得上代码。
StateKnot 文档严格区分已实现证据、正在进行的设计工作,以及规划中的 v1 能力。
选择阅读路径
安装公共 Alpha
精确固定 0.1.0-alpha.1,并在采用前阅读兼容性、MSRV、持久化数据与发布契约。
阅读发布策略验证仓库
安装项目锁定的 Rust 工具链,执行与 CI 相同的格式、Lint、测试和文档门禁。
开始本地验证构建强类型 Agent 合约
生成并固定 Input/Output Schema,离线绑定 Provider Profile,并构造第一方 OpenAI Responses 与 Anthropic Messages Adapter。
构建类型合约原子接纳 Agent
把已认证 Intent、有限 Budget、数据库时间、首 Event 与初始 Graph Checkpoint 绑定为一个支持幂等重试的持久化记录。
集成持久化准入提交并读取可恢复 Run
持久化一次 Tenant-scoped Idempotency Decision,在响应丢失后恢复原 Run,并读取经过验证的 Terminal Result。
集成 Run 与 Result暴露 AgentService v1
在披露资源是否存在前授权精确 Agent Revision,恢复持久化 Submission,读取已校验 Run,并请求两阶段取消。
集成 Service编译确定性 Graph
运行持续维护的 Rust 示例,理解 Compiler 的 Fail-closed 校验,并注册一个精确不可变的 Definition。
构建 Graph理解持久执行
跟随一个 Run 经过 Journal、不可变 Checkpoint、Lease/Fence、Pending Result、Barrier 与恢复。
阅读执行模型驱动可恢复 Graph
冻结可执行 Schema、Reducer 与 Node,重放非初始 Checkpoint,并在同一个 Fence 下运行 Canonical 有界 Sibling Batch。
集成 Driver运行可恢复 Agent Loop
把 Lifecycle Evidence、原子 Wait/Terminal/Failure/Cancellation Commit 与 Tenant-scoped Scheduler Tick 接入已经验证的 Driver。
集成 Agent Loop执行可恢复调用
冻结精确 Model/Tool Provider,在外部 I/O 前提交物理 Start,校验 Stream,并在不 Redispatch 的前提下重试 Terminal Persistence。
集成可恢复调用调用通用 MCP Tool
发现有界 Stateless MCP 2026-07-28 Tool Catalog,消费 JSON/Request-scoped SSE,并安全介入 Multi-round Input。
使用 Tool Client授权一个 MCP Resource
集成 Challenge-driven OAuth Discovery、PKCE、精确 Issuer/Callback 校验、有界 Replay 与持久化 Credential Store。
配置 OAuth绑定一个 MCP Remote Tool
只发现一次严格 Stateless MCP 2026-07-28 Tool,固定 Identity 与 Schema,并保留不确定 Write Outcome。
集成 MCP暴露 MCP Server
冻结有界 Tool、Resource 与 Prompt Catalog,授权解码后的 Operation,介入 MRTR,并挂载一个严格 Stateless HTTP Service。
构建 Server Profile调用可恢复 A2A Agent
冻结 Agent Card 与本地 Contract;保留 Unknown Send,或只依据明确背书的远端保证执行 Reconciliation。
集成 A2A Client持久化 Artifact
不重发 Message,直接轮询已接纳的 A2A Task,再把 Terminal Part 绑定到不可变 PostgreSQL Metadata 与私有、经过校验的 Object Bytes。
配置 Artifact Storage运行 Provider-native Agent
编译一套 Pinned 多轮 Model/Tool Graph,在 Write Barrier 之间有界并行 Read-only Tool,并在不重复 Dispatch 的前提下恢复 Transcript。
集成 Agent Graph公平调度租户
编译不可变 Weight、预约一条 Replica-global 顺序、检查精确 Starvation Bound,并保留 Lost-ACK Evidence。
配置公平调度运维 PostgreSQL
查看已实现 Provider 的安全默认值、迁移顺序、运维边界与强制集成测试路径。
打开运维指南核对项目声明
在依赖某个 API 或协议能力前,区分已实现代码、正在开发的能力与 v1 范围。
查看实现状态当前文档覆盖范围
- Core 合约
- Agent、Model、Tool、Run、Compiled Graph、确定性 Barrier、Checkpoint、Invocation、Wait、Result 与恢复证据的类型安全、有界领域值。
- PostgreSQL 持久化
- 精确迁移、Journal 与 Checkpoint 完整性、Lease/Fencing、Invocation Ledger、Pending Result、Barrier、持久化等待、Outbox、隔离与 Ready-node 恢复规划、索引化延迟重试唤醒,以及 Tenant-scoped 不可变 Graph Registry。
- 可恢复 Graph Runtime
- 离线可执行注册、独立有界 Replay、Durable-before-dispatch Node 执行、Lease Renewal、自动 Continue Barrier 与类型化 Lifecycle Handoff。
- Lifecycle 与 Agent Loop
- 可信 Terminal Evidence、数据库时间 Wait Registration、原子 Success/Failure Transition、精确 Lost-ACK 收敛、有界 Cleanup 与一次 Tenant-scoped Scheduler Quantum。
- 原子 Agent Admission
- 已认证不可变 Intent、确定性有限 Budget、数据库时钟 Commit、Sequence-one Audit Event、Superstep-zero Checkpoint、精确 Lost-ACK Retry 与对持久化记录的完整校验与读取。
- 可恢复 Agent Run 与 Result
- Tenant-scoped Ingress Idempotency、Fresh-ID Retry 收敛、经过验证的公开 Lifecycle Snapshot、Terminal Result,以及 Fail-closed Run/Key Lookup。
- AgentService v1
- 精确版本 Deployment Binding、授权先于存在性披露、持久化 Submission Recovery、Verified Read,以及由调用方保留 Identity 的两阶段取消。
- 强类型 Agent 与 Provider Adapter
- 自动生成并 Canonical Digest-pinned 的 Input/Output Schema、离线 Provider Profile Binding、有界类型化 Request/Result 校验,以及第一方 OpenAI Responses 与 Anthropic Messages Unary/SSE Transport。
- 通用 MCP Tool Client
- 有界 Stateless Discovery/Pagination、JSON/Request-scoped SSE、标准与嵌套 Custom Header、无效 Tool 隔离、Request-scoped Authorization、禁止网络 Schema Dereference,以及精确 Multi-round Request State。
- 严格 MCP Remote Tool
- MCP 2026-07-28 Modern Discovery、Stateless Complete-JSON Transport、精确 Local Schema/Server-identity Pin、Attempt-scoped Authorization 与 Reconciliation-first Lost-write 行为。
- A2A Client 与可恢复 Remote Agent
- 严格 Agent Card/Interface Discovery、全部 11 个 HTTP+JSON/JSON-RPC Operation、两个有界 SSE Surface、Attempt-scoped Bearer Authorization、本地 Schema Authority、显式 Delivery Semantics,以及 PostgreSQL-backed Unknown/No-redispatch Recovery。
- A2A Artifact 持久化存储
- 直接且 No-resend 的 Task Recovery、有界 Terminal-part Ingestion、不可变 PostgreSQL Metadata、私有 Conditional Object Publication、Authorization-before-lookup, 以及完整 Length/SHA-256 校验。
- 架构决策
- 约束实现的 RFC 草案与验收场景;Draft 不是稳定的兼容性承诺。
公共 Alpha API 文档
docs.rs 提供精确版本 stateknot 0.1.0-alpha.1 文档。审查尚未发布的变更时,请从对应的精确代码版本生成 API 文档:
RUSTDOCFLAGS="-D warnings" cargo doc --workspace --all-features --no-deps --locked --open