Skip to main content

lean_ctx_server/tools/ctx_read/
mod.rs

1// SPDX-License-Identifier: Apache-2.0
2use std::path::Path;
3
4use crate::tools::CrpMode;
5use lean_ctx::core::cache::SessionCache;
6use lean_ctx::core::compressor;
7use lean_ctx::core::deps;
8use lean_ctx::core::entropy;
9use lean_ctx::core::protocol;
10use lean_ctx::core::signatures;
11use lean_ctx::core::symbol_map::{self, SymbolMap};
12use lean_ctx::core::tokens::count_tokens;
13// `pub(crate)`: the conformance suite renders modes directly for its
14// accuracy invariants (GL#441).
15pub mod dedup_hook;
16mod helpers;
17pub use helpers::graph_related_hint;
18use helpers::{detect_project_root, find_similar_and_update_semantic_index};
19pub use lean_ctx::core::instruction_files::{
20    instruction_file_forces_full, is_instruction_file, is_user_excluded,
21};
22mod fallback_banner;
23mod kernel;
24pub(crate) use kernel::kernel_trailer;
25mod outline_budget;
26pub(crate) mod render;
27/// Type-safe read-mode vocabulary (#528): single source of truth for which
28/// modes exist and how each is classified.
29pub(crate) use lean_ctx::core::read_mode as mode;
30pub use mode::{ReadMode, canonicalize_tail_mode};
31pub use render::*;
32
33mod types;
34pub use types::*;
35mod disk_window;
36pub(crate) use disk_window::try_disk_anchored_window;
37pub use lean_ctx::core::rooted_read::*;
38pub mod dispatch;
39pub use dispatch::*;
40mod core_logic;
41#[allow(unreachable_pub, unused_imports)]
42pub use core_logic::*;
43
44#[cfg(test)]
45mod tests;
46#[cfg(test)]
47mod tests_delta;
48#[cfg(test)]
49mod tests_windowed;