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

Admit one Agent as an atomic durable fact.

Validate one authenticated Agent intent and atomically commit its database-clock admission, first event, initial checkpoint, Active lifecycle, and scheduler visibility.

Commit the executable boundary once

One PostgreSQL transaction stores the authenticated Agent, request, policy, granted scopes, finite budget, graph, and database time together with the sequence-one agent-admitted event, superstep-zero checkpoint, Active lifecycle, and every scheduler projection. No worker can claim the run between those writes.

The revised scheduler index requires an initial checkpoint. The legacy low-level admit_run API therefore creates an addressable but scheduler-invisible row; new Agent ingress must use the atomic facade.

Freeze every dependency before traffic

Register the standard admission, Graph Driver, and lifecycle schemas plus every application schema before freezing one executable registry. Install the exact graph/reducer/node closure locally and register the same compiled graph for the tenant in PostgreSQL. A retry requires that digest-pinned deployment to remain available.

The public-safe admission event schema is published at https://stknot.com/schemas/runtime/agent-admission-event/1.0.0. Register it through register_standard_agent_admission_event_schema instead of pinning a copied digest.

Retain exact retry authority

Authenticate the principal and evaluate the immutable policy outside this facade. Internal callers of admit allocate one complete AgentRunIds bundle and retain the request bytes; a timeout must reuse all five IDs. User-facing ingress should instead use DurableAgentRuns::submit, which persists the key mapping and permits fresh candidate IDs.

Rust · trusted ingress
let ids = AgentRunIds::generate();
// Persist external_idempotency_key -> ids before the first attempt.

let request = DurableAgentAdmissionRequest::new(
    tenant_id,
    ids,
    agent_descriptor,
    agent_request,
    evaluated_budget_layers,
    graph_reference,
    admission_authority,
    initial_state,
)?;

let retry_bytes = serde_json::to_vec(&request)?;
let outcome = admission.admit(request).await?;

An ambiguous retry probes and verifies committed evidence before applying the current database clock, so an exact request can converge after its original deadline. Changed input, policy, budget, graph, initial state, ready set, event, checkpoint, or identity is a conflict—not a second run.

Reject drift before mutation

  1. Resolve code

    Require the exact executable graph and exact Agent-to-Graph input/output schema binding.

  2. Validate data offline

    Validate typed input, authorization evidence, initial state, and the closed audit event against one frozen JSON Schema 2020-12 registry.

  3. Recheck durable truth

    PostgreSQL independently verifies graph registration, entry nodes, checkpoint shape, database-time budget admissibility, and every immutable event/checkpoint projection.

Schema rejection, deadline expiry, graph drift, and an injected late transaction failure leave no run, event, checkpoint, admission, or scheduler residue.

Protect the admission snapshot

Admission bytes may contain user input, trusted instructions, principal attributes, authorization evidence, and policy limits. Use least-privilege roles, verified TLS, encrypted backups, tenant isolation, access auditing, and an explicit retention policy. Digests prove identity; they do not authenticate a principal or make data secret. The first journal event is deliberately public-safe correlation metadata only.

Qualification evidence

The PostgreSQL 16/17 matrix runs mandatory provider and durable Runtime integration suites. Admission coverage includes migration 15, exact retry after time-sensitive boundaries, changed-intent and tamper rejection, invalid-state rollback with zero residue, 24-way convergence, and runtime rejection of Agent/Graph or authorization-schema drift before any write. Read the complete integration and rollout contract before adopting this exact public-preview surface.