Struct LangFindings

Source

pub struct LangFindings {
    pub llm: Vec<(String, Sighting)>,
    pub hosts: Vec<(String, Sighting)>,
    pub http_in_use: bool,
    pub libs: BTreeSet<String>,
    pub call_sites: Vec<CallSite>,
    pub resilience_libs: BTreeSet<String>,
    pub host_transports: BTreeMap<String, TransportClass>,
    pub subprocesses: Vec<SubprocessSighting>,
    pub dependency_averse: Vec<DepAverseFile>,
    pub simplifications: Vec<SimplificationSighting>,
}

Expand description

One language scanner’s raw findings before host-gating.

Fields§

§llm: Vec<(String, Sighting)>

Provider SDK imports → llm:* targets.

§hosts: Vec<(String, Sighting)>

URL/DSN host literals → host targets (gated on http_in_use).

§http_in_use: bool

Whether an HTTP client (http lib / fetch / undici) was seen at all.

§libs: BTreeSet<String>

Effect-library names detected (for keel doctor’s registry cross-check).

§call_sites: Vec<CallSite>

Effect call sites with enclosing-function attribution.

§resilience_libs: BTreeSet<String>

Known resilience-library names detected (e.g. tenacity, backoff) — a keel doctor signal for pre-existing retry/backoff that might now silently compound with Keel’s own. Deliberately separate from libs: these are libraries Keel never adapts, so merging them in would misclassify them as an “invisible” coverage gap.

§host_transports: BTreeMap<String, TransportClass>

Per-sighting TransportClass for every host this language pass saw, keyed by host. Never gated on http_in_use — a bare URL literal with no reachable transport is exactly the Unknown case keel doctor needs to report honestly.

§subprocesses: Vec<SubprocessSighting>

Externally-launched processes this language pass saw (see SubprocessSighting).

§dependency_averse: Vec<DepAverseFile>

Files this language pass judged dependency-averse (see DepAverseFile).

§simplifications: Vec<SimplificationSighting>

Hand-rolled resilience patterns this language pass saw (see SimplificationSighting). Python-only as of this build.

LangFindings

Struct LangFindings Copy item path

Fields§

Trait Implementations§

impl Clone for LangFindings

fn clone(&self) -> LangFindings

fn clone_from(&mut self, source: &Self)

impl Debug for LangFindings

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

impl Default for LangFindings

fn default() -> LangFindings

Auto Trait Implementations§

impl Freeze for LangFindings

impl RefUnwindSafe for LangFindings

impl Send for LangFindings

impl Sync for LangFindings

impl Unpin for LangFindings

impl UnsafeUnpin for LangFindings

impl UnwindSafe for LangFindings

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<'a, T> FromIn<'a, T> for T

fn from_in(t: T, _: &'a Allocator) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<'a, T, U> IntoIn<'a, U> for Twhere U: FromIn<'a, T>,

fn into_in(self, allocator: &'a Allocator) -> U

impl<D> OwoColorize for D

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where C: Color,

fn black(&self) -> FgColorDisplay<'_, Black, Self>

fn on_black(&self) -> BgColorDisplay<'_, Black, Self>

fn red(&self) -> FgColorDisplay<'_, Red, Self>

fn on_red(&self) -> BgColorDisplay<'_, Red, Self>

fn green(&self) -> FgColorDisplay<'_, Green, Self>

fn on_green(&self) -> BgColorDisplay<'_, Green, Self>

fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>

fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>

fn blue(&self) -> FgColorDisplay<'_, Blue, Self>

fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>

fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>

fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>

fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>

fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>

fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>

fn white(&self) -> FgColorDisplay<'_, White, Self>

fn on_white(&self) -> BgColorDisplay<'_, White, Self>

fn default_color(&self) -> FgColorDisplay<'_, Default, Self>

fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>

fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>

fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>

fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>

fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>

fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>

fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>

fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>

fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>

fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>

fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>

fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>

fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>

fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>

fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>

fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>

fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>

Struct LangFindings

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<'a, T, U> IntoIn<'a, U> for T
where U: FromIn<'a, T>,

fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>
where C: Color,

fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>
where C: Color,

fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>
where Color: DynColor,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,