.gitignore
CONTRIBUTING.md
LICENSE
LOOP_DOMAINS.md
README.md
pyproject.toml
smoke.py
.github/workflows/ci.yml
coverage/cvxpy_full.out
coverage/cvxpy_full.py
coverage/make_coverage.py
coverage/numpy_dialect.out
coverage/numpy_dialect.py
coverage/numpy_full.out
coverage/numpy_full.py
coverage/scale_min.py
coverage/scipy_full.out
coverage/scipy_full.py
coverage/skl_full.out
coverage/skl_full.py
coverage/sm_full.out
coverage/sm_full.py
coverage/wild_100.out
coverage/wild_100.py
coverage/wild_sample.out
coverage/wild_sample.py
doc/coverage.md
doc/hero-dark.svg
doc/hero-light.svg
doc/sharp-bits.md
doc/logos/scikit-verify-lockup.svg
examples/README.md
examples/demo.ipynb
examples/penalty_matrix_check.ipynb
examples/ridgecv_decision.ipynb
examples/sabotage_audit.ipynb
examples/sklearn_bug_hunting.ipynb
scikit_verify.egg-info/PKG-INFO
scikit_verify.egg-info/SOURCES.txt
scikit_verify.egg-info/dependency_links.txt
scikit_verify.egg-info/entry_points.txt
scikit_verify.egg-info/requires.txt
scikit_verify.egg-info/scm_file_list.json
scikit_verify.egg-info/scm_version.json
scikit_verify.egg-info/top_level.txt
skverify/__init__.py
skverify/api.py
skverify/atoms.py
skverify/checks.py
skverify/coercion.py
skverify/contracts.py
skverify/derivation.py
skverify/dialect.py
skverify/helpers.py
skverify/pair.py
skverify/recurrence.py
skverify/registry.py
skverify/session.py
skverify/sets.py
skverify-hypothesis/README.md
skverify-hypothesis/__init__.py
skverify-hypothesis/skverify_hypothesis.py
skverify-mcp/README.md
skverify-mcp/__init__.py
skverify-mcp/server.py
skverify/instrument/__init__.py
skverify/instrument/registries.py
skverify/instrument/rewriter.py
skverify/instrument/runtime.py
skverify/instrument/triage.py
skverify/instrument/twins.py
skverify/maps/__init__.py
skverify/maps/numpy.py
skverify/maps/special.py
tests/conftest.py
tests/api/test_api.py
tests/api/test_helpers.py
tests/api/test_recompress.py
tests/api/test_ux.py
tests/atoms/test_contracts_core.py
tests/atoms/test_opaque.py
tests/atoms/test_rng.py
tests/atoms/test_storage.py
tests/checks/test_chained_matmul.py
tests/checks/test_checks.py
tests/checks/test_nan_family.py
tests/checks/test_sparse_diags.py
tests/checks/test_verification.py
tests/checks/test_wild_mechanisms.py
tests/coercion/test_no_silent_constants.py
tests/coercion/test_tracing_minimal.py
tests/derivation/test_steps.py
tests/instrument/test_classes.py
tests/instrument/test_fold_completeness.py
tests/instrument/test_guards.py
tests/instrument/test_mask_fusion.py
tests/instrument/test_recurrence.py
tests/instrument/test_session.py
tests/integration/test_battery.py
tests/integration/test_distributions.py
tests/integration/test_fuzz.py
tests/integration/test_gate.py
tests/integration/test_gate_interp.py
tests/integration/test_gate_lsq.py
tests/integration/test_gate_ols.py
tests/integration/test_kernels.py
tests/integration/test_sklearn_svm.py
tests/integration/test_special_map.py
tests/pair/test_broadcast.py
tests/pair/test_capture.py
tests/pair/test_functions.py
tests/pair/test_getitem_nd.py
tests/pair/test_inplace.py
tests/pair/test_matmul.py
tests/pair/test_relational.py
tests/pair/test_scalar.py
tests/pair/test_setitem.py
tests/pair/test_sets.py
tests/pair/test_slicing.py
tests/pair/test_strides.py
tests/pair/test_sum_axis.py
tests/pair/test_ufuncs.py