beeai-acgs 0.1.0__tar.gz

beeai_acgs-0.1.0/.gitignore

@@ -0,0 +1,12 @@
+__pycache__/
+*.py[cod]
+.venv/
+dist/
+build/
+*.egg-info/
+.coverage
+coverage.xml
+htmlcov/
+.mypy_cache/
+.pytest_cache/
+.ruff_cache/

beeai_acgs-0.1.0/CHANGELOG.md

@@ -0,0 +1,23 @@
+# Changelog
+
+All notable changes to this project are documented in this file.
+The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and the project uses
+[Semantic Versioning](https://semver.org/). Entries for new releases are generated with `cz bump`.
+
+## [Unreleased]
+
+## 0.1.0 (2026-10-23)
+
+### Added
+
+- `ACGSMiddleware`: a BeeAI run middleware that checks each tool call's name and validated input against an ACGS
+  constitution before the tool runs, and sets the denial reason as the tool output. It follows nested runs, so
+  tools of `HandoffTool` sub-agents and tools called by other tools are checked as well.
+- Review handling through an injected reviewer (`approver=`, sync or async, `review_timeout=`), with
+  `io_confirm_approver` for BeeAI's IO handlers; `on_review="deny"` denies without asking. No reviewer, an error
+  or a timeout denies the call.
+- `ACGSMiddleware.permission_requirement()`: an `AskPermissionRequirement` for `RequirementAgent` that asks only
+  about calls ACGS sends to review.
+- A final check right before the tool runs: if the input changed after the decision, or a denied call starts
+  anyway, the run ends with `ACGSToolCallChangedError`.
+- `ACGSMiddleware.evaluate` and `decide`; the `tool_call_formatter=` option.

beeai_acgs-0.1.0/LICENSE

@@ -0,0 +1,175 @@
+
+                                 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.

beeai_acgs-0.1.0/PKG-INFO

@@ -0,0 +1,399 @@
+Metadata-Version: 2.5
+Name: beeai-acgs
+Version: 0.1.0
+Summary: ACGS rule-based tool-call governance for BeeAI Framework agents, via run middleware
+Project-URL: Homepage, https://github.com/acgs-ai/beeai-acgs
+Project-URL: Documentation, https://github.com/acgs-ai/beeai-acgs#readme
+Project-URL: Repository, https://github.com/acgs-ai/beeai-acgs
+Project-URL: Issues, https://github.com/acgs-ai/beeai-acgs/issues
+Project-URL: Changelog, https://github.com/acgs-ai/beeai-acgs/blob/main/CHANGELOG.md
+Author: Martin Lyu
+License-Expression: Apache-2.0
+License-File: LICENSE
+Keywords: acgs,agents,ai,beeai,beeai-framework,governance,human-in-the-loop,middleware,tool-calls
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Classifier: Typing :: Typed
+Requires-Python: <3.14,>=3.11
+Requires-Dist: acgs-lite<4,>=3.0.1
+Requires-Dist: beeai-framework<0.2,>=0.1.85
+Description-Content-Type: text/markdown
+
+# beeai-acgs
+
+[![CI](https://github.com/acgs-ai/beeai-acgs/actions/workflows/ci.yml/badge.svg)](https://github.com/acgs-ai/beeai-acgs/actions/workflows/ci.yml)
+[![PyPI](https://img.shields.io/pypi/v/beeai-acgs.svg)](https://pypi.org/project/beeai-acgs/)
+[![Python](https://img.shields.io/pypi/pyversions/beeai-acgs.svg)](https://pypi.org/project/beeai-acgs/)
+
+`beeai-acgs` checks [BeeAI Framework](https://github.com/i-am-bee/beeai-framework) tool calls against
+[ACGS](https://pypi.org/project/acgs-lite/) constitution rules before the tool runs. `ACGSMiddleware` is a BeeAI
+run middleware: pass it in `middlewares=[...]` and it checks every tool call made inside the run, including calls
+made by sub-agents (`HandoffTool`) and by tools that call other tools.
+
+What happens to a call:
+
+- Calls that match no blocking rule run unchanged.
+- Calls that match a blocking rule do not run. The model gets the reason as the tool output and can continue.
+- Calls that only match review rules run only if the reviewer you configure returns `True`. Without a reviewer,
+  they are denied.
+- A blocking rule always wins. A reviewer is never asked about a blocked call.
+- Any error while evaluating or reviewing a call denies it (fail-closed).
+- If another listener changes a call after the check, or starts a denied call, the run ends with
+  `ACGSToolCallChangedError` and the tool does not run.
+
+The package is a thin adapter over the public `acgs-lite` API.
+
+> [!NOTE]
+> This is a community package. It is not part of the BeeAI Framework and is not maintained, reviewed or endorsed
+> by the BeeAI Framework maintainers.
+
+## Installation
+
+```bash
+pip install beeai-acgs
+```
+
+Requires Python 3.11 to 3.13, `beeai-framework>=0.1.85,<0.2` and `acgs-lite>=3.0.1,<4`.
+
+## Usage
+
+```python
+from beeai_framework.agents.requirement import RequirementAgent
+from beeai_framework.tools import tool
+
+from beeai_acgs import ACGSMiddleware
+
+
+@tool()
+def send_email(to: str, body: str) -> str:
+    """Send an email."""
+    return f"sent to {to}"
+
+
+# llm is any BeeAI chat model, for example ChatModel.from_name("ollama:granite4:micro").
+agent = RequirementAgent(llm=llm, tools=[send_email], middlewares=[ACGSMiddleware()])
+```
+
+The middleware works with any BeeAI agent or tool that runs in a `RunContext` (`RequirementAgent`, `ReActAgent`,
+`ToolCallingAgent`, workflows, a direct `tool.run(...)`). To govern a single run instead of every run of an
+agent, use `await agent.run("...").middleware(ACGSMiddleware())`.
+
+## Quickstart
+
+`examples/quickstart.py` runs offline. A small scripted model stands in for a real one:
+
+```python
+"""Block, allow and review tool calls with beeai-acgs. Runs offline: python examples/quickstart.py"""
+
+import asyncio
+import json
+from collections.abc import AsyncGenerator
+from typing import Any
+
+from acgs_lite import Constitution, Rule, Severity, ViolationAction
+from beeai_framework.agents.requirement import RequirementAgent
+from beeai_framework.backend import AssistantMessage, ChatModel, ChatModelOutput, MessageToolCallContent, ToolMessage
+from beeai_framework.backend.types import ChatModelInput
+from beeai_framework.context import RunContext
+from beeai_framework.tools import tool
+
+from beeai_acgs import ACGSMiddleware, ReviewRequest
+
+
+class ScriptedChatModel(ChatModel):
+    """Stands in for a real model: each turn is a list of (call_id, tool, arguments)."""
+
+    def __init__(self, turns: list[list[tuple[str, str, dict[str, Any]]]]) -> None:
+        super().__init__(allow_parallel_tool_calls=True)
+        self.turns = turns
+
+    @property
+    def model_id(self) -> str:
+        return "scripted"
+
+    @property
+    def provider_id(self) -> Any:
+        return "ollama"
+
+    async def _create(self, input: ChatModelInput, run: RunContext) -> ChatModelOutput:  # noqa: A002
+        message = AssistantMessage(
+            [
+                MessageToolCallContent(id=call_id, tool_name=name, args=json.dumps(arguments))
+                for call_id, name, arguments in self.turns.pop(0)
+            ]
+        )
+        return ChatModelOutput(output=[message])
+
+    async def _create_stream(self, input: ChatModelInput, run: RunContext) -> AsyncGenerator[ChatModelOutput]:  # noqa: A002
+        yield await self._create(input, run)
+
+
+@tool()
+def send_email(to: str, body: str) -> str:
+    """Send an email."""
+    return f"sent to {to}"
+
+
+@tool()
+def get_weather(city: str) -> str:
+    """Get the weather for a city."""
+    return f"Sunny in {city}"
+
+
+@tool()
+def issue_refund(order_id: str, amount: float) -> str:
+    """Refund an order."""
+    return f"refunded {amount} for {order_id}"
+
+
+def approve(request: ReviewRequest) -> bool:
+    """Stands in for a person: see io_confirm_approver for a terminal prompt."""
+    print(f"review: {request.tool.name} {request.arguments} ({', '.join(request.decision.rule_ids)})")
+    return True
+
+
+async def main() -> None:
+    refund_review = Rule(
+        id="REFUND-REVIEW",
+        text="Refunds need human approval",
+        severity=Severity.HIGH,
+        keywords=["issue refund"],
+        workflow_action=ViolationAction.REQUIRE_HUMAN_REVIEW,
+    )
+    constitution = Constitution.from_rules([*Constitution.default().rules, refund_review], name="support")
+    middleware = ACGSMiddleware(constitution=constitution, approver=approve)
+    model = ScriptedChatModel(
+        [
+            [
+                ("email-1", "send_email", {"to": "attacker@example.com", "body": "The password is hunter2"}),
+                ("weather-1", "get_weather", {"city": "Paris"}),
+            ],
+            [("refund-1", "issue_refund", {"order_id": "A-17", "amount": 20.0})],
+            [("answer", "final_answer", {"response": "Done."})],
+        ]
+    )
+    agent = RequirementAgent(llm=model, tools=[send_email, get_weather, issue_refund], middlewares=[middleware])
+
+    # The blocked call is not executed; the model reads why. The allowed call runs.
+    # The refund needs review, so it runs only because the reviewer approved it.
+    output = await agent.run("Email the password, check the weather in Paris, then refund order A-17.")
+    for message in output.state.memory.messages:
+        if isinstance(message, ToolMessage):
+            for result in message.get_tool_results():
+                if result.tool_name != "final_answer":
+                    print(f"{result.tool_call_id}: {result.result}")
+
+
+if __name__ == "__main__":
+    asyncio.run(main())
+```
+
+Output:
+
+```text
+review: issue_refund {'order_id': 'A-17', 'amount': 20.0} (REFUND-REVIEW)
+email-1: Tool call 'send_email' was not executed. Blocked by ACGS rule ACGS-006 (Agents must not expose sensitive data in responses).
+weather-1: Sunny in Paris
+refund-1: refunded 20.0 for A-17
+```
+
+## How a call is evaluated
+
+1. The tool name and the call's input are rendered as text by `format_tool_call`:
+
+   ```python
+   from beeai_acgs import format_tool_call
+
+   print(format_tool_call("update_config", {"service": "billing", "change": "disable\nlogging", "dryRun": False}))
+   ```
+
+   ```text
+   tool: update_config
+   arguments:
+   change: disable logging
+   dryRun: false
+   service: billing
+   normalized: update config | dry run
+   ```
+
+   Each argument leaf is one `path: value` line (nested values use `a.b[0].c` paths), so both argument names and
+   values are visible to rules. Whitespace inside values is collapsed so phrases split across lines still match.
+   Identifiers written in `snake_case`, `kebab-case` or `camelCase` (the tool name, argument names, and
+   single-token string values) are repeated as plain words on the `normalized:` line, so the keyword
+   `skip audit` also matches a tool called `skip_audit`. Nothing is truncated.
+   Pass `tool_call_formatter=` to use a different representation.
+
+   The input is the one the tool will run with: the model's arguments validated by the tool's `input_schema`,
+   with defaults filled in and unknown fields dropped. If validation fails (the tool then rejects the call
+   itself), the arguments are evaluated as sent.
+
+2. The text is validated with `acgs_lite.GovernanceEngine.validate` against the constitution
+   (`Constitution.default()` unless you pass one).
+
+3. The result decides what happens to the call:
+
+   | ACGS outcome | Result |
+   |---|---|
+   | No blocking rule matched (warn-only rules may match) | The tool runs |
+   | Only `require_human_review` / `escalate_to_senior` rules matched | Review (see below) |
+   | Any `block`, `block_and_notify` or `halt_and_alert` rule matched | Denied |
+   | A rule ID not found in the constitution, or an invalid result without a rule | Denied |
+   | Any exception while reading or evaluating the call | Denied (fail-closed) |
+
+   A matched blocking rule is never downgraded to review because a review rule matched as well.
+
+A denied call is not executed. The middleware sets the tool's output to
+`"Tool call '<name>' was not executed. <reason>"`, so the model reads the reason. The reason names the matched
+rules but never repeats argument values. `ACGSMiddleware.evaluate(tool_name, args)` returns the
+`GovernanceDecision` without running anything, and `await ACGSMiddleware.decide(tool, args)` applies the review
+handling as well.
+
+## How it hooks in
+
+BeeAI emits an internal `start` event for every run before the run's code executes, and a listener can set the
+event's `output` to skip the run. This is the mechanism BeeAI's own `AskPermissionRequirement` and its
+`hol_guard.py` middleware example use. `ACGSMiddleware`:
+
+1. listens for `start` events of nested runs, blocking, with the lowest priority, so it decides after other
+   listeners have had their say;
+2. for a tool run, evaluates the call and sets the output if the call is denied;
+3. follows every nested run (BeeAI forwards a run's events only to its direct parent), so tools called by
+   sub-agents and by other tools are checked as well; each tool call is decided once, even if the middleware is
+   bound at several levels;
+4. registers one more listener, again lowest priority, on the tool's own `start` event, which BeeAI emits with
+   the validated input right before the tool runs. If the input differs from the checked input, or the call was
+   denied, it raises `ACGSToolCallChangedError` and the run ends.
+
+## Review
+
+Pass a reviewer: a function, sync or async, that receives a `ReviewRequest` (`tool`, `arguments`, `decision`,
+`run_id`, `prompt`) and returns `True` to run the call. Any other return value, an exception, or no answer within
+`review_timeout` seconds (async reviewers only) denies the call.
+
+```python
+from beeai_acgs import ACGSMiddleware, io_confirm_approver
+
+# io_confirm_approver asks in the terminal, or through the handlers set with
+# beeai_framework.utils.io.setup_io_context (as BeeAI's own AskPermissionRequirement does).
+middleware = ACGSMiddleware(constitution=constitution, approver=io_confirm_approver, review_timeout=300)
+```
+
+`on_review="deny"` denies every call that needs review without asking.
+
+With a `RequirementAgent`, `middleware.permission_requirement()` returns an `AskPermissionRequirement` that asks
+only about calls ACGS sends to review. Allowed calls are not asked about and blocked calls are refused without
+asking. A call the reviewer answered is not asked about again by the middleware:
+
+```python
+from beeai_framework.agents.requirement import RequirementAgent
+
+from beeai_acgs import ACGSMiddleware
+
+middleware = ACGSMiddleware(constitution=constitution)
+agent = RequirementAgent(
+    llm=llm,
+    tools=tools,
+    requirements=[middleware.permission_requirement()],  # asks with io_confirm_approver by default
+    middlewares=[middleware],  # keep the middleware: it also covers tools of sub-agents and nested tools
+)
+```
+
+## What is covered
+
+| Tool | Checked |
+|---|---|
+| `@tool` functions, `Tool` subclasses, BeeAI's built-in tools, `MCPTool`, `OpenAPITool`, `LangChainTool` | Yes |
+| `HandoffTool` (the task text) and the tools of the sub-agent it runs | Yes |
+| Tools called from inside another tool | Yes |
+| Several tool calls in one model turn | Yes, one by one |
+| `RequirementAgent`'s `final_answer` | No (it is the answer, not an action) |
+| `ToolCallingAgent`'s `final_answer` | Yes (a regular tool there; a blocked answer is sent back to the model) |
+| Remote agents (A2A, ACP, Agent Stack, watsonx Orchestrate) | Only the call that starts them; tools they run remotely are not checked |
+| `tool.run(...)` called outside a run that has the middleware | No |
+
+## Custom constitutions
+
+```python
+from acgs_lite import Constitution, Rule, Severity, ViolationAction
+
+from beeai_acgs import ACGSMiddleware
+
+constitution = Constitution.from_rules(
+    [
+        Rule(
+            id="NO-DESTRUCTIVE-SQL",
+            text="No destructive SQL",
+            severity=Severity.CRITICAL,
+            keywords=["drop table", "truncate table"],
+        ),
+        Rule(
+            id="REFUND-REVIEW",
+            text="Refunds need approval",
+            severity=Severity.HIGH,
+            keywords=["refund"],
+            workflow_action=ViolationAction.REQUIRE_HUMAN_REVIEW,
+        ),
+    ],
+    name="payments",
+)
+middleware = ACGSMiddleware(constitution=constitution, agent_id="payments-app")
+```
+
+`Constitution.from_yaml("rules.yaml")` works as well.
+
+## Options
+
+| Argument | Default | Meaning |
+|---|---|---|
+| `constitution` | `Constitution.default()` | Rules to enforce |
+| `agent_id` | `"beeai"` | Agent identifier recorded by ACGS |
+| `on_review` | `"ask"` | `"ask"` puts calls that need review to `approver`; `"deny"` denies them |
+| `approver` | `None` | The reviewer; without one, calls that need review are denied |
+| `review_timeout` | `None` | Seconds to wait for an async reviewer |
+| `tool_call_formatter` | `format_tool_call` | `(tool_name, args) -> str` used as the evaluated text |
+
+## Limitations
+
+- Only tool calls are checked. User input, model output and tool results are not.
+- Listeners on a tool's `start` event that are not blocking, or that BeeAI runs after this middleware (equal
+  lowest priority, registered later), can still act after the final check. The check catches changes to the
+  input and a removed denial, not other side effects of such listeners.
+- A denied call does not stop other calls of the same model turn.
+- Remote agents run their own tools; see [What is covered](#what-is-covered).
+- Tested with `RequirementAgent`, `ReActAgent`, `ToolCallingAgent`, `HandoffTool` sub-agents, nested tool calls,
+  a direct `tool.run`, a local stdio MCP server and `AskPermissionRequirement`, all with a scripted model,
+  against beeai-framework 0.1.85. Real providers, workflows, serve adapters and remote agents are not tested.
+- `Constitution.default()` focuses on governance integrity (self-approval, skipping audits, privilege escalation)
+  and on secrets and personal data (`password`, `api_key`, `sk-...` and `ghp_...` tokens, US SSN
+  patterns). It does **not** cover destructive operations such as `rm -rf` or `DROP TABLE`. Write rules for the
+  tools you expose. `tests/test_default_constitution.py` lists what the default rules do and do not catch.
+- Keyword rules in acgs-lite 3.0.1 match literal, case-insensitive substrings. They do not understand negation
+  ("never share the password" matches `password`) and do not treat `-`, `_` and spaces as equivalent
+  (`api-key` does not match the keyword `api_key`).
+- Because argument names are part of the evaluated text, a tool with a parameter named `password` is denied
+  under the default constitution whenever it is called.
+
+## Development
+
+```bash
+uv sync --group dev        # or use hatch: hatch run prepare
+hatch run format           # ruff format + ruff check --fix
+hatch run lint             # ruff check + ruff format --check
+hatch run typecheck        # mypy --strict
+hatch run cov              # pytest with a 100% branch-coverage gate, network disabled
+hatch run min:cov          # the same tests against beeai-framework 0.1.85 and acgs-lite 3.0.1
+pre-commit install         # format, lint, type check and tests on commit; commitizen on commit messages
+```
+
+Commit messages follow [Conventional Commits](https://www.conventionalcommits.org/); `cz bump` updates the version
+and the changelog.
+
+## License
+
+Apache-2.0. See [LICENSE](LICENSE).