code-analysis-client 1.6.292__tar.gz → 1.6.294__tar.gz

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-analysis-client
-Version: 1.6.292
+Version: 1.6.294
 Summary: Async JSON-RPC client for the code-analysis MCP server (mcp-proxy-adapter JsonRpcClient)
 Author-email: Vasiliy Zdanovskiy <vasilyvz@gmail.com>
 Requires-Python: >=3.10

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client/__init__.py

@@ -40,6 +40,7 @@ from code_analysis_client.check_chain import (
     FileCheckAndPromoteResult,
 )
 from code_analysis_client.worktree import WorktreeClient, WorktreeConflictError
+from code_analysis_client.project import ProjectClient
 from code_analysis_client.queue_wait import QueuedJob
 from code_analysis_client.server_api import (
     CLIENT_FACADE_COMMANDS,
@@ -108,6 +109,7 @@ __all__ = [
     "Diagnostic",
     "ExtensionChain",
     "FileCheckAndPromoteResult",
+    "ProjectClient",
     "WorktreeClient",
     "WorktreeConflictError",
     "adapter_settings_from_server_config",

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client/check_chain.py

@@ -164,6 +164,8 @@ class FileCheckAndPromoteResult:
     diagnostics: List[Diagnostic]
     degraded: Optional[Degraded]
     raw: Dict[str, Any] = field(default_factory=dict, compare=False, repr=False)
+    # Write-back state of a promoted documentation copy (None for an ordinary file).
+    documentation_transfer: Optional[Dict[str, Any]] = None
 
 
 def _require_non_empty(value: Any, *, field_name: str) -> str:
@@ -348,4 +350,5 @@ class CheckChainClient:
             diagnostics=[_diagnostic(d) for d in (payload.get("diagnostics") or [])],
             degraded=_degraded(payload.get("degraded")),
             raw=payload,
+            documentation_transfer=payload.get("documentation_transfer"),
         )

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client/client.py

@@ -32,6 +32,7 @@ from code_analysis_client.config import (
 )
 from code_analysis_client.file_session import FileSessionClient
 from code_analysis_client.check_chain import CheckChainClient
+from code_analysis_client.project import ProjectClient
 from code_analysis_client.worktree import WorktreeClient
 from code_analysis_client.queue_wait import (
     QueuedJob,
@@ -227,6 +228,11 @@ class CodeAnalysisAsyncClient:
         """Session workflow: ``session_*``, ``subordinate_session_*``, transfer, advisory locks."""
         return FileSessionClient(self)
 
+    @property
+    def projects(self) -> ProjectClient:
+        """Project commands outside the session workflow (documentation-server override)."""
+        return ProjectClient(self)
+
     @property
     def worktrees(self) -> WorktreeClient:
         """Worktree management: ``worktree_*`` commands."""

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client/file_session.py

@@ -395,6 +395,51 @@ class FileSessionClient:
             )
         )
 
