Skip to main content

Crate tokitai_dl

Crate tokitai_dl 

Source
Expand description

§tokitai-dl

An additive bridge crate connecting two deep-learning libraries:

  • tokitai-operator — a DL kernel compiler with selected formally checked kernels and theorem bindings. Edition 2024. Paper-artifact grade.
  • god-graph — a DL model analysis toolbox (differentiable structures, VGI, CAD-LLM, Safetensors I/O). Edition 2021. v0.6.0-alpha.

§What this crate does

Treats a tokitai_operator::ir::SemanticGraph (an operator DAG) as a god_graph::graph::Graph<String, ()> so that god-graph’s algorithm library — BFS, DFS, topological sort, connected components, MST, PageRank, shortest path, etc. — can inspect the operator DAG shape. This is graph analysis, not a new proof that those algorithms or their outputs are formally verified.

§What this crate does NOT do

  • It does not modify tokitai-operator (paper-artifact claim boundary is closed).
  • It does not modify god-graph (v0.6 release cadence is independent).
  • It does not require a workspace root Cargo.toml.
  • It does not bump either crate’s edition.
  • It does not re-export pub use from either crate; types are referenced by full path.

§Features

FeatureBrings in
graphgod-graph (default-features = false)
operatortokitai-operator
llmgod-graph Safetensors loader; use with operator for llm_bridge

Default features are empty. This is also the docs.rs-safe baseline because it avoids optional dependencies such as the local-development tokitai-operator sibling path dependency.

§Quickstart

use tokitai_dl::op_dag_graph::semantic_to_god_graph;