LICENSE
README.md
pyproject.toml
invariant/__init__.py
invariant/__main__.py
invariant/analyzer/__init__.py
invariant/analyzer/base_policy.py
invariant/analyzer/extras.py
invariant/analyzer/monitor.py
invariant/analyzer/policy.py
invariant/analyzer/remote_policy.py
invariant/analyzer/result.py
invariant/analyzer/traces.py
invariant/analyzer/examples/openai_agent_example.py
invariant/analyzer/examples/traces_example.py
invariant/analyzer/examples/agent_bugs/traceset.py
invariant/analyzer/examples/agent_flan/run.py
invariant/analyzer/language/ast.py
invariant/analyzer/language/linking.py
invariant/analyzer/language/optimizer.py
invariant/analyzer/language/parser.py
invariant/analyzer/language/scope.py
invariant/analyzer/language/types.py
invariant/analyzer/language/typing.py
invariant/analyzer/runtime/__init__.py
invariant/analyzer/runtime/evaluation.py
invariant/analyzer/runtime/evaluation_context.py
invariant/analyzer/runtime/function_cache.py
invariant/analyzer/runtime/functions.py
invariant/analyzer/runtime/input.py
invariant/analyzer/runtime/nodes.py
invariant/analyzer/runtime/patterns.py
invariant/analyzer/runtime/quantifier.py
invariant/analyzer/runtime/range.py
invariant/analyzer/runtime/rule.py
invariant/analyzer/runtime/runtime_errors.py
invariant/analyzer/runtime/span.py
invariant/analyzer/runtime/symbol_table.py
invariant/analyzer/runtime/interface/primitives.py
invariant/analyzer/runtime/utils/base.py
invariant/analyzer/runtime/utils/batching.py
invariant/analyzer/runtime/utils/code.py
invariant/analyzer/runtime/utils/invariant_attributes.py
invariant/analyzer/runtime/utils/moderation.py
invariant/analyzer/runtime/utils/ocr.py
invariant/analyzer/runtime/utils/pii.py
invariant/analyzer/runtime/utils/prompt_injections.py
invariant/analyzer/runtime/utils/secrets.py
invariant/analyzer/runtime/utils/sentence_similarity.py
invariant/analyzer/runtime/utils/copyright/copyright.py
invariant/analyzer/runtime/utils/copyright/software_licenses.py
invariant/analyzer/stdlib/invariant/__init__.py
invariant/analyzer/stdlib/invariant/access_control.py
invariant/analyzer/stdlib/invariant/builtins.py
invariant/analyzer/stdlib/invariant/errors.py
invariant/analyzer/stdlib/invariant/files.py
invariant/analyzer/stdlib/invariant/llm.py
invariant/analyzer/stdlib/invariant/message.py
invariant/analyzer/stdlib/invariant/nodes.py
invariant/analyzer/stdlib/invariant/quantifiers.py
invariant/analyzer/stdlib/invariant/detectors/__init__.py
invariant/analyzer/stdlib/invariant/detectors/code.py
invariant/analyzer/stdlib/invariant/detectors/copyright.py
invariant/analyzer/stdlib/invariant/detectors/fuzzy_matching.py
invariant/analyzer/stdlib/invariant/detectors/moderation.py
invariant/analyzer/stdlib/invariant/detectors/pii.py
invariant/analyzer/stdlib/invariant/detectors/prompt_injection.py
invariant/analyzer/stdlib/invariant/detectors/secrets.py
invariant/analyzer/stdlib/invariant/detectors/sentence_similarity.py
invariant/analyzer/stdlib/invariant/parsers/__init__.py
invariant/analyzer/stdlib/invariant/parsers/html.py
invariant/analyzer/stdlib/invariant/parsers/ocr.py
invariant/explorer/launch.py
invariant/tests/conftest.py
invariant/tests/analyzer/test_builtins.py
invariant/tests/analyzer/test_chunked.py
invariant/tests/analyzer/test_constants.py
invariant/tests/analyzer/test_derived_variables.py
invariant/tests/analyzer/test_flow.py
invariant/tests/analyzer/test_guarding.py
invariant/tests/analyzer/test_html_parsing.py
invariant/tests/analyzer/test_images.py
invariant/tests/analyzer/test_input.py
invariant/tests/analyzer/test_list_comprehensions.py
invariant/tests/analyzer/test_monitor.py
invariant/tests/analyzer/test_parser.py
invariant/tests/analyzer/test_parser_errors.py
invariant/tests/analyzer/test_parser_semantic_patterns.py
invariant/tests/analyzer/test_policy_parameters.py
invariant/tests/analyzer/test_predicates.py
invariant/tests/analyzer/test_quantifiers.py
invariant/tests/analyzer/test_ranges.py
invariant/tests/analyzer/test_readme_examples.py
invariant/tests/analyzer/test_semantic_patterns.py
invariant/tests/analyzer/test_stdlib_functions.py
invariant/tests/analyzer/test_ternary_operator.py
invariant/tests/analyzer/test_tools.py
invariant/tests/analyzer/test_utils.py
invariant/tests/analyzer/utils.py
invariant/tests/analyzer/custom_checker_project/checker.py
invariant_ai.egg-info/PKG-INFO
invariant_ai.egg-info/SOURCES.txt
invariant_ai.egg-info/dependency_links.txt
invariant_ai.egg-info/entry_points.txt
invariant_ai.egg-info/requires.txt
invariant_ai.egg-info/top_level.txt