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 文档

判断 API 形态前，先看实现状态。

StateKnot 仍处于 pre-alpha：有界 MCP Client/Server、静态 MCP Skills Server 与 Client/Host、A2A 1.0 Client/Server Profile 已加入可恢复 Provider-native Path；Dynamic Skills、稳定 Network Agent API、A2A gRPC、MCP Tasks、高级 Graph 语义与生产验证仍未完成。

能力矩阵

  • 已实现

    有界宿主验证证据

    公共 Alpha stateknot-testkit 管理单调计时阶段、有界 HDR 延迟分布、受检安全计数、封闭故障矩阵与规范化完整性封装。PostgreSQL 16/17 缩减配置走真实宿主准入、SSE、运维读取、依赖恢复和滚动替换，但始终不是发布证据；参考负载、浸泡测试、故障切换和来源证明仍待完成。

  • 已实现

    受保护的只读宿主运维接口

    独立接管 loopback 监听器，强制 InspectHost scope/权限与独立的过期调用方策略。业务故障时仍可授权查看脱敏状态和计数，身份验证、请求、连接及停机均有界。PostgreSQL 16/17 与专属真实 TLS 身份验证；无匿名探针、管理写操作或容量/SLO 声明。

  • 已实现

    同进程 Agent 宿主生命周期

    统一接管实际接入、Worker 和维护绑定，提供独占认领、有序启动、逐请求兄弟角色门禁及 HTTP → Worker → 维护停机回收。PostgreSQL 16/17 与真实 TLS 身份组合验证；跨进程滚动上线和实测容量 SLO 仍待完成。

  • 已实现

    无 HTTP 的强类型 Agent Runner

    通过一次有界强类型 Run 调用使用真实可恢复 Service、Tenant Worker 与 Maintenance。调用方持有 Submission Key，强制 PostgreSQL 准入、鉴权、超时不取消、同 Key 恢复、终态 Provenance/Accounting 校验、兄弟角色 Fail-stop 监督和 Join 关闭；生产网络服务继续迁移到 AgentHost。

  • 已实现

    独立 Agent 维护任务生命周期

    按明确授权的租户轮询截止时间取消、子 Run 取消传播与结算、Join 发布及失败收敛。保留失败页游标，检查真实依赖，限制时限并回收停机任务；PostgreSQL 16/17 验证持久化效果及 SIGKILL 恢复。不自动清理历史数据，完整多角色容量验证仍待进行。

  • 已实现

    独立持久执行 Worker 生命周期

    管理具体租户或公平调度器，提供固定槽位、实际依赖与宿主就绪检查、有限退避和期限，以及包含 Graph 节点的停机回收。PostgreSQL 16/17 验证新进程终态重放与公平序号连续性；维护任务及完整多角色生产部署验证仍独立进行。

  • 已实现

    声明式 Agent 资源授权

    精确租户、身份、Agent、Schema 与运行选择器，显式租户运维权限、预算限制、固定摘要的策略文件及确定性 Admission 证据。支持有时效的原子更新，无关权限变化不破坏提交恢复。真实 PostgreSQL 16/17 与 Keycloak 验证；不推断所有权，也不新增读取审计账本。

  • 已实现

    真实身份接入与过期租户策略

    固定 HTTPS OAuth 令牌内省、精确声明与权限交集、密钥轮换、默认拒绝的租户映射原子更新及过期检查。真实 Keycloak 验证轮换、撤销、跨租户拒绝、就绪恢复和 SSE 回收；资源授权仍强制，完整生产部署验收未完成。

  • 已实现

    本地 JWT 访问令牌验证 · 当前源码

    按 RFC 9068 验证 at+jwt/RS256，使用运营方可信分发的 JWKS，支持有期限的 CAS 公钥轮换、有界签名任务及精确字段检查。共用租户策略并强制独立资源授权。PostgreSQL 16/17 验证密钥移除、SSE 关闭、过期恢复与新验证器准入重放；可信公钥分发由部署方负责。

  • 已实现

    HTTP 接入运行角色与优雅停机

    接管本机监听器，校验实际 Schema、可执行注册表及强制宿主依赖就绪；证据失效时拒绝新业务，限制连接资源并回收优雅排空或强制关闭的任务。通过 PostgreSQL 16/17 故障测试，不自动启动 Worker、不暴露匿名健康入口、不宣称稳定版。

  • 已实现

    Agent 活动 SSE 与断线续传

    显式启用的认证活动通知，精确 PostgreSQL 游标、新进程后缀恢复、独立状态快照、持续授权检查、有界队列和连接时限，以及仅隔离状态变化通知。不等于 Token 流或完整历史状态重建。

  • 已实现

    Agent HTTP v1 JSON 接入

    强制凭据验证与资源授权，持久化提交、读取、按键找回和两阶段取消，有限资源上限与停机控制，并在 PostgreSQL 16/17 上验证真实 HTTP 响应丢失恢复。不内联执行，也不宣称稳定版。

  • 已实现

    Core 领域合约

    有界 Canonical 类型、四个通过 MSRV 编译并锁定 Runtime-neutral 依赖边界的公共合约示例，以及 Root Graph 编译校验和确定性 Route/Reducer/Successor Barrier Planning。RFC-0001 仍为 Draft。

  • 已实现

    PostgreSQL 持久化切片

    PostgreSQL 16/17 迁移、Journal、Checkpoint、Lease、Ledger、Barrier、Wait、Outbox、Quarantine、延迟唤醒、Pinned Graph 与持久化 Fairness Reservation。

  • 已实现

    原子 Agent Admission

    不可变已认证 Intent、确定性有限 Budget、数据库时钟 Admission、首 Event、初始 Checkpoint、Scheduler Visibility、精确 Retry 与完整校验 Load。

  • 已实现

    可恢复 Agent Run 与 Result

    Tenant-scoped 持久化 Ingress Key、Fresh-candidate Retry 收敛、Conflict Detection、经过验证的公开 Lifecycle Snapshot 与 Success/Failure/Cancellation Outcome。

  • 已实现

    可恢复 Graph Driver

    离线可执行 Schema/Reducer/Node 闭包、完整 Checkpoint State 与有界非初始 Replay 验证、Durable-before-dispatch 执行、Canonical Journal-isolated Sibling Batch、Near-expiry Lease Refresh、单调 Renewal、持久化取消请求轮询、Continue Barrier 与类型化 Lifecycle Handoff。

  • 已实现

    Lifecycle 与可恢复 Agent Loop

    原子 Wait/Success/Failure/Cancellation Handoff Commit、可信 Lifecycle Evidence 校验、精确 Lost-ACK Recovery、有界 Exact-fence Cleanup 与一次 Tenant-scoped Scheduler Quantum。

  • 已实现

    可恢复 Model/Tool 执行

    精确不可变 Provider Registry、可信 Budget Admission、Durable-before-dispatch Attempt、Unary 与 Durably-sunk Streaming Model、Tool Ambiguity、有界 Provider Reconciliation 和 No-dispatch Terminal Recovery。

  • 已实现

    跨租户公平调度

    Replica-global Smooth Weighted Reservation、精确 Cycle Share、显式 Reservation-count Starvation Bound、Concurrency-safe Lost-ACK Recovery 与有界 Retention。

  • 已实现

    强类型 Agent 与第一方 Model Adapter

    自动生成并 Canonical Digest-pinned 的 Input/Output Schema、离线 Provider-profile Binding、有界类型化 Codec，以及带显式 Transport Control 的 OpenAI Responses 与 Anthropic Messages Unary/SSE Adapter。

  • 已实现

    Provider-native Agent Graph

    Digest-pinned 预置多轮 Model/Tool Graph，支持串行或有界 Parallel Read-only Tool、串行 Write Barrier、Provider-native Transcript Recovery、有界可恢复 Structured-output Repair、本地 Policy Evidence、精确 Accounting、不重复 Business Call 的 Unknown-to-Pending 自动 Reconciliation 与两阶段 Cancellation Confirmation。

  • 已实现

    AgentService v1 嵌入式边界

    精确版本 Deployment Binding、授权先于 Deployment/Run/Key 存在性披露、Tenant-scoped Submission Recovery、Verified Read 与由调用方保留 Identity 的两阶段取消。

  • 已实现

    严格 MCP Remote Tool Profile

    一个 MCP 2026-07-28 Client-side Tool Binding，支持 Modern Stateless Discovery、Complete JSON Transport、精确 Local Schema/Server Pin、Attempt-scoped Authorization、Durable-before-dispatch PostgreSQL State、No-redispatch Ambiguity 与权威 Reconciliation。

  • 已实现

    通用 Stateless MCP Tool Client

    有界 Discovery/Pagination、JSON 与 Request-scoped SSE、标准与嵌套 Custom Header、无效 Tool 隔离、禁止网络 Schema Dereference、精确 MRTR 与冻结官方 Client 门禁。

  • 已实现

    MCP OAuth Client Authorization

    Challenge-driven Protected-resource/Authorization-server Discovery、Pre-registration/CIMD/DCR、PKCE、精确 Issuer/Callback 校验、有界 Scope/Replay、Durable Store Interface，以及全部 25 个计分 OAuth 场景。

  • 已实现

    MCP Server Profile

    严格 Stateless HTTP，加 StateKnot-owned Immutable Tools、Resources、Resource Templates、Prompts、Optional Completion 与 MRTR，并执行 Authorization-first Policy；全部 37 个计分 Server 场景以 0 Failure、0 Warning 通过。

  • 已实现

    MCP Skills Profile

    Final SEP-2640 静态 Server 与 Client/Host Profile：不可变精确字节 Manifest、Authorization-first Disclosure 与有界校验。Schema 26 持久化精确 Run-scoped Activation Approval 与数据库时钟 Acting Window，支持稳定重试 ID、重启恢复、Nested Parent Lock 与不可变撤销。精确版本 Tool Adapter 会在 Provider I/O 前让新的不含 Payload Receipt 与撤销串行化；后续撤销不会追回已经提交的授权。

  • 已实现

    A2A 1.0 Client 与可恢复 Remote Agent

    全部 11 个 HTTP+JSON/JSON-RPC Operation、两个有界 SSE Surface、精确 Card/Interface Pin、有界 Bearer/OAuth2/OpenID Security、本地 Schema、显式 Delivery Semantics，以及面向 PostgreSQL-backed Unknown Attempt、由运维方背书的 Context/History 或 Message-ID Recovery。

  • 已实现

    A2A Artifact 持久化存储

    直接且 No-resend 地轮询已接纳 Task、Migration 18 不可变 PostgreSQL Registry、私有 S3-compatible Conditional Publication、Authorization-before-lookup，以及完整 Length/SHA-256 校验。

  • 已实现

    A2A 1.0 Server Profile

    StateKnot-owned 有界 Agent Card/Message/Task/Artifact/Push 合约位于严格 HTTP+JSON 与 JSON-RPC/SSE Policy 后；官方 TCK 177 Pass、88 声明 Skip、0 Failure/Error/Xfail。

  • 已实现

    共享状态子图与有界循环

    静态嵌套、精确 Schema/Reducer Pin、隔离且有序的节点/路线身份、显式返回与耗尽、Pending Result 与 Wait 恢复，以及派发前全图步数上限处理；不包含独立子 Run 生命周期。

  • 开发中

    高级执行与 Service Boundary

    已实现独立子归属/准入、累计预算预留、Join 挂起/发布/唯一消费、取消、Deadline 与失败关闭。PostgreSQL 16/17 CI 在成功 Join 的八个边界及 Deadline Cancel-and-join 的九个边界强制终止新进程；六格歧义 COMMIT 矩阵验证 Join 注册/发布和 Deadline 取消，五个独立两格矩阵分别验证子准入、含真实 Wait 清理的取消投递、子结算、按直接与子级用量精确记账的父 Run 终态收口，以及含非初始图重放的 Join 结果原子消费。隔离的 pg_dump/pg_restore 逻辑恢复与物理基础备份/WAL 命名恢复点演练验证一条已消费子 Join 路径。完整灾备、故障切换、Provider 效果、同 Run 嵌套命名空间、稳定网络传输及容量验证仍未完成。

  • 尚未发布

    稳定 Network Agent API

    嵌入式服务与经过认证的有界 JSON HTTP 接入已随精确版本 0.1.0-alpha.1 公共预览发布，但稳定 HTTP/SSE API 与生产支持声明仍不存在；预览兼容性遵循已发布的版本策略。

  • 尚未发布

    MCP Client Extension 与 A2A Qualification

    Dynamic MCP Skills Manifest、Skill Byte 的 Disk Materialization 与自动 Discovery-to-Agent 组合，MCP Tasks 和其他 Client Extension，Stable SDK-tier 证据，A2A Client Live-peer/Conformance 与 Recovery-attestation Qualification，以及 A2A gRPC 尚未交付。Activation/Window Metadata 与逐次授权凭证均已持久化。

  • 尚未发布

    生产 Server 与运维

    完整 HTTP/SSE 角色部署、更广身份与资源策略生产验收、可观测性、角色隔离、通用保留策略、故障切换、恢复、OCI 交付与发布验收尚未完成。

