LICENSE
README.md
pyproject.toml
src/runtimeverify/__init__.py
src/runtimeverify/cli.py
src/runtimeverify.egg-info/PKG-INFO
src/runtimeverify.egg-info/SOURCES.txt
src/runtimeverify.egg-info/dependency_links.txt
src/runtimeverify.egg-info/entry_points.txt
src/runtimeverify.egg-info/requires.txt
src/runtimeverify.egg-info/top_level.txt
src/runtimeverify/api/__init__.py
src/runtimeverify/api/app.py
src/runtimeverify/api/auth.py
src/runtimeverify/api/middleware.py
src/runtimeverify/api/schemas.py
src/runtimeverify/api/v1/__init__.py
src/runtimeverify/api/v1/agents.py
src/runtimeverify/api/v1/approvals.py
src/runtimeverify/api/v1/audit.py
src/runtimeverify/api/v1/decisions.py
src/runtimeverify/api/v1/events.py
src/runtimeverify/api/v1/health.py
src/runtimeverify/api/v1/policies.py
src/runtimeverify/api/v1/router.py
src/runtimeverify/approvals/__init__.py
src/runtimeverify/approvals/api_provider.py
src/runtimeverify/approvals/cli_provider.py
src/runtimeverify/approvals/exceptions.py
src/runtimeverify/approvals/models.py
src/runtimeverify/approvals/provider.py
src/runtimeverify/approvals/store.py
src/runtimeverify/audit/__init__.py
src/runtimeverify/audit/config.py
src/runtimeverify/audit/models.py
src/runtimeverify/audit/redaction.py
src/runtimeverify/audit/repository.py
src/runtimeverify/audit/service.py
src/runtimeverify/audit/sinks.py
src/runtimeverify/cloud/__init__.py
src/runtimeverify/cloud/client.py
src/runtimeverify/dashboard/__init__.py
src/runtimeverify/dashboard/index.html
src/runtimeverify/detector/__init__.py
src/runtimeverify/detector/base.py
src/runtimeverify/detector/registry.py
src/runtimeverify/detector/results.py
src/runtimeverify/encoder/__init__.py
src/runtimeverify/encoder/base.py
src/runtimeverify/encoder/cache.py
src/runtimeverify/encoder/classifier.py
src/runtimeverify/encoder/context.py
src/runtimeverify/encoder/enrichers.py
src/runtimeverify/encoder/normalizer.py
src/runtimeverify/encoder/pipeline.py
src/runtimeverify/encoder/registry.py
src/runtimeverify/encoder/rules.py
src/runtimeverify/enterprise/__init__.py
src/runtimeverify/enterprise/approval.py
src/runtimeverify/enterprise/audit.py
src/runtimeverify/enterprise/auth.py
src/runtimeverify/enterprise/context.py
src/runtimeverify/enterprise/isolation.py
src/runtimeverify/enterprise/models.py
src/runtimeverify/enterprise/policyset.py
src/runtimeverify/enterprise/rbac.py
src/runtimeverify/evaluation/__init__.py
src/runtimeverify/evaluation/baselines.py
src/runtimeverify/evaluation/benchmark.py
src/runtimeverify/evaluation/datasets.py
src/runtimeverify/evaluation/generators.py
src/runtimeverify/evaluation/metrics.py
src/runtimeverify/evaluation/replay.py
src/runtimeverify/evaluation/reports.py
src/runtimeverify/evaluation/runner.py
src/runtimeverify/evaluation/scenarios.py
src/runtimeverify/evaluation/strategies.py
src/runtimeverify/events/__init__.py
src/runtimeverify/events/base.py
src/runtimeverify/events/canonical.py
src/runtimeverify/events/context.py
src/runtimeverify/events/enums.py
src/runtimeverify/events/filesystem.py
src/runtimeverify/events/llm.py
src/runtimeverify/events/memory.py
src/runtimeverify/events/network.py
src/runtimeverify/events/tool.py
src/runtimeverify/integrations/__init__.py
src/runtimeverify/integrations/crewai.py
src/runtimeverify/integrations/langchain.py
src/runtimeverify/integrations/langgraph.py
src/runtimeverify/integrations/pydanticai.py
src/runtimeverify/interception/__init__.py
src/runtimeverify/interception/exceptions.py
src/runtimeverify/interception/executor.py
src/runtimeverify/interception/interceptor.py
src/runtimeverify/interception/models.py
src/runtimeverify/markov/__init__.py
src/runtimeverify/markov/explain.py
src/runtimeverify/markov/matrix.py
src/runtimeverify/markov/metrics.py
src/runtimeverify/markov/model.py
src/runtimeverify/markov/persistence.py
src/runtimeverify/markov/predictor.py
src/runtimeverify/markov/trainer.py
src/runtimeverify/markov/transition.py
src/runtimeverify/multiagent/__init__.py
src/runtimeverify/multiagent/baseline.py
src/runtimeverify/multiagent/markov.py
src/runtimeverify/multiagent/models.py
src/runtimeverify/multiagent/sprt.py
src/runtimeverify/multiagent/topology.py
src/runtimeverify/multiagent/verifier.py
src/runtimeverify/plugins/__init__.py
src/runtimeverify/policy/__init__.py
src/runtimeverify/policy/engine.py
src/runtimeverify/policy/evaluator.py
src/runtimeverify/policy/loader.py
src/runtimeverify/policy/matcher.py
src/runtimeverify/policy/models.py
src/runtimeverify/runtime/__init__.py
src/runtimeverify/runtime/context.py
src/runtimeverify/runtime/dispatcher.py
src/runtimeverify/runtime/engine.py
src/runtimeverify/runtime/executor.py
src/runtimeverify/runtime/lifecycle.py
src/runtimeverify/runtime/manager.py
src/runtimeverify/runtime/pipeline.py
src/runtimeverify/runtime/registry.py
src/runtimeverify/runtime/session.py
src/runtimeverify/sdk/__init__.py
src/runtimeverify/sdk/client.py
src/runtimeverify/sdk/session.py
src/runtimeverify/security/__init__.py
src/runtimeverify/security/approval_tokens.py
src/runtimeverify/security/audit_integrity.py
src/runtimeverify/security/commands.py
src/runtimeverify/security/input_validation.py
src/runtimeverify/security/network.py
src/runtimeverify/security/paths.py
src/runtimeverify/semantic/__init__.py
src/runtimeverify/semantic/base.py
src/runtimeverify/semantic/factory.py
src/runtimeverify/semantic/heuristic.py
src/runtimeverify/semantic/laya.py
src/runtimeverify/semantic/models.py
src/runtimeverify/semantic/null.py
src/runtimeverify/sprt/__init__.py
src/runtimeverify/sprt/alternative.py
src/runtimeverify/sprt/decision.py
src/runtimeverify/sprt/engine.py
src/runtimeverify/sprt/hypothesis.py
src/runtimeverify/sprt/thresholds.py
src/runtimeverify/state/__init__.py
src/runtimeverify/state/adapter.py
src/runtimeverify/state/base.py
src/runtimeverify/state/categories.py
src/runtimeverify/state/classifier.py
src/runtimeverify/state/context.py
src/runtimeverify/state/execution.py
src/runtimeverify/state/hierarchy.py
src/runtimeverify/state/metadata.py
src/runtimeverify/state/provenance.py
src/runtimeverify/state/registry.py
src/runtimeverify/state/security.py
src/runtimeverify/state/taxonomy.py
src/runtimeverify/telemetry/__init__.py
src/runtimeverify/telemetry/bus.py
src/runtimeverify/telemetry/collector.py
src/runtimeverify/telemetry/context.py
src/runtimeverify/telemetry/decorators.py
src/runtimeverify/telemetry/emitter.py
src/runtimeverify/telemetry/manager.py
src/runtimeverify/telemetry/middleware.py
src/runtimeverify/telemetry/serializers.py
src/runtimeverify/utils/__init__.py
src/runtimeverify/verification/__init__.py
src/runtimeverify/verification/engine.py
src/runtimeverify/verification/models.py
src/runtimeverify/verification/strategy.py
src/runtimeverify/vscode/package.json
tests/test_api.py
tests/test_api_v1.py
tests/test_approvals.py
tests/test_audit.py
tests/test_canonical_events.py
tests/test_cli.py
tests/test_cli_production.py
tests/test_coverage_boost.py
tests/test_dashboard.py
tests/test_encoder.py
tests/test_enterprise.py
tests/test_evaluation.py
tests/test_events.py
tests/test_interception.py
tests/test_langchain_integration.py
tests/test_markov.py
tests/test_multiagent.py
tests/test_runtime.py
tests/test_sdk.py
tests/test_security_benchmark.py
tests/test_security_hardening.py
tests/test_security_state.py
tests/test_semantic.py
tests/test_sprt.py
tests/test_state.py
tests/test_telemetry.py
tests/test_verification_engine.py