Function extract_python_runtime_reads 

pub fn extract_python_runtime_reads(
    root: Node<'_>,
    source: &str,
    max_facts: usize,
) -> PythonRuntimeReadFacts

Report the reviewed process-input keyed reads and the writes that bound their pristine-input claim.

max_facts bounds emitted rows; the derived node bound stops the pass on a tree large enough to make either traversal unbounded.