lean_ctx_activity/
lib.rs

1// SPDX-License-Identifier: Apache-2.0
2//! The activity stream of LeanCTX | OSS: one host-neutral, bounded event log
3//! per agent session (session id, agent, project root), fed by host hooks,
4//! LeanCTX MCP calls and ACP client callbacks, read by `lean-ctx activity
5//! list --json` (Local Read v1, `docs/contracts/local-read-v1.md`).
6//!
7//! The crate never depends on the engine: the engine's facade
8//! (`core::activity`) supplies the data directory and the secret redaction.
9
10mod identity;
11mod model;
12mod store;
13
14pub use identity::{
15    MAX_SESSION_ID_BYTES, MAX_SESSION_NAME_CHARS, SESSION_ENV, SESSION_HEADER, SESSION_NAME_ENV,
16    session_id, session_id_from_env, session_name, session_name_from_env,
17};
18pub use model::{
19    Draft, Event, Kind, MAX_LABEL_BYTES, MAX_ROOT_BYTES, MAX_TARGET_BYTES, MAX_TEXT_BYTES, Outcome,
20    Source,
21};
22pub use store::{
23    DEFAULT_LIMIT, Filter, Listing, MAX_LIMIT, MAX_SESSION_BYTES, MAX_SESSIONS_PER_PROJECT, Store,
24};
lean_ctx_activity/lib.rs

lean_ctx_activity/
lib.rs
