LICENSE
README.md
pyproject.toml
semiformal_py.egg-info/PKG-INFO
semiformal_py.egg-info/SOURCES.txt
semiformal_py.egg-info/dependency_links.txt
semiformal_py.egg-info/entry_points.txt
semiformal_py.egg-info/requires.txt
semiformal_py.egg-info/top_level.txt
semipy/__init__.py
semipy/__main__.py
semipy/_slot_region.py
semipy/cli.py
semipy/dataclass_utils.py
semipy/decorator.py
semipy/diagnostics_export.py
semipy/documents.py
semipy/lowering.py
semipy/lowering_ast.py
semipy/models.py
semipy/portal_inspect.py
semipy/resolver.py
semipy/routing.py
semipy/runtime_fingerprint.py
semipy/semi_fn.py
semipy/session_anchor.py
semipy/slot_observations.py
semipy/slot_resolver.py
semipy/store.py
semipy/type_adapter.py
semipy/types.py
semipy/agents/agent.py
semipy/agents/compiler.py
semipy/agents/config.py
semipy/agents/console_core.py
semipy/agents/console_format.py
semipy/agents/console_io.py
semipy/agents/console_messages.py
semipy/agents/console_view.py
semipy/agents/decision.py
semipy/agents/executor.py
semipy/agents/generator.py
semipy/agents/llm_utils.py
semipy/agents/profiler.py
semipy/agents/program_analysis.py
semipy/agents/skeleton_writer.py
semipy/agents/slot_call.py
semipy/agents/steering.py
semipy/agents/tools.py
semipy/agents/validator.py
semipy/contract/__init__.py
semipy/contract/access.py
semipy/contract/change.py
semipy/contract/fingerprint.py
semipy/contract/maintainer.py
semipy/contract/models.py
semipy/contract/relations.py
semipy/contract/runner.py
semipy/contract/serialize.py
semipy/effects/__init__.py
semipy/effects/apply.py
semipy/effects/capability.py
semipy/effects/compensate.py
semipy/effects/diff.py
semipy/effects/inject.py
semipy/effects/ledger.py
semipy/effects/models.py
semipy/effects/prove.py
semipy/effects/provenance.py
semipy/effects/schema.py
semipy/effects/shadow.py
semipy/effects/verify.py
semipy/effects/backends/__init__.py
semipy/effects/backends/external.py
semipy/effects/backends/memory.py
semipy/effects/backends/sqlite.py
semipy/history/__init__.py
semipy/history/version_control.py
semipy/history/version_lock.py
semipy/library/__init__.py
semipy/library/binding.py
semipy/library/sketch.py
semipy/library/sketch_store.py
semipy/reactivity/__init__.py
semipy/reactivity/flow.py
semipy/reactivity/reactive.py