List of all items

Structs

• baseline::Baseline
• baseline::BaselineDiff
• baseline::ChangedEntry
• baseline::ModuleEntry
• baseline::ParamEntry
• baseline::RepeatEntry
• cargo_context::CargoContext
• cargo_context::CargoOptions
• cargo_context::CargoTarget
• cli::AnalyzeRequest
• cli::AuditBundle
• cli::ModelRun
• contracts::ContractAnalysis
• contracts::FunctionContracts
• dataflow::DataflowDiagnostic
• dataflow::DtypeConflict
• dataflow::DtypeRisk
• dataflow::EdgeId
• dataflow::ExprEdge
• dataflow::ExprGraph
• dataflow::ExprNode
• dataflow::NodeId
• dataflow::NumericDomainViolation
• dataflow::ZeroTimesInfinity
• diagnostics::Diagnostic
• discover::ScanOptions
• extract::Extractor
• ir::Coverage
• ir::Diagnostic
• ir::Key
• ir::ModuleDef
• ir::ModuleDefId
• ir::ModuleInstance
• ir::ModuleInstanceId
• ir::Param
• ir::ParamId
• ir::ParamSite
• ir::ParamSiteId
• ir::Repeat
• ir::SrcSpan
• ir::Structure
• known::Constructor
• known::Leaf
• load::Crate
• load::FieldDef
• load::ImplFn
• load::ImportBinding
• load::LoadDiagnostic
• load::PublicReexport
• load::SourceFile
• load::StructDef
• load::TypeRef
• model_baseline::ModelBaseline
• model_baseline::ModelBaselineDiff
• model_ir::ArchitectureEdge
• model_ir::Artifact
• model_ir::AssemblySite
• model_ir::BuilderNamespace
• model_ir::CargoSummary
• model_ir::Component
• model_ir::Dimension
• model_ir::Evidence
• model_ir::Finding
• model_ir::Function
• model_ir::FunctionParameter
• model_ir::ModelCoverage
• model_ir::ModelIr
• model_ir::Module
• model_ir::Operation
• model_ir::OptimizerMembership
• model_ir::Parameter
• model_ir::PipelineStage
• model_ir::RuntimeSummary
• model_ir::ShapeFact
• model_ir::StableId
• model_ir::TensorContract
• op_semantics::LibraryBody
• op_semantics::OpEffect
• query::QueryRequest
• query::QueryResponse
• runtime::ExpectedIdentity
• runtime::GradientConflict
• runtime::GradientFact
• runtime::IdentityMismatch
• runtime::OperationObservation
• runtime::ParamIdentity
• runtime::RunMetadata
• runtime::RuntimeAudit
• runtime::RuntimeTrace
• runtime::RuntimeTraceWriter
• runtime::TensorConflict
• runtime::TensorObservation
• runtime::ValueObservation
• verify::TensorInfo
• verify::VerifyReport

Enums

• baseline::BaselineError
• baseline::DiffKind
• cli::OutputFormat
• cli::ReportMode
• dataflow::EdgeKind
• dataflow::GradState
• dataflow::NodeKind
• dataflow::NumericImpact
• diagnostics::MessageFormat
• ir::Acquisition
• ir::Certainty
• ir::CheckpointMatch
• ir::KeySeg
• ir::Resolved
• known::ParamKind
• known::PrefixOp
• load::Container
• model_baseline::ModelBaselineError
• model_ir::ArtifactKind
• model_ir::BuilderRole
• model_ir::BuilderSourceKind
• model_ir::Confidence
• model_ir::DeviceFact
• model_ir::EvidenceKind
• model_ir::FindingSeverity
• model_ir::LayoutFact
• model_ir::ParameterRole
• model_ir::StageDispatchKind
• model_ir::StageKind
• model_ir::TensorRole
• model_ir::Visibility
• op_semantics::AbstractDtype
• op_semantics::BodyAtom
• op_semantics::DomainRequirement
• op_semantics::DomainViolationConfidence
• op_semantics::DtypeRule
• op_semantics::GradFlow
• op_semantics::NumericDomain
• query::QueryKind
• runtime::GradientState
• runtime::IdentityField
• runtime::ObservationConfidence
• runtime::RuntimeEvent
• runtime::TensorConflictKind

Functions

• analysis_cache::cache_dir
• analysis_cache::cache_enabled
• analysis_cache::cache_path
• analysis_cache::load
• analysis_cache::save
• baseline::atomic_write
• baseline::check
• baseline::compare
• baseline::load
• baseline::parse
• baseline::render
• baseline::update
• cargo_context::cfg_predicates_active
• cargo_context::discover
• cli::analyze_model
• cli::render_report
• cli::resolve_package_path
• cli::run_model
• cli::write_output
• contracts::analyze
• contracts::analyze_function
• contracts::functions_named
• contracts::methods_named
• dataflow::analyze
• dataflow::analyze_with_candle_version
• diagnostics::denied_findings
• diagnostics::from_model
• diagnostics::has_denied_findings
• diagnostics::has_failing_findings
• diagnostics::has_proven_defect_findings
• diagnostics::render
• discover::analyze
• known::lookup
• known::prefix_method
• known::raw_get_name_arg
• load::load
• load::load_from_roots
• load::span_of
• load::type_base_name
• load::type_ref
• load::type_text
• model_baseline::atomic_write
• model_baseline::check
• model_baseline::compare
• model_baseline::load
• model_baseline::update
• op_semantics::affine_domain
• op_semantics::domain_includes_zero
• op_semantics::domain_violation
• op_semantics::is_audited_candle_version
• op_semantics::is_no_backward
• op_semantics::join_domain
• op_semantics::library_body
• op_semantics::lookup
• op_semantics::lookup_for
• op_semantics::lookup_method
• op_semantics::lookup_resolved
• op_semantics::matched_candle_version
• op_semantics::requires_same_dtype
• query::execute
• query::render_text
• report::dataflow_findings
• report::dataflow_json
• report::dataflow_text
• report::json
• report::keys
• report::tree
• runtime::parse
• runtime::parse_json
• runtime::parse_jsonl
• verify::read_header
• verify::verify
• viewer::embed_json
• viewer::escape_for_script
• viewer::render_html

Type Aliases

• verify::Header

Constants

• baseline::SCHEMA
• contracts::CONTRACT_SCHEMA
• known::CONSTRUCTORS
• model_baseline::SCHEMA
• model_ir::MODEL_IR_SCHEMA
• op_semantics::AUDITED_CANDLE_VERSION
• op_semantics::SIGMOID_F32_LOWER_SATURATION
• op_semantics::SIGMOID_F32_UPPER_SATURATION
• query::QUERY_SCHEMA
• runtime::SCHEMA
• runtime::SCHEMA_V2