Skip to main content

fallow_api/audit_run/
mod.rs

1//! The changed-code audit.
2//!
3//! `fallow audit`, the MCP `audit` tool and [`crate::run_audit`] all run an
4//! audit through [`run`], so they give the same introduced and inherited split
5//! and the same verdict. A surface supplies an [`AuditBackend`]: it runs the
6//! three analyses (dead code, duplication, health) and creates the base
7//! checkout. This module owns the rest:
8//!
9//! - the base ref: explicit, then `FALLOW_AUDIT_BASE`, then auto-detection
10//!   ([`resolve_audit_base`]),
11//! - the check that lets the head run stand in for the base
12//!   ([`can_reuse_current_as_base`]),
13//! - rename detection, and the base focus set of changed files plus pre-rename
14//!   paths,
15//! - the base snapshot: checkout, analysis root, focus remap, dependency scope,
16//!   and keys,
17//! - the rename remap of base keys, the degraded type-aware comparison, the
18//!   clone-group demotion, the verdict, and the introduced flags on the head
19//!   findings.
20
21mod base_files;
22mod base_ref;
23mod outcome;
24mod scope;
25mod snapshot;
26#[cfg(test)]
27mod tests;
28
29use std::path::{Path, PathBuf};
30
31use fallow_config::{AuditGate, ResolvedConfig, RulesConfig};
32use fallow_engine::changed_files::RenamedFile;
33use fallow_engine::repo_refs::{BaseAnalysisRoot, resolve_base_analysis_root};
34use fallow_output::HealthReport;
35use fallow_types::duplicates::CloneGroup;
36use fallow_types::results::AnalysisResults;
37use rustc_hash::FxHashSet;
38
39pub use base_files::{BaseFileReader, BaseRead, can_reuse_current_as_base, export_names_at_base};
40pub use base_ref::{
41    AuditBaseError, AuditBaseOrigin, parse_audit_base_override, resolve_audit_base,
42};
43pub use outcome::{
44    DupeDemotionDiffSource, SharedDiff, compare, demote_preexisting_dupe_introductions, outcome,
45    styling_finding_gates, styling_rule_severity,
46};
47pub use scope::{
48    BaseCoverageInputs, base_coverage_inputs, base_focus_files, remap_focus_files, renamed_files,
49    scope_dependency_findings,
50};
51pub use snapshot::{
52    AuditKeySnapshot, branching_keys, type_aware_attribution_degrade_reason,
53    type_aware_degrade_warning, type_aware_gap_signature,
54};
55
56use crate::audit_keys::AuditComparison;
57use crate::{AuditAttribution, AuditSummary, AuditVerdict};
58
59/// The dead-code analysis of one audit side, as the audit reads it.
60pub struct DeadCodeView<'a> {
61    /// Findings after change scoping.
62    pub results: &'a AnalysisResults,
63    /// Config that decides the effective severity of each finding.
64    pub config: &'a ResolvedConfig,
65    /// Root that key paths are relative to.
66    pub root: &'a Path,
67    /// Type-aware metadata of the pass, when it ran type-aware analysis.
68    pub type_aware: Option<&'a fallow_types::envelope::TypeAwareMeta>,
69    /// Dead-code keys before type-aware refinement, when the surface captured
70    /// them.
71    pub syntactic_keys: Option<&'a FxHashSet<String>>,
72    /// Exports-aware public-export keys, when the surface computed them.
73    pub public_api: Option<&'a FxHashSet<String>>,
74}
75
76/// The duplication analysis of one audit side, as the audit reads it.
77pub struct DuplicationView<'a> {
78    /// Clone groups in output order.
79    pub clone_groups: Vec<&'a CloneGroup>,
80    /// Root that key paths are relative to.
81    pub root: &'a Path,
82    /// Duplicated share of the analyzed code, in percent.
83    pub duplication_percentage: f64,
84    /// Duplication percentage above which an introduced group fails the
85    /// audit; `0.0` turns the threshold off.
86    pub threshold: f64,
87}
88
89/// The health analysis of one audit side, as the audit reads it.
90pub struct HealthView<'a> {
91    /// Health report with complexity and styling findings.
92    pub report: &'a HealthReport,
93    /// Root that key paths are relative to.
94    pub root: &'a Path,
95    /// Rules that decide whether a styling finding gates the verdict.
96    pub rules: &'a RulesConfig,
97    /// Branching totals per file, when the surface computed them.
98    pub branching: Option<&'a fallow_engine::health::BranchingByFile>,
99}
100
101/// The analyses of one audit side. An analysis the surface did not run is
102/// `None`.
103#[derive(Default)]
104pub struct AuditAnalysesView<'a> {
105    /// Dead-code analysis.
106    pub dead_code: Option<DeadCodeView<'a>>,
107    /// Duplication analysis.
108    pub duplication: Option<DuplicationView<'a>>,
109    /// Health analysis.
110    pub health: Option<HealthView<'a>>,
111}
112
113/// The analyses a surface ran for one audit side.
114pub trait AuditAnalyses {
115    /// A read view of the analyses.
116    fn view(&self) -> AuditAnalysesView<'_>;
117    /// The dead-code findings, for the dependency scope and the introduced
118    /// flags.
119    fn dead_code_results_mut(&mut self) -> Option<&mut AnalysisResults>;
120    /// The health report, for the introduced flags.
121    fn health_report_mut(&mut self) -> Option<&mut HealthReport>;
122    /// Record the warning of a degraded type-aware comparison on the
123    /// type-aware metadata of the run.
124    fn record_type_aware_warning(&mut self, warning: &str);
125}
126
127/// A checkout of the base commit.
128pub trait BaseCheckout {
129    /// Root of the checkout.
130    fn path(&self) -> &Path;
131}
132
133impl BaseCheckout for fallow_engine::repo_refs::TemporaryBaseWorktree {
134    fn path(&self) -> &Path {
135        Self::path(self)
136    }
137}
138
139/// How one surface runs the analyses of an audit.
140pub trait AuditBackend: Sync {
141    /// The analyses of one side.
142    type Analyses: AuditAnalyses + Send;
143    /// A checkout of the base commit. The base pass keeps it until the base
144    /// analyses complete.
145    type Checkout: BaseCheckout;
146    /// Key of a cached base snapshot.
147    type CacheKey: Sync;
148    /// The error of the surface.
149    type Error: Send;
150
151    /// Called once when the run has changed files, before any base work.
152    fn prepare(&self) {}
153
154    /// Run the head analyses, scoped to `changed_files`.
155    ///
156    /// # Errors
157    ///
158    /// Returns the surface error when an analysis fails.
159    fn run_head(&self, changed_files: &FxHashSet<PathBuf>) -> Result<Self::Analyses, Self::Error>;
160
161    /// Create a checkout of `base_ref`. `base_sha` is the full SHA when a
162    /// cache key resolved it.
163    ///
164    /// # Errors
165    ///
166    /// Returns the surface error when the checkout cannot be created.
167    fn create_base_checkout(
168        &self,
169        base_ref: &str,
170        base_sha: Option<&str>,
171    ) -> Result<Self::Checkout, Self::Error>;
172
173    /// Run the base analyses in `base_root`. With `focus`, scope the findings
174    /// to those files; without it, leave them unscoped.
175    ///
176    /// # Errors
177    ///
178    /// Returns the surface error when an analysis fails.
179    fn run_base(
180        &self,
181        base_root: &Path,
182        focus: Option<&FxHashSet<PathBuf>>,
183    ) -> Result<Self::Analyses, Self::Error>;
184
185    /// The cache key of the base snapshot for `base_ref` and `focus`, or
186    /// `None` when the surface keeps no cache.
187    ///
188    /// # Errors
189    ///
190    /// Returns the surface error when the key inputs cannot be read.
191    fn base_cache_key(
192        &self,
193        _base_ref: &str,
194        _focus: &FxHashSet<PathBuf>,
195    ) -> Result<Option<Self::CacheKey>, Self::Error> {
196        Ok(None)
197    }
198
199    /// The full base SHA that `key` records.
200    fn cached_base_sha<'k>(&self, _key: &'k Self::CacheKey) -> Option<&'k str> {
201        None
202    }
203
204    /// A cached base snapshot for `key`.
205    fn load_cached_base(&self, _key: &Self::CacheKey) -> Option<AuditKeySnapshot> {
206        None
207    }
208
209    /// Store a fresh base snapshot under `key`.
210    fn save_cached_base(&self, _key: &Self::CacheKey, _snapshot: &AuditKeySnapshot) {}
211
212    /// The opt-in shared diff of the run, when one is active.
213    fn shared_diff(&self) -> Option<SharedDiff<'_>> {
214        None
215    }
216}
217
218/// Inputs of one audit run.
219pub struct AuditRunInput<'a> {
220    /// Head analysis root.
221    pub root: &'a Path,
222    /// Gate mode. `new-only` compares with the base snapshot.
223    pub gate: AuditGate,
224    /// Resolved base ref.
225    pub base_ref: &'a str,
226    /// Cache directory of the run. A changed file inside it never blocks the
227    /// reuse of the head run as the base snapshot.
228    pub cache_dir: Option<&'a Path>,
229    /// Changed files of the run, after any narrowing of the surface.
230    pub changed_files: FxHashSet<PathBuf>,
231    /// Commits whose findings are inherited in addition to the base, see
232    /// [`fallow_engine::repo_refs::merged_default_branch_refs`].
233    pub inherited_base_refs: &'a [String],
234}
235
236/// The base snapshot that attribution compares with.
237#[derive(Debug, Default)]
238pub struct AuditBase {
239    /// The snapshot; `None` under `--gate all`.
240    pub snapshot: Option<AuditKeySnapshot>,
241    /// `true` when the head keys stand in for the base (no finding can have
242    /// changed), so every finding is inherited.
243    pub skipped: bool,
244    /// Snapshots of the inherited bases, with head paths. Attribution absorbs
245    /// them into `snapshot` after the rename remap of the primary base.
246    pub inherited: Vec<AuditKeySnapshot>,
247}
248
249/// Inputs of [`attribute`].
250pub struct AuditAttributionInput<'a> {
251    /// Head analysis root.
252    pub root: &'a Path,
253    /// Gate mode.
254    pub gate: AuditGate,
255    /// Resolved base ref, for the demotion diff.
256    pub base_ref: &'a str,
257    /// The base snapshot.
258    pub base: AuditBase,
259    /// Renames between base and head.
260    pub renames: &'a [RenamedFile],
261    /// The opt-in shared diff of the run.
262    pub shared_diff: Option<SharedDiff<'a>>,
263}
264
265/// Attribution result of one audit run.
266#[derive(Debug)]
267pub struct AuditOutcome {
268    /// Overall verdict.
269    pub verdict: AuditVerdict,
270    /// Per-domain counts.
271    pub summary: AuditSummary,
272    /// Introduced and inherited counts, and the gate.
273    pub attribution: AuditAttribution,
274    /// The classification of every head finding.
275    pub comparison: AuditComparison,
276    /// The base snapshot after the rename remap.
277    pub base_snapshot: Option<AuditKeySnapshot>,
278    /// `true` when the head keys stood in for the base.
279    pub base_snapshot_skipped: bool,
280    /// Which diff decided the clone-group demotion; `None` when it did not
281    /// run.
282    pub dupe_demotion_diff_source: Option<DupeDemotionDiffSource>,
283    /// The warning of a degraded type-aware comparison, already recorded on
284    /// the head analyses.
285    pub type_aware_degrade_warning: Option<String>,
286    /// Diff-risk findings. Every one is introduced by the change. Empty until
287    /// [`run`] computes them, and in [`attribute`] alone.
288    pub diff_risk: fallow_output::DiffRiskReport,
289}
290
291impl AuditOutcome {
292    /// Store the diff-risk findings and fold their severity into the verdict:
293    /// an `error` finding fails the audit, a `warn` finding turns a pass into
294    /// a warn.
295    pub fn apply_diff_risk(&mut self, report: fallow_output::DiffRiskReport) {
296        if report.has_errors() {
297            self.verdict = AuditVerdict::Fail;
298        } else if !report.is_empty() && self.verdict == AuditVerdict::Pass {
299            self.verdict = AuditVerdict::Warn;
300        }
301        self.diff_risk = report;
302    }
303}
304
305/// The base snapshot of the typed audit output. When the head keys stood in
306/// for the base, the head keys are the base snapshot, so this keeps them.
307pub(crate) fn programmatic_base_snapshot(
308    outcome: &AuditOutcome,
309) -> Option<crate::AuditProgrammaticKeySnapshot> {
310    outcome
311        .base_snapshot
312        .as_ref()
313        .map(AuditKeySnapshot::to_programmatic)
314}
315
316/// One completed audit run.
317pub struct AuditRun<A> {
318    /// Head analyses, with introduced flags on dead-code and health findings
319    /// when a base snapshot exists.
320    pub analyses: A,
321    /// Changed files of the run.
322    pub changed_files: FxHashSet<PathBuf>,
323    /// Attribution result.
324    pub outcome: AuditOutcome,
325}
326
327/// Run one audit. Returns `None` when the run has no changed files.
328///
329/// # Errors
330///
331/// Returns the error of the backend when an analysis or the base checkout
332/// fails.
333pub fn run<B: AuditBackend>(
334    backend: &B,
335    input: AuditRunInput<'_>,
336) -> Result<Option<AuditRun<B::Analyses>>, B::Error> {
337    let AuditRunInput {
338        root,
339        gate,
340        base_ref,
341        cache_dir,
342        changed_files,
343        inherited_base_refs,
344    } = input;
345    if changed_files.is_empty() {
346        return Ok(None);
347    }
348    backend.prepare();
349
350    let needs_real_base = matches!(gate, AuditGate::NewOnly)
351        && !can_reuse_current_as_base(root, cache_dir, base_ref, &changed_files);
352    // The diff-risk pass also needs the renames under `--gate all`, so a moved
353    // test file does not read as removed tests.
354    let renames = if needs_real_base || !matches!(gate, AuditGate::NewOnly) {
355        renamed_files(root, base_ref)
356    } else {
357        Vec::new()
358    };
359    let focus = base_focus_files(&changed_files, &renames);
360    let cache_key = if needs_real_base {
361        backend.base_cache_key(base_ref, &focus)?
362    } else {
363        None
364    };
365    let cached = cache_key
366        .as_ref()
367        .and_then(|key| backend.load_cached_base(key));
368
369    let (head, fresh_base) = if needs_real_base && cached.is_none() {
370        let base_sha = cache_key
371            .as_ref()
372            .and_then(|key| backend.cached_base_sha(key));
373        let (head, base) = rayon::join(
374            || backend.run_head(&changed_files),
375            || base_snapshot(backend, root, base_ref, &focus, base_sha),
376        );
377        (head, Some(base))
378    } else {
379        (backend.run_head(&changed_files), None)
380    };
381    let mut analyses = head?;
382    scope_dependency_findings_of(&mut analyses, &changed_files);
383
384    let base = if !matches!(gate, AuditGate::NewOnly) {
385        AuditBase::default()
386    } else if let Some(snapshot) = cached {
387        AuditBase {
388            snapshot: Some(snapshot),
389            skipped: false,
390            inherited: inherited_snapshots(backend, root, inherited_base_refs, &focus),
391        }
392    } else if let Some(fresh) = fresh_base {
393        let snapshot = fresh?;
394        if let Some(key) = cache_key.as_ref() {
395            backend.save_cached_base(key, &snapshot);
396        }
397        AuditBase {
398            snapshot: Some(snapshot),
399            skipped: false,
400            inherited: inherited_snapshots(backend, root, inherited_base_refs, &focus),
401        }
402    } else {
403        AuditBase {
404            snapshot: Some(AuditKeySnapshot::from_view(&analyses.view())),
405            skipped: true,
406            inherited: Vec::new(),
407        }
408    };
409
410    let mut outcome = attribute(
411        &mut analyses,
412        AuditAttributionInput {
413            root,
414            gate,
415            base_ref,
416            base,
417            renames: &renames,
418            shared_diff: backend.shared_diff(),
419        },
420    );
421    let diff_risk = diff_risk_of(
422        &analyses,
423        &outcome,
424        root,
425        base_ref,
426        &changed_files,
427        &renames,
428    );
429    outcome.apply_diff_risk(diff_risk);
430    Ok(Some(AuditRun {
431        analyses,
432        changed_files,
433        outcome,
434    }))
435}
436
437/// Compare head analyses with a base snapshot, decide the verdict, and set
438/// the introduced flags on the dead-code and health findings.
439pub fn attribute<A: AuditAnalyses>(
440    analyses: &mut A,
441    input: AuditAttributionInput<'_>,
442) -> AuditOutcome {
443    let AuditAttributionInput {
444        root,
445        gate,
446        base_ref,
447        base,
448        renames,
449        shared_diff,
450    } = input;
451    let AuditBase {
452        snapshot: mut base_snapshot,
453        skipped,
454        inherited,
455    } = base;
456    // The head keys that stand in for a skipped base are head paths already.
457    if !skipped && let Some(snapshot) = base_snapshot.as_mut() {
458        snapshot.remap_for_renames(renames, root);
459        for inherited in inherited {
460            snapshot.absorb_inherited(inherited);
461        }
462    }
463    let degrade_reason = {
464        let view = analyses.view();
465        type_aware_attribution_degrade_reason(
466            base_snapshot.as_ref(),
467            view.dead_code
468                .as_ref()
469                .and_then(|dead_code| dead_code.type_aware),
470        )
471    };
472    let type_aware_degrade_warning = degrade_reason.map(type_aware_degrade_warning);
473    if let Some(warning) = type_aware_degrade_warning.as_deref() {
474        analyses.record_type_aware_warning(warning);
475    }
476
477    let (comparison, dupe_demotion_diff_source, (attribution, verdict, summary)) = {
478        let view = analyses.view();
479        let mut comparison = compare(&view, base_snapshot.as_ref(), degrade_reason.is_some());
480        let source = demote_preexisting_dupe_introductions(
481            &mut comparison,
482            &view,
483            root,
484            base_ref,
485            shared_diff,
486        );
487        let result = outcome(gate, &view, &comparison, base_snapshot.is_some());
488        (comparison, source, result)
489    };
490
491    if base_snapshot.is_some() {
492        if let Some(results) = analyses.dead_code_results_mut() {
493            comparison.dead_code.annotate_results(results);
494        }
495        if let Some(report) = analyses.health_report_mut() {
496            for (finding, introduced) in report
497                .findings
498                .iter_mut()
499                .zip(comparison.health.introduced())
500            {
501                finding.introduced = Some(introduced);
502            }
503        }
504    }
505
506    AuditOutcome {
507        verdict,
508        summary,
509        attribution,
510        comparison,
511        base_snapshot,
512        base_snapshot_skipped: skipped,
513        dupe_demotion_diff_source,
514        type_aware_degrade_warning,
515        diff_risk: fallow_output::DiffRiskReport::default(),
516    }
517}
518
519/// Run the diff-risk rules over the changed files of one audit.
520fn diff_risk_of<A: AuditAnalyses>(
521    analyses: &A,
522    outcome: &AuditOutcome,
523    root: &Path,
524    base_ref: &str,
525    changed_files: &FxHashSet<PathBuf>,
526    renames: &[RenamedFile],
527) -> fallow_output::DiffRiskReport {
528    let view = analyses.view();
529    let default_rules = RulesConfig::default();
530    let rules = if let Some(dead_code) = view.dead_code.as_ref() {
531        crate::diff_risk::DiffRiskRules::Config(dead_code.config)
532    } else if let Some(health) = view.health.as_ref() {
533        crate::diff_risk::DiffRiskRules::Rules(health.rules)
534    } else {
535        crate::diff_risk::DiffRiskRules::Rules(&default_rules)
536    };
537    let head_clone_groups = view
538        .duplication
539        .as_ref()
540        .map(|duplication| {
541            duplication
542                .clone_groups
543                .iter()
544                .map(|group| crate::diff_risk::clone_spans(group, duplication.root))
545                .collect()
546        })
547        .unwrap_or_default();
548    // A skipped base pass reuses the head keys, so no clone copy can differ.
549    let base_clone_groups = if outcome.base_snapshot_skipped || view.duplication.is_none() {
550        None
551    } else {
552        outcome
553            .base_snapshot
554            .as_ref()
555            .map(|snapshot| snapshot.dupe_groups.as_slice())
556    };
557    crate::diff_risk::detect(&crate::diff_risk::DiffRiskInput {
558        root,
559        base_ref,
560        changed_files,
561        renames,
562        rules,
563        base_clone_groups,
564        head_clone_groups,
565    })
566}
567
568/// Take the snapshot of each inherited base, with its keys on head paths.
569///
570/// An inherited base only lowers the introduced count, so a base that fails
571/// (no worktree, a failed analysis) is left out. The audit then keeps the
572/// stricter comparison with the primary base.
573fn inherited_snapshots<B: AuditBackend>(
574    backend: &B,
575    root: &Path,
576    refs: &[String],
577    focus: &FxHashSet<PathBuf>,
578) -> Vec<AuditKeySnapshot> {
579    refs.iter()
580        .filter_map(|inherited_ref| inherited_snapshot(backend, root, inherited_ref, focus).ok())
581        .collect()
582}
583
584fn inherited_snapshot<B: AuditBackend>(
585    backend: &B,
586    root: &Path,
587    inherited_ref: &str,
588    focus: &FxHashSet<PathBuf>,
589) -> Result<AuditKeySnapshot, B::Error> {
590    let cache_key = backend.base_cache_key(inherited_ref, focus)?;
591    if let Some(cached) = cache_key
592        .as_ref()
593        .and_then(|key| backend.load_cached_base(key))
594    {
595        return Ok(remapped(cached, root, inherited_ref));
596    }
597    let base_sha = cache_key
598        .as_ref()
599        .and_then(|key| backend.cached_base_sha(key));
600    let snapshot = base_snapshot(backend, root, inherited_ref, focus, base_sha)?;
601    if let Some(key) = cache_key.as_ref() {
602        backend.save_cached_base(key, &snapshot);
603    }
604    Ok(remapped(snapshot, root, inherited_ref))
605}
606
607fn remapped(mut snapshot: AuditKeySnapshot, root: &Path, base_ref: &str) -> AuditKeySnapshot {
608    snapshot.remap_for_renames(&renamed_files(root, base_ref), root);
609    snapshot
610}
611
612/// Analyze the base checkout and take its attribution keys.
613fn base_snapshot<B: AuditBackend>(
614    backend: &B,
615    root: &Path,
616    base_ref: &str,
617    focus: &FxHashSet<PathBuf>,
618    base_sha: Option<&str>,
619) -> Result<AuditKeySnapshot, B::Error> {
620    let checkout = backend.create_base_checkout(base_ref, base_sha)?;
621    let base_root = match resolve_base_analysis_root(root, checkout.path()) {
622        // The canonical spelling: an analysis session canonicalizes its root,
623        // so a focus set spelled through a symbolic link (the macOS temporary
624        // directory) would match no finding and empty the base snapshot.
625        BaseAnalysisRoot::Present(base_root) => {
626            dunce::canonicalize(&base_root).unwrap_or(base_root)
627        }
628        // A root that the base commit does not contain (a package added on
629        // the branch) has an empty base snapshot, so every finding under it
630        // is introduced.
631        BaseAnalysisRoot::NewInHead(_) => return Ok(AuditKeySnapshot::default()),
632    };
633    let base_focus = remap_focus_files(focus, root, &base_root);
634    let mut base = backend.run_base(&base_root, base_focus.as_ref())?;
635    if let Some(focus) = base_focus.as_ref() {
636        scope_dependency_findings_of(&mut base, focus);
637    }
638    let snapshot = AuditKeySnapshot::from_view(&base.view());
639    drop(checkout);
640    Ok(snapshot)
641}
642
643/// Apply [`scope_dependency_findings`] to the dead-code findings of one side.
644fn scope_dependency_findings_of<A: AuditAnalyses>(
645    analyses: &mut A,
646    changed_files: &FxHashSet<PathBuf>,
647) {
648    let Some(root) = analyses
649        .view()
650        .dead_code
651        .map(|dead_code| dead_code.root.to_path_buf())
652    else {
653        return;
654    };
655    if let Some(results) = analyses.dead_code_results_mut() {
656        scope_dependency_findings(results, &root, changed_files);
657    }
658}