punkgo_kernel/lib.rs
1//! PunkGo sovereignty engine — cryptographic audit trails for AI agent accountability.
2//!
3//! This crate combines the full kernel stack:
4//!
5//! - [`audit`] — Merkle tree proofs and C2SP checkpoints (RFC 6962)
6//! - [`state`] — SQLite persistence: event log, energy ledger, actor store, envelopes
7//! - [`runtime`] — 7-step submit pipeline, energy production, actor lifecycle
8//! - [`testkit`] — test utilities (temp directories, request builders)
9//!
10//! The kernel is a **committer, not a judge** — it provides a single linearization
11//! point for actions and ensures the 7 invariants defined in the whitepaper §3.
12
13pub mod audit;
14pub mod runtime;
15pub mod state;
16
17pub mod testkit;
18
19// Re-export the most commonly used types at crate root.
20pub use audit::{AuditCheckpoint, AuditError, AuditLog};
21pub use runtime::{EnergyProducer, Kernel, KernelConfig, SubmitReceipt};
22pub use state::{
23 ActorStore, BlobStore, EnergyLedger, EnergyReservation, EnvelopeStore, EventLog, EventRecord,
24 NewHoldRequest, StatePaths, StateStore,
25};