Upgrade Scala and sbt-ossuminc

Upgrade sbt-ossuminc to 1.4.0 so we can use scala 3.8.3.
Fix a few new syntax issues found by the 3.8.3 compiler.
Unify the MiMa check version to V.previous
Update the NOTEBOOK

Author: reid-spencer

NOTEBOOK.md

@@ -15,7 +15,64 @@ to the task file and note completion in this notebook.
 
 ## Current Status
 
-**Last Updated**: March 14, 2026
+**Last Updated**: April 7, 2026
+
+### Release 1.20.0 Published (Apr 6, 2026)
+
+Major validation and language extension release.
+
+**New language features:**
+- `reply result SomeResult` statement for query handlers
+- `require invariant InvariantName` form (extends `require`)
+- `option auto-id` for entities (ULID at instantiation)
+
+**CompletenessWarning system (1.19.0):**
+- New message kind at severity 4, "hard" (actionable)
+- 20+ completeness checks for simulation/codegen readiness
+- Entity: Id type scope, on-init, event-sourced events,
+  query handlers, outlet streamlets
+- Context: Sink for entities, streamlet dispatch
+- Projector: repository refs, tell persistence
+- Saga: tell command in do-steps
+- Streamlet: output on flow/split/router, source generation
+- Types: empty commands, orphan events, query/result pairing
+- Handler: empty on-other, prompt-only, empty handlers
+
+**Other changes in 1.18.0-1.20.0:**
+- EntityLifecyclePass: state-level handlers, entity-level
+  expansion, initial state detection
+- AnalysisPass/AnalysisResult copied from riddl-gen
+- `require` statement added to language
+- BAST FORMAT_REVISION bumped to 6
+- Repository usage tracking in UsageResolution
+- release.yml: peter-evans replaced with gh api
+- notify-blog: fetches release body via API
+
+### Releases Since Last Notebook Update
+
+- **1.20.0** (Apr 6): Validation + language extensions
+- **1.19.0** (Apr 4): CompletenessWarning system
+- **1.18.0** (Mar 31): EntityLifecyclePass + AnalysisPass +
+  require statement
+- **1.17.1** (Mar 30): Validation fixes
+- **1.17.0**, **1.16.5**, **1.16.4**, **1.16.3** (Mar)
+
+### Pending Tasks in `task/`
+
+- `auto-id-entity-option.md` — DONE (1.20.0)
+- `entitylifecyclepass-no-transitions.md` — DONE (1.18.0)
+- `move-analysis-pass-from-riddl-gen.md` — DONE (1.18.0)
+- `replace-peter-evans-dispatch.md` — DONE (1.18.0)
+- `error-location-end-of-line.md` — open
+- `sbt-riddl-validate-on-compile-fix.md` — open
+- `scope-based-parsing-api.md` — open
+- `optimize-treepass-performance.md` — open
+- `optimize-resolutionpass-performance.md` — open
+- `messageflowpass-empty-results.md` — DONE (1.15.3)
+- `add-blog-release-dispatch.md` — DONE
+- `upgrade-sbt-riddl-1.15.4.md` — open
+
+---
 
 ### Release 1.15.3 Published (Mar 14, 2026)
 

build.sbt

@@ -14,7 +14,7 @@ Global / onChangedBuildSource := ReloadOnSourceChanges
 
 enablePlugins(OssumIncPlugin)
 
-// NOTE: All modules override scalaVersion to 3.7.4 (from sbt-ossuminc's 3.3.7 LTS default).
+// NOTE: All modules override scalaVersion to 3.8.3 (from sbt-ossuminc's 3.3.7 LTS default).
 // Scala 3.3.x has an infinite loop bug in the compiler's type system (hasClassSymbol
 // recursion when computing union/intersection types). Fixed in later versions.
 // TASTy format is forward-compatible: 3.7.4 output can be consumed by 3.3.7 code (e.g., Akka servers).
