Expand description
Static structure and dataflow analysis for candle-rs models.
See README.md and docs/features.md for the feature split:
static(default): agent-oriented IR, bounded queries, dtype/gradient dataflowruntime: merge v3 profile traces; operation timings (avg/min/max) and gradient auditvisualizer: standalonemodel.htmlfor human exploration
Re-exports§
pub use phase::ExecutionPhase;
Modules§
- analysis_
cache - Optional on-disk cache for analyzed
crate::model_ir::ModelIrdocuments. - cargo_
context - Bounded Cargo/config discovery for analyzing a crate in its real feature/cfg context.
- cli
- Shared CLI engine for
candle-graphandcargo-candle-graph. - contracts
- Conservative tensor-contract inference from qualified Rust functions.
- dataflow
- Expression-level dataflow, dtype, and gradient-connectivity analysis.
- diagnostics
- Rustc-like diagnostics rendered from unified model findings.
- discover
- Crate-wide model discovery and unified IR assembly.
- dtype_
propagate - Fixpoint dtype propagation over the unified model IR operation graph.
- extract
- The structure extraction pass.
- ir
- The analysis IR.
- known
- Ground truth for the candle-nn constructors that register parameters.
- load
- Crate loading and the symbol table.
- model_
baseline - Deterministic ModelIr fingerprints for crate-wide CI checks.
- model_
ir - Unified, agent-oriented representation of a Candle model crate.
- op_
semantics - Transfer rules for candle Tensor ops and known candle-nn helpers.
- phase
- Train vs inference execution phase for static graphs and runtime traces.
- profile
- Runtime profiler: attach during train or inference to emit timed operation/edge traces.
- query
- Bounded queries over
crate::model_ir::ModelIr. - runtime
- Bounded runtime evidence and gradient-audit protocol.
- verify
- Cross-check the static parameter set against a real checkpoint.
- viewer
- Dependency-free interactive HTML visualizer for
candle-graph/viewer/1payloads. - viewer_
projection - Project
ModelIrintocandle-graph/viewer/1for the interactive HTML visualizer.