@miller-tech/uap 1.211.0 → 1.211.2

package/docs/reference/CONFIGURATION.md

@@ -83,6 +83,8 @@ Top level: `version`, `project`, `memory`, `worktree`, `costOptimization`,
 | `UAP_DELIVER_SANDBOX` | Deliver sandbox root path | — |
 | `UAP_ACTIVE_RUNS_DIR` | Registry of live deliver runs, used for cross-root (nested-project) single-flight | `~/.uap/active-runs` |
 | `UAP_DELIVER_NO_LOCK` | `1` disables the per-project lock **and** the overlapping-root check; the run also becomes invisible to other runs' checks | enabled |
+| `UAP_SCHEMA_DIFF_INLINE` | Set by the schema-diff gate on its own checker subprocess so a nested gate skips the inline check instead of recursing. Setting it yourself only drops the gate to its marker fallback — it does not disable it — and the **inline** form is refused, like every switch in this group. | set by the gate |
+| `UAP_ENFORCER_TIMEOUT` | Seconds the policy hook allows each enforcer. Must exceed the schema enforcer's own worst case (`INLINE_TIMEOUT` × 2 sources) or a slow healthy check is killed, which on a commit is a refusal. | `30` |
 | `UAP_HALO_TRACE` | `1` enables HALO tracing | off |
 | `UAP_HALO_TRACE_PATH` | HALO trace output file | `.uap/halo/traces.jsonl` |
 | `UAP_HALO_PROJECT_ID` | HALO project id | `uap` |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@miller-tech/uap",
-  "version": "1.211.0",
+  "version": "1.211.2",
   "description": "Autonomous AI agent memory system with CLAUDE.md protocol enforcement",
   "type": "module",
   "main": "dist/index.js",
@@ -21,7 +21,7 @@
     "start": "node dist/bin/cli.js",
     "test": "vitest",
     "test:ci": "vitest run",
-    "test:enforcers": "UAP_PROXY_ENV_AUTOLOAD=0 python3 -m unittest tools.agents.tests.test_enforcement_self_protect tools.agents.tests.test_live_deliver_kill tools.agents.tests.test_schema_diff_gate tools.agents.tests.test_schema_diff_inline tools.agents.tests.test_stream_telemetry tools.agents.tests.test_project_telemetry_events tools.agents.tests.test_workdir_scope_enforcer tools.agents.tests.test_gate_evidence tools.agents.tests.test_repeat_call_guard tools.agents.tests.test_gate_integrity tools.agents.tests.test_gate_failclosed_indirection tools.agents.tests.test_expert_review_pr_scope tools.agents.tests.test_path_containment tools.agents.tests.test_path_normalizer_hardened tools.agents.tests.test_sandbox_tool_strip tools.agents.tests.test_proxy_env_loader tools.agents.tests.test_stream_required_tool tools.agents.tests.test_tool_call_wrapper_profiles tools.agents.tests.test_tool_convert_cache tools.agents.tests.test_doubling_break tools.agents.tests.test_error_loop_ignores_correctives tools.agents.tests.test_attractor_detection tools.agents.tests.test_client_disconnect tools.agents.tests.test_confidence_escalation tools.agents.tests.test_coordination_ban tools.agents.tests.test_coordination_early_ban tools.agents.tests.test_cycle_break_exploration tools.agents.tests.test_deferral_break tools.agents.tests.test_deliver_autoroute tools.agents.tests.test_delivery_enforcement_all_langs tools.agents.tests.test_delivery_enforcement_exemptions tools.agents.tests.test_delivery_enforcement_filepath tools.agents.tests.test_delivery_enforcement_write_complexity tools.agents.tests.test_fastpath_config tools.agents.tests.test_delivery_enforcement_web_and_bash tools.agents.tests.test_disconnect_watcher tools.agents.tests.test_empty_maxtokens_recovery tools.agents.tests.test_empty_tool_loop_break tools.agents.tests.test_enforcer_escape_hatches tools.agents.tests.test_error_loop_break tools.agents.tests.test_finalize_suppression tools.agents.tests.test_malformed_unclosed_think tools.agents.tests.test_mandate_beats_recon tools.agents.tests.test_mandate_deliver tools.agents.tests.test_overflow_truncate_count_tokens tools.agents.tests.test_passthrough_oauth tools.agents.tests.test_project_telemetry tools.agents.tests.test_proxy_auth_headers tools.agents.tests.test_prune_preserve_force_write tools.agents.tests.test_recon_deliver_gate tools.agents.tests.test_session_admission tools.agents.tests.test_stream_heartbeat tools.agents.tests.test_stuck_break_reattach tools.agents.tests.test_turn_count_breaker_periodic tools.agents.tests.test_upstream_chokepoint tools.agents.tests.test_vision_passthrough tools.agents.tests.test_worktree_required tools.agents.tests.test_enforcer_suite_coverage tools.agents.tests.test_validate_plan_gate tools.agents.tests.test_validate_plan_inside_project tools.agents.tests.test_anthropic_proxy_streaming tools.agents.tests.test_non_stream_resp_log tools.agents.tests.test_delivery_enforcement_worktree tools.agents.tests.test_output_token_ceilings tools.agents.tests.test_tool_narrowing_core tools.agents.tests.test_models_context_window tools.agents.tests.test_thinking_template_kwargs tools.agents.tests.test_cycle_break_wait_poll",
+    "test:enforcers": "UAP_PROXY_ENV_AUTOLOAD=0 python3 -m unittest tools.agents.tests.test_enforcement_self_protect tools.agents.tests.test_live_deliver_kill tools.agents.tests.test_schema_diff_gate tools.agents.tests.test_schema_diff_inline tools.agents.tests.test_stream_telemetry tools.agents.tests.test_project_telemetry_events tools.agents.tests.test_workdir_scope_enforcer tools.agents.tests.test_gate_evidence tools.agents.tests.test_repeat_call_guard tools.agents.tests.test_gate_integrity tools.agents.tests.test_gate_failclosed_indirection tools.agents.tests.test_gate_failclosed_schema_diff tools.agents.tests.test_expert_review_pr_scope tools.agents.tests.test_path_containment tools.agents.tests.test_path_normalizer_hardened tools.agents.tests.test_sandbox_tool_strip tools.agents.tests.test_proxy_env_loader tools.agents.tests.test_stream_required_tool tools.agents.tests.test_tool_call_wrapper_profiles tools.agents.tests.test_tool_convert_cache tools.agents.tests.test_doubling_break tools.agents.tests.test_error_loop_ignores_correctives tools.agents.tests.test_attractor_detection tools.agents.tests.test_client_disconnect tools.agents.tests.test_confidence_escalation tools.agents.tests.test_coordination_ban tools.agents.tests.test_coordination_early_ban tools.agents.tests.test_cycle_break_exploration tools.agents.tests.test_deferral_break tools.agents.tests.test_deliver_autoroute tools.agents.tests.test_delivery_enforcement_all_langs tools.agents.tests.test_delivery_enforcement_exemptions tools.agents.tests.test_delivery_enforcement_filepath tools.agents.tests.test_delivery_enforcement_write_complexity tools.agents.tests.test_fastpath_config tools.agents.tests.test_delivery_enforcement_web_and_bash tools.agents.tests.test_disconnect_watcher tools.agents.tests.test_empty_maxtokens_recovery tools.agents.tests.test_empty_tool_loop_break tools.agents.tests.test_enforcer_escape_hatches tools.agents.tests.test_error_loop_break tools.agents.tests.test_finalize_suppression tools.agents.tests.test_malformed_unclosed_think tools.agents.tests.test_mandate_beats_recon tools.agents.tests.test_mandate_deliver tools.agents.tests.test_overflow_truncate_count_tokens tools.agents.tests.test_passthrough_oauth tools.agents.tests.test_project_telemetry tools.agents.tests.test_proxy_auth_headers tools.agents.tests.test_prune_preserve_force_write tools.agents.tests.test_recon_deliver_gate tools.agents.tests.test_session_admission tools.agents.tests.test_stream_heartbeat tools.agents.tests.test_stuck_break_reattach tools.agents.tests.test_turn_count_breaker_periodic tools.agents.tests.test_upstream_chokepoint tools.agents.tests.test_vision_passthrough tools.agents.tests.test_worktree_required tools.agents.tests.test_enforcer_suite_coverage tools.agents.tests.test_validate_plan_gate tools.agents.tests.test_validate_plan_inside_project tools.agents.tests.test_anthropic_proxy_streaming tools.agents.tests.test_non_stream_resp_log tools.agents.tests.test_delivery_enforcement_worktree tools.agents.tests.test_output_token_ceilings tools.agents.tests.test_tool_narrowing_core tools.agents.tests.test_models_context_window tools.agents.tests.test_thinking_template_kwargs tools.agents.tests.test_cycle_break_wait_poll",
     "test:coverage": "vitest --coverage",
     "bench": "vitest --config vitest.bench.config.ts",
     "lint": "eslint src --ext .ts",
