hallpass-client 0.4.0__tar.gz

hallpass_client-0.4.0/.gitignore

@@ -0,0 +1,8 @@
+/hallpass
+/hallpass.exe
+/dist/
+*.test
+*.out
+.specs/
+__pycache__/
+node_modules/

hallpass_client-0.4.0/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

hallpass_client-0.4.0/PKG-INFO

@@ -0,0 +1,71 @@
+Metadata-Version: 2.5
+Name: hallpass-client
+Version: 0.4.0
+Summary: Check with hallpass whether a user may do something before your AI agent does it for them.
+Project-URL: Homepage, https://github.com/roee-hersh/hallpass
+Project-URL: Documentation, https://github.com/roee-hersh/hallpass/blob/main/docs/agents.md
+Project-URL: Issues, https://github.com/roee-hersh/hallpass/issues
+Project-URL: Source, https://github.com/roee-hersh/hallpass/tree/main/sdk/python
+License-Expression: Apache-2.0
+License-File: LICENSE
+Keywords: ai-agents,authorization,llm,mcp,permissions,tools
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Security
+Classifier: Typing :: Typed
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+
+# hallpass-client
+
+The Python client for [hallpass](https://github.com/roee-hersh/hallpass): before your AI agent
+acts for a user, ask the system that owns the resource whether that user may do it.
+
+```sh
+pip install https://github.com/roee-hersh/hallpass/releases/latest/download/hallpass-client-python.tar.gz
+```
+
+That URL always gives the latest [release](https://github.com/roee-hersh/hallpass/releases). In a
+project, pin a version by replacing `latest/download` with `download/v0.4.0`, in `requirements.txt`
+too:
+
+```
+hallpass-client @ https://github.com/roee-hersh/hallpass/releases/download/v0.4.0/hallpass-client-python.tar.gz
+```
+
+It needs a running hallpass service. The client has no dependencies beyond the standard library.
+
+```python
+from contextvars import ContextVar
+from hallpass_client import Hallpass, guarded
+
+hp = Hallpass()  # HALLPASS_URL and HALLPASS_API_KEY from the environment
+current_user: ContextVar[str] = ContextVar("current_user")
+
+@tool  # LangChain, Strands, MCP, the Claude Agent SDK...
+@guarded(hp, "jira-main", "DELETE_ISSUES", "issue:{key}", user=current_user, fresh=True)
+def delete_issue(key: str) -> str:
+    jira.delete_issue(key)  # the agent's own credential, only after hallpass said allow
+    return f"deleted {key}"
+
+current_user.set(request.user.email)  # from your auth, per request or session
+```
+
+- **The model never picks the user.** It comes from `user=`: a string, a zero-argument
+  callable, or a `ContextVar` your application sets. A `user` key in the tool's arguments is ignored.
+- **It fails closed.** `deny`, `unknown` and hallpass being unreachable all raise
+  `PermissionDenied` before the body runs. Pass `deny=` to return a message to the model instead.
+- **One package covers every framework.** `guarded` handles plain functions, `async def`,
+  and the Claude Agent SDK's `async def f(args: dict)` handler shape.
+
+Without a decorator:
+
+```python
+d = hp.check("dana@example.com", "jira-main", "DELETE_ISSUES", "issue:PAY-123")
+d.decision, d.reason        # "deny", "denied: ..."
+hp.require(...)             # raises PermissionDenied unless allow
+```
+
+Framework examples: [examples/agent](https://github.com/roee-hersh/hallpass/tree/main/examples/agent).
+The guide: [docs/agents.md](https://github.com/roee-hersh/hallpass/blob/main/docs/agents.md).

hallpass_client-0.4.0/README.md

@@ -0,0 +1,52 @@
+# hallpass-client
+
+The Python client for [hallpass](https://github.com/roee-hersh/hallpass): before your AI agent
+acts for a user, ask the system that owns the resource whether that user may do it.
+
+```sh
+pip install https://github.com/roee-hersh/hallpass/releases/latest/download/hallpass-client-python.tar.gz
+```
+
+That URL always gives the latest [release](https://github.com/roee-hersh/hallpass/releases). In a
+project, pin a version by replacing `latest/download` with `download/v0.4.0`, in `requirements.txt`
+too:
+
+```
+hallpass-client @ https://github.com/roee-hersh/hallpass/releases/download/v0.4.0/hallpass-client-python.tar.gz
+```
+
+It needs a running hallpass service. The client has no dependencies beyond the standard library.
+
+```python
+from contextvars import ContextVar
+from hallpass_client import Hallpass, guarded
+
+hp = Hallpass()  # HALLPASS_URL and HALLPASS_API_KEY from the environment
+current_user: ContextVar[str] = ContextVar("current_user")
+
+@tool  # LangChain, Strands, MCP, the Claude Agent SDK...
+@guarded(hp, "jira-main", "DELETE_ISSUES", "issue:{key}", user=current_user, fresh=True)
+def delete_issue(key: str) -> str:
+    jira.delete_issue(key)  # the agent's own credential, only after hallpass said allow
+    return f"deleted {key}"
+
+current_user.set(request.user.email)  # from your auth, per request or session
+```
+
+- **The model never picks the user.** It comes from `user=`: a string, a zero-argument
+  callable, or a `ContextVar` your application sets. A `user` key in the tool's arguments is ignored.
+- **It fails closed.** `deny`, `unknown` and hallpass being unreachable all raise
+  `PermissionDenied` before the body runs. Pass `deny=` to return a message to the model instead.
+- **One package covers every framework.** `guarded` handles plain functions, `async def`,
+  and the Claude Agent SDK's `async def f(args: dict)` handler shape.
+
+Without a decorator:
+
+```python
+d = hp.check("dana@example.com", "jira-main", "DELETE_ISSUES", "issue:PAY-123")
+d.decision, d.reason        # "deny", "denied: ..."
+hp.require(...)             # raises PermissionDenied unless allow
+```
+
+Framework examples: [examples/agent](https://github.com/roee-hersh/hallpass/tree/main/examples/agent).
+The guide: [docs/agents.md](https://github.com/roee-hersh/hallpass/blob/main/docs/agents.md).

hallpass_client-0.4.0/pyproject.toml

@@ -0,0 +1,34 @@
+[build-system]
+requires = ["hatchling>=1.26"]
+build-backend = "hatchling.build"
+
+[project]
+name = "hallpass-client"
+# The release workflow sets the version from the release tag before it builds.
+version = "0.4.0"
+description = "Check with hallpass whether a user may do something before your AI agent does it for them."
+readme = "README.md"
+license = "Apache-2.0"
+license-files = ["LICENSE"]
+requires-python = ">=3.9"
+dependencies = []
+keywords = ["ai-agents", "authorization", "permissions", "llm", "tools", "mcp"]
+classifiers = [
+  "Development Status :: 4 - Beta",
+  "Intended Audience :: Developers",
+  "Programming Language :: Python :: 3",
+  "Topic :: Security",
+  "Typing :: Typed",
+]
+
+[project.urls]
+Homepage = "https://github.com/roee-hersh/hallpass"
+Documentation = "https://github.com/roee-hersh/hallpass/blob/main/docs/agents.md"
+Issues = "https://github.com/roee-hersh/hallpass/issues"
+Source = "https://github.com/roee-hersh/hallpass/tree/main/sdk/python"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/hallpass_client"]
+
+[tool.hatch.build.targets.sdist]
+include = ["src/hallpass_client", "tests", "README.md", "LICENSE"]

hallpass_client-0.4.0/src/hallpass_client/__init__.py

@@ -0,0 +1,413 @@
+"""The hallpass client for agents. Standard library only.
+
+    pip install https://github.com/roee-hersh/hallpass/releases/latest/download/hallpass-client-python.tar.gz
+
+The one rule an agent has to follow: perform an action on behalf of a user
+only when hallpass answered ``allow``. ``deny`` and ``unknown`` both mean
+"do not act", and so does any failure to reach hallpass at all.
+
+    hp = Hallpass()  # HALLPASS_URL and HALLPASS_API_KEY from the environment
+    hp.require("dana@example.com", "jira-main", "DELETE_ISSUES", "issue:PAY-123", fresh=True)
+    jira.delete_issue("PAY-123")  # only reached when the answer was allow
+
+``fresh=True`` makes hallpass skip its caches and ask the upstream system
+now; use it for destructive actions (delete, merge, scale), where a
+30-second-old answer is not good enough.
+
+Or, for a tool an agent framework exposes to a model, ``guarded``:
+
+    current_user: ContextVar[str] = ContextVar("current_user")
+
+    @tool  # any framework's decorator
+    @guarded(hp, "jira-main", "DELETE_ISSUES", "issue:{key}", user=current_user)
+    def delete_issue(key: str) -> str:
+        jira.delete_issue(key)
+        return f"deleted {key}"
+
+The user comes from the application, never from the tool's arguments.
+"""
+
+from __future__ import annotations
+
+import asyncio
+import contextvars
+import datetime
+import functools
+import http.client
+import inspect
+import ipaddress
+import json
+import logging
+import os
+import re
+import urllib.error
+import urllib.parse
+import urllib.request
+from collections.abc import Mapping
+from dataclasses import dataclass
+from typing import Any, Callable, Iterable, TypeVar, Union
+
+__all__ = [
+    "ALLOW",
+    "DENY",
+    "UNKNOWN",
+    "Decision",
+    "GroupsSource",
+    "Hallpass",
+    "PermissionDenied",
+    "UserSource",
+    "current",
+    "guarded",
+]
+
+ALLOW = "allow"
+DENY = "deny"
+UNKNOWN = "unknown"
+
+# Where guarded reports each write it let through. hallpass never sees the
+# write itself, so this is the record that ties the action to the check.
+log = logging.getLogger("hallpass")
+
+
+@dataclass(frozen=True)
+class Decision:
+    """One answer from ``POST /check``.
+
+    ``decision`` is ``allow``, ``deny`` or ``unknown``. ``reason`` is
+    ``"<code>: <text>"`` as hallpass sent it, or ``"client_error: ..."`` when
+    the request never produced a usable answer. ``status`` is the HTTP status,
+    0 when no response arrived.
+    """
+
+    decision: str
+    reason: str
+    status: int = 200
+
+    @property
+    def allowed(self) -> bool:
+        """True only for a positive ``allow``. ``unknown`` is not allowed."""
+        return self.decision == ALLOW
+
+    @property
+    def code(self) -> str:
+        """The machine-readable code in front of the colon, e.g. ``user_not_found``."""
+        return self.reason.split(":", 1)[0].strip()
+
+
+class PermissionDenied(Exception):
+    """Raised by ``Hallpass.require`` when the answer was not ``allow``."""
+
+    def __init__(self, decision: Decision, user: str, connection: str, action: str, resource: str):
+        self.decision = decision
+        self.user, self.connection, self.action, self.resource = user, connection, action, resource
+        super().__init__(
+            f"{user} may not {action} on {resource} in {connection}: "
+            f"{decision.decision} ({decision.reason})"
+        )
+
+
+class Hallpass:
+    """Client for one hallpass service.
+
+    ``url`` defaults to ``$HALLPASS_URL`` or ``http://localhost:8080``.
+    ``api_key`` defaults to ``$HALLPASS_API_KEY``. The URL must be ``https://``;
+    plain ``http://`` is accepted only for ``localhost`` or a loopback address,
+    the same rule hallpass applies to its own upstream URLs, because the API
+    key travels in a header. ``timeout`` is the seconds
+    the client waits for the connection and then for each read; hallpass itself
+    waits up to the connection's ``timeout`` (8 s by default) for the upstream
+    system, so keep this a little above that. It is not a total wall-clock
+    budget: a peer that keeps trickling bytes keeps the request alive.
+
+    Redirects are not followed. A redirect would re-send the API key to
+    whatever host the ``Location`` header names, and its answer would not be
+    hallpass's, so a 3xx becomes an ``unknown`` decision like any other
+    unusable response.
+    """
+
+    def __init__(self, url: str | None = None, api_key: str | None = None, timeout: float = 10.0):
+        self.url = _validate_url(url or os.environ.get("HALLPASS_URL") or "http://localhost:8080")
+        self.api_key = api_key if api_key is not None else os.environ.get("HALLPASS_API_KEY", "")
+        if not self.api_key:
+            raise ValueError("hallpass API key missing: pass api_key or set HALLPASS_API_KEY")
+        self.timeout = timeout
+        self._opener = urllib.request.build_opener(_NoRedirect)
+
+    def check(
+        self,
+        user: str,
+        connection: str,
+        action: str,
+        resource: str,
+        groups: Iterable[str] | None = None,
+        *,
+        fresh: bool = False,
+    ) -> Decision:
+        """Ask hallpass. Never raises on transport: every failure becomes an ``unknown`` decision.
+
+        ``fresh=True`` asks for an answer straight from the upstream system,
+        skipping hallpass's caches. It narrows the window between the check
+        and the action to the time between the two; it does not close it.
+        """
+        body: dict = {"user": user, "connection": connection, "action": action, "resource": resource}
+        if groups is not None:
+            body["groups"] = _group_list(groups)
+        if fresh:
+            body["fresh"] = True
+        try:
+            req = urllib.request.Request(
+                self.url + "/check",
+                data=json.dumps(body).encode(),
+                method="POST",
+                headers={
+                    "Authorization": "Bearer " + self.api_key,
+                    "Content-Type": "application/json",
+                    "Accept": "application/json",
+                },
+            )
+            with self._opener.open(req, timeout=self.timeout) as resp:
+                return _parse(resp.status, resp.read())
+        except urllib.error.HTTPError as e:
+            # 400 and 401 still carry a decision body; anything else is unusable.
+            try:
+                raw = e.read()
+            except (OSError, http.client.HTTPException):
+                raw = b""
+            return _parse(e.code, raw)
+        except (urllib.error.URLError, OSError, http.client.HTTPException, ValueError) as e:
+            # URLError covers refused connections and DNS failures, OSError the
+            # socket timeout, HTTPException a malformed response, ValueError a
+            # malformed URL.
+            return Decision(UNKNOWN, f"client_error: hallpass unreachable: {e}", 0)
+
+    def allowed(self, user: str, connection: str, action: str, resource: str, groups=None, *, fresh: bool = False) -> bool:
+        """True only when hallpass said ``allow``."""
+        return self.check(user, connection, action, resource, groups, fresh=fresh).allowed
+
+    def require(self, user: str, connection: str, action: str, resource: str, groups=None, *, fresh: bool = False) -> Decision:
+        """Return the decision when it is ``allow``; raise ``PermissionDenied`` otherwise."""
+        d = self.check(user, connection, action, resource, groups, fresh=fresh)
+        if not d.allowed:
+            raise PermissionDenied(d, user, connection, action, resource)
+        return d
+
+
+def _validate_url(url: str) -> str:
+    """The rule hallpass applies to its own upstream URLs (ValidateHTTPSURL)."""
+    if any(c in url for c in " \t\r\n?#"):
+        raise ValueError(f"hallpass url {url!r} must not contain whitespace, '?' or '#'")
+    u = urllib.parse.urlsplit(url)
+    if u.username is not None or u.password is not None:
+        raise ValueError(f"hallpass url {url!r} must not contain userinfo")
+    if u.scheme == "https" and u.hostname:
+        return url.rstrip("/")
+    if u.scheme == "http" and u.hostname:
+        host = u.hostname
+        try:
+            loopback = ipaddress.ip_address(host).is_loopback
+        except ValueError:
+            loopback = host == "localhost"
+        if loopback:
+            return url.rstrip("/")
+    raise ValueError(f"hallpass url {url!r} must start with https:// (http:// only for localhost)")
+
+
+def _group_list(groups: Iterable[str]) -> list[str]:
+    if isinstance(groups, bool):
+        raise TypeError("groups must be a list of strings; fresh is keyword-only (fresh=True)")
+    if isinstance(groups, str):
+        raise TypeError("groups must be a list of strings, not a string")
+    out = list(groups)
+    if not all(isinstance(g, str) for g in out):
+        raise TypeError("groups must be a list of strings")
+    return out
+
+
+class _NoRedirect(urllib.request.HTTPRedirectHandler):
+    """Turn every redirect into an HTTPError instead of following it."""
+
+    def redirect_request(self, req, fp, code, msg, headers, newurl):
+        return None
+
+
+def _parse(status: int, raw: bytes) -> Decision:
+    try:
+        data = json.loads(raw)
+        decision, reason = data["decision"], str(data.get("reason", ""))
+    except (ValueError, KeyError, TypeError):
+        return Decision(UNKNOWN, f"client_error: unexpected response (HTTP {status})", status)
+    if decision not in (ALLOW, DENY, UNKNOWN):
+        return Decision(UNKNOWN, f"client_error: unexpected decision {decision!r}", status)
+    if decision == ALLOW and status != 200:
+        # hallpass never allows with a non-200 status; do not trust a proxy that does.
+        return Decision(UNKNOWN, f"client_error: allow with HTTP {status}", status)
+    return Decision(decision, reason, status)
+
+
+F = TypeVar("F", bound=Callable)
+
+# Where the acting user (or their groups) comes from: a fixed value, a
+# zero-argument callable, or a contextvars.ContextVar the application sets
+# for the current session or request.
+UserSource = Union[str, Callable[[], str], "contextvars.ContextVar[str]"]
+GroupsSource = Union[Iterable[str], Callable[[], Iterable[str]], "contextvars.ContextVar[Iterable[str]]"]
+
+
+def current(source: Any, what: str = "user") -> Any:
+    """Resolve a user or groups source now.
+
+    A ``ContextVar`` with nothing set for this session raises ``RuntimeError``
+    naming it, rather than a bare ``LookupError`` from inside a framework.
+    """
+    if isinstance(source, contextvars.ContextVar):
+        try:
+            return source.get()
+        except LookupError:
+            raise RuntimeError(f"no {what} set for this session in ContextVar {source.name!r}") from None
+    if callable(source):
+        return source()
+    return source
+
+
+def _takes_one_dict(sig: inspect.Signature) -> bool:
+    """True for the Claude Agent SDK handler shape: one positional parameter
+    annotated as a dict or Mapping, which receives all the arguments."""
+    params = list(sig.parameters.values())
+    if len(params) != 1 or params[0].kind not in (params[0].POSITIONAL_ONLY, params[0].POSITIONAL_OR_KEYWORD):
+        return False
+    ann = params[0].annotation
+    if ann is inspect.Parameter.empty:
+        return False
+    name = ann if isinstance(ann, str) else getattr(ann, "__name__", None) or str(ann)
+    origin = getattr(ann, "__origin__", None)
+    if isinstance(origin, type) and issubclass(origin, Mapping):
+        return True
+    if isinstance(ann, type) and issubclass(ann, Mapping):
+        return True
+    return bool(re.match(r"(typing\.)?(dict|Dict|Mapping|MutableMapping)\b", name))
+
+
+def guarded(
+    hp: Hallpass,
+    connection: str,
+    action: str,
+    resource: str,
+    *,
+    user: UserSource,
+    groups: GroupsSource | None = None,
+    deny: Callable[[PermissionDenied], Any] | None = None,
+    fresh: bool = False,
+) -> Callable[[F], F]:
+    """Decorate a function so it runs only after hallpass allowed it.
+
+    The user the check is for comes from ``user``: a string, a zero-argument
+    callable, or a ``contextvars.ContextVar`` the application sets for the
+    current session. It is never read from the call's arguments, so a
+    framework's ``@tool`` can sit directly on top and the model cannot pick
+    who it acts as; the decorated function's signature is exactly the
+    original's. ``groups`` works the same way and must yield a list.
+
+    ``resource`` is a format string over the call's arguments, e.g.
+    ``"issue:{key}"``; a parameter left at its default is available too. A
+    function with ordinary parameters is called with keyword arguments
+    (LangChain, Strands, MCP); a function whose only parameter is a dict
+    (the Claude Agent SDK handler shape, ``async def f(args: dict)``)
+    receives all the arguments in that dict, and a ``user`` key in it is
+    ignored, never honoured. ``async def`` is supported and the check then
+    runs in a worker thread.
+
+    Any answer other than ``allow`` raises ``PermissionDenied`` before the
+    body runs. With ``deny`` given, its return value is returned instead of
+    raising; use that where the framework would hide the exception's text
+    from the model (MCPServer does).
+
+    ``fresh=True`` makes every check skip hallpass's caches and ask the
+    upstream system now. Use it for destructive actions.
+
+    After the body has run, ``guarded`` logs one line on the ``hallpass``
+    logger (INFO): the decision, when the check was made, whether it was
+    fresh, and that the write was unconditional. hallpass only checked;
+    the write itself ran afterwards with no ``If-Match`` on the state
+    hallpass saw, so nobody reading the logs later should take check and
+    write for one atomic step.
+
+        @tool
+        @guarded(hp, "jira-main", "DELETE_ISSUES", "issue:{key}", user=current_user, fresh=True)
+        def delete_issue(key: str) -> str: ...
+    """
+
+    def wrap(fn: F) -> F:
+        sig = inspect.signature(fn)
+        one_dict = _takes_one_dict(sig)
+
+        def prepare(args: tuple, kwargs: dict):
+            if one_dict:
+                if len(args) != 1 or kwargs or not isinstance(args[0], Mapping):
+                    raise TypeError(f"{fn.__name__} takes one dict of arguments")
+                fields, call = args[0], functools.partial(fn, args[0])
+            else:
+                if args:
+                    raise TypeError(f"{fn.__name__} takes keyword arguments only")
+                bound = sig.bind(**kwargs)  # a stray or missing argument fails here, before any check
+                bound.apply_defaults()
+                fields, call = bound.arguments, functools.partial(fn, **kwargs)
+            who = current(user, "user")
+            if not isinstance(who, str) or not who:
+                raise RuntimeError("guarded: user must be a non-empty string")
+            grp = None if groups is None else current(groups, "groups")
+            return who, grp, resource.format(**fields), call
+
+        def refused(e: PermissionDenied):
+            if deny is None:
+                raise e
+            return deny(e)
+
+        def ran(who: str, res: str, d: Decision, checked_at: datetime.datetime, outcome: str) -> None:
+            log.info(
+                "unconditional write: %s %s %s on %s in %s; hallpass said %s (%s) at %s, fresh=%s; "
+                "the write was not conditioned on the state hallpass saw (no If-Match), "
+                "so check and write were not atomic",
+                who, outcome, action, res, connection, d.decision, d.reason,
+                checked_at.isoformat(timespec="milliseconds"), fresh,
+            )
+
+        if inspect.iscoroutinefunction(fn):
+
+            @functools.wraps(fn)
+            async def inner(*args, **kwargs):
+                who, grp, res, call = prepare(args, kwargs)
+                checked_at = datetime.datetime.now(datetime.timezone.utc)
+                try:
+                    d = await asyncio.to_thread(hp.require, who, connection, action, res, grp, fresh=fresh)
+                except PermissionDenied as e:
+                    return refused(e)
+                try:
+                    result = await call()
+                except BaseException as e:
+                    ran(who, res, d, checked_at, f"raised {type(e).__name__} from")
+                    raise
+                ran(who, res, d, checked_at, "ran")
+                return result
+
+        else:
+
+            @functools.wraps(fn)
+            def inner(*args, **kwargs):
+                who, grp, res, call = prepare(args, kwargs)
+                checked_at = datetime.datetime.now(datetime.timezone.utc)
+                try:
+                    d = hp.require(who, connection, action, res, grp, fresh=fresh)
+                except PermissionDenied as e:
+                    return refused(e)
+                try:
+                    result = call()
+                except BaseException as e:
+                    ran(who, res, d, checked_at, f"raised {type(e).__name__} from")
+                    raise
+                ran(who, res, d, checked_at, "ran")
+                return result
+
+        inner.__signature__ = sig  # type: ignore[attr-defined]
+        return inner  # type: ignore[return-value]
+
+    return wrap

hallpass_client-0.4.0/tests/test_package.py

@@ -0,0 +1,81 @@
+"""Checks the installed package, not the source tree.
+
+    pip install ./sdk/python && python -m unittest discover -s sdk/python/tests
+
+The client's behaviour is tested in examples/agent/test_hallpass_client.py.
+This makes sure the distribution itself is complete and works.
+"""
+
+from __future__ import annotations
+
+import http.server
+import json
+import os
+import sys
+import threading
+import unittest
+from contextvars import ContextVar
+
+import hallpass_client
+from hallpass_client import Hallpass, PermissionDenied, guarded
+
+
+class _Fake(http.server.BaseHTTPRequestHandler):
+    def do_POST(self):  # noqa: N802
+        body = json.loads(self.rfile.read(int(self.headers["Content-Length"])))
+        ok = self.headers.get("Authorization") == "Bearer k" and body["user"] == "admin@example.com"
+        out = json.dumps({"decision": "allow" if ok else "deny", "reason": "allowed: x" if ok else "denied: x"}).encode()
+        self.send_response(200)
+        self.send_header("Content-Type", "application/json")
+        self.send_header("Content-Length", str(len(out)))
+        self.end_headers()
+        self.wfile.write(out)
+
+    def log_message(self, *args):
+        pass
+
+
+class InstalledPackage(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):
+        cls.srv = http.server.ThreadingHTTPServer(("127.0.0.1", 0), _Fake)
+        threading.Thread(target=cls.srv.serve_forever, daemon=True).start()
+        cls.hp = Hallpass(url=f"http://127.0.0.1:{cls.srv.server_address[1]}", api_key="k", timeout=2)
+
+    @classmethod
+    def tearDownClass(cls):
+        cls.srv.shutdown()
+
+    def test_imported_from_site_packages(self):
+        if os.environ.get("HALLPASS_SDK_REQUIRE_INSTALLED") == "1":
+            src = os.path.abspath(os.path.join(os.path.dirname(__file__), "..", "src"))
+            self.assertFalse(os.path.abspath(hallpass_client.__file__).startswith(src), hallpass_client.__file__)
+
+    def test_typed_marker_shipped(self):
+        self.assertTrue(os.path.exists(os.path.join(os.path.dirname(hallpass_client.__file__), "py.typed")))
+
+    def test_allow_and_deny(self):
+        self.assertEqual(self.hp.check("admin@example.com", "demo", "thing.write", "thing:1").decision, "allow")
+        with self.assertRaises(PermissionDenied):
+            self.hp.require("dana@example.com", "demo", "thing.write", "thing:1")
+
+    def test_unreachable_is_unknown(self):
+        hp = Hallpass(url="http://127.0.0.1:9", api_key="k", timeout=1)
+        self.assertEqual(hp.check("admin@example.com", "demo", "thing.write", "thing:1").decision, "unknown")
+
+    def test_guarded(self):
+        user: ContextVar[str] = ContextVar("user")
+
+        @guarded(self.hp, "demo", "thing.write", "thing:{thing_id}", user=user)
+        def write(thing_id: str) -> str:
+            return "wrote " + thing_id
+
+        user.set("admin@example.com")
+        self.assertEqual(write(thing_id="1"), "wrote 1")
+        user.set("dana@example.com")
+        with self.assertRaises(PermissionDenied):
+            write(thing_id="1")
+
+
+if __name__ == "__main__":
+    sys.exit(unittest.main())