List of all items
Structs
- RunConfig
- 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
- auto_fix::AutoFix
- 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
- llm::openai::OpenAiLlmClient
- parsers::markdown::MarkdownBlocks
- 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
- Pillar
- config::ConfigSource
- 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
Functions
- apply_config
- apply_strict
- auto_fix::apply_fixes
- auto_fix::build_example_narrative_prompt
- auto_fix::build_markdown_correction_prompt
- auto_fix::build_outdated_logic_context
- auto_fix::collect_public_signatures
- auto_fix::format_as_comments
- auto_fix::slice_example_narrative
- auto_fix::slice_markdown_section
- auto_fix::suggest_fix
- baseline::load
- baseline::subtract
- blame::apply
- blame::parse_porcelain
- llm::build_client
- normalize_locations
- run
- run_cli
- suppress::apply_inline_ignores
- workspace::find
- workspace::load
- workspace::narrow_paths