Crate cel_contracts 

Shared AI agent boundary contracts.

This crate holds the data types that span the planner/runtime boundary so neither side needs to depend on the other’s implementation. Planners produce these contract types; runtimes execute them and emit receipts.

Strict policy: depends only on cel-context, serde, serde_json, and async-trait. No runtime, no prompt logic, no LLM dependencies. Anything that needs more belongs in a downstream planner or runtime crate.

Re-exports

pub use actions::CellWrite;

pub use actions::EffectExpectation;

pub use actions::PlannedAction;

pub use canonical::AttemptRecord;

pub use canonical::FailureReport;

pub use canonical::GoalOutcome;

pub use canonical::NextMove;

pub use canonical::RunLimits;

pub use canonical::RuntimeCaps;

pub use canonical::Step;

pub use canonical::StepKind;

pub use canonical::StepResult;

pub use producer::DoneVerdict;

pub use producer::NextActionHint;

pub use producer::PlanProducer;

pub use receipt::DispatchRoute;

pub use receipt::ExecutionReceipt;

pub use receipt::ObservedEffect;

pub use receipt::ObservedKind;

pub use receipt::ObservedStatus;

pub use receipt::ReceiptStatus;

pub use view::AdapterActionRef;

pub use view::AdapterFactRef;

pub use view::AnomalyRef;

pub use view::Blocker;

pub use view::CapabilityRef;

pub use view::EventRef;

pub use view::EvidenceRef;

pub use view::KnowledgeRef;

pub use view::MemoryRef;

pub use view::OmittedCounts;

pub use view::PlanningBudget;

pub use view::PlanningElement;

pub use view::PlanningElementState;

pub use view::PlanningScreen;

pub use view::PlanningView;

pub use view::RunProgress;

Modules

actions

Action contract — what a planner can ask a runtime to do.

canonical

Canonical agent contract — the boundary types every caller (CLI, MCP server, eval harness, benchmarks) speaks.

producer

PlanProducer trait — the planner side of the canonical agent contract.

receipt

Execution receipt — the canonical, core-emitted record of one dispatched action: intent → dispatch route → observed effect → evidence.

view

PlanningView — the budgeted, agent-facing projection for one planning call.