inputlayer-client-dev 0.1.0.dev919__tar.gz → 0.1.0.dev921__tar.gz

{inputlayer_client_dev-0.1.0.dev919 → inputlayer_client_dev-0.1.0.dev921}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: inputlayer-client-dev
-Version: 0.1.0.dev919
+Version: 0.1.0.dev921
 Summary: Python Object-Logic Mapper for InputLayer knowledge graph engine
 License-Expression: Apache-2.0
 License-File: LICENSE

{inputlayer_client_dev-0.1.0.dev919 → inputlayer_client_dev-0.1.0.dev921}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "inputlayer-client-dev"
-version = "0.1.0.dev919"
+version = "0.1.0.dev921"
 description = "Python Object-Logic Mapper for InputLayer knowledge graph engine"
 readme = "README.md"
 license = "Apache-2.0"

{inputlayer_client_dev-0.1.0.dev919 → inputlayer_client_dev-0.1.0.dev921}/src/inputlayer/compiler.py

@@ -666,6 +666,17 @@ def compile_rule(
         else:
             head_parts.append(column_to_variable(col))
 
+    # Compile filter conditions BEFORE building body atoms, so every column
+    # the condition references is registered in the env and gets bound to a
+    # variable in its atom. Compiling them after produced atoms with `_` for
+    # condition-only columns while the condition referenced an unbound
+    # variable - which the engine accepts and silently satisfies, deriving
+    # wrong results (e.g. a tier == "gold" filter matching every row).
+    cond_parts: list[str] = []
+    if condition:
+        cond_parts = compile_bool_expr(condition, env)
+        cond_parts = [p for p in cond_parts if p]
+
     # Build body atoms
     body_atoms: list[str] = []
     for rn, cls, alias in body_relations:
@@ -680,12 +691,6 @@ def compile_rule(
                 atom_parts.append("_")
         body_atoms.append(f"{rn}({', '.join(atom_parts)})")
 
-    # Compile filter conditions
-    cond_parts: list[str] = []
-    if condition:
-        cond_parts = compile_bool_expr(condition, env)
-        cond_parts = [p for p in cond_parts if p]
-
     all_body = body_atoms + cond_parts
     prefix = "+" if persistent else ""
     head_str = f"{prefix}{head_name}({', '.join(head_parts)})"

{inputlayer_client_dev-0.1.0.dev919 → inputlayer_client_dev-0.1.0.dev921}/tests/test_compiler.py

@@ -494,6 +494,25 @@ class TestCompileRule:
         )
         assert "+high_earner(Id, Name)" in result
         assert "Salary > 100000" in result
+        # The condition column must be BOUND in the body atom. Emitting
+        # employee(Id, Name, _, _, _) alongside `Salary > 100000` leaves
+        # Salary unbound - the engine accepts that and silently satisfies
+        # the comparison, deriving wrong results.
+        assert "employee(Id, Name, _, Salary, _)" in result
+
+    def test_condition_only_column_is_bound(self):
+        # Regression: a column referenced ONLY by the where-condition (not
+        # selected into the head) must still be bound in its atom.
+        cond = Comparison("=", AstColumn("employee", "department"), Literal("eng"))
+        result = compile_rule(
+            "eng_member",
+            ["name"],
+            {"name": AstColumn("employee", "name")},
+            [(Employee._resolve_name(), Employee, None)],
+            condition=cond,
+            persistent=True,
+        )
+        assert result == '+eng_member(Name) <- employee(_, Name, Department, _, _), Department = "eng"'
 
     def test_recursive(self):
         # reachable(Src, Dst) <- reachable(Src, Mid), edge(Mid, Dst)