chore: cleaned up trigger problems in allium specs

2026-07-22 14:33:42 +02:00
parent 2fc683d513
commit 1dd8194fa8
5 changed files with 66 additions and 32 deletions
--- a/specs/server.allium
+++ b/specs/server.allium
@@ -52,13 +52,15 @@ rule ModeResolution {
 }

 rule DesktopBoot {
-    when: ApplicationStarted(mode: desktop)
+    when: ApplicationStarted(mode)
+    requires: mode = desktop
    -- Unchanged behavior: wx window shell, loopback HTTP endpoint.
    ensures: DesktopWindowStarted()
 }

 rule ServerBoot {
-    when: ApplicationStarted(mode: server)
+    when: ApplicationStarted(mode)
+    requires: mode = server
    -- Started by `bds-cli server` or explicit desktop boot mode. Headless: no
    -- desktop UI children at all. Works on macOS, Windows, Linux.
    ensures: LoopbackEndpointStarted()