From 60a64d21a7c12019e61e2618d7e5b0ac7e8aa53c Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 15:32:37 +0200
Subject: [PATCH 1/9] Add repository indexing workflow

---
 .github/workflows/repos.yaml | 174 +++++++++++++++++++++++++++++++++++
 1 file changed, 174 insertions(+)
 create mode 100644 .github/workflows/repos.yaml

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
new file mode 100644
index 000000000..c29da3eba
--- /dev/null
+++ b/.github/workflows/repos.yaml
@@ -0,0 +1,174 @@
+name: Repository indexing
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+  workflow_dispatch:
+  schedule:
+    # Exercise real-world repositories regularly so dependency/toolchain drift is visible.
+    - cron: "0 6 * * 1"
+
+permissions:
+  contents: read
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
+env:
+  NIX_DEVELOP: ${{ github.workspace }}#jdk21
+
+defaults:
+  run:
+    shell: bash --noprofile --norc -eo pipefail -c "nix develop $NIX_DEVELOP --command bash --noprofile --norc -eo pipefail $1" -- {0}
+
+jobs:
+  build-cli:
+    runs-on: ubuntu-latest
+    name: Build scip-java CLI
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: DeterminateSystems/nix-installer-action@v22
+        with:
+          summarize: false
+
+      - uses: DeterminateSystems/magic-nix-cache-action@v13
+
+      - name: Build distribution
+        run: gradle :scip-java:installDist --no-daemon
+
+      - name: Package distribution
+        run: tar -C scip-java/build/install -czf scip-java-dist.tgz scip-java
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: scip-java-dist
+          path: scip-java-dist.tgz
+          retention-days: 1
+
+  index-repo:
+    runs-on: ubuntu-latest
+    needs: build-cli
+    name: ${{ matrix.name }}
+    env:
+      NIX_DEVELOP: ${{ github.workspace }}#jdk${{ matrix.java }}
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: maven-java-javapoet
+            repository: square/javapoet
+            ref: javapoet-1.13.0
+            directory: .
+            build_tool: maven
+            build_command: ""
+            java: 11
+            bazel_version: ""
+            covers: Maven, Java, Java 11 runtime
+
+          - name: gradle-kotlin-kotlinpoet
+            repository: square/kotlinpoet
+            ref: 1.18.1
+            directory: .
+            build_tool: gradle
+            build_command: "clean :kotlinpoet:scipPrintDependencies :kotlinpoet:scipCompileAll"
+            java: 17
+            bazel_version: ""
+            covers: Gradle, Kotlin, Java 17 runtime
+
+          - name: gradle-mixed-moshi
+            repository: square/moshi
+            ref: 1.15.2
+            directory: .
+            build_tool: gradle
+            build_command: "clean :moshi:scipPrintDependencies :moshi:scipCompileAll :moshi-kotlin:scipPrintDependencies :moshi-kotlin:scipCompileAll"
+            java: 17
+            bazel_version: ""
+            covers: Gradle, mixed Java/Kotlin, Java 17 runtime
+
+          - name: bazel-java-examples
+            repository: bazelbuild/examples
+            ref: dbf3399037ae65f901d46147804749fae1409ef2
+            directory: java-tutorial
+            build_tool: bazel
+            build_command: "//..."
+            java: 21
+            bazel_version: 7.6.1
+            covers: Bazel, Java, Java 21 runtime
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: DeterminateSystems/nix-installer-action@v22
+        with:
+          summarize: false
+
+      - uses: DeterminateSystems/magic-nix-cache-action@v13
+
+      - uses: actions/download-artifact@v4
+        with:
+          name: scip-java-dist
+          path: scip-java-dist
+
+      - name: Install scip-java CLI
+        run: |
+          mkdir -p "$RUNNER_TEMP/scip-java"
+          tar -xzf scip-java-dist/scip-java-dist.tgz -C "$RUNNER_TEMP/scip-java"
+          cli="$RUNNER_TEMP/scip-java/scip-java/bin/scip-java"
+          chmod +x "$cli"
+          "$cli" --help >/dev/null
+          printf 'SCIP_JAVA_CLI=%s\n' "$cli" >> "$GITHUB_ENV"
+
+      - name: Clone repository
+        env:
+          REPOSITORY: ${{ matrix.repository }}
+          REF: ${{ matrix.ref }}
+          DIRECTORY: ${{ matrix.directory }}
+          COVERS: ${{ matrix.covers }}
+        run: |
+          repo_dir="$RUNNER_TEMP/repos/${REPOSITORY//\//-}"
+          mkdir -p "$(dirname "$repo_dir")"
+          git init "$repo_dir"
+          git -C "$repo_dir" remote add origin "https://github.com/$REPOSITORY.git"
+          git -C "$repo_dir" fetch --depth=1 origin "$REF"
+          git -C "$repo_dir" checkout --detach FETCH_HEAD
+          git -C "$repo_dir" submodule update --init --recursive --depth 1
+
+          find "$repo_dir" -maxdepth 3 \( -name gradlew -o -name mvnw \) -type f -exec chmod +x {} +
+
+          workdir="$repo_dir/$DIRECTORY"
+          test -d "$workdir"
+
+          echo "Covers: $COVERS"
+          git -C "$repo_dir" rev-parse HEAD
+          printf 'REPO_WORKDIR=%s\n' "$workdir" >> "$GITHUB_ENV"
+
+      - name: Run scip-java index
+        env:
+          BUILD_TOOL: ${{ matrix.build_tool }}
+          BUILD_COMMAND: ${{ matrix.build_command }}
+          BAZEL_VERSION: ${{ matrix.bazel_version }}
+        run: |
+          cd "$REPO_WORKDIR"
+
+          index_args=(--build-tool="$BUILD_TOOL")
+          if [[ "$BUILD_TOOL" == "bazel" ]]; then
+            index_args+=(--bazel-scip-java-binary="$SCIP_JAVA_CLI" --bazel-overwrite-aspect-file)
+          fi
+
+          if [[ -n "$BAZEL_VERSION" ]]; then
+            export USE_BAZEL_VERSION="$BAZEL_VERSION"
+          fi
+
+          if [[ -n "$BUILD_COMMAND" ]]; then
+            # shellcheck disable=SC2206
+            build_command=($BUILD_COMMAND)
+            "$SCIP_JAVA_CLI" index "${index_args[@]}" -- "${build_command[@]}"
+          else
+            "$SCIP_JAVA_CLI" index "${index_args[@]}"
+          fi
+
+          test -s index.scip
+          du -h index.scip

