sarj-python-lint 0.77.1__tar.gz → 0.78.0__tar.gz

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: sarj-python-lint
-Version: 0.77.1
+Version: 0.78.0
 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/

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "sarj-python-lint"
-version = "0.77.1"
+version = "0.78.0"
 description = "Custom Python lint rules — AST-based, pre-commit-friendly, hypermodern defaults"
 readme = "README.md"
 authors = [{ name = "sarj-ai" }]

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rule_base.py

@@ -286,7 +286,7 @@ class Rule(ABC):
         return () if spec is None else spec.public_examples
 
 
-class ProjectRule(Rule):
+class ProjectRule(Rule, ABC):
     _project_indexes: ProjectIndexSet | None = None
 
     def prepare(self, indexes: ProjectIndexSet) -> None:

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/created_at_order_requires_tiebreaker.py

@@ -127,7 +127,7 @@ class CreatedAtOrderRequiresTiebreaker(Rule):
                     line=node.lineno,
                     col=node.col_offset + 1,
                     code=self.code,
-                    severity=Severity.WARNING,
+                    severity=Severity.ERROR,
                     message=(
                         "Store query leaves `created_at` as its final ordering item; add a stable tie-break key "
                         "after it, such as `id` (for example, `ORDER BY created_at DESC, id DESC`)."

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/get_delegates_to_get_many.py

@@ -130,7 +130,7 @@ class GetDelegatesToGetMany(Rule):
                         f"`{bulk.name}([key])` so singleton and bulk reads share one contract, or document why "
                         "their semantics differ."
                     ),
-                    severity=Severity.WARNING,
+                    severity=Severity.ERROR,
                 )
             )
         return diagnostics

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/negative_only_http_status_assertion.py

@@ -150,7 +150,7 @@ class NegativeOnlyHttpStatusAssertion(Rule):
                     line=node.lineno,
                     col=node.col_offset + 1,
                     code=self.code,
-                    severity=Severity.WARNING,
+                    severity=Severity.ERROR,
                     message=(
                         "this assertion proves only that the response avoided one server-error shape; assert the "
                         "intended exact status and, when relevant, its domain payload or side effect."

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/no_hidden_constructor_fallback.py

@@ -209,7 +209,7 @@ class NoHiddenConstructorFallback(Rule):
                         "make the argument required and resolve the fallback at the call site or composition root."
                         f"{falsey_warning}"
                     ),
-                    severity=Severity.WARNING,
+                    severity=Severity.ERROR,
                 )
             )
         return sorted(diagnostics, key=lambda diagnostic: (diagnostic.line, diagnostic.col))

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/no_unique_violation_message_match.py

@@ -105,7 +105,7 @@ class NoUniqueViolationMessageMatch(Rule):
                     "UniqueViolation is classified by substring-matching its message; compare "
                     "`exc.diag.constraint_name` with the expected constraint instead."
                 ),
-                severity=Severity.WARNING,
+                severity=Severity.ERROR,
             )
             for node in findings
         ]

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/no_unnecessary_docstring.py

@@ -191,7 +191,7 @@ class NoUnnecessaryDocstring(ProjectRule):
                     col=expression.col_offset + 1,
                     code=self.code,
                     message=self.description,
-                    severity=Severity.WARNING,
+                    severity=Severity.ERROR,
                 )
             )
         return sorted(diagnostics, key=lambda diagnostic: (diagnostic.line, diagnostic.col))

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/no_vague_suppression_description.py

@@ -98,7 +98,7 @@ class NoVagueSuppressionDescription(Rule):
                 col=comment.col,
                 code=self.code,
                 message=self.description,
-                severity=Severity.WARNING,
+                severity=Severity.ERROR,
                 column_encoding=ColumnEncoding.CODEPOINTS,
             )
             for comment in comments

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/prefer_immutable_module_constant.py

@@ -137,7 +137,7 @@ class PreferImmutableModuleConstant(Rule):
                         statement.col_offset + 1,
                         self.code,
                         _message(name, kind),
