docs-site/generated/rust/ for the exported site and are intentionally not committed. The CI docs build uses a rustdoc-only CUDA artifact mode: it documents the Rust API surface without compiling PTX or cubin files.
Workspace rustdoc
Generated index for every documented crate in the current checkout.
Python extension crate
Native Rust layer used by the Python package.
Workspace Crates
| Crate | Generated API | Responsibility |
|---|---|---|
xlog-core | rustdoc | Shared types (ScalarType, Schema, AggOp), traits (KernelProvider), and common errors. |
xlog-ir | rustdoc | Relational IR nodes (RirNode), expressions (Expr), and execution plans. |
xlog-cuda | rustdoc | CUDA provider, GPU buffers, PTX embedding, Arrow IPC/C Data interop, and DLPack support. |
xlog-stats | rustdoc | Runtime and compiler feedback through StatsManager and StatsSnapshot. |
xlog-runtime | rustdoc | Host-side executor, relation stores, profiling, incremental maintenance, and join index caches. |
xlog-logic | rustdoc | Parser, stratification, AST-to-RIR lowering, optimization, and neural predicate syntax. |
xlog-solve | rustdoc | Solver services, including GPU CDCL verification and CLS SAT/MaxSAT paths. |
xlog-gpu | rustdoc | High-level GPU execution API and integration buffers. |
xlog-prob | rustdoc | Probabilistic provenance, CNF lowering, Decision-DNNF compilation, exact inference, and sampling. |
xlog-cli | rustdoc | Command-line execution surface for deterministic and probabilistic runs. The package renders under the Rust crate root xlog. |
pyxlog | rustdoc | Native Python extension crate. It is built for the Python package rather than published to crates.io. |
xlog-neural | rustdoc | Neural-symbolic rule learning implementation. It is not a published crates.io package. |
xlog-induce | rustdoc | Exact induction implementation. It is not a published crates.io package. |
xlog-cuda-tests | rustdoc | CUDA-facing workspace test crate. It is not a published crates.io package. |
xlog-integration | rustdoc | Integration test crate. It is not a published crates.io package. |
Published Crates
These crates are published on crates.io and also have hosted docs.rs pages:docs.rs builds can omit CUDA-gated modules because the hosted build environment has no CUDA toolkit or GPU. The generated site rustdoc is built from the current checkout with
XLOG_RUSTDOC_NO_CUDA=1 cargo doc --workspace --no-deps --locked, so it is the reference API surface for this documentation site. Release builds still require nvcc and CUDA Toolkit 13.x to compile kernel artifacts.