Module source_facts 

Mounted read-side input for Python declaration consumers.

Structs

PythonFileSourceFacts

PythonModuleGlobalSourceFacts

Syntax-only proof candidates for module-level initializer values.

PythonModuleMutationFacts

Complete syntax-only module mutation facts for one request or operation.

Traits

PythonSourceFactProvider

Functions

python_module_binding_unmutated_at_bounded

Stateless callers share the same complete collector and read evaluator.

python_module_export_unmutated_bounded

Each source module/facade supplies its own completed export inventory.

python_module_global_source_facts

Collect bounded, per-file module-binding syntax facts.