# docket v0.1.1 - Table of Contents

> Durable, graph-based workflow execution for long-running, interruptible work like agentic LLM sessions.

## Pages

- [Docket](readme.md)
- [Changelog](changelog.md)
- [Delivery and Execution Guarantees](delivery-guarantees.md)
- [Docket.Postgres Operations and Correctness Guide](postgres-operations.md)
- [Docket telemetry](telemetry.md)
- [Backend tests](backend-conformance.md)
- [PostgreSQL ClaimPolicy boundary](architecture-docket-claim-policy.md)
- [Migrating from Docket 0.0.1 to 0.1.0](architecture-migration-0.0.1-to-0.1.0.md)
- [Parent App Integration Example](example-parent-app-integration.md)
- [LLM Node Example](example-llm-node.md)

## Modules

- [Docket](Docket.md): Public entry point for durable graph operations.
- [Docket.Backend](Docket.Backend.md): Bundle contract for a durable Docket backend.
- [Docket.Backend.EventStore](Docket.Backend.EventStore.md): Persistence contract for append-only run events.
- [Docket.Backend.GraphStore](Docket.Backend.GraphStore.md): Persistence contract for tenant-owned effective graph versions.
- [Docket.Backend.RunStore](Docket.Backend.RunStore.md): Persistence contract for the durable run aggregate.
- [Docket.Checkpoint](Docket.Checkpoint.md): Read-only description of an already committed runtime transition.
- [Docket.Checkpoint.Context](Docket.Checkpoint.Context.md): Context passed to observers and processless test sinks alongside each
checkpoint.
- [Docket.Checkpoint.Observer](Docket.Checkpoint.Observer.md): Best-effort notification of an already-committed durable checkpoint.
- [Docket.Event](Docket.Event.md): Append-only fact about run lifecycle, node execution, channel updates,
edge triggers, and interrupts.
- [Docket.EventPage](Docket.EventPage.md): One page of retained run events with the retention bounds observed
alongside it.
- [Docket.Executor](Docket.Executor.md): Adapter boundary for executing one runtime graph node activation.
- [Docket.Executor.Local](Docket.Executor.Local.md): Synchronous local executor: calls the node module directly in the
activation's dispatcher task.
- [Docket.Graph](Docket.Graph.md): Canonical, editable graph document used by host applications.
- [Docket.Graph.Compiler](Docket.Graph.Compiler.md): Public verification and runtime materialization entry point.
- [Docket.Graph.Diagnostic](Docket.Graph.Diagnostic.md): A public graph diagnostic.

- [Docket.Graph.Edge](Docket.Graph.Edge.md): Editable public edge between graph endpoints.

- [Docket.Graph.Field](Docket.Graph.Field.md): Public input or state field in a graph document.

- [Docket.Graph.Node](Docket.Graph.Node.md): Editable public graph node.
- [Docket.Graph.Output](Docket.Graph.Output.md): Public output projection from graph fields.