From b51c5a622b2b583dcec5cc64597222baf508c5b8 Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 15:58:49 +0200
Subject: [PATCH 2/9] Use stable indexing repos

---
 .github/workflows/repos.yaml | 38 +++++++++++++++++++++++-------------
 1 file changed, 24 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index c29da3eba..6ec1b65a6 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -59,9 +59,9 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - name: maven-java-javapoet
-            repository: square/javapoet
-            ref: javapoet-1.13.0
+          - name: maven-java-junit4
+            repository: junit-team/junit4
+            ref: 300468b1efd48d76fac2f7bd6d576846dcbbf5ed
             directory: .
             build_tool: maven
             build_command: ""
@@ -69,32 +69,42 @@ jobs:
             bazel_version: ""
             covers: Maven, Java, Java 11 runtime
 
-          - name: gradle-kotlin-kotlinpoet
-            repository: square/kotlinpoet
-            ref: 1.18.1
+          - name: gradle-java-iwf-sdk
+            repository: indeedeng/iwf-java-sdk
+            ref: 8fa04457c0abcc4473300f17ea0a033d8f93ed88
             directory: .
             build_tool: gradle
-            build_command: "clean :kotlinpoet:scipPrintDependencies :kotlinpoet:scipCompileAll"
+            build_command: ""
             java: 17
             bazel_version: ""
-            covers: Gradle, Kotlin, Java 17 runtime
+            covers: Gradle, Java, Java 17 runtime
 
-          - name: gradle-mixed-moshi
-            repository: square/moshi
-            ref: 1.15.2
+          - name: gradle-kotlin-okio
+            repository: square/okio
+            ref: parent-3.16.0
             directory: .
             build_tool: gradle
-            build_command: "clean :moshi:scipPrintDependencies :moshi:scipCompileAll :moshi-kotlin:scipPrintDependencies :moshi-kotlin:scipCompileAll"
+            build_command: "-Dkjs=false -Dkwasm=false :okio:compileKotlinJvm"
             java: 17
             bazel_version: ""