@@ -31,7 +31,7 @@
     "install:web": "bash scripts/setup/install-web.sh",
     "install:desktop": "bash scripts/setup/install-desktop.sh",
     "install:cloakbrowser": "tsx scripts/setup/install-cloakbrowser.ts",
-    "postinstall": "echo '\n\u2728 Run: npx @miller-tech/uap init --interactive'",
+    "postinstall": "echo '\n✨ Run: npx @miller-tech/uap init --interactive'",
     "version:patch": "bash scripts/version-bump.sh patch",
     "version:minor": "bash scripts/version-bump.sh minor",
     "version:major": "bash scripts/version-bump.sh major",

package/src/policies/enforcers/enforcement_self_protect.py

@@ -93,6 +93,13 @@ BYPASS_PATTERNS = (
     # acceptance criteria. An inline assignment would let the agent waive its
     # own consistency requirement, so refuse it here.
     re.compile(r"UAP_ORACLE_CONSISTENCY\s*=\s*['\"]?0", re.I),
+    # schema-diff's re-entry guard. It exists so a nested gate skips its own
+    # inline checker run rather than recursing, and it no longer allows
+    # anything on its own -- but it still WEAKENS the gate to its fallback
+    # layer, and every other switch of that shape is listed here. An inline
+    # assignment is written by the constrained party into its own command
+    # line, which is an off switch rather than an override.
+    re.compile(r"UAP_SCHEMA_DIFF_INLINE\s*=\s*['\"]?1", re.I),
 )
 
 # The gateless-root override in its CLI-flag spelling. Anchored on both sides

package/src/policies/enforcers/schema_diff_gate.py

@@ -205,8 +205,9 @@ def schema_diff_ok(root: Path) -> list | None:
     freshness window is applied here, per candidate.
 
     Every miss must return None, not False: main() consumes this value, and a