-                        Severity.WARNING,
+                        Severity.ERROR,
                     )
                 )
         return findings

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/prefer_match_type_dispatch.py

@@ -290,9 +290,7 @@ def _isinstance_ladder(
 
     subject: str | None = None
     for branch in branches:
-        # Guarded ladders are part of the newly calibrated two-arm advisory.
-        # Preserve SARJ080's established 3+ ladder boundary to avoid promoting
-        # an uncalibrated population directly to blocking diagnostics.
+        # Guarded ladders preserve the narrow evidence used by two-arm dispatch.
         branch_subject = (
             _matchable_isinstance_dispatch(branch.test, runtime_tuple_aliases, frozenset())
             if branch_count < _ERROR_TYPE_DISPATCH_BRANCHES
@@ -354,8 +352,8 @@ def _leading_isinstance(test: ast.expr) -> ast.Call | None:
     return None
 
 
-def _type_dispatch_severity(branch_count: int) -> Severity:
-    return Severity.WARNING if branch_count < _ERROR_TYPE_DISPATCH_BRANCHES else Severity.ERROR
+def _type_dispatch_severity() -> Severity:
+    return Severity.ERROR
 
 
 def _sequential_isinstance_dispatches(
@@ -411,7 +409,7 @@ def _sequential_isinstance_dispatches(
                             line=first.lineno,
                             col=first.col_offset + 1,
                             code=code,
-                            severity=_type_dispatch_severity(branch_count),
+                            severity=_type_dispatch_severity(),
                             message=(
                                 f"{branch_count}-branch terminating isinstance dispatch on '{subject}' — use "
                                 "match/case class patterns so the exclusive type dispatch is explicit."
@@ -777,7 +775,7 @@ class _TypeDispatchVisitor(ast.NodeVisitor):
                         line=node.lineno,
                         col=node.col_offset + 1,
                         code=self.code,
-                        severity=_type_dispatch_severity(ladder.branch_count),
+                        severity=_type_dispatch_severity(),
                         message=(
                             f"{ladder.branch_count}-branch isinstance dispatch on '{ladder.subject}' — use match/case "
                             "class patterns (combining tuple members with `|`) so the type dispatch is explicit."
@@ -890,8 +888,8 @@ class PreferMatchTypeDispatch(Rule):
         category=RuleCategory.MAINTAINABILITY,
         autofix=AutofixPolicy.NONE,
         limitations=(
-            "Safe two-branch `isinstance` dispatch is advisory; dispatch with three or more branches and the rule's established parser shapes remain blocking.",
-            "Generated files, runtime tuple aliases, general two-arm stdlib AST visitors, subject-rebinding guards, idiomatic None/Unset prologues, and code that shadows `isinstance` are excluded; exact AST attribute projections remain advisory, and test files omit the control-flow-raise check.",
+            "Safe two-branch `isinstance` dispatch uses narrower evidence than dispatch with three or more branches and the rule's established parser shapes.",
+            "Generated files, runtime tuple aliases, general two-arm stdlib AST visitors, subject-rebinding guards, idiomatic None/Unset prologues, and code that shadows `isinstance` are excluded; exact AST attribute projections use the narrow two-arm evidence, and test files omit the control-flow-raise check.",
         ),
         examples=(
             RuleExample(

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/prefer_non_nullable_collection.py

@@ -110,7 +110,7 @@ class PreferNonNullableCollection(Rule):
                         "make the list required, or accept an immutable empty-default input such as "
                         "`Sequence[T] = ()` and materialize a list internally."
                     ),
-                    severity=Severity.WARNING,
+                    severity=Severity.ERROR,
                 )
                 for argument in _equivalent_empty_parameters(function)
                 if owner is None or not _forwards_inherited_constructor_parameter(owner, function, argument.arg)

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/prefer_one_for_required_row.py

@@ -107,7 +107,7 @@ class PreferOneForRequiredRow(Rule):
                                 f"required-row helper (for example `{binding.name} = one({binding.expression})`) so "
                                 "optimized Python cannot remove the contract."
                             ),
-                            severity=Severity.WARNING,
+                            severity=Severity.ERROR,
                         )
                     )
         return diagnostics

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/preserve_declared_nominal_id.py

@@ -110,7 +110,7 @@ def _diagnose(
             line=annotation.lineno,
             col=annotation.col_offset + 1,
             code=code,
-            severity=Severity.WARNING,
+            severity=Severity.ERROR,
             message=f"`{name}` erases declared nominal `{nominal.name}`; propagate the nominal ID type through this boundary",
         )
     ]

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/preserve_enum_types.py

@@ -112,7 +112,7 @@ class PreserveEnumTypes(ProjectRule):
                                 line=call.lineno,
                                 col=call.col_offset + 1,
                                 code=self.code,
-                                severity=Severity.WARNING,
+                                severity=Severity.ERROR,
                                 message="matched enum is converted to unconstrained `str`; preserve its enum type through the receiving boundary",
                             )
                         )

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/production_derived_test_cases.py