-            covers: Gradle, mixed Java/Kotlin, Java 17 runtime
+            covers: Gradle, Kotlin, Kotlin 2.2.0
+
+          - name: gradle-mixed-okio-jmh
+            repository: square/okio
+            ref: parent-3.16.0
+            directory: .
+            build_tool: gradle
+            build_command: "-Dkjs=false -Dkwasm=false :okio:jvm:jmh:jmhClasses"
+            java: 21
+            bazel_version: ""
+            covers: Gradle, mixed Java/Kotlin, Java 21 runtime
 
           - name: bazel-java-examples
             repository: bazelbuild/examples
             ref: dbf3399037ae65f901d46147804749fae1409ef2
             directory: java-tutorial
             build_tool: bazel
-            build_command: "//..."
+            build_command: "//:ProjectRunner"
             java: 21
             bazel_version: 7.6.1
             covers: Bazel, Java, Java 21 runtime

From b59ecf084ffc14ed9a81fc7219696a76cdc535ac Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 17:11:56 +0200
Subject: [PATCH 3/9] Add Java LTS indexing repos

---
 .github/workflows/repos.yaml | 32 +++++++++++++++++++++-----------
 1 file changed, 21 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index 6ec1b65a6..110452b51 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -59,25 +59,35 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - name: maven-java-junit4
-            repository: junit-team/junit4
-            ref: 300468b1efd48d76fac2f7bd6d576846dcbbf5ed
+          - name: gradle-java11-pusher
+            repository: pusher/pusher-http-java
+            ref: 94f25a2848e5939cf27dafad8ed25aeaa2d83274
             directory: .
-            build_tool: maven
+            build_tool: gradle
             build_command: ""
             java: 11
             bazel_version: ""
-            covers: Maven, Java, Java 11 runtime
+            covers: Gradle, Java project target 11, Java 11 runtime
 
-          - name: gradle-java-iwf-sdk
-            repository: indeedeng/iwf-java-sdk
-            ref: 8fa04457c0abcc4473300f17ea0a033d8f93ed88
-            directory: .
-            build_tool: gradle
+          - name: maven-java17-spring-boot
+            repository: spring-guides/gs-spring-boot
+            ref: 2ffad4f418c3052b534184228a45d062f566096f
+            directory: complete
+            build_tool: maven
             build_command: ""
             java: 17
             bazel_version: ""
-            covers: Gradle, Java, Java 17 runtime
+            covers: Maven, Java project target 17, Java 17 runtime
+
+          - name: gradle-java21-readiness
+            repository: ePages-de/spring-boot-readiness
+            ref: 8a91762e723e5204c69339ebbfc2517a48a8651a
+            directory: .
+            build_tool: gradle
+            build_command: "clean compileJava"
+            java: 21
+            bazel_version: ""
+            covers: Gradle, Java project target 21, Java 21 runtime
 
           - name: gradle-kotlin-okio
             repository: square/okio

From 358676a5f3f2df7341454542653fe15b35724c8d Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 17:25:29 +0200
Subject: [PATCH 4/9] Validate generated SCIP data

---
 .github/workflows/repos.yaml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index 110452b51..633dfbd89 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -190,5 +190,19 @@ jobs:
             "$SCIP_JAVA_CLI" index "${index_args[@]}"
           fi
 
+      - name: Validate SCIP index data
+        run: |
+          cd "$REPO_WORKDIR"
+
           test -s index.scip
           du -h index.scip
+          scip stats --from index.scip | tee index.stats.json
+
+          documents="$(jq -r '.documents' index.stats.json)"
+          occurrences="$(jq -r '.occurrences' index.stats.json)"
+          definitions="$(jq -r '.definitions' index.stats.json)"
+
+          if (( documents < 1 || occurrences < 1 || definitions < 1 )); then
+            echo "SCIP index did not contain enough generated data: documents=$documents occurrences=$occurrences definitions=$definitions" >&2
+            exit 1
+          fi

From b74cb577faca6036cbafb35c93621c3722d105b1 Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 17:38:13 +0200
Subject: [PATCH 5/9] Drop repo workflow schedule

---
 .github/workflows/repos.yaml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index 633dfbd89..7db19b3e3 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -6,9 +6,6 @@ on:
       - main
   pull_request:
   workflow_dispatch:
