1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
[]
= "agentplane"
= "0.46.0"
= "2024"
= "1.94.1"
= "MIT OR Apache-2.0"
= "Durable, replayable agent runtime — the journal is the plan of record"
= "https://github.com/hupe1980/agentplane"
= "https://hupe1980.github.io/agentplane/"
= "https://docs.rs/agentplane"
= "README.md"
= ["agent", "durable-execution", "replay", "runtime", "llm"]
= ["asynchronous", "development-tools"]
# An allowlist, because a crates.io publish is immutable: a denylist has to
# predict every generated file, and a file that should not have shipped can
# only be yanked, not withdrawn.
#
# Leading slashes anchor to the package root; without them these are
# gitignore-style globs matching any depth.
= [
"/src/**/*.rs",
"/examples/*.rs",
# An example `include_str!`s a manifest, so without these the packaged crate
# does not compile — and `cargo package --list` alone would not say so.
"/examples/*.yaml",
"/examples/*.cedar",
"/src/bin/*.rs",
# The dev page's shell, script and stylesheet, which `api::dev` embeds.
"/src/api/dev/index.html",
"/src/api/dev/app.js",
"/src/api/dev/app.css",
"/README.md",
"/CHANGELOG.md",
"/LICENSE-MIT",
"/LICENSE-APACHE",
"/clippy.toml",
]
# Most of this crate is behind a feature gate, and docs.rs builds with default
# features unless told otherwise.
[]
= true
= ["--cfg", "docsrs"]
[]
= ["redb"]
# Embedded journal + case store. Single-node; `postgres` backs active-active.
= ["dep:redb"]
# PostgreSQL-backed journal: several plane instances sharing one store, where
# fencing and exactly-once are arbitrated by the database rather than by hoping
# the writers agree.
= ["dep:tokio-postgres", "dep:deadpool-postgres"]
# The agent declaration: tool grants, budgets, egress ceiling, injection
# pattern. Off by default — the runtime is usable wired by builder calls; the
# manifest is what makes those declarations reviewable.
= ["dep:serde_yaml_ng", "dep:jsonschema", "dep:regex", "dep:unicode-normalization"]
# Everything the `agentplane` binary needs. `signing` and `witness-http` are
# here for the audit verbs, for one reason: an `audit`/`verify` that could not
# check a signature, or could not fetch an anchoring checkpoint from a witness,
# sends the independent party back to writing Rust — or back to the operator
# for the very checkpoint the check is about. `tokio/signal` is here because
# `serve` drains on `SIGTERM`, and as PID 1 in a container an unhandled one is
# discarded rather than fatal — so the handler is what makes `docker stop` work.
#
# **Never `testkit`.** The binary needs one thing from it — `provider: fake` —
# and that is `fake-model`. Taking the whole feature would ship fault injection,
# a self-minting signer and a plaintext-loopback exception in every published
# artifact, each documented at its definition as impossible in a production
# build. `no_shipped_feature_enables_testkit` holds it.
= ["manifest", "redb", "providers", "bedrock", "fake-model", "signing", "witness-http", "tokio/signal", "dep:tracing-subscriber", "dep:clap"]
# Content-addressed blobs on any backend OpenDAL reaches, for bytes too big for
# the chain to carry.
= ["dep:opendal"]
# Envelope encryption for payload bytes, and the erasure it makes provable:
# destroying the wrapping key reaches every copy at once, which deleting a row
# cannot do.
= ["dep:chacha20poly1305"]
# A key ring that is somebody else — Vault's transit engine. The wrapping key
# never leaves it, so erasure is something this crate asks for and cannot undo.
= ["keyring", "dep:reqwest"]
# A model provider with no model behind it: deterministic answers, real usage
# figures. It ships, because a stand-in *model* is a driver and not a control —
# see `model::fake`. What stands in for a control is `testkit`.
= []
# Fault injection and harness pieces. Never in a production build — nothing in
# `testkit` is reachable without it, and no feature a release enables pulls it
# in. `tests/guards/docs.rs` holds that second half.
= ["fake-model"]
# Cedar as the authorization engine. The crate defines the policy seam and
# ships no evaluator.
= ["dep:cedar-policy"]
# MCP transport, and only the wire: the tool seam and its safety model are
# unconditional, because what a tool may do must not depend on which transport
# is linked. The same split applies to `a2a`.
= ["dep:rmcp"]
# Reach an MCP server by **running it** — the stdio child process most
# published servers are. Separate because it costs 8 crates plus
# `tokio/process`, which an embedder bringing their own transport should not
# pay for.
= ["mcp", "rmcp/transport-child-process"]
# Serve this plane's agents *as* MCP tools and their instructions as prompts.
# Needs the manifest: what a catalogue offers is the declaration, never a
# second list beside it.
= ["mcp", "manifest", "rmcp/server", "rmcp/transport-io", "dep:http"]
# The same catalogue over Streamable HTTP, behind this plane's authenticator,
# policy and `Host`/`Origin` checks — the door an agent framework in another
# language walks through. Separate because it costs rmcp's HTTP server stack,
# which an embedder serving over stdio should not pay for.
= ["mcp-server", "http", "rmcp/transport-streamable-http-server"]
# Reach an MCP server over streamable HTTP — the transport remote servers
# speak. Separate for the same reason as `mcp-stdio`: it costs a reqwest
# stack an embedder bringing their own transport should not pay for.
= ["mcp", "rmcp/transport-streamable-http-client-reqwest"]
# HTTP surface for operators: worklist, run status, event delivery. `tokio/net`
# and `rt-multi-thread` are the listener — the base tokio features are short of
# a server by exactly that.
= ["dep:axum", "tokio/net", "tokio/rt-multi-thread"]
# `agentplane dev`: a page for trying an agent on the author's own machine —
# loopback only, behind a per-process token, over a store this mode created.
# No container image enables it, because it starts runs over HTTP. `tower` is
# already in the graph through `axum`; the page calls the operator router
# through it.
= ["cli", "http", "dep:tower"]
# Submitting checkpoints to a real witness — the half that gives the split-view
# guarantee a counterparty. `signing` is not optional: a cosignature nobody
# verifies is not evidence, and verifying one needs the primitive.
= ["dep:reqwest", "signing"]
# A2A transport: the JSON-RPC client, and the RFC 8693 token-exchange client a
# peer's credential source can use. See `mcp` for why this is a wire and not
# the seam.
= ["dep:reqwest"]
# Mapping the Agent Client Protocol's session updates onto observation records.
# Types only, and no dependency on the protocol's own crate: the connection
# belongs to the editor that already holds the session, and `observe::acp` says
# why the types are written against a named revision instead.
= []
# Serve this plane as an A2A agent. `push` is not optional: A2A 1.0 defines
# push notification configs as part of the protocol.
= ["http", "manifest", "push", "dep:async-stream"]
# Webhook delivery for A2A push notifications: a durable config store plus
# SSRF-guarded outbound POSTs.
= ["dep:reqwest", "dep:hmac"]
# One concrete Ed25519 signer. The seam — `Signer`, `Verifier`, the attestation
# on every record — is unconditional.
= ["dep:ed25519-dalek"]
# Model provider drivers over HTTP. The `ModelProvider` trait and the metering
# rules are unconditional.
= ["dep:reqwest", "dep:jsonschema"]
# Amazon Bedrock's Converse API. Separate from `providers` because the AWS SDK
# graph is substantial and OpenAI/Anthropic users should not pay for it.
= ["dep:aws-config", "dep:aws-sdk-bedrockruntime", "dep:aws-smithy-types", "dep:jsonschema"]
# Governed remote-media ingestion. Separate because dereferencing an untrusted
# URL is its own security boundary: every DNS answer and redirect is checked
# and pinned before bytes enter blob storage.
= ["dep:reqwest", "tokio/net"]
[]
= "0.1"
# One base64 implementation, unconditional. The alternative is a hand-rolled
# codec in the modules that parse a checkpoint note without a feature flag —
# and a second decoder is a second answer to "is this the canonical spelling",
# which is the whole guarantee where a signature covers the text.
# `crate::core::b64` names the two dialects this crate speaks; nothing else
# reaches for the engine.
= "0.23"
= { = "1", = ["derive"] }
# NOTE: this crate must not ask for `preserve_order`, and cannot assume nobody
# else does — cargo unifies features across the graph and cedar-policy enables
# it. Canonical order is therefore produced by `core::canon` itself rather than
# inherited from serde_json::Map. See that module.
= "1"
# Schema *from the type*, so a tool's arguments have one declaration rather
# than a hand-written copy in a manifest and a hand-indexed copy in the body.
= "1"
= { = "0.56.0", = false, = true }
= "0.3"
= "2"
= { = "3", = ["serde"] }
= "0.11"
# HMAC for signed push bodies: the audited construction, not hand-rolled
# RFC 2104. Pinned to 0.13 to share `digest` 0.11 with `sha2` above.
= { = "0.13", = true }
= "0.4"
# Secrets are wiped when they drop. `String` leaves the bytes in freed heap and
# reallocates copies on growth, which no `Debug` impl fixes. Unconditional: an
# API key is not an optional-feature concern.
= { = "1", = ["alloc", "derive"] }
= { = "0.3", = ["serde-well-known", "macros", "formatting", "parsing"] }
# `chacha` for `ChaCha8Rng`, the deterministic source behind `StepCtx::rng`.
# Through `rand` rather than a separate `rand_chacha`, so one crate declares the
# generator that produces a replayed run's numbers; two would resolve apart.
= { = "0.10", = ["chacha"] }
= { = "1", = ["sync", "rt", "macros", "time"] }
# Two combinators: `join_all` to dispatch a ready set concurrently, and
# `buffer_unordered` where the set is a backlog rather than a frontier and has
# to be bounded. Deliberately not `futures` proper: this is a short list, not an
# ecosystem.
= { = "0.3", = false, = ["std", "async-await"] }
= { = "0.3", = true }
= "0.1"
# Some controls are quiet toward the caller and loud toward the operator — an
# A2A decline names the determining policy in a `tracing` event and tells the
# peer nothing. Without a subscriber installed, that half reaches nobody.
= { = "0.3", = false, = ["fmt", "registry", "env-filter", "json"], = true }
# The binary's argument parser. A flag lives on its subcommand's struct, so
# passing a `serve` flag to `run` fails to parse rather than being accepted and
# ignored. +9 crates on `cli`, +0 on the library; re-derive with `cargo tree
# --no-default-features --features cli -e normal --prefix none | sort -u | wc -l`.
= { = "4", = false, = ["derive", "std", "help", "usage", "error-context", "suggestions", "env", "wrap_help"], = true }
= { = "4", = true }
# The maintained fork of serde_yaml, which is deprecated. Ten crates deep.
= { = "0.10", = true }
# Content rules: the linear-time engine (no backreferences, no look-around), so
# a declared pattern cannot make a gate's cost depend on its input's shape.
= { = "1", = true }
= { = "0.1", = true }
# `default-features = false`: the defaults pull in a long list of service
# backends. An embedder picks the one they use; `services-fs` is the only one
# that makes sense to assume.
= { = "0.11", = false, = ["alloc", "getrandom"], = true }
= { = "0.59", = false, = ["services-fs"], = true }
# The lower bound is load-bearing: `first_unreachable` matches
# `ValidationWarning::InvalidActionApplication`, which 4.13.0 is the first
# release to have. Earlier ones do not compile.
= { = "4.13.0", = false, = true }
= { = "0.7.18", = true, = [
# `jsonb` parameters for a co-located resource. Without it `SqlValue::Json`
# would have to be bound as text, and a resource updating a jsonb column
# would get a type error at runtime rather than a value.
"with-serde_json-1",
] }
= { = "0.14.1", = true }
= { = "3.1", = false, = ["client", "transport-io"], = true }
# The request type rmcp's HTTP server puts on a served request, read by
# `mcp-server` to refuse one that arrives over HTTP with no caller — whoever
# mounted the catalogue. Already in the graph wherever that server is.
= { = "1", = true }
# `query` for `?outcome=…` on the run list. Kept to the four features that
# are actually used: axum's default set pulls in a router's worth of
# extractors this surface never touches.
= { = "0.8.9", = false, = ["json", "http1", "tokio", "query"], = true }
= { = "0.5.3", = false, = ["util"], = true }
# `rustls` rather than the platform's TLS: one static binary is a design
# commitment, and linking OpenSSL puts a system dependency back in.
# `rand_core` off: keys come from the deployment, and a signer that can mint its
# own identity is a signer whose signatures mean nothing.
= { = "3", = false, = ["alloc", "zeroize", "signature"], = true }
# `rustls`, not `native-tls`: one TLS stack, in Rust, so a deployment's threat
# model need not include OpenSSL's. `stream` gates `Response::bytes_stream`,
# which is how a driver learns what a severed call burned — without it the only
# honest report is "cost unknown" and the runaway-provider ceiling reads zero.
#
# The **trust anchor is the operating system's store**, via
# `rustls-platform-verifier`. That is a decision, not a default: the operator
# already administers a CA policy, and a runtime that ignored it would break
# every corporate inspection proxy while claiming to be more secure. Do not add
# `webpki-roots` — reqwest declares it as an optional dependency and never
# writes `dep:webpki-roots`, so Cargo synthesises an implicit feature that links
# Mozilla's whole bundle while the verifier stays the platform one. A guard in
# `tests/guards/docs.rs` keeps it gone.
= { = "0.13", = false, = ["json", "rustls", "http2", "charset", "stream"], = true }
# Defaults declined on both AWS crates for one reason: the SDK's `rustls` feature
# is `legacy-rustls-ring`, pinning `rustls` 0.21 and `rustls-webpki` 0.101,
# which carry live RUSTSEC advisories against certificate validation.
# `default-https-client` selects the maintained `rustls-aws-lc` stack. A TLS
# client must not be whatever a transitive default picks; `just audit` keeps it
# honest.
# aws-config's default feature set restated explicitly, plus
# `credentials-login`, so a changed default cannot arrive or vanish
# unreviewed. The gated credential providers: `sso` (IAM Identity Center
# profiles), `credentials-process` (external helpers), `credentials-login`
# (`aws login` console-session profiles — a `login_session` profile fails to
# resolve without it). STS assume-role, web identity, IMDS/ECS roles and the
# `AWS_BEARER_TOKEN_BEDROCK` API-key path are not feature-gated.
= { = "1.11.0", = false, = ["default-https-client", "rt-tokio", "credentials-process", "sso", "credentials-login", "behavior-version-latest"], = true }
= { = "1.139.0", = false, = ["default-https-client", "rt-tokio", "behavior-version-latest"], = true }
= { = "1.6.1", = true }
[]
# The connector seam `model::canned_http` builds a stub over. Deliberately not
# `aws-smithy-http-client`'s `test-util`: its one useful function costs a hyper
# stack and a CBOR codec in every example this crate builds.
= { = "1", = ["client"] }
= { = "1" }
# An **independent** A2A server, so this crate's *client* has an outside
# authority to talk to — the one interoperability gap the conformance kit
# cannot close, since it validates servers. Pre-1.0 churn is acceptable here
# because nothing in `src/` links these. `default-features = false`: the
# default pulls a TLS stack a loopback double needs for nothing.
= { = "0.3.0", = false }
= { = "0.4.1", = false }
# For the streaming driver tests: the stub server hands axum a body stream of
# `Bytes`, including one that errors partway so a severed response can be tested
# without a real network.
= "1"
= { = "0.3", = false, = ["std", "async-await"] }
= "1"
# The operator API's wire suite validates every body it receives against the
# published OpenAPI document, in the `http,redb` build too, where the library's
# own copy (behind `manifest`) is absent. Same version as the library's.
= { = "0.56.0", = false }
= { = "3.1", = false, = ["server", "transport-io", "macros"] }
= { = "0.15.0", = ["postgres"] }
= { = "1", = ["full"] }
= { = "0.5.3", = ["util"] }
# So the telemetry tests can assert what was *emitted*, not merely what the
# source contains. An instrumentation test that greps is checking the author's
# intent; this checks the runtime's behaviour.
= { = "0.3", = false, = ["fmt", "registry"] }
# The CLI that makes the declarative tier need no Rust at all.
#
# Feature-gated because the library is the product, and a binary pulling in
# HTTP drivers is not something every dependant wants compiled.
# `cargo install agentplane --features cli` opts in.
[[]]
= "agentplane"
= "src/bin/agentplane.rs"
= ["cli"]
[[]]
= "openai_live"
= ["redb", "providers"]
# The dual-model (CaMeL) shape against real models, so what each role is allowed
# to read is checked at the wire rather than against a fake that cannot disagree.
[[]]
= "camel_live"
= ["redb", "providers", "manifest"]
[[]]
= "bedrock_live"
= ["bedrock"]
[[]]
= "gate_bench"
= ["redb", "cedar"]
[[]]
= "hello_skill"
= ["redb"]
[[]]
= "durable_pipeline"
= ["redb"]
[[]]
= "effect_group"
= ["redb"]
[[]]
= "tool_loop"
= ["redb", "fake-model", "manifest"]
# A person approves the exact tool call — `requires_approval` end to end:
# suspend, worklist, approve or refuse, and a strict replay that re-opens
# nothing.
[[]]
= "approved_call"
= ["redb", "fake-model", "manifest"]
[[]]
= "planned_run"
= ["redb", "fake-model", "manifest"]
[[]]
= "sealed_run"
= ["redb", "testkit", "keyring"]
[[]]
= "clearing_case"
= ["redb"]
[[]]
= "plan_graph"
= ["redb"]
[[]]
= "governed_transfer"
= ["redb", "manifest"]
[[]]
= "saga_checkout"
= ["redb"]
[[]]
= "memory_run"
= ["redb"]
# One act made of many: a windowed pass, an item-granular resume, and a partial
# failure that is terminal rather than a degraded success.
[[]]
= "batch_run"
= ["redb"]
# Exhaustion is a pause with a protocol: refused, resumed under the same
# ceiling (still refused, not duplicated), readmitted under a raise, verified.
[[]]
= "budget_pause"
= ["redb"]
# The conclusion an operator could not act on, and the two verbs that answer it.
[[]]
= "answered_doubt"
= ["redb"]
# Two brakes: cancel one run (it unwinds, and the journal names who asked) and
# the store-backed emergency stop that halts new admissions on every instance.
[[]]
= "operator_stop"
= ["redb"]
# The last mile between instrumented and monitored: a real subscriber that
# excludes replays from latency, shows that gauges only exist once something
# queries the stores, and keys an alert on `needs_attention()`. No exporter is
# linked — the OTLP wiring is in the example's own docs, verbatim — because
# picking a collector is the embedder's decision, not this crate's.
[[]]
= "observability"
= ["redb"]
# An instance dies mid-run; the survivor's sweep finds the lapsed lease, takes
# the run over with fencing, and finishes it — no stage repeated. ~3s: a real
# lease has to lapse.
[[]]
= "recovered_run"
= ["redb"]
# Needs `fake-model`, not a key. Deliberately: an example that called a real
# model would need an API key to run, and the claim it demonstrates — that
# a completion replays from the journal rather than being asked again — would
# stay a sentence in the README instead of something anyone can execute.
[[]]
= "model_run"
= ["redb", "fake-model"]
# Digest-only multimodal dispatch and strict zero-I/O replay, with a fake model
# and an in-memory blob store so the security contract is runnable offline.
[[]]
= "media_run"
= ["redb", "fake-model", "media"]
# The manifest example reads `examples/triage.yaml` and runs the agent it
# declares, so it needs the parser as well as the fake provider.
[[]]
= "manifest_run"
= ["redb", "fake-model", "manifest"]
# A real MCP server in-process beside a typed tool, so the two-transport shape
# is runnable rather than only described. `rmcp`'s server half is a
# dev-dependency, which examples may use.
[[]]
= "mcp_tools"
= ["redb", "fake-model", "manifest", "mcp"]
# Three agents, three manifests, three runtimes.
[[]]
= "blog_room"
= ["redb", "fake-model", "manifest"]
# `tower::oneshot` drives the router in-process, so the A2A round trip is real
# without a port, a key, or a second process.
[[]]
= "a2a_peer"
= ["redb", "a2a-server", "manifest"]
[[]]
= "peer_call"
= ["redb", "testkit", "manifest", "a2a", "a2a-server"]
# Serves the A2A surface for the official conformance kit — `just test-a2a-tck`
# boots it and runs the kit's MUST battery against the live socket.
[[]]
= "a2a_tck_live"
# `testkit` too, for the loopback push exception: the kit's webhook receiver is
# an `http://localhost:PORT` server, so without it the ten push MUSTs cannot run
# at all. The exception exists only under `testkit`, which never ships.
= ["redb", "a2a-server", "manifest", "testkit"]
# The ceiling that outlives a run, end to end: cumulative across runs,
# exhausted, then revoked — with the terms still readable afterwards.
[[]]
= "standing_authority"
= ["redb", "fake-model"]
# Live deltas beside a single journaled completion — the one part of the model
# seam a fake could not reach until `FakeProvider::streaming`.
[[]]
= "streaming_run"
= ["redb", "fake-model"]
# The plane as an MCP server. `mcp` as well as `mcp-server`, because the example
# drives it with the SDK's own client over an in-process pipe — what a desktop
# host runs, rather than a hand-written expectation of what the server sends.
[[]]
= "serve_mcp"
= ["redb", "mcp", "mcp-server", "manifest"]
[[]]
= "retention_hold"
= ["redb"]
[]
= "forbid"
= "warn"
[]
# Ambient non-determinism is denied crate-wide in clippy.toml: every clock, RNG
# and ID read must go through StepCtx, which journals it.
= { = "warn", = -1 }
= { = "warn", = -1 }
= "allow"
= "allow"
= "allow"
= "allow"
# Named individually rather than by group, because each of these catches
# something *wrong* rather than merely unusual: work done on a path that
# discards it, a clone nothing needs, a `&mut` that does not mutate, a doc
# summary too long to read in an index.
#
# The group itself is not enabled. Most of its volume here is
# `missing_const_for_fn`, which is a promise about a function's future as much
# as its present, and `derive_partial_eq_without_eq`, where `Eq` is a claim
# about the type rather than a formality; `option_if_let_else` and
# `redundant_pub_crate` argue for spellings this codebase does not use.
= "warn"
= "warn"
= "warn"
= "warn"
= "warn"
= "warn"
= "warn"