{
  "repository": "pola-rs/polars",
  "ref": "6e70c94edb78f9ce22b17b6d6918cfba8e634761",
  "methods": [
    {
      "slug": "formal",
      "title": "Formal verification and model checking"
    },
    {
      "slug": "static_analysis",
      "title": "Static analysis"
    },
    {
      "slug": "testing",
      "title": "Testing"
    },
    {
      "slug": "formatting",
      "title": "Formatting and hygiene"
    },
    {
      "slug": "supply_chain",
      "title": "Supply chain"
    },
    {
      "slug": "unclassified",
      "title": "Unclassified"
    }
  ],
  "verifications": [
    {
      "tool": "miri",
      "method": "formal",
      "commands": [
        "cargo miri setup",
        "cargo miri test --features object -p polars-core"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-rust.yml",
          "locator": "jobs.miri.steps[3] (Set up miri)"
        },
        {
          "path": ".github/workflows/lint-rust.yml",
          "locator": "jobs.miri.steps[4] (Run miri)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target miri (line 43)"
        }
      ],
      "upstream": "https://github.com/rust-lang/miri",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-check",
      "method": "static_analysis",
      "commands": [
        "cargo check -p polars-stream",
        "cargo check -p pyo3-polars --no-default-features --features pyo3-polars/derive,polars/bigidx",
        "cargo check --workspace --all-targets --all-features",
        "cargo check -p polars --all-features"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.check-features.steps[5] (Run cargo hack)"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.check-features.steps[6] (Test pyo3-polars and bigidx)"
        },
        {
          "path": "Makefile",
          "locator": "target check (line 136)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target check (line 24)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "clippy",
      "method": "static_analysis",
      "commands": [
        "cargo clippy --workspace --all-targets --all-features --fix",
        "cargo clippy --all-targets --all-features -- -W clippy::dbg_macro",
        "cargo clippy --all-targets -- -W clippy::dbg_macro"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target fix (line 160)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target clippy (line 28)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target clippy-default (line 32)"
        },
        {
          "path": "crates/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "crates/polars-plan/clippy.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "mypy",
      "method": "static_analysis",
      "commands": [
        "mypy"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.type-check.steps[4] (Run mypy)"
        },
        {
          "path": "py-polars/pyproject.toml",
          "locator": "[tool.mypy]"
        }
      ],
      "upstream": "https://github.com/python/mypy",
      "docs": "https://mypy.readthedocs.io/en/stable/command_line.html",
      "exit_codes": {
        "0": "no type errors",
        "1": "type errors found",
        "2": "crash or invalid invocation"
      },
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ruff-check",
      "method": "static_analysis",
      "commands": [
        "uses chartboost/ruff-action",
        "uses astral-sh/ruff-action",
        "ruff check --no-fix"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-global.yml",
          "locator": "jobs.lint.steps[2]"
        },
        {
          "path": ".github/workflows/docs-global.yml",
          "locator": "jobs.lint.steps[3]"
        },
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.ruff.steps[1] (Run ruff check and format)"
        },
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.ruff.steps[2]"
        },
        {
          "path": "py-polars/pyproject.toml",
          "locator": "[tool.ruff]"
        }
      ],
      "upstream": "https://github.com/astral-sh/ruff",
      "docs": "https://docs.astral.sh/ruff/linter/#exit-codes",
      "exit_codes": {
        "0": "no violations",
        "1": "violations found",
        "2": "invalid configuration, CLI options or internal error"
      },
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "cargo-hack",
      "method": "testing",
      "commands": [
        "cargo hack check -p polars --each-feature --no-dev-deps",
        "cargo hack check --target wasm32-unknown-unknown -p polars --no-dev-deps --each-feature --exclude-features async --exclude-features aws --exclude-features azure --exclude-features cloud --exclude-features decompress --exclude-features default --exclude-features docs-selection --exclude-features extract_jsonpath --exclude-features fmt --exclude-features gcp --exclude-features csv --exclude-features ipc --exclude-features ipc_streaming --exclude-features json --exclude-features nightly --exclude-features parquet --exclude-features performant --exclude-features streaming --exclude-features http --exclude-features full --exclude-features test"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.check-features.steps[5] (Run cargo hack)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target check-features (line 39)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target check-wasm (line 128)"
        }
      ],
      "upstream": "https://github.com/taiki-e/cargo-hack",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo test --all-features -p polars-arrow -p polars-compute -p polars-core -p polars-defs -p polars-io -p polars-lazy -p polars-ops -p polars-parquet -p polars-plan -p polars-row -p polars-sql -p polars-time -p polars-utils",
        "cargo test --lib --tests --bins --all-features --no-run -p polars-arrow -p polars-compute -p polars-core -p polars-defs -p polars-io -p polars-io-ext-ffi -p polars-lazy -p polars-ops -p polars-parquet -p polars-plan -p polars-row -p polars-sql -p polars-stream -p polars-time -p polars-utils",
        "cargo test --lib --tests --bins --all-features -p polars-arrow -p polars-compute -p polars-core -p polars-defs -p polars-io -p polars-io-ext-ffi -p polars-lazy -p polars-ops -p polars-parquet -p polars-plan -p polars-row -p polars-sql -p polars-stream -p polars-time -p polars-utils",
        "cargo test --all-features -p polars --test it --no-run",
        "cargo test --all-features -p polars --test it"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-coverage.yml",
          "locator": "jobs.coverage-rust.steps[6] (Run tests)"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.test.steps[5] (Compile tests)"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.test.steps[6] (Run tests)"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.integration-test.steps[4] (Compile integration tests)"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.integration-test.steps[5] (Run integration tests)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target test (line 50)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target nextest (line 54)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target integration-tests (line 57)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target test-doc (line 61)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "type-check (python-version: 2)",
        "ubuntu (python-version: 1)",
        "test-python (os: 1, python-version: 5, variant: 1, ideal_morsel_size: 1, include: 4)",
        "test (os: 2)",
        "integration-test (os: 2)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.type-check.strategy.matrix"
        },
        {
          "path": ".github/workflows/test-bytecode-parser.yml",
          "locator": "jobs.ubuntu.strategy.matrix"
        },
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.strategy.matrix"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.test.strategy.matrix"
        },
        {
          "path": ".github/workflows/test-rust.yml",
          "locator": "jobs.integration-test.strategy.matrix"
        }
      ],
      "upstream": "https://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "proptest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "Cargo.toml",
          "locator": "[workspace.dependencies]: proptest"
        }
      ],
      "upstream": "https://github.com/proptest-rs/proptest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "pytest",
      "method": "testing",
      "commands": [
        "pytest -m not benchmark and not debug -n auto",
        "pytest .github/scripts/test_bytecode_parser.py",
        "pytest -n auto -m not release and not benchmark and not docs -k not test_polars_import --cov --cov-report xml:main.xml --cov-fail-under=0",
        "pytest -n auto -m not release and not benchmark and not docs -k not test_polars_import --cov --cov-report xml:in-memory.xml --cov-fail-under=0",
        "pytest -n auto -m not slow and not write_disk and not release and not benchmark and not docs -k not test_polars_import --cov --cov-report xml:small-morsel.xml --cov-fail-under=0"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/benchmark.yml",
          "locator": "jobs.main.steps[14] (Run non-benchmark tests)"
        },
        {
          "path": ".github/workflows/test-bytecode-parser.yml",
          "locator": "jobs.ubuntu.steps[3] (Run tests)"
        },
        {
          "path": ".github/workflows/test-coverage.yml",
          "locator": "jobs.coverage-python.steps[13] (Run Python tests)"
        },
        {
          "path": ".github/workflows/test-coverage.yml",
          "locator": "jobs.coverage-python.steps[14] (Run Python tests - POLARS_ENGINE_AFFINITY=in-memory)"
        },
        {
          "path": ".github/workflows/test-coverage.yml",
          "locator": "jobs.coverage-python.steps[15] (Run Python tests - morsel size 4)"
        },
        {
          "path": ".github/workflows/test-coverage.yml",
          "locator": "jobs.coverage-python.steps[16] (Run Python tests - async reader)"
        },
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[13] (Run doctests)"
        },
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[14] (Run tests)"
        },
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[15] (Run Python tests - POLARS_ENGINE_AFFINITY=in-memory)"
        },
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[16] (Run tests async reader tests)"
        },
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[17] (Run tests multiscan force empty capabilities)"
        },
        {
          "path": "py-polars/pyproject.toml",
          "locator": "[tool.pytest]"
        }
      ],
      "upstream": "https://github.com/pytest-dev/pytest",
      "docs": "https://docs.pytest.org/en/stable/reference/exit-codes.html",
      "exit_codes": {
        "0": "all tests passed",
        "1": "some tests failed",
        "2": "interrupted by the user",
        "3": "internal error",
        "4": "command line usage error",
        "5": "no tests were collected"
      },
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ruff-format",
      "method": "formatting",
      "commands": [
        "ruff format --diff"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.ruff.steps[3]"
        }
      ],
      "upstream": "https://github.com/astral-sh/ruff",
      "docs": "https://docs.astral.sh/ruff/formatter/#exit-codes",
      "exit_codes": {
        "0": "already formatted",
        "1": "files would be reformatted (--check)",
        "2": "error"
      },
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "rustfmt",
      "method": "formatting",
      "commands": [
        "cargo fmt --all --check",
        "cargo fmt --all"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-rust.yml",
          "locator": "jobs.rustfmt.steps[3] (Run cargo fmt)"
        },
        {
          "path": "Makefile",
          "locator": "target fmt (line 148)"
        },
        {
          "path": "Makefile",
          "locator": "target fix (line 160)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target fmt (line 19)"
        },
        {
          "path": "py-polars/Makefile",
          "locator": "target fmt (line 71)"
        },
        {
          "path": "rustfmt.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "cargo-deny",
      "method": "supply_chain",
      "commands": [
        "cargo deny check"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-rust.yml",
          "locator": "jobs.deny.steps[2] (Run cargo deny)"
        },
        {
          "path": "Makefile",
          "locator": "target deny (line 156)"
        },
        {
          "path": "deny.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/EmbarkStudios/cargo-deny",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps --all-features -p polars-io"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps --all-features -p polars-lazy"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps --all-features -p polars-sql"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps --all-features -p polars-utils"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps --features=docs-selection -p polars"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps --features=docs-selection -p polars-core"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps -p polars-ops"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cargo doc --no-deps -p polars-time"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-rust.yml",
          "locator": "jobs.build-rust-docs.steps[3] (Build Rust documentation)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target doctest (line 77)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "dprint fmt"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target fmt (line 148)"
        },
        {
          "path": "crates/Makefile",
          "locator": "target fmt (line 19)"
        },
        {
          "path": "py-polars/Makefile",
          "locator": "target fmt (line 71)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "fsspec"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[18] (Check import without optional dependencies)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "pyrefly check"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.type-check.steps[5] (Run Pyrefly)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "pyrefly coverage check --public-only src"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-python.yml",
          "locator": "jobs.type-check.steps[6] (Run Pyrefly coverage check)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python docs/source/_build/scripts/people.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/docs-global.yml",
          "locator": "jobs.deploy.steps[9] (Generate contributor list)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "python tests/docs/run_doctest.py"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/test-python.yml",
          "locator": "jobs.test-python.steps[13] (Run doctests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "rg -q -i --hidden --glob !/.git --glob !/Makefile --glob !/.github/workflows/lint-global.yml FIXME"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/lint-global.yml",
          "locator": "jobs.main.steps[4] (Check for FIXME comments)"
        },
        {
          "path": "Makefile",
          "locator": "target check-fixme (line 170)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}