cj-tauri 1.1.2 → 2.1.0

package/src/tests/capability_test.cj

@@ -1,243 +1,243 @@
-package cjTauri.tests
-
-import cjTauri.*
-import std.collection.*
-import stdx.encoding.json.*
-import std.unittest.*
-import std.unittest.testmacro.*
-
-/*
- * 能力安全模型单元测试：默认最小权限是框架的核心承诺，
- * 这里锁住「未声明一律拒绝」「声明了才放行」「畸形清单不炸」三条行为。
- */
-
-@Test
-func testFromJsonParsesAllFields(): Unit {
-    let raw = "{\"identifier\":\"default\",\"windows\":[\"main\"],\"commands\":[\"greet\",\"system:ping\"],\"events\":[\"tick\"]}"
-    let cap = Capability.fromJson(JsonValue.fromStr(raw))
-    @Expect(cap.isSome(), true)
-    let c = cap.getOrThrow()
-    @Expect(c.identifier, "default")
-    @Expect(c.commands.size, 2)
-    @Expect(c.canInvoke("greet"), true)
-    @Expect(c.canInvoke("system:ping"), true)
-    @Expect(c.canEmit("tick"), true)
-    @Expect(c.windows.size, 1)
-}
-
-@Test
-func testFromJsonDefaultsToDenyAll(): Unit {
-    // 只给 identifier：清单合法但什么都不放行（默认最小权限）
-    let cap = Capability.fromJson(JsonValue.fromStr("{\"identifier\":\"empty\"}"))
-    @Expect(cap.isSome(), true)
-    let c = cap.getOrThrow()
-    @Expect(c.canInvoke("greet"), false)
-    @Expect(c.canEmit("tick"), false)
-    @Expect(c.commands.size, 0)
-    @Expect(c.events.size, 0)
-}
-
-@Test
-func testFromJsonRejectsInvalidShape(): Unit {
-    // 顶层不是对象
-    @Expect(Capability.fromJson(JsonValue.fromStr("[1,2]")).isNone(), true)
-    // 缺 identifier
-    @Expect(Capability.fromJson(JsonValue.fromStr("{\"commands\":[\"a\"]}")).isNone(), true)
-    // identifier 不是字符串
-    @Expect(Capability.fromJson(JsonValue.fromStr("{\"identifier\":7}")).isNone(), true)
-    // commands 不是数组：宽容跳过，清单本身仍合法（放行集合为空）
-    let lenient = Capability.fromJson(JsonValue.fromStr("{\"identifier\":\"x\",\"commands\":\"greet\"}"))
-    @Expect(lenient.isSome(), true)
-    @Expect(lenient.getOrThrow().canInvoke("greet"), false)
-    // 注：非 JSON 文本在 JsonValue.fromStr 处就抛 JsonException，进不到 fromJson；
-    // 这层防护在调用方——InvokeRequest.parse 与 capability_loader 的 try 里（前者见 ipc 测试）。
-}
-
-@Test
-func testFromJsonSkipsNonStringEntries(): Unit {
-    // 数组里混入数字/对象：跳过而不是整体失败
-    let raw = "{\"identifier\":\"mixed\",\"commands\":[\"ok\",7,{\"a\":1}],\"events\":[true,\"tick\"]}"
-    let cap = Capability.fromJson(JsonValue.fromStr(raw))
-    @Expect(cap.isSome(), true)
-    let c = cap.getOrThrow()
-    @Expect(c.canInvoke("ok"), true)
-    @Expect(c.commands.size, 1)
-    @Expect(c.canEmit("tick"), true)
-    @Expect(c.events.size, 1)
-}
-
-@Test
-func testRegistryAggregatesCapabilities(): Unit {
-    let reg = CapabilityRegistry()
-    let a = Capability("a")
-    a.allowCommand("greet")
-    let b = Capability("b")
-    b.allowCommand("system:ping")
-    b.allowEvent("tick")
-    reg.add(a)
-    reg.add(b)
-    @Expect(reg.size(), 2)
-    // 任一清单放行即通过
-    @Expect(reg.canInvoke("greet"), true)
-    @Expect(reg.canInvoke("system:ping"), true)
-    // 都没声明的一律拒绝
-    @Expect(reg.canInvoke("system:echo"), false)
-    @Expect(reg.canEmit("tick"), true)
-    @Expect(reg.canEmit("other"), false)
-}
-
-@Test
-func testRegistryEmptyDeniesEverything(): Unit {
-    let reg = CapabilityRegistry()
-    @Expect(reg.canInvoke("system:version"), false)
-    @Expect(reg.canEmit("tick"), false)
-    @Expect(reg.size(), 0)
-}
-
-@Test
-func testRegistryAddFromJson(): Unit {
-    let reg = CapabilityRegistry()
-    let ok = reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"x\",\"commands\":[\"greet\"]}"))
-    @Expect(ok, true)
-    @Expect(reg.canInvoke("greet"), true)
-    // 畸形清单：返回 false 且不影响已有能力
-    let bad = reg.addFromJson(JsonValue.fromStr("{\"nope\":1}"))
-    @Expect(bad, false)
-    @Expect(reg.size(), 1)
-    @Expect(reg.canInvoke("greet"), true)
-}
-
-@Test
-func testLoaderToleratesMissingDir(): Unit {
-    // 目录不存在不是错误：返回 0，注册表保持为空（首次放到没有 capabilities/ 的目录里跑就是这样）
-    let reg = CapabilityRegistry()
-    @Expect(loadCapabilitiesFromDir("no/such/capabilities/dir", reg), 0)
-    @Expect(reg.size(), 0)
-}
-
-/*
- * 命名权限集（v1.1）：清单里按集名引用，成员展开后与明文同权。
- * 三条底线要锁住：集名单独存在不放行、注册了没引用不放行、未知集不生效也不炸。
- */
-
-@Test
-func testFromJsonParsesPermissionSets(): Unit {
-    let cap = Capability.fromJson(JsonValue.fromStr("{\"identifier\":\"default\",\"permissions\":[\"fs:readonly\"]}"))
-    @Expect(cap.isSome(), true)
-    let c = cap.getOrThrow()
-    @Expect(c.permissions.size, 1)
-    // 集名只是「引用」：没有插件注册同名集时，它一条也不放行
-    @Expect(c.canInvoke("fs:readText"), false)
-}
-
-@Test
-func testPermissionSetExpandsToMembers(): Unit {
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"permissions\":[\"fs:readonly\"]}"))
-    let members = ArrayList<String>()
-    members.add("fs:readText")
-    members.add("fs:exists")
-    reg.addPermissionSet("fs:readonly", members)
-    @Expect(reg.canInvoke("fs:readText"), true)
-    @Expect(reg.canInvoke("fs:exists"), true)
-    @Expect(reg.canInvoke("fs:writeText"), false)      // 集外命令照旧拒绝
-    @Expect(reg.canInvoke("system:version"), false)    // 内置命令的放行规则没变
-}
-
-@Test
-func testPermissionSetCoversEventsToo(): Unit {
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"permissions\":[\"demo:watch\"]}"))
-    let members = ArrayList<String>()
-    members.add("demo:changed")
-    reg.addPermissionSet("demo:watch", members)
-    @Expect(reg.canEmit("demo:changed"), true)
-    @Expect(reg.canEmit("demo:other"), false)
-}
-
-@Test
-func testRegisteredPermissionSetNotReferencedStaysDenied(): Unit {
-    // 集注册了，但清单没引用它：一条也不放行（默认最小权限不打折）
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\"}"))
-    let members = ArrayList<String>()
-    members.add("fs:readText")
-    reg.addPermissionSet("fs:readonly", members)
-    @Expect(reg.canInvoke("fs:readText"), false)
-}
-
-@Test
-func testPermissionSetWithoutProviderIsInert(): Unit {
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"permissions\":[\"nope:none\"],\"commands\":[\"greet\"]}"))
-    @Expect(reg.canInvoke("greet"), true)               // 明文命令不受影响
-    @Expect(reg.canInvoke("nope:thing"), false)         // 未知集不生效、也不炸
-    @Expect(reg.declaredPermissionSets().size, 1)       // 但要能被列出来，供启动提示
-    @Expect(reg.hasPermissionSet("nope:none"), false)
-}
-
-@Test
-func testPlainNameAndPermissionSetCoexist(): Unit {
-    // 两种写法混用：并集生效（旧清单可以逐条迁移）
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"commands\":[\"fs:exists\"],\"permissions\":[\"fs:readonly\"]}"))
-    let members = ArrayList<String>()
-    members.add("fs:readText")
-    reg.addPermissionSet("fs:readonly", members)
-    @Expect(reg.canInvoke("fs:exists"), true)
-    @Expect(reg.canInvoke("fs:readText"), true)
-    @Expect(reg.canInvoke("fs:writeText"), false)
-}
-
-/*
- * 白名单的**运行期加白**（D-021）：与清单同权、先 deny 后 allow、只收具体值。
- * 这三条正是它敢开「运行期」这个口子的前提——缺一条就等于把防线交给页面。
- */
-
-@Test
-func testRuntimeAllowExtendsManifestScope(): Unit {
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"scopes\":{\"http\":{\"allow\":[\"api.a.com\"]}}}"))
-    @Expect(reg.scopeAllowsValue("http", "api.a.com"), true)
-    @Expect(reg.scopeAllowsValue("http", "api.b.com"), false)
-    // 叠加一条后：新旧都在，没加的照旧拒
-    @Expect(reg.addRuntimeScopeAllow("http", "api.b.com"), true)
-    @Expect(reg.scopeAllowsValue("http", "api.b.com"), true)
-    @Expect(reg.scopeAllowsValue("http", "api.a.com"), true)
-    @Expect(reg.scopeAllowsValue("http", "api.evil.com"), false)
-}
-
-@Test
-func testRuntimeAllowCannotBeatDeny(): Unit {
-    // deny 命中即拒：加白掀不掉它（运行期条目走的仍是「先 deny 后 allow」同一条判定）
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr(
-        "{\"identifier\":\"d\",\"scopes\":{\"http\":{\"allow\":[\"api.a.com\"],\"deny\":[\"api.a.com\"]}}}"))
-    @Expect(reg.scopeAllowsValue("http", "api.a.com"), false)
-    @Expect(reg.addRuntimeScopeAllow("http", "api.a.com"), true)
-    @Expect(reg.scopeAllowsValue("http", "api.a.com"), false)
-}
-
-@Test
-func testRuntimeAllowRefusesGlobPattern(): Unit {
-    // 页面可控字符串里带一个通配就等于全放行：注册中心必须当场拒，且名单一条都不多
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"scopes\":{\"http\":{\"allow\":[\"api.a.com\"]}}}"))
-    @Expect(reg.addRuntimeScopeAllow("http", "*"), false)
-    @Expect(reg.addRuntimeScopeAllow("http", "api.*.com"), false)
-    @Expect(reg.addRuntimeScopeAllow("http", "api.a.com\n"), false)
-    @Expect(reg.addRuntimeScopeAllow("http", ""), false)
-    @Expect(reg.scopeAllowsValue("http", "api.evil.com"), false)
-    @Expect(reg.scopeForPlugin("http").getOrThrow().allow.size, 1)
-}
-
-@Test
-func testRuntimeAllowIgnoredWhenManifestHasNoScope(): Unit {
-    // 清单没给该插件写 scope：调用方按旧行为全量放行，叠加项不得把它收窄成「只放行这一条」
-    let reg = CapabilityRegistry()
-    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\"}"))
-    @Expect(reg.scopeAllowsValue("http", "anything.at.all"), true)
-    @Expect(reg.addRuntimeScopeAllow("http", "api.b.com"), true)
-    @Expect(reg.scopeForPlugin("http").isNone(), true)
-    @Expect(reg.scopeAllowsValue("http", "anything.at.all"), true)
-}
+package cjTauri.tests
+
+import cjTauri.*
+import std.collection.*
+import stdx.encoding.json.*
+import std.unittest.*
+import std.unittest.testmacro.*
+
+/*
+ * 能力安全模型单元测试：默认最小权限是框架的核心承诺，
+ * 这里锁住「未声明一律拒绝」「声明了才放行」「畸形清单不炸」三条行为。
+ */
+
+@Test
+func testFromJsonParsesAllFields(): Unit {
+    let raw = "{\"identifier\":\"default\",\"windows\":[\"main\"],\"commands\":[\"greet\",\"system:ping\"],\"events\":[\"tick\"]}"
+    let cap = Capability.fromJson(JsonValue.fromStr(raw))
+    @Expect(cap.isSome(), true)
+    let c = cap.getOrThrow()
+    @Expect(c.identifier, "default")
+    @Expect(c.commands.size, 2)
+    @Expect(c.canInvoke("greet"), true)
+    @Expect(c.canInvoke("system:ping"), true)
+    @Expect(c.canEmit("tick"), true)
+    @Expect(c.windows.size, 1)
+}
+
+@Test
+func testFromJsonDefaultsToDenyAll(): Unit {
+    // 只给 identifier：清单合法但什么都不放行（默认最小权限）
+    let cap = Capability.fromJson(JsonValue.fromStr("{\"identifier\":\"empty\"}"))
+    @Expect(cap.isSome(), true)
+    let c = cap.getOrThrow()
+    @Expect(c.canInvoke("greet"), false)
+    @Expect(c.canEmit("tick"), false)
+    @Expect(c.commands.size, 0)
+    @Expect(c.events.size, 0)
+}
+
+@Test
+func testFromJsonRejectsInvalidShape(): Unit {
+    // 顶层不是对象
+    @Expect(Capability.fromJson(JsonValue.fromStr("[1,2]")).isNone(), true)
+    // 缺 identifier
+    @Expect(Capability.fromJson(JsonValue.fromStr("{\"commands\":[\"a\"]}")).isNone(), true)
+    // identifier 不是字符串
+    @Expect(Capability.fromJson(JsonValue.fromStr("{\"identifier\":7}")).isNone(), true)
+    // commands 不是数组：宽容跳过，清单本身仍合法（放行集合为空）
+    let lenient = Capability.fromJson(JsonValue.fromStr("{\"identifier\":\"x\",\"commands\":\"greet\"}"))
+    @Expect(lenient.isSome(), true)
+    @Expect(lenient.getOrThrow().canInvoke("greet"), false)
+    // 注：非 JSON 文本在 JsonValue.fromStr 处就抛 JsonException，进不到 fromJson；
+    // 这层防护在调用方——InvokeRequest.parse 与 capability_loader 的 try 里（前者见 ipc 测试）。
+}
+
+@Test
+func testFromJsonSkipsNonStringEntries(): Unit {
+    // 数组里混入数字/对象：跳过而不是整体失败
+    let raw = "{\"identifier\":\"mixed\",\"commands\":[\"ok\",7,{\"a\":1}],\"events\":[true,\"tick\"]}"
+    let cap = Capability.fromJson(JsonValue.fromStr(raw))
+    @Expect(cap.isSome(), true)
+    let c = cap.getOrThrow()
+    @Expect(c.canInvoke("ok"), true)
+    @Expect(c.commands.size, 1)
+    @Expect(c.canEmit("tick"), true)
+    @Expect(c.events.size, 1)
+}
+
+@Test
+func testRegistryAggregatesCapabilities(): Unit {
+    let reg = CapabilityRegistry()
+    let a = Capability("a")
+    a.allowCommand("greet")
+    let b = Capability("b")
+    b.allowCommand("system:ping")
+    b.allowEvent("tick")
+    reg.add(a)
+    reg.add(b)
+    @Expect(reg.size(), 2)
+    // 任一清单放行即通过
+    @Expect(reg.canInvoke("greet"), true)
+    @Expect(reg.canInvoke("system:ping"), true)
+    // 都没声明的一律拒绝
+    @Expect(reg.canInvoke("system:echo"), false)
+    @Expect(reg.canEmit("tick"), true)
+    @Expect(reg.canEmit("other"), false)
+}
+
+@Test
+func testRegistryEmptyDeniesEverything(): Unit {
+    let reg = CapabilityRegistry()
+    @Expect(reg.canInvoke("system:version"), false)
+    @Expect(reg.canEmit("tick"), false)
+    @Expect(reg.size(), 0)
+}
+
+@Test
+func testRegistryAddFromJson(): Unit {
+    let reg = CapabilityRegistry()
+    let ok = reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"x\",\"commands\":[\"greet\"]}"))
+    @Expect(ok, true)
+    @Expect(reg.canInvoke("greet"), true)
+    // 畸形清单：返回 false 且不影响已有能力
+    let bad = reg.addFromJson(JsonValue.fromStr("{\"nope\":1}"))
+    @Expect(bad, false)
+    @Expect(reg.size(), 1)
+    @Expect(reg.canInvoke("greet"), true)
+}
+
+@Test
+func testLoaderToleratesMissingDir(): Unit {
+    // 目录不存在不是错误：返回 0，注册表保持为空（首次放到没有 capabilities/ 的目录里跑就是这样）
+    let reg = CapabilityRegistry()
+    @Expect(loadCapabilitiesFromDir("no/such/capabilities/dir", reg), 0)
+    @Expect(reg.size(), 0)
+}
+
+/*
+ * 命名权限集（v1.1）：清单里按集名引用，成员展开后与明文同权。
+ * 三条底线要锁住：集名单独存在不放行、注册了没引用不放行、未知集不生效也不炸。
+ */
+
+@Test
+func testFromJsonParsesPermissionSets(): Unit {
+    let cap = Capability.fromJson(JsonValue.fromStr("{\"identifier\":\"default\",\"permissions\":[\"fs:readonly\"]}"))
+    @Expect(cap.isSome(), true)
+    let c = cap.getOrThrow()
+    @Expect(c.permissions.size, 1)
+    // 集名只是「引用」：没有插件注册同名集时，它一条也不放行
+    @Expect(c.canInvoke("fs:readText"), false)
+}
+
+@Test
+func testPermissionSetExpandsToMembers(): Unit {
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"permissions\":[\"fs:readonly\"]}"))
+    let members = ArrayList<String>()
+    members.add("fs:readText")
+    members.add("fs:exists")
+    reg.addPermissionSet("fs:readonly", members)
+    @Expect(reg.canInvoke("fs:readText"), true)
+    @Expect(reg.canInvoke("fs:exists"), true)
+    @Expect(reg.canInvoke("fs:writeText"), false)      // 集外命令照旧拒绝
+    @Expect(reg.canInvoke("system:version"), false)    // 内置命令的放行规则没变
+}
+
+@Test
+func testPermissionSetCoversEventsToo(): Unit {
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"permissions\":[\"demo:watch\"]}"))
+    let members = ArrayList<String>()
+    members.add("demo:changed")
+    reg.addPermissionSet("demo:watch", members)
+    @Expect(reg.canEmit("demo:changed"), true)
+    @Expect(reg.canEmit("demo:other"), false)
+}
+
+@Test
+func testRegisteredPermissionSetNotReferencedStaysDenied(): Unit {
+    // 集注册了，但清单没引用它：一条也不放行（默认最小权限不打折）
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\"}"))
+    let members = ArrayList<String>()
+    members.add("fs:readText")
+    reg.addPermissionSet("fs:readonly", members)
+    @Expect(reg.canInvoke("fs:readText"), false)
+}
+
+@Test
+func testPermissionSetWithoutProviderIsInert(): Unit {
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"permissions\":[\"nope:none\"],\"commands\":[\"greet\"]}"))
+    @Expect(reg.canInvoke("greet"), true)               // 明文命令不受影响
+    @Expect(reg.canInvoke("nope:thing"), false)         // 未知集不生效、也不炸
+    @Expect(reg.declaredPermissionSets().size, 1)       // 但要能被列出来，供启动提示
+    @Expect(reg.hasPermissionSet("nope:none"), false)
+}
+
+@Test
+func testPlainNameAndPermissionSetCoexist(): Unit {
+    // 两种写法混用：并集生效（旧清单可以逐条迁移）
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"commands\":[\"fs:exists\"],\"permissions\":[\"fs:readonly\"]}"))
+    let members = ArrayList<String>()
+    members.add("fs:readText")
+    reg.addPermissionSet("fs:readonly", members)
+    @Expect(reg.canInvoke("fs:exists"), true)
+    @Expect(reg.canInvoke("fs:readText"), true)
+    @Expect(reg.canInvoke("fs:writeText"), false)
+}
+
+/*
+ * 白名单的**运行期加白**（D-021）：与清单同权、先 deny 后 allow、只收具体值。
+ * 这三条正是它敢开「运行期」这个口子的前提——缺一条就等于把防线交给页面。
+ */
+
+@Test
+func testRuntimeAllowExtendsManifestScope(): Unit {
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"scopes\":{\"http\":{\"allow\":[\"api.a.com\"]}}}"))
+    @Expect(reg.scopeAllowsValue("http", "api.a.com"), true)
+    @Expect(reg.scopeAllowsValue("http", "api.b.com"), false)
+    // 叠加一条后：新旧都在，没加的照旧拒
+    @Expect(reg.addRuntimeScopeAllow("http", "api.b.com"), true)
+    @Expect(reg.scopeAllowsValue("http", "api.b.com"), true)
+    @Expect(reg.scopeAllowsValue("http", "api.a.com"), true)
+    @Expect(reg.scopeAllowsValue("http", "api.evil.com"), false)
+}
+
+@Test
+func testRuntimeAllowCannotBeatDeny(): Unit {
+    // deny 命中即拒：加白掀不掉它（运行期条目走的仍是「先 deny 后 allow」同一条判定）
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr(
+        "{\"identifier\":\"d\",\"scopes\":{\"http\":{\"allow\":[\"api.a.com\"],\"deny\":[\"api.a.com\"]}}}"))
+    @Expect(reg.scopeAllowsValue("http", "api.a.com"), false)
+    @Expect(reg.addRuntimeScopeAllow("http", "api.a.com"), true)
+    @Expect(reg.scopeAllowsValue("http", "api.a.com"), false)
+}
+
+@Test
+func testRuntimeAllowRefusesGlobPattern(): Unit {
+    // 页面可控字符串里带一个通配就等于全放行：注册中心必须当场拒，且名单一条都不多
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\",\"scopes\":{\"http\":{\"allow\":[\"api.a.com\"]}}}"))
+    @Expect(reg.addRuntimeScopeAllow("http", "*"), false)
+    @Expect(reg.addRuntimeScopeAllow("http", "api.*.com"), false)
+    @Expect(reg.addRuntimeScopeAllow("http", "api.a.com\n"), false)
+    @Expect(reg.addRuntimeScopeAllow("http", ""), false)
+    @Expect(reg.scopeAllowsValue("http", "api.evil.com"), false)
+    @Expect(reg.scopeForPlugin("http").getOrThrow().allow.size, 1)
+}
+
+@Test
+func testRuntimeAllowIgnoredWhenManifestHasNoScope(): Unit {
+    // 清单没给该插件写 scope：调用方按旧行为全量放行，叠加项不得把它收窄成「只放行这一条」
+    let reg = CapabilityRegistry()
+    reg.addFromJson(JsonValue.fromStr("{\"identifier\":\"d\"}"))
+    @Expect(reg.scopeAllowsValue("http", "anything.at.all"), true)
+    @Expect(reg.addRuntimeScopeAllow("http", "api.b.com"), true)
+    @Expect(reg.scopeForPlugin("http").isNone(), true)
+    @Expect(reg.scopeAllowsValue("http", "anything.at.all"), true)
+}

