Merge branch 'main' into dcreager/function-enum

* main: Update pre-commit dependencies (#17506) [red-knot] Simplify visibility constraint handling for `*`-import definitions (#17486) [red-knot] Detect (some) invalid protocols (#17488) [red-knot] Correctly identify protocol classes (#17487) Update dependency ruff to v0.11.6 (#17516) Update Rust crate shellexpand to v3.1.1 (#17512) Update Rust crate proc-macro2 to v1.0.95 (#17510) Update Rust crate rand to v0.9.1 (#17511) Update Rust crate libc to v0.2.172 (#17509) Update Rust crate jiff to v0.2.9 (#17508) Update Rust crate clap to v4.5.37 (#17507) Update astral-sh/setup-uv action to v5.4.2 (#17504) Update taiki-e/install-action digest to 09dc018 (#17503) [red-knot] infer attribute assignments bound in comprehensions (#17396) [red-knot] simplify gradually-equivalent types out of unions and intersections (#17467) [red-knot] pull primer projects to run from file (#17473)
create generic context lazily
2025-04-21 13:18:36 -04:00 · 2025-04-21 13:15:09 -04:00 · 2025-04-18 17:04:26 -04:00
3274 changed files with 39956 additions and 107476 deletions
--- a/.gitattributes
+++ b/.gitattributes
@@ -12,16 +12,9 @@ crates/ruff_python_parser/resources/invalid/re_lexing/line_continuation_windows_
 crates/ruff_python_parser/resources/invalid/re_lex_logical_token_windows_eol.py text eol=crlf
 crates/ruff_python_parser/resources/invalid/re_lex_logical_token_mac_eol.py text eol=cr

-crates/ruff_linter/resources/test/fixtures/ruff/RUF046_CR.py text eol=cr
-crates/ruff_linter/resources/test/fixtures/ruff/RUF046_LF.py text eol=lf
-
-crates/ruff_linter/resources/test/fixtures/pyupgrade/UP018_CR.py text eol=cr
-crates/ruff_linter/resources/test/fixtures/pyupgrade/UP018_LF.py text eol=lf
-
 crates/ruff_python_parser/resources/inline linguist-generated=true

 ruff.schema.json -diff linguist-generated=true text=auto eol=lf
-ty.schema.json -diff linguist-generated=true text=auto eol=lf
 crates/ruff_python_ast/src/generated.rs -diff linguist-generated=true text=auto eol=lf
 crates/ruff_python_formatter/src/generated.rs -diff linguist-generated=true text=auto eol=lf
 *.md.snap linguist-language=Markdown
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -14,11 +14,11 @@
 # flake8-pyi
 /crates/ruff_linter/src/rules/flake8_pyi/ @AlexWaygood

-# Script for fuzzing the parser/ty etc.
+# Script for fuzzing the parser/red-knot etc.
 /python/py-fuzzer/ @AlexWaygood

-# ty
-/crates/ty* @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
+# red-knot
+/crates/red_knot* @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
 /crates/ruff_db/ @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
-/scripts/ty_benchmark/ @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
-/crates/ty_python_semantic @carljm @AlexWaygood @sharkdp @dcreager
+/scripts/knot_benchmark/ @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
+/crates/red_knot_python_semantic @carljm @AlexWaygood @sharkdp @dcreager
--- a/.github/ISSUE_TEMPLATE/config.yml
+++ b/.github/ISSUE_TEMPLATE/config.yml
@@ -1,8 +1,5 @@
 blank_issues_enabled: true
 contact_links:
-  - name: Report an issue with ty
-    url: https://github.com/astral-sh/ty/issues/new/choose
-    about: Please report issues for our type checker ty in the ty repository.
  - name: Documentation
    url: https://docs.astral.sh/ruff
    about: Please consult the documentation before creating an issue.
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -1,9 +1,8 @@
 <!--
-Thank you for contributing to Ruff/ty! To help us out with reviewing, please consider the following:
+Thank you for contributing to Ruff! To help us out with reviewing, please consider the following:

 - Does this pull request include a summary of the change? (See below.)
- Does this pull request include a descriptive title? (Please prefix with `[ty]` for ty pull
-  requests.)
+- Does this pull request include a descriptive title?
 - Does this pull request include references to any relevant issues?
 -->

--- a/.github/actionlint.yaml
+++ b/.github/actionlint.yaml
@@ -6,6 +6,5 @@ self-hosted-runner:
  labels:
    - depot-ubuntu-latest-8
    - depot-ubuntu-22.04-16
-    - depot-ubuntu-22.04-32
    - github-windows-2025-x86_64-8
    - github-windows-2025-x86_64-16
--- a/.github/mypy-primer-ty.toml
+++ b/.github/mypy-primer-ty.toml
@@ -1,8 +0,0 @@
-#:schema ../ty.schema.json
-# Configuration overrides for the mypy primer run
-
-# Enable off-by-default rules.
-[rules]
-possibly-unresolved-reference = "warn"
-unused-ignore-comment = "warn"
-division-by-zero = "warn"
--- a/.github/workflows/build-binaries.yml
+++ b/.github/workflows/build-binaries.yml
@@ -43,7 +43,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
      - name: "Prep README.md"
@@ -72,7 +72,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: x64
@@ -114,7 +114,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: arm64
@@ -170,7 +170,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: ${{ matrix.platform.arch }}
@@ -223,7 +223,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: x64
@@ -298,7 +298,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
      - name: "Prep README.md"
@@ -310,7 +310,7 @@ jobs:
          manylinux: auto
          docker-options: ${{ matrix.platform.maturin_docker_options }}
          args: --release --locked --out dist
-      - uses: uraimo/run-on-arch-action@d94c13912ea685de38fccc1109385b83fd79427d # v3.0.1
+      - uses: uraimo/run-on-arch-action@ac33288c3728ca72563c97b8b88dda5a65a84448 # v2
        if: ${{ matrix.platform.arch != 'ppc64' && matrix.platform.arch != 'ppc64le'}}
        name: Test wheel
        with:
@@ -363,7 +363,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: x64
@@ -429,7 +429,7 @@ jobs:
        with:
          submodules: recursive
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
      - name: "Prep README.md"
@@ -441,7 +441,7 @@ jobs:
          manylinux: musllinux_1_2
          args: --release --locked --out dist
          docker-options: ${{ matrix.platform.maturin_docker_options }}
-      - uses: uraimo/run-on-arch-action@d94c13912ea685de38fccc1109385b83fd79427d # v3.0.1
+      - uses: uraimo/run-on-arch-action@ac33288c3728ca72563c97b8b88dda5a65a84448 # v2
        name: Test wheel
        with:
          arch: ${{ matrix.platform.arch }}
--- a/.github/workflows/build-docker.yml
+++ b/.github/workflows/build-docker.yml
@@ -38,9 +38,9 @@ jobs:
          submodules: recursive
          persist-credentials: false

-      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3.10.0
+      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3

-      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3.4.0
+      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3
        with:
          registry: ghcr.io
          username: ${{ github.repository_owner }}
@@ -63,7 +63,7 @@ jobs:

      - name: Extract metadata (tags, labels) for Docker
        id: meta
-        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5.7.0
+        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5
        with:
          images: ${{ env.RUFF_BASE_IMG }}
          # Defining this makes sure the org.opencontainers.image.version OCI label becomes the actual release version and not the branch name
@@ -79,7 +79,7 @@ jobs:
      # Adapted from https://docs.docker.com/build/ci/github-actions/multi-platform/
      - name: Build and push by digest
        id: build
-        uses: docker/build-push-action@263435318d21b8e681c14492fe198d362a7d2c83 # v6.18.0
+        uses: docker/build-push-action@471d1dc4e07e5cdedd4c2171150001c434f0b7a4 # v6
        with:
          context: .
          platforms: ${{ matrix.platform }}
@@ -113,17 +113,17 @@ jobs:
    if: ${{ inputs.plan != '' && !fromJson(inputs.plan).announcement_tag_is_implicit }}
    steps:
      - name: Download digests
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        with:
          path: /tmp/digests
          pattern: digests-*
          merge-multiple: true

-      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3.10.0
+      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3

      - name: Extract metadata (tags, labels) for Docker
        id: meta
-        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5.7.0
+        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5
        with:
          images: ${{ env.RUFF_BASE_IMG }}
          # Order is on purpose such that the label org.opencontainers.image.version has the first pattern with the full version
@@ -131,7 +131,7 @@ jobs:
            type=pep440,pattern={{ version }},value=${{ fromJson(inputs.plan).announcement_tag }}
            type=pep440,pattern={{ major }}.{{ minor }},value=${{ fromJson(inputs.plan).announcement_tag }}

-      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3.4.0
+      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3
        with:
          registry: ghcr.io
          username: ${{ github.repository_owner }}
@@ -167,9 +167,9 @@ jobs:
          - debian:bookworm-slim,bookworm-slim,debian-slim
          - buildpack-deps:bookworm,bookworm,debian
    steps:
-      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3.10.0
+      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3

-      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3.4.0
+      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3
        with:
          registry: ghcr.io
          username: ${{ github.repository_owner }}
@@ -219,7 +219,7 @@ jobs:

      - name: Extract metadata (tags, labels) for Docker
        id: meta
-        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5.7.0
+        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5
        # ghcr.io prefers index level annotations
        env:
          DOCKER_METADATA_ANNOTATIONS_LEVELS: index
@@ -231,7 +231,7 @@ jobs:
            ${{ env.TAG_PATTERNS }}

      - name: Build and push
-        uses: docker/build-push-action@263435318d21b8e681c14492fe198d362a7d2c83 # v6.18.0
+        uses: docker/build-push-action@471d1dc4e07e5cdedd4c2171150001c434f0b7a4 # v6
        with:
          context: .
          platforms: linux/amd64,linux/arm64
@@ -256,17 +256,17 @@ jobs:
    if: ${{ inputs.plan != '' && !fromJson(inputs.plan).announcement_tag_is_implicit }}
    steps:
      - name: Download digests
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        with:
          path: /tmp/digests
          pattern: digests-*
          merge-multiple: true

-      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3.10.0
+      - uses: docker/setup-buildx-action@b5ca514318bd6ebac0fb2aedd5d36ec1b5c232a2 # v3

      - name: Extract metadata (tags, labels) for Docker
        id: meta
-        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5.7.0
+        uses: docker/metadata-action@902fa8ec7d6ecbf8d84d538b9b233a880e428804 # v5
        env:
          DOCKER_METADATA_ANNOTATIONS_LEVELS: index
        with:
@@ -276,7 +276,7 @@ jobs:
            type=pep440,pattern={{ version }},value=${{ fromJson(inputs.plan).announcement_tag }}
            type=pep440,pattern={{ major }}.{{ minor }},value=${{ fromJson(inputs.plan).announcement_tag }}

-      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3.4.0
+      - uses: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772 # v3
        with:
          registry: ghcr.io
          username: ${{ github.repository_owner }}
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -36,8 +36,8 @@ jobs:
      code: ${{ steps.check_code.outputs.changed }}
      # Flag that is raised when any code that affects the fuzzer is changed
      fuzz: ${{ steps.check_fuzzer.outputs.changed }}
-      # Flag that is set to "true" when code related to ty changes.
-      ty: ${{ steps.check_ty.outputs.changed }}
+      # Flag that is set to "true" when code related to red-knot changes.
+      red_knot: ${{ steps.check_red_knot.outputs.changed }}

      # Flag that is set to "true" when code related to the playground changes.
      playground: ${{ steps.check_playground.outputs.changed }}
@@ -84,7 +84,7 @@ jobs:
          if git diff --quiet "${MERGE_BASE}...HEAD" -- ':Cargo.toml' \
            ':Cargo.lock' \
            ':crates/**' \
-            ':!crates/ty*/**' \
+            ':!crates/red_knot*/**' \
            ':!crates/ruff_python_formatter/**' \
            ':!crates/ruff_formatter/**' \
            ':!crates/ruff_dev/**' \
@@ -145,7 +145,7 @@ jobs:
        run: |
          if git diff --quiet "${MERGE_BASE}...HEAD" -- ':**' \
            ':!**/*.md' \
-            ':crates/ty_python_semantic/resources/mdtest/**/*.md' \
+            ':crates/red_knot_python_semantic/resources/mdtest/**/*.md' \
            ':!docs/**' \
            ':!assets/**' \
            ':.github/workflows/ci.yaml' \
@@ -168,15 +168,15 @@ jobs:
              echo "changed=true" >> "$GITHUB_OUTPUT"
          fi

-      - name: Check if the ty code changed
-        id: check_ty
+      - name: Check if the red-knot code changed
+        id: check_red_knot
        env:
          MERGE_BASE: ${{ steps.merge_base.outputs.sha }}
        run: |
          if git diff --quiet "${MERGE_BASE}...HEAD" -- \
            ':Cargo.toml' \
            ':Cargo.lock' \
-            ':crates/ty*/**' \
+            ':crates/red_knot*/**' \
            ':crates/ruff_db/**' \
            ':crates/ruff_annotate_snippets/**' \
            ':crates/ruff_python_ast/**' \
@@ -221,7 +221,7 @@ jobs:
      - name: "Clippy"
        run: cargo clippy --workspace --all-targets --all-features --locked -- -D warnings
      - name: "Clippy (wasm)"
-        run: cargo clippy -p ruff_wasm -p ty_wasm --target wasm32-unknown-unknown --all-features --locked -- -D warnings
+        run: cargo clippy -p ruff_wasm -p red_knot_wasm --target wasm32-unknown-unknown --all-features --locked -- -D warnings

  cargo-test-linux:
    name: "cargo test (linux)"
@@ -237,23 +237,23 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install mold"
-        uses: rui314/setup-mold@67424c1b3680e35255d95971cbd5de0047bf31c3 # v1
+        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-nextest
      - name: "Install cargo insta"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-insta
-      - name: ty mdtests (GitHub annotations)
-        if: ${{ needs.determine_changes.outputs.ty == 'true' }}
+      - name: Red-knot mdtests (GitHub annotations)
+        if: ${{ needs.determine_changes.outputs.red_knot == 'true' }}
        env:
          NO_COLOR: 1
          MDTEST_GITHUB_ANNOTATIONS_FORMAT: 1
        # Ignore errors if this step fails; we want to continue to later steps in the workflow anyway.
        # This step is just to get nice GitHub annotations on the PR diff in the files-changed tab.
-        run: cargo test -p ty_python_semantic --test mdtest || true
+        run: cargo test -p red_knot_python_semantic --test mdtest || true
      - name: "Run tests"
        shell: bash
        env:
@@ -268,7 +268,7 @@ jobs:
      # sync, not just public items. Eventually we should do this for all
      # crates; for now add crates here as they are warning-clean to prevent
      # regression.
-      - run: cargo doc --no-deps -p ty_python_semantic -p ty -p ty_test -p ruff_db --document-private-items
+      - run: cargo doc --no-deps -p red_knot_python_semantic -p red_knot -p red_knot_test -p ruff_db --document-private-items
        env:
          # Setting RUSTDOCFLAGS because `cargo doc --check` isn't yet implemented (https://github.com/rust-lang/cargo/issues/10025).
          RUSTDOCFLAGS: "-D warnings"
@@ -276,10 +276,6 @@ jobs:
        with:
          name: ruff
          path: target/debug/ruff
-      - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
-        with:
-          name: ty
-          path: target/debug/ty

  cargo-test-linux-release:
    name: "cargo test (linux, release)"
@@ -295,13 +291,13 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install mold"
-        uses: rui314/setup-mold@67424c1b3680e35255d95971cbd5de0047bf31c3 # v1
+        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-nextest
      - name: "Install cargo insta"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-insta
      - name: "Run tests"
@@ -324,7 +320,7 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-nextest
      - name: "Run tests"
@@ -350,7 +346,7 @@ jobs:
      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
      - name: "Install Rust toolchain"
        run: rustup target add wasm32-unknown-unknown
-      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+      - uses: actions/setup-node@cdca7365b2dadb8aad0a33bc7601856ffabcc48e # v4.3.0
        with:
          node-version: 20
          cache: "npm"
@@ -362,9 +358,9 @@ jobs:
        run: |
          cd crates/ruff_wasm
          wasm-pack test --node
-      - name: "Test ty_wasm"
+      - name: "Test red_knot_wasm"
        run: |
-          cd crates/ty_wasm
+          cd crates/red_knot_wasm
          wasm-pack test --node

  cargo-build-release:
@@ -380,7 +376,7 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install mold"
-        uses: rui314/setup-mold@67424c1b3680e35255d95971cbd5de0047bf31c3 # v1
+        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Build"
        run: cargo build --release --locked

@@ -405,13 +401,13 @@ jobs:
          MSRV: ${{ steps.msrv.outputs.value }}
        run: rustup default "${MSRV}"
      - name: "Install mold"
-        uses: rui314/setup-mold@67424c1b3680e35255d95971cbd5de0047bf31c3 # v1
+        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-nextest
      - name: "Install cargo insta"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-insta
      - name: "Run tests"
@@ -437,7 +433,7 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install cargo-binstall"
-        uses: cargo-bins/cargo-binstall@e8c9cc3599f6c4063d143083205f98ca25d91677 # v1.12.6
+        uses: cargo-bins/cargo-binstall@63aaa5c1932cebabc34eceda9d92a70215dcead6 # v1.12.3
        with:
          tool: cargo-fuzz@0.11.2
      - name: "Install cargo-fuzz"
@@ -459,8 +455,8 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+      - uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        name: Download Ruff binary to test
        id: download-cached-binary
        with:
@@ -504,10 +500,12 @@ jobs:
      # Verify that adding a plugin or rule produces clean code.
      - run: ./scripts/add_rule.py --name DoTheThing --prefix F --code 999 --linter pyflakes
      - run: cargo check
+      - run: cargo fmt --all --check
      - run: |
          ./scripts/add_plugin.py test --url https://pypi.org/project/-test/0.1.0/ --prefix TST
          ./scripts/add_rule.py --name FirstRule --prefix TST --code 001 --linter test
      - run: cargo check
+      - run: cargo fmt --all --check

  ecosystem:
    name: "ecosystem"
@@ -523,11 +521,11 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}

-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        name: Download comparison Ruff binary
        id: ruff-target
        with:
@@ -634,53 +632,6 @@ jobs:
          name: ecosystem-result
          path: ecosystem-result

-  fuzz-ty:
-    name: "Fuzz for new ty panics"
-    runs-on: depot-ubuntu-22.04-16
-    needs:
-      - cargo-test-linux
-      - determine_changes
-    # Only runs on pull requests, since that is the only we way we can find the base version for comparison.
-    if: ${{ !contains(github.event.pull_request.labels.*.name, 'no-test') && github.event_name == 'pull_request' && needs.determine_changes.outputs.ty == 'true' }}
-    timeout-minutes: 20
-    steps:
-      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
-        with:
-          persist-credentials: false
-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
-        name: Download new ty binary
-        id: ty-new
-        with:
-          name: ty
-          path: target/debug
-      - uses: dawidd6/action-download-artifact@20319c5641d495c8a52e688b7dc5fada6c3a9fbc # v8
-        name: Download baseline ty binary
-        with:
-          name: ty
-          branch: ${{ github.event.pull_request.base.ref }}
-          workflow: "ci.yaml"
-          check_artifacts: true
-      - uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
-      - name: Fuzz
-        env:
-          FORCE_COLOR: 1
-          NEW_TY: ${{ steps.ty-new.outputs.download-path }}
-        run: |
-          # Make executable, since artifact download doesn't preserve this
-          chmod +x "${PWD}/ty" "${NEW_TY}/ty"
-
-          (
-            uvx \
-            --python="${PYTHON_VERSION}" \
-            --from=./python/py-fuzzer \
-            fuzz \
-            --test-executable="${NEW_TY}/ty" \
-            --baseline-executable="${PWD}/ty" \
-            --only-new-bugs \
-            --bin=ty \
-            0-500
-          )
-
  cargo-shear:
    name: "cargo shear"
    runs-on: ubuntu-latest
@@ -690,7 +641,7 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: cargo-bins/cargo-binstall@e8c9cc3599f6c4063d143083205f98ca25d91677 # v1.12.6
+      - uses: cargo-bins/cargo-binstall@63aaa5c1932cebabc34eceda9d92a70215dcead6 # v1.12.3
      - run: cargo binstall --no-confirm cargo-shear
      - run: cargo shear

@@ -703,7 +654,7 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: ${{ env.PYTHON_VERSION }}
          architecture: x64
@@ -730,11 +681,7 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
-      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
-      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
-        with:
-          node-version: 22
+      - uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
      - name: "Cache pre-commit"
        uses: actions/cache@5a3ec84eff668545956fd18022155c47e93e2684 # v4.2.3
        with:
@@ -761,7 +708,7 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: "3.13"
      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
@@ -773,7 +720,7 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: Install uv
-        uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
+        uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
      - name: "Install Insiders dependencies"
        if: ${{ env.MKDOCS_INSIDERS_SSH_KEY_EXISTS == 'true' }}
        run: uv pip install -r docs/requirements-insiders.txt --system
@@ -822,7 +769,7 @@ jobs:
      - determine_changes
    if: ${{ !contains(github.event.pull_request.labels.*.name, 'no-test') && (needs.determine_changes.outputs.code == 'true' || github.ref == 'refs/heads/main') }}
    steps:
-      - uses: extractions/setup-just@e33e0265a09d6d736e2ee1e0eb685ef1de4669ff # v3.0.0
+      - uses: extractions/setup-just@dd310ad5a97d8e7b41793f8ef055398d51ad4de6 # v2
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

@@ -832,12 +779,12 @@ jobs:
          persist-credentials: false
          repository: "astral-sh/ruff-lsp"

-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          # installation fails on 3.13 and newer
          python-version: "3.12"

-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        name: Download development ruff binary
        id: ruff-target
        with:
@@ -874,7 +821,7 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup target add wasm32-unknown-unknown
      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
-      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+      - uses: actions/setup-node@cdca7365b2dadb8aad0a33bc7601856ffabcc48e # v4.3.0
        with:
          node-version: 22
          cache: "npm"
@@ -910,7 +857,7 @@ jobs:
        run: rustup show

      - name: "Install codspeed"
-        uses: taiki-e/install-action@735e5933943122c5ac182670a935f54a949265c1 # v2.52.4
+        uses: taiki-e/install-action@09dc018eee06ae1c9e0409786563f534210ceb83 # v2
        with:
          tool: cargo-codspeed

--- a/.github/workflows/daily_fuzz.yaml
+++ b/.github/workflows/daily_fuzz.yaml
@@ -34,11 +34,11 @@ jobs:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
        with:
          persist-credentials: false
