pf_effects/lib.rs
1// SPDX-License-Identifier: MIT
2//! # `pf-effects`
3//!
4//! Append-only ledger of every irreversible tool call an agent makes, with
5//! per-call idempotency keys and an HMAC chain that defends against
6//! semantic-rollback attacks (ACRFence, arXiv 2603.20625). See
7//! `agent_docs/effects-layer.md` for the spec.
8
9#![deny(unsafe_code)]
10#![allow(missing_docs)]
11
12pub mod ledger;
13pub mod policy;
14pub mod proxy;
15
16pub use ledger::{Ledger, LedgerEntry, SessionSecret, SideEffectClass};
17pub use policy::{ReplayDecision, ReplayPolicy};
18pub use proxy::{ToolHandler, ToolProxy};