@@ -287,7 +287,7 @@ class ProductionDerivedTestCases(Rule):
                         line=decorator.lineno,
                         col=decorator.col_offset + 1,
                         code=self.code,
-                        severity=Severity.WARNING,
+                        severity=Severity.ERROR,
                         message=(
                             f"`{collection.id}` supplies the cases from production, so removing a member can remove "
                             "the test that should catch the regression; define an independent expected case table and "

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/repeated_static_call_cases.py

@@ -112,7 +112,7 @@ class RepeatedStaticCallCases(Rule):
                 line=run[0].lineno,
                 col=run[0].col_offset + 1,
                 code=self.code,
-                severity=Severity.WARNING,
+                severity=Severity.ERROR,
                 message=(
                     f"these {len(run)} static call assertions run as one coarse test; move the inputs and "
                     "expectations into named pytest parameters."

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/require_pydantic_for_external_json.py

@@ -155,7 +155,7 @@ class RequirePydanticForExternalJson(Rule):
                     "External JSON field is read without Pydantic validation — validate the payload with "
                     "`Model.model_validate_json(...)` or `TypeAdapter(Model).validate_json(...)` first."
                 ),
-                severity=Severity.WARNING,
+                severity=Severity.ERROR,
             )
             for sink, _origin in first_by_origin.values()
         ]

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/require_pydantic_ordinal_lower_bound.py

@@ -107,7 +107,7 @@ class RequirePydanticOrdinalLowerBound(Rule):
                         line=field.lineno,
                         col=field.col_offset + 1,
                         code=self.code,
-                        severity=Severity.WARNING,
+                        severity=Severity.ERROR,
                         message=f"`{field.target.id}` documents minimum {default} but does not enforce it; add `ge={default}` or an equivalent constrained integer type",
                     )
                 )

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/require_validated_row_factory.py

@@ -97,7 +97,7 @@ class RequireValidatedRowFactory(Rule):
                         line=cursor_call.lineno,
                         col=cursor_call.col_offset + 1,
                         code=self.code,
-                        severity=Severity.WARNING,
+                        severity=Severity.ERROR,
                         message=(
                             "fetched Psycopg cursor has no `class_row(Model)` factory; validate the result at the DB "
                             "boundary (use a one-field model for scalar projections)"

{sarj_python_lint-0.77.1 → sarj_python_lint-0.78.0}/src/sarj_python_lint/rules/sql_requires_injected_pool_owner.py

@@ -121,7 +121,7 @@ class SqlRequiresInjectedPoolOwner(Rule):
                         line=call.lineno,
                         col=call.col_offset + 1,
                         code=self.code,
-                        severity=Severity.WARNING,
+                        severity=Severity.ERROR,
                         message="database execution is outside a constructor-injected pool owner; route it through the owning store/service API",
                     )
                 )