Struct Linter 

pub struct Linter { /* private fields */ }

The vocabulary index the linter validates against — the Bitmap Symbol Table’s key set, organised by facet dimension so suggestions stay in-dimension (a bad geo/… is corrected against real geo/…).

Implementations

impl Linter

pub fn from_tokens<I: IntoIterator<Item = String>>(tokens: I) -> Linter

Build from the corpus’s vocabulary (all facet/value tokens).

pub fn with_numeric_fields<I: IntoIterator<Item = String>>( self, fields: I, ) -> Self

Declare the corpus’s numeric fields so (num <field> …) predicates validate against the right namespace.

pub fn numeric_fields(&self) -> Vec<String>

pub fn validate_atom(&self, atom: &str) -> AtomStatus

Validate one atom: exact, wildcard-coverage, or unknown-with-suggestions.

pub fn has_facet(&self, facet: &str) -> bool

Is facet a dimension this corpus actually has?

pub fn facet_names(&self) -> Vec<String>

The corpus’s real facet names, sorted — what to show when a query names a dimension that does not exist here.

pub fn suggest(&self, atom: &str) -> Vec<String>

Nearest real terms to a miss, scoped to the atom’s own facet. Returns empty when the facet itself is unknown — suggesting values from an unrelated dimension (artifact/power_cube → state/negated) is worse than saying the dimension doesn’t exist, which lint reports instead.

pub fn lint(&self, ikl: &str) -> LintReport

Lint a full IKL expression: repair unbalanced parens, then validate every vocabulary atom.