“已实现”的准确含义

仓库中存在代码与可执行测试。产品 Crate 已随精确版本 0.1.0-alpha.1 公共预览发布，但这不代表 API 稳定、生产运维门禁通过或生产支持已经开始。一个 v1 能力只有在实现、测试、文档、兼容性证据与发布门禁同时交付后才算正式支持。 依赖预览版本前请先阅读版本与发布策略。

下一条验证边界

32-Case Runtime Matrix 现在已经在 PostgreSQL 16/17 上证明真实 Sibling Overlap、 Canonical Commit、Higher-fence Orphan Takeover、有序 Read-only Tool Wave 与串行 Write Barrier。 严格 MCP Binding 保留端到端 PostgreSQL Recovery 证据。独立通用 Tool Client 与 OAuth Provider 现已通过全部 32 个冻结计分 Client 场景，其中包括全部 25 个 OAuth 场景：371 项计分 Assertion Success、0 Failure。Server Profile 通过 全部 37 个计分 Server 场景：114 Success、5 Skip、1 Info、0 Failure、0 Warning。A2A 1.0 Server 门禁另有 177 项官方 TCK Pass、88 项声明 Skip、0 Failure/Error/Xfail。可恢复 A2A Client 现已增加 11-Operation、Dual-binding Loopback Matrix，以及真实 PostgreSQL Durable-before-dispatch/Unknown/ No-redispatch 证据，并加入有界、由运维方背书的 Context/History 与 Message-ID Recovery。可恢复 Terminal-task Recovery 现在能对两种 Binding 直接轮询且不重发业务 Message；Migration 17→18、不可变 Registry、Conditional Object Publication、Multipart Ingestion、Authorization-first Read 与完整 Digest 校验都具备可执行 PostgreSQL/Object-store 证据。官方 Client/Live-peer 与 Recovery-attestation Qualification、Dynamic MCP Skills、Skill Byte Materialization、MCP Tasks 和其他 Client Extension 仍是独立门禁。

项目权威来源