loop-guardrail 1.0.0__tar.gz

loop_guardrail-1.0.0/.gitignore

@@ -0,0 +1,4 @@
+__pycache__/
+.pytest_cache/
+.venv/
+*.pyc

loop_guardrail-1.0.0/CHANGELOG.md

@@ -0,0 +1,12 @@
+# Changelog
+
+All notable changes to this project are documented here.
+Format based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
+This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [1.0.0] - 2026-05-20
+
+### Added
+- Initial standalone release as Apache-2.0 library.

loop_guardrail-1.0.0/CONTRIBUTING.md

@@ -0,0 +1,29 @@
+# Contributing
+
+Thanks for considering a contribution.
+
+## Quick start
+
+```sh
+git clone https://github.com/p-vbordei/loop-guardrail-py.git
+cd loop-guardrail-py
+uv sync
+uv run --with pytest --with pytest-asyncio pytest
+```
+
+## Workflow
+
+1. Open an issue first for non-trivial changes.
+2. Fork, branch from `main`, make changes.
+3. Run tests locally before pushing.
+4. Open a PR with a clear description.
+
+## Code style
+
+- Tests live in `tests/` next to source in `src/`.
+- Prefer small focused PRs over big ones.
+- Tests should be deterministic.
+
+## License
+
+By contributing you agree your contribution will be licensed under the project's existing license (Apache-2.0).

loop_guardrail-1.0.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 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 accept 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 Vlad Bordei
+
+   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.

loop_guardrail-1.0.0/PKG-INFO

@@ -0,0 +1,39 @@
+Metadata-Version: 2.4
+Name: loop-guardrail
+Version: 1.0.0
+Summary: Execution loop detector and guardrail for AI agents
+Project-URL: Homepage, https://github.com/p-vbordei/loop-guardrail-py
+Project-URL: Repository, https://github.com/p-vbordei/loop-guardrail-py
+Project-URL: Issues, https://github.com/p-vbordei/loop-guardrail-py/issues
+Project-URL: Changelog, https://github.com/p-vbordei/loop-guardrail-py/blob/main/CHANGELOG.md
+Author-email: Vlad Bordei <bordeivlad@gmail.com>
+License: Apache-2.0
+License-File: LICENSE
+Keywords: ai-agents,guardrail,llm,loop-detection,safety
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Software Development :: Libraries :: Python Modules
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+
+# loop-guardrail
+
+Execution loop detector and guardrail for AI agents.
+
+## Usage
+
+```python
+from loop_guardrail import ToolCallGuardrailController, ToolCallGuardrailConfig
+
+config = ToolCallGuardrailConfig(hard_stop_enabled=True)
+ctrl = ToolCallGuardrailController(config)
+
+# Pre-call check
+dec = ctrl.before_call("terminal", {"cmd": "ls"})
+if dec.action == "block":
+    print("Action blocked!")
+```

loop_guardrail-1.0.0/README.md

@@ -0,0 +1,17 @@
+# loop-guardrail
+
+Execution loop detector and guardrail for AI agents.
+
+## Usage
+
+```python
+from loop_guardrail import ToolCallGuardrailController, ToolCallGuardrailConfig
+
+config = ToolCallGuardrailConfig(hard_stop_enabled=True)
+ctrl = ToolCallGuardrailController(config)
+
+# Pre-call check
+dec = ctrl.before_call("terminal", {"cmd": "ls"})
+if dec.action == "block":
+    print("Action blocked!")
+```

loop_guardrail-1.0.0/pyproject.toml

