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

把 A2A Artifact 持久化为可验证事实。

配置 StateKnot 不可变 PostgreSQL Artifact Registry、私有 S3-compatible Bytes、直接 Task Poll、Authorization-first Read 与完整性校验。

沿一条证据链执行

A2A 完成结果持久化
Executing Event → 一次 A2A Send → Task Recovery Handle
  → 直接 GetTask Poll(不重发业务 Message)
  → 有界 Terminal Part → 唯一 Staging Object
  → Conditional-create Final Object → Length + SHA-256 校验
  → 不可变 PostgreSQL Registration → 已授权、完整校验的 Read

Final Key 由精确 Tenant、Run、Logical Invocation、Physical Attempt、Origin Event、Tool、Remote Identity 与 Part Position 确定性生成。Exact Retry 会收敛; 已有 Object 若包含不同 Bytes,会触发 Integrity Failure,绝不允许覆盖。

分离 Metadata、Bytes 与 Authority

私有 Bytes
Startup 会真实执行 Put、Conditional Copy、Read、Repeated-copy Rejection 与 Delete Probe。无法证明 Immutable Final Publication 的 Backend 会在接收 Traffic 前被拒绝。
不可变 Registry
PostgreSQL 绑定 Canonical Reference Bytes/Digest、Content Length/Digest、 Origin Run/Event、Same-tenant Parent、Idempotency Key 与 Private Locator; Transaction 内不执行 Object I/O。
Authorization First
在 Registry Lookup 前授权精确 Principal 与 Tenant-qualified Identity,避免 Artifact 存在性或 Locator 泄露。
Verified Resolution
若 Provider 提供 Version/ETag,就应用已捕获的 Precondition;完整 Length 与 SHA-256 校验结束前不返回任何 Byte。

构建并探测精确生产 Backend

Rust · 当前 Pre-alpha API
let objects = S3CompatibleBackendBuilder::from_env(bucket, region)?
    .with_https_endpoint(endpoint)?
    .with_conditional_copy(S3ConditionalCopy::AmazonMultipart)
    .with_sha256_checksum()
    .with_kms_key_id(kms_key)?
    .build()?;

let artifacts = Arc::new(StateKnotArtifactStore::initialize(
    objects,
    Arc::new(postgres_store.clone()),
    Arc::new(read_authorizer),
    "production-artifacts-v1",
    options,
).await?);

let remote = A2aRemoteAgent::bind_with_durable_artifacts(
    descriptor, client, "answer", delivery, recovery, schemas, artifacts,
)?;

AWS S3 使用 Multipart Conditional-copy Strategy。其他兼容 Provider 可能要求 文档规定的 Destination-precondition Header/Status。必须测试实际 Endpoint、Bucket Policy、Encryption Policy 与 Workload Identity,不能从 “S3-compatible” 标签推断 Atomic Behavior。

from_env 只导入 Credential-selection Variable。环境中的 Endpoint、 HTTP Enablement、Metadata Override、Unsigned Request、Retry Behavior、Bucket/Region Selection 与 Encryption 设置无法绕过 Builder。非默认 Web-identity STS Endpoint 必须通过 with_https_sts_endpoint 显式配置。

把 URL Part 作为独立 Egress Boundary

  • 只批准带显式 IP Pin 的精确生产 HTTPS Origin。
  • 重新校验每一跳 Redirect;拒绝 URL Credential 与 Fragment。
  • 禁用环境 Proxy、隐式 Retry、Cookie、自动 Redirect 与透明 Content Decoding。
  • 要求 Identity Encoding、Media Type 一致,以及声明和实测 Length 均保持有界。

Literal Loopback HTTP 只用于测试或受控 Same-host Sidecar。Tool Limit 还会约束 Artifact Count、Total Bytes、每个 Part 与 Completion Projection。

显式限制资源并运维 Cleanup

Limit默认值Hard Ceiling
Object Operation60 s10 min
完整 Remote Request120 s10 min
Multipart Part8 MiB5–64 MiB
Remote Object / Resolved Read64 MiB1 GiB
Redirect33
Concurrent Operation8256

一个 Process-local Permit 覆盖每条完整 Ingest 或 Materialized-read 路径。必须为 Abandoned Multipart Upload 与 stateknot/staging/v1/ 配置 Lifecycle Rule,并在 staging_cleanup_failures() 增长时告警。 不能对 Final Object 采用盲目按年龄删除;Registry-aware Collection 完成前,删除 疑似 Orphan 前必须与 PostgreSQL 对账。

明确证据所能证明的范围

测试覆盖 Exact Retry、Tampering、Authorization-before-lookup、URL Policy、 Multipart Ingestion、完整 Read、真实 PostgreSQL Registration、Migration 17→18, 以及 HTTP+JSON/JSON-RPC 两种 Binding 下 No-resend Terminal-task Recovery。启用前请阅读完整部署与验证指南。