gargoyle-receipts 0.12.0.dev0__tar.gz → 0.13.0.dev0__tar.gz

{gargoyle_receipts-0.12.0.dev0/gargoyle_receipts.egg-info → gargoyle_receipts-0.13.0.dev0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: gargoyle-receipts
-Version: 0.12.0.dev0
+Version: 0.13.0.dev0
 Summary: Signed, single-use, argument-bound receipts and human-approval holds for agent tool calls.
 Author: Justin LaPorte
 License-Expression: Apache-2.0
@@ -59,7 +59,7 @@ your MCP server and lets through only what both agreed to.
 
 [![PyPI](https://img.shields.io/pypi/v/gargoyle-receipts)](https://pypi.org/project/gargoyle-receipts/)
 
-Status: pre-release (`0.12.0.dev0`, on PyPI as `gargoyle-receipts`). The wire format is `gargoyle/3` and may
+Status: pre-release (`0.13.0.dev0`, on PyPI as `gargoyle-receipts`). The wire format is `gargoyle/3` and may
 still change before the first release; it is specified in [SPEC.md](SPEC.md).
 
 ## What a receipt gives you
@@ -368,6 +368,8 @@ cannot attach receipts work unchanged. Configuration is by environment:
 | `GARGOYLE_MCP_ENTRA_TENANT`, `_CLIENT_ID`, `_SCOPE`, `_TOKEN_CACHE` | instead of a fixed client token: the user's own Entra ID token, written by `gargoyle login` (device code, MSAL cache, silent refresh); the principal is their UPN. No usable token refuses `REF_TARGET_LOGIN_REQUIRED` |
 | issuer `GARGOYLE_ENTRA_CLIENT_ID`, `GARGOYLE_ENTRA_SCOPE` | lets the console sign approvers in with Entra (code flow with PKCE, no library); the browser generates a non-exportable key and enrolls it under the UPN |
 | issuer `GARGOYLE_APPROVERS_PATH`, `GARGOYLE_APPROVER_ROLE`, `GARGOYLE_APPROVER_GROUPS` | where enrolled approvers persist (default `approvers.json` beside the keys) and which Entra app role (default `Approver`) or groups may enroll |
+| issuer `GARGOYLE_HOLDS_PATH` | SQLite file for holds, grants, declines and plans, so a restart loses nothing a person is acting on (`gargoyle issuer` sets `holds.sqlite` beside the keys); `GET /health` reports it |
+| issuer `GARGOYLE_LOG_JSON` | one JSON line per decision on stderr: issued, refused, granted, declined, plan, enrolled |
 | `GARGOYLE_HOLD_WEBHOOK_URL`, `GARGOYLE_APPROVE_URL` | issuer: POST a notice of every new hold (Slack incoming-webhook shape, `text` plus the hold) with a link to the console; notice only, the grant still needs the approver's key |
 | `GARGOYLE_MCP_STATE_PROBE` | `filesystem` (default) binds a held file write to the file's current state: the approver sees the change as a diff, the call refuses if the file moved before the run (`REF_VERIFY_STATE_MISMATCH`), and the execution receipt records pre and post state; `none` disables |
 | `GARGOYLE_MCP_ADAPTER_SPEC` | with `GARGOYLE_MCP_STATE_PROBE=graph`: the tool-to-resource mapping JSON (default: the reference naming) |

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0}/README.md

@@ -21,7 +21,7 @@ your MCP server and lets through only what both agreed to.
 
 [![PyPI](https://img.shields.io/pypi/v/gargoyle-receipts)](https://pypi.org/project/gargoyle-receipts/)
 
-Status: pre-release (`0.12.0.dev0`, on PyPI as `gargoyle-receipts`). The wire format is `gargoyle/3` and may
+Status: pre-release (`0.13.0.dev0`, on PyPI as `gargoyle-receipts`). The wire format is `gargoyle/3` and may
 still change before the first release; it is specified in [SPEC.md](SPEC.md).
 
 ## What a receipt gives you
@@ -330,6 +330,8 @@ cannot attach receipts work unchanged. Configuration is by environment:
 | `GARGOYLE_MCP_ENTRA_TENANT`, `_CLIENT_ID`, `_SCOPE`, `_TOKEN_CACHE` | instead of a fixed client token: the user's own Entra ID token, written by `gargoyle login` (device code, MSAL cache, silent refresh); the principal is their UPN. No usable token refuses `REF_TARGET_LOGIN_REQUIRED` |
 | issuer `GARGOYLE_ENTRA_CLIENT_ID`, `GARGOYLE_ENTRA_SCOPE` | lets the console sign approvers in with Entra (code flow with PKCE, no library); the browser generates a non-exportable key and enrolls it under the UPN |
 | issuer `GARGOYLE_APPROVERS_PATH`, `GARGOYLE_APPROVER_ROLE`, `GARGOYLE_APPROVER_GROUPS` | where enrolled approvers persist (default `approvers.json` beside the keys) and which Entra app role (default `Approver`) or groups may enroll |
+| issuer `GARGOYLE_HOLDS_PATH` | SQLite file for holds, grants, declines and plans, so a restart loses nothing a person is acting on (`gargoyle issuer` sets `holds.sqlite` beside the keys); `GET /health` reports it |
+| issuer `GARGOYLE_LOG_JSON` | one JSON line per decision on stderr: issued, refused, granted, declined, plan, enrolled |
 | `GARGOYLE_HOLD_WEBHOOK_URL`, `GARGOYLE_APPROVE_URL` | issuer: POST a notice of every new hold (Slack incoming-webhook shape, `text` plus the hold) with a link to the console; notice only, the grant still needs the approver's key |
 | `GARGOYLE_MCP_STATE_PROBE` | `filesystem` (default) binds a held file write to the file's current state: the approver sees the change as a diff, the call refuses if the file moved before the run (`REF_VERIFY_STATE_MISMATCH`), and the execution receipt records pre and post state; `none` disables |
 | `GARGOYLE_MCP_ADAPTER_SPEC` | with `GARGOYLE_MCP_STATE_PROBE=graph`: the tool-to-resource mapping JSON (default: the reference naming) |

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0}/gargoyle/cli.py

@@ -26,6 +26,8 @@ policy engine, a container runtime, or any client changes.
                       approver's machine); with --approvers N also approver-2.env ...
     approver-web.json the same key and token in the form the browser approval
                       console loads (private; same machine as approver.env)
+    gargoyle-issuer.service, apache-gargoyle.conf
+                      a systemd unit and an Apache virtual host for the issuer
     mcp-config.json   the server entry to paste into the MCP client
     public-keys.json  issuer, approver and executor public keys, for audits
 
@@ -147,6 +149,33 @@ def cmd_init(args) -> int:
         "issuer": {"issuer-1": issuer_pub}, "approver": {a[0]: a[3] for a in approvers},
         "executor": {"executor-1": executor_pub}, "identity_provider": {"idp-1": idp_pub},
     }, indent=2) + "\n")
