Struct ScanResult 

pub struct ScanResult {
    pub files_scanned: usize,
    pub python_available: bool,
    pub targets: BTreeMap<String, TargetEvidence>,
    pub libs: BTreeSet<String>,
    pub functions: Vec<FunctionFacts>,
    pub resilience_libs: BTreeSet<String>,
    pub host_transports: BTreeMap<String, TransportClass>,
    pub subprocesses: Vec<SubprocessSighting>,
    pub dependency_averse: Vec<DepAverseFile>,
    pub simplifications: Vec<SimplificationSighting>,
    pub orchestration: Vec<OrchestrationSighting>,
}

The merged output of both scanners.

Fields

files_scanned: usize

Number of source files parsed (Python + JS/TS) — the header’s “N static scans”.

python_available: bool

Whether python3 was available for the Python pass. When false, Python files could not be scanned; keel init notes this on stderr rather than letting it silently narrow coverage.

targets: BTreeMap<String, TargetEvidence>

Discovered targets, keyed by target string, ordered.

libs: BTreeSet<String>

Effect-library names detected across the project (e.g. httpx, openai, boto3, fetch). keel doctor cross-references these against its adapter registry to classify coverage.

functions: Vec<FunctionFacts>

Per-function attribution (see FunctionFacts), sorted by (file, line) — deterministic across runs.

resilience_libs: BTreeSet<String>

Known resilience-library names detected, across both languages (see LangFindings::resilience_libs).

host_transports: BTreeMap<String, TransportClass>

Best-known TransportClass per sighted host, merged across every file and language that sighted it (minimum = best class wins). Unlike targets, this is never gated on http_in_use — it exists precisely to let keel doctor report on hosts Keel cannot see at all.

subprocesses: Vec<SubprocessSighting>

Every externally-launched process the scan saw, sorted by (file, line) — deterministic across runs. keel doctor uses this to call out where Keel’s visibility ends at a process boundary.

dependency_averse: Vec<DepAverseFile>

Files judged dependency-averse across the project, sorted by file — see DepAverseFile. Python-only as of this build (see LangFindings::dependency_averse).

simplifications: Vec<SimplificationSighting>

Hand-rolled resilience patterns sighted in functions with target attribution, sorted by (file, line, kind) — deterministic across runs.

orchestration: Vec<OrchestrationSighting>

Hand-rolled orchestration sighted in unparsed shell/Makefile/CI files, sorted by (file, line, kind) — deterministic across runs. Coarse substring leads, never a parse; keel doctor surfaces them as the place to look for at-most-once dispatch a cmd: flow could replace.

Trait Implementations

impl Clone for ScanResult

fn clone(&self) -> ScanResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScanResult

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

Formats the value using the given formatter.

impl Default for ScanResult

fn default() -> ScanResult

Returns the “default value” for a type.