-      - uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
+      - uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install mold"
-        uses: rui314/setup-mold@67424c1b3680e35255d95971cbd5de0047bf31c3 # v1
+        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
      - name: Build ruff
        # A debug build means the script runs slower once it gets started,
--- a/.github/workflows/daily_property_tests.yaml
+++ b/.github/workflows/daily_property_tests.yaml
@@ -0,0 +1,72 @@
+name: Daily property test run
+
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: "0 12 * * *"
+  pull_request:
+    paths:
+      - ".github/workflows/daily_property_tests.yaml"
+
+permissions:
+  contents: read
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
+env:
+  CARGO_INCREMENTAL: 0
+  CARGO_NET_RETRY: 10
+  CARGO_TERM_COLOR: always
+  RUSTUP_MAX_RETRIES: 10
+  FORCE_COLOR: 1
+
+jobs:
+  property_tests:
+    name: Property tests
+    runs-on: ubuntu-latest
+    timeout-minutes: 20
+    # Don't run the cron job on forks:
+    if: ${{ github.repository == 'astral-sh/ruff' || github.event_name != 'schedule' }}
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: false
+      - name: "Install Rust toolchain"
+        run: rustup show
+      - name: "Install mold"
+        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
+      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
+      - name: Build Red Knot
+        # A release build takes longer (2 min vs 1 min), but the property tests run much faster in release
+        # mode (1.5 min vs 14 min), so the overall time is shorter with a release build.
+        run: cargo build --locked --release --package red_knot_python_semantic --tests
+      - name: Run property tests
+        shell: bash
+        run: |
+          export QUICKCHECK_TESTS=100000
+          for _ in {1..5}; do
+            cargo test --locked --release --package red_knot_python_semantic -- --ignored list::property_tests
+            cargo test --locked --release --package red_knot_python_semantic -- --ignored types::property_tests::stable
+          done
+
+  create-issue-on-failure:
+    name: Create an issue if the daily property test run surfaced any bugs
+    runs-on: ubuntu-latest
+    needs: property_tests
+    if: ${{ github.repository == 'astral-sh/ruff' && always() && github.event_name == 'schedule' && needs.property_tests.result == 'failure' }}
+    permissions:
+      issues: write
+    steps:
+      - uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            await github.rest.issues.create({
+              owner: "astral-sh",
+              repo: "ruff",
+              title: `Daily property test run failed on ${new Date().toDateString()}`,
+              body: "Run listed here: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}",
+              labels: ["bug", "red-knot", "testing"],
+            })
--- a/.github/workflows/mypy_primer.yaml
+++ b/.github/workflows/mypy_primer.yaml
@@ -5,13 +5,12 @@ permissions: {}
 on:
  pull_request:
    paths:
-      - "crates/ty*/**"
+      - "crates/red_knot*/**"
      - "crates/ruff_db"
      - "crates/ruff_python_ast"
      - "crates/ruff_python_parser"
      - ".github/workflows/mypy_primer.yaml"
      - ".github/workflows/mypy_primer_comment.yaml"
-      - "Cargo.lock"

 concurrency:
  group: ${{ github.workflow }}-${{ github.ref_name }}-${{ github.event.pull_request.number || github.sha }}
@@ -22,12 +21,11 @@ env:
  CARGO_NET_RETRY: 10
  CARGO_TERM_COLOR: always
  RUSTUP_MAX_RETRIES: 10
-  RUST_BACKTRACE: 1

 jobs:
  mypy_primer:
    name: Run mypy_primer
-    runs-on: depot-ubuntu-22.04-32
+    runs-on: depot-ubuntu-22.04-16
    timeout-minutes: 20
    steps:
      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
@@ -37,25 +35,24 @@ jobs:
          persist-credentials: false

      - name: Install the latest version of uv
-        uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
+        uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2

      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
        with:
          workspaces: "ruff"
-
      - name: Install Rust toolchain
        run: rustup show

+      - name: Install mypy_primer
+        run: |
+          uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v5"
+
      - name: Run mypy_primer
        shell: bash
        run: |
          cd ruff

-          echo "Enabling mypy primer specific configuration overloads (see .github/mypy-primer-ty.toml)"
-          mkdir -p ~/.config/ty
-          cp .github/mypy-primer-ty.toml ~/.config/ty/ty.toml
-
-          PRIMER_SELECTOR="$(paste -s -d'|' crates/ty_python_semantic/resources/primer/good.txt)"
+          PRIMER_SELECTOR="$(paste -s -d'|' crates/red_knot_python_semantic/resources/primer/good.txt)"

          echo "new commit"
          git rev-list --format=%s --max-count=1 "$GITHUB_SHA"
@@ -69,11 +66,9 @@ jobs:

          echo "Project selector: $PRIMER_SELECTOR"
          # Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
-          uvx \
-            --from="git+https://github.com/hauntsaninja/mypy_primer@01a7ca325f674433c58e02416a867178d1571128" \
-            mypy_primer \
+          uvx mypy_primer \
            --repo ruff \
-            --type-checker ty \
+            --type-checker knot \
            --old base_commit \
            --new "$GITHUB_SHA" \
            --project-selector "/($PRIMER_SELECTOR)\$" \
--- a/.github/workflows/mypy_primer_comment.yaml
+++ b/.github/workflows/mypy_primer_comment.yaml
@@ -79,7 +79,7 @@ jobs:
          echo 'EOF' >> "$GITHUB_OUTPUT"

      - name: Find existing comment
-        uses: peter-evans/find-comment@3eae4d37986fb5a8592848f6a574fdf654e61f9e # v3.1.0
+        uses: peter-evans/find-comment@3eae4d37986fb5a8592848f6a574fdf654e61f9e # v3
        if: steps.generate-comment.outcome == 'success'
        id: find-comment
        with:
--- a/.github/workflows/pr-comment.yaml
+++ b/.github/workflows/pr-comment.yaml
@@ -70,7 +70,7 @@ jobs:
          echo 'EOF' >> "$GITHUB_OUTPUT"

      - name: Find existing comment
-        uses: peter-evans/find-comment@3eae4d37986fb5a8592848f6a574fdf654e61f9e # v3.1.0
+        uses: peter-evans/find-comment@3eae4d37986fb5a8592848f6a574fdf654e61f9e # v3
        if: steps.generate-comment.outcome == 'success'
        id: find-comment
        with:
--- a/.github/workflows/publish-docs.yml
+++ b/.github/workflows/publish-docs.yml
@@ -28,7 +28,7 @@ jobs:
          ref: ${{ inputs.ref }}
          persist-credentials: true

-      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
+      - uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
        with:
          python-version: 3.12

--- a/.github/workflows/publish-knot-playground.yml
+++ b/.github/workflows/publish-knot-playground.yml
@@ -1,5 +1,5 @@
-# Publish the ty playground.
-name: "[ty Playground] Release"
+# Publish the Red Knot playground.
+name: "[Knot Playground] Release"

 permissions: {}

@@ -7,12 +7,12 @@ on:
  push:
    branches: [main]
    paths:
-      - "crates/ty*/**"
+      - "crates/red_knot*/**"
      - "crates/ruff_db/**"
      - "crates/ruff_python_ast/**"
      - "crates/ruff_python_parser/**"
      - "playground/**"
-      - ".github/workflows/publish-ty-playground.yml"
+      - ".github/workflows/publish-knot-playground.yml"

 concurrency:
  group: ${{ github.workflow }}-${{ github.ref_name }}
@@ -35,7 +35,7 @@ jobs:
          persist-credentials: false
      - name: "Install Rust toolchain"
        run: rustup target add wasm32-unknown-unknown
-      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+      - uses: actions/setup-node@cdca7365b2dadb8aad0a33bc7601856ffabcc48e # v4.3.0
        with:
          node-version: 22
      - uses: jetli/wasm-bindgen-action@20b33e20595891ab1a0ed73145d8a21fc96e7c29 # v0.2.0
@@ -45,8 +45,8 @@ jobs:
      - name: "Run TypeScript checks"
        run: npm run check
        working-directory: playground
-      - name: "Build ty playground"
-        run: npm run build --workspace ty-playground
+      - name: "Build Knot playground"
+        run: npm run build --workspace knot-playground
        working-directory: playground
      - name: "Deploy to Cloudflare Pages"
        if: ${{ env.CF_API_TOKEN_EXISTS == 'true' }}
@@ -55,4 +55,4 @@ jobs:
          apiToken: ${{ secrets.CF_API_TOKEN }}
          accountId: ${{ secrets.CF_ACCOUNT_ID }}
          # `github.head_ref` is only set during pull requests and for manual runs or tags we use `main` to deploy to production
-          command: pages deploy playground/ty/dist --project-name=ty-playground --branch ${{ github.head_ref || 'main' }} --commit-hash ${GITHUB_SHA}
+          command: pages deploy playground/knot/dist --project-name=knot-playground --branch ${{ github.head_ref || 'main' }} --commit-hash ${GITHUB_SHA}
--- a/.github/workflows/publish-playground.yml
+++ b/.github/workflows/publish-playground.yml
@@ -29,7 +29,7 @@ jobs:
          persist-credentials: false
      - name: "Install Rust toolchain"
        run: rustup target add wasm32-unknown-unknown
-      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+      - uses: actions/setup-node@cdca7365b2dadb8aad0a33bc7601856ffabcc48e # v4.3.0
        with:
          node-version: 22
          cache: "npm"
--- a/.github/workflows/publish-pypi.yml
+++ b/.github/workflows/publish-pypi.yml
@@ -22,8 +22,8 @@ jobs:
      id-token: write
    steps:
      - name: "Install uv"
-        uses: astral-sh/setup-uv@f0ec1fc3b38f5e7cd731bb6ce540c5af426746bb # v6.1.0
-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+        uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        with:
          pattern: wheels-*
          path: wheels
--- a/.github/workflows/publish-wasm.yml
+++ b/.github/workflows/publish-wasm.yml
@@ -45,7 +45,7 @@ jobs:
          jq '.name="@astral-sh/ruff-wasm-${{ matrix.target }}"' crates/ruff_wasm/pkg/package.json > /tmp/package.json
          mv /tmp/package.json crates/ruff_wasm/pkg
      - run: cp LICENSE crates/ruff_wasm/pkg # wasm-pack does not put the LICENSE file in the pkg
-      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+      - uses: actions/setup-node@cdca7365b2dadb8aad0a33bc7601856ffabcc48e # v4.3.0
        with:
          node-version: 20
          registry-url: "https://registry.npmjs.org"
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -40,7 +40,6 @@ permissions:
 # If there's a prerelease-style suffix to the version, then the release(s)
 # will be marked as a prerelease.
 on:
-  pull_request:
  workflow_dispatch:
    inputs:
      tag:
@@ -61,7 +60,7 @@ jobs:
    env:
      GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
    steps:
-      - uses: actions/checkout@85e6279cec87321a52edac9c87bce653a07cf6c2
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
        with:
          persist-credentials: false
          submodules: recursive
@@ -69,9 +68,9 @@ jobs:
        # we specify bash to get pipefail; it guards against the `curl` command
        # failing. otherwise `sh` won't catch that `curl` returned non-0
        shell: bash
-        run: "curl --proto '=https' --tlsv1.2 -LsSf https://github.com/astral-sh/cargo-dist/releases/download/v0.28.5-prerelease.1/cargo-dist-installer.sh | sh"
+        run: "curl --proto '=https' --tlsv1.2 -LsSf https://github.com/astral-sh/cargo-dist/releases/download/v0.28.4-prerelease.1/cargo-dist-installer.sh | sh"
      - name: Cache dist
-        uses: actions/upload-artifact@6027e3dd177782cd8ab9af838c04fd81a07f1d47
+        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
        with:
          name: cargo-dist-cache
          path: ~/.cargo/bin/dist
@@ -87,7 +86,7 @@ jobs:
          cat plan-dist-manifest.json
          echo "manifest=$(jq -c "." plan-dist-manifest.json)" >> "$GITHUB_OUTPUT"
      - name: "Upload dist-manifest.json"
-        uses: actions/upload-artifact@6027e3dd177782cd8ab9af838c04fd81a07f1d47
+        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
        with:
          name: artifacts-plan-dist-manifest
          path: plan-dist-manifest.json
@@ -124,19 +123,19 @@ jobs:
      GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
      BUILD_MANIFEST_NAME: target/distrib/global-dist-manifest.json
    steps:
-      - uses: actions/checkout@85e6279cec87321a52edac9c87bce653a07cf6c2
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
        with:
          persist-credentials: false
          submodules: recursive
      - name: Install cached dist
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e
        with:
          name: cargo-dist-cache
          path: ~/.cargo/bin/
      - run: chmod +x ~/.cargo/bin/dist
      # Get all the local artifacts for the global tasks to use (for e.g. checksums)
      - name: Fetch local artifacts
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e
        with:
          pattern: artifacts-*
          path: target/distrib/
@@ -154,7 +153,7 @@ jobs:

          cp dist-manifest.json "$BUILD_MANIFEST_NAME"
      - name: "Upload artifacts"
-        uses: actions/upload-artifact@6027e3dd177782cd8ab9af838c04fd81a07f1d47
+        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
        with:
          name: artifacts-build-global
          path: |
@@ -175,19 +174,19 @@ jobs:
    outputs:
      val: ${{ steps.host.outputs.manifest }}
    steps:
-      - uses: actions/checkout@85e6279cec87321a52edac9c87bce653a07cf6c2
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
        with:
          persist-credentials: false
          submodules: recursive
      - name: Install cached dist
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e
        with:
          name: cargo-dist-cache
          path: ~/.cargo/bin/
      - run: chmod +x ~/.cargo/bin/dist
      # Fetch artifacts from scratch-storage
      - name: Fetch artifacts
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e
        with:
          pattern: artifacts-*
          path: target/distrib/
@@ -201,7 +200,7 @@ jobs:
          cat dist-manifest.json
          echo "manifest=$(jq -c "." dist-manifest.json)" >> "$GITHUB_OUTPUT"
      - name: "Upload dist-manifest.json"
-        uses: actions/upload-artifact@6027e3dd177782cd8ab9af838c04fd81a07f1d47
+        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02
        with:
          # Overwrite the previous copy
          name: artifacts-dist-manifest
@@ -251,13 +250,13 @@ jobs:
    env:
      GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
    steps:
-      - uses: actions/checkout@85e6279cec87321a52edac9c87bce653a07cf6c2
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
        with:
          persist-credentials: false
          submodules: recursive
      # Create a GitHub Release while uploading all files to it
      - name: "Download GitHub Artifacts"
-        uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093
+        uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e
        with:
          pattern: artifacts-*
          path: artifacts
--- a/.github/workflows/sync_typeshed.yaml
+++ b/.github/workflows/sync_typeshed.yaml
@@ -39,13 +39,13 @@ jobs:
      - name: Sync typeshed
        id: sync
        run: |
-          rm -rf ruff/crates/ty_vendored/vendor/typeshed
-          mkdir ruff/crates/ty_vendored/vendor/typeshed
-          cp typeshed/README.md ruff/crates/ty_vendored/vendor/typeshed
-          cp typeshed/LICENSE ruff/crates/ty_vendored/vendor/typeshed
-          cp -r typeshed/stdlib ruff/crates/ty_vendored/vendor/typeshed/stdlib
-          rm -rf ruff/crates/ty_vendored/vendor/typeshed/stdlib/@tests
-          git -C typeshed rev-parse HEAD > ruff/crates/ty_vendored/vendor/typeshed/source_commit.txt
+          rm -rf ruff/crates/red_knot_vendored/vendor/typeshed
+          mkdir ruff/crates/red_knot_vendored/vendor/typeshed
+          cp typeshed/README.md ruff/crates/red_knot_vendored/vendor/typeshed
+          cp typeshed/LICENSE ruff/crates/red_knot_vendored/vendor/typeshed
+          cp -r typeshed/stdlib ruff/crates/red_knot_vendored/vendor/typeshed/stdlib
+          rm -rf ruff/crates/red_knot_vendored/vendor/typeshed/stdlib/@tests
+          git -C typeshed rev-parse HEAD > ruff/crates/red_knot_vendored/vendor/typeshed/source_commit.txt
      - name: Commit the changes
        id: commit
        if: ${{ steps.sync.outcome == 'success' }}
@@ -79,5 +79,5 @@ jobs:
              repo: "ruff",
              title: `Automated typeshed sync failed on ${new Date().toDateString()}`,
              body: "Run listed here: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}",
-              labels: ["bug", "ty"],
+              labels: ["bug", "red-knot"],
            })
--- a/.markdownlint.yaml
+++ b/.markdownlint.yaml
@@ -29,7 +29,3 @@ MD024:
 #
 # Ref: https://github.com/astral-sh/ruff/pull/15011#issuecomment-2544790854
 MD046: false
-
-# Link text should be descriptive
-# Disallows link text like *here* which is annoying.
-MD059: false
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -3,9 +3,8 @@ fail_fast: false
 exclude: |
  (?x)^(
    .github/workflows/release.yml|
-    crates/ty_vendored/vendor/.*|
-    crates/ty_project/resources/.*|
-    crates/ty/docs/(configuration|rules|cli).md|
+    crates/red_knot_vendored/vendor/.*|
+    crates/red_knot_project/resources/.*|
    crates/ruff_benchmark/resources/.*|
    crates/ruff_linter/resources/.*|
    crates/ruff_linter/src/rules/.*/snapshots/.*|
@@ -43,7 +42,7 @@ repos:
          )$

  - repo: https://github.com/igorshubovych/markdownlint-cli
-    rev: v0.45.0
+    rev: v0.44.0
    hooks:
      - id: markdownlint-fix
        exclude: |
@@ -66,7 +65,7 @@ repos:
          - black==25.1.0

  - repo: https://github.com/crate-ci/typos
-    rev: v1.32.0
+    rev: v1.31.1
    hooks:
      - id: typos

@@ -80,7 +79,7 @@ repos:
        pass_filenames: false # This makes it a lot faster

  - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.11.12
+    rev: v0.11.6
    hooks:
      - id: ruff-format
      - id: ruff
@@ -98,7 +97,7 @@ repos:
  # zizmor detects security vulnerabilities in GitHub Actions workflows.
  # Additional configuration for the tool is found in `.github/zizmor.yml`
  - repo: https://github.com/woodruffw/zizmor-pre-commit
-    rev: v1.9.0
+    rev: v1.6.0
    hooks:
      - id: zizmor

--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,191 +1,5 @@
 # Changelog

