recusal-google-adk 0.1.0__tar.gz

recusal_google_adk-0.1.0/.gitignore

@@ -0,0 +1,44 @@
+# Python
+__pycache__/
+*.py[cod]
+*.egg-info/
+.eggs/
+build/
+dist/
+.pytest_cache/
+.mypy_cache/
+.ruff_cache/
+.venv/
+venv/
+env/
+
+# Secrets, never commit
+.env
+.env.*
+*.key
+*.pem
+*.p12
+*service-account*.json
+secrets/
+
+# OS / IDE
+.DS_Store
+Thumbs.db
+.vscode/
+.idea/
+
+# Local hook activation, the repo ships .claude/settings.json.example only;
+# copying it to settings.json is a deliberate per-clone step, never committed
+.claude/settings.json
+.claude/settings.local.json
+
+# Local working docs, not part of the published project
+linkedin.md
+NOTES.md
+RUNBOOK.local.md
+ESSAY.local.md
+SOURCES.local.md
+*.local.md
+
+# Engineering Harness local state, internal planning notes
+.claude/harness/

recusal_google_adk-0.1.0/LICENSE

@@ -0,0 +1,201 @@
+                                 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 2026 Philip Paz
+
+   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.

recusal_google_adk-0.1.0/PKG-INFO

@@ -0,0 +1,118 @@
+Metadata-Version: 2.4
+Name: recusal-google-adk
+Version: 0.1.0
+Summary: Recusal gate for Google ADK: judge every tool call in a before-tool callback or a runner plugin, refuse before it runs, and optionally put each decision on a hash-chained audit log.
+Project-URL: Homepage, https://github.com/philpaz/recusal
+Project-URL: Documentation, https://github.com/philpaz/recusal/tree/main/adapters/google-adk
+Project-URL: Repository, https://github.com/philpaz/recusal
+Project-URL: Issues, https://github.com/philpaz/recusal/issues
+Project-URL: Changelog, https://github.com/philpaz/recusal/blob/main/CHANGELOG.md
+Author-email: Philip Paz <philip.paz@gmail.com>
+License-Expression: Apache-2.0
+License-File: LICENSE
+Keywords: agent-governance,ai-agents,google-adk,guardrails,recusal,tool-use
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Topic :: Security
+Classifier: Topic :: Software Development :: Quality Assurance
+Classifier: Typing :: Typed
+Requires-Python: >=3.11
+Requires-Dist: google-adk<3,>=2.13.0
+Requires-Dist: recusal<1,>=0.14.0
+Description-Content-Type: text/markdown
+
+# recusal-google-adk
+
+The [Recusal](https://github.com/philpaz/recusal) gate for
+[Google ADK](https://google.github.io/adk-docs/): every tool call an agent proposes is
+judged by your policy before the tool runs, and a refused call never runs.
+
+This is a separate distribution from `recusal`. The kernel has zero runtime dependencies
+and a frozen compatibility perimeter; this package carries the ADK dependency and its own
+version, so an ADK release never forces a release of the kernel.
+
+**Status: not yet published to PyPI.** Until it is, install it from the repository:
+
+```bash
+pip install "recusal-google-adk @ git+https://github.com/philpaz/recusal#subdirectory=adapters/google-adk"
+```
+
+Requires Python 3.11+ (the ADK's minimum), `recusal>=0.14.0` and `google-adk>=2.13.0`. It
+is tested on every pull request against exactly `google-adk==2.13.0` with
+`google-genai==2.34.0`, and weekly against the newest releases.
+
+## Use
+
+```python
+from google.adk.agents import LlmAgent
+from recusal import Finding
+from recusal_google_adk import gated_agent
+
+
+def policy(tool_name, tool_input):
+    sql = tool_input.get("sql", "")
+    if tool_name == "run_sql" and sql.lstrip().upper().startswith("DELETE"):
+        return [Finding.fail("no_deletes", severity="CRITICAL", message="DELETE is not allowed")]
+    return []
+
+
+agent = gated_agent(LlmAgent(name="assistant", model=model, tools=[run_sql]), policy)
+```
+
+`gated_agent` returns a copy of the agent with the gate appended as the last before-tool
+callback, and gates its `sub_agents` and the agent behind every `AgentTool` the same way.
+A refused call is answered to the model as `{"error": reason}`. The tool does not run. A
+policy that raises refuses the call (fail closed).
+
+The gate prepares the invocation the way the ADK will (defaults completed, values
+validated), judges a detached copy, and the tool runs with exactly what was judged.
+
+For an app whose agents you do not build yourself, `RecusalPlugin(policy)` is the same
+gate as a runner plugin: `InMemoryRunner(agent, plugins=[RecusalPlugin(policy)])`. Plugin
+callbacks run before any agent's own, so the plugin judges a call only when nothing it
+cannot see runs after it. If the executing agent has another before-tool callback, or a
+later plugin overrides `before_tool_callback`, it refuses the call and names the fix.
+
+## Put every decision on the record
+
+```python
+from recusal.audit import AuditLog
+from recusal_google_adk import audited_agent
+
+log = AuditLog(path="decisions.jsonl")
+agent = audited_agent(LlmAgent(name="assistant", model=model, tools=[run_sql]), policy, log)
+```
+
+`audited_plugin(policy, log)` is the plugin form. Each call a gate sees, allowed or
+refused, is one hash-chained entry labeled `google_adk.before_tool_callback` with the
+ADK's function call id and a SHA-256 fingerprint of the arguments (never the arguments).
+If the log cannot be written the call is refused. Check the log with
+`recusal audit verify decisions.jsonl`.
+
+The audited forms are the plain ones with a recording passed in, so there is one decision
+path.
+
+## What the gate refuses, and what it does not see
+
+- **`gated_agent` raises at construction** for an agent that can run something the
+  callback never sees: an agent with a `code_executor` (model-written code runs outside
+  the tool path), an `LlmAgent` subclass, or an agent class it does not know how to gate.
+- **Refused before the policy runs:** a tool that is not a stock `FunctionTool`, a
+  signature that cannot be judged by name, an unknown or missing parameter, and arguments
+  that do not validate.
+- **Not on the audit log:** a call another before-tool callback answered before the gate
+  ran. The tool did not run either.
+
+## Compatibility
+
+This package is outside the kernel's frozen perimeter (`STABILITY.md`, Integrations). Its
+public names are the ones in `recusal_google_adk.__all__`. When an ADK release changes
+what the callback is handed, this package gets a release and the kernel does not.
+
+A runnable offline demonstration, with a scripted model and no API key, is
+[`examples/google_adk_gate.py`](https://github.com/philpaz/recusal/blob/main/examples/google_adk_gate.py)
+and
+[`examples/google_adk_audit.py`](https://github.com/philpaz/recusal/blob/main/examples/google_adk_audit.py).

recusal_google_adk-0.1.0/README.md

@@ -0,0 +1,92 @@
+# recusal-google-adk
+
+The [Recusal](https://github.com/philpaz/recusal) gate for
+[Google ADK](https://google.github.io/adk-docs/): every tool call an agent proposes is
+judged by your policy before the tool runs, and a refused call never runs.
+
+This is a separate distribution from `recusal`. The kernel has zero runtime dependencies
+and a frozen compatibility perimeter; this package carries the ADK dependency and its own
+version, so an ADK release never forces a release of the kernel.
+
+**Status: not yet published to PyPI.** Until it is, install it from the repository:
+
+```bash
+pip install "recusal-google-adk @ git+https://github.com/philpaz/recusal#subdirectory=adapters/google-adk"
+```
+
+Requires Python 3.11+ (the ADK's minimum), `recusal>=0.14.0` and `google-adk>=2.13.0`. It
+is tested on every pull request against exactly `google-adk==2.13.0` with
+`google-genai==2.34.0`, and weekly against the newest releases.
+
+## Use
+
+```python
+from google.adk.agents import LlmAgent
+from recusal import Finding
+from recusal_google_adk import gated_agent
+
+
+def policy(tool_name, tool_input):
+    sql = tool_input.get("sql", "")
+    if tool_name == "run_sql" and sql.lstrip().upper().startswith("DELETE"):
+        return [Finding.fail("no_deletes", severity="CRITICAL", message="DELETE is not allowed")]
+    return []
+
+
+agent = gated_agent(LlmAgent(name="assistant", model=model, tools=[run_sql]), policy)
+```
+
+`gated_agent` returns a copy of the agent with the gate appended as the last before-tool
+callback, and gates its `sub_agents` and the agent behind every `AgentTool` the same way.
+A refused call is answered to the model as `{"error": reason}`. The tool does not run. A
+policy that raises refuses the call (fail closed).
+
+The gate prepares the invocation the way the ADK will (defaults completed, values
+validated), judges a detached copy, and the tool runs with exactly what was judged.
+
+For an app whose agents you do not build yourself, `RecusalPlugin(policy)` is the same
+gate as a runner plugin: `InMemoryRunner(agent, plugins=[RecusalPlugin(policy)])`. Plugin
+callbacks run before any agent's own, so the plugin judges a call only when nothing it
+cannot see runs after it. If the executing agent has another before-tool callback, or a
+later plugin overrides `before_tool_callback`, it refuses the call and names the fix.
+
+## Put every decision on the record
+
+```python
+from recusal.audit import AuditLog
+from recusal_google_adk import audited_agent
+
+log = AuditLog(path="decisions.jsonl")
+agent = audited_agent(LlmAgent(name="assistant", model=model, tools=[run_sql]), policy, log)
+```
+
+`audited_plugin(policy, log)` is the plugin form. Each call a gate sees, allowed or
+refused, is one hash-chained entry labeled `google_adk.before_tool_callback` with the
+ADK's function call id and a SHA-256 fingerprint of the arguments (never the arguments).
+If the log cannot be written the call is refused. Check the log with
+`recusal audit verify decisions.jsonl`.
+
+The audited forms are the plain ones with a recording passed in, so there is one decision
+path.
+
+## What the gate refuses, and what it does not see
+
+- **`gated_agent` raises at construction** for an agent that can run something the
+  callback never sees: an agent with a `code_executor` (model-written code runs outside
+  the tool path), an `LlmAgent` subclass, or an agent class it does not know how to gate.
+- **Refused before the policy runs:** a tool that is not a stock `FunctionTool`, a
+  signature that cannot be judged by name, an unknown or missing parameter, and arguments
+  that do not validate.
+- **Not on the audit log:** a call another before-tool callback answered before the gate
+  ran. The tool did not run either.
+
+## Compatibility
+
+This package is outside the kernel's frozen perimeter (`STABILITY.md`, Integrations). Its
+public names are the ones in `recusal_google_adk.__all__`. When an ADK release changes
+what the callback is handed, this package gets a release and the kernel does not.
+
+A runnable offline demonstration, with a scripted model and no API key, is
+[`examples/google_adk_gate.py`](https://github.com/philpaz/recusal/blob/main/examples/google_adk_gate.py)
+and
+[`examples/google_adk_audit.py`](https://github.com/philpaz/recusal/blob/main/examples/google_adk_audit.py).

recusal_google_adk-0.1.0/pyproject.toml

@@ -0,0 +1,54 @@
+# The Recusal adapter for Google ADK, a separate distribution from `recusal`.
+#
+# Why separate: `recusal` has zero runtime dependencies and a frozen compatibility
+# perimeter (STABILITY.md). An adapter follows a framework that releases on its own
+# schedule, so it carries that dependency and its own version here, and a framework's
+# breaking change never forces a release of the kernel.
+#
+# Build backend pinned exactly, the same pin as the kernel's pyproject.toml: a floating
+# backend is unreviewed code in the release path.
+[build-system]
+requires = ["hatchling==1.27.0"]
+build-backend = "hatchling.build"
+
+[project]
+name = "recusal-google-adk"
+dynamic = ["version"]
+description = "Recusal gate for Google ADK: judge every tool call in a before-tool callback or a runner plugin, refuse before it runs, and optionally put each decision on a hash-chained audit log."
+readme = "README.md"
+# The ADK's own minimum.
+requires-python = ">=3.11"
+license = "Apache-2.0"
+license-files = ["LICENSE"]
+authors = [{ name = "Philip Paz", email = "philip.paz@gmail.com" }]
+keywords = ["recusal", "google-adk", "ai-agents", "agent-governance", "guardrails", "tool-use"]
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Intended Audience :: Developers",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3 :: Only",
+    "Topic :: Security",
+    "Topic :: Software Development :: Quality Assurance",
+    "Typing :: Typed",
+]
+dependencies = [
+    # 0.14.0 is the first release where `decide` and `recusal.invocation` are public.
+    "recusal>=0.14.0,<1",
+    # The lower bound is the version the pinned CI lane tests; the weekly latest lane
+    # (.github/workflows/compat.yml) tests the newest release.
+    "google-adk>=2.13.0,<3",
+]
+
+[project.urls]
+Homepage = "https://github.com/philpaz/recusal"
+Documentation = "https://github.com/philpaz/recusal/tree/main/adapters/google-adk"
+Repository = "https://github.com/philpaz/recusal"
+Issues = "https://github.com/philpaz/recusal/issues"
+Changelog = "https://github.com/philpaz/recusal/blob/main/CHANGELOG.md"
+
+[tool.hatch.version]
+path = "src/recusal_google_adk/__init__.py"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/recusal_google_adk"]

recusal_google_adk-0.1.0/smoke_test.py

@@ -0,0 +1,152 @@
+"""Prove the INSTALLED recusal-google-adk wheel gates a real Google ADK agent.
+
+Run it from a directory outside the repository, with an interpreter that has the built
+wheels installed:
+
+    python /path/to/adapters/google-adk/smoke_test.py
+
+It fails if the package it imports is the source tree and not an installed distribution:
+a check run from the checkout would prove nothing about the wheel. No model, API key or
+network is used.
+"""
+
+from __future__ import annotations
+
+import asyncio
+import os
+import sys
+import tempfile
+from importlib import metadata
+from pathlib import Path
+from typing import Any, AsyncGenerator
+
+# Python puts this script's directory first on the import path. Drop it, so nothing in
+# the source tree can stand in for the installed package.
+_HERE = Path(__file__).resolve().parent
+sys.path[:] = [entry for entry in sys.path if Path(entry or ".").resolve() != _HERE]
+
+import recusal_google_adk  # noqa: E402
+from google.adk.agents import LlmAgent  # noqa: E402
+from google.adk.models import BaseLlm, LlmRequest, LlmResponse  # noqa: E402
+from google.adk.runners import InMemoryRunner  # noqa: E402
+from google.adk.tools import FunctionTool  # noqa: E402
+from google.genai import types  # noqa: E402
+from recusal_google_adk import (  # noqa: E402
+    SURFACE,
+    RecusalPlugin,
+    audited_agent,
+    audited_plugin,
+    gated_agent,
+    is_gated,
+)
+
+import recusal  # noqa: E402
+from recusal import Finding  # noqa: E402
+from recusal.audit import AuditLog, verify  # noqa: E402
+
+EXECUTED: list[str] = []
+CALLS = [("c1", "SELECT 1"), ("c2", "DELETE FROM t")]
+
+
+def run_sql(sql: str) -> str:
+    """Record SQL text without connecting to a database."""
+    EXECUTED.append(sql)
+    return f"recorded: {sql}"
+
+
+def policy(tool_name, tool_input):
+    if str(tool_input.get("sql", "")).upper().startswith("DELETE"):
+        return [Finding.fail("no_deletes", severity="CRITICAL", message="DELETE is not allowed")]
+    return []
+
+
+class ScriptedLlm(BaseLlm):
+    """Proposes the scripted calls on its first turn, then answers "done"."""
+
+    turns: int = 0
+
+    async def generate_content_async(
+        self, llm_request: LlmRequest, stream: bool = False
+    ) -> AsyncGenerator[LlmResponse, None]:
+        self.turns += 1
+        if self.turns == 1:
+            parts = [
+                types.Part(
+                    function_call=types.FunctionCall(id=ident, name="run_sql", args={"sql": sql})
+                )
+                for ident, sql in CALLS
+            ]
+        else:
+            parts = [types.Part(text="done")]
+        yield LlmResponse(content=types.Content(role="model", parts=parts))
+
+
+def agent() -> LlmAgent:
+    return LlmAgent(
+        name="assistant", model=ScriptedLlm(model="scripted"), tools=[FunctionTool(run_sql)]
+    )
+
+
+async def _run(target: Any, plugins: Any) -> dict[str, Any]:
+    runner = InMemoryRunner(agent=target, app_name="smoke", plugins=plugins)
+    session = await runner.session_service.create_session(app_name="smoke", user_id="user")
+    message = types.Content(role="user", parts=[types.Part(text="go")])
+    responses: dict[str, Any] = {}
+    async for event in runner.run_async(user_id="user", session_id=session.id, new_message=message):
+        for part in event.content.parts if event.content and event.content.parts else []:
+            if part.function_response is not None:
+                responses[part.function_response.id] = part.function_response.response
+    return responses
+
+
+def run(target: Any, plugins: Any = None) -> dict[str, Any]:
+    EXECUTED.clear()
+    return asyncio.run(_run(target, plugins))
+
+
+def main() -> None:
+    for module in (recusal, recusal_google_adk):
+        origin = Path(module.__file__).resolve()
+        assert "site-packages" in origin.parts, f"{module.__name__} is not installed: {origin}"
+    assert metadata.version("recusal-google-adk") == recusal_google_adk.__version__
+    requires = metadata.requires("recusal-google-adk") or []
+    assert any(r.startswith("recusal") and "google" not in r for r in requires), requires
+
+    # Negative control: without the gate the DELETE runs, so the refusals below are the gate's.
+    assert not is_gated(agent())
+    run(agent())
+    assert sorted(EXECUTED) == ["DELETE FROM t", "SELECT 1"], EXECUTED
+
+    gated = gated_agent(agent(), policy)
+    assert is_gated(gated)
+    answers = run(gated)
+    assert EXECUTED == ["SELECT 1"], EXECUTED
+    assert "DELETE is not allowed" in answers["c2"]["error"], answers
+    assert "error" not in answers["c1"], answers
+
+    answers = run(agent(), plugins=[RecusalPlugin(policy)])
+    assert EXECUTED == ["SELECT 1"], EXECUTED
+    assert "DELETE is not allowed" in answers["c2"]["error"], answers
+
+    for via_plugin in (False, True):
+        with tempfile.TemporaryDirectory() as folder:
+            log = AuditLog(path=os.path.join(folder, "audit.jsonl"))
+            if via_plugin:
+                run(agent(), plugins=[audited_plugin(policy, log)])
+            else:
+                run(audited_agent(agent(), policy, log))
+            assert EXECUTED == ["SELECT 1"], EXECUTED
+            by_id = {entry["action"]["tool_use_id"]: entry["action"] for entry in log.entries}
+            assert by_id["c2"]["decision"] == "deny" and by_id["c2"]["surface"] == SURFACE, by_id
+            assert by_id["c1"]["decision"] != "deny", by_id
+            intact, problems = verify(log.entries)
+            assert intact, problems
+
+    print(
+        f"recusal-google-adk {recusal_google_adk.__version__} with recusal "
+        f"{recusal.__version__}: installed wheel gates and records"
+    )
+
+
+if __name__ == "__main__":
+    main()

recusal_google_adk-0.1.0/src/recusal_google_adk/__init__.py

@@ -0,0 +1,41 @@
+"""Recusal for Google ADK: judge every tool call before it runs.
+
+    from google.adk.agents import LlmAgent
+    from recusal_google_adk import gated_agent
+
+    agent = gated_agent(LlmAgent(name="assistant", model=model, tools=[run_sql]), policy)
+
+``policy(tool_name, tool_input)`` is an ordinary Recusal policy returning findings. A
+refused call is answered to the model as ``{"error": reason}`` and its tool does not run.
+``RecusalPlugin(policy)`` is the same gate for every agent a runner drives, and
+``audited_agent`` and ``audited_plugin`` put each decision on a hash-chained audit log.
+
+The decision is made by ``recusal.decide``. This package adds only what is the ADK's:
+where the callback attaches, how the invocation is prepared, and how a refusal is answered.
+"""
+
+from ._audit import SURFACE, audited_agent, audited_plugin, recording
+from ._gate import (
+    Policy,
+    Recording,
+    RecusalPlugin,
+    gated_agent,
+    is_gated,
+    recusal_before_tool,
+)
+
+__version__ = "0.1.0"
+
+__all__ = [
+    "SURFACE",
+    "Policy",
+    "Recording",
+    "RecusalPlugin",
+    "__version__",
+    "audited_agent",
+    "audited_plugin",
+    "gated_agent",
+    "is_gated",
+    "recording",
+    "recusal_before_tool",
+]

recusal_google_adk-0.1.0/src/recusal_google_adk/_audit.py

@@ -0,0 +1,81 @@
+"""The audited gate: the same decision, with every call on a hash-chained ``AuditLog``.
+
+``audited_agent(agent, policy, log)`` and ``audited_plugin(policy, log)`` are
+``gated_agent`` and ``RecusalPlugin`` with a ``recording`` that hands the plain gate's own
+refusal function the arguments ``recusal.decide`` records with. There is no second
+decision path. If the log cannot be written, or the recording raises, the call is refused,
+so nothing runs unrecorded.
+
+Each entry carries the surface ``google_adk.before_tool_callback`` and the ADK's function
+call id, and a SHA-256 fingerprint of the arguments, never the arguments themselves.
+
+What each entry is bound to:
+
+- a call that is judged: the prepared invocation the tool is called with, defaults
+  completed and values validated;
+- a call refused before judgment (a tool that is not a stock ``FunctionTool``, a signature
+  the gate cannot judge, arguments that do not validate, a plugin that is not the last
+  before-tool seam): the arguments as proposed.
+
+What is not on the log: a call another before-tool callback answered before the gate ran
+(the tool did not run either), and anything ``gated_agent`` refuses to gate at
+construction, which raises before any agent exists.
+"""
+
+from __future__ import annotations
+
+from typing import Any, Optional
+
+from google.adk.agents import BaseAgent
+
+from recusal.audit import AuditLog
+
+from ._gate import Policy, Recording, RecusalPlugin, gated_agent
+
+#: The surface label every entry carries: the ADK hook that adjudicated.
+SURFACE = "google_adk.before_tool_callback"
+
+
+def recording(
+    log: AuditLog, *, actor: Optional[str] = None, control: Optional[dict[str, Any]] = None
+) -> Recording:
+    """The recording arguments for each call, built in one place for both forms of the gate.
+
+    The ADK gives every function call an id (it generates one when the model sends none);
+    a blank id is recorded as no id rather than refused."""
+
+    def for_call(tool_context: Any) -> dict[str, Any]:
+        ident = getattr(tool_context, "function_call_id", None)
+        return {
+            "audit": log,
+            "surface": SURFACE,
+            "tool_use_id": ident if isinstance(ident, str) and ident else None,
+            "actor": actor,
+            "control": control,
+        }
+
+    return for_call
+
+
+def audited_agent(
+    agent: BaseAgent,
+    policy: Policy,
+    log: AuditLog,
+    *,
+    actor: Optional[str] = None,
+    control: Optional[dict[str, Any]] = None,
+) -> BaseAgent:
+    """``gated_agent`` with every decision, of the agent and of every agent under it, on
+    ``log``."""
+    return gated_agent(agent, policy, recording(log, actor=actor, control=control))
+
+
+def audited_plugin(
+    policy: Policy,
+    log: AuditLog,
+    *,
+    actor: Optional[str] = None,
+    control: Optional[dict[str, Any]] = None,
+) -> RecusalPlugin:
+    """``RecusalPlugin`` with every decision on ``log``; list it last, as with the plain one."""
+    return RecusalPlugin(policy, recording=recording(log, actor=actor, control=control))

recusal_google_adk-0.1.0/src/recusal_google_adk/_gate.py

@@ -0,0 +1,359 @@
+"""The gate: one refusal function, and the two ways to attach it to a Google ADK agent.
+
+The hook is the ADK's own. An ``LlmAgent`` runs its ``before_tool_callback`` immediately
+before each tool call, with the tool, the arguments the tool will receive and the tool
+context; a callback that returns a dict answers the call instead of running the tool.
+``recusal_before_tool(policy)`` judges the call with ``recusal.decide`` and, on a refusal,
+returns ``{"error": reason}`` so the model reads Recusal's reason on its next turn and the
+tool never runs. Every call in a model turn is judged separately.
+
+Two ways to attach it:
+
+- ``gated_agent(agent, policy)`` returns a copy of the agent with the gate appended as the
+  LAST before-tool callback, and gates its ``sub_agents`` and the agent behind every
+  ``AgentTool`` the same way. Last, because callbacks run in order and a callback listed
+  after the gate could change the arguments the gate judged; a callback listed before it
+  that answers the call itself means the tool did not run.
+- ``RecusalPlugin(policy)`` is the same gate as a runner plugin, for every agent the runner
+  drives. Plugin callbacks run before any agent's callbacks, so the plugin cannot be placed
+  after an agent's own ``before_tool_callback``, which could change the arguments the
+  plugin judged. Its contract is therefore explicit: it judges a call only when nothing it
+  cannot see runs after it, that is, when the executing agent carries no before-tool
+  callback other than a Recusal gate and no plugin listed after it overrides
+  ``before_tool_callback``; otherwise it refuses the call, naming the callback or plugin,
+  and the fix. A call whose invocation context does not expose the executing agent is
+  refused too.
+
+What the callback cannot see, so ``gated_agent`` refuses rather than skips it:
+
+- a ``code_executor`` on the agent: model-written code runs outside the tool path;
+- a ``sub_agent`` or an ``AgentTool`` whose agent is not itself gated: its tool calls run
+  under its own callbacks, not the parent's (``gated_agent`` gates them recursively, and
+  refuses an agent class it does not know how to gate);
+- an ``LlmAgent`` subclass: it can add behavior the gate was not written for.
+"""
+
+from __future__ import annotations
+
+import copy
+import inspect
+from typing import Any, Callable, List, Optional
+
+from google.adk.agents import BaseAgent, LlmAgent
+from google.adk.agents.loop_agent import LoopAgent
+from google.adk.agents.parallel_agent import ParallelAgent
+from google.adk.agents.sequential_agent import SequentialAgent
+from google.adk.plugins import BasePlugin
+from google.adk.tools import AgentTool, BaseTool, FunctionTool, ToolContext
+
+from recusal import Finding, decide
+from recusal.invocation import unsupported_signature as _unsupported_signature
+
+#: A Recusal policy: ``policy(tool_name, tool_input)`` returns a list of findings.
+Policy = Callable[[str, dict], List[Any]]
+#: Given the call's ``ToolContext``, the recording arguments ``decide`` takes for it
+#: (``audit=``, ``surface=``, ``tool_use_id=``, ...). ``recusal_google_adk.recording``
+#: builds one.
+Recording = Callable[[Any], dict]
+
+#: Workflow agents run no tools of their own; their ``sub_agents`` do. ``gated_agent``
+#: gates those and leaves the workflow agent's own class alone.
+_WORKFLOW_AGENTS = (SequentialAgent, ParallelAgent, LoopAgent)
+
+
+#: The FunctionTool methods that prepare and run an invocation. A tool class is supported
+#: only while every one of them is FunctionTool's own (the ADK's built-in subclasses such as
+#: transfer_to_agent inherit them; a user subclass that overrides preprocessing is refused).
+_STOCK_LIFECYCLE = (
+    "_preprocess_args",
+    "_preprocess_args_with_validation",
+    "_validate_args",
+    "run_async",
+)
+
+
+def _prepared(tool: Any, args: dict[str, Any]) -> tuple[Optional[dict[str, Any]], Optional[str]]:
+    """Prepare the invocation the tool will execute, in place, and return a detached copy
+    for judgment; or ``(None, reason)`` when it cannot be prepared faithfully.
+
+    Supported: a ``google.adk.tools.FunctionTool`` whose class keeps FunctionTool's own
+    preparation and run methods (``_STOCK_LIFECYCLE``; the ADK's built-in subclasses do, a
+    user subclass that overrides preprocessing does not) and whose parameters, outside the
+    ones the ADK injects (``_ignore_params``),
+    all carry a supported data annotation and JSON defaults. Omitted parameters are completed
+    from the signature's defaults INTO the raw arguments first, then the tool's own
+    ``_preprocess_args_with_validation`` runs once, so a default such as ``int = "100"`` is
+    prepared exactly as explicit input would be; the converted values are written back into
+    ``args`` (the ADK calls the tool with this dict) and the policy judges a deep copy. On
+    the supported set the ADK's execution-time preparation returns equal values, with the
+    validation feature on (coercion) or off (none), so judged equals received. A validation
+    failure is refused as such, without the SDK's text, which carries input values.
+    """
+    if not isinstance(tool, FunctionTool):
+        return (
+            None,
+            f"only a google.adk.tools.FunctionTool can be judged, not {type(tool).__name__}",
+        )
+    for method in _STOCK_LIFECYCLE:
+        if getattr(type(tool), method) is not getattr(FunctionTool, method):
+            return (
+                None,
+                f"{type(tool).__name__} overrides FunctionTool.{method}, so its preparation "
+                "is not the stock one",
+            )
+    func = tool.func
+    skip = tuple(getattr(tool, "_ignore_params", ()) or ())
+    why = _unsupported_signature(func, skip)
+    if why is not None:
+        return None, f"its signature cannot be judged ({why})"
+    parameters = inspect.signature(func).parameters
+    raw: dict[str, Any] = {}
+    for name, parameter in parameters.items():
+        if name in skip or name in args:
+            continue
+        if parameter.default is parameter.empty:
+            return None, f"required parameter `{name}` was not supplied"
+        raw[name] = copy.deepcopy(parameter.default)
+    unknown = sorted(k for k in args if k not in parameters)
+    if unknown:
+        return None, f"unknown parameter(s) {unknown!r}"
+    raw.update(args)
+    converted, errors = tool._preprocess_args_with_validation(raw)
+    if errors:
+        return None, f"{len(errors)} argument(s) do not validate against the tool's parameters"
+    args.clear()
+    args.update(converted)
+    return copy.deepcopy(converted), None
+
+
+def _unjudgeable(tool_name: str, detail: str, proposal: Any, record: dict) -> str:
+    """The reason for a call the gate refuses before any policy runs.
+
+    Without recording arguments it is the plain text. With them
+    (the audited gate) the refusal goes through ``decide`` like every other, so
+    it is one entry on the log, bound to the arguments as the model proposed them, and the
+    reason the model reads is the one on the record.
+    """
+    if not record:
+        return f"Recusal refused `{tool_name}`: {detail}"
+    bound = proposal if isinstance(proposal, dict) else {"input": proposal}
+
+    def unjudgeable(_name, _input):
+        return [Finding.fail("recusal_unjudgeable_input", severity="CRITICAL", message=detail)]
+
+    try:
+        _, reason = decide(tool_name, bound, unjudgeable, safe_errors=True, **record)
+    except Exception as exc:  # noqa: BLE001, the refusal stands even if the record cannot be written
+        return f"Recusal failed closed (policy error): RECUSAL_POLICY_ERROR ({type(exc).__name__})"
+    return reason
+
+
+def _record_for(recording: Optional[Recording], tool_context: Any) -> dict:
+    """The recording arguments for this call, or none when the gate keeps no record."""
+    return dict(recording(tool_context)) if recording is not None else {}
+
+
+def _refusal(tool: Any, args: Any, policy: Policy, **record: Any) -> Optional[str]:
+    """Return the reason a call is refused, or None to run it.
+
+    The ADK hands the callback the same ``args`` dict the tool will be called with; the
+    invocation is prepared in place (:func:`_prepared`) and the policy judges a detached
+    copy of exactly what will run. A non-dict is refused: the tool would not accept it
+    either, and the policy cannot read it.
+
+    ``record`` goes straight to ``decide``, so a gate that puts the decision on a log
+    (``audited_agent``, ``audited_plugin``) decides, and refuses, exactly as this one does. The
+    entry for a judged call carries the fingerprint of the prepared invocation the tool
+    is called with; a call refused before judgment is bound to the arguments as proposed
+    (:func:`_prepared` changes ``args`` only when it succeeds).
+    """
+    tool_name = getattr(tool, "name", "?")
+    if not isinstance(args, dict):
+        return _unjudgeable(tool_name, "arguments are not a mapping", args, record)
+    try:
+        invocation, why = _prepared(tool, args)
+    except Exception as exc:  # noqa: BLE001, a preparation the gate cannot complete is refused
+        return _unjudgeable(
+            tool_name, f"the invocation cannot be prepared ({type(exc).__name__})", args, record
+        )
+    if invocation is None:
+        return _unjudgeable(tool_name, str(why), args, record)
+    try:
+        decision, reason = decide(tool_name, invocation, policy, safe_errors=True, **record)
+    except Exception as exc:  # noqa: BLE001, a buggy policy must not silently disable the gate
+        return f"Recusal failed closed (policy error): RECUSAL_POLICY_ERROR ({type(exc).__name__})"
+    return reason if decision == "deny" else None
+
+
+def recusal_before_tool(policy: Policy, recording: Optional[Recording] = None):
+    """Return a ``before_tool_callback`` that judges each tool call before it runs.
+
+    A refusal is returned as the tool's response, ``{"error": reason}``, so the model sees
+    why on its next turn; ``None`` lets the ADK run the tool. ``recording`` puts every
+    decision on an audit log (``recusal_google_adk.recording``).
+    """
+
+    def gate(tool: BaseTool, args: dict[str, Any], tool_context: ToolContext):
+        try:
+            record = _record_for(recording, tool_context)
+        except Exception as exc:  # noqa: BLE001, a gate that cannot record must not run the call
+            return {
+                "error": "Recusal failed closed (policy error): "
+                f"RECUSAL_POLICY_ERROR ({type(exc).__name__})"
+            }
+        reason = _refusal(tool, args, policy, **record)
+        if reason is not None:
+            return {"error": reason}
+        return None
+
+    gate.recusal_gate = True  # type: ignore[attr-defined]
+    return gate
+
+
+class RecusalPlugin(BasePlugin):
+    """The same gate as a runner plugin: every agent the runner drives.
+    ``InMemoryRunner(agent, plugins=[..., RecusalPlugin(policy)])``.
+
+    Plugin callbacks run before any agent's before-tool callbacks, and plugins run in list
+    order, so the plugin judges a call only when nothing that could change the arguments
+    runs after it (``_ordering_reason``); otherwise it refuses the call before judgment.
+    """
+
+    def __init__(
+        self, policy: Policy, name: str = "recusal", recording: Optional[Recording] = None
+    ):
+        super().__init__(name=name)
+        self._policy = policy
+        self._recording = recording
+
+    async def before_tool_callback(
+        self, *, tool: BaseTool, tool_args: dict[str, Any], tool_context: ToolContext
+    ) -> Optional[dict[str, Any]]:
+        try:
+            record = _record_for(self._recording, tool_context)
+        except Exception as exc:  # noqa: BLE001, a gate that cannot record must not run the call
+            return {
+                "error": "Recusal failed closed (policy error): "
+                f"RECUSAL_POLICY_ERROR ({type(exc).__name__})"
+            }
+        reason = _ordering_reason(self, tool_context)
+        if reason is not None:
+            return {"error": _unjudgeable(tool.name, reason, tool_args, record)}
+        reason = _refusal(tool, tool_args, self._policy, **record)
+        return {"error": reason} if reason is not None else None
+
+
+def _ordering_reason(plugin: RecusalPlugin, tool_context: Any) -> Optional[str]:
+    """Why the plugin is not the last before-tool seam for this call, or None if it is.
+
+    The executing agent is read from the invocation context behind ``tool_context``; its
+    before-tool callbacks run after every plugin, so any callback that is not a Recusal gate
+    could change the arguments the plugin judged. A plugin listed after this one whose class
+    overrides ``before_tool_callback`` runs after it too. Either is refused with the fix
+    named; so is a context that does not expose the agent.
+    """
+    invocation = getattr(tool_context, "_invocation_context", None)
+    agent = getattr(invocation, "agent", None)
+    if agent is None:
+        return "the invocation context does not expose the executing agent"
+    if not isinstance(agent, LlmAgent):
+        return (
+            f"the executing agent {agent.name!r} is a {type(agent).__name__}, "
+            "whose before-tool callbacks this plugin cannot read"
+        )
+    for callback in _callbacks(agent):
+        if not getattr(callback, "recusal_gate", False):
+            name = getattr(callback, "__name__", type(callback).__name__)
+            return (
+                f"agent {agent.name!r} runs a before_tool_callback ({name}) after this "
+                "plugin; gate it with gated_agent(agent, policy)"
+            )
+    plugins = list(getattr(getattr(invocation, "plugin_manager", None), "plugins", []))
+    position = next((i for i, p in enumerate(plugins) if p is plugin), None)
+    for later in plugins[position + 1 :] if position is not None else []:
+        if isinstance(later, RecusalPlugin):
+            continue
+        if type(later).before_tool_callback is not BasePlugin.before_tool_callback:
+            return (
+                f"plugin {later.name!r} runs a before_tool_callback after this plugin; "
+                "list RecusalPlugin last"
+            )
+    return None
+
+
+def _callbacks(agent: LlmAgent) -> list:
+    existing = agent.before_tool_callback
+    if existing is None:
+        return []
+    return list(existing) if isinstance(existing, list) else [existing]
+
+
+def _carries_gate(agent: LlmAgent) -> bool:
+    return any(getattr(cb, "recusal_gate", False) for cb in _callbacks(agent))
+
+
+def _ungateable_reason(agent: Any) -> Optional[str]:
+    """Why an agent can run something the callback never sees, or None if it cannot."""
+    if isinstance(agent, _WORKFLOW_AGENTS):
+        return None
+    if type(agent) is not LlmAgent:
+        return (
+            f"{type(agent).__name__} is not a plain LlmAgent; a subclass can run tools or "
+            "code the before-tool callback never sees"
+        )
+    if agent.code_executor is not None:
+        return "it has a code_executor; model-written code runs outside the tool path"
+    return None
+
+
+def is_gated(agent: Any, _seen: Optional[set] = None) -> bool:
+    """True if every tool call this agent, its sub-agents and its agent tools can make
+    passes through a Recusal before-tool callback."""
+    seen = set() if _seen is None else _seen
+    if id(agent) in seen:
+        return True
+    seen.add(id(agent))
+    if _ungateable_reason(agent) is not None:
+        return False
+    if isinstance(agent, LlmAgent):
+        if not _carries_gate(agent):
+            return False
+        for tool in agent.tools:
+            if isinstance(tool, AgentTool) and not is_gated(tool.agent, seen):
+                return False
+    return all(is_gated(sub, seen) for sub in agent.sub_agents)
+
+
+def gated_agent(
+    agent: BaseAgent, policy: Policy, recording: Optional[Recording] = None
+) -> BaseAgent:
+    """Return a copy of the agent whose every tool call is judged by Recusal.
+
+    The gate is appended as the LAST before-tool callback; ``sub_agents`` and the agent
+    behind every ``AgentTool`` are gated the same way. Raises ValueError if the agent, or
+    any agent under it, can run something the callback cannot see. ``recording`` puts
+    every decision of every gate it installs on an audit log.
+    """
+    reason = _ungateable_reason(agent)
+    if reason is not None:
+        raise ValueError(f"Recusal cannot gate agent {agent.name!r}: {reason}")
+    update: dict[str, Any] = {
+        "sub_agents": [gated_agent(sub, policy, recording) for sub in agent.sub_agents]
+    }
+    if isinstance(agent, LlmAgent):
+        tools: list[Any] = []
+        for tool in agent.tools:
+            if isinstance(tool, AgentTool):
+                tools.append(
+                    AgentTool(
+                        gated_agent(tool.agent, policy, recording),
+                        skip_summarization=tool.skip_summarization,
+                    )
+                )
+            else:
+                tools.append(tool)
+        update["tools"] = tools
+        update["before_tool_callback"] = _callbacks(agent) + [
+            recusal_before_tool(policy, recording)
+        ]
+    return agent.clone(update=update)

recusal_google_adk-0.1.0/tested-with.txt

@@ -0,0 +1,2 @@
+google-adk==2.13.0
+google-genai==2.34.0