chore: upgrade kDisco from 0.3.0 to 0.4.0

kDisco 0.4.0 adds native linuxX64 simulation validation and
cross-platform deterministic RNG (bedaHovorka/kdisco#12, PR #13).

- gradle.properties: kdiscoVersion 0.3.0 → 0.4.0
- docker-kdisco/: updated pre-built artifacts to 0.4.0
- Dockerfile: updated version comment

All 2550 tests pass (1752 core unit, 156 core integration,
430 desktop-ui unit, 190 desktop-ui integration, 22 fast-sim native).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: bedaHovorka

Dockerfile

@@ -52,7 +52,7 @@ COPY core/build.gradle.kts /build/interlockSim/core/
 COPY core-test/build.gradle.kts /build/interlockSim/core-test/
 COPY desktop-ui/build.gradle.kts /build/interlockSim/desktop-ui/
 
-# Layer 2.5: Pre-stage kdisco-core-jvm:0.3.0 artifacts
+# Layer 2.5: Pre-stage kdisco-core-jvm:0.4.0 artifacts
 # Copied to /root/kdisco-prebuild/ (not /root/.m2/) because the build-step
 # cache mount at /root/.m2/repository would shadow a direct COPY there.
 # The RUN step below installs from this location into the mounted mavenLocal.

docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.3.0/kdisco-core-js-0.3.0.klib

@@ -1,10 +1,10 @@
 {
   "formatVersion": "1.1",
   "component": {
-    "url": "../../kdisco-core/0.3.0/kdisco-core-0.3.0.module",
+    "url": "../../kdisco-core/0.4.0/kdisco-core-0.4.0.module",
     "group": "cz.hovorka.kdisco",
     "module": "kdisco-core",
-    "version": "0.3.0",
+    "version": "0.4.0",
     "attributes": {
       "org.gradle.status": "release"
     }
@@ -35,13 +35,13 @@
       ],
       "files": [
         {
-          "name": "kdisco-core-js-0.3.0.klib",
-          "url": "kdisco-core-js-0.3.0.klib",
-          "size": 76400,
-          "sha512": "bcb616a77133e985e2f8ff935d37698bbae7a206b31a60140a84909a3a576836b7fa08eaa8b42469a3900a0fd7376c51e6bafc5187773881cec09391a5d77e61",
-          "sha256": "af4f975b265d3d7f1584dbd4f258ba1cd436080b2f4fdeb07eab804ce0f0e083",
-          "sha1": "a8c85dd00ed0fbe9ac4b8e9e360279270d71718f",
-          "md5": "35d7f80bd502f97c6592201e81b87389"
+          "name": "kdisco-core-js-0.4.0.klib",
+          "url": "kdisco-core-js-0.4.0.klib",
+          "size": 80194,
+          "sha512": "4467d4e20bc64bd4cf4f246a3fbd245de923058ce42eb55d6623f8ab99ece3e9687f4ee9ad3fee080c7f69cd6d566d791644f5cc6256898a4e72faefcd0eca35",
+          "sha256": "99474cf1962e153032f4d32ba3ef124f5c45a9243be76ee0351269d78c1cd33f",
+          "sha1": "4c9ebd2aa48a48b00c8fdd7913bff73d299f3ae0",
+          "md5": "9870b3acf166a93b9b8eca6556bebd30"
         }
       ]
     },
@@ -85,13 +85,13 @@
       ],
       "files": [
         {
-          "name": "kdisco-core-js-0.3.0.klib",
-          "url": "kdisco-core-js-0.3.0.klib",
-          "size": 76400,
-          "sha512": "bcb616a77133e985e2f8ff935d37698bbae7a206b31a60140a84909a3a576836b7fa08eaa8b42469a3900a0fd7376c51e6bafc5187773881cec09391a5d77e61",
-          "sha256": "af4f975b265d3d7f1584dbd4f258ba1cd436080b2f4fdeb07eab804ce0f0e083",
-          "sha1": "a8c85dd00ed0fbe9ac4b8e9e360279270d71718f",
-          "md5": "35d7f80bd502f97c6592201e81b87389"
+          "name": "kdisco-core-js-0.4.0.klib",
+          "url": "kdisco-core-js-0.4.0.klib",
+          "size": 80194,
+          "sha512": "4467d4e20bc64bd4cf4f246a3fbd245de923058ce42eb55d6623f8ab99ece3e9687f4ee9ad3fee080c7f69cd6d566d791644f5cc6256898a4e72faefcd0eca35",
+          "sha256": "99474cf1962e153032f4d32ba3ef124f5c45a9243be76ee0351269d78c1cd33f",
+          "sha1": "4c9ebd2aa48a48b00c8fdd7913bff73d299f3ae0",
+          "md5": "9870b3acf166a93b9b8eca6556bebd30"
         }
       ]
     },
