kernel/
lib.rs

1// This Source Code Form is subject to the terms of the Mozilla Public
2// License, v. 2.0. If a copy of the MPL was not distributed with this
3// file, You can obtain one at https://mozilla.org/MPL/2.0/.
4// Copyright (c) 2026 2youg1 and the sprawling contributors
5
6//! Pure decision functions: values in, verdicts out. Zero internal deps.
7//! Holds no I/O handles, no clock, no global state (ARCHITECTURE.md paragraph 1).
8//! The entry `crates/kernel/Spec.lean` specifies this crate, and each module
9//! names the part under `crates/kernel/spec/` that specifies it.
10//!
11//! **This file is an index, and the modules are the library.** Every
12//! module is public and a caller reaches a decision through the module
13//! that owns it — `gate::domain`, `discard::decide`, `approval::may_answer`
14//! — so the module name says which authority answered. What the root
15//! re-exports is the vocabulary those signatures are written in: the
16//! value types a caller names in its own fields and arguments. A
17//! function is never re-exported here, and nothing is renamed on the
18//! way out, because a second spelling of one name is the defect
19//! `xtask lexicon` exists to catch.
20
21pub mod account_recovery;
22pub mod address;
23pub mod approval;
24pub mod backpressure;
25pub mod blockage;
26pub mod budget;
27pub mod change;
28pub mod completion;
29pub mod config;
30pub mod consts_external;
31pub mod consts_policy;
32pub mod degradation;
33pub mod delegation;
34pub mod discard;
35pub mod error;
36pub mod event;
37pub mod gate;
38pub mod goal;
39pub mod idem;
40pub mod keep_warm;
41pub mod layout;
42pub mod ledger;
43pub mod locator;
44pub mod model;
45pub mod node_id;
46mod origin;
47pub mod plan;
48pub mod policy_limit;
49pub mod pursuit;
50pub mod reach;
51pub mod registry;
52pub mod release;
53pub mod repair;
54pub mod retries;
55#[cfg(feature = "schema")]
56pub mod schema;
57pub mod secret;
58pub mod share;
59pub mod spine;
60pub mod stall;
61pub mod taint;
62pub mod tool;
63pub mod version;
64pub mod write_domain;
65
66pub use address::{Address, GIT_METADATA, PROTECTED_METADATA, RESERVED_PREFIX};
67pub use address::{ReadVerdict, SessionName};
68pub use approval::{AnswerVerdict, Answerer, ApprovalClass, ApprovalId, ApprovalItem};
69pub use approval::{Autonomy, ClusterKey, Ruling};
70pub use backpressure::{Admission, ItemMeta, QueueStats, ShedReason};
71pub use blockage::{Blockage, Notice, RedNode};
72pub use budget::{BudgetUse, ByteLen, Tokens, UsdMicros};
73pub use change::{FileChange, How, Lines};
74pub use completion::{Completion, Evidence, PlannedProgress, Progress, UnplannedProgress};
75pub use config::{ClockStampGranularity, ClockZone, FrozenConfig};
76pub use config::{ContainerImage, ContainerLimits};
77pub use config::{EnvVarName, Interpreter, LayeredValue, LiveConfig, SandboxArm, SandboxLimits};
78pub use config::{McpServer, McpTransport, SecondThreshold};
79pub use delegation::{Delegate, DelegateKind, DelegationVerdict, Delegator, Depth};
80pub use discard::Restoration;
81pub use discard::{DenyReason, Discard, DiscardForecast, DiscardRequest, DiscardVerdict};
82pub use error::{AccountDisposition, AxCode, AxError, Carrier, ErrorDraft, GateRefusal};
83pub use error::{ProviderFailureKind, Retry};
84pub use event::record::InputKinds;
85pub use event::{EventDraft, EventKind, EventRecord, EventRef, Payload};
86pub use event::{RunId, Seq, TimeMs, WindowClass};
87pub use gate::GateOutcome;
88pub use gate::{ConnectorCall, DOORS, DoorId, EgressAllowlist, EgressOutcome, EgressTarget};
89pub use goal::{GoalEntry, GoalId, GoalResource, GoalVerdict};
90pub use idem::{Duplicate, IDEM_DERIVE_V, IdemGuard, IdemKey};
91pub use keep_warm::KeepWarm;
92pub use ledger::{GENESIS_PREV, Ledger};
93pub use locator::{B3Hash, GitOid, Locator, Range};
94pub use model::{AdmissionRequirement, LandingPolicy, Mode, RunPolicy, Window};
95pub use model::{BuildingPolicy, Ceiling, ChatMessage, ChatRequest, ChatResponse, ContentBlock};
96pub use model::{CacheCount, ModelRequest, ModelReturn, ModelTag, ModelUsage, Role, StopReason};
97pub use model::{DialectKind, EarlyCalls, Effort, ImageRef, ImageType};
98pub use model::{Increment, Increments, MessageBreakpoint, Model, SharedPrefix};
99pub use model::{SystemBlock, ToolDef};
100pub use node_id::{NODE_DEPTH_MAX, NodeId};
101pub use origin::Origin;
102pub use plan::{Held, PlanExit, PlanNode, PlanTree, StopCause};
103pub use pursuit::{Pursuit, PursuitState, PursuitVerdict};
104pub use reach::{Answered, Connected, Named, Proxying, Reach, Through};
105pub use registry::{Artifact, Claim, RegisterVerdict, Registry, ResidentId};
106pub use release::{Maturity, Release, ReleaseVerdict};
107pub use repair::RepairVerdict;
108pub use retries::Retries;
109pub use secret::{Sealed, SecretRef, SecretSpan};
110pub use share::{Share, WHOLE_PPB};
111pub use spine::{EvidenceCell, NewChild, ROADMAP_COLUMNS};
112pub use spine::{ROADMAP_FILE, ROADMAP_STATUS_SPELLINGS, RoadmapRow, RoadmapShape};
113pub use spine::{RoadmapStatus, ScopeChange, WriteMoment};
114pub use stall::{ActionFingerprint, StallVerdict};
115pub use taint::{TaintSet, TaintSource, Tainted};
116pub use tool::writes::Writes;
117pub use tool::{CostTier, Effect, ExecArm, GateSubject, RenderIntent, ServerLabel};
118pub use tool::{Temporal, TimeoutMs};
119pub use tool::{Tool, ToolCall, ToolMeta, ToolName, ToolOutcome};
120pub use version::{Version, VersionVerdict};
121pub use write_domain::{DocumentReason, DomainPrefixes, DomainVerdict, EditSample};
122pub use write_domain::{EditWarVerdict, WriteDomain, WriteLimit};
kernel/lib.rs

kernel/
lib.rs