-## 0.11.12
-
-### Preview features
-
- \[`airflow`\] Revise fix titles (`AIR3`) ([#18215](https://github.com/astral-sh/ruff/pull/18215))
- \[`pylint`\] Implement `missing-maxsplit-arg` (`PLC0207`) ([#17454](https://github.com/astral-sh/ruff/pull/17454))
- \[`pyupgrade`\] New rule `UP050` (`useless-class-metaclass-type`) ([#18334](https://github.com/astral-sh/ruff/pull/18334))
- \[`flake8-use-pathlib`\] Replace `os.symlink` with `Path.symlink_to` (`PTH211`) ([#18337](https://github.com/astral-sh/ruff/pull/18337))
-
-### Bug fixes
-
- \[`flake8-bugbear`\] Ignore `__debug__` attribute in `B010` ([#18357](https://github.com/astral-sh/ruff/pull/18357))
- \[`flake8-async`\] Fix `anyio.sleep` argument name (`ASYNC115`, `ASYNC116`) ([#18262](https://github.com/astral-sh/ruff/pull/18262))
- \[`refurb`\] Fix `FURB129` autofix generating invalid syntax ([#18235](https://github.com/astral-sh/ruff/pull/18235))
-
-### Rule changes
-
- \[`flake8-implicit-str-concat`\] Add autofix for `ISC003` ([#18256](https://github.com/astral-sh/ruff/pull/18256))
- \[`pycodestyle`\] Improve the diagnostic message for `E712` ([#18328](https://github.com/astral-sh/ruff/pull/18328))
- \[`flake8-2020`\] Fix diagnostic message for `!=` comparisons (`YTT201`) ([#18293](https://github.com/astral-sh/ruff/pull/18293))
- \[`pyupgrade`\] Make fix unsafe if it deletes comments (`UP010`) ([#18291](https://github.com/astral-sh/ruff/pull/18291))
-
-### Documentation
-
- Simplify rules table to improve readability ([#18297](https://github.com/astral-sh/ruff/pull/18297))
- Update editor integrations link in README ([#17977](https://github.com/astral-sh/ruff/pull/17977))
- \[`flake8-bugbear`\] Add fix safety section (`B006`) ([#17652](https://github.com/astral-sh/ruff/pull/17652))
-
-## 0.11.11
-
-### Preview features
-
- \[`airflow`\] Add autofixes for `AIR302` and `AIR312` ([#17942](https://github.com/astral-sh/ruff/pull/17942))
- \[`airflow`\] Move rules from `AIR312` to `AIR302` ([#17940](https://github.com/astral-sh/ruff/pull/17940))
- \[`airflow`\] Update `AIR301` and `AIR311` with the latest Airflow implementations ([#17985](https://github.com/astral-sh/ruff/pull/17985))
- \[`flake8-simplify`\] Enable fix in preview mode (`SIM117`) ([#18208](https://github.com/astral-sh/ruff/pull/18208))
-
-### Bug fixes
-
- Fix inconsistent formatting of match-case on `[]` and `_` ([#18147](https://github.com/astral-sh/ruff/pull/18147))
- \[`pylint`\] Fix `PLW1514` not recognizing the `encoding` positional argument of `codecs.open` ([#18109](https://github.com/astral-sh/ruff/pull/18109))
-
-### CLI
-
- Add full option name in formatter warning ([#18217](https://github.com/astral-sh/ruff/pull/18217))
-
-### Documentation
-
- Fix rendering of admonition in docs ([#18163](https://github.com/astral-sh/ruff/pull/18163))
- \[`flake8-print`\] Improve print/pprint docs for `T201` and `T203` ([#18130](https://github.com/astral-sh/ruff/pull/18130))
- \[`flake8-simplify`\] Add fix safety section (`SIM110`,`SIM210`) ([#18114](https://github.com/astral-sh/ruff/pull/18114),[#18100](https://github.com/astral-sh/ruff/pull/18100))
- \[`pylint`\] Fix docs example that produced different output (`PLW0603`) ([#18216](https://github.com/astral-sh/ruff/pull/18216))
-
-## 0.11.10
-
-### Preview features
-
- \[`ruff`\] Implement a recursive check for `RUF060` ([#17976](https://github.com/astral-sh/ruff/pull/17976))
- \[`airflow`\] Enable autofixes for `AIR301` and `AIR311` ([#17941](https://github.com/astral-sh/ruff/pull/17941))
- \[`airflow`\] Apply try catch guard to all `AIR3` rules ([#17887](https://github.com/astral-sh/ruff/pull/17887))
- \[`airflow`\] Extend `AIR311` rules ([#17913](https://github.com/astral-sh/ruff/pull/17913))
-
-### Bug fixes
-
- \[`flake8-bugbear`\] Ignore `B028` if `skip_file_prefixes` is present ([#18047](https://github.com/astral-sh/ruff/pull/18047))
- \[`flake8-pie`\] Mark autofix for `PIE804` as unsafe if the dictionary contains comments ([#18046](https://github.com/astral-sh/ruff/pull/18046))
- \[`flake8-simplify`\] Correct behavior for `str.split`/`rsplit` with `maxsplit=0` (`SIM905`) ([#18075](https://github.com/astral-sh/ruff/pull/18075))
- \[`flake8-simplify`\] Fix `SIM905` autofix for `rsplit` creating a reversed list literal ([#18045](https://github.com/astral-sh/ruff/pull/18045))
- \[`flake8-use-pathlib`\] Suppress diagnostics for all `os.*` functions that have the `dir_fd` parameter (`PTH`) ([#17968](https://github.com/astral-sh/ruff/pull/17968))
- \[`refurb`\] Mark autofix as safe only for number literals (`FURB116`) ([#17692](https://github.com/astral-sh/ruff/pull/17692))
-
-### Rule changes
-
- \[`flake8-bandit`\] Skip `S608` for expressionless f-strings ([#17999](https://github.com/astral-sh/ruff/pull/17999))
- \[`flake8-pytest-style`\] Don't recommend `usefixtures` for `parametrize` values (`PT019`) ([#17650](https://github.com/astral-sh/ruff/pull/17650))
- \[`pyupgrade`\] Add `resource.error` as deprecated alias of `OSError` (`UP024`) ([#17933](https://github.com/astral-sh/ruff/pull/17933))
-
-### CLI
-
- Disable jemalloc on Android ([#18033](https://github.com/astral-sh/ruff/pull/18033))
-
-### Documentation
-
- Update Neovim setup docs ([#18108](https://github.com/astral-sh/ruff/pull/18108))
- \[`flake8-simplify`\] Add fix safety section (`SIM103`) ([#18086](https://github.com/astral-sh/ruff/pull/18086))
- \[`flake8-simplify`\] Add fix safety section (`SIM112`) ([#18099](https://github.com/astral-sh/ruff/pull/18099))
- \[`pylint`\] Add fix safety section (`PLC0414`) ([#17802](https://github.com/astral-sh/ruff/pull/17802))
- \[`pylint`\] Add fix safety section (`PLE4703`) ([#17824](https://github.com/astral-sh/ruff/pull/17824))
- \[`pylint`\] Add fix safety section (`PLW1514`) ([#17932](https://github.com/astral-sh/ruff/pull/17932))
- \[`pylint`\] Add fix safety section (`PLW3301`) ([#17878](https://github.com/astral-sh/ruff/pull/17878))
- \[`ruff`\] Add fix safety section (`RUF007`) ([#17755](https://github.com/astral-sh/ruff/pull/17755))
- \[`ruff`\] Add fix safety section (`RUF033`) ([#17760](https://github.com/astral-sh/ruff/pull/17760))
-
-## 0.11.9
-
-### Preview features
-
- Default to latest supported Python version for version-related syntax errors ([#17529](https://github.com/astral-sh/ruff/pull/17529))
- Implement deferred annotations for Python 3.14 ([#17658](https://github.com/astral-sh/ruff/pull/17658))
- \[`airflow`\] Fix `SQLTableCheckOperator` typo (`AIR302`) ([#17946](https://github.com/astral-sh/ruff/pull/17946))
- \[`airflow`\] Remove `airflow.utils.dag_parsing_context.get_parsing_context` (`AIR301`) ([#17852](https://github.com/astral-sh/ruff/pull/17852))
- \[`airflow`\] Skip attribute check in try catch block (`AIR301`) ([#17790](https://github.com/astral-sh/ruff/pull/17790))
- \[`flake8-bandit`\] Mark tuples of string literals as trusted input in `S603` ([#17801](https://github.com/astral-sh/ruff/pull/17801))
- \[`isort`\] Check full module path against project root(s) when categorizing first-party imports ([#16565](https://github.com/astral-sh/ruff/pull/16565))
- \[`ruff`\] Add new rule `in-empty-collection` (`RUF060`) ([#16480](https://github.com/astral-sh/ruff/pull/16480))
-
-### Bug fixes
-
- Fix missing `combine` call for `lint.typing-extensions` setting ([#17823](https://github.com/astral-sh/ruff/pull/17823))
- \[`flake8-async`\] Fix module name in `ASYNC110`, `ASYNC115`, and `ASYNC116` fixes ([#17774](https://github.com/astral-sh/ruff/pull/17774))
- \[`pyupgrade`\] Add spaces between tokens as necessary to avoid syntax errors in `UP018` autofix ([#17648](https://github.com/astral-sh/ruff/pull/17648))
- \[`refurb`\] Fix false positive for float and complex numbers in `FURB116` ([#17661](https://github.com/astral-sh/ruff/pull/17661))
- [parser] Flag single unparenthesized generator expr with trailing comma in arguments. ([#17893](https://github.com/astral-sh/ruff/pull/17893))
-
-### Documentation
-
- Add instructions on how to upgrade to a newer Rust version ([#17928](https://github.com/astral-sh/ruff/pull/17928))
- Update code of conduct email address ([#17875](https://github.com/astral-sh/ruff/pull/17875))
- Add fix safety sections to `PLC2801`, `PLR1722`, and `RUF013` ([#17825](https://github.com/astral-sh/ruff/pull/17825), [#17826](https://github.com/astral-sh/ruff/pull/17826), [#17759](https://github.com/astral-sh/ruff/pull/17759))
- Add link to `check-typed-exception` from `S110` and `S112` ([#17786](https://github.com/astral-sh/ruff/pull/17786))
-
-### Other changes
-
- Allow passing a virtual environment to `ruff analyze graph` ([#17743](https://github.com/astral-sh/ruff/pull/17743))
-
-## 0.11.8
-
-### Preview features
-
- \[`airflow`\] Apply auto fixes to cases where the names have changed in Airflow 3 (`AIR302`, `AIR311`) ([#17553](https://github.com/astral-sh/ruff/pull/17553), [#17570](https://github.com/astral-sh/ruff/pull/17570), [#17571](https://github.com/astral-sh/ruff/pull/17571))
- \[`airflow`\] Extend `AIR301` rule ([#17598](https://github.com/astral-sh/ruff/pull/17598))
- \[`airflow`\] Update existing `AIR302` rules with better suggestions ([#17542](https://github.com/astral-sh/ruff/pull/17542))
- \[`refurb`\] Mark fix as safe for `readlines-in-for` (`FURB129`) ([#17644](https://github.com/astral-sh/ruff/pull/17644))
- [syntax-errors] `nonlocal` declaration at module level ([#17559](https://github.com/astral-sh/ruff/pull/17559))
- [syntax-errors] Detect single starred expression assignment `x = *y` ([#17624](https://github.com/astral-sh/ruff/pull/17624))
-
-### Bug fixes
-
- \[`flake8-pyi`\] Ensure `Literal[None,] | Literal[None,]` is not autofixed to `None | None` (`PYI061`) ([#17659](https://github.com/astral-sh/ruff/pull/17659))
- \[`flake8-use-pathlib`\] Avoid suggesting `Path.iterdir()` for `os.listdir` with file descriptor (`PTH208`) ([#17715](https://github.com/astral-sh/ruff/pull/17715))
- \[`flake8-use-pathlib`\] Fix `PTH104` false positive when `rename` is passed a file descriptor ([#17712](https://github.com/astral-sh/ruff/pull/17712))
- \[`flake8-use-pathlib`\] Fix `PTH116` false positive when `stat` is passed a file descriptor ([#17709](https://github.com/astral-sh/ruff/pull/17709))
- \[`flake8-use-pathlib`\] Fix `PTH123` false positive when `open` is passed a file descriptor from a function call ([#17705](https://github.com/astral-sh/ruff/pull/17705))
- \[`pycodestyle`\] Fix duplicated diagnostic in `E712` ([#17651](https://github.com/astral-sh/ruff/pull/17651))
- \[`pylint`\] Detect `global` declarations in module scope (`PLE0118`) ([#17411](https://github.com/astral-sh/ruff/pull/17411))
- [syntax-errors] Make `async-comprehension-in-sync-comprehension` more specific ([#17460](https://github.com/astral-sh/ruff/pull/17460))
-
-### Configuration
-
- Add option to disable `typing_extensions` imports ([#17611](https://github.com/astral-sh/ruff/pull/17611))
-
-### Documentation
-
- Fix example syntax for the `lint.pydocstyle.ignore-var-parameters` option ([#17740](https://github.com/astral-sh/ruff/pull/17740))
- Add fix safety sections (`ASYNC116`, `FLY002`, `D200`, `RUF005`, `RUF017`, `RUF027`, `RUF028`, `RUF057`) ([#17497](https://github.com/astral-sh/ruff/pull/17497), [#17496](https://github.com/astral-sh/ruff/pull/17496), [#17502](https://github.com/astral-sh/ruff/pull/17502), [#17484](https://github.com/astral-sh/ruff/pull/17484), [#17480](https://github.com/astral-sh/ruff/pull/17480), [#17485](https://github.com/astral-sh/ruff/pull/17485), [#17722](https://github.com/astral-sh/ruff/pull/17722), [#17483](https://github.com/astral-sh/ruff/pull/17483))
-
-### Other changes
-
- Add Python 3.14 to configuration options ([#17647](https://github.com/astral-sh/ruff/pull/17647))
- Make syntax error for unparenthesized except tuples version specific to before 3.14 ([#17660](https://github.com/astral-sh/ruff/pull/17660))
-
-## 0.11.7
-
-### Preview features
-
- \[`airflow`\] Apply auto fixes to cases where the names have changed in Airflow 3 (`AIR301`) ([#17355](https://github.com/astral-sh/ruff/pull/17355))
- \[`perflint`\] Implement fix for `manual-dict-comprehension` (`PERF403`) ([#16719](https://github.com/astral-sh/ruff/pull/16719))
- [syntax-errors] Make duplicate parameter names a semantic error ([#17131](https://github.com/astral-sh/ruff/pull/17131))
-
-### Bug fixes
-
- \[`airflow`\] Fix typos in provider package names (`AIR302`, `AIR312`) ([#17574](https://github.com/astral-sh/ruff/pull/17574))
- \[`flake8-type-checking`\] Visit keyword arguments in checks involving `typing.cast`/`typing.NewType` arguments ([#17538](https://github.com/astral-sh/ruff/pull/17538))
- \[`pyupgrade`\] Preserve parenthesis when fixing native literals containing newlines (`UP018`) ([#17220](https://github.com/astral-sh/ruff/pull/17220))
- \[`refurb`\] Mark the `FURB161` fix unsafe except for integers and booleans ([#17240](https://github.com/astral-sh/ruff/pull/17240))
-
-### Rule changes
-
- \[`perflint`\] Allow list function calls to be replaced with a comprehension (`PERF401`) ([#17519](https://github.com/astral-sh/ruff/pull/17519))
- \[`pycodestyle`\] Auto-fix redundant boolean comparison (`E712`) ([#17090](https://github.com/astral-sh/ruff/pull/17090))
- \[`pylint`\] make fix unsafe if delete comments (`PLR1730`) ([#17459](https://github.com/astral-sh/ruff/pull/17459))
-
-### Documentation
-
- Add fix safety sections to docs for several rules ([#17410](https://github.com/astral-sh/ruff/pull/17410),[#17440](https://github.com/astral-sh/ruff/pull/17440),[#17441](https://github.com/astral-sh/ruff/pull/17441),[#17443](https://github.com/astral-sh/ruff/pull/17443),[#17444](https://github.com/astral-sh/ruff/pull/17444))
-
 ## 0.11.6

 ### Preview features
--- a/CODE_OF_CONDUCT.md
+++ b/CODE_OF_CONDUCT.md
@@ -71,7 +71,8 @@ representative at an online or offline event.
 ## Enforcement

 Instances of abusive, harassing, or otherwise unacceptable behavior may be
-reported to the community leaders responsible for enforcement at <hey@astral.sh>.
+reported to the community leaders responsible for enforcement at
+<charlie.r.marsh@gmail.com>.
 All complaints will be reviewed and investigated promptly and fairly.

 All community leaders are obligated to respect the privacy and security of the
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -2,11 +2,6 @@

 Welcome! We're happy to have you here. Thank you in advance for your contribution to Ruff.

-> [!NOTE]
->
-> This guide is for Ruff. If you're looking to contribute to ty, please see [the ty contributing
-> guide](https://github.com/astral-sh/ruff/blob/main/crates/ty/CONTRIBUTING.md).
-
 ## The Basics

 Ruff welcomes contributions in the form of pull requests.
@@ -371,15 +366,6 @@ uvx --from ./python/ruff-ecosystem ruff-ecosystem format ruff "./target/debug/ru

 See the [ruff-ecosystem package](https://github.com/astral-sh/ruff/tree/main/python/ruff-ecosystem) for more details.

-## Upgrading Rust
-
-1. Change the `channel` in `./rust-toolchain.toml` to the new Rust version (`<latest>`)
-1. Change the `rust-version` in the `./Cargo.toml` to `<latest> - 2` (e.g. 1.84 if the latest is 1.86)
-1. Run `cargo clippy --fix --allow-dirty --allow-staged` to fix new clippy warnings
-1. Create and merge the PR
-1. Bump the Rust version in Ruff's conda forge recipe. See [this PR](https://github.com/conda-forge/ruff-feedstock/pull/266) for an example.
-1. Enjoy the new Rust version!
-
 ## Benchmarking and Profiling

 We have several ways of benchmarking and profiling Ruff:
@@ -411,7 +397,7 @@ cargo install hyperfine
 To benchmark the release build:

 ```shell
-cargo build --release --bin ruff && hyperfine --warmup 10 \
+cargo build --release && hyperfine --warmup 10 \
  "./target/release/ruff check ./crates/ruff_linter/resources/test/cpython/ --no-cache -e" \
  "./target/release/ruff check ./crates/ruff_linter/resources/test/cpython/ -e"

@@ -610,7 +596,8 @@ Then convert the recorded profile
 perf script -F +pid > /tmp/test.perf
 ```

-You can now view the converted file with [firefox profiler](https://profiler.firefox.com/). To learn more about Firefox profiler, read the [Firefox profiler profiling-guide](https://profiler.firefox.com/docs/#/./guide-perf-profiling).
+You can now view the converted file with [firefox profiler](https://profiler.firefox.com/), with a
+more in-depth guide [here](https://profiler.firefox.com/docs/#/./guide-perf-profiling)

 An alternative is to convert the perf data to `flamegraph.svg` using
 [flamegraph](https://github.com/flamegraph-rs/flamegraph) (`cargo install flamegraph`):
--- a/Cargo.lock
+++ b/Cargo.lock
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -3,9 +3,8 @@ members = ["crates/*"]
 resolver = "2"

 [workspace.package]
-# Please update rustfmt.toml when bumping the Rust edition
-edition = "2024"
-rust-version = "1.85"
+edition = "2021"
+rust-version = "1.84"
 homepage = "https://docs.astral.sh/ruff"
 documentation = "https://docs.astral.sh/ruff"
 repository = "https://github.com/astral-sh/ruff"
@@ -24,7 +23,6 @@ ruff_index = { path = "crates/ruff_index" }
 ruff_linter = { path = "crates/ruff_linter" }
 ruff_macros = { path = "crates/ruff_macros" }
 ruff_notebook = { path = "crates/ruff_notebook" }
-ruff_options_metadata = { path = "crates/ruff_options_metadata" }
 ruff_python_ast = { path = "crates/ruff_python_ast" }
 ruff_python_codegen = { path = "crates/ruff_python_codegen" }
 ruff_python_formatter = { path = "crates/ruff_python_formatter" }
@@ -37,15 +35,14 @@ ruff_python_trivia = { path = "crates/ruff_python_trivia" }
 ruff_server = { path = "crates/ruff_server" }
 ruff_source_file = { path = "crates/ruff_source_file" }
 ruff_text_size = { path = "crates/ruff_text_size" }
+red_knot_vendored = { path = "crates/red_knot_vendored" }
 ruff_workspace = { path = "crates/ruff_workspace" }

-ty = { path = "crates/ty" }
-ty_ide = { path = "crates/ty_ide" }
-ty_project = { path = "crates/ty_project", default-features = false }
-ty_python_semantic = { path = "crates/ty_python_semantic" }
-ty_server = { path = "crates/ty_server" }
-ty_test = { path = "crates/ty_test" }
-ty_vendored = { path = "crates/ty_vendored" }
+red_knot_ide = { path = "crates/red_knot_ide" }
+red_knot_project = { path = "crates/red_knot_project", default-features = false }
+red_knot_python_semantic = { path = "crates/red_knot_python_semantic" }
+red_knot_server = { path = "crates/red_knot_server" }
+red_knot_test = { path = "crates/red_knot_test" }

 aho-corasick = { version = "1.1.3" }
 anstream = { version = "0.6.18" }
@@ -53,7 +50,7 @@ anstyle = { version = "1.0.10" }
 anyhow = { version = "1.0.80" }
 assert_fs = { version = "1.1.0" }
 argfile = { version = "0.2.0" }
-bincode = { version = "2.0.0" }
+bincode = { version = "1.3.3" }
 bitflags = { version = "2.5.0" }
 bstr = { version = "1.9.1" }
 cachedir = { version = "0.3.1" }
@@ -67,7 +64,7 @@ console_error_panic_hook = { version = "0.1.7" }
 console_log = { version = "1.0.0" }
 countme = { version = "3.0.1" }
 compact_str = "0.9.0"
-criterion = { version = "0.6.0", default-features = false }
+criterion = { version = "0.5.1", default-features = false }
 crossbeam = { version = "0.8.4" }
 dashmap = { version = "6.0.1" }
 dir-test = { version = "0.4.0" }
@@ -86,7 +83,6 @@ hashbrown = { version = "0.15.0", default-features = false, features = [
    "equivalent",
    "inline-more",
 ] }
-heck = "0.5.0"
 ignore = { version = "0.4.22" }
 imara-diff = { version = "0.1.5" }
 imperative = { version = "1.0.4" }
@@ -100,7 +96,7 @@ is-wsl = { version = "0.4.0" }
 itertools = { version = "0.14.0" }
 jiff = { version = "0.2.0" }
 js-sys = { version = "0.3.69" }
-jod-thread = { version = "1.0.0" }
+jod-thread = { version = "0.1.2" }
 libc = { version = "0.2.153" }
 libcst = { version = "1.1.0", default-features = false }
 log = { version = "0.4.17" }
@@ -127,9 +123,8 @@ rand = { version = "0.9.0" }
 rayon = { version = "1.10.0" }
 regex = { version = "1.10.2" }
 rustc-hash = { version = "2.0.0" }
-rustc-stable-hash = { version = "0.1.2" }
 # When updating salsa, make sure to also update the revision in `fuzz/Cargo.toml`
-salsa = { git = "https://github.com/carljm/salsa.git", rev = "0f6d406f6c309964279baef71588746b8c67b4a3" }
+salsa = { git = "https://github.com/salsa-rs/salsa.git", rev = "87bf6b6c2d5f6479741271da73bd9d30c2580c26" }
 schemars = { version = "0.8.16" }
 seahash = { version = "4.1.0" }
 serde = { version = "1.0.197", features = ["derive"] }
@@ -164,9 +159,8 @@ tracing-log = { version = "0.2.0" }
 tracing-subscriber = { version = "0.3.18", default-features = false, features = [
    "env-filter",
    "fmt",
-    "ansi",
-    "smallvec"
 ] }
+tracing-tree = { version = "0.4.0" }
 tryfn = { version = "0.2.1" }
 typed-arena = { version = "2.0.2" }
 unic-ucd-category = { version = "0.9" }
@@ -179,6 +173,7 @@ uuid = { version = "1.6.1", features = [
    "v4",
    "fast-rng",
    "macro-diagnostics",
+    "js",
 ] }
 walkdir = { version = "2.3.2" }
 wasm-bindgen = { version = "0.2.92" }
@@ -187,7 +182,7 @@ wild = { version = "2" }
 zip = { version = "0.6.6", default-features = false }

 [workspace.metadata.cargo-shear]
-ignored = ["getrandom", "ruff_options_metadata", "uuid"]
+ignored = ["getrandom"]


 [workspace.lints.rust]
@@ -215,7 +210,6 @@ similar_names = "allow"
 single_match_else = "allow"
 too_many_lines = "allow"
 needless_continue = "allow"       # An explicit continue can be more readable, especially if the alternative is an empty block.
-unnecessary_debug_formatting = "allow"  # too many instances, the display also doesn't quote the path which is often desired in logs where we use them the most often.
 # Without the hashes we run into a `rustfmt` bug in some snapshot tests, see #13250
 needless_raw_string_hashes = "allow"
 # Disallowed restriction lints
@@ -260,9 +254,6 @@ opt-level = 3
 [profile.dev.package.similar]
 opt-level = 3

-[profile.dev.package.salsa]
-opt-level = 3
-
 # Reduce complexity of a parser function that would trigger a locals limit in a wasm tool.
 # https://github.com/bytecodealliance/wasm-tools/blob/b5c3d98e40590512a3b12470ef358d5c7b983b15/crates/wasmparser/src/limits.rs#L29
 [profile.dev.package.ruff_python_parser]
@@ -277,3 +268,73 @@ debug = 1
 # The profile that 'cargo dist' will build with.
 [profile.dist]
 inherits = "release"
+
+# Config for 'dist'
+[workspace.metadata.dist]
+# The preferred dist version to use in CI (Cargo.toml SemVer syntax)
+cargo-dist-version = "0.28.4-prerelease.1"
+# CI backends to support
+ci = "github"
+# The installers to generate for each app
+installers = ["shell", "powershell"]
+# The archive format to use for windows builds (defaults .zip)
+windows-archive = ".zip"
+# The archive format to use for non-windows builds (defaults .tar.xz)
+unix-archive = ".tar.gz"
+# Target platforms to build apps for (Rust target-triple syntax)
+targets = [
+    "aarch64-apple-darwin",
+    "aarch64-pc-windows-msvc",
+    "aarch64-unknown-linux-gnu",
+    "aarch64-unknown-linux-musl",
+    "arm-unknown-linux-musleabihf",
+    "armv7-unknown-linux-gnueabihf",
+    "armv7-unknown-linux-musleabihf",
+    "i686-pc-windows-msvc",
+    "i686-unknown-linux-gnu",
+    "i686-unknown-linux-musl",
+    "powerpc64-unknown-linux-gnu",
+    "powerpc64le-unknown-linux-gnu",
+    "s390x-unknown-linux-gnu",
+    "x86_64-apple-darwin",
+    "x86_64-pc-windows-msvc",
+    "x86_64-unknown-linux-gnu",
+    "x86_64-unknown-linux-musl",
+]
+# Whether to auto-include files like READMEs, LICENSEs, and CHANGELOGs (default true)
+auto-includes = false
+# Whether dist should create a Github Release or use an existing draft
+create-release = true
+# Which actions to run on pull requests
+pr-run-mode = "skip"
+# Whether CI should trigger releases with dispatches instead of tag pushes
+dispatch-releases = true
+# Which phase dist should use to create the GitHub release
+github-release = "announce"
+# Whether CI should include auto-generated code to build local artifacts
+build-local-artifacts = false
+# Local artifacts jobs to run in CI
+local-artifacts-jobs = ["./build-binaries", "./build-docker"]
+# Publish jobs to run in CI
+publish-jobs = ["./publish-pypi", "./publish-wasm"]
+# Post-announce jobs to run in CI
+post-announce-jobs = [
+    "./notify-dependents",
+    "./publish-docs",
+    "./publish-playground",
+]
+# Custom permissions for GitHub Jobs
+github-custom-job-permissions = { "build-docker" = { packages = "write", contents = "read" }, "publish-wasm" = { contents = "read", id-token = "write", packages = "write" } }
+# Whether to install an updater program
+install-updater = false
+# Path that installers should place binaries in
+install-path = ["$XDG_BIN_HOME/", "$XDG_DATA_HOME/../bin", "~/.local/bin"]
+
+[workspace.metadata.dist.github-custom-runners]
+global = "depot-ubuntu-latest-4"
+
+[workspace.metadata.dist.github-action-commits]
+"actions/checkout" = "11bd71901bbe5b1630ceea73d27597364c9af683" # v4
+"actions/upload-artifact" = "ea165f8d65b6e75b540449e92b4886f43607fa02" # v4.6.2
+"actions/download-artifact" = "95815c38cf2ff2164869cbab79da8d1f422bc89e" # v4.2.1
+"actions/attest-build-provenance" = "c074443f1aee8d4aeeae555aebba3282517141b2" #v2.2.3
--- a/README.md
+++ b/README.md
@@ -34,7 +34,8 @@ An extremely fast Python linter and code formatter, written in Rust.
 - 🔧 Fix support, for automatic error correction (e.g., automatically remove unused imports)
 - 📏 Over [800 built-in rules](https://docs.astral.sh/ruff/rules/), with native re-implementations
    of popular Flake8 plugins, like flake8-bugbear
- ⌨️ First-party [editor integrations](https://docs.astral.sh/ruff/editors) for [VS Code](https://github.com/astral-sh/ruff-vscode) and [more](https://docs.astral.sh/ruff/editors/setup)
+- ⌨️ First-party [editor integrations](https://docs.astral.sh/ruff/integrations/) for
+    [VS Code](https://github.com/astral-sh/ruff-vscode) and [more](https://docs.astral.sh/ruff/editors/setup)
 - 🌎 Monorepo-friendly, with [hierarchical and cascading configuration](https://docs.astral.sh/ruff/configuration/#config-file-discovery)

 Ruff aims to be orders of magnitude faster than alternative tools while integrating more
@@ -148,8 +149,8 @@ curl -LsSf https://astral.sh/ruff/install.sh | sh
 powershell -c "irm https://astral.sh/ruff/install.ps1 | iex"

 # For a specific version.
-curl -LsSf https://astral.sh/ruff/0.11.12/install.sh | sh
-powershell -c "irm https://astral.sh/ruff/0.11.12/install.ps1 | iex"
+curl -LsSf https://astral.sh/ruff/0.11.6/install.sh | sh
+powershell -c "irm https://astral.sh/ruff/0.11.6/install.ps1 | iex"
 ```

 You can also install Ruff via [Homebrew](https://formulae.brew.sh/formula/ruff), [Conda](https://anaconda.org/conda-forge/ruff),
@@ -182,7 +183,7 @@ Ruff can also be used as a [pre-commit](https://pre-commit.com/) hook via [`ruff
 ```yaml
 - repo: https://github.com/astral-sh/ruff-pre-commit
  # Ruff version.
-  rev: v0.11.12
+  rev: v0.11.6
  hooks:
    # Run the linter.
    - id: ruff
@@ -254,7 +255,7 @@ indent-width = 4
 target-version = "py39"

 [lint]
-# Enable Pyflakes (`F`) and a subset of the pycodestyle (`E`) codes by default.
+# Enable Pyflakes (`F`) and a subset of the pycodestyle (`E`)  codes by default.
 select = ["E4", "E7", "E9", "F"]
 ignore = []

--- a/_typos.toml
+++ b/_typos.toml
@@ -1,13 +1,9 @@
 [files]
 # https://github.com/crate-ci/typos/issues/868
 extend-exclude = [
-    "crates/ty_vendored/vendor/**/*",
+    "crates/red_knot_vendored/vendor/**/*",
    "**/resources/**/*",
    "**/snapshots/**/*",
-    # Completion tests tend to have a lot of incomplete
-    # words naturally. It's annoying to have to make all
-    # of them actually words. So just ignore typos here.
-    "crates/ty_ide/src/completion.rs",
 ]

 [default.extend-words]
--- a/clippy.toml
+++ b/clippy.toml
@@ -1,7 +1,6 @@
 doc-valid-idents = [
    "..",
    "CodeQL",
-    "CPython",
    "FastAPI",
    "IPython",
    "LangChain",
@@ -15,7 +14,7 @@ doc-valid-idents = [
    "SNMPv1",
    "SNMPv2",
    "SNMPv3",
-    "PyFlakes",
+    "PyFlakes"
 ]

 ignore-interior-mutability = [
--- a/crates/red_knot/Cargo.toml
+++ b/crates/red_knot/Cargo.toml
@@ -1,47 +1,43 @@
 [package]
-name = "ty"
+name = "red_knot"
 version = "0.0.0"
-# required for correct pypi metadata
-homepage = "https://github.com/astral-sh/ty/"
-documentation = "https://github.com/astral-sh/ty/"
-# Releases occur in this other repository!
-repository = "https://github.com/astral-sh/ty/"
 edition.workspace = true
 rust-version.workspace = true
+homepage.workspace = true
+documentation.workspace = true
+repository.workspace = true
 authors.workspace = true
 license.workspace = true

 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

 [dependencies]
+red_knot_python_semantic = { workspace = true }
+red_knot_project = { workspace = true, features = ["zstd"] }
+red_knot_server = { workspace = true }
 ruff_db = { workspace = true, features = ["os", "cache"] }
 ruff_python_ast = { workspace = true }
-ty_python_semantic = { workspace = true }
-ty_project = { workspace = true, features = ["zstd"] }
-ty_server = { workspace = true }

 anyhow = { workspace = true }
 argfile = { workspace = true }
-clap = { workspace = true, features = ["wrap_help", "string", "env"] }
-clap_complete_command = { workspace = true }
+clap = { workspace = true, features = ["wrap_help"] }
 colored = { workspace = true }
 countme = { workspace = true, features = ["enable"] }
 crossbeam = { workspace = true }
 ctrlc = { version = "3.4.4" }
-indicatif = { workspace = true }
 jiff = { workspace = true }
 rayon = { workspace = true }
 salsa = { workspace = true }
 tracing = { workspace = true, features = ["release_max_level_debug"] }
-tracing-subscriber = { workspace = true }
+tracing-subscriber = { workspace = true, features = ["env-filter", "fmt"] }
 tracing-flame = { workspace = true }
+tracing-tree = { workspace = true }
 wild = { workspace = true }

 [dev-dependencies]
 ruff_db = { workspace = true, features = ["testing"] }
 ruff_python_trivia = { workspace = true }

-dunce = { workspace = true }
 insta = { workspace = true, features = ["filters"] }
 insta-cmd = { workspace = true }
 filetime = { workspace = true }
--- a/crates/red_knot/README.md
+++ b/crates/red_knot/README.md
@@ -0,0 +1,25 @@
+# Red Knot
+
+Red Knot is an extremely fast type checker.
+Currently, it is a work-in-progress and not ready for user testing.
+
+Red Knot is designed to prioritize good type inference, even in unannotated code,
+and aims to avoid false positives.
+
+While Red Knot will produce similar results to mypy and pyright on many codebases,
+100% compatibility with these tools is a non-goal.
+On some codebases, Red Knot's design decisions lead to different outcomes
+than you would get from running one of these more established tools.
+
+## Contributing
+
+Core type checking tests are written as Markdown code blocks.
+They can be found in [`red_knot_python_semantic/resources/mdtest`][resources-mdtest].
+See [`red_knot_test/README.md`][mdtest-readme] for more information
+on the test framework itself.
+
+The list of open issues can be found [here][open-issues].
+
+[mdtest-readme]: ../red_knot_test/README.md
+[open-issues]: https://github.com/astral-sh/ruff/issues?q=sort%3Aupdated-desc%20is%3Aissue%20is%3Aopen%20label%3Ared-knot
+[resources-mdtest]: ../red_knot_python_semantic/resources/mdtest
--- a/crates/red_knot/build.rs
+++ b/crates/red_knot/build.rs
@@ -12,9 +12,12 @@ fn main() {
        .join("..");

    commit_info(&workspace_root);
+
+    #[allow(clippy::disallowed_methods)]
+    let target = std::env::var("TARGET").unwrap();
+    println!("cargo::rustc-env=RUST_HOST_TARGET={target}");
 }

-/// Retrieve commit information from the Git repository.
 fn commit_info(workspace_root: &Path) {
    // If not in a git repository, do not attempt to retrieve commit information
    let git_dir = workspace_root.join(".git");
@@ -46,20 +49,31 @@ fn commit_info(workspace_root: &Path) {
        .arg("-1")
        .arg("--date=short")
        .arg("--abbrev=9")
-        .arg("--format=%H %h %cd %(describe:tags)")
-        .current_dir(workspace_root)
+        .arg("--format=%H %h %cd %(describe)")
        .output()
    {
        Ok(output) if output.status.success() => output,
        _ => return,
    };
-
    let stdout = String::from_utf8(output.stdout).unwrap();
-
    let mut parts = stdout.split_whitespace();
    let mut next = || parts.next().unwrap();
    let _commit_hash = next();
-    println!("cargo::rustc-env=TY_WASM_COMMIT_SHORT_HASH={}", next());
+    println!("cargo::rustc-env=RED_KNOT_COMMIT_SHORT_HASH={}", next());
+    println!("cargo::rustc-env=RED_KNOT_COMMIT_DATE={}", next());
+
+    // Describe can fail for some commits
+    // https://git-scm.com/docs/pretty-formats#Documentation/pretty-formats.txt-emdescribeoptionsem
+    if let Some(describe) = parts.next() {
+        let mut describe_parts = describe.split('-');
+        let _last_tag = describe_parts.next().unwrap();
+
+        // If this is the tagged commit, this component will be missing
+        println!(
+            "cargo::rustc-env=RED_KNOT_LAST_TAG_DISTANCE={}",
+            describe_parts.next().unwrap_or("0")
+        );
+    }
 }

 fn git_head(git_dir: &Path) -> Option<PathBuf> {
--- a/crates/red_knot/docs/mypy_primer.md
+++ b/crates/red_knot/docs/mypy_primer.md
@@ -2,16 +2,16 @@

 ## Basics

-`mypy_primer` can be run using `uvx --from "…" mypy_primer`. For example, to see the help message, run:
+For now, we use our own [fork of mypy primer]. It can be run using `uvx --from "…" mypy_primer`. For example, to see the help message, run:

 ```sh
-uvx --from "git+https://github.com/hauntsaninja/mypy_primer" mypy_primer -h
+uvx --from "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support" mypy_primer -h
 ```

 Alternatively, you can install the forked version of `mypy_primer` using:

 ```sh
-uv tool install "git+https://github.com/hauntsaninja/mypy_primer"
+uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support"
 ```

 and then run it using `uvx mypy_primer` or just `mypy_primer`, if your `PATH` is set up accordingly (see: [Tool executables]).
@@ -22,7 +22,7 @@ To show the diagnostics diff between two Git revisions (e.g. your feature branch

 ```sh
 mypy_primer \
-    --type-checker ty \
+    --type-checker knot \
    --old origin/main \
    --new my/feature \
    --debug \
@@ -31,15 +31,15 @@ mypy_primer \
 ```

 This will show the diagnostics diff for the `black` project between the `main` branch and your `my/feature` branch. To run the
-diff for all projects we currently enable in CI, use `--project-selector "/($(paste -s -d'|' crates/ty_python_semantic/resources/primer/good.txt))\$"`.
+diff for all projects we currently enable in CI, use `--project-selector "/($(paste -s -d'|' crates/red_knot_python_semantic/resources/primer/good.txt))\$"`.

-You can also take a look at the [full list of ecosystem projects]. Note that some of them might still need a `ty_paths` configuration
+You can also take a look at the [full list of ecosystem projects]. Note that some of them might still need a `knot_paths` configuration
 option to work correctly.

 ## Avoiding recompilation

 If you want to run `mypy_primer` repeatedly, e.g. for different projects, but for the same combination of `--old` and `--new`, you
-can use set the `MYPY_PRIMER_NO_REBUILD` environment variable to avoid recompilation of ty:
+can use set the `MYPY_PRIMER_NO_REBUILD` environment variable to avoid recompilation of Red Knot:

 ```sh
 MYPY_PRIMER_NO_REBUILD=1 mypy_primer …
@@ -56,5 +56,6 @@ mypy_primer --repo /path/to/ruff --old origin/main --new my/local-branch …

 Note that you might need to clean up `/tmp/mypy_primer` in order for this to work correctly.

-[full list of ecosystem projects]: https://github.com/hauntsaninja/mypy_primer/blob/master/mypy_primer/projects.py
+[fork of mypy primer]: https://github.com/astral-sh/mypy_primer/tree/add-red-knot-support
+[full list of ecosystem projects]: https://github.com/astral-sh/mypy_primer/blob/add-red-knot-support/mypy_primer/projects.py
 [tool executables]: https://docs.astral.sh/uv/concepts/tools/#tool-executables
--- a/crates/red_knot/docs/tracing-flamegraph.png
+++ b/crates/red_knot/docs/tracing-flamegraph.png
--- a/crates/red_knot/docs/tracing.md
+++ b/crates/red_knot/docs/tracing.md
@@ -1,7 +1,6 @@
 # Tracing

-Traces are a useful tool to narrow down the location of a bug or, at least, to understand why the compiler is doing a
-particular thing.
+Traces are a useful tool to narrow down the location of a bug or, at least, to understand why the compiler is doing a particular thing.
 Note, tracing messages with severity `debug` or greater are user-facing. They should be phrased accordingly.
 Tracing spans are only shown when using `-vvv`.

@@ -10,28 +9,20 @@ Tracing spans are only shown when using `-vvv`.
 The CLI supports different verbosity levels.

 - default: Only show errors and warnings.
- `-v` activates `info!`: Show generally useful information such as paths of configuration files, detected platform,
-    etc., but it's not a lot of messages, it's something you'll activate in CI by default. cargo build e.g. shows you
-    which packages are fresh.
- `-vv` activates `debug!` and timestamps: This should be enough information to get to the bottom of bug reports. When
-    you're processing many packages or files, you'll get pages and pages of output, but each line is link to a specific
-    action or state change.
- `-vvv` activates `trace!` (only in debug builds) and shows tracing-spans: At this level, you're logging everything.
-    Most of this is wasted, it's really slow, we dump e.g. the entire resolution graph. Only useful to developers, and you
-    almost certainly want to use `TY_LOG` to filter it down to the area your investigating.
+- `-v` activates `info!`: Show generally useful information such as paths of configuration files, detected platform, etc., but it's not a lot of messages, it's something you'll activate in CI by default. cargo build e.g. shows you which packages are fresh.
+- `-vv` activates `debug!` and timestamps: This should be enough information to get to the bottom of bug reports. When you're processing many packages or files, you'll get pages and pages of output, but each line is link to a specific action or state change.
+- `-vvv` activates `trace!` (only in debug builds) and shows tracing-spans: At this level, you're logging everything. Most of this is wasted, it's really slow, we dump e.g. the entire resolution graph. Only useful to developers, and you almost certainly want to use `RED_KNOT_LOG` to filter it down to the area your investigating.

-## Better logging with `TY_LOG` and `TY_MAX_PARALLELISM`
+## Better logging with `RED_KNOT_LOG` and `RAYON_NUM_THREADS`

-By default, the CLI shows messages from the `ruff` and `ty` crates. Tracing messages from other crates are not shown.
-The `TY_LOG` environment variable allows you to customize which messages are shown by specifying one
-or
-more [filter directives](https://docs.rs/tracing-subscriber/latest/tracing_subscriber/filter/struct.EnvFilter.html#directives).
+By default, the CLI shows messages from the `ruff` and `red_knot` crates. Tracing messages from other crates are not shown.
+The `RED_KNOT_LOG` environment variable allows you to customize which messages are shown by specifying one
+or more [filter directives](https://docs.rs/tracing-subscriber/latest/tracing_subscriber/filter/struct.EnvFilter.html#directives).

-The `TY_MAX_PARALLELISM` environment variable, meanwhile, can be used to control the level of parallelism ty uses.
-By default, ty will attempt to parallelize its work so that multiple files are checked simultaneously,
-but this can result in a confused logging output where messages from different threads are intertwined and non
-determinism.
-To switch off parallelism entirely and have more readable logs, use `TY_MAX_PARALLELISM=1` (or `RAYON_NUM_THREADS=1`).
+The `RAYON_NUM_THREADS` environment variable, meanwhile, can be used to control the level of concurrency red-knot uses.
+By default, red-knot will attempt to parallelize its work so that multiple files are checked simultaneously,
+but this can result in a confused logging output where messages from different threads are intertwined.
+To switch off concurrency entirely and have more readable logs, use `RAYON_NUM_THREADS=1`.

 ### Examples

@@ -40,23 +31,23 @@ To switch off parallelism entirely and have more readable logs, use `TY_MAX_PARA
 Shows debug messages from all crates.

 ```bash
-TY_LOG=debug
+RED_KNOT_LOG=debug
 ```

 #### Show salsa query execution messages

-Show the salsa `execute: my_query` messages in addition to all ty messages.
+Show the salsa `execute: my_query` messages in addition to all red knot messages.

 ```bash
-TY_LOG=ruff=trace,ty=trace,salsa=info
+RED_KNOT_LOG=ruff=trace,red_knot=trace,salsa=info
 ```

 #### Show typing traces

-Only show traces for the `ty_python_semantic::types` module.
+Only show traces for the `red_knot_python_semantic::types` module.

 ```bash
-TY_LOG="ty_python_semantic::types"
+RED_KNOT_LOG="red_knot_python_semantic::types"
 ```

 Note: Ensure that you use `-vvv` to see tracing spans.
@@ -66,7 +57,7 @@ Note: Ensure that you use `-vvv` to see tracing spans.
 Shows all messages that are inside of a span for a specific file.

 ```bash
-TY_LOG=ty[{file=/home/micha/astral/test/x.py}]=trace
+RED_KNOT_LOG=red_knot[{file=/home/micha/astral/test/x.py}]=trace
 ```

 **Note**: Tracing still shows all spans because tracing can't know at the time of entering the span
@@ -88,24 +79,22 @@ query to return the failure as part of the query's result or use a Salsa accumul

 ## Tracing in tests

-You can use `ruff_db::testing::setup_logging` or `ruff_db::testing::setup_logging_with_filter` to set up logging in
-tests.
+You can use `ruff_db::testing::setup_logging` or `ruff_db::testing::setup_logging_with_filter` to set up logging in tests.

 ```rust
 use ruff_db::testing::setup_logging;

 #[test]
 fn test() {
-    let _logging = setup_logging();
+  let _logging = setup_logging();

-    tracing::info!("This message will be printed to stderr");
+  tracing::info!("This message will be printed to stderr");
 }
 ```

 Note: Most test runners capture stderr and only show its output when a test fails.

-Note also that `setup_logging` only sets up logging for the current thread because
-[`set_global_default`](https://docs.rs/tracing/latest/tracing/subscriber/fn.set_global_default.html) can only be
+Note also that `setup_logging` only sets up logging for the current thread because [`set_global_default`](https://docs.rs/tracing/latest/tracing/subscriber/fn.set_global_default.html) can only be
 called **once**.

 ## Release builds
@@ -114,11 +103,10 @@ called **once**.

 ## Profiling

-ty generates a folded stack trace to the current directory named `tracing.folded` when setting the environment variable
-`TY_LOG_PROFILE` to `1` or `true`.
+Red Knot generates a folded stack trace to the current directory named `tracing.folded` when setting the environment variable `RED_KNOT_LOG_PROFILE` to `1` or `true`.

 ```bash
-TY_LOG_PROFILE=1 ty -- --current-directory=../test -vvv
+RED_KNOT_LOG_PROFILE=1 red_knot -- --current-directory=../test -vvv
 ```

 You can convert the textual representation into a visual one using `inferno`.
--- a/crates/red_knot/src/args.rs
+++ b/crates/red_knot/src/args.rs
@@ -1,22 +1,23 @@
 use crate::logging::Verbosity;
 use crate::python_version::PythonVersion;
-use clap::error::ErrorKind;
 use clap::{ArgAction, ArgMatches, Error, Parser};
+use red_knot_project::metadata::options::{EnvironmentOptions, Options, TerminalOptions};
+use red_knot_project::metadata::value::{RangedValue, RelativePathBuf};
+use red_knot_python_semantic::lint;
 use ruff_db::system::SystemPathBuf;
-use ty_project::combine::Combine;
-use ty_project::metadata::options::{EnvironmentOptions, Options, SrcOptions, TerminalOptions};
-use ty_project::metadata::value::{RangedValue, RelativePathBuf, ValueSource};
-use ty_python_semantic::lint;

 #[derive(Debug, Parser)]
-#[command(author, name = "ty", about = "An extremely fast Python type checker.")]
-#[command(long_version = crate::version::version())]
-pub struct Cli {
+#[command(
+    author,
+    name = "red-knot",
+    about = "An extremely fast Python type checker."
+)]
+#[command(version)]
+pub(crate) struct Args {
    #[command(subcommand)]
    pub(crate) command: Command,
 }

-#[allow(clippy::large_enum_variant)]
 #[derive(Debug, clap::Subcommand)]
 pub(crate) enum Command {
    /// Check a project for type errors.
@@ -25,12 +26,8 @@ pub(crate) enum Command {
    /// Start the language server
    Server,

-    /// Display ty's version
+    /// Display Red Knot's version
    Version,
-
-    /// Generate shell completion
-    #[clap(hide = true)]
-    GenerateShellCompletion { shell: clap_complete_command::Shell },
 }

 #[derive(Debug, Parser)]
@@ -51,20 +48,14 @@ pub(crate) struct CheckCommand {
    #[arg(long, value_name = "PROJECT")]
    pub(crate) project: Option<SystemPathBuf>,

-    /// Path to the Python environment.
+    /// Path to the Python installation from which Red Knot resolves type information and third-party dependencies.
    ///
-    /// ty uses the Python environment to resolve type information and third-party dependencies.
+    /// If not specified, Red Knot will look at the `VIRTUAL_ENV` environment variable.
    ///
-    /// If not specified, ty will attempt to infer it from the `VIRTUAL_ENV` environment variable or
-    /// discover a `.venv` directory in the project root or working directory.
+    /// Red Knot will search in the path's `site-packages` directories for type information and
+    /// third-party imports.
    ///
-    /// If a path to a Python interpreter is provided, e.g., `.venv/bin/python3`, ty will attempt to
-    /// find an environment two directories up from the interpreter's path, e.g., `.venv`. At this
-    /// time, ty does not invoke the interpreter to determine the location of the environment. This
-    /// means that ty will not resolve dynamic executables such as a shim.
-    ///
-    /// ty will search in the resolved environments's `site-packages` directories for type
-    /// information and third-party imports.
+    /// This option is commonly used to specify the path to a virtual environment.
    #[arg(long, value_name = "PATH")]
    pub(crate) python: Option<SystemPathBuf>,

@@ -77,15 +68,6 @@ pub(crate) struct CheckCommand {
    pub(crate) extra_search_path: Option<Vec<SystemPathBuf>>,

    /// Python version to assume when resolving types.
-    ///
-    /// The Python version affects allowed syntax, type definitions of the standard library, and
-    /// type definitions of first- and third-party modules that are conditional on the Python version.
-    ///
-    /// By default, the Python version is inferred as the lower bound of the project's
-    /// `requires-python` field from the `pyproject.toml`, if available. Otherwise, if a virtual
-    /// environment has been configured or detected and a Python version can be inferred from the
-    /// virtual environment's metadata, that version will be used. If neither of these applies, ty
-    /// will fall back to the latest stable Python version supported by ty (currently 3.13).
    #[arg(long, value_name = "VERSION", alias = "target-version")]
    pub(crate) python_version: Option<PythonVersion>,

@@ -104,15 +86,6 @@ pub(crate) struct CheckCommand {
    #[clap(flatten)]
    pub(crate) rules: RulesArg,

-    #[clap(flatten)]
-    pub(crate) config: ConfigsArg,
-
-    /// The path to a `ty.toml` file to use for configuration.
-    ///
-    /// While ty configuration can be included in a `pyproject.toml` file, it is not allowed in this context.
-    #[arg(long, env = "TY_CONFIG_FILE", value_name = "PATH")]
-    pub(crate) config_file: Option<SystemPathBuf>,
-
    /// The format to use for printing diagnostic messages.
    #[arg(long)]
    pub(crate) output_format: Option<OutputFormat>,
@@ -132,19 +105,6 @@ pub(crate) struct CheckCommand {
    /// Watch files for changes and recheck files related to the changed files.
    #[arg(long, short = 'W')]
    pub(crate) watch: bool,
-
-    /// Respect file exclusions via `.gitignore` and other standard ignore files.
-    /// Use `--no-respect-gitignore` to disable.
-    #[arg(
-        long,
-        overrides_with("no_respect_ignore_files"),
-        help_heading = "File selection",
-        default_missing_value = "true",
-        num_args = 0..1
-    )]
-    respect_ignore_files: Option<bool>,
-    #[clap(long, overrides_with("respect_ignore_files"), hide = true)]
-    no_respect_ignore_files: bool,
 }

 impl CheckCommand {
@@ -160,14 +120,7 @@ impl CheckCommand {
            )
        };

-        // --no-respect-gitignore defaults to false and is set true by CLI flag. If passed, override config file
-        // Otherwise, only pass this through if explicitly set (don't default to anything here to
-        // make sure that doesn't take precedence over an explicitly-set config file value)
-        let respect_ignore_files = self
-            .no_respect_ignore_files
-            .then_some(false)
-            .or(self.respect_ignore_files);
-        let options = Options {
+        Options {
            environment: Some(EnvironmentOptions {
                python_version: self
                    .python_version
@@ -190,14 +143,9 @@ impl CheckCommand {
                    .map(|output_format| RangedValue::cli(output_format.into())),
                error_on_warning: self.error_on_warning,
            }),
-            src: Some(SrcOptions {
-                respect_ignore_files,
-                ..SrcOptions::default()
-            }),
            rules,
-        };
-        // Merge with options passed in via --config
-        options.combine(self.config.into_options().unwrap_or_default())
+            ..Default::default()
+        }
    }
 }

@@ -291,7 +239,7 @@ impl clap::Args for RulesArg {
 /// The diagnostic output format.
 #[derive(Copy, Clone, Hash, Debug, PartialEq, Eq, PartialOrd, Ord, Default, clap::ValueEnum)]
 pub enum OutputFormat {
-    /// Print diagnostics verbosely, with context and helpful hints \[default\].
+    /// Print diagnostics verbosely, with context and helpful hints.
    ///
    /// Diagnostic messages may include additional context and
    /// annotations on the input to help understand the message.
@@ -330,65 +278,3 @@ pub(crate) enum TerminalColor {
    /// Never display colors.
    Never,
 }
-
-/// A TOML `<KEY> = <VALUE>` pair
-/// (such as you might find in a `ty.toml` configuration file)
-/// overriding a specific configuration option.
-///
-/// Overrides of individual settings using this option always take precedence
-/// over all configuration files.
-#[derive(Debug, Clone)]
-pub(crate) struct ConfigsArg(Option<Options>);
-
-impl clap::FromArgMatches for ConfigsArg {
-    fn from_arg_matches(matches: &ArgMatches) -> Result<Self, Error> {
-        let combined = matches
-            .get_many::<String>("config")
-            .into_iter()
-            .flatten()
-            .map(|s| {
-                Options::from_toml_str(s, ValueSource::Cli)
-                    .map_err(|err| Error::raw(ErrorKind::InvalidValue, err.to_string()))
-            })
-            .collect::<Result<Vec<_>, _>>()?
-            .into_iter()
-            .reduce(|acc, item| item.combine(acc));
-        Ok(Self(combined))
-    }
-
-    fn update_from_arg_matches(&mut self, matches: &ArgMatches) -> Result<(), Error> {
-        self.0 = Self::from_arg_matches(matches)?.0;
-        Ok(())
-    }
-}
-
-impl clap::Args for ConfigsArg {
-    fn augment_args(cmd: clap::Command) -> clap::Command {
-        cmd.arg(
-            clap::Arg::new("config")
-                .short('c')
-                .long("config")
-                .value_name("CONFIG_OPTION")
-                .help("A TOML `<KEY> = <VALUE>` pair overriding a specific configuration option.")
-                .long_help(
-                    "
-A TOML `<KEY> = <VALUE>` pair (such as you might find in a `ty.toml` configuration file)
-overriding a specific configuration option.
-
-Overrides of individual settings using this option always take precedence
-over all configuration files.",
-                )
-                .action(ArgAction::Append),
-        )
-    }
-
-    fn augment_args_for_update(cmd: clap::Command) -> clap::Command {
-        Self::augment_args(cmd)
-    }
-}
-
-impl ConfigsArg {
-    pub(crate) fn into_options(self) -> Option<Options> {
-        self.0
-    }
-}
--- a/crates/red_knot/src/logging.rs
+++ b/crates/red_knot/src/logging.rs
@@ -1,17 +1,16 @@
-//! Sets up logging for ty
+//! Sets up logging for Red Knot

-use crate::args::TerminalColor;
 use anyhow::Context;
 use colored::Colorize;
 use std::fmt;
 use std::fs::File;
-use std::io::{BufWriter, IsTerminal};
+use std::io::BufWriter;
 use tracing::{Event, Subscriber};
-use tracing_subscriber::EnvFilter;
 use tracing_subscriber::filter::LevelFilter;
 use tracing_subscriber::fmt::format::Writer;
 use tracing_subscriber::fmt::{FmtContext, FormatEvent, FormatFields};
 use tracing_subscriber::registry::LookupSpan;
+use tracing_subscriber::EnvFilter;

 /// Logging flags to `#[command(flatten)]` into your CLI
 #[derive(clap::Args, Debug, Clone, Default)]
@@ -43,14 +42,14 @@ impl Verbosity {

 #[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
 pub(crate) enum VerbosityLevel {
-    /// Default output level. Only shows Ruff and ty events up to the [`WARN`](tracing::Level::WARN).
+    /// Default output level. Only shows Ruff and Red Knot events up to the [`WARN`](tracing::Level::WARN).
    Default,

-    /// Enables verbose output. Emits Ruff and ty events up to the [`INFO`](tracing::Level::INFO).
+    /// Enables verbose output. Emits Ruff and Red Knot events up to the [`INFO`](tracing::Level::INFO).
    /// Corresponds to `-v`.
    Verbose,

-    /// Enables a more verbose tracing format and emits Ruff and ty events up to [`DEBUG`](tracing::Level::DEBUG).
+    /// Enables a more verbose tracing format and emits Ruff and Red Knot events up to [`DEBUG`](tracing::Level::DEBUG).
    /// Corresponds to `-vv`
    ExtraVerbose,

@@ -77,17 +76,14 @@ impl VerbosityLevel {
    }
 }

-pub(crate) fn setup_tracing(
-    level: VerbosityLevel,
-    color: TerminalColor,
-) -> anyhow::Result<TracingGuard> {
+pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuard> {
    use tracing_subscriber::prelude::*;

-    // The `TY_LOG` environment variable overrides the default log level.
-    let filter = if let Ok(log_env_variable) = std::env::var("TY_LOG") {
+    // The `RED_KNOT_LOG` environment variable overrides the default log level.
+    let filter = if let Ok(log_env_variable) = std::env::var("RED_KNOT_LOG") {
        EnvFilter::builder()
            .parse(log_env_variable)
-            .context("Failed to parse directives specified in TY_LOG environment variable.")?
+            .context("Failed to parse directives specified in RED_KNOT_LOG environment variable.")?
    } else {
        match level {
            VerbosityLevel::Default => {
@@ -97,9 +93,9 @@ pub(crate) fn setup_tracing(
            level => {
                let level_filter = level.level_filter();

-                // Show info|debug|trace events, but allow `TY_LOG` to override
+                // Show info|debug|trace events, but allow `RED_KNOT_LOG` to override
                let filter = EnvFilter::default().add_directive(
-                    format!("ty={level_filter}")
+                    format!("red_knot={level_filter}")
                        .parse()
                        .expect("Hardcoded directive to be valid"),
                );
@@ -119,33 +115,27 @@ pub(crate) fn setup_tracing(
        .with(filter)
        .with(profiling_layer);

-    let ansi = match color {
-        TerminalColor::Auto => {
-            colored::control::SHOULD_COLORIZE.should_colorize() && std::io::stderr().is_terminal()
-        }
-        TerminalColor::Always => true,
-        TerminalColor::Never => false,
-    };
-
    if level.is_trace() {
        let subscriber = registry.with(
-            tracing_subscriber::fmt::layer()
-                .event_format(tracing_subscriber::fmt::format().pretty())
+            tracing_tree::HierarchicalLayer::default()
+                .with_indent_lines(true)
+                .with_indent_amount(2)
+                .with_bracketed_fields(true)
                .with_thread_ids(true)
-                .with_ansi(ansi)
-                .with_writer(std::io::stderr),
+                .with_targets(true)
+                .with_writer(std::io::stderr)
+                .with_timer(tracing_tree::time::Uptime::default()),
        );

        subscriber.init();
    } else {
        let subscriber = registry.with(
            tracing_subscriber::fmt::layer()
-                .event_format(TyFormat {
+                .event_format(RedKnotFormat {
                    display_level: true,
                    display_timestamp: level.is_extra_verbose(),
                    show_spans: false,
                })
-                .with_ansi(ansi)
                .with_writer(std::io::stderr),
        );

@@ -157,7 +147,7 @@ pub(crate) fn setup_tracing(
    })
 }

-#[expect(clippy::type_complexity)]
+#[allow(clippy::type_complexity)]
 fn setup_profile<S>() -> (
    Option<tracing_flame::FlameLayer<S, BufWriter<File>>>,
    Option<tracing_flame::FlushGuard<BufWriter<File>>>,
@@ -165,7 +155,7 @@ fn setup_profile<S>() -> (
 where
    S: Subscriber + for<'span> LookupSpan<'span>,
 {
-    if let Ok("1" | "true") = std::env::var("TY_LOG_PROFILE").as_deref() {
+    if let Ok("1" | "true") = std::env::var("RED_KNOT_LOG_PROFILE").as_deref() {
        let (layer, guard) = tracing_flame::FlameLayer::with_file("tracing.folded")
            .expect("Flame layer to be created");
        (Some(layer), Some(guard))
@@ -178,14 +168,14 @@ pub(crate) struct TracingGuard {
    _flame_guard: Option<tracing_flame::FlushGuard<BufWriter<File>>>,
 }

-struct TyFormat {
+struct RedKnotFormat {
    display_timestamp: bool,
    display_level: bool,
    show_spans: bool,
 }

 /// See <https://docs.rs/tracing-subscriber/0.3.18/src/tracing_subscriber/fmt/format/mod.rs.html#1026-1156>
-impl<S, N> FormatEvent<S, N> for TyFormat
+impl<S, N> FormatEvent<S, N> for RedKnotFormat
 where
    S: Subscriber + for<'a> LookupSpan<'a>,
    N: for<'a> FormatFields<'a> + 'static,
--- a/crates/red_knot/src/main.rs
+++ b/crates/red_knot/src/main.rs
@@ -1,57 +1,77 @@
-mod args;
-mod logging;
-mod python_version;
-mod version;
-
-pub use args::Cli;
-
-use std::io::{self, BufWriter, Write, stdout};
+use std::io::{self, stdout, BufWriter, Write};
 use std::process::{ExitCode, Termination};

 use anyhow::Result;
 use std::sync::Mutex;

-use crate::args::{CheckCommand, Command, TerminalColor};
+use crate::args::{Args, CheckCommand, Command, TerminalColor};
 use crate::logging::setup_tracing;
-use anyhow::{Context, anyhow};
-use clap::{CommandFactory, Parser};
+use anyhow::{anyhow, Context};
+use clap::Parser;
 use colored::Colorize;
 use crossbeam::channel as crossbeam_channel;
-use rayon::ThreadPoolBuilder;
-use ruff_db::Upcast;
+use red_knot_project::metadata::options::Options;
+use red_knot_project::watch::ProjectWatcher;
+use red_knot_project::{watch, Db};
+use red_knot_project::{ProjectDatabase, ProjectMetadata};
+use red_knot_server::run_server;
 use ruff_db::diagnostic::{Diagnostic, DisplayDiagnosticConfig, Severity};
-use ruff_db::max_parallelism;
 use ruff_db::system::{OsSystem, SystemPath, SystemPathBuf};
 use salsa::plumbing::ZalsaDatabase;
-use ty_project::metadata::options::ProjectOptionsOverrides;
-use ty_project::watch::ProjectWatcher;
-use ty_project::{Db, DummyReporter, Reporter, watch};
-use ty_project::{ProjectDatabase, ProjectMetadata};
-use ty_server::run_server;

-pub fn run() -> anyhow::Result<ExitStatus> {
-    setup_rayon();
+mod args;
+mod logging;
+mod python_version;
+mod version;

+#[allow(clippy::print_stdout, clippy::unnecessary_wraps, clippy::print_stderr)]
+pub fn main() -> ExitStatus {
+    run().unwrap_or_else(|error| {
+        use std::io::Write;
+
+        // Use `writeln` instead of `eprintln` to avoid panicking when the stderr pipe is broken.
+        let mut stderr = std::io::stderr().lock();
+
+        // This communicates that this isn't a linter error but Red Knot itself hard-errored for
+        // some reason (e.g. failed to resolve the configuration)
+        writeln!(stderr, "{}", "Red Knot failed".red().bold()).ok();
+        // Currently we generally only see one error, but e.g. with io errors when resolving
+        // the configuration it is help to chain errors ("resolving configuration failed" ->
+        // "failed to read file: subdir/pyproject.toml")
+        for cause in error.chain() {
+            // Exit "gracefully" on broken pipe errors.
+            //
+            // See: https://github.com/BurntSushi/ripgrep/blob/bf63fe8f258afc09bae6caa48f0ae35eaf115005/crates/core/main.rs#L47C1-L61C14
+            if let Some(ioerr) = cause.downcast_ref::<io::Error>() {
+                if ioerr.kind() == io::ErrorKind::BrokenPipe {
+                    return ExitStatus::Success;
+                }
+            }
+
+            writeln!(stderr, "  {} {cause}", "Cause:".bold()).ok();
+        }
+
+        ExitStatus::Error
+    })
+}
+
+fn run() -> anyhow::Result<ExitStatus> {
    let args = wild::args_os();
    let args = argfile::expand_args_from(args, argfile::parse_fromfile, argfile::PREFIX)
        .context("Failed to read CLI arguments from file")?;
-    let args = Cli::parse_from(args);
+    let args = Args::parse_from(args);

    match args.command {
        Command::Server => run_server().map(|()| ExitStatus::Success),
        Command::Check(check_args) => run_check(check_args),
        Command::Version => version().map(|()| ExitStatus::Success),
-        Command::GenerateShellCompletion { shell } => {
-            shell.generate(&mut Cli::command(), &mut stdout());
-            Ok(ExitStatus::Success)
-        }
    }
 }

 pub(crate) fn version() -> Result<()> {
    let mut stdout = BufWriter::new(io::stdout().lock());
    let version_info = crate::version::version();
-    writeln!(stdout, "ty {}", &version_info)?;
+    writeln!(stdout, "red knot {}", &version_info)?;
    Ok(())
 }

@@ -60,12 +80,7 @@ fn run_check(args: CheckCommand) -> anyhow::Result<ExitStatus> {

    let verbosity = args.verbosity.level();
    countme::enable(verbosity.is_trace());
-    let _guard = setup_tracing(verbosity, args.color.unwrap_or_default())?;
-
-    tracing::warn!(
-        "ty is pre-release software and not ready for production use. \
-            Expect to encounter bugs, missing features, and fatal errors.",
-    );
+    let _guard = setup_tracing(verbosity)?;

    tracing::debug!("Version: {}", version::version());

@@ -75,7 +90,7 @@ fn run_check(args: CheckCommand) -> anyhow::Result<ExitStatus> {
        SystemPathBuf::from_path_buf(cwd)
            .map_err(|path| {
                anyhow!(
-                    "The current working directory `{}` contains non-Unicode characters. ty only supports Unicode paths.",
+                    "The current working directory `{}` contains non-Unicode characters. Red Knot only supports Unicode paths.",
                    path.display()
                )
            })?
@@ -102,21 +117,13 @@ fn run_check(args: CheckCommand) -> anyhow::Result<ExitStatus> {
        .map(|path| SystemPath::absolute(path, &cwd))
        .collect();

-    let system = OsSystem::new(&cwd);
+    let system = OsSystem::new(cwd);
    let watch = args.watch;
    let exit_zero = args.exit_zero;
-    let config_file = args
-        .config_file
-        .as_ref()
-        .map(|path| SystemPath::absolute(path, &cwd));

-    let mut project_metadata = match &config_file {
-        Some(config_file) => ProjectMetadata::from_config_file(config_file.clone(), &system)?,
-        None => ProjectMetadata::discover(&project_path, &system)?,
-    };
-
-    let options = args.into_options();
-    project_metadata.apply_options(options.clone());
+    let cli_options = args.into_options();
+    let mut project_metadata = ProjectMetadata::discover(&project_path, &system)?;
+    project_metadata.apply_cli_options(cli_options.clone());
    project_metadata.apply_configuration_files(&system)?;

    let mut db = ProjectDatabase::new(project_metadata, system)?;
@@ -125,8 +132,7 @@ fn run_check(args: CheckCommand) -> anyhow::Result<ExitStatus> {
        db.project().set_included_paths(&mut db, check_paths);
    }

-    let project_options_overrides = ProjectOptionsOverrides::new(config_file, options);
-    let (main_loop, main_loop_cancellation_token) = MainLoop::new(project_options_overrides);
+    let (main_loop, main_loop_cancellation_token) = MainLoop::new(cli_options);

    // Listen to Ctrl+C and abort the watch mode.
    let main_loop_cancellation_token = Mutex::new(Some(main_loop_cancellation_token));
@@ -163,12 +169,8 @@ pub enum ExitStatus {
    /// Checking was successful but there were errors.
    Failure = 1,

-    /// Checking failed due to an invocation error (e.g. the current directory no longer exists, incorrect CLI arguments, ...)
+    /// Checking failed.
    Error = 2,
-
-    /// Internal ty error (panic, or any other error that isn't due to the user using the
-    /// program incorrectly or transient environment errors).
-    InternalError = 101,
 }

 impl Termination for ExitStatus {
@@ -187,13 +189,11 @@ struct MainLoop {
    /// The file system watcher, if running in watch mode.
    watcher: Option<ProjectWatcher>,

-    project_options_overrides: ProjectOptionsOverrides,
+    cli_options: Options,
 }

 impl MainLoop {
-    fn new(
-        project_options_overrides: ProjectOptionsOverrides,
-    ) -> (Self, MainLoopCancellationToken) {
+    fn new(cli_options: Options) -> (Self, MainLoopCancellationToken) {
        let (sender, receiver) = crossbeam_channel::bounded(10);

        (
@@ -201,7 +201,7 @@ impl MainLoop {
                sender: sender.clone(),
                receiver,
                watcher: None,
-                project_options_overrides,
+                cli_options,
            },
            MainLoopCancellationToken { sender },
        )
@@ -216,34 +216,22 @@ impl MainLoop {

        self.watcher = Some(ProjectWatcher::new(watcher, db));

-        // Do not show progress bars with `--watch`, indicatif does not seem to
-        // handle cancelling independent progress bars very well.
-        self.run_with_progress::<DummyReporter>(db)?;
+        self.run(db)?;

        Ok(ExitStatus::Success)
    }

-    fn run(self, db: &mut ProjectDatabase) -> Result<ExitStatus> {
-        self.run_with_progress::<IndicatifReporter>(db)
-    }
-
-    fn run_with_progress<R>(mut self, db: &mut ProjectDatabase) -> Result<ExitStatus>
-    where
-        R: Reporter + Default + 'static,
-    {
+    fn run(mut self, db: &mut ProjectDatabase) -> Result<ExitStatus> {
        self.sender.send(MainLoopMessage::CheckWorkspace).unwrap();

-        let result = self.main_loop::<R>(db);
+        let result = self.main_loop(db);

        tracing::debug!("Exiting main loop");

        result
    }

-    fn main_loop<R>(&mut self, db: &mut ProjectDatabase) -> Result<ExitStatus>
-    where
-        R: Reporter + Default + 'static,
-    {
+    fn main_loop(&mut self, db: &mut ProjectDatabase) -> Result<ExitStatus> {
        // Schedule the first check.
        tracing::debug!("Starting main loop");

@@ -258,19 +246,11 @@ impl MainLoop {
                    // Spawn a new task that checks the project. This needs to be done in a separate thread
                    // to prevent blocking the main loop here.
                    rayon::spawn(move || {
-                        match salsa::Cancelled::catch(|| {
-                            let mut reporter = R::default();
-                            db.check_with_reporter(&mut reporter)
-                        }) {
-                            Ok(result) => {
-                                // Send the result back to the main loop for printing.
-                                sender
-                                    .send(MainLoopMessage::CheckCompleted { result, revision })
-                                    .unwrap();
-                            }
-                            Err(cancelled) => {
-                                tracing::debug!("Check has been cancelled: {cancelled:?}");
-                            }
+                        if let Ok(result) = db.check() {
+                            // Send the result back to the main loop for printing.
+                            sender
+                                .send(MainLoopMessage::CheckCompleted { result, revision })
+                                .unwrap();
                        }
                    });
                }
@@ -284,6 +264,12 @@ impl MainLoop {
                        .format(terminal_settings.output_format)
                        .color(colored::control::SHOULD_COLORIZE.should_colorize());

+                    let min_error_severity = if terminal_settings.error_on_warning {
+                        Severity::Warning
+                    } else {
+                        Severity::Error
+                    };
+
                    if check_revision == revision {
                        if db.project().files(db).is_empty() {
                            tracing::warn!("No python files found under the given path(s)");
@@ -292,23 +278,19 @@ impl MainLoop {
                        let mut stdout = stdout().lock();

                        if result.is_empty() {
-                            writeln!(stdout, "{}", "All checks passed!".green().bold())?;
+                            writeln!(stdout, "All checks passed!")?;

                            if self.watcher.is_none() {
                                return Ok(ExitStatus::Success);
                            }
                        } else {
-                            let mut max_severity = Severity::Info;
+                            let mut failed = false;
                            let diagnostics_count = result.len();

                            for diagnostic in result {
-                                write!(
-                                    stdout,
-                                    "{}",
-                                    diagnostic.display(&db.upcast(), &display_config)
-                                )?;
+                                write!(stdout, "{}", diagnostic.display(db, &display_config))?;

-                                max_severity = max_severity.max(diagnostic.severity());
+                                failed |= diagnostic.severity() >= min_error_severity;
                            }

                            writeln!(
@@ -318,24 +300,11 @@ impl MainLoop {
                                if diagnostics_count > 1 { "s" } else { "" }
                            )?;

-                            if max_severity.is_fatal() {
-                                tracing::warn!(
-                                    "A fatal error occurred while checking some files. Not all project files were analyzed. See the diagnostics list above for details."
-                                );
-                            }
-
                            if self.watcher.is_none() {
-                                return Ok(match max_severity {
-                                    Severity::Info => ExitStatus::Success,
-                                    Severity::Warning => {
-                                        if terminal_settings.error_on_warning {
-                                            ExitStatus::Failure
-                                        } else {
-                                            ExitStatus::Success
-                                        }
-                                    }
-                                    Severity::Error => ExitStatus::Failure,
-                                    Severity::Fatal => ExitStatus::InternalError,
+                                return Ok(if failed {
+                                    ExitStatus::Failure
+                                } else {
+                                    ExitStatus::Success
                                });
                            }
                        }
@@ -351,7 +320,7 @@ impl MainLoop {
                MainLoopMessage::ApplyChanges(changes) => {
                    revision += 1;
                    // Automatically cancels any pending queries and waits for them to complete.
-                    db.apply_changes(changes, Some(&self.project_options_overrides));
+                    db.apply_changes(changes, Some(&self.cli_options));
                    if let Some(watcher) = self.watcher.as_mut() {
                        watcher.update(db);
                    }
@@ -373,32 +342,6 @@ impl MainLoop {
    }
 }

-/// A progress reporter for `ty check`.
-#[derive(Default)]
-struct IndicatifReporter(Option<indicatif::ProgressBar>);
-
-impl ty_project::Reporter for IndicatifReporter {
-    fn set_files(&mut self, files: usize) {
-        let progress = indicatif::ProgressBar::new(files as u64);
-        progress.set_style(
-            indicatif::ProgressStyle::with_template(
-                "{msg:8.dim} {bar:60.green/dim} {pos}/{len} files",
-            )
-            .unwrap()
-            .progress_chars("--"),
-        );
-        progress.set_message("Checking");
-
-        self.0 = Some(progress);
-    }
-
-    fn report_file(&self, _file: &ruff_db::files::File) {
-        if let Some(ref progress_bar) = self.0 {
-            progress_bar.inc(1);
-        }
-    }
-}
-
 #[derive(Debug)]
 struct MainLoopCancellationToken {
    sender: crossbeam_channel::Sender<MainLoopMessage>,
@@ -440,17 +383,3 @@ fn set_colored_override(color: Option<TerminalColor>) {
        }
    }
 }
-
-/// Initializes the global rayon thread pool to never use more than `TY_MAX_PARALLELISM` threads.
-fn setup_rayon() {
-    ThreadPoolBuilder::default()
-        .num_threads(max_parallelism().get())
-        // Use a reasonably large stack size to avoid running into stack overflows too easily. The
-        // size was chosen in such a way as to still be able to handle large expressions involving
-        // binary operators (x + x + … + x) both during the AST walk in semantic index building as
-        // well as during type checking. Using this stack size, we can handle handle expressions
-        // that are several times larger than the corresponding limits in existing type checkers.
-        .stack_size(16 * 1024 * 1024)
-        .build_global()
-        .unwrap();
-}
--- a/crates/red_knot/src/python_version.rs
+++ b/crates/red_knot/src/python_version.rs
--- a/crates/red_knot/src/version.rs
+++ b/crates/red_knot/src/version.rs
@@ -1,17 +1,16 @@
-//! Code for representing ty's release version number.
+//! Code for representing Red Knot's release version number.
 use std::fmt;

-/// Information about the git repository where ty was built from.
+/// Information about the git repository where Red Knot was built from.
 pub(crate) struct CommitInfo {
    short_commit_hash: String,
    commit_date: String,
    commits_since_last_tag: u32,
-    last_tag: Option<String>,
 }

-/// ty's version.
+/// Red Knot's version.
 pub(crate) struct VersionInfo {
-    /// ty's version, such as "0.5.1"
+    /// Red Knot's version, such as "0.5.1"
    version: String,
    /// Information about the git commit we may have been built from.
    ///
@@ -35,13 +34,7 @@ impl fmt::Display for VersionInfo {
    }
 }

-impl From<VersionInfo> for clap::builder::Str {
-    fn from(val: VersionInfo) -> Self {
-        val.to_string().into()
-    }
-}
-
-/// Returns information about ty's version.
+/// Returns information about Red Knot's version.
 pub(crate) fn version() -> VersionInfo {
    // Environment variables are only read at compile-time
    macro_rules! option_env_str {
@@ -50,30 +43,18 @@ pub(crate) fn version() -> VersionInfo {
        };
    }

-    // Commit info is pulled from git and set by `build.rs`
-    let commit_info = option_env_str!("TY_COMMIT_SHORT_HASH").map(|short_commit_hash| CommitInfo {
-        short_commit_hash,
-        commit_date: option_env_str!("TY_COMMIT_DATE").unwrap(),
-        commits_since_last_tag: option_env_str!("TY_LAST_TAG_DISTANCE")
-            .as_deref()
-            .map_or(0, |value| value.parse::<u32>().unwrap_or(0)),
-        last_tag: option_env_str!("TY_LAST_TAG"),
-    });
+    // This version is pulled from Cargo.toml and set by Cargo
+    let version = option_env_str!("CARGO_PKG_VERSION").unwrap();

-    // The version is pulled from `dist-workspace.toml` and set by `build.rs`
-    let version = option_env_str!("TY_VERSION").unwrap_or_else(|| {
-        // If missing, using the last tag
-        commit_info
-            .as_ref()
-            .and_then(|info| {
-                info.last_tag.as_ref().map(|tag| {
-                    tag.strip_prefix("v")
-                        .map(std::string::ToString::to_string)
-                        .unwrap_or(tag.clone())
-                })
-            })
-            .unwrap_or("unknown".to_string())
-    });
+    // Commit info is pulled from git and set by `build.rs`
+    let commit_info =
+        option_env_str!("RED_KNOT_COMMIT_SHORT_HASH").map(|short_commit_hash| CommitInfo {
+            short_commit_hash,
+            commit_date: option_env_str!("RED_KNOT_COMMIT_DATE").unwrap(),
+            commits_since_last_tag: option_env_str!("RED_KNOT_LAST_TAG_DISTANCE")
+                .as_deref()
+                .map_or(0, |value| value.parse::<u32>().unwrap_or(0)),
+        });

    VersionInfo {
        version,
@@ -104,7 +85,6 @@ mod tests {
                short_commit_hash: "53b0f5d92".to_string(),
                commit_date: "2023-10-19".to_string(),
                commits_since_last_tag: 0,
-                last_tag: None,
            }),
        };
        assert_snapshot!(version, @"0.0.0 (53b0f5d92 2023-10-19)");
@@ -118,7 +98,6 @@ mod tests {
                short_commit_hash: "53b0f5d92".to_string(),
                commit_date: "2023-10-19".to_string(),
                commits_since_last_tag: 24,
-                last_tag: None,
            }),
        };
        assert_snapshot!(version, @"0.0.0+24 (53b0f5d92 2023-10-19)");
--- a/crates/red_knot/tests/cli.rs
+++ b/crates/red_knot/tests/cli.rs
--- a/crates/red_knot/tests/file_watching.rs
+++ b/crates/red_knot/tests/file_watching.rs
@@ -2,20 +2,20 @@ use std::collections::HashSet;
 use std::io::Write;
 use std::time::{Duration, Instant};

-use anyhow::{Context, anyhow};
-use ruff_db::files::{File, FileError, system_path_to_file};
+use anyhow::{anyhow, Context};
+use red_knot_project::metadata::options::{EnvironmentOptions, Options};
+use red_knot_project::metadata::pyproject::{PyProject, Tool};
+use red_knot_project::metadata::value::{RangedValue, RelativePathBuf};
+use red_knot_project::watch::{directory_watcher, ChangeEvent, ProjectWatcher};
+use red_knot_project::{Db, ProjectDatabase, ProjectMetadata};
+use red_knot_python_semantic::{resolve_module, ModuleName, PythonPlatform};
+use ruff_db::files::{system_path_to_file, File, FileError};
 use ruff_db::source::source_text;
 use ruff_db::system::{
-    OsSystem, System, SystemPath, SystemPathBuf, UserConfigDirectoryOverrideGuard, file_time_now,
+    file_time_now, OsSystem, System, SystemPath, SystemPathBuf, UserConfigDirectoryOverrideGuard,
 };
 use ruff_db::{Db as _, Upcast};
 use ruff_python_ast::PythonVersion;
-use ty_project::metadata::options::{EnvironmentOptions, Options, ProjectOptionsOverrides};
-use ty_project::metadata::pyproject::{PyProject, Tool};
-use ty_project::metadata::value::{RangedValue, RelativePathBuf};
-use ty_project::watch::{ChangeEvent, ProjectWatcher, directory_watcher};
-use ty_project::{Db, ProjectDatabase, ProjectMetadata};
-use ty_python_semantic::{ModuleName, PythonPlatform, resolve_module};

 struct TestCase {
    db: ProjectDatabase,
@@ -164,12 +164,8 @@ impl TestCase {
        Ok(all_events)
    }

-    fn apply_changes(
-        &mut self,
-        changes: Vec<ChangeEvent>,
-        project_options_overrides: Option<&ProjectOptionsOverrides>,
-    ) {
-        self.db.apply_changes(changes, project_options_overrides);
+    fn apply_changes(&mut self, changes: Vec<ChangeEvent>) {
+        self.db.apply_changes(changes, None);
    }

    fn update_options(&mut self, options: Options) -> anyhow::Result<()> {
@@ -177,14 +173,16 @@ impl TestCase {
            self.project_path("pyproject.toml").as_std_path(),
            toml::to_string(&PyProject {
                project: None,
-                tool: Some(Tool { ty: Some(options) }),
+                tool: Some(Tool {
+                    knot: Some(options),
+                }),
            })
            .context("Failed to serialize options")?,
        )
        .context("Failed to write configuration")?;

        let changes = self.take_watch_changes(event_for_file("pyproject.toml"));
-        self.apply_changes(changes, None);
+        self.apply_changes(changes);

        if let Some(watcher) = &mut self.watcher {
            watcher.update(&self.db);
@@ -384,7 +382,9 @@ where
            project_path.join("pyproject.toml").as_std_path(),
            toml::to_string(&PyProject {
                project: None,
-                tool: Some(Tool { ty: Some(options) }),
+                tool: Some(Tool {
+                    knot: Some(options),
+                }),
            })
            .context("Failed to serialize options")?,
        )
@@ -480,7 +480,7 @@ fn new_file() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("foo.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    let foo = case.system_file(&foo_path).expect("foo.py to exist.");

@@ -503,7 +503,7 @@ fn new_ignored_file() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("foo.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(case.system_file(&foo_path).is_ok());
    case.assert_indexed_project_files([bar_file]);
@@ -539,7 +539,7 @@ fn new_non_project_file() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("black.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(case.system_file(&black_path).is_ok());

@@ -580,7 +580,7 @@ fn new_files_with_explicit_included_paths() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("test2.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    let sub_a_file = case.system_file(&sub_a_path).expect("sub/a.py to exist");

@@ -625,7 +625,7 @@ fn new_file_in_included_out_of_project_directory() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("script2.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    let src_a_file = case.system_file(&src_a).unwrap();
    let outside_b_file = case.system_file(&outside_b_path).unwrap();
@@ -652,7 +652,7 @@ fn changed_file() -> anyhow::Result<()> {

    assert!(!changes.is_empty());

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert_eq!(source_text(case.db(), foo).as_str(), "print('Version 2')");
    case.assert_indexed_project_files([foo]);
@@ -675,7 +675,7 @@ fn deleted_file() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("foo.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(!foo.exists(case.db()));
    case.assert_indexed_project_files([]);
@@ -707,7 +707,7 @@ fn move_file_to_trash() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("foo.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(!foo.exists(case.db()));
    case.assert_indexed_project_files([]);
@@ -734,7 +734,7 @@ fn move_file_to_project() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("foo.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    let foo_in_project = case.system_file(&foo_in_project)?;

@@ -759,7 +759,7 @@ fn rename_file() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("bar.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(!foo.exists(case.db()));

@@ -800,7 +800,7 @@ fn directory_moved_to_project() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("sub"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    let init_file = case
        .system_file(sub_new_path.join("__init__.py"))
@@ -810,13 +810,11 @@ fn directory_moved_to_project() -> anyhow::Result<()> {
        .expect("a.py to exist");

    // `import sub.a` should now resolve
-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_some()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_some());

    case.assert_indexed_project_files([bar, init_file, a_file]);

@@ -832,13 +830,11 @@ fn directory_moved_to_trash() -> anyhow::Result<()> {
    ])?;
    let bar = case.system_file(case.project_path("bar.py")).unwrap();

-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_some()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_some());

    let sub_path = case.project_path("sub");
    let init_file = case
@@ -857,16 +853,14 @@ fn directory_moved_to_trash() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("sub"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    // `import sub.a` should no longer resolve
-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_none()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_none());

    assert!(!init_file.exists(case.db()));
    assert!(!a_file.exists(case.db()));
@@ -886,20 +880,16 @@ fn directory_renamed() -> anyhow::Result<()> {

    let bar = case.system_file(case.project_path("bar.py")).unwrap();

-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_some()
-    );
-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("foo.baz").unwrap()
-        )
-        .is_none()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_some());
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("foo.baz").unwrap()
+    )
+    .is_none());

    let sub_path = case.project_path("sub");
    let sub_init = case
@@ -920,24 +910,20 @@ fn directory_renamed() -> anyhow::Result<()> {
    // Linux and windows only emit an event for the newly created root directory, but not for every new component.
    let changes = case.stop_watch(event_for_file("sub"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    // `import sub.a` should no longer resolve
-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_none()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_none());
    // `import foo.baz` should now resolve
-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("foo.baz").unwrap()
-        )
-        .is_some()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("foo.baz").unwrap()
+    )
+    .is_some());

    // The old paths are no longer tracked
    assert!(!sub_init.exists(case.db()));
@@ -970,13 +956,11 @@ fn directory_deleted() -> anyhow::Result<()> {

    let bar = case.system_file(case.project_path("bar.py")).unwrap();

-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_some()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_some());

    let sub_path = case.project_path("sub");

@@ -993,16 +977,14 @@ fn directory_deleted() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("sub"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    // `import sub.a` should no longer resolve
-    assert!(
-        resolve_module(
-            case.db().upcast(),
-            &ModuleName::new_static("sub.a").unwrap()
-        )
-        .is_none()
-    );
+    assert!(resolve_module(
+        case.db().upcast(),
+        &ModuleName::new_static("sub.a").unwrap()
+    )
+    .is_none());

    assert!(!init_file.exists(case.db()));
    assert!(!a_file.exists(case.db()));
@@ -1039,7 +1021,7 @@ fn search_path() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("a.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(resolve_module(case.db().upcast(), &ModuleName::new_static("a").unwrap()).is_some());
    case.assert_indexed_project_files([case.system_file(case.project_path("bar.py")).unwrap()]);
@@ -1070,7 +1052,7 @@ fn add_search_path() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("a.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(resolve_module(case.db().upcast(), &ModuleName::new_static("a").unwrap()).is_some());

@@ -1139,7 +1121,7 @@ print(sys.last_exc, os.getegid())
        Ok(())
    })?;

-    let diagnostics = case.db.check();
+    let diagnostics = case.db.check().context("Failed to check project.")?;

    assert_eq!(diagnostics.len(), 2);
    assert_eq!(
@@ -1164,7 +1146,7 @@ print(sys.last_exc, os.getegid())
    })
    .expect("Search path settings to be valid");

-    let diagnostics = case.db.check();
+    let diagnostics = case.db.check().context("Failed to check project.")?;
    assert!(diagnostics.is_empty());

    Ok(())
@@ -1217,7 +1199,7 @@ fn changed_versions_file() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("VERSIONS"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert!(resolve_module(case.db(), &ModuleName::new("os").unwrap()).is_some());

@@ -1271,7 +1253,7 @@ fn hard_links_in_project() -> anyhow::Result<()> {

    let changes = case.stop_watch(event_for_file("foo.py"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert_eq!(source_text(case.db(), foo).as_str(), "print('Version 2')");

@@ -1342,7 +1324,7 @@ fn hard_links_to_target_outside_project() -> anyhow::Result<()> {

    let changes = case.stop_watch(ChangeEvent::is_changed);

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    assert_eq!(source_text(case.db(), bar).as_str(), "print('Version 2')");

@@ -1381,7 +1363,7 @@ mod unix {

        let changes = case.stop_watch(event_for_file("foo.py"));

-        case.apply_changes(changes, None);
+        case.apply_changes(changes);

        assert_eq!(
            foo.permissions(case.db()),
@@ -1448,11 +1430,13 @@ mod unix {
        )
        .expect("Expected bar.baz to exist in site-packages.");
        let baz_project = case.project_path("bar/baz.py");
-        let baz_file = baz.file().unwrap();

-        assert_eq!(source_text(case.db(), baz_file).as_str(), "def baz(): ...");
        assert_eq!(
-            baz_file.path(case.db()).as_system_path(),
+            source_text(case.db(), baz.file()).as_str(),
+            "def baz(): ..."
+        );
+        assert_eq!(
+            baz.file().path(case.db()).as_system_path(),
            Some(&*baz_project)
        );

@@ -1464,10 +1448,10 @@ mod unix {

        let changes = case.take_watch_changes(event_for_file("baz.py"));

-        case.apply_changes(changes, None);
+        case.apply_changes(changes);

        assert_eq!(
-            source_text(case.db(), baz_file).as_str(),
+            source_text(case.db(), baz.file()).as_str(),
            "def baz(): print('Version 2')"
        );

@@ -1477,10 +1461,10 @@ mod unix {

        let changes = case.stop_watch(event_for_file("baz.py"));

-        case.apply_changes(changes, None);
+        case.apply_changes(changes);

        assert_eq!(
-            source_text(case.db(), baz_file).as_str(),
+            source_text(case.db(), baz.file()).as_str(),
            "def baz(): print('Version 3')"
        );

@@ -1526,7 +1510,6 @@ mod unix {
            &ModuleName::new_static("bar.baz").unwrap(),
        )
        .expect("Expected bar.baz to exist in site-packages.");
-        let baz_file = baz.file().unwrap();
        let bar_baz = case.project_path("bar/baz.py");

        let patched_bar_baz = case.project_path("patched/bar/baz.py");
@@ -1537,8 +1520,11 @@ mod unix {
            "def baz(): ..."
        );

-        assert_eq!(source_text(case.db(), baz_file).as_str(), "def baz(): ...");
-        assert_eq!(baz_file.path(case.db()).as_system_path(), Some(&*bar_baz));
+        assert_eq!(
+            source_text(case.db(), baz.file()).as_str(),
+            "def baz(): ..."
+        );
+        assert_eq!(baz.file().path(case.db()).as_system_path(), Some(&*bar_baz));

        case.assert_indexed_project_files([patched_bar_baz_file]);

@@ -1548,7 +1534,7 @@ mod unix {

        let changes = case.stop_watch(event_for_file("baz.py"));

-        case.apply_changes(changes, None);
+        case.apply_changes(changes);

        // The file watcher is guaranteed to emit one event for the changed file, but it isn't specified
        // if the event is emitted for the "original" or linked path because both paths are watched.
@@ -1560,14 +1546,14 @@ mod unix {
        //
        // I further tested how good editor support is for symlinked files and it is not good ;)
        // * VS Code doesn't update the file content if a file gets changed through a symlink
-        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as ty).
+        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as red knot).
        //
        // That's why I think it's fine to not support this case for now.

        let patched_baz_text = source_text(case.db(), patched_bar_baz_file);
        let did_update_patched_baz = patched_baz_text.as_str() == "def baz(): print('Version 2')";

-        let bar_baz_text = source_text(case.db(), baz_file);
+        let bar_baz_text = source_text(case.db(), baz.file());
        let did_update_bar_baz = bar_baz_text.as_str() == "def baz(): print('Version 2')";

        assert!(
@@ -1650,7 +1636,7 @@ mod unix {
            "def baz(): ..."
        );
        assert_eq!(
-            baz.file().unwrap().path(case.db()).as_system_path(),
+            baz.file().path(case.db()).as_system_path(),
            Some(&*baz_original)
        );

@@ -1662,7 +1648,7 @@ mod unix {

        let changes = case.stop_watch(event_for_file("baz.py"));

-        case.apply_changes(changes, None);
+        case.apply_changes(changes);

        assert_eq!(
            source_text(case.db(), baz_original_file).as_str(),
@@ -1672,7 +1658,7 @@ mod unix {
        // It would be nice if this is supported but the underlying file system watchers
        // only emit a single event. For reference
        // * VS Code doesn't update the file content if a file gets changed through a symlink
-        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as ty).
+        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as red knot).
        // We could add support for it by keeping a reverse map from `real_path` to symlinked path but
        // it doesn't seem worth doing considering that as prominent tools like PyCharm don't support it.
        // Pyright does support it, thanks to chokidar.
@@ -1696,7 +1682,7 @@ fn nested_projects_delete_root() -> anyhow::Result<()> {
            [project]
            name = "inner"

-            [tool.ty]
+            [tool.knot]
            "#,
        )?;

@@ -1706,7 +1692,7 @@ fn nested_projects_delete_root() -> anyhow::Result<()> {
            [project]
            name = "outer"

-            [tool.ty]
+            [tool.knot]
            "#,
        )?;

@@ -1719,7 +1705,7 @@ fn nested_projects_delete_root() -> anyhow::Result<()> {

    let changes = case.stop_watch(ChangeEvent::is_deleted);

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    // It should now pick up the outer project.
    assert_eq!(case.db().project().root(case.db()), case.root_path());
@@ -1746,9 +1732,9 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {
        )?;

        let config_directory = context.join_root_path("home/.config");
-        std::fs::create_dir_all(config_directory.join("ty").as_std_path())?;
+        std::fs::create_dir_all(config_directory.join("knot").as_std_path())?;
        std::fs::write(
-            config_directory.join("ty/ty.toml").as_std_path(),
+            config_directory.join("knot/knot.toml").as_std_path(),
            r#"
            [rules]
            division-by-zero = "ignore"
@@ -1767,7 +1753,10 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {
    let foo = case
        .system_file(case.project_path("foo.py"))
        .expect("foo.py to exist");
-    let diagnostics = case.db().check_file(foo);
+    let diagnostics = case
+        .db()
+        .check_file(foo)
+        .context("Failed to check project.")?;

    assert!(
        diagnostics.is_empty(),
@@ -1776,84 +1765,21 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {

    // Enable division-by-zero in the user configuration with warning severity
    update_file(
-        case.root_path().join("home/.config/ty/ty.toml"),
+        case.root_path().join("home/.config/knot/knot.toml"),
        r#"
        [rules]
        division-by-zero = "warn"
        "#,
    )?;

-    let changes = case.stop_watch(event_for_file("ty.toml"));
+    let changes = case.stop_watch(event_for_file("knot.toml"));

-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

-    let diagnostics = case.db().check_file(foo);
-
-    assert!(
-        diagnostics.len() == 1,
-        "Expected exactly one diagnostic but got: {diagnostics:#?}"
-    );
-
-    Ok(())
-}
-
-#[test]
-fn changes_to_config_file_override() -> anyhow::Result<()> {
-    let mut case = setup(|context: &mut SetupContext| {
-        std::fs::write(
-            context.join_project_path("pyproject.toml").as_std_path(),
-            r#"
-            [project]
-            name = "test"
-            "#,
-        )?;
-
-        std::fs::write(
-            context.join_project_path("foo.py").as_std_path(),
-            "a = 10 / 0",
-        )?;
-
-        std::fs::write(
-            context.join_project_path("ty-override.toml").as_std_path(),
-            r#"
-            [rules]
-            division-by-zero = "ignore"
-            "#,
-        )?;
-
-        Ok(())
-    })?;
-
-    let foo = case
-        .system_file(case.project_path("foo.py"))
-        .expect("foo.py to exist");
-    let diagnostics = case.db().check_file(foo);
-
-    assert!(
-        diagnostics.is_empty(),
-        "Expected no diagnostics but got: {diagnostics:#?}"
-    );
-
-    // Enable division-by-zero in the explicitly specified configuration with warning severity
-    update_file(
-        case.project_path("ty-override.toml"),
-        r#"
-        [rules]
-        division-by-zero = "warn"
-        "#,
-    )?;
-
-    let changes = case.stop_watch(event_for_file("ty-override.toml"));
-
-    case.apply_changes(
-        changes,
-        Some(&ProjectOptionsOverrides::new(
-            Some(case.project_path("ty-override.toml")),
-            Options::default(),
-        )),
-    );
-
-    let diagnostics = case.db().check_file(foo);
+    let diagnostics = case
+        .db()
+        .check_file(foo)
+        .context("Failed to check project.")?;

    assert!(
        diagnostics.len() == 1,
@@ -1867,7 +1793,7 @@ fn changes_to_config_file_override() -> anyhow::Result<()> {
 ///
 /// This test currently fails on case-insensitive systems because `Files` is case-sensitive
 /// but the `System::metadata` call isn't. This means that
-/// ty considers both `Lib.py` and `lib.py` to exist when only `lib.py` does
+/// Red Knot considers both `Lib.py` and `lib.py` to exist when only `lib.py` does
 ///
 /// The incoming change events then are no-ops because they don't change either file's
 /// status nor does it update their last modified time (renaming a file doesn't bump it's
@@ -1879,7 +1805,7 @@ fn changes_to_config_file_override() -> anyhow::Result<()> {
 /// `System` calls should be case sensitive. This would be the most consistent
 /// but might be hard to pull off.
 ///
-/// What the right solution is also depends on if ty itself should be case
+/// What the right solution is also depends on if Red Knot itself should be case
 /// sensitive or not. E.g. should `include="src"` be case sensitive on all systems
 /// or only on case-sensitive systems?
 ///
@@ -1925,7 +1851,7 @@ fn rename_files_casing_only() -> anyhow::Result<()> {
    }

    let changes = case.stop_watch(event_for_file("Lib.py"));
-    case.apply_changes(changes, None);
+    case.apply_changes(changes);

    // Resolving `lib` should now fail but `Lib` should now succeed
    assert_eq!(
--- a/crates/red_knot_ide/Cargo.toml
+++ b/crates/red_knot_ide/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "ty_ide"
+name = "red_knot_ide"
 version = "0.0.0"
 publish = false
 authors = { workspace = true }
@@ -15,7 +15,7 @@ ruff_db = { workspace = true }
 ruff_python_ast = { workspace = true }
 ruff_python_parser = { workspace = true }
 ruff_text_size = { workspace = true }
-ty_python_semantic = { workspace = true }
+red_knot_python_semantic = { workspace = true }

 rustc-hash = { workspace = true }
 salsa = { workspace = true }
@@ -23,7 +23,7 @@ smallvec = { workspace = true }
 tracing = { workspace = true }

 [dev-dependencies]
-ty_vendored = { workspace = true }
+red_knot_vendored = { workspace = true }

 insta = { workspace = true, features = ["filters"] }

--- a/crates/red_knot_ide/src/db.rs
+++ b/crates/red_knot_ide/src/db.rs
@@ -1,22 +1,20 @@
+use red_knot_python_semantic::Db as SemanticDb;
 use ruff_db::{Db as SourceDb, Upcast};
-use ty_python_semantic::Db as SemanticDb;

 #[salsa::db]
 pub trait Db: SemanticDb + Upcast<dyn SemanticDb> + Upcast<dyn SourceDb> {}

 #[cfg(test)]
 pub(crate) mod tests {
-    use std::sync::{Arc, Mutex};
+    use std::sync::Arc;

    use super::Db;
+    use red_knot_python_semantic::lint::{LintRegistry, RuleSelection};
+    use red_knot_python_semantic::{default_lint_registry, Db as SemanticDb, Program};
    use ruff_db::files::{File, Files};
    use ruff_db::system::{DbWithTestSystem, System, TestSystem};
    use ruff_db::vendored::VendoredFileSystem;
    use ruff_db::{Db as SourceDb, Upcast};
-    use ty_python_semantic::lint::{LintRegistry, RuleSelection};
-    use ty_python_semantic::{Db as SemanticDb, Program, default_lint_registry};
-
-    type Events = Arc<Mutex<Vec<salsa::Event>>>;

    #[salsa::db]
    #[derive(Clone)]
@@ -25,35 +23,31 @@ pub(crate) mod tests {
        files: Files,
        system: TestSystem,
        vendored: VendoredFileSystem,
-        events: Events,
+        events: Arc<std::sync::Mutex<Vec<salsa::Event>>>,
        rule_selection: Arc<RuleSelection>,
    }

-    #[expect(dead_code)]
+    #[allow(dead_code)]
    impl TestDb {
        pub(crate) fn new() -> Self {
-            let events = Events::default();
            Self {
-                storage: salsa::Storage::new(Some(Box::new({
-                    let events = events.clone();
-                    move |event| {
-                        tracing::trace!("event: {event:?}");
-                        let mut events = events.lock().unwrap();
-                        events.push(event);
-                    }
-                }))),
+                storage: salsa::Storage::default(),
                system: TestSystem::default(),
-                vendored: ty_vendored::file_system().clone(),
-                events,
+                vendored: red_knot_vendored::file_system().clone(),
+                events: Arc::default(),
                files: Files::default(),
                rule_selection: Arc::new(RuleSelection::from_registry(default_lint_registry())),
            }
        }

        /// Takes the salsa events.
+        ///
+        /// ## Panics
+        /// If there are any pending salsa snapshots.
        pub(crate) fn take_salsa_events(&mut self) -> Vec<salsa::Event> {
-            let mut events = self.events.lock().unwrap();
+            let inner = Arc::get_mut(&mut self.events).expect("no pending salsa snapshots");

+            let events = inner.get_mut().unwrap();
            std::mem::take(&mut *events)
        }

@@ -120,8 +114,8 @@ pub(crate) mod tests {
            !file.path(self).is_vendored_path()
        }

-        fn rule_selection(&self) -> &RuleSelection {
-            &self.rule_selection
+        fn rule_selection(&self) -> Arc<RuleSelection> {
+            self.rule_selection.clone()
        }

        fn lint_registry(&self) -> &LintRegistry {
@@ -133,5 +127,12 @@ pub(crate) mod tests {
    impl Db for TestDb {}

    #[salsa::db]
-    impl salsa::Database for TestDb {}
+    impl salsa::Database for TestDb {
+        fn salsa_event(&self, event: &dyn Fn() -> salsa::Event) {
+            let event = event();
+            tracing::trace!("event: {event:?}");
+            let mut events = self.events.lock().unwrap();
+            events.push(event);
+        }
+    }
 }
--- a/crates/red_knot_ide/src/find_node.rs
+++ b/crates/red_knot_ide/src/find_node.rs
@@ -1,5 +1,5 @@
-use ruff_python_ast::AnyNodeRef;
 use ruff_python_ast::visitor::source_order::{SourceOrderVisitor, TraversalSignal};
+use ruff_python_ast::AnyNodeRef;
 use ruff_text_size::{Ranged, TextRange};
 use std::fmt;
 use std::fmt::Formatter;
--- a/crates/red_knot_ide/src/goto.rs
+++ b/crates/red_knot_ide/src/goto.rs
@@ -1,12 +1,12 @@
 use crate::find_node::covering_node;
 use crate::{Db, HasNavigationTargets, NavigationTargets, RangedValue};
+use red_knot_python_semantic::types::Type;
+use red_knot_python_semantic::{HasType, SemanticModel};
 use ruff_db::files::{File, FileRange};
-use ruff_db::parsed::{ParsedModule, parsed_module};
+use ruff_db::parsed::{parsed_module, ParsedModule};
 use ruff_python_ast::{self as ast, AnyNodeRef};
 use ruff_python_parser::TokenKind;
 use ruff_text_size::{Ranged, TextRange, TextSize};
-use ty_python_semantic::types::Type;
-use ty_python_semantic::{HasType, SemanticModel};

 pub fn goto_type_definition(
    db: &dyn Db,
@@ -253,8 +253,8 @@ pub(crate) fn find_goto_target(parsed: &ParsedModule, offset: TextSize) -> Optio

 #[cfg(test)]
 mod tests {
-    use crate::tests::{CursorTest, IntoDiagnostic, cursor_test};
-    use crate::{NavigationTarget, goto_type_definition};
+    use crate::tests::{cursor_test, CursorTest, IntoDiagnostic};
+    use crate::{goto_type_definition, NavigationTarget};
    use insta::assert_snapshot;
    use ruff_db::diagnostic::{
        Annotation, Diagnostic, DiagnosticId, LintName, Severity, Span, SubDiagnostic,
@@ -272,9 +272,9 @@ mod tests {
            "#,
        );

-        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> main.py:2:19
+        assert_snapshot!(test.goto_type_definition(), @r###"
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:2:19
          |
        2 |             class Test: ...
          |                   ^^^^
@@ -282,14 +282,14 @@ mod tests {
        4 |             ab = Test()
          |
        info: Source
-         --> main.py:4:13
+         --> /main.py:4:13
          |
        2 |             class Test: ...
        3 |
        4 |             ab = Test()
          |             ^^
          |
-        ");
+        "###);
    }

    #[test]
@@ -304,9 +304,9 @@ mod tests {
        "#,
        );

-        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> main.py:2:17
+        assert_snapshot!(test.goto_type_definition(), @r###"
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:2:17
          |
        2 |             def foo(a, b): ...
          |                 ^^^
@@ -314,14 +314,14 @@ mod tests {
        4 |             ab = foo
          |
        info: Source
-         --> main.py:6:13
+         --> /main.py:6:13
          |
        4 |             ab = foo
        5 |
        6 |             ab
          |             ^^
          |
-        ");
+        "###);
    }

    #[test]
@@ -343,8 +343,8 @@ mod tests {
        );

        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> main.py:3:17
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:3:17
          |
        3 |             def foo(a, b): ...
          |                 ^^^
@@ -352,7 +352,7 @@ mod tests {
        5 |             def bar(a, b): ...
          |
        info: Source
-          --> main.py:12:13
+          --> /main.py:12:13
           |
        10 |                 a = bar
        11 |
@@ -360,8 +360,8 @@ mod tests {
           |             ^
           |

-        info[goto-type-definition]: Type definition
-         --> main.py:5:17
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:5:17
          |
        3 |             def foo(a, b): ...
        4 |
@@ -371,7 +371,7 @@ mod tests {
        7 |             if random.choice():
          |
        info: Source
-          --> main.py:12:13
+          --> /main.py:12:13
           |
        10 |                 a = bar
        11 |
@@ -394,14 +394,14 @@ mod tests {
        test.write_file("lib.py", "a = 10").unwrap();

        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> lib.py:1:1
+        info: lint:goto-type-definition: Type definition
+         --> /lib.py:1:1
          |
        1 | a = 10
          | ^^^^^^
          |
        info: Source
-         --> main.py:4:13
+         --> /main.py:4:13
          |
        2 |             import lib
        3 |
@@ -422,18 +422,18 @@ mod tests {
        );

        assert_snapshot!(test.goto_type_definition(), @r#"
-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:438:7
            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
+        436 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        437 |
+        438 | class str(Sequence[str]):
            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
+        439 |     @overload
+        440 |     def __new__(cls, object: object = ...) -> Self: ...
            |
        info: Source
-         --> main.py:4:13
+         --> /main.py:4:13
          |
        2 |             a: str = "test"
        3 |
@@ -451,18 +451,18 @@ mod tests {
        );

        assert_snapshot!(test.goto_type_definition(), @r#"
-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:438:7
            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
+        436 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        437 |
+        438 | class str(Sequence[str]):
            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
+        439 |     @overload
+        440 |     def __new__(cls, object: object = ...) -> Self: ...
            |
        info: Source
-         --> main.py:2:22
+         --> /main.py:2:22
          |
        2 |             a: str = "test"
          |                      ^^^^^^
@@ -478,20 +478,20 @@ mod tests {
            "#,
        );

-        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> main.py:2:24
+        assert_snapshot!(test.goto_type_definition(), @r###"
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:2:24
          |
        2 |             type Alias[T: int = bool] = list[T]
          |                        ^
          |
        info: Source
-         --> main.py:2:46
+         --> /main.py:2:46
          |
        2 |             type Alias[T: int = bool] = list[T]
          |                                              ^
          |
-        ");
+        "###);
    }

    #[test]
@@ -522,40 +522,6 @@ mod tests {
        assert_snapshot!(test.goto_type_definition(), @"No type definitions found");
    }

-    #[test]
-    fn goto_type_of_bare_type_alias_type() {
-        let test = cursor_test(
-            r#"
-            from typing_extensions import TypeAliasType
-
-            Alias = TypeAliasType("Alias", tuple[int, int])
-
-            Alias<CURSOR>
-            "#,
-        );
-
-        assert_snapshot!(test.goto_type_definition(), @r#"
-        info[goto-type-definition]: Type definition
-         --> main.py:4:13
-          |
-        2 |             from typing_extensions import TypeAliasType
-        3 |
-        4 |             Alias = TypeAliasType("Alias", tuple[int, int])
-          |             ^^^^^
-        5 |
-        6 |             Alias
-          |
-        info: Source
-         --> main.py:6:13
-          |
-        4 |             Alias = TypeAliasType("Alias", tuple[int, int])
-        5 |
-        6 |             Alias
-          |             ^^^^^
-          |
-        "#);
-    }
-
    #[test]
    fn goto_type_on_keyword_argument() {
        let test = cursor_test(
@@ -567,18 +533,18 @@ mod tests {
        );

        assert_snapshot!(test.goto_type_definition(), @r#"
-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:438:7
            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
+        436 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        437 |
+        438 | class str(Sequence[str]):
            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
+        439 |     @overload
+        440 |     def __new__(cls, object: object = ...) -> Self: ...
            |
        info: Source
-         --> main.py:4:18
+         --> /main.py:4:18
          |
        2 |             def test(a: str): ...
        3 |
@@ -602,18 +568,18 @@ mod tests {
        //   the keyword is typed as a string. It's only the passed argument that
        //   is an int. Navigating to `str` would match pyright's behavior.
        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:244:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:231:7
            |
-        242 | _LiteralInteger = _PositiveInteger | _NegativeInteger | Literal[0]  # noqa: Y026  # TODO: Use TypeAlias once mypy bugs are fixed
-        243 |
-        244 | class int:
+        229 | _LiteralInteger = _PositiveInteger | _NegativeInteger | Literal[0]  # noqa: Y026  # TODO: Use TypeAlias once mypy bugs are fixed
+        230 |
+        231 | class int:
            |       ^^^
-        245 |     @overload
-        246 |     def __new__(cls, x: ConvertibleToInt = ..., /) -> Self: ...
+        232 |     @overload
+        233 |     def __new__(cls, x: ConvertibleToInt = ..., /) -> Self: ...
            |
        info: Source
-         --> main.py:4:18
+         --> /main.py:4:18
          |
        2 |             def test(a: str): ...
        3 |
@@ -636,18 +602,18 @@ f(**kwargs<CURSOR>)
        );

        assert_snapshot!(test.goto_type_definition(), @r#"
-        info[goto-type-definition]: Type definition
-            --> stdlib/builtins.pyi:1136:7
+        info: lint:goto-type-definition: Type definition
+            --> stdlib/builtins.pyi:1086:7
             |
-        1134 |     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
-        1135 |
-        1136 | class dict(MutableMapping[_KT, _VT]):
+        1084 |     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
+        1085 |
+        1086 | class dict(MutableMapping[_KT, _VT]):
             |       ^^^^
-        1137 |     # __init__ should be kept roughly in line with `collections.UserDict.__init__`, which has similar semantics
-        1138 |     # Also multiprocessing.managers.SyncManager.dict()
+        1087 |     # __init__ should be kept roughly in line with `collections.UserDict.__init__`, which has similar semantics
+        1088 |     # Also multiprocessing.managers.SyncManager.dict()
             |
        info: Source
-         --> main.py:6:5
+         --> /main.py:6:5
          |
        4 | kwargs = { "name": "test"}
        5 |
@@ -667,18 +633,18 @@ f(**kwargs<CURSOR>)
        );

        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:438:7
            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
+        436 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        437 |
+        438 | class str(Sequence[str]):
            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
+        439 |     @overload
+        440 |     def __new__(cls, object: object = ...) -> Self: ...
            |
        info: Source
-         --> main.py:3:17
+         --> /main.py:3:17
          |
        2 |             def foo(a: str):
        3 |                 a
@@ -700,23 +666,23 @@ f(**kwargs<CURSOR>)
            "#,
        );

-        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> main.py:2:19
+        assert_snapshot!(test.goto_type_definition(), @r###"
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:2:19
          |
        2 |             class X:
          |                   ^
        3 |                 def foo(a, b): ...
          |
        info: Source
-         --> main.py:7:13
+         --> /main.py:7:13
          |
        5 |             x = X()
        6 |
        7 |             x.foo()
          |             ^
          |
-        ");
+        "###);
    }

    #[test]
@@ -729,9 +695,9 @@ f(**kwargs<CURSOR>)
            "#,
        );

-        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-         --> main.py:2:17
+        assert_snapshot!(test.goto_type_definition(), @r###"
+        info: lint:goto-type-definition: Type definition
+         --> /main.py:2:17
          |
        2 |             def foo(a, b): ...
          |                 ^^^
@@ -739,14 +705,14 @@ f(**kwargs<CURSOR>)
        4 |             foo()
          |
        info: Source
-         --> main.py:4:13
+         --> /main.py:4:13
          |
        2 |             def foo(a, b): ...
        3 |
        4 |             foo()
          |             ^^^
          |
-        ");
+        "###);
    }

    #[test]
@@ -760,18 +726,18 @@ f(**kwargs<CURSOR>)
        );

        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:438:7
            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
+        436 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        437 |
+        438 | class str(Sequence[str]):
            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
+        439 |     @overload
+        440 |     def __new__(cls, object: object = ...) -> Self: ...
            |
        info: Source
-         --> main.py:4:27
+         --> /main.py:4:27
          |
        2 |             def foo(a: str | None, b):
        3 |                 if a is not None:
@@ -791,35 +757,35 @@ f(**kwargs<CURSOR>)
        );

        assert_snapshot!(test.goto_type_definition(), @r"
-        info[goto-type-definition]: Type definition
-           --> stdlib/types.pyi:689:11
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/types.pyi:671:11
            |
-        687 | if sys.version_info >= (3, 10):
-        688 |     @final
-        689 |     class NoneType:
+        669 | if sys.version_info >= (3, 10):
+        670 |     @final
+        671 |     class NoneType:
            |           ^^^^^^^^
-        690 |         def __bool__(self) -> Literal[False]: ...
+        672 |         def __bool__(self) -> Literal[False]: ...
            |
        info: Source
-         --> main.py:3:17
+         --> /main.py:3:17
          |
        2 |             def foo(a: str | None, b):
        3 |                 a
          |                 ^
          |

-        info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
+        info: lint:goto-type-definition: Type definition
+           --> stdlib/builtins.pyi:438:7
            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
+        436 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        437 |
+        438 | class str(Sequence[str]):
            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
+        439 |     @overload
+        440 |     def __new__(cls, object: object = ...) -> Self: ...
            |
        info: Source
-         --> main.py:3:17
+         --> /main.py:3:17
          |
        2 |             def foo(a: str | None, b):
        3 |                 a
--- a/crates/red_knot_ide/src/hover.rs
+++ b/crates/red_knot_ide/src/hover.rs
@@ -1,12 +1,12 @@
-use crate::goto::{GotoTarget, find_goto_target};
+use crate::goto::{find_goto_target, GotoTarget};
 use crate::{Db, MarkupKind, RangedValue};
+use red_knot_python_semantic::types::Type;
+use red_knot_python_semantic::SemanticModel;
 use ruff_db::files::{File, FileRange};
 use ruff_db::parsed::parsed_module;
 use ruff_text_size::{Ranged, TextSize};
 use std::fmt;
 use std::fmt::Formatter;
-use ty_python_semantic::SemanticModel;
-use ty_python_semantic::types::Type;

 pub fn hover(db: &dyn Db, file: File, offset: TextSize) -> Option<RangedValue<Hover>> {
    let parsed = parsed_module(db.upcast(), file);
@@ -129,10 +129,9 @@ impl fmt::Display for DisplayHoverContent<'_, '_> {

 #[cfg(test)]
 mod tests {
-    use crate::tests::{CursorTest, cursor_test};
-    use crate::{MarkupKind, hover};
+    use crate::tests::{cursor_test, CursorTest};
+    use crate::{hover, MarkupKind};
    use insta::assert_snapshot;
-    use ruff_db::Upcast;
    use ruff_db::diagnostic::{
        Annotation, Diagnostic, DiagnosticFormat, DiagnosticId, DisplayDiagnosticConfig, LintName,
        Severity, Span,
@@ -156,8 +155,8 @@ mod tests {
        Literal[10]
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:4:9
+        info: lint:hover: Hovered content is
+         --> /main.py:4:9
          |
        2 |         a = 10
        3 |
@@ -192,8 +191,8 @@ mod tests {
        int
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-          --> main.py:10:9
+        info: lint:hover: Hovered content is
+          --> /main.py:10:9
           |
         9 |         foo = Foo()
        10 |         foo.a
@@ -215,15 +214,15 @@ mod tests {
        "#,
        );

-        assert_snapshot!(test.hover(), @r"
+        assert_snapshot!(test.hover(), @r###"
        def foo(a, b) -> Unknown
        ---------------------------------------------
        ```text
        def foo(a, b) -> Unknown
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:4:13
+        info: lint:hover: Hovered content is
+         --> /main.py:4:13
          |
        2 |             def foo(a, b): ...
        3 |
@@ -232,7 +231,7 @@ mod tests {
          |             |
          |             source
          |
-        ");
+        "###);
    }

    #[test]
@@ -251,8 +250,8 @@ mod tests {
        bool
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:3:17
+        info: lint:hover: Hovered content is
+         --> /main.py:3:17
          |
        2 |             def foo(a: int, b: int, c: int):
        3 |                 a + b == c
@@ -282,8 +281,8 @@ mod tests {
        Literal[123]
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:4:18
+        info: lint:hover: Hovered content is
+         --> /main.py:4:18
          |
        2 |             def test(a: int): ...
        3 |
@@ -313,15 +312,15 @@ mod tests {
            "#,
        );

-        assert_snapshot!(test.hover(), @r"
+        assert_snapshot!(test.hover(), @r###"
        (def foo(a, b) -> Unknown) | (def bar(a, b) -> Unknown)
        ---------------------------------------------
        ```text
        (def foo(a, b) -> Unknown) | (def bar(a, b) -> Unknown)
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-          --> main.py:12:13
+        info: lint:hover: Hovered content is
+          --> /main.py:12:13
           |
        10 |                 a = bar
        11 |
@@ -330,7 +329,7 @@ mod tests {
           |             |
           |             source
           |
-        ");
+        "###);
    }

    #[test]
@@ -352,8 +351,8 @@ mod tests {
        <module 'lib'>
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:4:13
+        info: lint:hover: Hovered content is
+         --> /main.py:4:13
          |
        2 |             import lib
        3 |
@@ -381,8 +380,8 @@ mod tests {
        T
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:2:46
+        info: lint:hover: Hovered content is
+         --> /main.py:2:46
          |
        2 |             type Alias[T: int = bool] = list[T]
          |                                              ^- Cursor offset
@@ -407,8 +406,8 @@ mod tests {
        @Todo
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:2:53
+        info: lint:hover: Hovered content is
+         --> /main.py:2:53
          |
        2 |             type Alias[**P = [int, str]] = Callable[P, int]
          |                                                     ^- Cursor offset
@@ -433,8 +432,8 @@ mod tests {
        @Todo
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:2:43
+        info: lint:hover: Hovered content is
+         --> /main.py:2:43
          |
        2 |             type Alias[*Ts = ()] = tuple[*Ts]
          |                                           ^^- Cursor offset
@@ -445,129 +444,7 @@ mod tests {
    }

    #[test]
-    fn hover_variable_assignment() {
-        let test = cursor_test(
-            r#"
-            value<CURSOR> = 1
-            "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        Literal[1]
-        ---------------------------------------------
-        ```text
-        Literal[1]
-        ```
-        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:2:13
-          |
-        2 |             value = 1
-          |             ^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_augmented_assignment() {
-        let test = cursor_test(
-            r#"
-            value = 1
-            value<CURSOR> += 2
-            "#,
-        );
-
-        // We currently show the *previous* value of the variable (1), not the new one (3).
-        // Showing the new value might be more intuitive for some users, but the actual 'use'
-        // of the `value` symbol here in read-context is `1`. This comment mainly exists to
-        // signal that it might be okay to revisit this in the future and reveal 3 instead.
-        assert_snapshot!(test.hover(), @r"
-        Literal[1]
-        ---------------------------------------------
-        ```text
-        Literal[1]
-        ```
-        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:3:13
-          |
-        2 |             value = 1
-        3 |             value += 2
-          |             ^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_attribute_assignment() {
-        let test = cursor_test(
-            r#"
-            class C:
-                attr: int = 1
-
-            C.attr<CURSOR> = 2
-            "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        Literal[2]
-        ---------------------------------------------
-        ```text
-        Literal[2]
-        ```
-        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:5:13
-          |
-        3 |                 attr: int = 1
-        4 |
-        5 |             C.attr = 2
-          |             ^^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_augmented_attribute_assignment() {
-        let test = cursor_test(
-            r#"
-            class C:
-                attr = 1
-
-            C.attr<CURSOR> += 2
-            "#,
-        );
-
-        // See the comment in the `hover_augmented_assignment` test above. The same
-        // reasoning applies here.
-        assert_snapshot!(test.hover(), @r"
-        Unknown | Literal[1]
-        ---------------------------------------------
-        ```text
-        Unknown | Literal[1]
-        ```
-        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:5:13
-          |
-        3 |                 attr = 1
-        4 |
-        5 |             C.attr += 2
-          |             ^^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_annotated_assignment() {
+    fn hover_class_member_declaration() {
        let test = cursor_test(
            r#"
        class Foo:
@@ -575,15 +452,16 @@ mod tests {
        "#,
        );

+        // TODO: This should be int and not `Never`, https://github.com/astral-sh/ruff/issues/17122
        assert_snapshot!(test.hover(), @r"
-        int
+        Never
        ---------------------------------------------
        ```text
-        int
+        Never
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:3:13
+        info: lint:hover: Hovered content is
+         --> /main.py:3:13
          |
        2 |         class Foo:
        3 |             a: int
@@ -594,64 +472,6 @@ mod tests {
        ");
    }

-    #[test]
-    fn hover_annotated_assignment_with_rhs() {
-        let test = cursor_test(
-            r#"
-        class Foo:
-            a<CURSOR>: int = 1
-        "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        Literal[1]
-        ---------------------------------------------
-        ```text
-        Literal[1]
-        ```
-        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:3:13
-          |
-        2 |         class Foo:
-        3 |             a: int = 1
-          |             ^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_annotated_attribute_assignment() {
-        let test = cursor_test(
-            r#"
-        class Foo:
-            def __init__(self, a: int):
-                self.a<CURSOR>: int = a
-        "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        int
-        ---------------------------------------------
-        ```text
-        int
-        ```
-        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:4:17
-          |
-        2 |         class Foo:
-        3 |             def __init__(self, a: int):
-        4 |                 self.a: int = a
-          |                 ^^^^^^- Cursor offset
-          |                 |
-          |                 source
-          |
-        ");
-    }
-
    #[test]
    fn hover_type_narrowing() {
        let test = cursor_test(
@@ -669,8 +489,8 @@ mod tests {
        str
        ```
        ---------------------------------------------
-        info[hover]: Hovered content is
-         --> main.py:4:27
+        info: lint:hover: Hovered content is
+         --> /main.py:4:27
          |
        2 |             def foo(a: str | None, b):
        3 |                 if a is not None:
@@ -774,7 +594,7 @@ mod tests {
                .message("Cursor offset"),
            );

-            write!(buf, "{}", diagnostic.display(&self.db.upcast(), &config)).unwrap();
+            write!(buf, "{}", diagnostic.display(&self.db, &config)).unwrap();

            buf
        }
--- a/crates/red_knot_ide/src/inlay_hints.rs
+++ b/crates/red_knot_ide/src/inlay_hints.rs
@@ -1,4 +1,6 @@
 use crate::Db;
+use red_knot_python_semantic::types::Type;
+use red_knot_python_semantic::{HasType, SemanticModel};
 use ruff_db::files::File;
 use ruff_db::parsed::parsed_module;
 use ruff_python_ast::visitor::source_order::{self, SourceOrderVisitor, TraversalSignal};
@@ -6,8 +8,6 @@ use ruff_python_ast::{AnyNodeRef, Expr, Stmt};
 use ruff_text_size::{Ranged, TextRange, TextSize};
 use std::fmt;
 use std::fmt::Formatter;
-use ty_python_semantic::types::Type;
-use ty_python_semantic::{HasType, SemanticModel};

 #[derive(Debug, Clone, Eq, PartialEq)]
 pub struct InlayHint<'db> {
@@ -150,18 +150,18 @@ mod tests {

    use insta::assert_snapshot;
    use ruff_db::{
-        files::{File, system_path_to_file},
+        files::{system_path_to_file, File},
        source::source_text,
    };
    use ruff_text_size::TextSize;

    use crate::db::tests::TestDb;

-    use ruff_db::system::{DbWithWritableSystem, SystemPathBuf};
-    use ty_python_semantic::{
-        Program, ProgramSettings, PythonPath, PythonPlatform, PythonVersionWithSource,
-        SearchPathSettings,
+    use red_knot_python_semantic::{
+        Program, ProgramSettings, PythonPath, PythonPlatform, SearchPathSettings,
    };
+    use ruff_db::system::{DbWithWritableSystem, SystemPathBuf};
+    use ruff_python_ast::PythonVersion;

    pub(super) fn inlay_hint_test(source: &str) -> InlayHintTest {
        const START: &str = "<START>";
@@ -191,7 +191,7 @@ mod tests {
        Program::from_settings(
            &db,
            ProgramSettings {
-                python_version: Some(PythonVersionWithSource::default()),
+                python_version: PythonVersion::latest(),
                python_platform: PythonPlatform::default(),
                search_paths: SearchPathSettings {
                    extra_paths: vec![],
--- a/crates/red_knot_ide/src/lib.rs
+++ b/crates/red_knot_ide/src/lib.rs
@@ -1,4 +1,3 @@
-mod completion;
 mod db;
 mod find_node;
 mod goto;
@@ -6,18 +5,18 @@ mod hover;
 mod inlay_hints;
 mod markup;

-pub use completion::completion;
 pub use db::Db;
 pub use goto::goto_type_definition;
 pub use hover::hover;
 pub use inlay_hints::inlay_hints;
 pub use markup::MarkupKind;

-use ruff_db::files::{File, FileRange};
-use ruff_text_size::{Ranged, TextRange};
 use rustc_hash::FxHashSet;
 use std::ops::{Deref, DerefMut};
-use ty_python_semantic::types::{Type, TypeDefinition};
+
+use red_knot_python_semantic::types::{Type, TypeDefinition};
+use ruff_db::files::{File, FileRange};
+use ruff_text_size::{Ranged, TextRange};

 /// Information associated with a text range.
 #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
@@ -187,10 +186,7 @@ impl HasNavigationTargets for Type<'_> {

 impl HasNavigationTargets for TypeDefinition<'_> {
    fn navigation_targets(&self, db: &dyn Db) -> NavigationTargets {
-        let Some(full_range) = self.full_range(db.upcast()) else {
-            return NavigationTargets::empty();
-        };
-
+        let full_range = self.full_range(db.upcast());
        NavigationTargets::single(NavigationTarget {
            file: full_range.file(),
            focus_range: self.focus_range(db.upcast()).unwrap_or(full_range).range(),
@@ -203,15 +199,14 @@ impl HasNavigationTargets for TypeDefinition<'_> {
 mod tests {
    use crate::db::tests::TestDb;
    use insta::internals::SettingsBindDropGuard;
-    use ruff_db::Upcast;
-    use ruff_db::diagnostic::{Diagnostic, DiagnosticFormat, DisplayDiagnosticConfig};
-    use ruff_db::files::{File, system_path_to_file};
-    use ruff_db::system::{DbWithWritableSystem, SystemPath, SystemPathBuf};
-    use ruff_text_size::TextSize;
-    use ty_python_semantic::{
-        Program, ProgramSettings, PythonPath, PythonPlatform, PythonVersionWithSource,
-        SearchPathSettings,
+    use red_knot_python_semantic::{
+        Program, ProgramSettings, PythonPath, PythonPlatform, SearchPathSettings,
    };
+    use ruff_db::diagnostic::{Diagnostic, DiagnosticFormat, DisplayDiagnosticConfig};
+    use ruff_db::files::{system_path_to_file, File};
+    use ruff_db::system::{DbWithWritableSystem, SystemPath, SystemPathBuf};
+    use ruff_python_ast::PythonVersion;
+    use ruff_text_size::TextSize;

    pub(super) fn cursor_test(source: &str) -> CursorTest {
        let mut db = TestDb::new();
@@ -230,7 +225,7 @@ mod tests {
        Program::from_settings(
            &db,
            ProgramSettings {
-                python_version: Some(PythonVersionWithSource::default()),
+                python_version: PythonVersion::latest(),
                python_platform: PythonPlatform::default(),
                search_paths: SearchPathSettings {
                    extra_paths: vec![],
@@ -288,7 +283,7 @@ mod tests {
                .format(DiagnosticFormat::Full);
            for diagnostic in diagnostics {
                let diag = diagnostic.into_diagnostic();
-                write!(buf, "{}", diag.display(&self.db.upcast(), &config)).unwrap();
+                write!(buf, "{}", diag.display(&self.db, &config)).unwrap();
            }

            buf
--- a/crates/red_knot_ide/src/markup.rs
+++ b/crates/red_knot_ide/src/markup.rs
--- a/crates/red_knot_project/Cargo.toml
+++ b/crates/red_knot_project/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "ty_project"
+name = "red_knot_project"
 version = "0.0.0"
 edition.workspace = true
 rust-version.workspace = true
@@ -15,13 +15,12 @@ license.workspace = true
 ruff_cache = { workspace = true }
 ruff_db = { workspace = true, features = ["cache", "serde"] }
 ruff_macros = { workspace = true }
-ruff_options_metadata = { workspace = true }
 ruff_python_ast = { workspace = true, features = ["serde"] }
 ruff_python_formatter = { workspace = true, optional = true }
 ruff_text_size = { workspace = true }
-ty_ide = { workspace = true }
-ty_python_semantic = { workspace = true, features = ["serde"] }
-ty_vendored = { workspace = true }
+red_knot_ide = { workspace = true }
+red_knot_python_semantic = { workspace = true, features = ["serde"] }
+red_knot_vendored = { workspace = true }

 anyhow = { workspace = true }
 crossbeam = { workspace = true }
@@ -44,9 +43,13 @@ insta = { workspace = true, features = ["redactions", "ron"] }

 [features]
 default = ["zstd"]
-deflate = ["ty_vendored/deflate"]
-schemars = ["dep:schemars", "ruff_db/schemars", "ty_python_semantic/schemars"]
-zstd = ["ty_vendored/zstd"]
+deflate = ["red_knot_vendored/deflate"]
+schemars = [
+    "dep:schemars",
+    "ruff_db/schemars",
+    "red_knot_python_semantic/schemars",
+]
+zstd = ["red_knot_vendored/zstd"]
 format = ["ruff_python_formatter"]

 [lints]
--- a/crates/red_knot_project/resources/test/corpus/00_const.py
+++ b/crates/red_knot_project/resources/test/corpus/00_const.py
--- a/crates/red_knot_project/resources/test/corpus/00_empty.py
+++ b/crates/red_knot_project/resources/test/corpus/00_empty.py
--- a/crates/red_knot_project/resources/test/corpus/00_expr_discard.py
+++ b/crates/red_knot_project/resources/test/corpus/00_expr_discard.py
--- a/crates/red_knot_project/resources/test/corpus/00_expr_var1.py
+++ b/crates/red_knot_project/resources/test/corpus/00_expr_var1.py
--- a/crates/red_knot_project/resources/test/corpus/01_expr_unary.py
+++ b/crates/red_knot_project/resources/test/corpus/01_expr_unary.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_attr.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_attr.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_attr_multiline.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_attr_multiline.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_attr_multiline_assign.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_attr_multiline_assign.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_bin_bool.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_bin_bool.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_binary.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_binary.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_bool_op_multiline.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_bool_op_multiline.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_bool_op_multiline2.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_bool_op_multiline2.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_rel.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_rel.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_rel_multiple.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_rel_multiple.py
--- a/crates/red_knot_project/resources/test/corpus/02_expr_subscr.py
+++ b/crates/red_knot_project/resources/test/corpus/02_expr_subscr.py
--- a/crates/red_knot_project/resources/test/corpus/03_dict.py
+++ b/crates/red_knot_project/resources/test/corpus/03_dict.py
--- a/crates/red_knot_project/resources/test/corpus/03_dict_ex.py
+++ b/crates/red_knot_project/resources/test/corpus/03_dict_ex.py
--- a/crates/red_knot_project/resources/test/corpus/03_dict_literal_large.py
+++ b/crates/red_knot_project/resources/test/corpus/03_dict_literal_large.py
--- a/crates/red_knot_project/resources/test/corpus/03_dict_unpack_huge.py
+++ b/crates/red_knot_project/resources/test/corpus/03_dict_unpack_huge.py
--- a/crates/red_knot_project/resources/test/corpus/03_list.py
+++ b/crates/red_knot_project/resources/test/corpus/03_list.py
--- a/crates/red_knot_project/resources/test/corpus/03_list_ex.py
+++ b/crates/red_knot_project/resources/test/corpus/03_list_ex.py
--- a/crates/red_knot_project/resources/test/corpus/03_list_large.py
+++ b/crates/red_knot_project/resources/test/corpus/03_list_large.py
--- a/crates/red_knot_project/resources/test/corpus/03_set.py
+++ b/crates/red_knot_project/resources/test/corpus/03_set.py
--- a/crates/red_knot_project/resources/test/corpus/03_set_multi.py
+++ b/crates/red_knot_project/resources/test/corpus/03_set_multi.py
--- a/crates/red_knot_project/resources/test/corpus/03_slice.py
+++ b/crates/red_knot_project/resources/test/corpus/03_slice.py
--- a/crates/red_knot_project/resources/test/corpus/03_slice_ext.py
+++ b/crates/red_knot_project/resources/test/corpus/03_slice_ext.py
--- a/crates/red_knot_project/resources/test/corpus/03_tuple.py
+++ b/crates/red_knot_project/resources/test/corpus/03_tuple.py
--- a/crates/red_knot_project/resources/test/corpus/03_tuple_ex.py
+++ b/crates/red_knot_project/resources/test/corpus/03_tuple_ex.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_attr.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_attr.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_attr_func.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_attr_func.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_invalid_target.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_invalid_target.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_named_expr.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_named_expr.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_named_expr_invalid_target.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_named_expr_invalid_target.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_subscr.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_subscr.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_unpack.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_unpack.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_unpack_ex.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_unpack_ex.py
--- a/crates/red_knot_project/resources/test/corpus/04_assign_unpack_tuple.py
+++ b/crates/red_knot_project/resources/test/corpus/04_assign_unpack_tuple.py
--- a/crates/red_knot_project/resources/test/corpus/04_aug_assign.py
+++ b/crates/red_knot_project/resources/test/corpus/04_aug_assign.py
--- a/crates/red_knot_project/resources/test/corpus/04_aug_assign_attr_multiline.py
+++ b/crates/red_knot_project/resources/test/corpus/04_aug_assign_attr_multiline.py
--- a/crates/red_knot_project/resources/test/corpus/04_aug_assign_attr_sub.py
+++ b/crates/red_knot_project/resources/test/corpus/04_aug_assign_attr_sub.py
--- a/crates/red_knot_project/resources/test/corpus/04_aug_assign_invalid_target.py
+++ b/crates/red_knot_project/resources/test/corpus/04_aug_assign_invalid_target.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall_1.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_1.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall_2.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_2.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall_in_multiline_tuple.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_in_multiline_tuple.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall_kw.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_kw.py
--- a/Show More
+++ b/Show More