areev_loop/
lib.rs

1//! # Areev Loop
2//!
3//! The governed self-improvement engine for AI-agent memory. Areev Loop turns an
4//! agent's own history into **recommendations** — evidence-cited, reviewable,
5//! undoable, measured — and governs every change through four gates (propose,
6//! review, apply, verify). The deterministic core produces useful
7//! recommendations with **zero model calls** by computing over declared grain
8//! semantics, never raw prose.
9//!
10//! This crate is a **standalone engine over an [`OmsSubstrate`]** (CAL text +
11//! grains) with zero Areev dependencies (serde only). Areev is the first
12//! substrate; [`ReferenceSubstrate`] lets tests run with no store at all.
13//!
14//! ```
15//! use areev_loop::{Engine, ReferenceSubstrate, RunOptions};
16//!
17//! let mut store = ReferenceSubstrate::new();
18//! let engine = Engine::with_builtins();
19//! let result = engine.run(&mut store, &RunOptions::default(), 1_000).unwrap();
20//! assert!(result.ran());
21//! ```
22//!
23//! See the design proposal (`docs/loop-proposal.md`) for the full model.
24
25pub mod analyzer;
26pub mod analyzers;
27pub mod cal;
28pub mod config;
29pub mod engine;
30pub mod error;
31pub mod external;
32pub mod llm;
33pub mod manifest;
34pub mod model;
35pub mod policy;
36pub mod recommendation;
37pub mod reference;
38pub mod substrate;
39
40#[cfg(test)]
41mod integration;
42#[cfg(test)]
43mod testkit;
44
45pub use analyzer::{builtin_analyzers, AnalyzeCtx, Analyzer, OutcomeInput};
46pub use engine::{
47    Decision, Engine, Health, LlmMetrics, RunOptions, RunOutcome, RunResult, Scope, ScopeSet,
48    SkipReason, LOOP_NS,
49};
50pub use config::{AnalyzerConfig, AnalyzerConfigUpdate, AnalyzerSetting};
51pub use error::{Error, Result};
52pub use external::CommandAnalyzer;
53pub use llm::{CommandLlm, LlmBackend};
54pub use manifest::{
55    analyzer_family, AnalyzerManifest, AutoApplyClass, CadenceClass, Capability, ParamSpec, Params,
56    TargetClass, Tier, TrustClass,
57};
58pub use model::{ActionKind, GrainRecord, Origin, Severity, TargetRef};
59pub use policy::{AutoApplyGrant, Policy, TelemetryMode};
60pub use recommendation::{
61    dedup_key, validate_code_rules, AuditRecord, GatingEvidence, MetricSnapshot, ObserverType,
62    OutcomeResult, Proposal, RecDraft, RecStatus, Recommendation, Summary,
63};
64pub use reference::ReferenceSubstrate;
65pub use substrate::{
66    BudgetUsage, Capabilities, GrainAccess, GrainSpec, HeadGroup, OmsSubstrate, QueryUsage,
67    ReadOpts, SubstrateRead, TelemetryView,
68};
areev_loop/lib.rs

areev_loop/
lib.rs
