List of all items
Structs
- analyzers::ci::CargoMetadata
- analyzers::ci::CiAnalyzer
- analyzers::constraint::ConstraintAnalyzer
- analyzers::coverage::MissingCoverageAnalyzer
- analyzers::deprecated::DeprecatedUsageAnalyzer
- analyzers::docs::DocsAnalyzer
- analyzers::env::EnvMismatchAnalyzer
- analyzers::examples::ExamplesAnalyzer
- analyzers::examples::RealCargoRunner
- analyzers::logic_gap::LogicGapAnalyzer
- analyzers::outdated_logic::OutdatedLogicAnalyzer
- analyzers::tests::TestsAnalyzer
- baseline::Identity
- blame::GitBlameEngine
- config::Config
- config::ConstraintRule
- config::LlmConfig
- context::ProjectContext
- domain::Attribution
- domain::CodeFact
- domain::Divergence
- domain::Location
- domain::SpecClaim
- llm::BudgetedClient
- llm::LlmVerdict
- llm::anthropic::AnthropicLlmClient
- llm::null::NullLlmClient
- parsers::markdown::MarkdownParser
- parsers::rust::RustParser
- reporters::fix_prompt::FixPromptReporter
- reporters::human::HumanReporter
- reporters::json::JsonReporter
- reporters::sarif::SarifReporter
- sources::DiscoveredFiles
- sources::FsWalker
- sources::GitHistory
- workspace::Package
Enums
- config::LlmProvider
- domain::ClaimKind
- domain::Confidence
- domain::FactKind
- domain::RuleId
- domain::Severity
- error::SpecDriftError
Traits
- analyzers::DriftAnalyzer
- analyzers::examples::CargoRunner
- blame::BlameEngine
- llm::LlmClient
- reporters::Reporter