@@ -108,13 +108,13 @@
       },
       "files": [
         {
-          "name": "kdisco-core-js-0.3.0-sources.jar",
-          "url": "kdisco-core-js-0.3.0-sources.jar",
-          "size": 23902,
-          "sha512": "d258df8f0485360afe4d521f972523e3d7cb47a7973287d04732cb90ca514bc6d51c084ae61a079afca67ff0a074115412df8bb0357b0fac126a6d032234a5b2",
-          "sha256": "2476098c53421083f7f5e18f59168b7752c63414c97e6f53e91474afb0cd06c9",
-          "sha1": "7968c4863c361be5ac18d68bcc2a4b42ff6ddf0c",
-          "md5": "a19e18af239e9dc9eb1bfda6a06b4c2c"
+          "name": "kdisco-core-js-0.4.0-sources.jar",
+          "url": "kdisco-core-js-0.4.0-sources.jar",
+          "size": 24408,
+          "sha512": "6904d724c3ddc1a406e9cf70f5fc1d7e552ab69ce6a3eccceebdefd41ea8334782c2566dec6b3673049136f5353feb1fa8a8261920304945d5a106b303a3d54f",
+          "sha256": "bb6970ec8f7d4454ba39c4e4b3f01408e0f28db17d2b91f8da1a10733539bced",
+          "sha1": "9d2d7bc2f1a485bbcf4b869e0b8ea4ba0838f0b6",
+          "md5": "c32278edc3e66dbbee94a3f775f8e061"
         }
       ]
     }

docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.4.0/kdisco-core-js-0.4.0.klib

@@ -8,7 +8,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>cz.hovorka.kdisco</groupId>
   <artifactId>kdisco-core-js</artifactId>
-  <version>0.3.0</version>
+  <version>0.4.0</version>
   <packaging>klib</packaging>
   <dependencyManagement>
     <dependencies>

…ore-js/0.3.0/kdisco-core-js-0.3.0.module …ore-js/0.4.0/kdisco-core-js-0.4.0.moduledocker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.3.0/kdisco-core-js-0.3.0.module renamed to docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.4.0/kdisco-core-js-0.4.0.module docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.3.0/kdisco-core-js-0.3.0.module renamed to docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.4.0/kdisco-core-js-0.4.0.module

@@ -3,12 +3,14 @@
   <groupId>cz.hovorka.kdisco</groupId>
   <artifactId>kdisco-core-js</artifactId>
   <versioning>
-    <latest>0.3.0</latest>
-    <release>0.3.0</release>
+    <latest>0.4.0</latest>
+    <release>0.4.0</release>
     <versions>
       <version>0.3.0-SNAPSHOT</version>
       <version>0.3.0</version>
+      <version>0.4.0-SNAPSHOT</version>
+      <version>0.4.0</version>
     </versions>
-    <lastUpdated>20260320072724</lastUpdated>
+    <lastUpdated>20260327061356</lastUpdated>
   </versioning>
 </metadata>

…o-core-js/0.3.0/kdisco-core-js-0.3.0.pom …o-core-js/0.4.0/kdisco-core-js-0.4.0.pomdocker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.3.0/kdisco-core-js-0.3.0.pom renamed to docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.4.0/kdisco-core-js-0.4.0.pom docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.3.0/kdisco-core-js-0.3.0.pom renamed to docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/0.4.0/kdisco-core-js-0.4.0.pom

