Expand description
Bounded syntax evidence for Python process-input keyed reads.
CPython publishes the process environment as os.environ and the launch
argument vector as sys.argv. Both are module attributes, so the read’s
identity is the import binder plus the lexical scope, never the spelling of
the root name. This module reports what the syntax proves; the reviewed
runtime model in brokk-bifrost-analysis owns what the read means, and
the executable semantics own the load it joins.
Every pass is iterative and bounded. An exhausted budget reports an incomplete result rather than a clean one.
Structs§
- Python
Runtime Read - One keyed read of a reviewed process-input container.
- Python
Runtime Read Facts - Everything one bounded pass over one Python module proves.
- Python
Runtime Write - One occurrence of a reviewed path that is not a plain keyed read.
Enums§
- Python
Module Member Mutation - Why one Python module’s member value may not be the module’s own at a call.
- Python
Runtime Access Key - A statically nameable Python access key.
- Python
Runtime Accessor Coverage - Whether anything that can run before one read could replace the container or intercept the access.
- Python
Runtime Execution Context - The execution context one read belongs to.
- Python
Runtime Mutation Evidence - What this module proves about writes to the reviewed container.
- Python
Runtime Root Resolution - How the root identifier of one access path resolves at its use site.
- Python
Runtime Write Target - Why one occurrence of the reviewed path is not a plain keyed read.
Functions§
- extract_
python_ runtime_ reads - Report the reviewed process-input keyed reads and the writes that bound their pristine-input claim.
- python_
external_ class_ member_ mutation - Find writes to one imported external class member in this file.
- python_
module_ member_ mutation - What in this file can replace
module.member, orNonewhen nothing can. - python_
runtime_ keyed_ access_ seed - The structural node that represents one reviewed keyed read.