[red-knot] Avoid including __all__ in the exported names

2025-05-02 14:43:09 -05:00
1774 changed files with 4648 additions and 12588 deletions
--- 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/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"
@@ -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"
--- a/.github/workflows/build-docker.yml
+++ b/.github/workflows/build-docker.yml
@@ -113,7 +113,7 @@ 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-*
@@ -256,7 +256,7 @@ 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-*
--- 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)"
@@ -239,21 +239,21 @@ jobs:
      - name: "Install mold"
        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-nextest
      - name: "Install cargo insta"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # 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"
@@ -278,8 +278,8 @@ jobs:
          path: target/debug/ruff
      - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
        with:
-          name: ty
-          path: target/debug/ty
+          name: red_knot
+          path: target/debug/red_knot

  cargo-test-linux-release:
    name: "cargo test (linux, release)"
@@ -297,11 +297,11 @@ jobs:
      - name: "Install mold"
        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-nextest
      - name: "Install cargo insta"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-insta
      - name: "Run tests"
@@ -324,7 +324,7 @@ jobs:
      - name: "Install Rust toolchain"
        run: rustup show
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-nextest
      - name: "Run tests"
@@ -362,9 +362,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:
@@ -407,11 +407,11 @@ jobs:
      - name: "Install mold"
        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - name: "Install cargo nextest"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-nextest
      - name: "Install cargo insta"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-insta
      - name: "Run tests"
@@ -460,7 +460,7 @@ jobs:
        with:
          persist-credentials: false
      - uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        name: Download Ruff binary to test
        id: download-cached-binary
        with:
@@ -525,11 +525,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:
@@ -636,29 +636,29 @@ jobs:
          name: ecosystem-result
          path: ecosystem-result

-  fuzz-ty:
-    name: "Fuzz for new ty panics"
+  fuzz-redknot:
+    name: "Fuzz for new red-knot 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' }}
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'no-test') && github.event_name == 'pull_request' && needs.determine_changes.outputs.red_knot == '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
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
+        name: Download new red-knot binary
+        id: redknot-new
        with:
-          name: ty
+          name: red_knot
          path: target/debug
      - uses: dawidd6/action-download-artifact@20319c5641d495c8a52e688b7dc5fada6c3a9fbc # v8
-        name: Download baseline ty binary
+        name: Download baseline red-knot binary
        with:
-          name: ty
+          name: red_knot
          branch: ${{ github.event.pull_request.base.ref }}
          workflow: "ci.yaml"
          check_artifacts: true
@@ -666,20 +666,20 @@ jobs:
      - name: Fuzz
        env:
          FORCE_COLOR: 1
-          NEW_TY: ${{ steps.ty-new.outputs.download-path }}
+          NEW_REDKNOT: ${{ steps.redknot-new.outputs.download-path }}
        run: |
          # Make executable, since artifact download doesn't preserve this
-          chmod +x "${PWD}/ty" "${NEW_TY}/ty"
+          chmod +x "${PWD}/red_knot" "${NEW_REDKNOT}/red_knot"

          (
            uvx \
            --python="${PYTHON_VERSION}" \
            --from=./python/py-fuzzer \
            fuzz \
-            --test-executable="${NEW_TY}/ty" \
-            --baseline-executable="${PWD}/ty" \
+            --test-executable="${NEW_REDKNOT}/red_knot" \
+            --baseline-executable="${PWD}/red_knot" \
            --only-new-bugs \
-            --bin=ty \
+            --bin=red_knot \
            0-500
          )

@@ -705,7 +705,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
@@ -759,7 +759,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
@@ -830,12 +830,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:
@@ -908,7 +908,7 @@ jobs:
        run: rustup show

      - name: "Install codspeed"
-        uses: taiki-e/install-action@86c23eed46c17b80677df6d8151545ce3e236c61 # v2
+        uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
        with:
          tool: cargo-codspeed

--- a/.github/workflows/daily_property_tests.yaml
+++ b/.github/workflows/daily_property_tests.yaml
@@ -38,17 +38,17 @@ jobs:
      - name: "Install mold"
        uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
      - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
-      - name: Build ty
+      - 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 ty_python_semantic --tests
+        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 ty_python_semantic -- --ignored list::property_tests
-            cargo test --locked --release --package ty_python_semantic -- --ignored types::property_tests::stable
+            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:
@@ -68,5 +68,5 @@ jobs:
              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", "ty", "testing"],
+              labels: ["bug", "red-knot", "testing"],
            })
--- a/.github/workflows/mypy_primer.yaml
+++ b/.github/workflows/mypy_primer.yaml
@@ -5,7 +5,7 @@ permissions: {}
 on:
  pull_request:
    paths:
-      - "crates/ty*/**"
+      - "crates/red_knot*/**"
      - "crates/ruff_db"
      - "crates/ruff_python_ast"
      - "crates/ruff_python_parser"
@@ -50,7 +50,7 @@ jobs:
        run: |
          cd ruff

-          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"
@@ -65,10 +65,10 @@ 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@4b15cf3b07db69db67bbfaebfffb2a8a28040933" \
+            --from="git+https://github.com/hauntsaninja/mypy_primer@b83b9eade0b7ed2f4b9b129b163acac1ecb48f71" \
            mypy_primer \
            --repo ruff \
-            --type-checker ty \
+            --type-checker knot \
            --old base_commit \
            --new "$GITHUB_SHA" \
            --project-selector "/($PRIMER_SELECTOR)\$" \
--- 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 }}
@@ -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-pypi.yml
+++ b/.github/workflows/publish-pypi.yml
@@ -23,7 +23,7 @@ jobs:
    steps:
      - name: "Install uv"
        uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
-      - uses: actions/download-artifact@d3f86a106a0bac45b974a628896c90dbdf5c8093 # v4.3.0
+      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
        with:
          pattern: wheels-*
          path: wheels
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -69,7 +69,7 @@ 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/cargo-dist-installer.sh | sh"
      - name: Cache dist
        uses: actions/upload-artifact@6027e3dd177782cd8ab9af838c04fd81a07f1d47
        with:
