diff --git a/pom.xml b/pom.xml
index 42ed5eb2b..d5f6000b0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -25,6 +25,10 @@
         <jacoco.version>0.8.12</jacoco.version>
         <jspecify.version>1.0.1</jspecify.version>
         <spotless.version>2.43.0</spotless.version>
+        <!-- Dokka is this project's javadoc, so the standard switch skips it too: a build that asked for
+             no documentation should not load a documentation engine, let alone a second Kotlin generation
+             into the same JVM as the compiler. -->
+        <maven.javadoc.skip>false</maven.javadoc.skip>
     </properties>
     <groupId>st.orm</groupId>
     <artifactId>storm-framework</artifactId>
diff --git a/storm-kotlin-spring/pom.xml b/storm-kotlin-spring/pom.xml
index d006639d0..684a5cfc5 100644
--- a/storm-kotlin-spring/pom.xml
+++ b/storm-kotlin-spring/pom.xml
@@ -74,6 +74,12 @@
                 <groupId>org.jetbrains.kotlin</groupId>
                 <artifactId>kotlin-maven-plugin</artifactId>
                 <version>${kotlin.version}</version>
+                <!-- Contributes the plugin's lifecycle mapping, which synthesises default-compile and
+                     default-kapt executions beside the ones declared below. The duplicate compilation is what
+                     this flag costs, and the flag has to stay: without it, CodeQL's Kotlin extractor binds
+                     against the wrong compiler generation and fails its analysis on a later module in the
+                     reactor, with an AbstractMethodError on ComponentRegistrar. -->
+                <extensions>true</extensions>
                 <configuration>
                     <jvmTarget>21</jvmTarget>
                     <args>
diff --git a/storm-ktor-test/pom.xml b/storm-ktor-test/pom.xml
index 83fb6a825..0a9a19412 100644
--- a/storm-ktor-test/pom.xml
+++ b/storm-ktor-test/pom.xml
@@ -56,6 +56,12 @@
                 <groupId>org.jetbrains.kotlin</groupId>
                 <artifactId>kotlin-maven-plugin</artifactId>
                 <version>${kotlin.version}</version>
+                <!-- Contributes the plugin's lifecycle mapping, which synthesises default-compile and
+                     default-kapt executions beside the ones declared below. The duplicate compilation is what
+                     this flag costs, and the flag has to stay: without it, CodeQL's Kotlin extractor binds
+                     against the wrong compiler generation and fails its analysis on a later module in the
+                     reactor, with an AbstractMethodError on ComponentRegistrar. -->
+                <extensions>true</extensions>
                 <configuration>
                     <jvmTarget>21</jvmTarget>
                     <args>
@@ -149,6 +155,7 @@
                      roots, which include Maven's src/main/java whether it exists or not. Naming the Kotlin root
                      keeps a missing directory from being reported as an error on every build. -->
                 <configuration>
+                    <skip>${maven.javadoc.skip}</skip>
                     <sourceDirectories>
                         <dir>${project.basedir}/src/main/kotlin</dir>
                     </sourceDirectories>
diff --git a/storm-ktor/pom.xml b/storm-ktor/pom.xml
index acf878de8..caa863a8f 100644
--- a/storm-ktor/pom.xml
+++ b/storm-ktor/pom.xml
@@ -58,6 +58,12 @@
                 <groupId>org.jetbrains.kotlin</groupId>
                 <artifactId>kotlin-maven-plugin</artifactId>
                 <version>${kotlin.version}</version>
+                <!-- Contributes the plugin's lifecycle mapping, which synthesises default-compile and
+                     default-kapt executions beside the ones declared below. The duplicate compilation is what
+                     this flag costs, and the flag has to stay: without it, CodeQL's Kotlin extractor binds
+                     against the wrong compiler generation and fails its analysis on a later module in the
+                     reactor, with an AbstractMethodError on ComponentRegistrar. -->
+                <extensions>true</extensions>
                 <configuration>
                     <jvmTarget>21</jvmTarget>
                     <args>
@@ -177,6 +183,7 @@
                      roots, which include Maven's src/main/java whether it exists or not. Naming the Kotlin root
                      keeps a missing directory from being reported as an error on every build. -->
                 <configuration>
+                    <skip>${maven.javadoc.skip}</skip>
                     <sourceDirectories>
                         <dir>${project.basedir}/src/main/kotlin</dir>
                     </sourceDirectories>