Expand description
Backend-neutral native query planning, proof, and admission contracts.
Published as an Algeon implementation dependency. Applications use
algeon-datafusion and its re-exports.
See the API documentation boundary.
This crate contains no dependency on DataFusion or RAPIDS components.
The resolved dependency closure across all feature combinations excludes both,
as validated by scripts/ci/check_dependency_direction.py.
Capabilities that depend on backend execution semantics, such as type
representation, expression binding, or kernel output type inference, are
mediated through the backend::BackendCapabilities trait and supplied
via backend::AnalysisContext.
The crate performs no file or network I/O. File metadata and decoded statistics
are provided externally through source::SourceFooterFacts and the
pruning resolvers in optimizer.
While dependency direction is structurally enforced by CI scripts, build behavior on hosts lacking RAPIDS or CUDA toolchains is not validated by the workspace test harness.
Modulesยง
- admission
- Analysis-owned bounded-pipeline admission.
- backend
- Backend capability contract.
- capability
- Capability-first admission for native query plans.
- chunk
- Source chunk planning for local Parquet scans.
- contract_
report - Capability admission decisions exposed to diagnostics.
- correlation
- Low-level diagnostic correlation identities.
- datatypes
- Arrow type and cast semantics for plan validation.
- dynamic_
filter - Native dynamic-filter IR, payloads, and diagnostics.
- error
- Error taxonomy for the native query engine.
- execution_
contracts - Data-only memory-control and source-chunk planning contracts.
- expr
- Expression IR for native plan nodes.
- mode
- Aggregate and report execution-mode labels (wire DTOs).
- naming
- Stable name-generation helpers shared across native planning code.
- optimizer
- Native query-plan optimizer surface.
- parquet_
stats - Shared Parquet footer/statistics helpers used by native pruning and sizing.
- pipeline
- Symbolic native pipeline compiler model.
- plan
- Native query plan IR.
- policy
- Execution policy shared by optimization, admission, and execution.
- source
- Native query source contracts and source diagnostics.
- triage
- Shared triage vocabulary and compact diagnostic summaries.