+    async def open_documentation_document(
+        self,
+        session_id: str,
+        project_id: str,
+        document_id: str,
+    ) -> Dict[str, Any]:
+        """Fetch a documentation-server document and lock the copy (``session_open_documentation_document``).
+
+        Returns ``session_id``, ``project_id``, ``document_id``, ``file_id``, ``file_path``
+        (``<directory>/<document_id>-<name>``), ``created``, ``size_bytes``, ``sha256``,
+        ``documentation_transfer`` (``None`` or ``{document_id, file_path, status, attempts,
+        max_attempts, next_attempt_at, reason}``) and ``documentation_warning`` (``None`` or the
+        ``UNDELIVERED_EDITS_RECOVERED`` mapping the reader must be shown with the document).
+        """
+        return _unwrap(
+            await self._client.call_validated(
+                "session_open_documentation_document",
+                {
+                    "session_id": session_id,
+                    "project_id": project_id,
+                    "document_id": document_id,
+                },
+            )
+        )
+
+    async def list_documentation_orphans(
+        self,
+        *,
+        project_id: Optional[str] = None,
+        document_id: Optional[str] = None,
+        limit: Optional[int] = None,
+        offset: Optional[int] = None,
+    ) -> Dict[str, Any]:
+        """List documentation copies with undelivered edits and no holding session (read-only)."""
+        params: Dict[str, Any] = {}
+        for key, value in (
+            ("project_id", project_id),
+            ("document_id", document_id),
+            ("limit", limit),
+            ("offset", offset),
+        ):
+            if value is not None:
+                params[key] = value
+        return _unwrap(await self._client.call_validated("list_documentation_orphans", params))
+
     async def list_file_locks(self, session_id: str) -> Dict[str, Any]:
         """Return locks held by the session (``session_list_file_locks``)."""
         return _unwrap(

code_analysis_client-1.6.294/code_analysis_client/project.py

@@ -0,0 +1,59 @@
+"""
+Project-level typed methods on top of CodeAnalysisAsyncClient.
+
+Wraps ``project_documentation_server_override`` (per-project address override of the documentation
+server, used by live proofs that substitute an unreachable address).
+
+Author: Vasiliy Zdanovskiy
+email: vasilyvz@gmail.com
+"""
+
+from __future__ import annotations
+
+from typing import TYPE_CHECKING, Any, Dict, Optional
+
+from code_analysis_client.exceptions import ClientValidationError
+from code_analysis_client.responses import FacadeCaller, unwrap_command_result
+
+if TYPE_CHECKING:
+    from code_analysis_client.client import CodeAnalysisAsyncClient
+
+
+class ProjectClient:
+    """Project-scoped commands that are not part of the session workflow."""
+
+    __slots__ = ("_client",)
+
+    def __init__(self, client: CodeAnalysisAsyncClient) -> None:
+        """Store the underlying async client."""
+        self._client = FacadeCaller(client)  # type: ignore[assignment]
+
+    async def documentation_server_override(
+        self,
+        project_id: str,
+        *,
+        host: Optional[str] = None,
+        port: Optional[int] = None,
+    ) -> Dict[str, Any]:
+        """Set (``host`` and ``port``) or clear (neither) the documentation-server override.
+
+        Calls ``project_documentation_server_override``; returns ``project_id``, ``override``
+        (``None`` or ``{host, port}``) and ``effective`` (``None`` or ``{protocol, host, port}``).
+
+        Raises:
+            ClientValidationError: ``host`` and ``port`` were not supplied together.
+        """
+        if (host is None) != (port is None):
+            raise ClientValidationError(
+                "host and port must be supplied together or both omitted",
+                field="port" if host is not None else "host",
+            )
+        params: Dict[str, Any] = {"project_id": project_id}
+        if host is not None:
+            params["host"] = host
+            params["port"] = port
+        return unwrap_command_result(
+            await self._client.call_validated(
+                "project_documentation_server_override", params
+            )
+        )

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client/server_api.py

@@ -137,8 +137,10 @@ FILE_SESSION_COMMANDS: FrozenSet[str] = frozenset(
         "session_list",
         "session_view",
         "session_open_file",
+        "session_open_documentation_document",
         "session_close_file",
         "session_list_file_locks",
+        "list_documentation_orphans",
         "subordinate_session_create",
         "subordinate_session_get",
         "subordinate_session_update",
@@ -176,6 +178,8 @@ FILE_SESSION_FACADE_METHODS: Dict[str, str] = {
     "session_list": "list_sessions",
     "session_view": "view_session",
     "session_open_file": "lock_file",
+    "session_open_documentation_document": "open_documentation_document",
+    "list_documentation_orphans": "list_documentation_orphans",
     "session_close_file": "unlock_file",
     "session_list_file_locks": "list_file_locks",
     "subordinate_session_create": "create_subordinate_session",

code_analysis_client-1.6.294/code_analysis_client/version.txt

@@ -0,0 +1 @@
+1.6.294

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-analysis-client
-Version: 1.6.292
+Version: 1.6.294
 Summary: Async JSON-RPC client for the code-analysis MCP server (mcp-proxy-adapter JsonRpcClient)
 Author-email: Vasiliy Zdanovskiy <vasilyvz@gmail.com>
 Requires-Python: >=3.10

{code_analysis_client-1.6.292 → code_analysis_client-1.6.294}/code_analysis_client.egg-info/SOURCES.txt

@@ -7,6 +7,7 @@ code_analysis_client/commands_proxy.py
 code_analysis_client/config.py
 code_analysis_client/exceptions.py
 code_analysis_client/file_session.py
+code_analysis_client/project.py
 code_analysis_client/py.typed
 code_analysis_client/queue_wait.py
 code_analysis_client/responses.py

code_analysis_client-1.6.292/code_analysis_client/version.txt

@@ -1 +0,0 @@
-1.6.292