feat(rules): add service/container kind fields and rename node kind to symbol_kind

Support `node.symbol_kind`, `node.kind` (container kind), and `node.service` in node field extraction; add `from/to.service` and `from/to.kind` for edge fields; update docs and tests accordingly.

Author: akhundMurad

pacta/rules/ast.py

@@ -134,13 +134,16 @@ class FieldAst(ExprAst):
     A field reference.
 
     Node targets:
-      - "node.kind", "node.path", "node.name", "node.layer",
+      - "node.symbol_kind", "node.kind", "node.service",
+        "node.path", "node.name", "node.layer",
         "node.context", "node.container", "node.tags", "node.fqname"
 
     Dependency targets:
       - "from.layer", "to.layer"
       - "from.context", "to.context"
       - "from.container", "to.container"
+      - "from.service", "to.service"
+      - "from.kind", "to.kind"
       - "from.fqname", "to.fqname"
       - "dep.type"
       - "loc.file" (optional if you want)

pacta/rules/builtins.py

@@ -90,7 +90,10 @@ def get_node_field(node: IRNode, path: str) -> Any:
     Runtime field extraction for node predicates.
 
     Supported paths:
-      - kind, path, name, layer, context, container, tags
+      - symbol_kind (SymbolKind — file, module, class, etc.)
+      - kind (container kind — service, module, library)
+      - service (top-level container ancestor)
+      - path, name, layer, context, container, tags
       - fqname (node.id.fqname)
       - id (str(node.id))
       - code_root (node.id.code_root)
@@ -100,8 +103,12 @@ def get_node_field(node: IRNode, path: str) -> Any:
     if p.startswith("node."):
         p = p[len("node.") :]
 
-    if p == "kind":
+    if p == "symbol_kind":
         return node.kind.value
+    if p == "kind":
+        return node.container_kind
+    if p == "service":
+        return node.service
     if p == "path":
         return node.path
     if p == "name":
@@ -135,6 +142,8 @@ def get_edge_field(edge: IREdge, path: str) -> Any:
       - from.layer / to.layer
       - from.context / to.context
       - from.container / to.container
+      - from.service / to.service
+      - from.kind / to.kind (container kind)
       - from.fqname / to.fqname
       - from.id / to.id
       - dep.type
@@ -157,6 +166,16 @@ def get_edge_field(edge: IREdge, path: str) -> Any:
     if p == "to.container":
         return edge.dst_container
 
+    if p == "from.service":
+        return edge.src_service
+    if p == "to.service":
+        return edge.dst_service
+
+    if p == "from.kind":
+        return edge.src_container_kind
+    if p == "to.kind":
+        return edge.dst_container_kind
+
     if p == "from.fqname":
         return edge.src.fqname
     if p == "to.fqname":

pacta/rules/compiler.py

@@ -34,7 +34,9 @@ class _CompiledWhen:
 def _get_node_field(n: IRNode, field: str) -> Any:
     """
     Supported node fields (frontends may use either node.<x> or <x>):
-      - kind (SymbolKind.value)
+      - symbol_kind (SymbolKind.value — file, module, class, etc.)
+      - kind (container kind — service, module, library)
+      - service (top-level container ancestor)
       - path
       - name
       - layer
@@ -50,8 +52,12 @@ def _get_node_field(n: IRNode, field: str) -> Any:
     if f.startswith("node."):
         f = f[len("node.") :]
 
-    if f == "kind":
+    if f == "symbol_kind":
         return n.kind.value
+    if f == "kind":
+        return n.container_kind
+    if f == "service":
+        return n.service
     if f == "path":
         return n.path
     if f == "name":
@@ -82,6 +88,8 @@ def _get_edge_field(e: IREdge, field: str) -> Any:
       - from.layer / to.layer
       - from.context / to.context
       - from.container / to.container
+      - from.service / to.service
+      - from.kind / to.kind (container kind)
       - from.fqname / to.fqname
       - from.id / to.id  (full canonical id string)
       - dep.type (DepType.value)
@@ -104,6 +112,16 @@ def _get_edge_field(e: IREdge, field: str) -> Any:
     if f == "to.container":
         return e.dst_container
 
+    if f == "from.service":
+        return e.src_service
+    if f == "to.service":
+        return e.dst_service
+
+    if f == "from.kind":
+        return e.src_container_kind
+    if f == "to.kind":
+        return e.dst_container_kind
+
     if f == "from.fqname":
         return e.src.fqname
     if f == "to.fqname":

tests/rules/test_builtins.py

@@ -171,8 +171,8 @@ def test_get_node_field_supported_fields():
         tags=("internal", "critical"),
     )
 
-    assert get_node_field(n, "kind") == SymbolKind.CLASS.value
-    assert get_node_field(n, "node.kind") == SymbolKind.CLASS.value
+    assert get_node_field(n, "symbol_kind") == SymbolKind.CLASS.value
+    assert get_node_field(n, "node.symbol_kind") == SymbolKind.CLASS.value
     assert get_node_field(n, "path") == "services/billing/domain/invoice.py"
     assert get_node_field(n, "name") == "Invoice"
     assert get_node_field(n, "container") == "billing"

tests/rules/test_compiler.py

@@ -170,7 +170,7 @@ def test_compile_in_operator_with_list_literal():
         action="forbid",
         when=NodeWhenAst(
             predicate=CompareAst(
-                left=FieldAst(path="kind"),
+                left=FieldAst(path="symbol_kind"),
                 op="in",
                 right=lit_list(["module", "package"]),
             )