sarj-python-lint 0.80.5__tar.gz → 0.80.6__tar.gz

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: sarj-python-lint
-Version: 0.80.5
+Version: 0.80.6
 Summary: Custom Python lint rules — AST-based, pre-commit-friendly, hypermodern defaults
 Project-URL: Homepage, https://code-standards.sarj.ai/rules/python/
 Project-URL: Documentation, https://code-standards.sarj.ai/rules/python/
@@ -18,6 +18,7 @@ Classifier: Programming Language :: Python :: 3.14
 Classifier: Topic :: Software Development :: Quality Assurance
 Requires-Python: >=3.14
 Requires-Dist: ruff>=0.16.5
+Requires-Dist: sqlglot==30.18.0
 Description-Content-Type: text/markdown
 
 <!-- Generated by `code-standards maintain docs sync`; do not edit. -->

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "sarj-python-lint"
-version = "0.80.5"
+version = "0.80.6"
 description = "Custom Python lint rules — AST-based, pre-commit-friendly, hypermodern defaults"
 readme = "README.md"
 authors = [{ name = "sarj-ai" }]
@@ -15,7 +15,7 @@ classifiers = [
   "Programming Language :: Python :: 3.14",
   "Topic :: Software Development :: Quality Assurance",
 ]
-dependencies = ["ruff>=0.16.5"]
+dependencies = ["ruff>=0.16.5", "sqlglot==30.18.0"]
 
 [project.scripts]
 sarj-python-lint = "sarj_python_lint.__main__:main"

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/src/sarj_python_lint/__main__.py

