Support checked keyed relationships across portable operations and queries

2026-09-25 12:02:05 -07:00
parent e0e8563224
commit 1bc3c69de3
23 changed files with 1203 additions and 949 deletions
@@ -344,4 +344,11 @@ test("rule inverse reads retain the concrete conformance ownership checks", () =
  const missing = compile(source.replace("Membership.parent.resolve", "Missing.parent.resolve"));
  assert.equal(missing.ok, false);
  assert.match(JSON.stringify(missing.diagnostics), /Unknown attachment/);
+  const unused = compile(
+    source
+      .replace('conform C as Child id "child-impl" {}', "")
+      .replace("Membership.parent.resolve", "Missing.parent.resolve"),
+  );
+  assert.equal(unused.ok, false);
+  assert.match(JSON.stringify(unused.diagnostics), /Unknown attachment/);
 });