Docs · Start Overview Choose the right entry point and understand the pre-alpha boundary. Docs · Start Getting started Install the pinned toolchain and validate the repository locally. Docs · Start Core contract examples Compile the first Agent, typed Tool, Model stream, and explicit protocol mapping without runtime dependencies. Docs · Start Typed Agent Generate and pin typed schemas, then bind the first-party OpenAI and Anthropic adapters. Docs · Start In-process Agent Run a typed Agent without HTTP while preserving PostgreSQL durability, authorization, recovery, and owned roles. Docs · Start Durable admission Atomically commit authenticated intent, database time, the first event, and the initial checkpoint. Docs · Start Durable runs and results Submit with a durable ingress key, recover the original run, and read a verified public result. Docs · Understand Compile a graph Build a schema-pinned graph, validate its topology, and freeze its canonical digest. Docs · Understand Subgraphs and loops Compose shared-state subgraphs, finite loops, and explicit recovery-safe return paths. Docs · Understand Skill composition Choose capability bundles, shared-state subgraphs, durable child runs, and guarded MCP Skills without creating a second runtime. Docs · Understand Durability model Learn how journal, checkpoint, lease, fence, and recovery evidence fit together. Docs · Understand Durable Graph runtime Register exact executable code, replay noninitial state, and drive deterministic bounded sibling batches under one fence. Docs · Understand Durable Agent Loop Commit lifecycle handoffs and execute one tenant-scoped durable scheduling quantum. Docs · Understand Durable invocations Execute exact model and tool attempts with durable starts, staged ordered Tool coordination, streaming validation, and no-dispatch terminal recovery. Docs · Understand Provider-native Agent Compile and operate the durable multi-turn graph with bounded output repair, ordered parallel read-only Tools, write barriers, policy, accounting, and cancellation evidence. Docs · Integrate Local Rust Tools Generate digest-pinned schemas, register typed local code, and preserve the durable invocation boundary. Docs · Integrate AgentService v1 Authorize and expose exact durable Agent revisions through the versioned embedding boundary. Docs · Integrate Agent HTTP v1 Submit, recover, read and cancel through authenticated bounded JSON HTTP. Docs · Integrate General MCP Tool client Discover and call bounded stateless MCP 2026-07-28 Tools with JSON/SSE, OAuth, custom headers, and mediated MRTR. Docs · Integrate MCP OAuth client Bind one MCP resource to challenge-driven discovery, PKCE, issuer validation, durable credentials, and bounded replay. Docs · Integrate MCP Remote Tool Bind one strict stateless MCP 2026-07-28 Tool with pinned identity, schemas, durable dispatch, and reconciliation. Docs · Integrate MCP Server profile Expose bounded Tools, Resources, Prompts, Completion, and MRTR behind the strict stateless production boundary. Docs · Integrate MCP Skills Publish and activate Final SEP-2640 static Skills with immutable manifests, origin-scoped approval, and verified lazy reads. Docs · Integrate MCP conformance status See the frozen official runner inventory, implemented evidence, and exact boundary of current MCP claims. Docs · Integrate A2A 1.0 Client Discover and pin one agent, call all eleven operations, and reconcile durable unknown sends only through attested remote guarantees. Docs · Integrate Durable artifact storage Materialize terminal A2A parts into immutable PostgreSQL metadata and private integrity-checked object bytes. Docs · Integrate A2A 1.0 Server Expose bounded HTTP+JSON and JSON-RPC/SSE through identity-first policy and a durable service contract. Docs · Integrate A2A conformance status Inspect the frozen official TCK, audited harness patch, exact result, and server-only claim boundary. Docs · Operate Fair scheduling Configure replica-safe weighted tenant selection, exact starvation bounds, rollout, and retention. Docs · Operate PostgreSQL provider Configure, migrate, verify, and test the implemented durability provider. Docs · Operate Host qualification Record bounded capacity, recovery and fault evidence without turning CI into a production SLO claim. Docs · Project Versioning and releases Pin the public alpha exactly and understand compatibility, MSRV, durable-data, and release gates. Docs · Project Implementation status See what is implemented, in progress, and deliberately not claimed. Home Architecture map What exists, what is active, and what remains planned. Home Current cut Implemented slices and explicit gaps. Home Roadmap The path from contracts to a qualified v1. Repository Source code StateKnot/StateKnot on GitHub. Repository RFCs Draft architecture and durable execution contracts. Repository Security policy Private vulnerability reporting and support policy.
↑↓ navigate ↵ open 39 results

