Skip to main content

query_planning/
lib.rs

1//! Backend-neutral native query planning, proof, and admission contracts.
2//!
3//! Published as an Algeon implementation dependency. Applications use
4//! [`algeon-datafusion`](https://docs.rs/algeon-datafusion) and its re-exports.
5//! See the [API documentation boundary](https://algeon.dev/design#api-documentation).
6//!
7//! This crate contains no dependency on DataFusion or RAPIDS components.
8//! The resolved dependency closure across all feature combinations excludes both,
9//! as validated by `scripts/ci/check_dependency_direction.py`.
10//! Capabilities that depend on backend execution semantics, such as type
11//! representation, expression binding, or kernel output type inference, are
12//! mediated through the [`backend::BackendCapabilities`] trait and supplied
13//! via [`backend::AnalysisContext`].
14//!
15//! The crate performs no file or network I/O. File metadata and decoded statistics
16//! are provided externally through [`source::SourceFooterFacts`] and the
17//! pruning resolvers in [`optimizer`].
18//!
19//! While dependency direction is structurally enforced by CI scripts, build
20//! behavior on hosts lacking RAPIDS or CUDA toolchains is not validated by the
21//! workspace test harness.
22
23pub mod admission;
24pub mod backend;
25pub mod capability;
26pub mod chunk;
27pub mod contract_report;
28pub mod correlation;
29pub mod datatypes;
30pub mod dynamic_filter;
31pub mod error;
32pub mod execution_contracts;
33pub mod expr;
34#[doc(hidden)]
35pub mod expression_lowering_policy;
36mod ml_validation;
37pub mod mode;
38pub mod naming;
39pub mod optimizer;
40pub mod parquet_stats;
41pub mod pipeline;
42pub mod plan;
43pub mod policy;
44#[doc(hidden)]
45pub mod prepared;
46pub mod source;
47pub mod triage;
48#[doc(hidden)]
49pub mod util;
50#[doc(hidden)]
51pub mod validation;
52mod vector_validation;
53
54pub use validation::validate_query_plan;