matrx-orm 3.1.146__tar.gz → 3.1.147__tar.gz

{matrx_orm-3.1.146 → matrx_orm-3.1.147}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: matrx-orm
-Version: 3.1.146
+Version: 3.1.147
 Summary: Async-first PostgreSQL ORM with bidirectional migrations, schema introspection, many-to-many relationships, and built-in state caching
 Project-URL: Homepage, https://github.com/AI-Matrix-Engine/aidream-current
 Project-URL: Repository, https://github.com/AI-Matrix-Engine/aidream-current

{matrx_orm-3.1.146 → matrx_orm-3.1.147}/matrx_orm/core/expressions.py

@@ -1120,6 +1120,7 @@ def _parse_lookup_simple(key: str) -> tuple[str, str]:
         "startswith",
         "endswith",
         "exclude",
+        "user_visible",
     }
     if "__" in key:
         parts = key.rsplit("__", 1)

{matrx_orm-3.1.146 → matrx_orm-3.1.147}/matrx_orm/query/executor.py

@@ -32,6 +32,12 @@ _BULK_HYDRATION_THREAD_THRESHOLD = 200
 
 _SKIP_PARAM = object()
 
+# The path field family the `__user_visible` lookup is registered on. The lookup
+# emits `files.is_user_visible_path(<column>)`, an IMMUTABLE predicate over a
+# logical file path; applying it to any other column would test the wrong value,
+# so the lookup raises instead.
+_USER_VISIBLE_PATH_FIELDS = frozenset({"file_path", "folder_path"})
+
 _PARAM_RE = re.compile(r"\$(\d+)")
 # Plain SQL identifier — same trust model as conflict_writes._IDENT_RE. Used for
 # the primary-key name interpolated into the pk-ordered locking sub-select.
@@ -351,6 +357,8 @@ class QueryExecutor:
         "startswith",
         "endswith",
         "exclude",
+        # Path-family predicate lookup (see _USER_VISIBLE_PATH_FIELDS)
+        "user_visible",
         # JSONB operators
         "json_key",
         "json_has_key",
@@ -444,6 +452,41 @@ class QueryExecutor:
             return f"{field} LIKE {placeholder}", f"%{_escape_like(value)}"
         if operator == "exclude":
             return f"{field} != {placeholder}", value
+        if operator == "user_visible":
+            # `file_path__user_visible=True` -> files.is_user_visible_path(file_path) = $n
+            #
+            # ONE EXPRESSION, not merely one rule. Postgres's predicate-implication
+            # prover matches a partial index whose predicate contains a function call
+            # only against the SAME expression in the query: spelling the rule as
+            # `path NOT LIKE 'system-files/%' AND ...` does NOT imply
+            # `files.is_user_visible_path(path)`, so the index is lost (measured live
+            # 2026-09-13: cost 11,177 with Sort+Filter vs 13.83 Index Only Scan for
+            # the identical predicate spelled as the function call). This named lookup
+            # is how every consumer -- the change feed, the tree RPC and both partial
+            # index predicates -- spells one expression. It is NOT a raw-SQL escape
+            # hatch: matrx-orm deliberately has none, and the emitted call is fixed.
+            column = field.rsplit(".", 1)[-1].strip('"')
+            if column not in _USER_VISIBLE_PATH_FIELDS:
+                raise QueryError(
+                    message=(
+                        f"The `__user_visible` lookup is registered on the path field "
+                        f"family {sorted(_USER_VISIBLE_PATH_FIELDS)} and cannot be applied "
+                        f"to {column!r}: files.is_user_visible_path() takes a logical file "
+                        f"path, so applying it to another column would silently test the "
+                        f"wrong value."
+                    ),
+                    details={"query": f"{field} __user_visible"},
+                )
+            if not isinstance(value, bool):
+                raise QueryError(
+                    message=(
+                        f"The `__user_visible` lookup is boolean-valued; got "
+                        f"{type(value).__name__} ({value!r}). Pass True for user-visible "
+                        f"rows or False for their complement."
+                    ),
+                    details={"query": f"{field} __user_visible"},
+                )
+            return f"files.is_user_visible_path({field}) = {placeholder}", value
         # JSONB operators
         if operator == "json_key":
             # value is either a bare key (non-null test) or (key, expected_value)

{matrx_orm-3.1.146 → matrx_orm-3.1.147}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "matrx-orm"
-version = "3.1.146"
+version = "3.1.147"
 description = "Async-first PostgreSQL ORM with bidirectional migrations, schema introspection, many-to-many relationships, and built-in state caching"
 readme = "README.md"
 license = { text = "MIT" }

matrx_orm-3.1.147/tests/test_user_visible_lookup.py

@@ -0,0 +1,52 @@
+"""The `__user_visible` path lookup (folder-sync SPEC-SERVER S25).
+
+ONE EXPRESSION, not merely one rule: the change feed, `public.get_user_file_tree`
+and both partial index predicates must spell the visibility rule as the identical
+call `files.is_user_visible_path(<column>)`, because Postgres's predicate-implication
+prover only matches an index predicate containing a function call against the same
+expression. These tests pin the emitted SQL text, so a refactor that "simplifies" the
+lookup into LIKE conjuncts fails here instead of silently losing the index.
+"""
+
+import pytest
+
+from matrx_orm.core.expressions import _parse_lookup_simple
+from matrx_orm.exceptions import QueryError
+from matrx_orm.query.executor import QueryExecutor
+
+
+def test_lookup_is_parsed_as_an_operator_not_a_column():
+    assert QueryExecutor._parse_lookup("file_path__user_visible") == ("file_path", "user_visible")
+    assert _parse_lookup_simple("file_path__user_visible") == ("file_path", "user_visible")
+
+
+@pytest.mark.parametrize(
+    ("field", "expected"),
+    [
+        ("file_path", "files.is_user_visible_path(file_path) = $1"),
+        ("files.files.file_path", "files.is_user_visible_path(files.files.file_path) = $1"),
+        ("folder_path", "files.is_user_visible_path(folder_path) = $1"),
+    ],
+)
+def test_emits_the_predicate_call_verbatim(field, expected):
+    sql, param = QueryExecutor._build_condition(field, "user_visible", True, 1)
+    assert sql == expected
+    assert param is True
+
+
+def test_false_is_the_complement_not_a_negated_spelling():
+    sql, param = QueryExecutor._build_condition("file_path", "user_visible", False, 7)
+    assert sql == "files.is_user_visible_path(file_path) = $7"
+    assert param is False
+
+
+def test_a_non_path_column_raises_instead_of_testing_the_wrong_value():
+    with pytest.raises(QueryError) as exc:
+        QueryExecutor._build_condition("files.files.file_name", "user_visible", True, 1)
+    assert "path field family" in str(exc.value)
+
+
+def test_a_non_boolean_value_raises():
+    with pytest.raises(QueryError) as exc:
+        QueryExecutor._build_condition("file_path", "user_visible", "true", 1)
+    assert "boolean-valued" in str(exc.value)