Fix branch lint and formatting leftovers

Resolve import order, unused MCP imports, nested-with SIM117 in the
demoted SAT harness, and ruff format drift left by earlier cleanup commits.

Co-authored-by: morluto <morluto@users.noreply.github.com>

Author: cursoragent

src/jacobian/contracts/polynomial_operations.py

@@ -229,7 +229,10 @@ def require_canonical_irreducible_records(self) -> Self:
                 key=lambda record: (
                     record.multiplicity,
                     max(
-                        (sum(term.exponents) for term in record.factor.polynomial.terms),
+                        (
+                            sum(term.exponents)
+                            for term in record.factor.polynomial.terms
+                        ),
                         default=0,
                     ),
                     tuple(

src/jacobian/domains/polynomial/invariants.py

@@ -3,8 +3,8 @@
 from jacobian.contracts.polynomial_operations import (
     PolynomialDiscriminantRequest,
     PolynomialDiscriminantResult,
-    PolynomialFactorRequest,
     PolynomialFactorizationResult,
+    PolynomialFactorRequest,
     PolynomialGcdRequest,
     PolynomialGcdResult,
     PolynomialResultantRequest,

src/jacobian/domains/polynomial/operations.py

@@ -8,8 +8,8 @@
     PolynomialBezoutIdentity,
     PolynomialDiscriminantRequest,
     PolynomialDiscriminantResult,
-    PolynomialFactorRequest,
     PolynomialFactorizationResult,
+    PolynomialFactorRequest,
     PolynomialGcdRequest,
     PolynomialGcdResult,
     PolynomialGroebnerBasisRequest,

tests/boundary/mcp/test_mcp_entrypoint.py

@@ -9,13 +9,12 @@
 from importlib.metadata import version
 from pathlib import Path
 
-from jacobian.adapters.mcp.server import create_server
-
 MCP_TOOL_NAMES = {
     "math.find",
     "math.run",
 }
 
+
 def test_mcp_stdio_entrypoint_exposes_stable_math_tools(
     tmp_path: Path,
 ) -> None:
@@ -67,5 +66,3 @@ def test_mcp_entrypoint_reports_distribution_version() -> None:
 
     assert completed.returncode == 0
     assert completed.stdout.strip() == f"jacobian-mcp {version('jacobian')}"
-
-

tests/boundary/mcp/test_mcp_errors_and_tracing.py

@@ -170,5 +170,3 @@ async def scenario() -> None:
             )
 
     asyncio.run(scenario())
-
-

tests/boundary/storage/recovery/test_search_plugin_fail_closed.py

@@ -267,7 +267,8 @@ def test_search_batch_respects_archive_parent_limit(attached_complete_runtime) -
     assert snapshot.accounting.iterations == 2
     for page_uri in snapshot.archive_page_uris:
         assert (
-            len(attached_complete_runtime.core.store.get(page_uri).manifest.parents) <= 6
+            len(attached_complete_runtime.core.store.get(page_uri).manifest.parents)
+            <= 6
         )
 
 
@@ -336,7 +337,8 @@ def test_refiner_can_fit_previous_nominations_to_archive_parent_limit(
     assert checkpoint.state["observed_lineage_parent_limit"] == 2
     for page_uri in snapshot.archive_page_uris:
         assert (
-            len(attached_complete_runtime.core.store.get(page_uri).manifest.parents) <= 6
+            len(attached_complete_runtime.core.store.get(page_uri).manifest.parents)
+            <= 6
         )
 
 

tests/component/sat/test_sat_artifacts.py

@@ -177,13 +177,15 @@ def test_model_backed_schema_rejects_noncanonical_generic_artifact_put(
                 payload=payload,
             )
 
-    with open_domain_services(state_root) as restarted:
-        with pytest.raises(ArtifactValidationError):
-            restarted.core.artifacts.put(
-                schema_uri=restarted.core.sat.installation.cnf_schema_uri,
-                semantics_uri=restarted.core.sat.installation.semantics_uri,
-                payload=payload,
-            )
+    with (
+        open_domain_services(state_root) as restarted,
+        pytest.raises(ArtifactValidationError),
+    ):
+        restarted.core.artifacts.put(
+            schema_uri=restarted.core.sat.installation.cnf_schema_uri,
+            semantics_uri=restarted.core.sat.installation.semantics_uri,
+            payload=payload,
+        )
 
 
 def test_assignment_and_raw_proof_bind_exact_cnf_identity_and_lineage(

tests/domain/graph/test_graph_core_capabilities.py

@@ -42,7 +42,9 @@ def test_generic_graph_artifacts_use_the_authoritative_bounded_model(
         },
     )
 
-    assert services.core.store.get(accepted.artifact_uri).payload["vertices"] == vertices
+    assert (
+        services.core.store.get(accepted.artifact_uri).payload["vertices"] == vertices
+    )
     with pytest.raises(ArtifactValidationError, match="does not match its schema"):
         services.core.artifacts.put(
             schema_uri=installation.graph_schema_uri,

tests/unit/support/test_runtime_profiles.py

@@ -5,8 +5,6 @@
 from pathlib import Path
 
 import pytest
-
-from jacobian.runtime import CheckerAuthorityMode
 from tests.support.runtime_profiles import (
     ATTACHED_COMPUTE,
     ATTACHED_COMPUTE_READ_ONLY,
@@ -18,6 +16,8 @@
 )
 from tests.support.state import copy_template, publish_template
 
+from jacobian.runtime import CheckerAuthorityMode
+
 
 def test_read_only_attach_still_copies_away_from_session_template(
     tmp_path: Path,

tests/unit/tooling/test_plan_local_tests.py

@@ -213,9 +213,7 @@ def _planner_tree(tmp_path: Path, monkeypatch) -> ModuleType:
     return planner
 
 
-def _append_exact_override(
-    manifest: Path, path: str, selectors: list[str]
-) -> None:
+def _append_exact_override(manifest: Path, path: str, selectors: list[str]) -> None:
     lines = [
         "",
         "[[local_planning.exact_overrides]]",