pf-effects 1.0.13

ProcessFork effects layer: append-only ledger, idempotency keys, ACRFence-aware replay-or-fork policy
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// SPDX-License-Identifier: MIT
//! # `pf-effects`
//!
//! Append-only ledger of every irreversible tool call an agent makes, with
//! per-call idempotency keys and an HMAC chain that defends against
//! semantic-rollback attacks (ACRFence, arXiv 2603.20625). See
//! `agent_docs/effects-layer.md` for the spec.

#![deny(unsafe_code)]
#![allow(missing_docs)]

pub mod ledger;
pub mod policy;
pub mod proxy;

pub use ledger::{Ledger, LedgerEntry, SessionSecret, SideEffectClass};
pub use policy::{ReplayDecision, ReplayPolicy};
pub use proxy::{ToolHandler, ToolProxy};