-  schedule:
-    # Exercise real-world repositories regularly so dependency/toolchain drift is visible.
-    - cron: "0 6 * * 1"
 
 permissions:
   contents: read

From 4ddbb7225e0d1d8778048ce748c70eaf121f914c Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 17:50:48 +0200
Subject: [PATCH 6/9] Simplify repo workflow shell

---
 .github/workflows/repos.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index 7db19b3e3..c200242c3 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -19,7 +19,7 @@ env:
 
 defaults:
   run:
-    shell: bash --noprofile --norc -eo pipefail -c "nix develop $NIX_DEVELOP --command bash --noprofile --norc -eo pipefail $1" -- {0}
+    shell: bash -eo pipefail -c "nix develop \"$NIX_DEVELOP\" --command bash -eo pipefail \"$1\"" -- {0}
 
 jobs:
   build-cli:

From 7e3a7369e1590fafb386e2d1affb9cbd886a8898 Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 18:11:23 +0200
Subject: [PATCH 7/9] Extend repo indexing coverage

---
 .github/workflows/repos.yaml | 43 ++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index c200242c3..f32cc97ba 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -76,6 +76,16 @@ jobs:
             bazel_version: ""
             covers: Maven, Java project target 17, Java 17 runtime
 
+          - name: maven-java11-wagon-multimodule
+            repository: apache/maven-wagon
+            ref: 20b847446bb60f49af0428d592eadee774b5bff2
+            directory: .
+            build_tool: maven
+            build_command: "-DskipTests compile"
+            java: 11
+            bazel_version: ""
+            covers: Maven, multi-module Java, Java 11 runtime
+
           - name: gradle-java21-readiness
             repository: ePages-de/spring-boot-readiness
             ref: 8a91762e723e5204c69339ebbfc2517a48a8651a
@@ -86,6 +96,16 @@ jobs:
             bazel_version: ""
             covers: Gradle, Java project target 21, Java 21 runtime
 
+          - name: gradle-java11-mapstruct-lombok
+            repository: mapstruct/mapstruct-examples
+            ref: 3f9fd5ffe9e2272b6219a4216e842f8c009d1005
+            directory: mapstruct-lombok
+            build_tool: gradle
+            build_command: "compileJava"
+            java: 11
+            bazel_version: ""
+            covers: Gradle, Java annotation processors, Lombok, MapStruct, generated sources, Java 11 runtime
+
           - name: gradle-kotlin-okio
             repository: square/okio
             ref: parent-3.16.0
@@ -203,3 +223,26 @@ jobs:
             echo "SCIP index did not contain enough generated data: documents=$documents occurrences=$occurrences definitions=$definitions" >&2
             exit 1
           fi