package/src/tests/dialog_spec_test.cj

@@ -0,0 +1,73 @@
+package cjTauri.tests
+
+import cjTauri.*
+import std.unittest.*
+import std.unittest.testmacro.*
+
+/*
+ * 对话框「形状」判定的单元测试（共享层 `src/dialog_spec.cj`）。
+ *
+ * 这些判定由桌面原生对话框与鸿蒙应用侧 overlay 共用，所以放这里测——原先把判定写在
+ * `host_arkweb.cj` 里，那个文件带 `@When[env == "ohos"]` 门禁，桌面 `cjpm test` 编不到，
+ * 等于这段语义一直没有回归网。
+ *
+ * `@Test` 只能修饰**顶层函数**（写成 class 方法会报 `@Test modified function is not top level`）。
+ */
+
+/** 形状的可读名（enum 没派生 Equatable，断言走字符串比，绕开 `@Expect` 对 enum 的推断限制） */
+func dialogShapeName(shape: DialogShape): String {
+    match (shape) {
+        case DialogShape.Message => return "message"
+        case DialogShape.Confirm => return "confirm"
+        case DialogShape.Prompt => return "prompt"
+    }
+}
+
+@Test
+func dialogKindEmptyFallsBackToInfo() {
+    @Expect(normalizeDialogKind("") == "info")
+    @Expect(normalizeDialogKind("   ") == "info")
+}
+
+@Test
+func dialogKindTrimsAndLowers() {
+    @Expect(normalizeDialogKind("  WARNING ") == "warning")
+    @Expect(normalizeDialogKind("Confirm") == "confirm")
+    @Expect(normalizeDialogKind("ERROR") == "error")
+}
+
+@Test
+func dialogKindKeepsKnownValues() {
+    @Expect(normalizeDialogKind("info") == "info")
+    @Expect(normalizeDialogKind("prompt") == "prompt")
+}
+
+/* 页面把 kind 写错（打错字、传了个不存在的词）时回落 info：只影响外观，不该让对话框不弹 */
+@Test
+func dialogKindUnknownFallsBackToInfo() {
+    @Expect(normalizeDialogKind("fatal") == "info")
+    @Expect(normalizeDialogKind("警告") == "info")
+}
+
+@Test
+func dialogShapeOfSingleKeyKinds() {
+    @Expect(dialogShapeName(dialogShapeOf("info")) == "message")
+    @Expect(dialogShapeName(dialogShapeOf("warning")) == "message")
+    @Expect(dialogShapeName(dialogShapeOf("error")) == "message")
+    @Expect(dialogShapeName(dialogShapeOf("")) == "message")
+}
+
+@Test
+func dialogShapeOfTwoKeyKinds() {
+    @Expect(dialogShapeName(dialogShapeOf("confirm")) == "confirm")
+    @Expect(dialogShapeName(dialogShapeOf("PROMPT")) == "prompt")
+}
+
+/* 两键判定的口径：Confirm 与 Prompt 都要「确定 / 取消」，Message 只有一个确定键 */
+@Test
+func dialogShapeTwoKeyMatchesShape() {
+    @Expect(dialogShapeIsTwoKey(dialogShapeOf("confirm")))
+    @Expect(dialogShapeIsTwoKey(dialogShapeOf("prompt")))
+    @Expect(!dialogShapeIsTwoKey(dialogShapeOf("info")))
+    @Expect(!dialogShapeIsTwoKey(dialogShapeOf("fatal")))
+}