--- 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/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -3,8 +3,8 @@ fail_fast: false
 exclude: |
  (?x)^(
    .github/workflows/release.yml|
-    crates/ty_vendored/vendor/.*|
-    crates/ty_project/resources/.*|
+    crates/red_knot_vendored/vendor/.*|
+    crates/red_knot_project/resources/.*|
    crates/ruff_benchmark/resources/.*|
    crates/ruff_linter/resources/.*|
    crates/ruff_linter/src/rules/.*/snapshots/.*|
@@ -65,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

@@ -79,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.8
+    rev: v0.11.7
    hooks:
      - id: ruff-format
      - id: ruff
--- 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
@@ -366,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:
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -150,9 +150,9 @@ checksum = "7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50"

 [[package]]
 name = "assert_fs"
-version = "1.1.3"
+version = "1.1.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a652f6cb1f516886fcfee5e7a5c078b9ade62cfcb889524efe5a64d682dd27a9"
+checksum = "7efdb1fdb47602827a342857666feb372712cbc64b414172bd6b167a02927674"
 dependencies = [
 "anstyle",
 "doc-comment",
@@ -478,7 +478,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "117725a109d387c937a1533ce01b450cbde6b88abceea8473c4d7a85853cda3c"
 dependencies = [
 "lazy_static",
- "windows-sys 0.48.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -487,7 +487,7 @@ version = "3.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fde0e0ec90c9dfb3b4b1a0891a7dcd0e2bffde2f7efed5fe7c9bb00e5bfb915e"
 dependencies = [
- "windows-sys 0.48.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -904,7 +904,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "33d852cb9b869c2a9b3df2f71a3074817f01e1844f839a144f5fcef059a4eb5d"
 dependencies = [
 "libc",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -1117,9 +1117,9 @@ checksum = "e5274423e17b7c9fc20b6e7e208532f9b19825d82dfd615708b70edd83df41f1"

 [[package]]
 name = "hashbrown"
-version = "0.15.3"
+version = "0.15.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "84b26c544d002229e640969970a2e74021aadf6e2f96372b9c58eff97de08eb3"
+checksum = "bf151400ff0baff5465007dd2f3e717f3fe502074ca563069ce3a6629d07b289"
 dependencies = [
 "allocator-api2",
 "equivalent",
@@ -1132,7 +1132,7 @@ version = "0.10.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7382cf6263419f2d8df38c55d7da83da5c18aef87fc7a7fc1fb1e344edfe14c1"
 dependencies = [
- "hashbrown 0.15.3",
+ "hashbrown 0.15.2",
 ]

 [[package]]
@@ -1361,7 +1361,7 @@ version = "0.1.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "17d34b7d42178945f775e84bc4c36dde7c1c6cdfea656d3354d009056f2bb3d2"
 dependencies = [
- "hashbrown 0.15.3",
+ "hashbrown 0.15.2",
 ]

 [[package]]
@@ -1381,7 +1381,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cea70ddb795996207ad57735b50c5982d8844f38ba9ee5f1aedcfb708a2aa11e"
 dependencies = [
 "equivalent",
- "hashbrown 0.15.3",
+ "hashbrown 0.15.2",
 "serde",
 ]

@@ -1485,7 +1485,7 @@ checksum = "e04d7f318608d35d4b61ddd75cbdaee86b023ebe2bd5a66ee0915f0bf93095a9"
 dependencies = [
 "hermit-abi 0.5.0",
 "libc",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -1539,9 +1539,9 @@ checksum = "4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c"

 [[package]]
 name = "jiff"
-version = "0.2.12"
+version = "0.2.10"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d07d8d955d798e7a4d6f9c58cd1f1916e790b42b092758a9ef6e16fef9f1b3fd"
+checksum = "5a064218214dc6a10fbae5ec5fa888d80c45d611aba169222fc272072bf7aef6"
 dependencies = [
 "jiff-static",
 "jiff-tzdb-platform",
@@ -1549,14 +1549,14 @@ dependencies = [
 "portable-atomic",
 "portable-atomic-util",
 "serde",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
 name = "jiff-static"
-version = "0.2.12"
+version = "0.2.10"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f244cfe006d98d26f859c7abd1318d85327e1882dc9cef80f62daeeb0adcf300"
+checksum = "199b7932d97e325aff3a7030e141eafe7f2c6268e1d1b24859b753a627f45254"
 dependencies = [
 "proc-macro2",
 "quote",
@@ -2472,6 +2472,215 @@ dependencies = [
 "crossbeam-utils",
 ]

+[[package]]
+name = "red_knot"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "argfile",
+ "clap",
+ "colored 3.0.0",
+ "countme",
+ "crossbeam",
+ "ctrlc",
+ "filetime",
+ "insta",
+ "insta-cmd",
+ "jiff",
+ "rayon",
+ "red_knot_project",
+ "red_knot_python_semantic",
+ "red_knot_server",
+ "regex",
+ "ruff_db",
+ "ruff_python_ast",
+ "ruff_python_trivia",
+ "salsa",
+ "tempfile",
+ "toml",
+ "tracing",
+ "tracing-flame",
+ "tracing-subscriber",
+ "tracing-tree",
+ "wild",
+]
+
+[[package]]
+name = "red_knot_ide"
+version = "0.0.0"
+dependencies = [
+ "insta",
+ "red_knot_python_semantic",
+ "red_knot_vendored",
+ "ruff_db",
+ "ruff_python_ast",
+ "ruff_python_parser",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "smallvec",
+ "tracing",
+]
+
+[[package]]
+name = "red_knot_project"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "crossbeam",
+ "glob",
+ "insta",
+ "notify",
+ "pep440_rs",
+ "rayon",
+ "red_knot_ide",
+ "red_knot_python_semantic",
+ "red_knot_vendored",
+ "ruff_cache",
+ "ruff_db",
+ "ruff_macros",
+ "ruff_python_ast",
+ "ruff_python_formatter",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "schemars",
+ "serde",
+ "thiserror 2.0.12",
+ "toml",
+ "tracing",
+]
+
+[[package]]
+name = "red_knot_python_semantic"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "bitflags 2.9.0",
+ "camino",
+ "compact_str",
+ "countme",
+ "dir-test",
+ "drop_bomb",
+ "hashbrown 0.15.2",
+ "indexmap",
+ "insta",
+ "itertools 0.14.0",
+ "memchr",
+ "ordermap",
+ "quickcheck",
+ "quickcheck_macros",
+ "red_knot_test",
+ "red_knot_vendored",
+ "ruff_db",
+ "ruff_index",
+ "ruff_macros",
+ "ruff_python_ast",
+ "ruff_python_literal",
+ "ruff_python_parser",
+ "ruff_python_stdlib",
+ "ruff_python_trivia",
+ "ruff_source_file",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "schemars",
+ "serde",
+ "smallvec",
+ "static_assertions",
+ "strum",
+ "strum_macros",
+ "tempfile",
+ "test-case",
+ "thiserror 2.0.12",
+ "tracing",
+]
+
+[[package]]
+name = "red_knot_server"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "crossbeam",
+ "jod-thread",
+ "libc",
+ "lsp-server",
+ "lsp-types",
+ "red_knot_ide",
+ "red_knot_project",
+ "red_knot_python_semantic",
+ "ruff_db",
+ "ruff_notebook",
+ "ruff_source_file",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "serde",
+ "serde_json",
+ "shellexpand",
+ "tracing",
+ "tracing-subscriber",
+]
+
+[[package]]
+name = "red_knot_test"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "camino",
+ "colored 3.0.0",
+ "insta",
+ "memchr",
+ "red_knot_python_semantic",
+ "red_knot_vendored",
+ "regex",
+ "ruff_db",
+ "ruff_index",
+ "ruff_notebook",
+ "ruff_python_ast",
+ "ruff_python_trivia",
+ "ruff_source_file",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "serde",
+ "smallvec",
+ "tempfile",
+ "thiserror 2.0.12",
+ "toml",
+]
+
+[[package]]
+name = "red_knot_vendored"
+version = "0.0.0"
+dependencies = [
+ "path-slash",
+ "ruff_db",
+ "walkdir",
+ "zip",
+]
+
+[[package]]
+name = "red_knot_wasm"
+version = "0.0.0"
+dependencies = [
+ "console_error_panic_hook",
+ "console_log",
+ "getrandom 0.3.2",
+ "js-sys",
+ "log",
+ "red_knot_ide",
+ "red_knot_project",
+ "red_knot_python_semantic",
+ "ruff_db",
+ "ruff_notebook",
+ "ruff_python_formatter",
+ "ruff_source_file",
+ "ruff_text_size",
+ "serde-wasm-bindgen",
+ "wasm-bindgen",
+ "wasm-bindgen-test",
+]
+
 [[package]]
 name = "redox_syscall"
 version = "0.5.10"
@@ -2628,6 +2837,7 @@ dependencies = [
 "criterion",
 "mimalloc",
 "rayon",
+ "red_knot_project",
 "ruff_db",
 "ruff_linter",
 "ruff_python_ast",
@@ -2636,7 +2846,6 @@ dependencies = [
 "ruff_python_trivia",
 "rustc-hash 2.1.1",
 "tikv-jemallocator",
- "ty_project",
 ]

 [[package]]
@@ -2703,6 +2912,7 @@ dependencies = [
 "libcst",
 "pretty_assertions",
 "rayon",
+ "red_knot_project",
 "regex",
 "ruff",
 "ruff_diagnostics",
@@ -2725,7 +2935,6 @@ dependencies = [
 "tracing",
 "tracing-indicatif",
 "tracing-subscriber",
- "ty_project",
 ]

 [[package]]
@@ -2761,6 +2970,7 @@ version = "0.1.0"
 dependencies = [
 "anyhow",
 "clap",
+ "red_knot_python_semantic",
 "ruff_cache",
 "ruff_db",
 "ruff_linter",
@@ -2770,7 +2980,6 @@ dependencies = [
 "salsa",
 "schemars",
 "serde",
- "ty_python_semantic",
 "zip",
 ]

@@ -2834,7 +3043,6 @@ dependencies = [
 "smallvec",
 "strum",
 "strum_macros",
- "tempfile",
 "test-case",
 "thiserror 2.0.12",
 "toml",
@@ -3206,7 +3414,7 @@ dependencies = [
 "errno",
 "libc",
 "linux-raw-sys 0.4.15",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -3219,7 +3427,7 @@ dependencies = [
 "errno",
 "libc",
 "linux-raw-sys 0.9.3",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -3236,14 +3444,14 @@ checksum = "28d3b2b1366ec20994f1fd18c3c594f05c5dd4bc44d8bb0c1c632c8d6829481f"

 [[package]]
 name = "salsa"
-version = "0.21.1"
-source = "git+https://github.com/salsa-rs/salsa.git?rev=ef93d3830ffb8dc621fef1ba7b234ccef9dc3639#ef93d3830ffb8dc621fef1ba7b234ccef9dc3639"
+version = "0.21.0"
+source = "git+https://github.com/salsa-rs/salsa.git?rev=42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7#42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7"
 dependencies = [
 "boxcar",
 "compact_str",
 "crossbeam-queue",
 "dashmap 6.1.0",
- "hashbrown 0.15.3",
+ "hashbrown 0.15.2",
 "hashlink",
 "indexmap",
 "parking_lot",
@@ -3259,13 +3467,13 @@ dependencies = [

 [[package]]
 name = "salsa-macro-rules"
-version = "0.21.1"
-source = "git+https://github.com/salsa-rs/salsa.git?rev=ef93d3830ffb8dc621fef1ba7b234ccef9dc3639#ef93d3830ffb8dc621fef1ba7b234ccef9dc3639"
+version = "0.21.0"
+source = "git+https://github.com/salsa-rs/salsa.git?rev=42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7#42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7"

 [[package]]
 name = "salsa-macros"
-version = "0.21.1"
-source = "git+https://github.com/salsa-rs/salsa.git?rev=ef93d3830ffb8dc621fef1ba7b234ccef9dc3639#ef93d3830ffb8dc621fef1ba7b234ccef9dc3639"
+version = "0.21.0"
+source = "git+https://github.com/salsa-rs/salsa.git?rev=42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7#42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7"
 dependencies = [
 "heck",
 "proc-macro2",
@@ -3605,7 +3813,7 @@ dependencies = [
 "getrandom 0.3.2",
 "once_cell",
 "rustix 1.0.2",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -3800,9 +4008,9 @@ checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"

 [[package]]
 name = "toml"
-version = "0.8.22"
+version = "0.8.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "05ae329d1f08c4d17a59bed7ff5b5a769d062e64a62d34a3261b219e62cd5aae"
+checksum = "cd87a5cdd6ffab733b2f74bc4fd7ee5fff6634124999ac278c35fc78c6120148"
 dependencies = [
 "serde",
 "serde_spanned",
@@ -3812,33 +4020,26 @@ dependencies = [

 [[package]]
 name = "toml_datetime"
-version = "0.6.9"
+version = "0.6.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3da5db5a963e24bc68be8b17b6fa82814bb22ee8660f192bb182771d498f09a3"
+checksum = "0dd7358ecb8fc2f8d014bf86f6f638ce72ba252a2c3a2572f2a795f1d23efb41"
 dependencies = [
 "serde",
 ]

 [[package]]
 name = "toml_edit"
-version = "0.22.26"
+version = "0.22.24"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "310068873db2c5b3e7659d2cc35d21855dbafa50d1ce336397c666e3cb08137e"
+checksum = "17b4795ff5edd201c7cd6dca065ae59972ce77d1b80fa0a84d94950ece7d1474"
 dependencies = [
 "indexmap",
 "serde",
 "serde_spanned",
 "toml_datetime",
- "toml_write",
 "winnow",
 ]

-[[package]]
-name = "toml_write"
-version = "0.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bfb942dfe1d8e29a7ee7fcbde5bd2b9a25fb89aa70caea2eba3bee836ff41076"
-
 [[package]]
 name = "tracing"
 version = "0.1.41"
@@ -3948,217 +4149,6 @@ dependencies = [
 "snapbox",
 ]

-[[package]]
-name = "ty"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "argfile",
- "clap",
- "clap_complete_command",
- "colored 3.0.0",
- "countme",
- "crossbeam",
- "ctrlc",
- "filetime",
- "insta",
- "insta-cmd",
- "jiff",
- "rayon",
- "regex",
- "ruff_db",
- "ruff_python_ast",
- "ruff_python_trivia",
- "salsa",
- "tempfile",
- "toml",
- "tracing",
- "tracing-flame",
- "tracing-subscriber",
- "tracing-tree",
- "ty_project",
- "ty_python_semantic",
- "ty_server",
- "wild",
-]
-
-[[package]]
-name = "ty_ide"
-version = "0.0.0"
-dependencies = [
- "insta",
- "ruff_db",
- "ruff_python_ast",
- "ruff_python_parser",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "smallvec",
- "tracing",
- "ty_python_semantic",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_project"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "crossbeam",
- "glob",
- "insta",
- "notify",
- "pep440_rs",
- "rayon",
- "ruff_cache",
- "ruff_db",
- "ruff_macros",
- "ruff_python_ast",
- "ruff_python_formatter",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "schemars",
- "serde",
- "thiserror 2.0.12",
- "toml",
- "tracing",
- "ty_ide",
- "ty_python_semantic",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_python_semantic"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "bitflags 2.9.0",
- "camino",
- "compact_str",
- "countme",
- "dir-test",
- "drop_bomb",
- "hashbrown 0.15.3",
- "indexmap",
- "insta",
- "itertools 0.14.0",
- "memchr",
- "ordermap",
- "quickcheck",
- "quickcheck_macros",
- "ruff_db",
- "ruff_index",
- "ruff_macros",
- "ruff_python_ast",
- "ruff_python_literal",
- "ruff_python_parser",
- "ruff_python_stdlib",
- "ruff_python_trivia",
- "ruff_source_file",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "schemars",
- "serde",
- "smallvec",
- "static_assertions",
- "strum",
- "strum_macros",
- "tempfile",
- "test-case",
- "thiserror 2.0.12",
- "tracing",
- "ty_test",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_server"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "crossbeam",
- "jod-thread",
- "libc",
- "lsp-server",
- "lsp-types",
- "ruff_db",
- "ruff_notebook",
- "ruff_source_file",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "serde",
- "serde_json",
- "shellexpand",
- "tracing",
- "tracing-subscriber",
- "ty_ide",
- "ty_project",
- "ty_python_semantic",
-]
-
-[[package]]
-name = "ty_test"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "camino",
- "colored 3.0.0",
- "insta",
- "memchr",
- "regex",
- "ruff_db",
- "ruff_index",
- "ruff_notebook",
- "ruff_python_ast",
- "ruff_python_trivia",
- "ruff_source_file",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "serde",
- "smallvec",
- "tempfile",
- "thiserror 2.0.12",
- "toml",
- "tracing",
- "ty_python_semantic",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_vendored"
-version = "0.0.0"
-dependencies = [
- "path-slash",
- "ruff_db",
- "walkdir",
- "zip",
-]
-
-[[package]]
-name = "ty_wasm"
-version = "0.0.0"
-dependencies = [
- "console_error_panic_hook",
- "console_log",
- "getrandom 0.3.2",
- "js-sys",
- "log",
- "ruff_db",
- "ruff_notebook",
- "ruff_python_formatter",
- "ruff_source_file",
- "ruff_text_size",
- "serde-wasm-bindgen",
- "ty_ide",
- "ty_project",
- "ty_python_semantic",
- "wasm-bindgen",
- "wasm-bindgen-test",
-]
-
 [[package]]
 name = "typed-arena"
 version = "2.0.2"
@@ -4595,7 +4585,7 @@ version = "0.1.9"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cf221c93e13a30d793f7645a0e7762c55d169dbb0a49671918a2319d289b10bb"
 dependencies = [
- "windows-sys 0.48.0",
+ "windows-sys 0.52.0",
 ]

 [[package]]
@@ -4833,9 +4823,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"

 [[package]]
 name = "winnow"
-version = "0.7.9"
+version = "0.7.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d9fb597c990f03753e08d3c29efbfcf2019a003b4bf4ba19225c158e1549f0f3"
+checksum = "0e97b544156e9bebe1a0ffbc03484fc1ffe3100cbce3ffb17eac35f7cdd7ab36"
 dependencies = [
 "memchr",
 ]
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -35,14 +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_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" }
@@ -124,7 +124,7 @@ rayon = { version = "1.10.0" }
 regex = { version = "1.10.2" }
 rustc-hash = { version = "2.0.0" }
 # When updating salsa, make sure to also update the revision in `fuzz/Cargo.toml`
-salsa = { git = "https://github.com/salsa-rs/salsa.git", rev = "ef93d3830ffb8dc621fef1ba7b234ccef9dc3639" }
+salsa = { git = "https://github.com/salsa-rs/salsa.git", rev = "42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7" }
 schemars = { version = "0.8.16" }
 seahash = { version = "4.1.0" }
 serde = { version = "1.0.197", features = ["derive"] }
@@ -268,3 +268,75 @@ 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"
+# Make distability of apps opt-in instead of opt-out
+dist = false
+# 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 = "plan"
+# 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" = "85e6279cec87321a52edac9c87bce653a07cf6c2" # v4
+"actions/upload-artifact" = "6027e3dd177782cd8ab9af838c04fd81a07f1d47" # v4.6.2
+"actions/download-artifact" = "d3f86a106a0bac45b974a628896c90dbdf5c8093" # v4.3.0
+"actions/attest-build-provenance" = "c074443f1aee8d4aeeae555aebba3282517141b2" #v2.2.3
--- a/_typos.toml
+++ b/_typos.toml
@@ -1,7 +1,7 @@
 [files]
 # https://github.com/crate-ci/typos/issues/868
 extend-exclude = [
-    "crates/ty_vendored/vendor/**/*",
+    "crates/red_knot_vendored/vendor/**/*",
    "**/resources/**/*",
    "**/snapshots/**/*",
 ]
--- a/crates/red_knot/Cargo.toml
+++ b/crates/red_knot/Cargo.toml
@@ -1,28 +1,26 @@
 [package]
-name = "ty"
+name = "red_knot"
 version = "0.0.0"
 edition.workspace = true
 rust-version.workspace = true
 homepage.workspace = true
 documentation.workspace = true
-# Releases occur in this other repository!
-repository = "https://github.com/astral-sh/ty/"
+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"] }
-clap_complete_command = { workspace = true }
+clap = { workspace = true, features = ["wrap_help"] }
 colored = { workspace = true }
 countme = { workspace = true, features = ["enable"] }
 crossbeam = { 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
@@ -8,43 +8,16 @@ fn main() {
    // The workspace root directory is not available without walking up the tree
    // https://github.com/rust-lang/cargo/issues/3946
    let workspace_root = Path::new(&std::env::var("CARGO_MANIFEST_DIR").unwrap())
-        .join("..")
        .join("..")
        .join("..");

-    version_info(&workspace_root);
    commit_info(&workspace_root);

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

-/// Retrieve the version from the `dist-workspace.toml` file and set `TY_VERSION`.
-fn version_info(workspace_root: &Path) {
-    let dist_file = workspace_root.join("dist-workspace.toml");
-    if !dist_file.exists() {
-        return;
-    }
-
-    println!("cargo:rerun-if-changed={}", dist_file.display());
-
-    let dist_file = fs::read_to_string(dist_file);
-    if let Ok(dist_file) = dist_file {
-        let lines = dist_file.lines();
-        for line in lines {
-            if line.starts_with("version =") {
-                let (_key, version) = line.split_once('=').unwrap();
-                println!(
-                    "cargo::rustc-env=TY_VERSION={}",
-                    version.trim().trim_matches('"')
-                );
-                break;
-            }
-        }
-    }
-}
-
-/// 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");
@@ -76,8 +49,7 @@ 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,
@@ -87,20 +59,18 @@ fn commit_info(workspace_root: &Path) {
    let mut parts = stdout.split_whitespace();
    let mut next = || parts.next().unwrap();
    let _commit_hash = next();
-    println!("cargo::rustc-env=TY_COMMIT_SHORT_HASH={}", next());
-    println!("cargo::rustc-env=TY_COMMIT_DATE={}", 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();
-
-        println!("cargo::rustc-env=TY_LAST_TAG={last_tag}");
+        let _last_tag = describe_parts.next().unwrap();

        // If this is the tagged commit, this component will be missing
        println!(
-            "cargo::rustc-env=TY_LAST_TAG_DISTANCE={}",
+            "cargo::rustc-env=RED_KNOT_LAST_TAG_DISTANCE={}",
            describe_parts.next().unwrap_or("0")
        );
    }
--- a/crates/red_knot/docs/mypy_primer.md
+++ b/crates/red_knot/docs/mypy_primer.md
@@ -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 …
--- 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,14 +1,18 @@
 use crate::logging::Verbosity;
 use crate::python_version::PythonVersion;
 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::metadata::options::{EnvironmentOptions, Options, TerminalOptions};
-use ty_project::metadata::value::{RangedValue, RelativePathBuf};
-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())]
+#[command(
+    author,
+    name = "red-knot",
+    about = "An extremely fast Python type checker."
+)]
+#[command(version)]
 pub(crate) struct Args {
    #[command(subcommand)]
    pub(crate) command: Command,
@@ -22,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)]
@@ -48,11 +48,11 @@ pub(crate) struct CheckCommand {
    #[arg(long, value_name = "PROJECT")]
    pub(crate) project: Option<SystemPathBuf>,

-    /// Path to the Python installation from which ty resolves type information and third-party dependencies.
+    /// Path to the Python installation from which Red Knot resolves type information and third-party dependencies.
    ///
-    /// If not specified, ty will look at the `VIRTUAL_ENV` environment variable.
+    /// If not specified, Red Knot will look at the `VIRTUAL_ENV` environment variable.
    ///
-    /// ty will search in the path's `site-packages` directories for type information and
+    /// Red Knot will search in the path's `site-packages` directories for type information and
    /// third-party imports.
    ///
    /// This option is commonly used to specify the path to a virtual environment.
--- a/crates/red_knot/src/logging.rs
+++ b/crates/red_knot/src/logging.rs
@@ -1,4 +1,4 @@
-//! Sets up logging for ty
+//! Sets up logging for Red Knot

 use anyhow::Context;
 use colored::Colorize;
@@ -42,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,

@@ -79,11 +79,11 @@ impl VerbosityLevel {
 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 => {
@@ -93,9 +93,9 @@ pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuar
            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"),
                );
@@ -131,7 +131,7 @@ pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuar
    } 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,
@@ -147,7 +147,7 @@ pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuar
    })
 }

-#[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>>>,
@@ -155,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))
@@ -168,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
@@ -7,37 +7,34 @@ use std::sync::Mutex;
 use crate::args::{Args, CheckCommand, Command, TerminalColor};
 use crate::logging::setup_tracing;
 use anyhow::{anyhow, Context};
-use clap::{CommandFactory, Parser};
+use clap::Parser;
 use colored::Colorize;
 use crossbeam::channel as crossbeam_channel;
-use rayon::ThreadPoolBuilder;
+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::Options;
-use ty_project::watch::ProjectWatcher;
-use ty_project::{watch, Db};
-use ty_project::{ProjectDatabase, ProjectMetadata};
-use ty_server::run_server;

 mod args;
 mod logging;
 mod python_version;
 mod version;

+#[allow(clippy::print_stdout, clippy::unnecessary_wraps, clippy::print_stderr)]
 pub fn main() -> ExitStatus {
-    setup_rayon();
-
    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 ty itself hard-errored for
+        // 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, "{}", "ty failed".red().bold()).ok();
+        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")
@@ -68,17 +65,13 @@ fn run() -> anyhow::Result<ExitStatus> {
        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 Args::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(())
 }

@@ -97,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()
                )
            })?
@@ -179,7 +172,7 @@ pub enum ExitStatus {
    /// Checking failed due to an invocation error (e.g. the current directory no longer exists, incorrect CLI arguments, ...)
    Error = 2,

-    /// Internal ty error (panic, or any other error that isn't due to the user using the
+    /// Internal Red Knot error (panic, or any other error that isn't due to the user using the
    /// program incorrectly or transient environment errors).
    InternalError = 101,
 }
@@ -310,10 +303,6 @@ 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,
@@ -404,17 +393,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
@@ -1,7 +1,6 @@
 use anyhow::Context;
 use insta::internals::SettingsBindDropGuard;
 use insta_cmd::{assert_cmd_snapshot, get_cargo_bin};
-use std::fmt::Write;
 use std::path::{Path, PathBuf};
 use std::process::Command;
 use tempfile::TempDir;
@@ -80,7 +79,7 @@ fn test_respect_ignore_files() -> anyhow::Result<()> {
    ");

    // Test that we can set to false via config file
-    case.write_file("ty.toml", "respect-ignore-files = false")?;
+    case.write_file("knot.toml", "respect-ignore-files = false")?;
    assert_cmd_snapshot!(case.command(), @r"
    success: false
    exit_code: 1
@@ -98,7 +97,7 @@ fn test_respect_ignore_files() -> anyhow::Result<()> {
    ");

    // Ensure CLI takes precedence
-    case.write_file("ty.toml", "respect-ignore-files = true")?;
+    case.write_file("knot.toml", "respect-ignore-files = true")?;
    assert_cmd_snapshot!(case.command().arg("--no-respect-ignore-files"), @r"
    success: false
    exit_code: 1
@@ -124,7 +123,7 @@ fn config_override_python_version() -> anyhow::Result<()> {
        (
            "pyproject.toml",
            r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
            python-version = "3.11"
            "#,
        ),
@@ -150,7 +149,6 @@ fn config_override_python_version() -> anyhow::Result<()> {
    5 | print(sys.last_exc)
      |       ^^^^^^^^^^^^
      |
-    info: `lint:unresolved-attribute` is enabled by default

    Found 1 diagnostic

@@ -176,7 +174,7 @@ fn config_override_python_platform() -> anyhow::Result<()> {
        (
            "pyproject.toml",
            r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
            python-platform = "linux"
            "#,
        ),
@@ -251,7 +249,7 @@ fn cli_arguments_are_relative_to_the_current_directory() -> anyhow::Result<()> {
        (
            "pyproject.toml",
            r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
            python-version = "3.11"
            "#,
        ),
@@ -277,7 +275,7 @@ fn cli_arguments_are_relative_to_the_current_directory() -> anyhow::Result<()> {
    success: false
    exit_code: 1
    ----- stdout -----
-    error: lint:unresolved-import: Cannot resolve imported module `utils`
+    error: lint:unresolved-import: Cannot resolve import `utils`
     --> test.py:2:6
      |
    2 | from utils import add
@@ -285,7 +283,6 @@ fn cli_arguments_are_relative_to_the_current_directory() -> anyhow::Result<()> {
    3 |
    4 | stat = add(10, 15)
      |
-    info: `lint:unresolved-import` is enabled by default

    Found 1 diagnostic

@@ -323,7 +320,7 @@ fn paths_in_configuration_files_are_relative_to_the_project_root() -> anyhow::Re
        (
            "pyproject.toml",
            r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
            python-version = "3.11"
            extra-paths = ["libs"]
            "#,
@@ -386,7 +383,6 @@ fn configuration_rule_severity() -> anyhow::Result<()> {
    3 |
    4 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` is enabled by default

    warning: lint:possibly-unresolved-reference: Name `x` used when possibly not defined
     --> test.py:7:7
@@ -396,7 +392,6 @@ fn configuration_rule_severity() -> anyhow::Result<()> {
    7 | print(x)  # possibly-unresolved-reference
      |       ^
      |
-    info: `lint:possibly-unresolved-reference` is enabled by default

    Found 2 diagnostics

@@ -406,7 +401,7 @@ fn configuration_rule_severity() -> anyhow::Result<()> {
    case.write_file(
        "pyproject.toml",
        r#"
-        [tool.ty.rules]
+        [tool.knot.rules]
        division-by-zero = "warn" # demote to warn
        possibly-unresolved-reference = "ignore"
    "#,
@@ -424,7 +419,6 @@ fn configuration_rule_severity() -> anyhow::Result<()> {
    3 |
    4 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` was selected in the configuration file

    Found 1 diagnostic

@@ -457,7 +451,7 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    success: false
    exit_code: 1
    ----- stdout -----
-    error: lint:unresolved-import: Cannot resolve imported module `does_not_exit`
+    error: lint:unresolved-import: Cannot resolve import `does_not_exit`
     --> test.py:2:8
      |
    2 | import does_not_exit
@@ -465,7 +459,6 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    3 |
    4 | y = 4 / 0
      |
-    info: `lint:unresolved-import` is enabled by default

    error: lint:division-by-zero: Cannot divide object of type `Literal[4]` by zero
     --> test.py:4:5
@@ -477,7 +470,6 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    5 |
    6 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` is enabled by default

    warning: lint:possibly-unresolved-reference: Name `x` used when possibly not defined
     --> test.py:9:7
@@ -487,7 +479,6 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    9 | print(x)  # possibly-unresolved-reference
      |       ^
      |
-    info: `lint:possibly-unresolved-reference` is enabled by default

    Found 3 diagnostics

@@ -507,7 +498,7 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    success: true
    exit_code: 0
    ----- stdout -----
-    warning: lint:unresolved-import: Cannot resolve imported module `does_not_exit`
+    warning: lint:unresolved-import: Cannot resolve import `does_not_exit`
     --> test.py:2:8
      |
    2 | import does_not_exit
@@ -515,7 +506,6 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    3 |
    4 | y = 4 / 0
      |
-    info: `lint:unresolved-import` was selected on the command line

    warning: lint:division-by-zero: Cannot divide object of type `Literal[4]` by zero
     --> test.py:4:5
@@ -527,7 +517,6 @@ fn cli_rule_severity() -> anyhow::Result<()> {
    5 |
    6 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` was selected on the command line

    Found 2 diagnostics

@@ -568,7 +557,6 @@ fn cli_rule_severity_precedence() -> anyhow::Result<()> {
    3 |
    4 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` is enabled by default

    warning: lint:possibly-unresolved-reference: Name `x` used when possibly not defined
     --> test.py:7:7
@@ -578,7 +566,6 @@ fn cli_rule_severity_precedence() -> anyhow::Result<()> {
    7 | print(x)  # possibly-unresolved-reference
      |       ^
      |
-    info: `lint:possibly-unresolved-reference` is enabled by default

    Found 2 diagnostics

@@ -607,7 +594,6 @@ fn cli_rule_severity_precedence() -> anyhow::Result<()> {
    3 |
    4 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` was selected on the command line

    Found 1 diagnostic

@@ -618,14 +604,14 @@ fn cli_rule_severity_precedence() -> anyhow::Result<()> {
    Ok(())
 }

-/// ty warns about unknown rules specified in a configuration file
+/// Red Knot warns about unknown rules specified in a configuration file
 #[test]
 fn configuration_unknown_rules() -> anyhow::Result<()> {
    let case = TestCase::with_files([
        (
            "pyproject.toml",
            r#"
-            [tool.ty.rules]
+            [tool.knot.rules]
            division-by-zer = "warn" # incorrect rule name
            "#,
        ),
@@ -639,7 +625,7 @@ fn configuration_unknown_rules() -> anyhow::Result<()> {
    warning: unknown-rule
     --> pyproject.toml:3:1
      |
-    2 | [tool.ty.rules]
+    2 | [tool.knot.rules]
    3 | division-by-zer = "warn" # incorrect rule name
      | ^^^^^^^^^^^^^^^ Unknown lint rule `division-by-zer`
      |
@@ -652,7 +638,7 @@ fn configuration_unknown_rules() -> anyhow::Result<()> {
    Ok(())
 }

-/// ty warns about unknown rules specified in a CLI argument
+/// Red Knot warns about unknown rules specified in a CLI argument
 #[test]
 fn cli_unknown_rules() -> anyhow::Result<()> {
    let case = TestCase::with_file("test.py", "print(10)")?;
@@ -685,7 +671,6 @@ fn exit_code_only_warnings() -> anyhow::Result<()> {
    1 | print(x)  # [unresolved-reference]
      |       ^
      |
-    info: `lint:unresolved-reference` is enabled by default

    Found 1 diagnostic

@@ -769,7 +754,6 @@ fn exit_code_no_errors_but_error_on_warning_is_true() -> anyhow::Result<()> {
    1 | print(x)  # [unresolved-reference]
      |       ^
      |
-    info: `lint:unresolved-reference` is enabled by default

    Found 1 diagnostic

@@ -784,7 +768,7 @@ fn exit_code_no_errors_but_error_on_warning_is_enabled_in_configuration() -> any
    let case = TestCase::with_files([
        ("test.py", r"print(x)  # [unresolved-reference]"),
        (
-            "ty.toml",
+            "knot.toml",
            r#"
            [terminal]
            error-on-warning = true
@@ -802,7 +786,6 @@ fn exit_code_no_errors_but_error_on_warning_is_enabled_in_configuration() -> any
    1 | print(x)  # [unresolved-reference]
      |       ^
      |
-    info: `lint:unresolved-reference` is enabled by default

    Found 1 diagnostic

@@ -833,7 +816,6 @@ fn exit_code_both_warnings_and_errors() -> anyhow::Result<()> {
      |       ^
    3 | print(4[1])  # [non-subscriptable]
      |
-    info: `lint:unresolved-reference` is enabled by default

    error: lint:non-subscriptable: Cannot subscript object of type `Literal[4]` with no `__getitem__` method
     --> test.py:3:7
@@ -842,7 +824,6 @@ fn exit_code_both_warnings_and_errors() -> anyhow::Result<()> {
    3 | print(4[1])  # [non-subscriptable]
      |       ^
      |
-    info: `lint:non-subscriptable` is enabled by default

    Found 2 diagnostics

@@ -873,7 +854,6 @@ fn exit_code_both_warnings_and_errors_and_error_on_warning_is_true() -> anyhow::
      |       ^
    3 | print(4[1])  # [non-subscriptable]
      |
-    info: `lint:unresolved-reference` is enabled by default

    error: lint:non-subscriptable: Cannot subscript object of type `Literal[4]` with no `__getitem__` method
     --> test.py:3:7
@@ -882,7 +862,6 @@ fn exit_code_both_warnings_and_errors_and_error_on_warning_is_true() -> anyhow::
    3 | print(4[1])  # [non-subscriptable]
      |       ^
      |
-    info: `lint:non-subscriptable` is enabled by default

    Found 2 diagnostics

@@ -913,7 +892,6 @@ fn exit_code_exit_zero_is_true() -> anyhow::Result<()> {
      |       ^
    3 | print(4[1])  # [non-subscriptable]
      |
-    info: `lint:unresolved-reference` is enabled by default

    error: lint:non-subscriptable: Cannot subscript object of type `Literal[4]` with no `__getitem__` method
     --> test.py:3:7
@@ -922,7 +900,6 @@ fn exit_code_exit_zero_is_true() -> anyhow::Result<()> {
    3 | print(4[1])  # [non-subscriptable]
      |       ^
      |
-    info: `lint:non-subscriptable` is enabled by default

    Found 2 diagnostics

@@ -936,7 +913,7 @@ fn exit_code_exit_zero_is_true() -> anyhow::Result<()> {
 fn user_configuration() -> anyhow::Result<()> {
    let case = TestCase::with_files([
        (
-            "project/ty.toml",
+            "project/knot.toml",
            r#"
            [rules]
            division-by-zero = "warn"
@@ -976,7 +953,6 @@ fn user_configuration() -> anyhow::Result<()> {
    3 |
    4 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` was selected in the configuration file

    warning: lint:possibly-unresolved-reference: Name `x` used when possibly not defined
     --> main.py:7:7
@@ -986,7 +962,6 @@ fn user_configuration() -> anyhow::Result<()> {
    7 | print(x)
      |       ^
      |
-    info: `lint:possibly-unresolved-reference` is enabled by default

    Found 2 diagnostics

@@ -998,7 +973,7 @@ fn user_configuration() -> anyhow::Result<()> {
    // Changing the level for `division-by-zero` has no effect, because the project-level configuration
    // has higher precedence.
    case.write_file(
-        config_directory.join("ty/ty.toml"),
+        config_directory.join("knot/knot.toml"),
        r#"
        [rules]
        division-by-zero = "error"
@@ -1020,7 +995,6 @@ fn user_configuration() -> anyhow::Result<()> {
    3 |
    4 | for a in range(0, int(y)):
      |
-    info: `lint:division-by-zero` was selected in the configuration file

    error: lint:possibly-unresolved-reference: Name `x` used when possibly not defined
     --> main.py:7:7
@@ -1030,7 +1004,6 @@ fn user_configuration() -> anyhow::Result<()> {
    7 | print(x)
      |       ^
      |
-    info: `lint:possibly-unresolved-reference` was selected in the configuration file

    Found 2 diagnostics

@@ -1078,9 +1051,8 @@ fn check_specific_paths() -> anyhow::Result<()> {
    2 | y = 4 / 0  # error: division-by-zero
      |     ^^^^^
      |
-    info: `lint:division-by-zero` is enabled by default

-    error: lint:unresolved-import: Cannot resolve imported module `main2`
+    error: lint:unresolved-import: Cannot resolve import `main2`
     --> project/other.py:2:6
      |
    2 | from main2 import z  # error: unresolved-import
@@ -1088,15 +1060,13 @@ fn check_specific_paths() -> anyhow::Result<()> {
    3 |
    4 | print(z)
      |
-    info: `lint:unresolved-import` is enabled by default

-    error: lint:unresolved-import: Cannot resolve imported module `does_not_exist`
+    error: lint:unresolved-import: Cannot resolve import `does_not_exist`
     --> project/tests/test_main.py:2:8
      |
    2 | import does_not_exist  # error: unresolved-import
      |        ^^^^^^^^^^^^^^
      |
-    info: `lint:unresolved-import` is enabled by default

    Found 3 diagnostics

@@ -1112,7 +1082,7 @@ fn check_specific_paths() -> anyhow::Result<()> {
    success: false
    exit_code: 1
    ----- stdout -----
-    error: lint:unresolved-import: Cannot resolve imported module `main2`
+    error: lint:unresolved-import: Cannot resolve import `main2`
     --> project/other.py:2:6
      |
    2 | from main2 import z  # error: unresolved-import
@@ -1120,15 +1090,13 @@ fn check_specific_paths() -> anyhow::Result<()> {
    3 |
    4 | print(z)
      |
-    info: `lint:unresolved-import` is enabled by default

-    error: lint:unresolved-import: Cannot resolve imported module `does_not_exist`
+    error: lint:unresolved-import: Cannot resolve import `does_not_exist`
     --> project/tests/test_main.py:2:8
      |
    2 | import does_not_exist  # error: unresolved-import
      |        ^^^^^^^^^^^^^^
      |
-    info: `lint:unresolved-import` is enabled by default

    Found 2 diagnostics

@@ -1227,42 +1195,6 @@ fn concise_revealed_type() -> anyhow::Result<()> {
    Ok(())
 }

-#[test]
-fn can_handle_large_binop_expressions() -> anyhow::Result<()> {
-    let mut content = String::new();
-    writeln!(
-        &mut content,
-        "
-        from typing_extensions import reveal_type
-        total = 1{plus_one_repeated}
-        reveal_type(total)
-        ",
-        plus_one_repeated = " + 1".repeat(2000 - 1)
-    )?;
-
-    let case = TestCase::with_file("test.py", &ruff_python_trivia::textwrap::dedent(&content))?;
-
-    assert_cmd_snapshot!(case.command(), @r"
-    success: true
-    exit_code: 0
-    ----- stdout -----
-    info: revealed-type: Revealed type
-     --> test.py:4:1
-      |
-    2 | from typing_extensions import reveal_type
-    3 | total = 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1...
-    4 | reveal_type(total)
-      | ^^^^^^^^^^^^^^^^^^ `Literal[2000]`
-      |
-
-    Found 1 diagnostic
-
-    ----- stderr -----
-    ");
-
-    Ok(())
-}
-
 struct TestCase {
    _temp_dir: TempDir,
    _settings_scope: SettingsBindDropGuard,
@@ -1335,7 +1267,7 @@ impl TestCase {
    }

    fn command(&self) -> Command {
-        let mut command = Command::new(get_cargo_bin("ty"));
+        let mut command = Command::new(get_cargo_bin("red_knot"));
        command.current_dir(&self.project_dir).arg("check");
        command
    }
--- a/crates/red_knot/tests/file_watching.rs
+++ b/crates/red_knot/tests/file_watching.rs
@@ -3,6 +3,12 @@ use std::io::Write;
 use std::time::{Duration, Instant};

 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::{
@@ -10,12 +16,6 @@ use ruff_db::system::{
 };
 use ruff_db::{Db as _, Upcast};
 use ruff_python_ast::PythonVersion;
-use ty_project::metadata::options::{EnvironmentOptions, Options};
-use ty_project::metadata::pyproject::{PyProject, Tool};
-use ty_project::metadata::value::{RangedValue, RelativePathBuf};
-use ty_project::watch::{directory_watcher, ChangeEvent, ProjectWatcher};
-use ty_project::{Db, ProjectDatabase, ProjectMetadata};
-use ty_python_semantic::{resolve_module, ModuleName, PythonPlatform};

 struct TestCase {
    db: ProjectDatabase,
@@ -173,7 +173,9 @@ 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")?,
        )
@@ -380,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")?,
        )
@@ -1542,7 +1546,7 @@ 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.

@@ -1654,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.
@@ -1678,7 +1682,7 @@ fn nested_projects_delete_root() -> anyhow::Result<()> {
            [project]
            name = "inner"

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

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

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

@@ -1728,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"
@@ -1761,14 +1765,14 @@ 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);

@@ -1789,7 +1793,7 @@ fn changes_to_user_configuration() -> 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
@@ -1801,7 +1805,7 @@ fn changes_to_user_configuration() -> 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?
 ///
--- 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/completion.rs
+++ b/crates/red_knot_ide/src/completion.rs
@@ -6,7 +6,6 @@ use ruff_text_size::TextSize;

 use crate::Db;

-#[derive(Debug, Clone)]
 pub struct Completion {
    pub label: String,
 }
--- 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::{default_lint_registry, Db as SemanticDb, Program};
-
-    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)
        }

@@ -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
--- 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::{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,
--- a/crates/red_knot_ide/src/hover.rs
+++ b/crates/red_knot_ide/src/hover.rs
@@ -1,12 +1,12 @@
 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::types::Type;
-use ty_python_semantic::SemanticModel;

 pub fn hover(db: &dyn Db, file: File, offset: TextSize) -> Option<RangedValue<Hover>> {
    let parsed = parsed_module(db.upcast(), file);
--- 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> {
@@ -157,11 +157,11 @@ mod tests {

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

-    use ruff_db::system::{DbWithWritableSystem, SystemPathBuf};
-    use ruff_python_ast::PythonVersion;
-    use ty_python_semantic::{
+    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>";
--- a/crates/red_knot_ide/src/lib.rs
+++ b/crates/red_knot_ide/src/lib.rs
@@ -16,9 +16,9 @@ pub use markup::MarkupKind;
 use rustc_hash::FxHashSet;
 use std::ops::{Deref, DerefMut};

+use red_knot_python_semantic::types::{Type, TypeDefinition};
 use ruff_db::files::{File, FileRange};
 use ruff_text_size::{Ranged, TextRange};
-use ty_python_semantic::types::{Type, TypeDefinition};

 /// Information associated with a text range.
 #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
@@ -201,14 +201,14 @@ impl HasNavigationTargets for TypeDefinition<'_> {
 mod tests {
    use crate::db::tests::TestDb;
    use insta::internals::SettingsBindDropGuard;
+    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;
-    use ty_python_semantic::{
-        Program, ProgramSettings, PythonPath, PythonPlatform, SearchPathSettings,
-    };

    pub(super) fn cursor_test(source: &str) -> CursorTest {
        let mut db = TestDb::new();
--- 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
@@ -18,9 +18,9 @@ ruff_macros = { 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 }
@@ -43,13 +43,13 @@ insta = { workspace = true, features = ["redactions", "ron"] }

 [features]
 default = ["zstd"]
-deflate = ["ty_vendored/deflate"]
+deflate = ["red_knot_vendored/deflate"]
 schemars = [
    "dep:schemars",
    "ruff_db/schemars",
-    "ty_python_semantic/schemars",
+    "red_knot_python_semantic/schemars",
 ]
-zstd = ["ty_vendored/zstd"]
+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/crates/red_knot_project/resources/test/corpus/05_funcall_kw_many.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_kw_many.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall_kw_pos.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_kw_pos.py
--- a/crates/red_knot_project/resources/test/corpus/05_funcall_method_multiline.py
+++ b/crates/red_knot_project/resources/test/corpus/05_funcall_method_multiline.py
--- a/crates/red_knot_project/resources/test/corpus/06_funcall_kwargs.py
+++ b/crates/red_knot_project/resources/test/corpus/06_funcall_kwargs.py
--- a/crates/red_knot_project/resources/test/corpus/06_funcall_many_args.py
+++ b/crates/red_knot_project/resources/test/corpus/06_funcall_many_args.py
--- a/crates/red_knot_project/resources/test/corpus/06_funcall_starargs_ex.py
+++ b/crates/red_knot_project/resources/test/corpus/06_funcall_starargs_ex.py
--- a/crates/red_knot_project/resources/test/corpus/06_funcall_varargs.py
+++ b/crates/red_knot_project/resources/test/corpus/06_funcall_varargs.py
--- a/crates/red_knot_project/resources/test/corpus/06_funcall_varargs_kwargs.py
+++ b/crates/red_knot_project/resources/test/corpus/06_funcall_varargs_kwargs.py
--- a/crates/red_knot_project/resources/test/corpus/06_funcall_varargs_kwargs_mixed.py
+++ b/crates/red_knot_project/resources/test/corpus/06_funcall_varargs_kwargs_mixed.py
--- a/crates/red_knot_project/resources/test/corpus/07_ifexpr.py
+++ b/crates/red_knot_project/resources/test/corpus/07_ifexpr.py
--- a/crates/red_knot_project/resources/test/corpus/07_ifexpr_multiline.py
+++ b/crates/red_knot_project/resources/test/corpus/07_ifexpr_multiline.py
--- a/crates/red_knot_project/resources/test/corpus/07_ifexpr_multiline2.py
+++ b/crates/red_knot_project/resources/test/corpus/07_ifexpr_multiline2.py
--- a/Show More
+++ b/Show More