Add test for entity Id type in included context files

Verify no false warning when Id type is defined in an included
file within the containing context (reactive-bbq pattern).

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

Author: reid-spencer

passes/input/id-in-include/context-types.riddl

@@ -0,0 +1,6 @@
+// Types defined in an included file within the context
+type ReservationId is Id(FrontOfHouse.Reservation)
+type MakeReservation is command { partySize: Number }
+type ReservationMade is event { partySize: Number }
+type GetReservation is query { id: String }
+type ReservationResult is result { partySize: Number }

passes/input/id-in-include/main.riddl

@@ -0,0 +1,35 @@
+domain Restaurant is {
+  context FrontOfHouse is {
+    include "context-types.riddl"
+
+    entity Reservation is {
+      record ReservationFields is { partySize: Number }
+      state Active of Reservation.ReservationFields
+      handler ReservationHandler is {
+        on init { set field Reservation.ReservationFields.partySize to "0" }
+        on command Restaurant.FrontOfHouse.MakeReservation {
+          send event Restaurant.FrontOfHouse.ReservationMade
+            to outlet Restaurant.FrontOfHouse.Events.out
+        }
+        on query Restaurant.FrontOfHouse.GetReservation {
+          reply result Restaurant.FrontOfHouse.ReservationResult
+        }
+      }
+    }
+
+    source Events is { outlet out is type ReservationMade }
+    sink Incoming is {
+      inlet in is type MakeReservation
+      handler Dispatch is {
+        on command Restaurant.FrontOfHouse.MakeReservation {
+          tell command Restaurant.FrontOfHouse.MakeReservation
+            to entity Restaurant.FrontOfHouse.Reservation
+        }
+      }
+    }
+    connector Pipe {
+      from outlet FrontOfHouse.Events.out
+        to inlet FrontOfHouse.Incoming.in
+    }
+  }
+}

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

@@ -464,6 +464,58 @@ class CompletenessTest extends AbstractValidatingTest {
       }
     }
 
+    "not warn when entity Id type is defined in containing context" in { (td: TestData) =>
+      val input = RiddlParserInput(
+        """domain D is {
+          |  context FrontOfHouse is {
+          |    type ReservationId is Id(FrontOfHouse.Reservation)
+          |    type Evt is event { data: String }
+          |    entity Reservation is {
+          |      record Fields is { data: String }
+          |      state Main of Reservation.Fields
+          |      handler H is {
+          |        on init { set field Reservation.Fields.data to "x" }
+          |        on event D.FrontOfHouse.Evt {
+          |          set field Reservation.Fields.data to "updated"
+          |        }
+          |      }
+          |    }
+          |  }
+          |}
+          |""".stripMargin,
+        td
+      )
+      parseAndValidate(input.data, "test", shouldFailOnErrors = false) {
+        (_, _, msgs) =>
+          val cw = completenessWarnings(msgs)
+          val idWarnings = cw.filter(m =>
+            m.message.contains("Id type") || m.message.contains("Id(")
+          )
+          if idWarnings.nonEmpty then {
+            info(s"Unexpected Id warnings:\n${idWarnings.map(_.format).mkString("\n")}")
+          }
+          idWarnings mustBe empty
+      }
+    }
+
+    "not warn when entity Id type is in an included file within the context" in { (td: TestData) =>
+      val path = java.nio.file.Path.of("passes/input/id-in-include/main.riddl").toAbsolutePath
+      val data = java.nio.file.Files.readString(path)
+      val url = com.ossuminc.riddl.utils.URL.fromFullPath(path.toString)
+      val rpi = RiddlParserInput(data, url, td.name)
+      parseAndValidateInput(rpi, shouldFailOnErrors = false) {
+        (_, _, msgs) =>
+          val cw = completenessWarnings(msgs)
+          val idWarnings = cw.filter(m =>
+            m.message.contains("Id type") || m.message.contains("Id(")
+          )
+          if idWarnings.nonEmpty then {
+            info(s"Unexpected Id warnings:\n${idWarnings.map(_.format).mkString("\n")}")
+          }
+          idWarnings mustBe empty
+      }
+    }
+
     "warn when entity Id type is defined inside entity body" in { (td: TestData) =>
       val input = RiddlParserInput(
         """domain D is {