- [Docket.GraphRef](Docket.GraphRef.md): Stable reference to one saved, content-addressed graph version.
- [Docket.GraphVersion](Docket.GraphVersion.md): Lightweight metadata for one retained saved graph version.
- [Docket.GraphVersionPage](Docket.GraphVersionPage.md): One newest-first page of retained graph-version metadata.
- [Docket.Guard](Docket.Guard.md): Durable guard expression descriptors evaluated on graph edges.
- [Docket.Interrupt](Docket.Interrupt.md): Interrupt request returned by node code to pause a run for external input.
- [Docket.Node](Docket.Node.md): Behaviour implemented by executable node modules.
- [Docket.Postgres](Docket.Postgres.md): The complete PostgreSQL backend bundle for a durable Docket runtime.
- [Docket.Postgres.AdmissionPhase](Docket.Postgres.AdmissionPhase.md): Coordinates the admission preference shared by one PostgreSQL backend instance.
- [Docket.Postgres.ClaimPolicy](Docket.Postgres.ClaimPolicy.md): Instance-resolved PostgreSQL admission-plan boundary.
- [Docket.Postgres.ClaimPolicy.Legacy](Docket.Postgres.ClaimPolicy.Legacy.md): Tenant-blind PostgreSQL admission engine.
- [Docket.Postgres.ClaimPolicy.Plan](Docket.Postgres.ClaimPolicy.Plan.md): One implementation-owned, data-only PostgreSQL admission operation.
- [Docket.Postgres.ClaimPolicy.WindowedInterleave](Docket.Postgres.ClaimPolicy.WindowedInterleave.md): Statistically-fair PostgreSQL admission engine.
- [Docket.Postgres.EventStore](Docket.Postgres.EventStore.md): Postgres append-only persistence for already-assigned runtime events.
- [Docket.Postgres.GraphCache](Docket.Postgres.GraphCache.md): Optional node-local cache of compiled runtime graphs and known-incompatible
graph versions.
- [Docket.Postgres.GraphCache.Contract](Docket.Postgres.GraphCache.Contract.md): Contract for a vehicle graph cache.
- [Docket.Postgres.GraphStore](Docket.Postgres.GraphStore.md): Postgres storage for immutable, content-addressed durable graphs.
- [Docket.Postgres.Migration](Docket.Postgres.Migration.md): Creates and versions the tables owned by Docket's PostgreSQL backend.
- [Docket.Postgres.MomentStore](Docket.Postgres.MomentStore.md): PostgreSQL-native one-statement commitment for a claimed runtime moment.
- [Docket.Postgres.Notifier](Docket.Postgres.Notifier.md): LISTEN fast path turning committed immediate-wake notifications into
dispatcher polls.
- [Docket.Postgres.Pruner](Docket.Postgres.Pruner.md): Periodic, bounded retention for Postgres events, terminal runs, and graph versions.
- [Docket.Postgres.RunCodec](Docket.Postgres.RunCodec.md): Maps one durable `Docket.Run` to its Postgres row.
- [Docket.Postgres.RunStore](Docket.Postgres.RunStore.md): Postgres persistence for the durable run aggregate and its operational
delivery state.
- [Docket.Postgres.Schemas.Event](Docket.Postgres.Schemas.Event.md): Row schema for `docket_events` — append-only run facts, mirroring
`Docket.Event`.
- [Docket.Postgres.Schemas.Run](Docket.Postgres.Schemas.Run.md): Row schema for `docket_runs`.
- [Docket.Postgres.Telemetry](Docket.Postgres.Telemetry.md): Bounded metric-label projections for PostgreSQL backend telemetry.
- [Docket.Postgres.Vehicle](Docket.Postgres.Vehicle.md): Ephemeral execution shell for one claimed run.
- [Docket.Reducer](Docket.Reducer.md): Public reducer descriptors for graph state fields, plus the pure reduction
engine the runtime applies at every commit.
- [Docket.Run](Docket.Run.md): Durable execution state for one graph run.
- [Docket.Run.ChannelState](Docket.Run.ChannelState.md): Committed state of one runtime channel inside a `Docket.Run`.
- [Docket.Run.Failure](Docket.Run.Failure.md): Durable, JSON-safe description of a terminal graph failure.
- [Docket.Run.InterruptState](Docket.Run.InterruptState.md): Committed state of one interrupt on a `Docket.Run`.
- [Docket.Run.PendingWrite](Docket.Run.PendingWrite.md): Completed result of one task in the active superstep, held on
`Docket.Run.pending_writes` until the superstep's update barrier.
- [Docket.Run.TaskState](Docket.Run.TaskState.md): Durable description of one node execution attempt.
- [Docket.Run.TimerState](Docket.Run.TimerState.md): Durable future wake owned by the run document.
- [Docket.RunInfo](Docket.RunInfo.md): Substrate-neutral operational projection of one durable run.
- [Docket.RunPage](Docket.RunPage.md): One newest-first page of lightweight durable run summaries.
- [Docket.RunSummary](Docket.RunSummary.md): Lightweight projection of one durable run for collection reads.
- [Docket.Runtime.Graph](Docket.Runtime.Graph.md): Internal executable graph materialization produced by `Docket.Graph.Compiler`.
- [Docket.Runtime.Graph.Channel](Docket.Runtime.Graph.Channel.md): Internal runtime channel definition.
- [Docket.Runtime.Graph.Lowering](Docket.Runtime.Graph.Lowering.md): Required lowering metadata mapping runtime IDs back to public graph intent.
- [Docket.Runtime.Graph.Node](Docket.Runtime.Graph.Node.md): Internal runtime node definition.
- [Docket.Runtime.Moment](Docket.Runtime.Moment.md): Substrate-neutral pre-commit value for exactly one runtime transition.
- [Docket.Runtime.RunMutation](Docket.Runtime.RunMutation.md): Pure, named mutations of an already-committed `Docket.Run`.
- [Docket.Runtime.Supervisor](Docket.Runtime.Supervisor.md): Supervision tree for one named Docket runtime instance.
- [Docket.Schema](Docket.Schema.md): Serializable schema IR used by graph fields and node contracts.
- [Docket.Telemetry](Docket.Telemetry.md): Live `:telemetry` emission for run events.
- [Docket.Test](Docket.Test.md): Inline test runtime: executes graph transitions in the calling process
using the same loop, algorithm, validation, reducer, and
checkpoint-building code as backend execution vehicles.

- Exceptions
  - [Docket.Error](Docket.Error.md): Public typed error returned by runtime and execution APIs.
  - [Docket.Graph.Error](Docket.Graph.Error.md): Public graph construction and editing error.

## Mix Tasks

- [mix docket.gen.migration](Mix.Tasks.Docket.Gen.Migration.md): Generates a fresh Docket schema migration or a host schema-V1-to-current
upgrade.