-    stray bool crashed the enforcer -- which the policy hook turns into ALLOW,
-    so a wrong type here opens the gate rather than closing it.
+    stray bool crashed the enforcer. On a commit or push the hook now turns
+    that crash into a refusal rather than an ALLOW, so the cost is a blocked
+    commit instead of a silent bypass -- still a bug, and still worth the type.
     """
     db = root / "agents" / "data" / "memory" / "short_term.db"
     if not db.exists():
@@ -268,10 +269,15 @@ def schema_diff_ok(root: Path) -> list | None:
 
 INLINE_GUARD = "UAP_SCHEMA_DIFF_INLINE"
 # Comfortably inside policy-tools' 30s enforcer budget. At 60s a slow checker
-# meant the ENFORCER was killed first, and a killed enforcer is an ALLOW -- so
-# the timeout meant to produce a safe fallback produced a bypass instead. 400
-# watched files measured at 6.3s, so this leaves ample headroom.
-INLINE_TIMEOUT = 15.0
+# meant the ENFORCER was killed first, which on the TS path is still an ALLOW
+# and on the shell-hook path is now a hard block on the commit -- a bypass or a
+# deadlock depending which caller you are under, and neither is the intended
+# fallback. 400 watched files measured at 6.3s for one source. The layers nest
+# innermost-shortest: this x 2 sources (20s) < the hook's per-enforcer bound
+# (30s, UAP_ENFORCER_TIMEOUT) < the harness hook budget. Raising this without
+# raising those turns a slow check into a killed enforcer, which on a commit is
+# now a refusal.
+INLINE_TIMEOUT = 10.0
 # Verdict shapes this gate knows how to read (SCHEMA_DIFF_CONTRACT in the CLI).
 KNOWN_CONTRACTS = (1,)
 # Passed to the checker. Everything else -- API keys, tokens, proxy secrets --
@@ -690,12 +696,14 @@ def main() -> None:
 
 
 if __name__ == "__main__":
-    # A crash must not read as consent. The policy hook turns a non-zero exit
-    # or unparseable output into ALLOW for every enforcer except self-protect
-    # (.claude/hooks/uap-policy-gate.sh), so an unhandled exception anywhere
-    # above is a silent bypass -- and the review found two reachable ones, both
-    # TypeErrors on a malformed verdict. The guards are still in place; this is
-    # the backstop for the ones nobody thought of.
+    # A crash must not read as consent. The hook maps a non-zero exit or
+    # unparseable output to ALLOW for every enforcer except self-protect and,
+    # since the fail-closed net was widened, this one on a commit or push
+    # (.claude/hooks/uap-policy-gate.sh). Two reachable crashes were found by
+    # review, both TypeErrors on a malformed verdict. Emitting a refusal here
+    # is still the right backstop: it keeps the outcome correct on the paths
+    # the hook does NOT cover, and produces a reasoned message rather than a
+    # bare block on the ones it does.
     try:
         main()
     except SystemExit:

package/templates/hooks/uap-policy-gate.sh

@@ -172,7 +172,8 @@ bypass = re.search(
     r"|UAP_SELF_PROTECT_OFF\s*=\s*[\x27\"]?1|UAP_NO_WORKTREE\s*=\s*[\x27\"]?1"
     r"|UAP_WORKDIR_SCOPE_OFF\s*=\s*[\x27\"]?1|UAP_USER_VALIDATION\s*=\s*[\x27\"]?0"
     r"|UAP_DELIVER_NO_LOCK\s*=\s*[\x27\"]?1|UAP_NO_REVIEW\s*=\s*[\x27\"]?1"
-    r"|UAP_INFRA_PROTECT_OFF\s*=\s*[\x27\"]?1|UAP_ALLOW_GATELESS_ROOT\s*=\s*[\x27\"]?1",
+    r"|UAP_INFRA_PROTECT_OFF\s*=\s*[\x27\"]?1|UAP_ALLOW_GATELESS_ROOT\s*=\s*[\x27\"]?1"
+    r"|UAP_SCHEMA_DIFF_INLINE\s*=\s*[\x27\"]?1|UAP_ORACLE_CONSISTENCY\s*=\s*[\x27\"]?0",
     cmd, re.I)
 print("1" if (hit or bypass) else "0")
 ' 2>/dev/null || echo 1)"
@@ -239,8 +240,32 @@ sys.exit(0 if (is_test or trivial) else 1)
   esac
 fi
 
+# $1 = short reason, $2 = the enforcer that could not run.
+# The message has to name the RIGHT enforcer and an override that actually
+# works. Routing schema_diff_gate through the self-protect wording told the
+# operator the wrong thing had failed and pointed at UAP_SELF_PROTECT_OFF=1,
+# which cleared SEC_SENSITIVE and not COMMIT_OP. A refusal that describes the
+# wrong thing and offers no alternative is how a loop survives a guard.
 fail_closed() {
-  echo "[UAP policy gate] FAIL-CLOSED: this operation touches the enforcement control surface but the self-protect enforcer could not run (${1:-machinery unavailable}). Blocked so a broken/absent gate can't become a bypass. (Operator override: UAP_SELF_PROTECT_OFF=1.)" >&2
+  local why="${1:-machinery unavailable}"
+  local who="${2:-enforcement_self_protect}"
+  # Record before exiting. This is the most serious verdict the gate can
+  # reach and it was the one that left no trace: measured, policy_executions
+  # was unchanged across a fail-closed block while ordinary blocks recorded,
+  # so the compliance view showed zero blocks for exactly this failure mode.
+  # Guarded with declare -F because the earliest call sites (policies.db
+  # missing, no sqlite3) fire before record_execution is defined -- and in
+  # those states there is nothing to write to anyway.
+  declare -F record_execution >/dev/null \
+    && record_execution 0 "$who" "FAIL-CLOSED: $why"
+  case "$who" in
+    schema_diff_gate)
+      echo "[UAP policy gate] FAIL-CLOSED: this commit touches watched schema paths but the schema-diff enforcer could not run (${why}). Blocked so a broken/absent gate can't become a bypass. Restore it with: uap policy verify --repair (or uap policy install schema-diff-gate if the manifest is gone; npm run build if dist/ is missing). Operator override: UAP_SELF_PROTECT_OFF=1 in the environment." >&2
+      ;;
+    *)
+      echo "[UAP policy gate] FAIL-CLOSED: this operation touches the enforcement control surface but the self-protect enforcer could not run (${why}). Blocked so a broken/absent gate can't become a bypass. (Operator override: UAP_SELF_PROTECT_OFF=1.)" >&2
+      ;;
+  esac
   exit 2
 }
 
@@ -330,26 +355,88 @@ fi
 # Did the self-protect enforcer actually run and make a decision this call?
 sec_enforcer_ran=0
 
+# Is this a commit or a push? schema_diff_gate is the only control standing
+# between a breaking schema change and history, and like self-protect its
+# failure must not be read as consent -- the loop below otherwise maps an
+# errored or missing enforcer to ALLOW for everything except self-protect.
+# Scoped to commit/push so a broken schema enforcer cannot block every shell
+# command in the session; it mirrors the enforcer's own activation test.
+COMMIT_OP="$(printf '%s' "$ARGS" | python3 -c '
+import json, re, sys
+try: a = json.loads(sys.stdin.read() or "{}")
+except Exception: a = {}
+cmd = str(a.get("command") or "")
+# Quoted text is prose, not an invocation. While the enforcer was broken,
+# echo "next step: git commit" and grep -rn "git push" docs/ were hard blocks.
+# The enforcer over-matches the same way, but when IT over-matches it runs,
+# finds no watched paths and allows -- so the fail-closed net has to be
+# STRICTER than the thing it protects, not looser.
+bare = re.sub(r"\x27[^\x27]*\x27|\"[^\"]*\"", " ", cmd).lower()
+inv = re.search(r"(?:^|[;&|]|\bthen\b|\bdo\b)\s*git\b[^;&|]*\b(?:commit|push)\b", bare)
+# --help and --dry-run store nothing, so refusing them is pure friction. The
+# match itself ends at the verb, so the flags are searched in the rest of the
+# command SEGMENT -- searching inv.group(0) found nothing and blocked them.
+seg = re.split(r"[;&|]", bare[inv.start():])[0] if inv else ""
+inert = inv and re.search(r"--help|--dry-run|(?:^|\s)-h(?:\s|$)", seg)
+print("1" if (inv and not inert) else "0")
+' 2>/dev/null || echo 1)"
+
+# The operator hatch clears the whole net. It already zeroed SEC_SENSITIVE
+# further up; leaving COMMIT_OP armed made the override named in the refusal a
+# no-op for exactly the case that prints it -- so a stale .policy-tools copy
+# refused every commit and push in the session with no working remedy.
+[[ "${UAP_SELF_PROTECT_OFF:-}" == "1" ]] && COMMIT_OP=0
+
+# Which enforcers must fail CLOSED, and when. Called from `if`, never as the
+# left side of `&&`: this script runs under `set -e`, and `if` suspends it for
+# the whole condition.
+must_fail_closed() {
+  case "$1" in
+    enforcement_self_protect) [[ "$SEC_SENSITIVE" == "1" ]] ;;
+    schema_diff_gate)         [[ "$COMMIT_OP" == "1" ]] ;;
+    *)                        false ;;
+  esac
+}
+
+# Bound every enforcer. Without this a hung one stalled the hook until the
+# harness killed the whole process -- and a killed HOOK is not a fail-closed,
+# it is an unbounded stall with the outcome decided elsewhere. On timeout the
+# output is empty, which the parser below already reads as allowed=2, so the
+# existing net decides what that means per enforcer.
+#
+# The layers must nest, innermost shortest: the schema enforcer's own inline
+# checker (10s x up to 2 sources) < this (30s) < the harness hook budget.
+# gtimeout is the macOS spelling; with neither present the call is unbounded,
+# which is the behaviour that shipped.
+TIMEOUT_BIN="$(command -v timeout || command -v gtimeout || true)"
+ENFORCER_TIMEOUT="${UAP_ENFORCER_TIMEOUT:-30}"
+
 # Iterate active policies with attached executable tools
 while IFS='|' read -r pid pname tool; do
   [[ -z "$pid" ]] && continue
   enforcer="$MAIN_ROOT/.policy-tools/${pid}_${tool}.py"
   if [[ ! -f "$enforcer" ]]; then
-    # A missing self-protect enforcer on a sensitive op = fail closed.
-    [[ "$SEC_SENSITIVE" == "1" && "$tool" == "enforcement_self_protect" ]] && fail_closed "enforcer file missing"
+    # A missing fail-closed enforcer on an operation it guards = fail closed.
+    if must_fail_closed "$tool"; then fail_closed "enforcer file missing" "$tool"; fi
     continue
   fi
-  out="$(python3 "$enforcer" --operation "$TOOL" --args "$ARGS" 2>/dev/null || true)"
+  if [[ -n "$TIMEOUT_BIN" ]]; then
+    out="$("$TIMEOUT_BIN" "${ENFORCER_TIMEOUT}s" python3 "$enforcer" --operation "$TOOL" --args "$ARGS" 2>/dev/null || true)"
+  else
+    out="$(python3 "$enforcer" --operation "$TOOL" --args "$ARGS" 2>/dev/null || true)"
+  fi
   allowed="$(printf '%s' "$out" | python3 -c 'import json,sys;
 try: d=json.loads(sys.stdin.read()); print("1" if d.get("allowed",True) else "0")
 except: print("2")' 2>/dev/null || echo 2)"
   # allowed=2 => enforcer errored / emitted unparseable output. For a sensitive
   # op via the self-protect enforcer, that error must NOT default to allow.
+  if [[ "$allowed" == "2" ]] && must_fail_closed "$tool"; then
+    fail_closed "enforcer errored" "$tool"
+  fi
   if [[ "$tool" == "enforcement_self_protect" ]]; then
-    [[ "$SEC_SENSITIVE" == "1" && "$allowed" == "2" ]] && fail_closed "enforcer errored"
     sec_enforcer_ran=1
   fi
-  # For all other enforcers, an error still fails open (unchanged behavior).
+  # For every other enforcer, an error still fails open (unchanged behavior).
   [[ "$allowed" == "2" ]] && allowed=1
   if [[ "$allowed" == "0" ]]; then
     # R1: consume the enforcer's route:deliver signal (log intent, opt-in

package/tools/agents/tests/test_gate_failclosed_schema_diff.py

@@ -0,0 +1,410 @@
+"""The schema-diff gate's failure must not read as consent.
+
+Two residuals left over from the inline-check pivot (PR #733), both in files
+the agent that wrote that change could not edit:
+
+  1. `UAP_SCHEMA_DIFF_INLINE=1` was the only gate switch of its shape absent
+     from self-protect's BYPASS_PATTERNS. It no longer allows anything on its
+     own -- it skips the inline checker and lands in the fallback -- but it
+     still WEAKENS the control, and an inline assignment is written by the
+     constrained party into its own command line. Every comparable switch
+     (UAP_SELF_PROTECT_OFF, UAP_NO_REVIEW, UAP_DELIVER_NO_LOCK, ...) is
+     refused inline for exactly that reason.
+
+  2. uap-policy-gate.sh maps an errored or missing enforcer to ALLOW for
+     everything except enforcement_self_protect. schema_diff_gate is the only
+     thing standing between a breaking schema change and history, so a crash
+     in it was a silent bypass. It now fails closed -- but only on a commit or
+     push, so a broken schema enforcer cannot block every shell command in a
+     session.
+
+The drift test at the bottom is the one that will actually catch a regression:
+the hook has NINE copies in this repo, and `uap worktree create` seeds new
+worktrees from templates/hooks/, so patching only .claude/hooks/ silently
+reverts the fix on the next worktree.
+"""
+
+from __future__ import annotations
+
+import json
+import os
+import re
+import sqlite3
+import subprocess
+import sys
+import tempfile
+import unittest
+from pathlib import Path
+
+REPO = Path(__file__).resolve().parents[3]
+ENFORCERS = REPO / "src" / "policies" / "enforcers"
+SELF_PROTECT = ENFORCERS / "enforcement_self_protect.py"
+PRIMARY_HOOK = REPO / ".claude" / "hooks" / "uap-policy-gate.sh"
+HOOK_NAME = "uap-policy-gate.sh"
+
+
+def hook_copies() -> list[Path]:
+    """Every copy of the hook in this checkout.
+
+    Exclusions are matched on the path RELATIVE to REPO. Matching the absolute
+    path excluded the entire tree whenever REPO was itself a worktree, since
+    every path under .worktrees/240-x/ contains ".worktrees" -- so this
+    returned [] exactly where it runs, and the two sweeps below passed by
+    iterating nothing. Caught by running it for real; a scratch copy in /tmp
+    could not reproduce it.
+    """
+    tracked = subprocess.run(
+        ["git", "ls-files", "--full-name", "*" + HOOK_NAME],
+        cwd=REPO, capture_output=True, text=True,
+    ).stdout.split()
+    # TRACKED copies only. An rglob also swept `uap hooks install` output --
+    # .uap/omp/ and .codex|.cursor|.forge|.opencode/hooks/ are all gitignored --
+    # so on any machine whose installed hooks predate a change, the drift
+    # assertions failed on files no PR can commit. What matters here is that
+    # every copy the repo SHIPS stays in step, templates/hooks/ above all.
+    return sorted(REPO / t for t in tracked if (REPO / t).is_file())
+
+
+def run_self_protect(command: str, root: Path) -> tuple[bool, str]:
+    env = {
+        "UAP_REPO_ROOT": str(root),
+        "UAP_WORKTREE_ROOT": str(root),
+        "PYTHONPATH": str(ENFORCERS),
+        "PATH": "/usr/bin:/bin",
+    }
+    r = subprocess.run(
+        [sys.executable, str(SELF_PROTECT), "--operation", "Bash",
+         "--args", json.dumps({"command": command})],
+        cwd=root, env=env, capture_output=True, text=True, timeout=60,
+    )
+    try:
+        payload = json.loads(r.stdout or "{}")
+    except json.JSONDecodeError:
+        return False, f"unparseable: {r.stdout[:120]}"
+    return payload.get("allowed", True), payload.get("reason", "")
+
+
+class InlineGuardIsABypassPattern(unittest.TestCase):
+    def test_setting_it_inline_is_refused(self):
+        allowed, reason = run_self_protect(
+            "UAP_SCHEMA_DIFF_INLINE=1 git commit -m x", REPO
+        )
+        self.assertFalse(allowed, f"an inline off-switch must be refused: {reason}")
+
+    def test_a_comparable_switch_behaves_the_same(self):
+        """Anchors the assertion above to existing, agreed behaviour."""
+        allowed, _ = run_self_protect("UAP_NO_REVIEW=1 git commit -m x", REPO)
+        self.assertFalse(allowed)
+
+    def test_merely_naming_the_variable_is_not_refused(self):
+        """Docs, commit messages and greps must keep working.
+
+        The pattern requires an assignment to 1, not the bare name -- the same
+        distinction that made GATELESS_FLAG_RE scan `scannable_command`
+        instead of raw text after bare flag names started refusing honest work.
+        """
+        for cmd in (
+            "echo the UAP_SCHEMA_DIFF_INLINE guard is documented",
+            "grep -rn UAP_SCHEMA_DIFF_INLINE src/",
+        ):
+            with self.subTest(cmd=cmd):
+                allowed, reason = run_self_protect(cmd, REPO)
+                self.assertTrue(allowed, f"{cmd} must stay allowed: {reason}")
+
+
+class HookFailsClosedOnCommits(unittest.TestCase):
+    """The hook's own logic, extracted and executed rather than eyeballed."""
+
+    def commit_op(self, command: str) -> str:
+        gate = PRIMARY_HOOK.read_text()
+        start = 'COMMIT_OP="$(printf \'%s\' "$ARGS" | python3 -c \''
+        end = "' 2>/dev/null || echo 1)\""
+        i = gate.index(start) + len(start)
+        code = gate[i:gate.index(end, i)]
+        p = subprocess.run(
+            [sys.executable, "-c", code],
+            input=json.dumps({"command": command}),
+            capture_output=True, text=True, timeout=30,
+            env={"PATH": "/usr/bin:/bin"},
+        )
+        return p.stdout.strip()
+
+    def must_fail_closed(self, tool: str, sec: str, commit: str) -> bool:
+        gate = PRIMARY_HOOK.read_text()
+        start = gate.index("must_fail_closed() {")
+        fn = gate[start:gate.index("\n}\n", start) + 3]
+        script = (
+            "set -euo pipefail\n"
+            f'SEC_SENSITIVE="{sec}"\nCOMMIT_OP="{commit}"\n'
+            + fn
+            + f'\nif must_fail_closed "{tool}"; then echo CLOSED; else echo open; fi\n'
+        )
+        p = subprocess.run(["bash", "-c", script], capture_output=True, text=True, timeout=30)
+        self.assertEqual(p.returncode, 0, f"set -e tripped: {p.stderr[:200]}")
+        return p.stdout.strip() == "CLOSED"
+
+    def test_commit_and_push_are_recognised(self):
+        for cmd in ("git commit -m x", "git push origin master", "git commit -am x && echo ok"):
+            with self.subTest(cmd=cmd):
+                self.assertEqual(self.commit_op(cmd), "1")
+
+    def test_ordinary_commands_are_not(self):
+        # Scoped deliberately: a broken schema enforcer must not turn every
+        # shell command in the session into a hard block.
+        for cmd in ("ls -la", "npm test", "cat README.md"):
+            with self.subTest(cmd=cmd):
+                self.assertEqual(self.commit_op(cmd), "0")
+
+    def test_the_schema_gate_fails_closed_on_a_commit(self):
+        self.assertTrue(self.must_fail_closed("schema_diff_gate", "0", "1"))
+
+    def test_the_schema_gate_does_not_fail_closed_otherwise(self):
+        self.assertFalse(self.must_fail_closed("schema_diff_gate", "0", "0"))
+
+    def test_self_protect_keeps_its_existing_condition(self):
+        self.assertTrue(self.must_fail_closed("enforcement_self_protect", "1", "0"))
+        self.assertFalse(self.must_fail_closed("enforcement_self_protect", "0", "0"))
+
+    def test_an_unrelated_enforcer_still_fails_open(self):
+        """Widening this to every enforcer would be a session-wide deadlock."""
+        self.assertFalse(self.must_fail_closed("worktree_required", "1", "1"))
+
+    def test_the_hook_parses(self):
+        for copy in hook_copies():
+            with self.subTest(copy=str(copy.relative_to(REPO))):
+                p = subprocess.run(["bash", "-n", str(copy)], capture_output=True, text=True)
+                self.assertEqual(p.returncode, 0, p.stderr[:200])
+
+
+class HookCopiesDoNotDrift(unittest.TestCase):
+    """Nine copies, and the one that matters most is the one nobody edits.
+
+    `uap worktree create` seeds a new worktree from templates/hooks/, so a fix
+    applied only to .claude/hooks/ is reverted the next time anyone starts a
+    branch -- a documented failure in this repo. Any change to the gate has to
+    land in all of them.
+    """
+
+    def test_the_sweep_actually_finds_the_copies(self):
+        """Guards the two sweeps below against passing on an empty list.
+
+        hook_copies() returned [] in a worktree because its exclusions matched
+        the absolute path, and both drift tests went green while checking
+        nothing. An assertion about a collection is worthless without an
+        assertion that the collection is non-empty.
+        """
+        found = hook_copies()
+        self.assertGreaterEqual(
+            len(found), 2,
+            f"expected several hook copies under {REPO}, found {[str(p) for p in found]}",
+        )
+        self.assertIn(PRIMARY_HOOK, found)
+
+    def test_every_copy_is_identical_to_the_primary(self):
+        primary = PRIMARY_HOOK.read_text()
+        for copy in hook_copies():
+            with self.subTest(copy=str(copy.relative_to(REPO))):
+                self.assertEqual(
+                    copy.read_text(), primary,
+                    f"{copy.relative_to(REPO)} has drifted from .claude/hooks/",
+                )
+
+    def test_the_template_copy_carries_the_fail_closed_logic(self):
+        template = REPO / "templates" / "hooks" / HOOK_NAME
+        self.assertTrue(template.is_file(), "templates/hooks copy is missing")
+        self.assertIn(
+            "must_fail_closed", template.read_text(),
+            "new worktrees would be seeded with a gate that fails open",
+        )
+
+class FailClosedIsAuditable(unittest.TestCase):
+    """The most serious verdict the gate can reach was the one leaving no trace.
+
+    fail_closed() exits, and it exited before record_execution ever ran --
+    measured, policy_executions was unchanged across a fail-closed block while
+    ordinary blocks recorded. The compliance view therefore showed zero blocks
+    for exactly the failure mode most worth seeing.
+    """
+
+    def fail_closed_fn(self) -> str:
+        gate = PRIMARY_HOOK.read_text()
+        start = gate.index("fail_closed() {")
+        return gate[start:gate.index("\n}\n", start) + 3]
+
+    def test_it_records_before_exiting(self):
+        script = (
+            "set -euo pipefail\n"
+            'record_execution() { echo "RECORDED allowed=$1 policy=$2 reason=$3"; }\n'
+            + self.fail_closed_fn()
+            + '\nfail_closed "enforcer errored" "schema_diff_gate" || true\n'
+        )
+        p = subprocess.run(["bash", "-c", script], capture_output=True, text=True, timeout=30)
+        self.assertIn("RECORDED allowed=0", p.stdout)
+        self.assertIn("policy=schema_diff_gate", p.stdout, "the row must name the enforcer")
+        self.assertIn("FAIL-CLOSED", p.stdout)
+
+    def test_it_still_works_before_record_execution_exists(self):
+        """The earliest call sites fire before that function is defined.
+
+        `policies.db not found` and `sqlite3 not on PATH` both call fail_closed
+        from above record_execution's definition -- and in those states there is
+        nothing to write to anyway. An unguarded call would turn the refusal
+        into a bash error.
+        """
+        script = "set -euo pipefail\n" + self.fail_closed_fn() + '\nfail_closed "policies.db not found" || true\n'
+        p = subprocess.run(["bash", "-c", script], capture_output=True, text=True, timeout=30)
+        self.assertIn("FAIL-CLOSED", p.stderr)
+        self.assertNotIn("command not found", p.stderr)
+
+
+class EnforcersAreBounded(unittest.TestCase):
+    """A hung enforcer stalled the hook until the harness killed the process.
+
+    A killed HOOK is not a fail-closed -- it is an unbounded stall whose outcome
+    is decided somewhere else entirely. Measured at 20.2s with a sleeping
+    enforcer before this.
+    """
+
+    def test_the_invocation_is_wrapped(self):
+        gate = PRIMARY_HOOK.read_text()
+        self.assertIn("TIMEOUT_BIN", gate)
+        self.assertIn('"${ENFORCER_TIMEOUT}s" python3 "$enforcer"', gate)
+
+    def test_it_degrades_to_the_shipped_behaviour_without_a_timeout_binary(self):
+        """macOS spells it gtimeout; with neither, unbounded is what shipped."""
+        gate = PRIMARY_HOOK.read_text()
+        self.assertIn("command -v timeout || command -v gtimeout || true", gate)
+        self.assertIn('if [[ -n "$TIMEOUT_BIN" ]]; then', gate)
+
+    def test_the_timeout_layers_nest_innermost_shortest(self):
+        """The arithmetic that makes the bound meaningful rather than decorative.
+
+        The schema enforcer may run its checker twice (index and worktree). If
+        that worst case can exceed the hook's per-enforcer bound, a slow but
+        healthy check is killed and -- on a commit -- refused. Previously
+        2 x 15s met the 30s budget exactly, with nothing left over.
+        """
+        gate = PRIMARY_HOOK.read_text()
+        enforcer = (REPO / "src" / "policies" / "enforcers" / "schema_diff_gate.py").read_text()
+        hook_bound = int(
+            re.search(r'ENFORCER_TIMEOUT="\$\{UAP_ENFORCER_TIMEOUT:-(\d+)\}"', gate).group(1)
+        )
+        inline = float(re.search(r"INLINE_TIMEOUT = ([\d.]+)", enforcer).group(1))
+        self.assertLess(
+            inline * 2, hook_bound,
+            "the enforcer's worst case must fit inside the hook's bound, or a "
+            "slow healthy check becomes a refusal",
+        )
+
+
+class GateCallSitesAreWired(unittest.TestCase):
+    """Drives the REAL hook script.
+
+    Everything above extracts a bash fragment and runs it, which cannot notice
+    if the fragment is never CALLED. Delete `must_fail_closed` from either call
+    site, or move the COMMIT_OP assignment below the loop, and every other test
+    here still passes. This one fails.
+    """
+
+    PID = "22222222-2222-2222-2222-222222222222"
+
+    def setUp(self):
+        self._tmp = tempfile.TemporaryDirectory(prefix="gate-e2e-")
+        self.sb = Path(self._tmp.name)
+        for d in (".policy-tools", "agents/data/memory", ".claude/hooks"):
+            (self.sb / d).mkdir(parents=True, exist_ok=True)
+        subprocess.run(["git", "init", "-q"], cwd=self.sb, capture_output=True)
+
+        helper = (
+            "import json, sys\n"
+            "def parse_cli():\n"
+            "    a = sys.argv\n"
+            "    op = a[a.index('--operation') + 1] if '--operation' in a else ''\n"
+            "    ar = json.loads(a[a.index('--args') + 1]) if '--args' in a else {}\n"
+            "    return op, ar\n"
+            "def emit(allowed, reason):\n"
+            "    print(json.dumps({'allowed': bool(allowed), 'reason': reason}))\n"
+            "    sys.exit(0)\n"
+        )
+        (self.sb / ".policy-tools/_common.py").write_text(helper)
+
+        db = sqlite3.connect(self.sb / "agents/data/memory/policies.db")
+        db.execute("CREATE TABLE policies (id TEXT, name TEXT, category TEXT, level TEXT,"
+                   " rawMarkdown TEXT, convertedFormat TEXT, executableTools TEXT, tags TEXT,"
+                   " createdAt TEXT, updatedAt TEXT, version INT, isActive INT, priority INT,"
+                   " enforcementStage TEXT)")
+        db.execute("CREATE TABLE executable_tools (id TEXT, policyId TEXT, toolName TEXT,"
+                   " code TEXT, language TEXT, createdAt TEXT)")
+        db.execute("CREATE TABLE policy_executions (id TEXT)")
+        db.execute("INSERT INTO policies VALUES (?,?,?,?,?,?,?,?,?,?,1,1,1,'pre-exec')",
+                   (self.PID, "Schema Diff Gate", "quality", "REQUIRED",
+                    "# Schema Diff Gate", "", "", "", "", ""))
+        db.execute("INSERT INTO executable_tools VALUES (?,?,?,?,?,?)",
+                   ("t1", self.PID, "schema_diff_gate", "", "python", ""))
+        db.commit()
+        db.close()
+
+    def tearDown(self):
+        self._tmp.cleanup()
+
+    def install_enforcer(self, body: str | None) -> None:
+        p = self.sb / f".policy-tools/{self.PID}_schema_diff_gate.py"
+        if body is None:
+            if p.exists():
+                p.unlink()
+            return
+        p.write_text(body)
+
+    def gate(self, command: str, env_extra: dict | None = None) -> int:
+        dst = self.sb / ".claude/hooks/uap-policy-gate.sh"
+        dst.write_text(PRIMARY_HOOK.read_text())
+        dst.chmod(0o755)
+        env = {k: v for k, v in os.environ.items() if not k.startswith("GIT_")}
+        env.update(env_extra or {})
+        payload = json.dumps({"tool_name": "Bash", "cwd": str(self.sb),
+                              "tool_input": {"command": command}})
+        p = subprocess.run(["bash", str(dst)], input=payload, capture_output=True,
+                           text=True, cwd=self.sb, env=env, timeout=180)
+        return p.returncode
+
+    BROKEN = "raise SystemExit('boom')\n"
+    HEALTHY = (
+        "import json\n"
+        "print(json.dumps({'allowed': True, 'reason': 'ok'}))\n"
+    )
+
+    def test_a_broken_enforcer_refuses_a_commit(self):
+        self.install_enforcer(self.BROKEN)
+        self.assertEqual(self.gate("git commit -m x"), 2)
+
+    def test_a_missing_enforcer_refuses_a_commit(self):
+        self.install_enforcer(None)
+        self.assertEqual(self.gate("git commit -m x"), 2)
+
+    def test_a_broken_enforcer_does_not_block_ordinary_work(self):
+        """The scoping that keeps this from being a session-wide deadlock."""
+        self.install_enforcer(self.BROKEN)
+        for command in ("ls -la", "npm test", "git status", "git commit --help"):
+            with self.subTest(command=command):
+                self.assertEqual(self.gate(command), 0, command)
+
+    def test_the_operator_hatch_actually_clears_it(self):
+        """The refusal names this override, so it has to work.
+
+        It cleared SEC_SENSITIVE only, so for a schema-gate fail-closed it did
+        nothing -- every commit refused, with the message pointing at a switch
+        that had no effect on the branch printing it.
+        """
+        self.install_enforcer(self.BROKEN)
+        self.assertEqual(self.gate("git commit -m x"), 2)
+        self.assertEqual(
+            self.gate("git commit -m x", {"UAP_SELF_PROTECT_OFF": "1"}), 0,
+            "the advertised override must clear the schema-gate branch too",
+        )
+
+    def test_a_healthy_enforcer_is_unaffected(self):
+        self.install_enforcer(self.HEALTHY)
+        self.assertEqual(self.gate("git commit -m x"), 0)
+
+if __name__ == "__main__":
+    unittest.main()

package/tools/agents/tests/test_schema_diff_inline.py

@@ -23,6 +23,7 @@ import json
 import os
 import shutil
 import subprocess
+import sys
 import tempfile
 import unittest
 from pathlib import Path
@@ -35,13 +36,36 @@ BASE_SQL = "CREATE TABLE t (id INTEGER PRIMARY KEY, name TEXT);\n"
 BREAKING_SQL = "CREATE TABLE t (id INTEGER PRIMARY KEY);\n"
 
 
+def _git_only_path() -> str:
+    """A PATH with git and nothing else, so `cli_argv` can find no checker.
+
+    A test that means "no checker is available" has to SAY so. Without this it
+    inherits the ambient PATH, finds the globally installed `uap`, and the
+    inline layer answers -- which is a different test with a different
+    expectation. It passed only while that binary predated --json, and inverted
+    the day it was updated. Exactly the coupling the marker suite was pinned
+    against in test_schema_diff_gate.py; this file needed the same treatment.
+    """
+    d = Path(tempfile.mkdtemp(prefix="schema-inline-gitonly-"))
+    found = shutil.which("git")
+    if found:
+        (d / "git").symlink_to(found)
+    return str(d)
+
+
+_GIT_ONLY_PATH = _git_only_path()
+
+
 def run_gate(op: str, args: dict, root: Path, env_extra: dict | None = None):
     env = {k: v for k, v in os.environ.items() if not k.startswith("GIT_")}
     env["UAP_REPO_ROOT"] = str(root)
     env["UAP_WORKTREE_ROOT"] = str(root)
     env.update(env_extra or {})
     r = subprocess.run(
-        ["python3", str(ENFORCER), "--operation", op, "--args", json.dumps(args)],
+        # Absolute interpreter, not "python3": a test may pin PATH to exclude
+        # the checker, and resolving the interpreter through that same PATH
+        # fails before the enforcer ever runs.
+        [sys.executable, str(ENFORCER), "--operation", op, "--args", json.dumps(args)],
         cwd=root,
         env=env,
         capture_output=True,
@@ -212,7 +236,11 @@ class InlineSchemaDiffTest(unittest.TestCase):
                 self.assertNotEqual(reason, "", "the gate must answer, not die silently")
 
     def test_a_missing_checker_leaves_the_shipped_behaviour_untouched(self):
-        allowed, reason = self.commit()
+        # No stub, and a PATH with no `uap` on it, so there is genuinely no
+        # checker to run. Without the PATH pin this found the installed CLI and
+        # asserted against the inline layer's message instead -- green for the
+        # wrong reason until that binary learned --json, then red.
+        allowed, reason = self.commit(PATH=_GIT_ONLY_PATH)
         self.assertFalse(allowed, f"missing checker must not open the gate: {reason}")
         self.assertIn("uap schema-diff", reason)
 
@@ -342,12 +370,24 @@ class CheckerProvenanceTest(unittest.TestCase):
         subprocess.run(["git", "add", "-A"], cwd=self.root, check=True)
         bin_dir = self.root / "dist" / "bin"
         bin_dir.mkdir(parents=True)
-        # A rubber stamp: three lines, and it attests to anything.
+        # A rubber stamp: three lines, and it attests to anything. It also
+        # leaves a footprint, because "the gate blocked" does not by itself
+        # prove this file went unread -- the installed CLI would also block
+        # here, on the real breaking change. The footprint is the only thing
+        # that distinguishes "ignored the foreign build" from "ran something
+        # else that happened to agree".
         (bin_dir / "cli.js").write_text(
+            "require('fs').writeFileSync('rubber-stamp-was-run', '1');\n"
             "console.log(JSON.stringify({contract:1,ran:true,base:'HEAD',files:"
             "[{path:'" + WATCHED + "',sha:'x',analysed:true,breaking:[]}]}));\n"
         )
 
+    def assertStampUnread(self):
+        self.assertFalse(
+            (self.root / "rubber-stamp-was-run").exists(),
+            "the gate executed a checker out of the tree it was gating",
+        )
+
     def tearDown(self):
         self._tmp.cleanup()
 
@@ -362,12 +402,28 @@ class CheckerProvenanceTest(unittest.TestCase):
         """
         (self.root / "package.json").write_text('{"name":"totally-normal-app"}\n')
         allowed, reason = run_gate("Bash", {"command": "git commit -m x"}, self.root)
+        self.assertStampUnread()
         self.assertFalse(allowed, f"a foreign dist/ must not be the oracle: {reason}")
 
     def test_no_package_json_is_also_not_the_uap_checkout(self):
         allowed, reason = run_gate("Bash", {"command": "git commit -m x"}, self.root)
+        self.assertStampUnread()
         self.assertFalse(allowed, f"unidentified tree must not be trusted: {reason}")
 
+    def test_the_stamp_would_fire_if_the_build_were_trusted(self):
+        """Proves the two assertions above can fail.
+
+        A footprint check is worthless if the stub could never run in the
+        first place. Claiming to be the UAP checkout is exactly the condition
+        that makes the local build trusted, so here it MUST be executed.
+        """
+        (self.root / "package.json").write_text('{"name":"@miller-tech/uap"}\n')
+        run_gate("Bash", {"command": "git commit -m x"}, self.root)
+        self.assertTrue(
+            (self.root / "rubber-stamp-was-run").exists(),
+            "the local build should be trusted in the UAP checkout itself",
+        )
+
 
 if __name__ == "__main__":
     unittest.main()