{ "repository": "astral-sh/ty", "ref": "58e168c67d3bd56ab3247e413947763640cf6dc9", "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": "actionlint", "method": "static_analysis", "commands": [ "pre-commit hook actionlint" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.actionlint" } ], "upstream": "https://github.com/rhysd/actionlint", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "mkdocs", "method": "static_analysis", "commands": [ "mkdocs build --strict -f mkdocs.yml" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/ci.yaml", "locator": "jobs.docs.steps[2] (Build docs)" }, { "path": ".github/workflows/publish-docs.yml", "locator": "jobs.mkdocs.steps[4] (Build docs)" }, { "path": "pyproject.toml", "locator": "[dependency-groups] docs: mkdocs" } ], "upstream": "https://github.com/mkdocs/mkdocs", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "ruff-check", "method": "static_analysis", "commands": [ "pre-commit hook ruff" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.ruff" }, { "path": "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": "shellcheck", "method": "static_analysis", "commands": [ "pre-commit hook shellcheck" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.shellcheck" } ], "upstream": "https://github.com/koalaman/shellcheck", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "zizmor", "method": "static_analysis", "commands": [ "pre-commit hook zizmor" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.zizmor" } ], "upstream": "https://github.com/zizmorcore/zizmor", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "cargo-test", "method": "testing", "commands": [ "cargo test --locked --release --package ty_python_semantic -- --ignored list::property_tests", "cargo test --locked --release --package ty_python_semantic -- --ignored types::property_tests::stable" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/daily_property_tests.yml", "locator": "jobs.property_tests.steps[4] (Run property tests)" } ], "upstream": "https://github.com/rust-lang/cargo", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "pre-commit-hooks", "method": "formatting", "commands": [ "pre-commit hook check-merge-conflict", "pre-commit hook trailing-whitespace" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.check-merge-conflict" }, { "path": ".pre-commit-config.yaml", "locator": "hooks.trailing-whitespace" } ], "upstream": "https://github.com/pre-commit/pre-commit-hooks", "docs": null, "exit_codes": {}, "autofix": true, "declared_only": false }, { "tool": "prettier", "method": "formatting", "commands": [ "pre-commit hook prettier" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.prettier" } ], "upstream": "https://github.com/prettier/prettier", "docs": "https://prettier.io/docs/cli#exit-codes", "exit_codes": { "0": "everything formatted", "1": "something was not formatted (--check)", "2": "prettier error" }, "autofix": true, "declared_only": false }, { "tool": "ruff-format", "method": "formatting", "commands": [ "pre-commit hook ruff-format" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.ruff-format" } ], "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": "uv-lock", "method": "supply_chain", "commands": [ "pre-commit hook uv-lock" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.uv-lock" } ], "upstream": "https://github.com/astral-sh/uv", "docs": null, "exit_codes": {}, "autofix": true, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "COPY --from=${TY_BASE_IMG}:latest /ty /usr/local/bin/ty" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/build-docker.yml", "locator": "jobs.docker-publish-extra.steps[3] (Generate Dynamic Dockerfile Tags)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "dist ${dist_args[@]} --output-format=json > plan-dist-manifest.json" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/release.yml", "locator": "jobs.plan.steps[3]" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "pre-commit hook check-github-workflows" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.check-github-workflows" } ], "upstream": "https://github.com/python-jsonschema/check-jsonschema", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "pre-commit hook markdownlint-fix" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.markdownlint-fix" } ], "upstream": "https://github.com/igorshubovych/markdownlint-cli", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "pre-commit hook mdformat" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.mdformat" } ], "upstream": "https://github.com/executablebooks/mdformat", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "pre-commit hook typos" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.typos" } ], "upstream": "https://github.com/crate-ci/typos", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "pre-commit hook validate-pyproject" ], "triggers": [ "pre_commit" ], "evidence": [ { "path": ".pre-commit-config.yaml", "locator": "hooks.validate-pyproject" } ], "upstream": "https://github.com/abravalheri/validate-pyproject", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "sha256sum --check <