@@ -125,14 +125,12 @@ def analyze(
 
 _DIAGNOSTIC_PRECEDENCE = MappingProxyType(
     {
-        "SARJ003": frozenset({"SARJ080"}),
         "SARJ050": frozenset({"SARJ420"}),
-        "SARJ084": frozenset({"SARJ050", "SARJ091", "SARJ420"}),
+        "SARJ084": frozenset({"SARJ050", "SARJ420"}),
         "SARJ085": frozenset({"SARJ420"}),
         "SARJ086": frozenset({"SARJ420"}),
         "SARJ087": frozenset({"SARJ420"}),
-        "SARJ088": frozenset({"SARJ050", "SARJ085", "SARJ091", "SARJ420"}),
-        "SARJ091": frozenset({"SARJ420"}),
+        "SARJ088": frozenset({"SARJ050", "SARJ085", "SARJ420"}),
         "SARJ092": frozenset({"SARJ086", "SARJ087", "SARJ420"}),
         "SARJ093": frozenset({"SARJ034"}),
         "SARJ099": frozenset({"SARJ420"}),
@@ -140,7 +138,7 @@ _DIAGNOSTIC_PRECEDENCE = MappingProxyType(
 )
 
 _DOCSTRING_PRECEDENCE_CODES = frozenset(
-    {"SARJ050", "SARJ084", "SARJ085", "SARJ086", "SARJ087", "SARJ088", "SARJ091", "SARJ092", "SARJ099"}
+    {"SARJ050", "SARJ084", "SARJ085", "SARJ086", "SARJ087", "SARJ088", "SARJ092", "SARJ099"}
 )
 
 

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/src/sarj_python_lint/rules/_fastapi.py

@@ -41,6 +41,8 @@ class Route:
     path: str | None
     receiver_kind: Literal["FastAPI", "APIRouter"]
     inherited_hidden: bool = False
+    inherited_responses: ast.expr | None = None
+    inherited_response_class: ast.expr | None = None
 
     @property
     def keywords(self) -> dict[str, ast.expr]:
@@ -119,6 +121,7 @@ class FastapiIndex:
         self.receiver_origins: dict[_ReceiverKey, _ReceiverKey] = {}
         self.receiver_kinds: dict[_ReceiverKey, Literal["FastAPI", "APIRouter"]] = {}
         self.hidden_receivers: set[_ReceiverKey] = set()
+        self.receiver_defaults: dict[_ReceiverKey, dict[str, ast.expr]] = {}
         self.decorators: dict[_ReceiverKey, _DecoratorBinding] = {}
         self.bound_names: set[_ReceiverKey] = set()
         self._node_scopes: dict[int, int] = {}
@@ -243,6 +246,12 @@ class FastapiIndex:
                     self.receivers.add(key)
                     self.receiver_origins[key] = key
                     self.receiver_kinds[key] = constructor_kind
+                    if isinstance(value, ast.Call):
+                        self.receiver_defaults[key] = {
+                            keyword.arg: keyword.value
+                            for keyword in value.keywords
+                            if keyword.arg in {"responses", "default_response_class"}
+                        }
                     if self._constructor_is_hidden(value):
                         self.hidden_receivers.add(key)
                     changed = True
@@ -346,6 +355,7 @@ class FastapiIndex:
             path = path_node.value if isinstance(path_node, ast.Constant) and isinstance(path_node.value, str) else None
             route_methods = self._route_methods(decorator) if method == "api_route" else (method,)
             origin = self.receiver_origins[receiver_key]
+            defaults = self.receiver_defaults.get(origin, {})
             routes.extend(
                 Route(
                     decorator=decorator,
@@ -354,6 +364,8 @@ class FastapiIndex:
                     path=path,
                     receiver_kind=self.receiver_kinds[receiver_key],
                     inherited_hidden=receiver_key in self.hidden_receivers,
+                    inherited_responses=defaults.get("responses"),
+                    inherited_response_class=defaults.get("default_response_class"),
                 )
                 for route_method in route_methods
             )

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/src/sarj_python_lint/rules/_imports.py

@@ -49,6 +49,12 @@ class ImportIndex:
         resolved = self._resolve(node)
         return resolved is not None and resolved.module in sources and resolved.symbol == symbol
 
+    def resolved_symbol(self, node: ast.expr, *, sources: frozenset[str]) -> str | None:
+        resolved = self._resolve(node)
+        if resolved is None or resolved.module not in sources:
+            return None
+        return resolved.symbol
+
     def builtin_is_unshadowed(self, name: str) -> bool:
         return name not in self.shadowed_names and name not in self.bindings
 

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/src/sarj_python_lint/rules/_prose_budget.py

@@ -198,7 +198,7 @@ def _docstring_groups(tree: ast.Module) -> list[ProseGroup]:
         ):
             continue
         if isinstance(node, (ast.ClassDef, ast.FunctionDef, ast.AsyncFunctionDef)) and (
-            decorator_markers(node) & PROMPT_DECORATOR_MARKERS
+            _decorator_terminal_names(node) & PROMPT_DECORATOR_MARKERS
         ):
             continue
         if isinstance(node, ast.ClassDef) and _is_schema_class(node):
@@ -244,6 +244,17 @@ def _is_schema_class(node: ast.ClassDef) -> bool:
     return bool(bases & _SCHEMA_BASES or decorator_markers(node) & _SCHEMA_DECORATORS)
 
 
+def _decorator_terminal_names(node: ast.FunctionDef | ast.AsyncFunctionDef | ast.ClassDef) -> frozenset[str]:
+    names: set[str] = set()
+    for decorator in node.decorator_list:
+        target = decorator.func if isinstance(decorator, ast.Call) else decorator
+        if isinstance(target, ast.Name):
+            names.add(target.id.casefold())
+        elif isinstance(target, ast.Attribute):
+            names.add(target.attr.casefold())
+    return frozenset(names)
+
+
 def _fully_typed(node: ast.FunctionDef | ast.AsyncFunctionDef) -> bool:
     args = node.args
     parameters = (*args.posonlyargs, *args.args, *args.kwonlyargs)
@@ -270,21 +281,23 @@ def _typed_restatement_lines(
     docstring_line: int,
 ) -> tuple[int, ...]:
     annotations = {
-        arg.arg: _normalise_type(ast.unparse(arg.annotation))
+        arg.arg: _annotation_type(arg.annotation)
         for arg in (*node.args.posonlyargs, *node.args.args, *node.args.kwonlyargs)
         if arg.annotation is not None
     }
     if node.args.vararg is not None and node.args.vararg.annotation is not None:
-        annotations[f"*{node.args.vararg.arg}"] = _normalise_type(ast.unparse(node.args.vararg.annotation))
+        annotations[f"*{node.args.vararg.arg}"] = _annotation_type(node.args.vararg.annotation)
     if node.args.kwarg is not None and node.args.kwarg.annotation is not None:
-        annotations[f"**{node.args.kwarg.arg}"] = _normalise_type(ast.unparse(node.args.kwarg.annotation))
-    return_type = _normalise_type(ast.unparse(node.returns)) if node.returns is not None else ""
-    body_line_counts = _section_body_line_counts(doc)
+        annotations[f"**{node.args.kwarg.arg}"] = _annotation_type(node.args.kwarg.annotation)
+    return_type = _annotation_type(node.returns) if node.returns is not None else None
+    yield_type = _yielded_type(node.returns) if node.returns is not None else None
+    visible_doc = _without_literal_examples(doc)
+    body_line_counts = _section_body_line_counts(visible_doc)
 
     active: str | None = None
     active_header: int | None = None
     result: list[int] = []
-    for index, raw in enumerate(doc.splitlines()):
+    for index, raw in enumerate(visible_doc.splitlines()):
         if heading := _SECTION_HEADING_RE.match(raw):
             active = heading.group(1)
             active_header = index
@@ -297,20 +310,63 @@ def _typed_restatement_lines(
             continue
         if active in {"Args", "Arguments", "Parameters", "Params", "Keyword Args", "Keyword Arguments"}:
             match = _ARG_TYPE_ENTRY_RE.match(raw) or _NUMPY_ARG_TYPE_ENTRY_RE.match(raw)
-            if match is not None and _normalise_type(match.group(2)) == annotations.get(match.group(1)):
+            if match is not None and _documented_type(match.group(2)) == annotations.get(match.group(1)):
                 result.append(docstring_line + index)
         elif match := _RETURN_TYPE_ENTRY_RE.match(raw):
-            if _normalise_type(match.group(1)) == return_type:
+            expected = yield_type if active in {"Yields", "Yield"} else return_type
+            if expected is not None and _documented_type(match.group(1)) == expected:
                 result.append(docstring_line + index)
         elif (
             active_header is not None
             and body_line_counts.get(active_header) == 1
-            and _normalise_type(raw.strip()) == return_type
+            and (expected := yield_type if active in {"Yields", "Yield"} else return_type) is not None
+            and _documented_type(raw.strip()) == expected
         ):
             result.append(docstring_line + index)
     return tuple(result)
 
 
+def _without_literal_examples(doc: str) -> str:
+    visible: list[str] = []
+    fence: str | None = None
+    literal_indent: int | None = None
+    awaiting_literal_block = False
+    for raw in doc.splitlines():
+        stripped = raw.lstrip()
+        indent = len(raw) - len(stripped)
+        fence_marker = stripped[:3] if stripped.startswith(("```", "~~~")) else None
+        if fence is not None:
+            visible.append("")
+            if fence_marker == fence:
+                fence = None
+            continue
+        if fence_marker is not None:
+            fence = fence_marker
+            visible.append("")
+            continue
+        if stripped.startswith((">>>", "...")):
+            visible.append("")
+            continue
+        if literal_indent is not None:
+            if not stripped or indent > literal_indent:
+                visible.append("")
+                continue
+            literal_indent = None
+        if awaiting_literal_block:
+            if not stripped:
+                visible.append(raw)
+                continue
+            if indent > 0:
+                literal_indent = indent - 1
+                visible.append("")
+                awaiting_literal_block = False
+                continue
+            awaiting_literal_block = False
+        visible.append(raw)
+        awaiting_literal_block = stripped.endswith("::")
+    return "\n".join(visible)
+
+
 def _section_body_line_counts(doc: str) -> dict[int, int]:
     counts: dict[int, int] = {}
     active_header: int | None = None
@@ -325,5 +381,59 @@ def _section_body_line_counts(doc: str) -> dict[int, int]:
     return counts
 
 
+def _annotation_type(node: ast.expr) -> str:
+    if isinstance(node, ast.Constant) and isinstance(node.value, str):
+        parsed = _parse_type_expression(node.value)
+        return _normalise_type(ast.unparse(parsed)) if parsed is not None else node.value
+    return _normalise_type(ast.unparse(node))
+
+
+def _documented_type(value: str) -> str | None:
+    parsed = _parse_type_expression(value)
+    return None if parsed is None else _normalise_type(ast.unparse(parsed))
+
+
+def _parse_type_expression(value: str) -> ast.expr | None:
+    try:
+        parsed = ast.parse(value.strip(), mode="eval").body
+    except SyntaxError:
+        return None
+    unsafe = (
+        ast.Await,
+        ast.BoolOp,
+        ast.Call,
+        ast.Compare,
+        ast.DictComp,
+        ast.GeneratorExp,
+        ast.IfExp,
+        ast.Lambda,
+        ast.ListComp,
+        ast.NamedExpr,
+        ast.SetComp,
+        ast.Yield,
+        ast.YieldFrom,
+    )
+    if any(isinstance(part, unsafe) for part in ast.walk(parsed)):
+        return None
+    if any(isinstance(part, ast.BinOp) and not isinstance(part.op, ast.BitOr) for part in ast.walk(parsed)):
+        return None
+    return parsed
+
+
+def _yielded_type(node: ast.expr) -> str | None:
+    if isinstance(node, ast.Constant) and isinstance(node.value, str):
+        parsed = _parse_type_expression(node.value)
+        if parsed is None:
+            return None
+        node = parsed
+    if not isinstance(node, ast.Subscript):
+        return None
+    name = node.value.attr if isinstance(node.value, ast.Attribute) else node.value.id if isinstance(node.value, ast.Name) else ""
+    if name not in {"AsyncGenerator", "AsyncIterable", "AsyncIterator", "Generator", "Iterable", "Iterator"}:
+        return None
+    members = node.slice.elts if isinstance(node.slice, ast.Tuple) else (node.slice,)
+    return _annotation_type(members[0]) if members else None
+
+
 def _normalise_type(value: str) -> str:
-    return re.sub(r"\s+", "", value).removeprefix("typing.").removesuffix(",optional").casefold()
+    return re.sub(r"\s+", "", value).removeprefix("typing.").casefold()

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/src/sarj_python_lint/rules/_registry.py

@@ -3,6 +3,9 @@ from __future__ import annotations
 from types import MappingProxyType
 from typing import TYPE_CHECKING
 
+from sarj_python_lint.rules.complex_postgres_query_requires_architecture_review import (
+    ComplexPostgresQueryRequiresArchitectureReview,
+)
 from sarj_python_lint.rules.defect_xfail_requires_explicit_strict import DefectXfailRequiresExplicitStrict
 from sarj_python_lint.rules.docstring_args_restate_signature import (
     DocstringArgsRestateSignature,
@@ -45,14 +48,8 @@ from sarj_python_lint.rules.no_generic_single_export_module import NoGenericSing
 from sarj_python_lint.rules.no_hidden_constructor_fallback import (
     NoHiddenConstructorFallback,
 )
-from sarj_python_lint.rules.no_isinstance_union_chain import NoIsinstanceUnionChain
-from sarj_python_lint.rules.no_long_comment import NoLongComment
 from sarj_python_lint.rules.no_nested_pydantic_field_validator import NoNestedPydanticFieldValidator
 from sarj_python_lint.rules.no_offset_pagination import NoOffsetPagination
-from sarj_python_lint.rules.no_optional_tenant_predicate import (
-    NoOptionalTenantPredicate,
-)
-from sarj_python_lint.rules.no_query_with_many_joins import NoQueryWithManyJoins
 from sarj_python_lint.rules.no_random_uuid_in_sql import NoRandomUuidInSql
 from sarj_python_lint.rules.no_raw_connection_in_tests import NoRawConnectionInTests
 from sarj_python_lint.rules.no_redundant_literal_description import NoRedundantLiteralDescription
@@ -61,8 +58,6 @@ from sarj_python_lint.rules.no_repeated_test_body import NoRepeatedTestBody
 from sarj_python_lint.rules.no_restated_comment import NoRestatedComment
 from sarj_python_lint.rules.no_secret_in_log import NoSecretInLog
 from sarj_python_lint.rules.no_select_star import NoSelectStar
-from sarj_python_lint.rules.no_sentinel_return_on_except import NoSentinelReturnOnExcept
-from sarj_python_lint.rules.no_stdlib_logging import NoStdlibLogging
 from sarj_python_lint.rules.no_string_concat_in_loop import NoStringConcatInLoop
 from sarj_python_lint.rules.no_tautological_expect import NoTautologicalExpect
 from sarj_python_lint.rules.no_typed_doc_sections import NoTypedDocSections
@@ -73,6 +68,9 @@ from sarj_python_lint.rules.no_unnecessary_docstring import NoUnnecessaryDocstri
 from sarj_python_lint.rules.no_vague_suppression_description import (
     NoVagueSuppressionDescription,
 )
+from sarj_python_lint.rules.no_whole_request_response_payload_in_log import (
+    NoWholeRequestResponsePayloadInLog,
+)
 from sarj_python_lint.rules.opaque_parametrize_case_needs_id import OpaqueParametrizeCaseNeedsId
 from sarj_python_lint.rules.over_mocked_test import OverMockedTest
 from sarj_python_lint.rules.phase_label_comment import TestPhaseLabelComment
@@ -165,6 +163,7 @@ if TYPE_CHECKING:
 
 REGISTRY: Mapping[str, type[Rule]] = MappingProxyType(
     {
+        ComplexPostgresQueryRequiresArchitectureReview.id: ComplexPostgresQueryRequiresArchitectureReview,
         ExcessiveCommentary.id: ExcessiveCommentary,
         PreferWalrusAwaitedNoneGuard.id: PreferWalrusAwaitedNoneGuard,
         TimestampOrderRequiresTiebreaker.id: TimestampOrderRequiresTiebreaker,
@@ -172,14 +171,12 @@ REGISTRY: Mapping[str, type[Rule]] = MappingProxyType(
         PreferClassRow.id: PreferClassRow,
         PreferCollectionComprehension.id: PreferCollectionComprehension,
         PreferStrEnum.id: PreferStrEnum,
-        NoIsinstanceUnionChain.id: NoIsinstanceUnionChain,
         NoOffsetPagination.id: NoOffsetPagination,
         PreferNamedtupleOverTupleReturn.id: PreferNamedtupleOverTupleReturn,
         NoCorsWildcardWithCredentials.id: NoCorsWildcardWithCredentials,
         PydanticAtBoundaries.id: PydanticAtBoundaries,
         FastapiExplicitOpenapiContract.id: FastapiExplicitOpenapiContract,
         FakesInSharedLocation.id: FakesInSharedLocation,
-        NoSentinelReturnOnExcept.id: NoSentinelReturnOnExcept,
         PreferConstantTimeSecretCompare.id: PreferConstantTimeSecretCompare,
         NoSecretInLog.id: NoSecretInLog,
         PreferTimedeltaForDurations.id: PreferTimedeltaForDurations,
@@ -189,7 +186,6 @@ REGISTRY: Mapping[str, type[Rule]] = MappingProxyType(
         StoreInsertRequiresOnConflict.id: StoreInsertRequiresOnConflict,
         SourceCoupledTest.id: SourceCoupledTest,
         IacSourceCoupledTest.id: IacSourceCoupledTest,
-        NoQueryWithManyJoins.id: NoQueryWithManyJoins,
         NoRawConnectionInTests.id: NoRawConnectionInTests,
         NoAnalyticalAggregationInPostgresStore.id: NoAnalyticalAggregationInPostgresStore,
         NoSelectStar.id: NoSelectStar,
@@ -212,12 +208,10 @@ REGISTRY: Mapping[str, type[Rule]] = MappingProxyType(
         NoRestatedComment.id: NoRestatedComment,
         RedundantDocstring.id: RedundantDocstring,
         TrailingValueNarration.id: TrailingValueNarration,
-        NoStdlibLogging.id: NoStdlibLogging,
         NoRandomUuidInSql.id: NoRandomUuidInSql,
         NoHiddenConstructorFallback.id: NoHiddenConstructorFallback,
         NoFileLevelEscapeHatchSuppression.id: NoFileLevelEscapeHatchSuppression,
         NoFastapiOnEvent.id: NoFastapiOnEvent,
-        NoOptionalTenantPredicate.id: NoOptionalTenantPredicate,
         NoTautologicalExpect.id: NoTautologicalExpect,
         PreferLibraryFake.id: PreferLibraryFake,
         OverMockedTest.id: OverMockedTest,
@@ -245,7 +239,6 @@ REGISTRY: Mapping[str, type[Rule]] = MappingProxyType(
         DocstringReturnsRestateSignature.id: DocstringReturnsRestateSignature,
         RestatedTestDocstring.id: RestatedTestDocstring,
         TestPhaseLabelComment.id: TestPhaseLabelComment,
-        NoLongComment.id: NoLongComment,
         NoNestedPydanticFieldValidator.id: NoNestedPydanticFieldValidator,
         NoRedundantLiteralDescription.id: NoRedundantLiteralDescription,
         NoTypedDocSections.id: NoTypedDocSections,
@@ -263,6 +256,7 @@ REGISTRY: Mapping[str, type[Rule]] = MappingProxyType(
         RequirePydanticOrdinalLowerBound.id: RequirePydanticOrdinalLowerBound,
         RequireNoDecodeForSplittingSettingsField.id: RequireNoDecodeForSplittingSettingsField,
         NoVagueSuppressionDescription.id: NoVagueSuppressionDescription,
+        NoWholeRequestResponsePayloadInLog.id: NoWholeRequestResponsePayloadInLog,
         TypedErrorReasons.id: TypedErrorReasons,
     }
 )

{sarj_python_lint-0.80.5 → sarj_python_lint-0.80.6}/src/sarj_python_lint/rules/_sql.py

@@ -16,12 +16,12 @@ def is_store_module(path: Path) -> bool:
     return path.name == "store.py" or path.name.endswith("_store.py") or "stores" in path.parts
 
 
-def sql_string_value(node: ast.expr) -> str | None:
+def sql_string_value(node: ast.expr, *, interpolation_placeholder: str = " ") -> str | None:
     if isinstance(node, ast.Constant) and isinstance(node.value, str):
         return node.value
     if isinstance(node, ast.BinOp) and isinstance(node.op, ast.Add):
-        left = sql_string_value(node.left)
-        right = sql_string_value(node.right)
+        left = sql_string_value(node.left, interpolation_placeholder=interpolation_placeholder)
+        right = sql_string_value(node.right, interpolation_placeholder=interpolation_placeholder)
         if left is not None and right is not None:
             return left + right
     if isinstance(node, ast.JoinedStr):
@@ -32,7 +32,7 @@ def sql_string_value(node: ast.expr) -> str | None:
             elif isinstance(value, ast.FormattedValue):
                 # Keep static SQL tokens on either side adjacent while ensuring
                 # an interpolation can never manufacture SELECT/FROM/* itself.
-                pieces.append(" ")
+                pieces.append(interpolation_placeholder)
             else:  # pragma: no cover - the parser emits only these two forms
                 return None
         return "".join(pieces)
@@ -67,6 +67,11 @@ def strip_sql_noise(text: str, *, mask_dollar_quotes: bool = True) -> str:
                 out[i] = " "
                 i += 1
             continue
+        if ch == "#" and (i == 0 or text[i - 1].isspace()):
+            while i < n and text[i] != "\n":
+                out[i] = " "
+                i += 1
+            continue
         if ch == "/" and i + 1 < n and text[i + 1] == "*":
             out[i] = out[i + 1] = " "
             i += 2