Pre-alpha documentation

Persist A2A artifacts as verifiable facts.

Configure StateKnot's immutable PostgreSQL artifact registry, private S3-compatible bytes, direct task polling, authorization-first reads, and integrity verification.

Follow one evidence chain

Durable A2A completion
Executing event → one A2A send → task recovery handle
  → direct GetTask polling (no business resend)
  → bounded terminal parts → unique staging object
  → conditional-create final object → length + SHA-256 verification
  → immutable PostgreSQL registration → authorized verified read

The final key is deterministic for the exact tenant, run, logical invocation, physical attempt, origin event, Tool, remote identities, and part position. Exact retries converge. An existing object with different bytes is an integrity failure, never an overwrite opportunity.

Keep metadata, bytes, and authority separate

Private bytes
Startup performs a real put, conditional copy, read, repeated-copy rejection, and delete probe. A backend that cannot prove immutable final publication is rejected before traffic.
Immutable registry
PostgreSQL binds canonical reference bytes and digest, content length and digest, origin run/event, same-tenant parents, idempotency key, and a private locator. Object I/O never runs inside its transaction.
Authorization first
The exact principal and tenant-qualified identity are authorized before registry lookup, preventing existence or locator disclosure.
Verified resolution
Captured version/ETag preconditions are applied when available. Complete length and SHA-256 verification finishes before any byte is returned.

Build and probe the exact production backend

Rust · current 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 uses the multipart conditional-copy strategy. Other compatible providers may require a documented destination-precondition header and status. Test the exact endpoint, bucket policy, encryption policy, and workload identity; do not infer atomic behavior from an S3-compatible label.

from_env imports only credential-selection variables. Environment endpoints, HTTP enablement, metadata overrides, unsigned requests, retry behavior, bucket/region selection, and encryption settings cannot bypass this builder. Configure a non-default web-identity STS endpoint explicitly through with_https_sts_endpoint.

Treat URL parts as a separate egress boundary

  • Allow only exact production HTTPS origins with explicit IP pins.
  • Revalidate every redirect hop; reject URL credentials and fragments.
  • Disable environment proxies, implicit retries, cookies, automatic redirects, and transparent content decoding.
  • Require identity encoding, consistent media types, and bounded declared and observed lengths.

Literal loopback HTTP is reserved for tests or a managed same-host sidecar. Tool limits further bound artifact count, total bytes, each part, and the completion projection.

Bound resources and operate cleanup explicitly

LimitDefaultHard ceiling
Object operation60 s10 min
Complete remote request120 s10 min
Multipart part8 MiB5–64 MiB
Remote object / resolved read64 MiB1 GiB
Redirects33
Concurrent operations8256

One process-local permit covers each complete ingest or materialized-read path. Configure lifecycle rules for abandoned multipart uploads and stateknot/staging/v1/. Alert whenever staging_cleanup_failures() increases. Never apply a blind age rule to final objects: until registry-aware collection ships, reconcile suspected orphans against PostgreSQL before deletion.

Know what the evidence proves

Tests cover exact retries, tampering, authorization-before-lookup, URL policy, multipart ingestion, full reads, real PostgreSQL registration, migration 17→18, and no-resend terminal-task recovery over both HTTP+JSON and JSON-RPC. Read the complete deployment and verification guide before enabling the boundary.