@@ -0,0 +1,32 @@
+[project]
+name = "loop-guardrail"
+version = "1.0.0"
+description = "Execution loop detector and guardrail for AI agents"
+readme = "README.md"
+requires-python = ">=3.10"
+license = { text = "Apache-2.0" }
+authors = [{ name = "Vlad Bordei", email = "bordeivlad@gmail.com" }]
+keywords = ["llm", "ai-agents", "guardrail", "loop-detection", "safety"]
+classifiers = [
+  "License :: OSI Approved :: Apache Software License",
+  "Programming Language :: Python :: 3",
+  "Programming Language :: Python :: 3 :: Only",
+  "Programming Language :: Python :: 3.10",
+  "Programming Language :: Python :: 3.11",
+  "Programming Language :: Python :: 3.12",
+  "Topic :: Software Development :: Libraries :: Python Modules",
+]
+dependencies = []
+
+[project.urls]
+Homepage = "https://github.com/p-vbordei/loop-guardrail-py"
+Repository = "https://github.com/p-vbordei/loop-guardrail-py"
+Issues = "https://github.com/p-vbordei/loop-guardrail-py/issues"
+Changelog = "https://github.com/p-vbordei/loop-guardrail-py/blob/main/CHANGELOG.md"
+
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/loop_guardrail"]

loop_guardrail-1.0.0/src/loop_guardrail/__init__.py

@@ -0,0 +1,22 @@
+# loop-guardrail package
+from .guardrail import (
+    ToolCallSignature,
+    ToolGuardrailDecision,
+    ToolCallGuardrailConfig,
+    ToolCallGuardrailController,
+    classify_tool_failure,
+    canonical_tool_args,
+    toolguard_synthetic_result,
+    append_toolguard_guidance,
+)
+
+__all__ = [
+    "ToolCallSignature",
+    "ToolGuardrailDecision",
+    "ToolCallGuardrailConfig",
+    "ToolCallGuardrailController",
+    "classify_tool_failure",
+    "canonical_tool_args",
+    "toolguard_synthetic_result",
+    "append_toolguard_guidance",
+]

loop_guardrail-1.0.0/src/loop_guardrail/guardrail.py

