Struct FunctionFacts 

pub struct FunctionFacts {
    pub entrypoint: String,
    pub file: String,
    pub line: u32,
    pub effects: u32,
    pub idempotent_unsafe: u32,
    pub time_reads: u32,
    pub random_reads: u32,
    pub unsafe_reasons: Vec<String>,
    pub targets: BTreeSet<String>,
}

Per-function effect attribution — the evidence behind keel flows suggest.

Each language pass attributes what it finds inside a function definition to that function: intercepted-effect call sites, calls that read time or randomness (virtualized under Tier 2 replay), and constructs that defeat replay outright (threads, subprocesses, raw sockets). Both passes attribute by real containment: the Python walker via ast module-level def bodies, the JS/TS pass via a real oxc scope walk (see js) — an entry opens only for a function bound directly at module top level; class methods and nested/inner functions roll up into the enclosing top-level entry rather than opening their own.

Fields

entrypoint: String

The full flow-entrypoint ref this function would be designated as — py:pipeline.ingest:main or ts:jobs/nightly.ts#run (the ts: namespace covers all JS/TS files).

file: String

Project-relative path of the defining file.

line: u32

1-based line of the def/function.

effects: u32

Intercepted-effect call sites (HTTP / LLM / DSN-bearing libraries).

idempotent_unsafe: u32

Effect calls that are not idempotent-safe to re-send (POST/PATCH-shaped) and carry no idempotency evidence.

time_reads: u32

Wall-clock reads (time.time, datetime.now, Date.now, …) — these are virtualized (journaled + replayed) under Tier 2.

random_reads: u32

Randomness reads (random.*, uuid4, Math.random, …) — also virtualized under Tier 2.

unsafe_reasons: Vec<String>

Why replay would be unsafe (empty = the replay-safe estimate holds). Each reason cites what at file:line; sorted, deterministic.

targets: BTreeSet<String>

Targets referenced inside the function (hosts from URL literals, llm:<provider> from SDK calls) — the join key into .keel/discovery.db.

Trait Implementations

impl Clone for FunctionFacts

fn clone(&self) -> FunctionFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionFacts

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

Formats the value using the given formatter.

impl Default for FunctionFacts

fn default() -> FunctionFacts

Returns the “default value” for a type.

impl Eq for FunctionFacts

impl PartialEq for FunctionFacts

fn eq(&self, other: &FunctionFacts) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FunctionFacts