recusal-crewai 0.1.0__tar.gz

recusal_crewai-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_crewai-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_crewai-0.1.0/PKG-INFO

@@ -0,0 +1,126 @@
+Metadata-Version: 2.4
+Name: recusal-crewai
+Version: 0.1.0
+Summary: Recusal gate for CrewAI: judge every tool call in CrewAI's own tool-call hooks, block a refusal 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/crewai
+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,crewai,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.10
+Requires-Dist: crewai<2,>=1.15.34
+Requires-Dist: recusal<1,>=0.14.0
+Description-Content-Type: text/markdown
+
+# recusal-crewai
+
+The [Recusal](https://github.com/philpaz/recusal) gate for
+[CrewAI](https://docs.crewai.com/): every tool call a crew makes 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 CrewAI dependency and its
+own version, so a CrewAI 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-crewai @ git+https://github.com/philpaz/recusal#subdirectory=adapters/crewai"
+```
+
+Requires Python 3.10+ (CrewAI's minimum), `recusal>=0.14.0` and `crewai>=1.15.34`. It is
+tested on every pull request against exactly `crewai==1.15.34`, and weekly against the
+newest release.
+
+## Use
+
+```python
+from recusal import Finding
+from recusal_crewai import install_recusal_hooks
+
+
+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 []
+
+
+uninstall = install_recusal_hooks(policy)  # after your other hooks
+try:
+    crew.kickoff()
+finally:
+    uninstall()
+```
+
+The gate is CrewAI's own tool-call hooks. The before hook judges the call and blocks a
+refusal; the after hook replaces CrewAI's fixed "Tool execution blocked by hook" line with
+Recusal's reason, so the model reads why on its next turn. A policy that raises refuses
+the call (fail closed).
+
+**The install is process-global.** CrewAI's hook registry covers every agent, task and
+crew in the process, including a coworker an agent delegates to, and every tool kind
+CrewAI runs through its hooks.
+
+**Install the gate after your other hooks.** Hooks run in registration order, and a hook
+registered after the gate can change the arguments the gate judged.
+
+The policy judges the invocation the tool receives, not the dict the model proposed:
+omitted defaults are completed from the tool's schema and values are validated once, the
+same way CrewAI prepares them at execution.
+
+## Put every decision on the record
+
+```python
+from recusal.audit import AuditLog
+from recusal_crewai import install_audited_hooks
+
+log = AuditLog(path="decisions.jsonl")
+uninstall = install_audited_hooks(policy, log)
+```
+
+Each call the before hook sees, allowed or refused, is one hash-chained entry labeled
+`crewai.before_tool_call` with 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`.
+
+**Entries carry no call id.** CrewAI's hook context has no id for the call, so the record
+does not invent one. Entries are told apart by their order on the chain, the tool, the
+fingerprint, and `control.crewai_agent`, the role of the agent that made the call.
+CrewAI runs one turn's tool calls on a thread pool, so the order of a turn's entries on
+the chain is not the order the model proposed them.
+
+## What the gate refuses, and what it does not see
+
+- **Refused before the policy runs:** a tool or schema that is not CrewAI's stock one (a
+  schema with a validator, an alias, a constraint, a `default_factory` or an intermediate
+  base; a tool class that overrides CrewAI's run or validation methods), an unsupported
+  annotation, an unknown or missing parameter, a validation failure, and a callable that
+  declares a parameter its schema omits.
+- **Not judged:** what a tool does once it runs. A tool that executes code or shell it is
+  handed needs a policy that names it.
+- **Not on the audit log:** a call a hook registered before the gate blocked, and whatever
+  a hook registered after the gate changed.
+
+## Compatibility
+
+This package is outside the kernel's frozen perimeter (`STABILITY.md`, Integrations). Its
+public names are the ones in `recusal_crewai.__all__`. When a CrewAI release changes what
+the hooks are 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/crewai_gate.py`](https://github.com/philpaz/recusal/blob/main/examples/crewai_gate.py)
+and
+[`examples/crewai_audit.py`](https://github.com/philpaz/recusal/blob/main/examples/crewai_audit.py).

recusal_crewai-0.1.0/README.md

@@ -0,0 +1,100 @@
+# recusal-crewai
+
+The [Recusal](https://github.com/philpaz/recusal) gate for
+[CrewAI](https://docs.crewai.com/): every tool call a crew makes 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 CrewAI dependency and its
+own version, so a CrewAI 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-crewai @ git+https://github.com/philpaz/recusal#subdirectory=adapters/crewai"
+```
+
+Requires Python 3.10+ (CrewAI's minimum), `recusal>=0.14.0` and `crewai>=1.15.34`. It is
+tested on every pull request against exactly `crewai==1.15.34`, and weekly against the
+newest release.
+
+## Use
+
+```python
+from recusal import Finding
+from recusal_crewai import install_recusal_hooks
+
+
+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 []
+
+
+uninstall = install_recusal_hooks(policy)  # after your other hooks
+try:
+    crew.kickoff()
+finally:
+    uninstall()
+```
+
+The gate is CrewAI's own tool-call hooks. The before hook judges the call and blocks a
+refusal; the after hook replaces CrewAI's fixed "Tool execution blocked by hook" line with
+Recusal's reason, so the model reads why on its next turn. A policy that raises refuses
+the call (fail closed).
+
+**The install is process-global.** CrewAI's hook registry covers every agent, task and
+crew in the process, including a coworker an agent delegates to, and every tool kind
+CrewAI runs through its hooks.
+
+**Install the gate after your other hooks.** Hooks run in registration order, and a hook
+registered after the gate can change the arguments the gate judged.
+
+The policy judges the invocation the tool receives, not the dict the model proposed:
+omitted defaults are completed from the tool's schema and values are validated once, the
+same way CrewAI prepares them at execution.
+
+## Put every decision on the record
+
+```python
+from recusal.audit import AuditLog
+from recusal_crewai import install_audited_hooks
+
+log = AuditLog(path="decisions.jsonl")
+uninstall = install_audited_hooks(policy, log)
+```
+
+Each call the before hook sees, allowed or refused, is one hash-chained entry labeled
+`crewai.before_tool_call` with 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`.
+
+**Entries carry no call id.** CrewAI's hook context has no id for the call, so the record
+does not invent one. Entries are told apart by their order on the chain, the tool, the
+fingerprint, and `control.crewai_agent`, the role of the agent that made the call.
+CrewAI runs one turn's tool calls on a thread pool, so the order of a turn's entries on
+the chain is not the order the model proposed them.
+
+## What the gate refuses, and what it does not see
+
+- **Refused before the policy runs:** a tool or schema that is not CrewAI's stock one (a
+  schema with a validator, an alias, a constraint, a `default_factory` or an intermediate
+  base; a tool class that overrides CrewAI's run or validation methods), an unsupported
+  annotation, an unknown or missing parameter, a validation failure, and a callable that
+  declares a parameter its schema omits.
+- **Not judged:** what a tool does once it runs. A tool that executes code or shell it is
+  handed needs a policy that names it.
+- **Not on the audit log:** a call a hook registered before the gate blocked, and whatever
+  a hook registered after the gate changed.
+
+## Compatibility
+
+This package is outside the kernel's frozen perimeter (`STABILITY.md`, Integrations). Its
+public names are the ones in `recusal_crewai.__all__`. When a CrewAI release changes what
+the hooks are 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/crewai_gate.py`](https://github.com/philpaz/recusal/blob/main/examples/crewai_gate.py)
+and
+[`examples/crewai_audit.py`](https://github.com/philpaz/recusal/blob/main/examples/crewai_audit.py).

recusal_crewai-0.1.0/pyproject.toml

@@ -0,0 +1,54 @@
+# The Recusal adapter for CrewAI, 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-crewai"
+dynamic = ["version"]
+description = "Recusal gate for CrewAI: judge every tool call in CrewAI's own tool-call hooks, block a refusal before it runs, and optionally put each decision on a hash-chained audit log."
+readme = "README.md"
+# CrewAI's own minimum.
+requires-python = ">=3.10"
+license = "Apache-2.0"
+license-files = ["LICENSE"]
+authors = [{ name = "Philip Paz", email = "philip.paz@gmail.com" }]
+keywords = ["recusal", "crewai", "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.
+    "crewai>=1.15.34,<2",
+]
+
+[project.urls]
+Homepage = "https://github.com/philpaz/recusal"
+Documentation = "https://github.com/philpaz/recusal/tree/main/adapters/crewai"
+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_crewai/__init__.py"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/recusal_crewai"]

recusal_crewai-0.1.0/smoke_test.py

@@ -0,0 +1,165 @@
+"""Prove the INSTALLED recusal-crewai wheel gates a real CrewAI crew.
+
+Run it from a directory outside the repository, with an interpreter that has the built
+wheels installed:
+
+    python /path/to/adapters/crewai/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. A scripted model
+proposes the calls; no provider, API key or network is used.
+"""
+
+from __future__ import annotations
+
+import json
+import os
+import sys
+import tempfile
+from importlib import metadata
+from pathlib import Path
+from types import SimpleNamespace
+from typing import Any
+
+# offline, and quiet: no telemetry, no tracing banner. Set before CrewAI is imported.
+for _var, _value in (
+    ("CREWAI_DISABLE_TELEMETRY", "true"),
+    ("CREWAI_TRACING_ENABLED", "false"),
+    ("OTEL_SDK_DISABLED", "true"),
+):
+    os.environ.setdefault(_var, _value)
+
+# 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_crewai  # noqa: E402
+from crewai import Agent, Crew, Task  # noqa: E402
+from crewai.llms.base_llm import BaseLLM  # noqa: E402
+from crewai.tools import tool  # noqa: E402
+from recusal_crewai import SURFACE, install_audited_hooks, install_recusal_hooks  # noqa: E402
+
+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")]
+
+
+@tool("run_sql")
+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"."""
+
+    def __init__(self) -> None:
+        super().__init__(model="scripted")
+        self.turns = 0
+
+    def call(self, messages, tools=None, callbacks=None, available_functions=None, **_: Any):
+        self.turns += 1
+        if self.turns == 1:
+            return [
+                SimpleNamespace(
+                    id=ident,
+                    type="function",
+                    function=SimpleNamespace(name="run_sql", arguments=json.dumps({"sql": sql})),
+                )
+                for ident, sql in CALLS
+            ]
+        return "Final Answer: done"
+
+    def supports_function_calling(self) -> bool:
+        return True
+
+    def supports_stop_words(self) -> bool:
+        return False
+
+    def get_context_window_size(self) -> int:
+        return 100_000
+
+
+def run() -> dict[str, str]:
+    """Run one task through a Crew; return what the model received for each call, by id."""
+    EXECUTED.clear()
+    agent = Agent(
+        role="assistant",
+        goal="do the task",
+        backstory="an offline agent",
+        llm=ScriptedLLM(),
+        tools=[run_sql],
+        verbose=False,
+    )
+    task = Task(description="go", expected_output="done", agent=agent)
+    Crew(agents=[agent], tasks=[task], verbose=False).kickoff()
+    executor = agent.agent_executor
+    return {
+        str(message.get("tool_call_id")): str(message.get("content"))
+        for message in (getattr(executor.state, "messages", []) if executor is not None else [])
+        if isinstance(message, dict) and message.get("role") == "tool"
+    }
+
+
+def main() -> None:
+    for module in (recusal, recusal_crewai):
+        origin = Path(module.__file__).resolve()
+        assert "site-packages" in origin.parts, f"{module.__name__} is not installed: {origin}"
+    assert metadata.version("recusal-crewai") == recusal_crewai.__version__
+    requires = metadata.requires("recusal-crewai") or []
+    assert any(r.startswith("recusal") and "crewai" not in r for r in requires), requires
+
+    # Negative control: without the hooks the DELETE runs, so the refusals below are the gate's.
+    run()
+    assert sorted(EXECUTED) == ["DELETE FROM t", "SELECT 1"], EXECUTED
+
+    uninstall = install_recusal_hooks(policy)
+    try:
+        answers = run()
+    finally:
+        uninstall()
+    assert EXECUTED == ["SELECT 1"], EXECUTED
+    assert "recorded: SELECT 1" in answers["c1"], answers
+    assert "DELETE is not allowed" in answers["c2"], answers
+
+    # the hooks are gone once uninstalled: the registry is process-global, so this matters
+    run()
+    assert sorted(EXECUTED) == ["DELETE FROM t", "SELECT 1"], EXECUTED
+
+    with tempfile.TemporaryDirectory() as folder:
+        log = AuditLog(path=os.path.join(folder, "audit.jsonl"))
+        uninstall = install_audited_hooks(policy, log)
+        try:
+            run()
+        finally:
+            uninstall()
+        assert EXECUTED == ["SELECT 1"], EXECUTED
+        # no call id on a CrewAI entry, and one turn's entries land in any order
+        decisions = sorted(entry["action"]["decision"] for entry in log.entries)
+        assert len(decisions) == 2 and decisions.count("deny") == 1, decisions
+        assert {entry["action"]["surface"] for entry in log.entries} == {SURFACE}
+        assert {entry["action"]["control"]["crewai_agent"] for entry in log.entries} == {
+            "assistant"
+        }
+        intact, problems = verify(log.entries)
+        assert intact, problems
+
+    print(
+        f"recusal-crewai {recusal_crewai.__version__} with recusal "
+        f"{recusal.__version__}: installed wheel gates and records"
+    )
+
+
+if __name__ == "__main__":
+    main()

recusal_crewai-0.1.0/src/recusal_crewai/__init__.py

@@ -0,0 +1,43 @@
+"""Recusal for CrewAI: judge every tool call before it runs.
+
+    from recusal_crewai import install_recusal_hooks
+
+    uninstall = install_recusal_hooks(policy)   # after your other hooks
+    crew.kickoff()
+
+``policy(tool_name, tool_input)`` is an ordinary Recusal policy returning findings. A
+refused call is blocked, and the model reads Recusal's reason in place of CrewAI's fixed
+"blocked by hook" line. CrewAI's hook registry is process-global, so one install covers
+every agent, task and crew in the process. ``install_audited_hooks`` puts each decision on
+a hash-chained audit log.
+
+The decision is made by ``recusal.decide``. This package adds only what is CrewAI's: the
+two hooks, how the invocation is prepared, and how a refusal is explained to the model.
+"""
+
+from ._audit import SURFACE, install_audited_hooks, recording
+from ._gate import (
+    BLOCKED_PREFIX,
+    PENDING_LIMIT,
+    Policy,
+    Recording,
+    install_recusal_hooks,
+    recusal_after_tool_call,
+    recusal_before_tool_call,
+)
+
+__version__ = "0.1.0"
+
+__all__ = [
+    "BLOCKED_PREFIX",
+    "PENDING_LIMIT",
+    "SURFACE",
+    "Policy",
+    "Recording",
+    "__version__",
+    "install_audited_hooks",
+    "install_recusal_hooks",
+    "recording",
+    "recusal_after_tool_call",
+    "recusal_before_tool_call",
+]

recusal_crewai-0.1.0/src/recusal_crewai/_audit.py

@@ -0,0 +1,73 @@
+"""The audited gate: the same decision, with every call on a hash-chained ``AuditLog``.
+
+``install_audited_hooks(policy, log)`` is ``install_recusal_hooks`` with a ``recording``
+that passes the recording arguments through to ``recusal.decide``, which writes the entry
+before returning. There is no second decision path. If the log cannot be written the
+decision becomes a deny, so nothing runs unrecorded. Like the plain gate it is
+process-global: one install records every agent, task and crew in the process.
+
+What each entry carries:
+
+- no call id. CrewAI's hook context has the tool name, the argument dict, the tool and the
+  agent, task and crew, and no id for the call, so the record does not invent one. Entries
+  are told apart by their order on the chain, the tool, the fingerprint and
+  ``control.crewai_agent``, the role of the agent that made the call when CrewAI supplies
+  it;
+- for a judged call (allowed or refused by the policy): the fingerprint of the prepared
+  invocation CrewAI executes, defaults completed and values validated;
+- for a call refused before judgment (a tool or schema the gate cannot judge, an unknown or
+  missing parameter, a validation failure): the fingerprint of the arguments as proposed.
+
+What is not on the log: a call a hook registered BEFORE the gate blocked (CrewAI stops at
+the first hook that blocks, so the gate never sees it and the tool does not run), and
+whatever a hook registered AFTER the gate changed. Install the gate after your other hooks,
+as with the plain one, so the record is of the call exactly as it runs.
+"""
+
+from __future__ import annotations
+
+from typing import Any, Callable, Optional
+
+from recusal.audit import AuditLog
+
+from ._gate import Policy, Recording, install_recusal_hooks
+
+#: The surface label every entry carries: the CrewAI hook that adjudicated.
+SURFACE = "crewai.before_tool_call"
+
+
+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.
+
+    CrewAI's hook context carries no call id, so none is recorded. The role of the agent
+    making the call is recorded as ``control.crewai_agent`` when CrewAI supplies one; a
+    caller's own ``control`` cannot overwrite it."""
+
+    def for_call(context: Any) -> dict[str, Any]:
+        identity = dict(control or {})
+        role = getattr(getattr(context, "agent", None), "role", None)
+        if isinstance(role, str) and role:
+            identity["crewai_agent"] = role
+        else:
+            identity.pop("crewai_agent", None)
+        return {
+            "audit": log,
+            "surface": SURFACE,
+            "actor": actor,
+            "control": identity or None,
+        }
+
+    return for_call
+
+
+def install_audited_hooks(
+    policy: Policy,
+    log: AuditLog,
+    *,
+    actor: Optional[str] = None,
+    control: Optional[dict[str, Any]] = None,
+) -> Callable[[], None]:
+    """``install_recusal_hooks`` with every decision on ``log``; returns ``uninstall``."""
+    return install_recusal_hooks(policy, recording(log, actor=actor, control=control))

recusal_crewai-0.1.0/src/recusal_crewai/_gate.py

@@ -0,0 +1,475 @@
+"""The gate: CrewAI's own tool-call hooks, judging the invocation the tool receives.
+
+The hook is CrewAI's own. CrewAI runs its ``before_tool_call`` hooks immediately before a
+tool executes, with the tool name, the argument dict and the tool object; a hook that
+returns ``False`` blocks the call. CrewAI then answers the model with a fixed line, "Tool
+execution blocked by hook. Tool: <name>", and runs the ``after_tool_call`` hooks even on a
+blocked call; an after hook that returns a string replaces that answer. So the gate is two
+hooks that work as one: ``recusal_before_tool_call(policy)`` judges the call with
+``recusal.decide`` and blocks a refusal, and ``recusal_after_tool_call(policy)``
+replaces the fixed line with the reason the before hook blocked on, so the model reads why
+on its next turn. ``install_recusal_hooks(policy)`` registers both and returns the function
+that removes them.
+
+The reason is the one the before hook decided, never a second judgment: a policy may be
+stateful, and the blocked call must be explained by the decision that blocked it. The two
+hooks correlate by the argument dict object itself: CrewAI hands the same ``tool_input``
+dict to the before and after hooks of one invocation on one thread (verified for the sync
+Crew runner, where every invocation also gets a fresh dict), so the before hook keeps the
+reason beside a strong reference to that object in a small per-thread list, and the after
+hook returns it only for that very object. Any other case, a different object, a different
+thread, an entry already used or dropped, keeps CrewAI's generic line; a reason is never
+borrowed from another call, and blocking never depends on the explanation being kept.
+
+The policy judges the invocation the tool receives, not the dict the model proposed. CrewAI
+validates the dict against the tool's ``args_schema`` at execution (``model_validate`` then
+``model_dump``, on every path), which fills omitted defaults and coerces values, so a hook
+that judged the proposal would judge ``{}`` for ``charge(amount: int = 100)`` while 100 ran.
+The before hook therefore prepares the invocation first: omitted fields are completed from
+the schema's defaults, the schema validates once, the validated values are written back
+into the dict in place (the one CrewAI executes) and a copy is judged. So that this single
+preparation is the one CrewAI repeats, the gate supports only a stock tool and schema: a
+``CrewStructuredTool`` whose class and whose original ``BaseTool`` keep CrewAI's own run and
+validation methods, and a schema that is a direct ``BaseModel`` subclass with no members of
+its own beyond what Pydantic generates, configuration limited to ``extra`` and ``title``,
+and every field a bare declaration (a supported annotation, an optional JSON default, an
+optional description and title; nothing else) compared against the canonical ``FieldInfo``
+that declaration produces. CrewAI's own generated schemas (``@tool`` functions, ``BaseTool``
+subclasses without an ``args_schema``) are exactly that. A customised schema (a validator,
+an overridden ``model_validate``, an intermediate base, a field with ``exclude``,
+``exclude_if``, ``default_factory``, an alias or a constraint), an unsupported annotation
+(``Any``, ``Annotated``, an ``Enum``, a model), an unknown parameter, a missing required one
+and a validation failure are refused before judgment; a validation failure is reported by
+field name only, never with Pydantic's text, which carries the input values.
+
+The validated dict reaches the tool's callable as keyword arguments (``func`` on the
+structured tool: the original ``BaseTool``'s ``_run``, or the application function a stock
+``Tool`` wraps), and Python fills any parameter that callable declares beyond the schema from
+the callable's own default, after judgment. The gate therefore holds the callable to the
+schema: every named parameter it declares must be a schema field, or the call is refused
+before judgment, naming the parameter and never its default. Declare it in the schema.
+
+CrewAI's hook registry is process-global: one install covers every agent, task and crew in
+the process, including the coworker an agent delegates to, and every tool kind CrewAI runs
+through its hooks (its own tools, ``@tool`` functions, MCP tools). Two consequences the tests
+pin:
+
+- hooks run in registration order and a later hook sees, and can change, the argument dict
+  the gate judged. Install the gate AFTER your other hooks, so it judges the call exactly as
+  it will run; a hook registered after it that rewrites the arguments bypasses the gate;
+- the gate judges the tool name and arguments, not what a tool does once it runs. A tool
+  that executes code or shell it is handed (CrewAI's code interpreter, for instance) needs a
+  policy that names it; the gate cannot see inside.
+"""
+
+from __future__ import annotations
+
+import copy
+import dataclasses
+import inspect
+import re
+import threading
+from typing import Any, Callable, List, Optional
+
+from crewai.hooks import (
+    register_after_tool_call_hook,
+    register_before_tool_call_hook,
+    unregister_after_tool_call_hook,
+    unregister_before_tool_call_hook,
+)
+from crewai.hooks.tool_hooks import ToolCallHookContext
+from crewai.tools import BaseTool
+from crewai.tools.base_tool import Tool
+from crewai.tools.structured_tool import CrewStructuredTool
+from pydantic import BaseModel, Field, ValidationError
+from pydantic.fields import FieldInfo
+
+from recusal import Finding, decide
+from recusal.invocation import json_data as _json_data
+from recusal.invocation import supported_annotation as _supported_annotation
+
+#: A Recusal policy: ``policy(tool_name, tool_input)`` returns a list of findings.
+Policy = Callable[[str, dict], List[Any]]
+
+#: The answer CrewAI gives the model for a call a hook blocked; the after hook replaces it.
+BLOCKED_PREFIX = "Tool execution blocked by hook."
+
+
+#: The names Pydantic's metaclass (and the interpreter) put on a model class that declares
+#: nothing of its own. Any other own name is a customisation: a method, a validator, a
+#: property, a nested class, a plain attribute. ``tests/test_crewai_gate.py`` pins that a
+#: stock ``create_model`` schema and a bare class statement stay within this set.
+_GENERATED_NAMES = frozenset(
+    {
+        "__annotations__",
+        "__module__",
+        "__qualname__",
+        "__doc__",
+        "__dict__",
+        "__weakref__",
+        "__abstractmethods__",
+        "_abc_impl",
+        "model_config",
+        "model_fields",
+        "model_computed_fields",
+        "__class_vars__",
+        "__private_attributes__",
+        "__signature__",
+        "__firstlineno__",  # class statements on Python 3.13+
+        "__static_attributes__",  # class statements on Python 3.13+
+    }
+)
+_PYDANTIC_FAMILY = re.compile(r"^__pydantic_\w+__$")
+_ALLOWED_CONFIG = frozenset({"extra", "title"})
+
+
+def _canonical_field(field: FieldInfo) -> FieldInfo:
+    """The ``FieldInfo`` the supported declaration produces: the annotation, a default when
+    the field has one, and a description or title when the field sets one; nothing else."""
+    extra: dict[str, Any] = {}
+    if field.description is not None:
+        extra["description"] = field.description
+    if field.title is not None:
+        extra["title"] = field.title
+    # Pydantic types a field's annotation as optional; a field read from a model class has one
+    annotation: Any = field.annotation
+    if field.is_required():
+        if extra:
+            return FieldInfo.from_annotated_attribute(annotation, Field(**extra))
+        return FieldInfo.from_annotation(annotation)
+    return FieldInfo.from_annotated_attribute(annotation, Field(default=field.default, **extra))
+
+
+def _unsupported_field(name: str, field: FieldInfo) -> Optional[str]:
+    """Why this field is not a bare declaration, or None if it is."""
+    if not _supported_annotation(field.annotation):
+        return f"field `{name}` is not annotated with a supported data type"
+    canonical = _canonical_field(field)
+    # _attributes_set is every setting the declaration supplied; repr covers the metadata
+    # list (constraints) and the value of each setting. Equal to the canonical form means
+    # the declaration supplied nothing the contract does not name.
+    if field._attributes_set != canonical._attributes_set or repr(field) != repr(canonical):
+        return f"field `{name}` carries a setting beyond a default, description and title"
+    if not field.is_required() and not _json_data(field.default):
+        return f"field `{name}` has a default outside the JSON domain"
+    return None
+
+
+def _unsupported_schema(schema: Any) -> Optional[str]:
+    """Why this argument schema is not a stock model, or None if it is."""
+    if not (isinstance(schema, type) and issubclass(schema, BaseModel)):
+        return "its argument schema is not a Pydantic model"
+    if schema.__bases__ != (BaseModel,):
+        return "its argument schema has a base class of its own"
+    own = sorted(
+        n for n in vars(schema) if n not in _GENERATED_NAMES and not _PYDANTIC_FAMILY.match(n)
+    )
+    if own:
+        return f"its argument schema defines `{own[0]}`"
+    decorators = getattr(schema, "__pydantic_decorators__", None)
+    if dataclasses.is_dataclass(decorators) and any(
+        getattr(decorators, f.name) for f in dataclasses.fields(decorators)
+    ):
+        return "its argument schema registers validators"
+    config = sorted(set(schema.model_config) - _ALLOWED_CONFIG)
+    if config:
+        return f"its argument schema sets configuration `{config[0]}`"
+    for name, field in schema.model_fields.items():
+        why = _unsupported_field(name, field)
+        if why is not None:
+            return why
+    return None
+
+
+#: The structured tool's methods that validate and run an invocation on CrewAI's paths, and
+#: the original tool's; the gate supports a tool only while every one of them is CrewAI's own.
+_STOCK_STRUCTURED = ("_parse_args", "invoke", "ainvoke")
+_STOCK_ORIGINAL = ("run", "arun", "_validate_kwargs")
+
+
+def _unsupported_tool(tool: Any) -> Optional[str]:
+    """Why this tool's execution cannot be judged faithfully, or None if it can."""
+    if not isinstance(tool, CrewStructuredTool):
+        return "the call carries no CrewAI tool object"
+    for name in _STOCK_STRUCTURED:
+        if getattr(type(tool), name) is not getattr(CrewStructuredTool, name):
+            return f"its tool class overrides `{name}`"
+    original = getattr(tool, "_original_tool", None)
+    if original is not None:
+        stock = {getattr(BaseTool, n) for n in _STOCK_ORIGINAL} | {
+            getattr(Tool, n) for n in _STOCK_ORIGINAL
+        }
+        for name in _STOCK_ORIGINAL:
+            if getattr(type(original), name, None) not in stock:
+                return f"its tool class overrides `{name}`"
+    why = _unsupported_schema(tool.args_schema)
+    if why is not None:
+        return why
+    return _incomplete_callable(tool)
+
+
+def _execution_callable(tool: Any) -> Any:
+    """The application callable CrewAI finally runs for this structured tool.
+
+    ``CrewStructuredTool.invoke`` calls ``func`` with the validated dict as keyword arguments.
+    ``BaseTool.to_structured_tool`` sets ``func`` to the original tool's bound ``_run`` and
+    keeps the original as ``_original_tool``; a stock ``Tool`` (what ``@tool`` builds)
+    forwards ``_run(*args, **kwargs)`` to the application function it wraps, whose signature
+    is the one Python completes. Raises ``TypeError`` when ``func`` is not the original's
+    ``_run``: the gate cannot say what would run.
+    """
+    func = tool.func
+    original = getattr(tool, "_original_tool", None)
+    if original is None:
+        return func
+    if func != original._run:
+        raise TypeError("its callable is not the original tool's `_run`")
+    if type(original)._run is Tool._run:
+        return original.func
+    return func
+
+
+def _incomplete_callable(tool: Any) -> Optional[str]:
+    """Why the callable declares a parameter the schema does not, or None if it declares
+    none. Python would fill such a parameter from the callable's default after judgment, so
+    the policy would never see the value that runs; the refusal names the parameter and
+    never its default."""
+    try:
+        func = _execution_callable(tool)
+    except TypeError as exc:
+        return str(exc)
+    try:
+        parameters = inspect.signature(func).parameters
+    except (TypeError, ValueError):
+        return "its callable cannot be inspected for its parameters"
+    fields = tool.args_schema.model_fields
+    for name, parameter in parameters.items():
+        if parameter.kind in (parameter.VAR_POSITIONAL, parameter.VAR_KEYWORD):
+            continue
+        if parameter.kind is parameter.POSITIONAL_ONLY:
+            return f"its callable's parameter `{name}` is positional-only"
+        if name not in fields:
+            return f"its callable's parameter `{name}` is absent from the argument schema"
+    return None
+
+
+def _prepared(
+    tool: Any, tool_input: 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.
+
+    Omitted fields are completed from the schema's defaults into the raw input, the schema
+    validates once (the same ``model_validate`` CrewAI runs at execution, which coerces an
+    explicit ``"100"`` to 100 for an ``int`` field), and the validated values replace the
+    dict's contents, so the dict CrewAI executes is the prepared invocation and the policy
+    judges a copy of it. A field the schema requires and the input omits is refused, as is
+    an unknown parameter and a validation failure (named by field, without Pydantic's text).
+    """
+    why = _unsupported_tool(tool)
+    if why is not None:
+        return None, f"its arguments cannot be judged ({why})"
+    fields = tool.args_schema.model_fields
+    unknown = sorted(k for k in tool_input if k not in fields)
+    if unknown:
+        return None, f"`{unknown[0]}` is not a parameter of the tool"
+    raw: dict[str, Any] = {}
+    for name, field in fields.items():
+        if name in tool_input:
+            raw[name] = tool_input[name]
+        elif not field.is_required():
+            raw[name] = copy.deepcopy(field.default)
+        else:
+            return None, f"required parameter `{name}` is missing"
+    try:
+        prepared = tool.args_schema.model_validate(raw).model_dump()
+    except ValidationError as exc:
+        named = sorted({str(e["loc"][0]) for e in exc.errors() if e.get("loc")})
+        return None, f"validation failed for `{named[0]}`" if named else "validation failed"
+    except Exception:  # noqa: BLE001, a schema that fails otherwise cannot be judged
+        return None, "validation failed"
+    tool_input.clear()
+    tool_input.update(prepared)
+    return copy.deepcopy(prepared), None
+
+
+#: Given the hook's ``ToolCallHookContext``, the recording arguments ``decide`` takes for the
+#: call (``audit=``, ``surface=``, ...). examples/crewai_audit.py builds one.
+Recording = Callable[[Any], dict]
+
+
+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 (examples/crewai_audit.py)
+    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 kept for the model 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 _refusal(
+    tool: Any, tool_name: str, tool_input: Any, policy: Policy, **record: Any
+) -> Optional[str]:
+    """Return the reason a call is refused, or None to run it.
+
+    The policy judges a copy of the prepared invocation (``_prepared``), which is also what
+    the dict CrewAI executes now holds. A non-dict is refused: the policy cannot read it.
+
+    ``record`` goes straight to ``decide``, so a gate that puts the decision on a log
+    (examples/crewai_audit.py) decides, and refuses, exactly as this one does. The entry
+    for a judged call carries the fingerprint of the prepared invocation CrewAI executes;
+    a call refused before judgment is bound to the arguments as proposed (``_prepared``
+    changes the dict only when it succeeds).
+    """
+    if not isinstance(tool_input, dict):
+        return _unjudgeable(tool_name, "arguments are not a mapping", tool_input, record)
+    judged, why = _prepared(tool, tool_input)
+    if judged is None:
+        return _unjudgeable(tool_name, str(why), tool_input, record)
+    try:
+        decision, reason = decide(tool_name, judged, 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
+
+
+#: How many blocked invocations one thread may hold reasons for before the oldest is
+#: dropped (a dropped entry degrades to CrewAI's generic line, never to a wrong reason).
+PENDING_LIMIT = 16
+
+
+class _Denials:
+    """The reasons the before hook blocked on, per thread, keyed by the argument object.
+
+    One entry per blocked invocation: ``(the tool_input object, reason)``. The object is
+    held strongly so its id cannot be reused while the entry lives. The before hook first
+    drops any entry for the same object, whatever the decision: one object cannot carry two
+    live invocations on one thread, so an entry still present is from an invocation whose
+    after hook never ran, and must not be attached to the next call that reuses the dict.
+    """
+
+    def __init__(self):
+        self._local = threading.local()
+
+    def _entries(self) -> list:
+        entries = getattr(self._local, "entries", None)
+        if entries is None:
+            entries = self._local.entries = []
+        return entries
+
+    def forget(self, tool_input: Any) -> None:
+        entries = self._entries()
+        entries[:] = [e for e in entries if e[0] is not tool_input]
+
+    def keep(self, tool_input: Any, reason: str) -> None:
+        entries = self._entries()
+        entries.append((tool_input, reason))
+        del entries[:-PENDING_LIMIT]
+
+    def take(self, tool_input: Any) -> Optional[str]:
+        entries = self._entries()
+        for index, (held, reason) in enumerate(entries):
+            if held is tool_input:
+                del entries[index]
+                return reason
+        return None
+
+
+def recusal_before_tool_call(
+    policy: Policy,
+    denials: Optional[_Denials] = None,
+    recording: Optional[Recording] = None,
+):
+    """Return a ``before_tool_call`` hook: ``False`` (block) on a refusal, ``None`` to run.
+
+    ``denials`` is shared with the matching after hook (``install_recusal_hooks`` builds the
+    pair); without it the reason is not kept and the after hook keeps CrewAI's line.
+    ``recording`` puts every decision on an audit log; a ``recording`` that raises blocks
+    the call, like any other failure inside the hook.
+    """
+    store = denials
+
+    def gate(context: ToolCallHookContext) -> Optional[bool]:
+        try:
+            tool_input = context.tool_input
+            if store is not None:
+                try:
+                    store.forget(tool_input)
+                except Exception:  # noqa: BLE001, bookkeeping never changes the decision
+                    pass
+            record = dict(recording(context)) if recording is not None else {}
+            reason = _refusal(
+                getattr(context, "tool", None), context.tool_name, tool_input, policy, **record
+            )
+            if reason is None:
+                return None
+            if store is not None:
+                try:
+                    store.keep(tool_input, reason)
+                except Exception:  # noqa: BLE001, a failure to keep the reason cannot unblock
+                    pass
+            return False
+        except Exception:  # noqa: BLE001, CrewAI swallows a hook's exception and runs the tool
+            return False
+
+    gate.recusal_gate = True  # type: ignore[attr-defined]
+    return gate
+
+
+def recusal_after_tool_call(policy: Policy, denials: Optional[_Denials] = None):
+    """Return an ``after_tool_call`` hook that puts the before hook's reason in a blocked
+    call's answer.
+
+    The reason is the one kept for this invocation's argument object; the call is never
+    judged again. A call another hook blocked, or one whose reason was not kept (another
+    thread, a dropped entry, no shared ``denials``), keeps CrewAI's own line.
+    """
+    store = denials
+
+    def explain(context: ToolCallHookContext) -> Optional[str]:
+        if not str(context.tool_result).startswith(BLOCKED_PREFIX):
+            return None
+        if store is None:
+            return None
+        try:
+            return store.take(context.tool_input)
+        except Exception:  # noqa: BLE001, the generic line is the safe fallback
+            return None
+
+    explain.recusal_gate = True  # type: ignore[attr-defined]
+    return explain
+
+
+def install_recusal_hooks(
+    policy: Policy, recording: Optional[Recording] = None
+) -> Callable[[], None]:
+    """Register the gate's two hooks for every tool call in this process; return ``uninstall``.
+
+    Register it after your other hooks: hooks run in registration order, and a hook that
+    runs after the gate can change the arguments the gate judged. ``recording`` puts every
+    decision on an audit log (examples/crewai_audit.py).
+    """
+    denials = _Denials()
+    before = recusal_before_tool_call(policy, denials, recording)
+    after = recusal_after_tool_call(policy, denials)
+    register_before_tool_call_hook(before)
+    register_after_tool_call_hook(after)
+
+    def uninstall() -> None:
+        unregister_before_tool_call_hook(before)
+        unregister_after_tool_call_hook(after)
+
+    return uninstall

recusal_crewai-0.1.0/tested-with.txt

@@ -0,0 +1 @@
+crewai==1.15.34