@@ -55,13 +55,13 @@ lazy val Utils = config("utils")
 lazy val utils_cp: CrossProject = CrossModule("utils", "riddl-utils")(JVM, JS, Native)
   .configure(With.typical, With.GithubPublishing)
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     scalacOptions += "-explain-cyclic",
     description := "Various utilities used throughout riddl libraries"
   )
   .jvmConfigure(With.coverage(70))
   .jvmConfigure(With.BuildInfo)
-  .jvmConfigure(With.MiMa("0.57.0", Seq("com.ossuminc.riddl.utils.RiddlBuildInfo")))
+  .jvmConfigure(With.MiMa(V.previous, Seq("com.ossuminc.riddl.utils.RiddlBuildInfo")))
   .jvmSettings(
     buildInfoPackage := "com.ossuminc.riddl.utils",
     buildInfoObject := "RiddlBuildInfo",
@@ -144,13 +144,13 @@ lazy val language_cp: CrossProject = CrossModule("language", "riddl-language")(J
   .dependsOn(cpDep(utils_cp))
   .configure(With.typical, With.GithubPublishing)
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     description := "Abstract Syntax Tree and basic RIDDL language parser",
     scalacOptions ++= Seq("-explain", "--explain-types", "--explain-cyclic", "--no-warnings"),
     Test / parallelExecution := false
   )
   .jvmConfigure(With.coverage(65))
-  .jvmConfigure(With.MiMa("0.57.0"))
+  .jvmConfigure(With.MiMa(V.previous))
   .jvmSettings(
     tastyMiMaConfig ~= { prevConfig =>
       import java.util.Arrays.asList
@@ -211,13 +211,13 @@ lazy val passes_cp = CrossModule("passes", "riddl-passes")(JVM, JS, Native)
   .dependsOn(cpDep(utils_cp), cpDep(language_cp))
   .configure(With.typical, With.GithubPublishing)
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     Test / parallelExecution := false,
     scalacOptions ++= Seq("-explain", "--explain-types", "--explain-cyclic"),
     description := "AST Pass infrastructure and essential passes"
   )
   .jvmConfigure(With.coverage(30))
-  .jvmConfigure(With.MiMa("0.57.0"))
+  .jvmConfigure(With.MiMa(V.previous))
   .jvmSettings(
     coverageExcludedPackages := "<empty>;$anon",
     mimaBinaryIssueFilters ++= Seq(
@@ -250,7 +250,7 @@ lazy val testkit_cp = CrossModule("testkit", "riddl-testkit")(JVM, JS, Native)
   .dependsOn(tkDep(utils_cp), tkDep(language_cp), tkDep(passes_cp))
   .configure(With.typical, With.GithubPublishing)
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     description := "Testing kit for RIDDL language and passes"
   )
   .jvmSettings(
@@ -259,7 +259,7 @@ lazy val testkit_cp = CrossModule("testkit", "riddl-testkit")(JVM, JS, Native)
       Dep.scalactic_nojvm.value
     )
   )
-  .jvmConfigure(With.MiMa("0.57.0"))
+  .jvmConfigure(With.MiMa(V.previous))
   .jsConfigure(With.ScalaJS("RIDDL: language", withCommonJSModule = true))
   .jsConfigure(With.noMiMa)
   .jsSettings(
@@ -290,11 +290,11 @@ lazy val riddlLib_cp: CrossProject = CrossModule("riddlLib", "riddl-lib")(JS, JV
   )
   .configure(With.typical, With.GithubPublishing)
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     description := "Bundling of essential RIDDL libraries"
   )
   .jvmConfigure(With.coverage(50))
-  .jvmConfigure(With.MiMa("0.57.0"))
+  .jvmConfigure(With.MiMa(V.previous))
   .jvmConfigure(
     With.Packaging.universal(
       maintainerEmail = "reid@ossuminc.com",
@@ -334,12 +334,12 @@ lazy val commands_cp: CrossProject = CrossModule("commands", "riddl-commands")(J
   .dependsOn(cpDep(utils_cp), cpDep(language_cp), cpDep(passes_cp))
   .configure(With.typical, With.GithubPublishing)
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     scalacOptions ++= Seq("-explain", "--explain-types", "--explain-cyclic", "--no-warnings"),
     description := "RIDDL Command Infrastructure and command definitions"
   )
   .jvmConfigure(With.coverage(50))
-  .jvmConfigure(With.MiMa("0.57.0"))
+  .jvmConfigure(With.MiMa(V.previous))
   .jvmSettings(
     libraryDependencies ++= Seq(Dep.scopt, Dep.sconfig, Dep.scalajs_stubs),
     coverageExcludedFiles := """<empty>;$anon"""
@@ -365,7 +365,7 @@ lazy val riddlc_cp: CrossProject = CrossModule("riddlc", "riddlc")(JVM, Native)
   .configure(With.noMiMa)
   .dependsOn(cpDep(utils_cp), cpDep(language_cp), cpDep(passes_cp), cpDep(commands_cp))
   .settings(
-    scalaVersion := "3.7.4", // Override 3.3.7 LTS - see top of file for reason
+    scalaVersion := V.scala, // Override 3.3.7 LTS - see top of file for reason
     description := "The `riddlc` compiler and tests, the only executable in RIDDL",
     maintainer := "reid@ossuminc.com",
     mainClass := Option("com.ossuminc.riddl.RIDDLC")

passes/jvm-native/src/test/scala/com/ossuminc/riddl/passes/validate/CheckMessagesTest.scala

@@ -17,7 +17,6 @@ import org.scalatest.{Assertion, TestData}
 import java.nio.file.{Files, Path}
 import scala.collection.mutable
 import scala.jdk.StreamConverters.StreamHasToScala
-import scala.runtime.stdLibPatches.Predef.assert
 import scala.concurrent.duration.DurationInt
 
 /** CheckMessage This test suite runs through the files in input/check directory and validates them each as their own

passes/jvm-native/src/test/scala/com/ossuminc/riddl/passes/validate/ValidateExamplesTest.scala

@@ -10,8 +10,6 @@ import com.ossuminc.riddl.utils.CommonOptions
 import com.ossuminc.riddl.utils.pc
 import org.scalatest.TestData
 
-import scala.runtime.stdLibPatches.Predef.assert
-
 /** Validate files */
 class ValidateExamplesTest extends JVMAbstractValidatingTest {
 

project/Dependencies.scala

@@ -15,6 +15,9 @@ object V {
   val fastparse = "3.1.1"
   val jgit = "6.5.0"
   val lang3 = "3.17.0"
+  val previous = "1.0.0"
+  val scala = "3.8.3"
+  val scala_native = "0.5.11"
   val scala_java_time = "2.6.0"
   val scalacheck = "1.18.1"
   val scalatest = "3.2.19"

project/plugins.sbt

@@ -1,7 +1,7 @@
 // GitHub Packages resolver for sbt-ossuminc
 resolvers += "GitHub Packages" at "https://maven.pkg.github.com/ossuminc/sbt-ossuminc"
 
-addSbtPlugin("com.ossuminc" % "sbt-ossuminc" % "1.3.5")
+addSbtPlugin("com.ossuminc" % "sbt-ossuminc" % "1.4.0")
 
 // This enables sbt-bloop to create bloop config files for Metals editors
 // Uncomment locally if you use metals, otherwise don't slow down other

utils/jvm/src/main/scala/com/ossuminc/riddl/utils/JVMPlatformContext.scala

@@ -60,7 +60,7 @@ class JVMPlatformContext extends PlatformContext {
   override def read(file: URL): String =
     val source = Source.fromFile(file.toString)
     try {
-      source.getLines.mkString("\n")
+      source.getLines().mkString("\n")
     } finally {
       source.close()
     }

utils/native/src/main/scala/com/ossuminc/riddl/utils/NativePlatformContext.scala

@@ -72,7 +72,7 @@ class NativePlatformContext extends PlatformContext:
   override def read(file: URL): String =
     val source = Source.fromFile(file.toString)
     try {
-      source.getLines.mkString("\n")
+      source.getLines().mkString("\n")
     } finally {
       source.close()
     }