Struct GcPlan 

pub struct GcPlan {
    pub removable: Vec<PathBuf>,
    pub removable_bytes: u64,
    pub kept_orphans: Vec<(String, usize)>,
    pub symlinks: Vec<PathBuf>,
    pub scanned: usize,
}

What lean-ctx knowledge gc found under the knowledge directory.

Only GcPlan::removable is ever removed, and only by an explicit --apply: directories that hold no data at all. A store that holds anything (facts, patterns, history, judged pairs, any field this build does not know) is never removed here; when its project is gone it is listed in GcPlan::kept_orphans.

Fields

removable: Vec<PathBuf>

Store directories that hold no data: an empty store whose project is gone, or a directory with no store file at all (only the lock file, or nothing) untouched for a day. Sorted.

removable_bytes: u64

kept_orphans: Vec<(String, usize)>

Orphaned stores that still hold data: (project root, facts).

symlinks: Vec<PathBuf>

Entries of the knowledge directory that are symbolic links: never followed, never removed, reported.

scanned: usize

Store directories looked at.

Trait Implementations

impl Debug for GcPlan

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for GcPlan

fn default() -> Self

Returns the “default value” for a type.