@@ -0,0 +1,353 @@
+import json
+import hashlib
+from typing import Dict, Any, Tuple, Set, Optional
+
+IDEMPOTENT_TOOL_NAMES = {
+    "read_file",
+    "search_files",
+    "web_search",
+    "web_extract",
+    "session_search",
+    "browser_snapshot",
+    "browser_console",
+    "browser_get_images",
+    "mcp_filesystem_read_file",
+    "mcp_filesystem_read_text_file",
+    "mcp_filesystem_read_multiple_files",
+    "mcp_filesystem_list_directory",
+    "mcp_filesystem_list_directory_with_sizes",
+    "mcp_filesystem_directory_tree",
+    "mcp_filesystem_get_file_info",
+    "mcp_filesystem_search_files",
+}
+
+MUTATING_TOOL_NAMES = {
+    "terminal",
+    "execute_code",
+    "write_file",
+    "patch",
+    "todo",
+    "memory",
+    "skill_manage",
+    "browser_click",
+    "browser_type",
+    "browser_press",
+    "browser_scroll",
+    "browser_navigate",
+    "send_message",
+    "cronjob",
+    "delegate_task",
+    "process",
+}
+
+
+def canonical_tool_args(args: Dict[str, Any]) -> str:
+    if not isinstance(args, dict):
+        raise TypeError("tool args must be a dictionary")
+    return json.dumps(args, sort_keys=True)
+
+
+class ToolCallSignature:
+    def __init__(self, tool_name: str, args_hash: str) -> None:
+        self.tool_name = tool_name
+        self.args_hash = args_hash
+
+    @classmethod
+    def from_call(cls, tool_name: str, args: Optional[Dict[str, Any]]) -> "ToolCallSignature":
+        canonical = canonical_tool_args(args or {})
+        h = hashlib.sha256(canonical.encode("utf-8")).hexdigest()
+        return cls(tool_name, h)
+
+    def to_metadata(self) -> Dict[str, str]:
+        return {"tool_name": self.tool_name, "args_hash": self.args_hash}
+
+
+class ToolGuardrailDecision:
+    def __init__(
+        self,
+        action: str = "allow",
+        code: str = "allow",
+        message: str = "",
+        tool_name: str = "",
+        count: int = 0,
+        signature: Optional[ToolCallSignature] = None,
+    ) -> None:
+        self.action = action  # "allow" | "warn" | "block" | "halt"
+        self.code = code
+        self.message = message
+        self.tool_name = tool_name
+        self.count = count
+        self.signature = signature
+
+    @property
+    def allows_execution(self) -> bool:
+        return self.action in ("allow", "warn")
+
+    @property
+    def should_halt(self) -> bool:
+        return self.action in ("block", "halt")
+
+    def to_metadata(self) -> Dict[str, Any]:
+        data = {
+            "action": self.action,
+            "code": self.code,
+            "message": self.message,
+            "tool_name": self.tool_name,
+            "count": self.count,
+        }
+        if self.signature is not None:
+            data["signature"] = self.signature.to_metadata()
+        return data
+
+
+class ToolCallGuardrailConfig:
+    def __init__(
+        self,
+        warnings_enabled: bool = True,
+        hard_stop_enabled: bool = False,
+        exact_failure_warn_after: int = 2,
+        exact_failure_block_after: int = 5,
+        same_tool_failure_warn_after: int = 3,
+        same_tool_failure_halt_after: int = 8,
+        no_progress_warn_after: int = 2,
+        no_progress_block_after: int = 5,
+        idempotent_tools: Optional[Set[str]] = None,
+        mutating_tools: Optional[Set[str]] = None,
+    ) -> None:
+        self.warnings_enabled = warnings_enabled
+        self.hard_stop_enabled = hard_stop_enabled
+        self.exact_failure_warn_after = exact_failure_warn_after
+        self.exact_failure_block_after = exact_failure_block_after
+        self.same_tool_failure_warn_after = same_tool_failure_warn_after
+        self.same_tool_failure_halt_after = same_tool_failure_halt_after
+        self.no_progress_warn_after = no_progress_warn_after
+        self.no_progress_block_after = no_progress_block_after
+        self.idempotent_tools = idempotent_tools if idempotent_tools is not None else IDEMPOTENT_TOOL_NAMES
+        self.mutating_tools = mutating_tools if mutating_tools is not None else MUTATING_TOOL_NAMES
+
+
+def file_mutation_result_landed(tool_name: str, result: Any) -> bool:
+    if tool_name not in ("write_file", "patch") or not isinstance(result, str):
+        return False
+    try:
+        data = json.loads(result.strip())
+        if not isinstance(data, dict) or "error" in data or data.get("error"):
+            return False
+        if tool_name == "write_file":
+            return "bytes_written" in data
+        if tool_name == "patch":
+            return data.get("success") is True
+    except Exception:
+        return False
+    return False
+
+
+def classify_tool_failure(tool_name: str, result: Optional[str]) -> Tuple[bool, str]:
+    if result is None:
+        return False, ""
+    if file_mutation_result_landed(tool_name, result):
+        return False, ""
+
+    if tool_name == "terminal":
+        try:
+            data = json.loads(result.strip())
+            if isinstance(data, dict):
+                exit_code = data.get("exit_code")
+                if exit_code is not None and exit_code != 0:
+                    return True, f" [exit {exit_code}]"
+        except Exception:
+            pass
+        return False, ""
+
+    if tool_name == "memory":
+        try:
+            data = json.loads(result.strip())
+            if isinstance(data, dict):
+                if data.get("success") is False and "exceed the limit" in str(data.get("error") or ""):
+                    return True, " [full]"
+        except Exception:
+            pass
+
+    lower = result[:500].lower()
+    if '"error"' in lower or '"failed"' in lower or result.startswith("Error"):
+        return True, " [error]"
+
+    return False, ""
+
+
+class ToolCallGuardrailController:
+    def __init__(self, config: Optional[ToolCallGuardrailConfig] = None) -> None:
+        self.config = config or ToolCallGuardrailConfig()
+        self.exact_failure_counts: Dict[str, int] = {}
+        self.same_tool_failure_counts: Dict[str, int] = {}
+        self.no_progress: Dict[str, Dict[str, Any]] = {}
+        self.active_halt_decision: Optional[ToolGuardrailDecision] = None
+
+    def reset_for_turn(self) -> None:
+        self.exact_failure_counts.clear()
+        self.same_tool_failure_counts.clear()
+        self.no_progress.clear()
+        self.active_halt_decision = None
+
+    @property
+    def halt_decision(self) -> Optional[ToolGuardrailDecision]:
+        return self.active_halt_decision
+
+    def before_call(self, tool_name: str, args: Optional[Dict[str, Any]]) -> ToolGuardrailDecision:
+        sig = ToolCallSignature.from_call(tool_name, args)
+        if not self.config.hard_stop_enabled:
+            return ToolGuardrailDecision("allow", "allow", "", tool_name, 0, sig)
+
+        exact_count = self.exact_failure_counts.get(sig.args_hash, 0)
+        if exact_count >= self.config.exact_failure_block_after:
+            dec = ToolGuardrailDecision(
+                "block",
+                "repeated_exact_failure_block",
+                f"Blocked {tool_name}: the same tool call failed {exact_count} times with identical arguments. Stop retrying it unchanged; change strategy or explain the blocker.",
+                tool_name,
+                exact_count,
+                sig,
+            )
+            self.active_halt_decision = dec
+            return dec
+
+        if self.is_idempotent(tool_name):
+            record = self.no_progress.get(sig.args_hash)
+            if record is not None:
+                repeat_count = record["repeat_count"]
+                if repeat_count >= self.config.no_progress_block_after:
+                    dec = ToolGuardrailDecision(
+                        "block",
+                        "idempotent_no_progress_block",
+                        f"Blocked {tool_name}: this read-only call returned the same result {repeat_count} times. Stop repeating it unchanged; use the result already provided or try a different query.",
+                        tool_name,
+                        repeat_count,
+                        sig,
+                    )
+                    self.active_halt_decision = dec
+                    return dec
+
+        return ToolGuardrailDecision("allow", "allow", "", tool_name, 0, sig)
+
+    def after_call(
+        self,
+        tool_name: str,
+        args: Optional[Dict[str, Any]],
+        result: Optional[str],
+        failed: Optional[bool] = None,
+    ) -> ToolGuardrailDecision:
+        sig = ToolCallSignature.from_call(tool_name, args)
+        if failed is None:
+            failed, _ = classify_tool_failure(tool_name, result)
+
+        if failed:
+            exact_count = self.exact_failure_counts.get(sig.args_hash, 0) + 1
+            self.exact_failure_counts[sig.args_hash] = exact_count
+            self.no_progress.pop(sig.args_hash, None)
+
+            same_count = self.same_tool_failure_counts.get(tool_name, 0) + 1
+            self.same_tool_failure_counts[tool_name] = same_count
+
+            if self.config.hard_stop_enabled and same_count >= self.config.same_tool_failure_halt_after:
+                dec = ToolGuardrailDecision(
+                    "halt",
+                    "same_tool_failure_halt",
+                    f"Stopped {tool_name}: it failed {same_count} times this turn. Stop retrying the same failing tool path and choose a different approach.",
+                    tool_name,
+                    same_count,
+                    sig,
+                )
+                self.active_halt_decision = dec
+                return dec
+
+            if self.config.warnings_enabled and exact_count >= self.config.exact_failure_warn_after:
+                return ToolGuardrailDecision(
+                    "warn",
+                    "repeated_exact_failure_warning",
+                    f"{tool_name} has failed {exact_count} times with identical arguments. This looks like a loop; inspect the error and change strategy instead of retrying it unchanged.",
+                    tool_name,
+                    exact_count,
+                    sig,
+                )
+
+            if self.config.warnings_enabled and same_count >= self.config.same_tool_failure_warn_after:
+                return ToolGuardrailDecision(
+                    "warn",
+                    "same_tool_failure_warning",
+                    self.tool_failure_recovery_hint(tool_name, same_count),
+                    tool_name,
+                    same_count,
+                    sig,
+                )
+
+            return ToolGuardrailDecision("allow", "allow", "", tool_name, exact_count, sig)
+
+        self.exact_failure_counts.pop(sig.args_hash, None)
+        self.same_tool_failure_counts.pop(tool_name, None)
+
+        if not self.is_idempotent(tool_name):
+            self.no_progress.pop(sig.args_hash, None)
+            return ToolGuardrailDecision("allow", "allow", "", tool_name, 0, sig)
+
+        res_hash = self.compute_result_hash(result)
+        previous = self.no_progress.get(sig.args_hash)
+        repeat_count = 1
+        if previous is not None and previous["result_hash"] == res_hash:
+            repeat_count = previous["repeat_count"] + 1
+        self.no_progress[sig.args_hash] = {"result_hash": res_hash, "repeat_count": repeat_count}
+
+        if self.config.warnings_enabled and repeat_count >= self.config.no_progress_warn_after:
+            return ToolGuardrailDecision(
+                "warn",
+                "idempotent_no_progress_warning",
+                f"{tool_name} returned the same result {repeat_count} times. Use the result already provided or change the query instead of repeating it unchanged.",
+                tool_name,
+                repeat_count,
+                sig,
+            )
+
+        return ToolGuardrailDecision("allow", "allow", "", tool_name, repeat_count, sig)
+
+    def is_idempotent(self, tool_name: str) -> bool:
+        if tool_name in self.config.mutating_tools:
+            return False
+        return tool_name in self.config.idempotent_tools
+
+    def compute_result_hash(self, result: Optional[str]) -> str:
+        canonical = result or ""
+        try:
+            parsed = json.loads(canonical.strip())
+            if isinstance(parsed, dict):
+                canonical = json.dumps(parsed, sort_keys=True)
+        except Exception:
+            pass
+        return hashlib.sha256(canonical.encode("utf-8")).hexdigest()
+
+    def tool_failure_recovery_hint(self, tool_name: str, count: int) -> str:
+        common = f"{tool_name} has failed {count} times this turn. This looks like a loop. Do not switch to text-only replies; keep using tools, but diagnose before retrying. First inspect the latest error/output and verify your assumptions. "
+        if tool_name == "terminal":
+            return (
+                common
+                + "For terminal failures, run a small diagnostic such as `pwd && ls -la` in the same tool, then try an absolute path, a simpler command, a different working directory, or a different tool such as read_file/write_file/patch."
+            )
+        return (
+            common
+            + "Try different arguments, a narrower query/path, an absolute path when relevant, or a different tool that can make progress. If the blocker is external, report the blocker after one diagnostic attempt instead of repeating the same failing path."
+        )
+
+
+def toolguard_synthetic_result(decision: ToolGuardrailDecision) -> str:
+    return json.dumps(
+        {
+            "error": decision.message,
+            "guardrail": decision.to_metadata(),
+        }
+    )
+
+
+def append_toolguard_guidance(result: str, decision: ToolGuardrailDecision) -> str:
+    if decision.action not in ("warn", "halt") or not decision.message:
+        return result
+    label = "Tool loop hard stop" if decision.action == "halt" else "Tool loop warning"
+    suffix = f"\n\n[{label}: {decision.code}; count={decision.count}; {decision.message}]"
+    return (result or "") + suffix