+
+          scip print --json index.scip > index.print.json
+
+          source_documents=0
+          while IFS= read -r path; do
+            if [[ -f "$path" ]]; then
+              source_documents=$((source_documents + 1))
+            fi
+          done < <(
+            jq -r '
+              .documents[]?
+              | select((.language == "java" or .language == "kotlin")
+                  and ((.relative_path // .relativePath // "") | test("\\.(java|kt)$"))
+                  and ((.occurrences // []) | length > 0)
+                  and ((.symbols // []) | length > 0))
+              | .relative_path // .relativePath
+            ' index.print.json
+          )
+
+          if (( source_documents < 1 )); then
+            echo "SCIP index did not contain any checked-out Java/Kotlin source documents with occurrences and symbols" >&2
+            exit 1
+          fi

From b9c141acdb1c993bf32315b21dd91ea5e13fcd25 Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Thu, 25 Jun 2026 21:45:45 +0200
Subject: [PATCH 8/9] Add Maven Kotlin indexing repo

---
 .github/workflows/repos.yaml | 42 ++++++++++++++++++++++++++++++++----
 1 file changed, 38 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index f32cc97ba..939291865 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -86,6 +86,18 @@ jobs:
             bazel_version: ""
             covers: Maven, multi-module Java, Java 11 runtime
 
+          - name: maven-kotlin-json-kotlin-maven
+            repository: pwall567/json-kotlin-maven
+            ref: 523f4fd624c3abca4a083c96be596d6f4799b705
+            directory: .
+            build_tool: scip
+            build_command: ""
+            java: 17
+            bazel_version: ""
+            scip_config: maven-kotlin
+            expected_language: kotlin
+            covers: Maven Kotlin project, manual SCIP config, Kotlin source, Java 17 runtime
+
           - name: gradle-java21-readiness
             repository: ePages-de/spring-boot-readiness
             ref: 8a91762e723e5204c69339ebbfc2517a48a8651a
@@ -187,9 +199,25 @@ jobs:
           BUILD_TOOL: ${{ matrix.build_tool }}
           BUILD_COMMAND: ${{ matrix.build_command }}
           BAZEL_VERSION: ${{ matrix.bazel_version }}
+          SCIP_CONFIG: ${{ matrix.scip_config }}
         run: |
           cd "$REPO_WORKDIR"
 
+          if [[ "$SCIP_CONFIG" == "maven-kotlin" ]]; then
+            mkdir -p target
+            mvn --batch-mode -q dependency:build-classpath -Dmdep.outputFile=target/scip-java-classpath.txt
+            jq -Rn '
+              input
+              | split(":")
+              | map(select(length > 0))
+              | {
+                  sourceFiles: ["src/main/kotlin"],
+                  classpath: .,
+                  javacOptions: ["-source", "1.8", "-target", "1.8"]
+                }
+            ' < target/scip-java-classpath.txt > scip-java.json
+          fi
+
           index_args=(--build-tool="$BUILD_TOOL")
           if [[ "$BUILD_TOOL" == "bazel" ]]; then
             index_args+=(--bazel-scip-java-binary="$SCIP_JAVA_CLI" --bazel-overwrite-aspect-file)
@@ -208,6 +236,8 @@ jobs:
           fi
 
       - name: Validate SCIP index data
+        env:
+          EXPECTED_LANGUAGE: ${{ matrix.expected_language }}
         run: |
           cd "$REPO_WORKDIR"
 
@@ -232,10 +262,10 @@ jobs:
               source_documents=$((source_documents + 1))
             fi
           done < <(
-            jq -r '
+            jq -r --arg expected_language "$EXPECTED_LANGUAGE" '
               .documents[]?
-              | select((.language == "java" or .language == "kotlin")
-                  and ((.relative_path // .relativePath // "") | test("\\.(java|kt)$"))
+              | select((if $expected_language == "" then (.language == "java" or .language == "kotlin") else .language == $expected_language end)
+                  and ((.relative_path // .relativePath // "") | test(if $expected_language == "kotlin" then "\\.kt$" elif $expected_language == "java" then "\\.java$" else "\\.(java|kt)$" end))
                   and ((.occurrences // []) | length > 0)
                   and ((.symbols // []) | length > 0))
               | .relative_path // .relativePath
@@ -243,6 +273,10 @@ jobs:
           )
 
           if (( source_documents < 1 )); then
-            echo "SCIP index did not contain any checked-out Java/Kotlin source documents with occurrences and symbols" >&2
+            if [[ -n "$EXPECTED_LANGUAGE" ]]; then
+              echo "SCIP index did not contain any checked-out $EXPECTED_LANGUAGE source documents with occurrences and symbols" >&2
+            else
+              echo "SCIP index did not contain any checked-out Java/Kotlin source documents with occurrences and symbols" >&2
+            fi
             exit 1
           fi

From 80367f65d4a52c1ee2d1bd0492b39a1979339dd0 Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Fri, 26 Jun 2026 13:02:07 +0200
Subject: [PATCH 9/9] Add Gradle Kotlin FlowExt repo

---
 .github/workflows/repos.yaml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/repos.yaml b/.github/workflows/repos.yaml
index 939291865..a793b331a 100644
--- a/.github/workflows/repos.yaml
+++ b/.github/workflows/repos.yaml
@@ -128,6 +128,17 @@ jobs:
             bazel_version: ""
             covers: Gradle, Kotlin, Kotlin 2.2.0
 
+          - name: gradle-kotlin-flowext
+            repository: hoc081098/FlowExt
+            ref: 7341f3853d670af0283258f57643a68ed273f8ac
+            directory: .
+            build_tool: gradle
+            build_command: "compileKotlinJvm"
+            java: 17
+            bazel_version: ""
+            expected_language: kotlin
+            covers: Gradle, Kotlin multiplatform JVM target, Kotlin 2.2.0, Java 17 runtime
+
           - name: gradle-mixed-okio-jmh
             repository: square/okio
             ref: parent-3.16.0