@@ -1,10 +1,10 @@
 {
   "formatVersion": "1.1",
   "component": {
-    "url": "../../kdisco-core/0.3.0/kdisco-core-0.3.0.module",
+    "url": "../../kdisco-core/0.4.0/kdisco-core-0.4.0.module",
     "group": "cz.hovorka.kdisco",
     "module": "kdisco-core",
-    "version": "0.3.0",
+    "version": "0.4.0",
     "attributes": {
       "org.gradle.status": "release"
     }
@@ -26,8 +26,8 @@
       },
       "files": [
         {
-          "name": "kdisco-core-jvm-0.3.0.jar",
-          "url": "kdisco-core-jvm-0.3.0.jar",
+          "name": "kdisco-core-jvm-0.4.0.jar",
+          "url": "kdisco-core-jvm-0.4.0.jar",
           "size": 60106,
           "sha512": "73c58a499a12aa13a6ac3446a76e1d8b90b711b09b000e22a6abb66d8c1923d4d98a2a538d4231b5b5fd5f23fd7d709c95ba31d6b34c57510a315e9bfceca3d2",
           "sha256": "d4267928d16f7653c387ee6a99ec213783b2d164570cae9b8a28937b00105b90",
@@ -69,8 +69,8 @@
       ],
       "files": [
         {
-          "name": "kdisco-core-jvm-0.3.0.jar",
-          "url": "kdisco-core-jvm-0.3.0.jar",
+          "name": "kdisco-core-jvm-0.4.0.jar",
+          "url": "kdisco-core-jvm-0.4.0.jar",
           "size": 60106,
           "sha512": "73c58a499a12aa13a6ac3446a76e1d8b90b711b09b000e22a6abb66d8c1923d4d98a2a538d4231b5b5fd5f23fd7d709c95ba31d6b34c57510a315e9bfceca3d2",
           "sha256": "d4267928d16f7653c387ee6a99ec213783b2d164570cae9b8a28937b00105b90",
@@ -92,8 +92,8 @@
       },
       "files": [
         {
-          "name": "kdisco-core-jvm-0.3.0-sources.jar",
-          "url": "kdisco-core-jvm-0.3.0-sources.jar",
+          "name": "kdisco-core-jvm-0.4.0-sources.jar",
+          "url": "kdisco-core-jvm-0.4.0-sources.jar",
           "size": 23401,
           "sha512": "2b0b6da9ceb50eab7747faec20bfc48725cc87f8e07daff493b2e3f7ba82b84da7b91041560d34f020137b2ef87f40fcfcc6bebed395fb5c9b2e0e4ffe60981f",
           "sha256": "c619cef5dc7d2c582ff7249d059bf3facedcf91f165d929d0e28d42a5458994d",

docker-kdisco/cz/hovorka/kdisco/kdisco-core-js/maven-metadata-local.xml

@@ -8,7 +8,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>cz.hovorka.kdisco</groupId>
   <artifactId>kdisco-core-jvm</artifactId>
-  <version>0.3.0</version>
+  <version>0.4.0</version>
   <dependencyManagement>
     <dependencies>
       <dependency>

…e-jvm/0.3.0/kdisco-core-jvm-0.3.0.module …e-jvm/0.4.0/kdisco-core-jvm-0.4.0.moduledocker-kdisco/cz/hovorka/kdisco/kdisco-core-jvm/0.3.0/kdisco-core-jvm-0.3.0.module renamed to docker-kdisco/cz/hovorka/kdisco/kdisco-core-jvm/0.4.0/kdisco-core-jvm-0.4.0.module docker-kdisco/cz/hovorka/kdisco/kdisco-core-jvm/0.3.0/kdisco-core-jvm-0.3.0.module renamed to docker-kdisco/cz/hovorka/kdisco/kdisco-core-jvm/0.4.0/kdisco-core-jvm-0.4.0.module

@@ -3,12 +3,14 @@
   <groupId>cz.hovorka.kdisco</groupId>
   <artifactId>kdisco-core-jvm</artifactId>
   <versioning>
-    <latest>0.3.0</latest>
-    <release>0.3.0</release>
+    <latest>0.4.0</latest>
+    <release>0.4.0</release>
     <versions>
       <version>0.3.0-SNAPSHOT</version>
       <version>0.3.0</version>
+      <version>0.4.0-SNAPSHOT</version>
+      <version>0.4.0</version>
     </versions>
-    <lastUpdated>20260320072724</lastUpdated>
+    <lastUpdated>20260327061356</lastUpdated>
   </versioning>
 </metadata>