loop_guardrail-1.0.0/tests/test_guardrail.py

@@ -0,0 +1,105 @@
+import json
+import time
+import pytest
+from loop_guardrail import (
+    ToolCallGuardrailController,
+    ToolCallGuardrailConfig,
+    classify_tool_failure,
+    toolguard_synthetic_result,
+    append_toolguard_guidance,
+)
+
+def test_canonical_tool_args():
+    # Implicitly tested via ToolCallSignature.from_call
+    from loop_guardrail.guardrail import ToolCallSignature, canonical_tool_args
+    sig1 = ToolCallSignature.from_call("test", {"b": 2, "a": 1})
+    sig2 = ToolCallSignature.from_call("test", {"a": 1, "b": 2})
+    assert sig1.args_hash == sig2.args_hash
+
+    # Test recursive sorting parity
+    nested_args1 = {"x": {"y": 2, "z": 1}, "a": 5}
+    nested_args2 = {"a": 5, "x": {"z": 1, "y": 2}}
+    assert canonical_tool_args(nested_args1) == canonical_tool_args(nested_args2)
+
+def test_classify_tool_failure():
+    assert classify_tool_failure("terminal", '{"exit_code": 1}') == (True, " [exit 1]")
+    assert classify_tool_failure("terminal", '{"exit_code": 0}') == (False, "")
+    assert classify_tool_failure("memory", '{"success": false, "error": "exceed the limit"}') == (True, " [full]")
+    assert classify_tool_failure("write_file", '{"error": "permission denied"}') == (True, " [error]")
+
+def test_warning_flow():
+    config = ToolCallGuardrailConfig(
+        warnings_enabled=True,
+        hard_stop_enabled=False,
+        exact_failure_warn_after=2,
+        same_tool_failure_warn_after=3,
+        no_progress_warn_after=2,
+    )
+    ctrl = ToolCallGuardrailController(config)
+
+    # 1. Repeated exact failures
+    dec1 = ctrl.after_call("terminal", {"cmd": "ls"}, "error", failed=True)
+    assert dec1.action == "allow"
+
+    # Turn 2 fails (exact same args) -> warning
+    dec2 = ctrl.after_call("terminal", {"cmd": "ls"}, "error", failed=True)
+    assert dec2.action == "warn"
+    assert dec2.code == "repeated_exact_failure_warning"
+
+    # 2. Same tool failure count warning
+    ctrl.reset_for_turn()
+    ctrl.after_call("terminal", {"cmd": "ls"}, "error", failed=True)
+    ctrl.after_call("terminal", {"cmd": "pwd"}, "error", failed=True)
+    dec = ctrl.after_call("terminal", {"cmd": "whoami"}, "error", failed=True)
+    assert dec.action == "warn"
+    assert dec.code == "same_tool_failure_warning"
+
+    # 3. Idempotent no progress warning
+    ctrl.reset_for_turn()
+    ctrl.after_call("read_file", {"path": "a.txt"}, "content", failed=False)
+    dec = ctrl.after_call("read_file", {"path": "a.txt"}, "content", failed=False)
+    assert dec.action == "warn"
+    assert dec.code == "idempotent_no_progress_warning"
+
+def test_hard_stop_flow():
+    config = ToolCallGuardrailConfig(
+        warnings_enabled=True,
+        hard_stop_enabled=True,
+        exact_failure_block_after=3,
+        same_tool_failure_halt_after=3,
+        no_progress_block_after=3,
+    )
+    ctrl = ToolCallGuardrailController(config)
+
+    # Exact failure block
+    ctrl.after_call("terminal", {"cmd": "ls"}, "error", failed=True)
+    ctrl.after_call("terminal", {"cmd": "ls"}, "error", failed=True)
+    
+    # Check block behavior before call
+    dec_before = ctrl.before_call("terminal", {"cmd": "ls"})
+    assert dec_before.action == "allow" # count is 2, block is at 3
+
+    ctrl.after_call("terminal", {"cmd": "ls"}, "error", failed=True)
+    dec_before_blocked = ctrl.before_call("terminal", {"cmd": "ls"})
+    assert dec_before_blocked.action == "block"
+    assert dec_before_blocked.code == "repeated_exact_failure_block"
+
+    # Same tool failure halt
+    ctrl.reset_for_turn()
+    ctrl.after_call("terminal", {"cmd": "1"}, "error", failed=True)
+    ctrl.after_call("terminal", {"cmd": "2"}, "error", failed=True)
+    dec_halt = ctrl.after_call("terminal", {"cmd": "3"}, "error", failed=True)
+    assert dec_halt.action == "halt"
+    assert dec_halt.code == "same_tool_failure_halt"
+
+def test_scale_guardrail_performance():
+    ctrl = ToolCallGuardrailController()
+    start_time = time.time()
+    for i in range(10000):
+        tool_name = "web_search" if i % 2 == 0 else "read_file"
+        args = {"query": f"term_{i}"}
+        ctrl.before_call(tool_name, args)
+        failed = i % 2 != 0
+        ctrl.after_call(tool_name, args, "Error" if failed else "result", failed=failed)
+    duration = time.time() - start_time
+    assert duration < 1.0 # Should run in well under 1 second

loop_guardrail-1.0.0/uv.lock

@@ -0,0 +1,8 @@
+version = 1
+revision = 3
+requires-python = ">=3.10"
+
+[[package]]
+name = "loop-guardrail"
+version = "1.0.0"
+source = { editable = "." }