StateKnot
文档 · 开始 文档概览 选择正确的阅读入口，并了解当前 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 文档

MCP Conformance 声明以证据为界。

查看固定 Runner、全部 32 个计分 Client 与 37 个计分 Server 场景、可复现 CI 门禁，以及精确 Tasks/Stable API 边界。

冻结的评估输入

Runner
@modelcontextprotocol/conformance@0.2.0-alpha.11
Integrity
sha512-imPK9tx5gQsL6ZKQq4MrsyDYfSaIwpRmX6+ogjbeAXs9LGvxkBxWcY7KcS7TvwaBk/ZiVWl6b/naF4q83UwDRA==
Source Identity
c321dd32035556e6769d3724a8ee97d87c3faaac
Requirement Revision
2026-07-28
场景清单
69 个计分场景：37 个 Server、7 个非 OAuth Client、25 个 OAuth Client。
Expected Failure
无。

Observed Result

官方清单场景SuccessSkippedFailure
必需非 OAuth 7 45 11 0
必需 OAuth 25 326 0 0
必需合计 32 371 11 0
官方明确不计分 7 33 6 17

3 个 Metadata Skip 是 StateKnot 没有声明的 Optional Roots、Sampling 与 Elicitation。8 个 Standard Header Skip 属于本 Tool Client 外的 Lifecycle、 Resource 与 Prompt Method。Skip 不计作 Pass，也不会授予能力声明。最后一行 是冻结 Set 明确运行但永不计分的官方 Extension 或发布后新增场景；其 Failure 保持报告，并且不进入 StateKnot 声明。

官方 Server 清单场景SuccessSkippedInfoFailureWarning
必需合计 37 114 5 1 0 0
Pending 且不计分 Gate 3 32 0 0 0 0
已报告 Tasks Extension 10 12 1 0 30 0

5 个 Required Skip 仍是 Optional Capability Branch，1 个 Info 是非 Warning 的 SSE Observation。3 个 Pending Schema/Header Scenario 提供精确 Regression Evidence，但不会放大 37 场景声明。Tasks 未声明、未实现；报告的 Failure 是该 Boundary 的证据，不是 Expected Failure。

复现强制门禁

Shell · 固定官方 Runner 
cd conformance/mcp-client
npm ci --ignore-scripts
cd ../..
bash conformance/mcp-client/run-2026-07-28.sh
bash conformance/mcp-server/run-2026-07-28.sh

脚本构建真实 Rust Driver，并运行完整冻结 Client/Server Inventory。独立 Verifier 强制要求上述全部精确 Count，包括只报告、不声明的 Row。CI 固定 Rust 1.88.0 与 Node.js 24.19.0，且不使用 Expected-failures File。Server Fixture 使用生产 HTTP Transport；StateKnot Registry 与 Policy 另有 Real-HTTP Test。

两个 Tool Surface，两种保证

McpClient 接受官方 Fixture 使用的广泛合法 Tool 形态。McpRemoteTool 继续强制更严格合约：已审核 Input/Output Schema、固定 Server Identity、 已校验 Structured Output、Durable-before-dispatch State，以及 Ambiguous Write 后的显式 Reconciliation。通用 Fixture 通过不会削弱该持久执行合约。

剩余发布门禁

剩余独立门禁包括 Tasks、当前 7 个不计分 Client Extension、Stable SDK/API Review、Release Artifact 与完整 Production Qualification。阅读完整证据报告与官方 Runner 源码。