+    _write(out / "gargoyle-issuer.service", """[Unit]
+Description=Gargoyle issuing service
+After=network-online.target
+
+[Service]
+User=gargoyle
+WorkingDirectory=%(out)s
+ExecStart=%(python)s -m gargoyle.cli issuer --out %(out)s --host 127.0.0.1 --port %(port)d
+Restart=on-failure
+RestartSec=3
+
+[Install]
+WantedBy=multi-user.target
+""" % {"out": str(out), "python": sys.executable, "port": args.port})
+    _write(out / "apache-gargoyle.conf", """# Apache in front of the issuer: TLS from a trusted CA, one virtual host.
+<VirtualHost *:443>
+    ServerName %(host)s
+    SSLEngine on
+    SSLCertificateFile    /etc/ssl/certs/gargoyle.crt
+    SSLCertificateKeyFile /etc/ssl/private/gargoyle.key
+    ProxyPreserveHost On
+    ProxyPass        / http://127.0.0.1:%(port)d/
+    ProxyPassReverse / http://127.0.0.1:%(port)d/
+    ErrorLog  ${APACHE_LOG_DIR}/gargoyle-error.log
+    CustomLog ${APACHE_LOG_DIR}/gargoyle-access.log combined
+</VirtualHost>
+""" % {"host": (args.issuer_url or "gargoyle.example").replace("https://", "").replace("http://", "").split("/")[0].split(":")[0], "port": args.port})
     upstream = (["npx", "-y", "@modelcontextprotocol/server-filesystem", allowed] if args.upstream == "npx-filesystem"
                 else [client_python, "-m", "gargoyle.fs_server", allowed])
     _write(out / "mcp-config.json", json.dumps({"mcpServers": {"filesystem-gargoyle": {
@@ -260,6 +289,8 @@ def cmd_issuer(args) -> int:
     out = Path(args.out).resolve()
     os.environ.update(_read_env(out / "issuer.env"))
     os.environ.setdefault("GARGOYLE_APPROVERS_PATH", str(out / "approvers.json"))   # enrolled approvers live beside the keys
+    os.environ.setdefault("GARGOYLE_HOLDS_PATH", str(out / "holds.sqlite"))          # holds, grants, declines, plans survive restarts
+    os.environ.setdefault("GARGOYLE_LOG_JSON", "1")
     app = app_from_env()
     # The middleware reads the policy pin from a file; write it next to the
     # config so the client-side entry finds it at the configured path.

gargoyle_receipts-0.13.0.dev0/gargoyle/holdstore.py

@@ -0,0 +1,116 @@
+"""Persistent issuer state: holds, grants, declines and plans survive a restart.
+
+The issuing service keeps little state, but what it keeps is what a human
+is in the middle of acting on. In a lab the service was restarted a dozen
+times in two days and each restart dropped the holds in flight; the
+middleware then reported a timeout and the assistant retried. A client's
+approver would see a card that did nothing. This module backs each of the
+service's maps with a SQLite table (standard library, one file, one
+process), so a restart changes nothing a person can see. With no path the
+store is in memory, which is what the tests use.
+
+Dict semantics are kept on purpose: the service code reads as before,
+and a value is written back on assignment, never by mutating what a read
+returned.
+"""
+
+import json
+import sqlite3
+import threading
+from collections.abc import MutableMapping, MutableSet
+from typing import Any, Iterator, Optional
+
+ENV_HOLDS_PATH = "GARGOYLE_HOLDS_PATH"
+
+
+class HoldStore:
+    def __init__(self, path: Optional[str] = None) -> None:
+        self.path = path or ":memory:"
+        self._db = sqlite3.connect(self.path, check_same_thread=False, isolation_level=None)
+        self._lock = threading.RLock()
+        with self._lock:
+            self._db.execute("PRAGMA journal_mode=WAL") if self.path != ":memory:" else None
+            self._db.execute("CREATE TABLE IF NOT EXISTS kv (ns TEXT NOT NULL, k TEXT NOT NULL, v TEXT NOT NULL, PRIMARY KEY (ns, k))")
+
+    def dict(self, ns: str) -> "PersistentDict":
+        return PersistentDict(self, ns)
+
+    def set(self, ns: str) -> "PersistentSet":
+        return PersistentSet(self, ns)
+
+    # ---- primitives ----
+    def _get(self, ns: str, k: str) -> Any:
+        with self._lock:
+            row = self._db.execute("SELECT v FROM kv WHERE ns=? AND k=?", (ns, k)).fetchone()
+        return json.loads(row[0]) if row else None
+
+    def _has(self, ns: str, k: str) -> bool:
+        with self._lock:
+            return self._db.execute("SELECT 1 FROM kv WHERE ns=? AND k=?", (ns, k)).fetchone() is not None
+
+    def _put(self, ns: str, k: str, v: Any) -> None:
+        with self._lock:
+            self._db.execute("INSERT OR REPLACE INTO kv (ns, k, v) VALUES (?, ?, ?)", (ns, k, json.dumps(v, sort_keys=True)))
+
+    def _delete(self, ns: str, k: str) -> bool:
+        with self._lock:
+            cur = self._db.execute("DELETE FROM kv WHERE ns=? AND k=?", (ns, k))
+            return cur.rowcount > 0
+
+    def _keys(self, ns: str) -> list:
+        with self._lock:
+            return [r[0] for r in self._db.execute("SELECT k FROM kv WHERE ns=? ORDER BY rowid", (ns,)).fetchall()]
+
+    def _count(self, ns: str) -> int:
+        with self._lock:
+            return self._db.execute("SELECT COUNT(*) FROM kv WHERE ns=?", (ns,)).fetchone()[0]
+
+    def close(self) -> None:
+        with self._lock:
+            self._db.close()
+
+
+class PersistentDict(MutableMapping):
+    def __init__(self, store: HoldStore, ns: str) -> None:
+        self._s, self._ns = store, ns
+
+    def __getitem__(self, k: str) -> Any:
+        if not self._s._has(self._ns, k):
+            raise KeyError(k)
+        return self._s._get(self._ns, k)
+
+    def __setitem__(self, k: str, v: Any) -> None:
+        self._s._put(self._ns, k, v)
+
+    def __delitem__(self, k: str) -> None:
+        if not self._s._delete(self._ns, k):
+            raise KeyError(k)
+
+    def __contains__(self, k: object) -> bool:
+        return isinstance(k, str) and self._s._has(self._ns, k)
+
+    def __iter__(self) -> Iterator[str]:
+        return iter(self._s._keys(self._ns))
+
+    def __len__(self) -> int:
+        return self._s._count(self._ns)
+
+
+class PersistentSet(MutableSet):
+    def __init__(self, store: HoldStore, ns: str) -> None:
+        self._s, self._ns = store, ns
+
+    def __contains__(self, k: object) -> bool:
+        return isinstance(k, str) and self._s._has(self._ns, k)
+
+    def __iter__(self) -> Iterator[str]:
+        return iter(self._s._keys(self._ns))
+
+    def __len__(self) -> int:
+        return self._s._count(self._ns)
+
+    def add(self, k: str) -> None:
+        self._s._put(self._ns, k, True)
+
+    def discard(self, k: str) -> None:
+        self._s._delete(self._ns, k)

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0}/gargoyle/issuer_service.py

@@ -40,6 +40,7 @@ it again when the call runs. The pending set is in memory: one instance.
 
 import json
 import os
+import sys
 from datetime import datetime, timedelta, timezone
 from pathlib import Path
 from typing import Any, Callable, Dict, Optional
@@ -53,6 +54,7 @@ from gargoyle.approval import (REF_APPROVAL_APPROVER_NOT_ELIGIBLE, REF_APPROVAL_
                                verify_grant)
 from gargoyle.envelope import approval_terms
 from gargoyle.state import state_sha256, valid_description
+from gargoyle.holdstore import ENV_HOLDS_PATH, HoldStore
 from gargoyle.plans import (REF_PLAN_MALFORMED, REF_PLAN_STEP_NOT_PLANNABLE, REF_PLAN_STEP_REFUSED, build_plan,
                             sign_plan, valid_step)
 from gargoyle.notify import notifier_from_env
@@ -100,17 +102,33 @@ def build_issuer_app(
     approver_role: str = DEFAULT_APPROVER_ROLE,
     approver_groups: Optional[list] = None,
     console_entra: Optional[Dict[str, str]] = None,
+    hold_store: Optional[HoldStore] = None,
+    log_events: Optional[Callable[[Dict[str, Any]], None]] = None,
 ) -> FastAPI:
     """`on_hold(envelope, args)` is called once for every new hold (gargoyle.notify
     posts it to a webhook); it is notice, not admission, and its failure
     never affects the hold."""
     app = FastAPI(title="Gargoyle issuing service")
-    app.state.pending: Dict[str, Dict[str, Any]] = {}     # approval_request_id -> envelope
-    app.state.pending_args: Dict[str, Any] = {}           # approval_request_id -> the call's arguments
-    app.state.pending_state: Dict[str, Any] = {}          # approval_request_id -> the target's state when held
-    app.state.grants: Dict[str, Dict[str, Any]] = {}      # approval_request_id -> grant
-    app.state.declined: set = set()                       # approval_request_ids a human refused
-    app.state.pending_plans: Dict[str, Dict[str, Any]] = {}   # approval_request_id -> signed plan (gargoyle.plans)
+    # Everything a human may be in the middle of acting on lives in the hold
+    # store (gargoyle.holdstore): SQLite on disk in a deployment, memory in tests.
+    store = hold_store if hold_store is not None else HoldStore(None)
+    app.state.store = store
+    app.state.pending = store.dict("pending")             # approval_request_id -> envelope
+    app.state.pending_args = store.dict("pending_args")   # approval_request_id -> the call's arguments
+    app.state.pending_state = store.dict("pending_state") # approval_request_id -> the target's state when held
+    app.state.grants = store.dict("grants")               # approval_request_id -> [grant, ...]
+    app.state.declined = store.set("declined")            # approval_request_ids a human refused
+    app.state.pending_plans = store.dict("pending_plans") # approval_request_id -> signed plan (gargoyle.plans)
+    app.state.started_at = now().isoformat()
+
+    def event(kind: str, **fields: Any) -> None:
+        """One structured line per decision the service makes, for the
+        operator's log; never the admission path."""
+        if log_events is not None:
+            try:
+                log_events({"event": kind, "at": now().isoformat(), **fields})
+            except Exception:
+                pass
     registry = approver_registry if approver_registry is not None else ApproverRegistry(None)
     static_approvers = dict(approver_public_keys or {})
 
@@ -166,6 +184,7 @@ def build_issuer_app(
         result = issue(policy, body["target_url"], interaction, signing_key=signing_key, key_id=key_id,
                        ttl_seconds=ttl_seconds, now=now())
         if result.envelope is None:
+            event("refused", principal=who["principal"], tool=body["tool"], reason=result.decision.reason)
             return {"issued": False, "reason": result.decision.reason}
         covered = False
         plan_id = body.get("plan_id")
@@ -180,6 +199,8 @@ def build_issuer_app(
                 if plan["plan_id"] == plan_id and _complete(arid_p) and match_step(plan, body["tool"], body["args"]) is not None:
                     covered = True
                     break
+        event("issued", principal=who["principal"], tool=body["tool"], held=bool(result.envelope["requires_approval"]),
+              covered=covered, decision_id=result.envelope.get("decision_id"))
         if result.envelope["requires_approval"] and not covered:
             arid = result.envelope["approval_request_id"]
             app.state.pending[arid] = result.envelope
@@ -245,6 +266,7 @@ def build_issuer_app(
                                     approval=approval), signing_key, key_id)
         if held:
             app.state.pending_plans[plan["approval_request_id"]] = plan
+        event("plan", principal=who["principal"], steps=len(norm), held=held, plan_id=plan["plan_id"])
         return {"issued": True, "plan": plan, "held": held}
 
     def _plan_terms(plan):
@@ -306,12 +328,15 @@ def build_issuer_app(
             return {"accepted": False, "reason": g["reason"]}
         # The receipt's (or plan's) own terms: distinct approvers, from the named set if any.
         terms = approval_terms(env) if env else _plan_terms(plan)
-        have = app.state.grants.setdefault(arid, [])
+        have = list(app.state.grants.get(arid, []))
         if any(h["approver_key_id"] == grant["approver_key_id"] for h in have):
             return {"accepted": False, "reason": REF_APPROVAL_DUPLICATE_APPROVER}
         if terms["approvers"] is not None and grant["approver_key_id"] not in terms["approvers"]:
             return {"accepted": False, "reason": REF_APPROVAL_APPROVER_NOT_ELIGIBLE}
         have.append(grant)
+        app.state.grants[arid] = have                      # written back: the store persists on assignment
+        event("granted", approval_request_id=arid, approver=grant["approver_key_id"], collected=len(have), required=terms["required"],
+              hold_kind="plan" if plan else "receipt")
         return {"accepted": True, "reason": g["reason"], "collected": len(have), "required": terms["required"],
                 "complete": len(have) >= terms["required"]}
 
@@ -319,7 +344,7 @@ def build_issuer_app(
     async def decline(request: Request, authorization: Optional[str] = Header(default=None)):
         """A human's refusal: the hold is dropped, a waiting middleware learns
         at once. No signature is needed to say no; nothing can run on it."""
-        authenticate(authorization)
+        who = authenticate(authorization)
         try:
             body = await request.json()
         except Exception:
@@ -333,6 +358,7 @@ def build_issuer_app(
         app.state.pending_state.pop(arid, None)
         app.state.grants.pop(arid, None)
         app.state.declined.add(arid)
+        event("declined", approval_request_id=arid, by=who["principal"])
         return {"declined": True, "reason": None}
 
     @app.get("/grants/{approval_request_id}")
@@ -369,6 +395,7 @@ def build_issuer_app(
         if not isinstance(body, dict) or not valid_public_key_hex(body.get("public_key_hex")):
             raise _refuse(400, REF_ISSUER_BAD_REQUEST)
         result = registry.enroll(who["principal"], body["public_key_hex"], now=now())
+        event("enrolled", approver=who["principal"], replaced=result["replaced"])
         return {"enrolled": True, "key_id": who["principal"], "replaced": result["replaced"]}
 
     @app.get("/me")
@@ -381,6 +408,15 @@ def build_issuer_app(
         return {"principal": upn, "may_approve": may_enroll(who, role=approver_role, groups=approver_groups) or upn in static_approvers,
                 "enrolled_public_key_hex": registry.public_hex().get(upn)}
 
+    @app.get("/health")
+    async def health():
+        """Public, for a monitor: the service is up, which policy it runs,
+        how much is waiting, and since when. No secrets."""
+        return {"ok": True, "policy": policy.pin(), "issuer_key_id": key_id,
+                "pending_receipts": len(app.state.pending), "pending_plans": len(app.state.pending_plans),
+                "enrolled_approvers": len(registry.public_hex()), "static_approvers": len(static_approvers),
+                "entra": bool(console_entra), "persistent": store.path != ":memory:", "started_at": app.state.started_at}
+
     @app.get("/approve-config")
     async def approve_config():
         """Public: how the console signs in. `entra` is null when the site
@@ -455,6 +491,8 @@ def app_from_env() -> FastAPI:
         audience=os.environ.get(ENV_AUDIENCE) or None,
         ttl_seconds=int(os.environ.get(ENV_RECEIPT_TTL, DEFAULT_TTL_SECONDS)),
         on_hold=notifier_from_env(os.environ),
+        hold_store=HoldStore(os.environ.get(ENV_HOLDS_PATH) or None),
+        log_events=(lambda e: sys.stderr.write(json.dumps(e, sort_keys=True) + "\n")) if os.environ.get("GARGOYLE_LOG_JSON") else None,
         approver_registry=ApproverRegistry(os.environ.get(ENV_APPROVERS_PATH)),
         approver_role=os.environ.get(ENV_APPROVER_ROLE, DEFAULT_APPROVER_ROLE),
         approver_groups=[g.strip() for g in os.environ.get(ENV_APPROVER_GROUPS, "").split(",") if g.strip()] or None,

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0/gargoyle_receipts.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: gargoyle-receipts
-Version: 0.12.0.dev0
+Version: 0.13.0.dev0
 Summary: Signed, single-use, argument-bound receipts and human-approval holds for agent tool calls.
 Author: Justin LaPorte
 License-Expression: Apache-2.0
@@ -59,7 +59,7 @@ your MCP server and lets through only what both agreed to.
 
 [![PyPI](https://img.shields.io/pypi/v/gargoyle-receipts)](https://pypi.org/project/gargoyle-receipts/)
 
-Status: pre-release (`0.12.0.dev0`, on PyPI as `gargoyle-receipts`). The wire format is `gargoyle/3` and may
+Status: pre-release (`0.13.0.dev0`, on PyPI as `gargoyle-receipts`). The wire format is `gargoyle/3` and may
 still change before the first release; it is specified in [SPEC.md](SPEC.md).
 
 ## What a receipt gives you
@@ -368,6 +368,8 @@ cannot attach receipts work unchanged. Configuration is by environment:
 | `GARGOYLE_MCP_ENTRA_TENANT`, `_CLIENT_ID`, `_SCOPE`, `_TOKEN_CACHE` | instead of a fixed client token: the user's own Entra ID token, written by `gargoyle login` (device code, MSAL cache, silent refresh); the principal is their UPN. No usable token refuses `REF_TARGET_LOGIN_REQUIRED` |
 | issuer `GARGOYLE_ENTRA_CLIENT_ID`, `GARGOYLE_ENTRA_SCOPE` | lets the console sign approvers in with Entra (code flow with PKCE, no library); the browser generates a non-exportable key and enrolls it under the UPN |
 | issuer `GARGOYLE_APPROVERS_PATH`, `GARGOYLE_APPROVER_ROLE`, `GARGOYLE_APPROVER_GROUPS` | where enrolled approvers persist (default `approvers.json` beside the keys) and which Entra app role (default `Approver`) or groups may enroll |
+| issuer `GARGOYLE_HOLDS_PATH` | SQLite file for holds, grants, declines and plans, so a restart loses nothing a person is acting on (`gargoyle issuer` sets `holds.sqlite` beside the keys); `GET /health` reports it |
+| issuer `GARGOYLE_LOG_JSON` | one JSON line per decision on stderr: issued, refused, granted, declined, plan, enrolled |
 | `GARGOYLE_HOLD_WEBHOOK_URL`, `GARGOYLE_APPROVE_URL` | issuer: POST a notice of every new hold (Slack incoming-webhook shape, `text` plus the hold) with a link to the console; notice only, the grant still needs the approver's key |
 | `GARGOYLE_MCP_STATE_PROBE` | `filesystem` (default) binds a held file write to the file's current state: the approver sees the change as a diff, the call refuses if the file moved before the run (`REF_VERIFY_STATE_MISMATCH`), and the execution receipt records pre and post state; `none` disables |
 | `GARGOYLE_MCP_ADAPTER_SPEC` | with `GARGOYLE_MCP_STATE_PROBE=graph`: the tool-to-resource mapping JSON (default: the reference naming) |

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0}/gargoyle_receipts.egg-info/SOURCES.txt

@@ -15,6 +15,7 @@ gargoyle/envelope.py
 gargoyle/evidence.py
 gargoyle/execution.py
 gargoyle/fs_server.py
+gargoyle/holdstore.py
 gargoyle/identity.py
 gargoyle/issuer.py
 gargoyle/issuer_service.py

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "gargoyle-receipts"
-version = "0.12.0.dev0"
+version = "0.13.0.dev0"
 description = "Signed, single-use, argument-bound receipts and human-approval holds for agent tool calls."
 readme = "README.md"
 requires-python = ">=3.12"

{gargoyle_receipts-0.12.0.dev0 → gargoyle_receipts-0.13.0.dev0}/tests/test_issuer_service.py

@@ -166,3 +166,33 @@ def test_record_and_keys_are_public(client):
     assert client.get("/record").json() == PIN
     from cryptography.hazmat.primitives.serialization import Encoding, PublicFormat
     assert client.get("/keys").json() == {"issuer-1": issuer.public_key().public_bytes(Encoding.Raw, PublicFormat.Raw).hex()}
+
+
+def test_holds_grants_and_declines_survive_a_restart(tmp_path):
+    """The same SQLite file, a new app: what a human was acting on is still there."""
+    from gargoyle.holdstore import HoldStore
+    path = str(tmp_path / "holds.sqlite")
+    events = []
+
+    def app_on(path):
+        return build_issuer_app(policy=ToolPolicy(), signing_key=issuer, key_id="issuer-1", idp_public_keys={"idp-1": idp.public_key()},
+                                approver_public_keys={"approver-alice": approver.public_key()}, hold_store=HoldStore(path),
+                                log_events=events.append, now=lambda: NOW)
+    c1 = TestClient(app_on(path))
+    env = c1.post("/issue", json={"target_url": TARGET, "tool": "write_file", "args": {"path": "a.txt", "content": "x"}}, headers=auth()).json()["envelope"]
+    arid = env["approval_request_id"]
+    h = c1.get("/health").json()
+    assert h["ok"] and h["pending_receipts"] == 1 and h["persistent"] is True and h["policy"] == PIN
+    c2 = TestClient(app_on(path))                                   # restart
+    assert c2.get("/health").json()["pending_receipts"] == 1
+    assert c2.get("/pending", headers=auth()).json()["pending"][0]["envelope"]["approval_request_id"] == arid
+    g = sign_grant(build_grant(decision_sha256=env["decision_sha256"], approval_request_id=arid, grant_id="g-1",
+                               not_after=NOW + timedelta(minutes=10)), approver, "approver-alice")
+    assert c2.post("/grants", json=g, headers=auth()).json()["accepted"]
+    c3 = TestClient(app_on(path))                                   # restart again: the grant is still there
+    assert c3.get("/grants/" + arid, headers=auth()).json()["grant"]["approver_key_id"] == "approver-alice"
+    assert c3.post("/decline", json={"approval_request_id": arid}, headers=auth()).json()["declined"] is True
+    c4 = TestClient(app_on(path))
+    assert c4.get("/grants/" + arid, headers=auth()).json()["declined"] is True
+    assert [e["event"] for e in events] == ["issued", "granted", "declined"]
+    assert events[1]["approver"] == "approver-alice" and events[1]["hold_kind"] == "receipt"