Agent Proof Approval Gate

Agent-Proof Approval Gate

Problem

A PreToolUse hook that blocks a destructive action (merge, deploy, delete) needs a human-only override. Naively you might check for an env var or a flag — but the agent can set those itself with an inline prefix (APPROVE=1 gh pr merge 96) or by writing a file. The gate must be unforgeable by the entity it constrains.

Key Insight — Inline Env Never Reaches the Hook

A PreToolUse hook runs in the harness process, not in the shell that executes the agent's command. When the agent writes VAR=1 cmd, that assignment is scoped to the child shell that runs cmd; the hook fires before cmd even starts, in a separate environment. Therefore:

> An env var set in the agent's command prefix is invisible to the hook.

Only a human who runs export OCTO_MERGE_APPROVE=96 in the real terminal session can set the hook's env. The agent cannot reach it.

Design

Primary channel — scoped env var (agent-proof)

# Human grants approval for a specific PR
export OCTO_MERGE_APPROVE=96      # must match the exact PR number being merged

The hook validates:

1. OCTO_MERGE_APPROVE is set.
2. Its value equals the PR number extracted from the command being intercepted (not startswith, not in — exact equality).
3. Optionally, a TTL: compare against the file-mtime of a stamp written when the var was set.

import os, re, sys

def check_approval(pr_number: str) -> bool:
    approved = os.environ.get("OCTO_MERGE_APPROVE", "").strip()
    return approved == pr_number          # "96" != "95", "96x", " 96"

# In the hook body:
if not check_approval(detected_pr):
    print(f"[gate] BLOCKED — set OCTO_MERGE_APPROVE={detected_pr} to authorize.")
    sys.exit(1)   # non-zero exit blocks the tool call

Secondary channel — TTL'd approval file (loud, agent-forgeable — acceptable)

A human can also run an explicit command that writes a stamp:

octo-dim approve-merge 96    # writes ~/.claude/tmp/approved-merge-96.

The hook checks for a fresh stamp (e.g. < 5 min old). This channel is technically agent-forgeable (the agent could call octo-dim approve-merge too), but the canon rule blocks self-approval: the gate script rejects approvals issued by the agent itself. The env channel is the real boundary; the file channel is convenience.

Scoping Rule — Never Blanket, Always Specific

The approved value must encode the exact action:

| Bad (blanket) | Good (scoped) | |---|---| | OCTO_MERGE_APPROVE=yes | OCTO_MERGE_APPROVE=96 | | APPROVE_ALL=1 | OCTO_DEPLOY_APPROVE=prod-2026-06-02 |

A stale OCTO_MERGE_APPROVE=95 cannot authorize PR 96. This prevents approval replay.

Residual Risk

Shell indirection can evade string-based command detection (the part that extracts the PR number from the command):

bash -c "gh pr merge 96"          # hard to parse correctly
eval "gh pr merge 96"             # same

The env channel is immune to this because it doesn't depend on parsing the command — it only checks the env. If the action is truly critical, combine:

• Env channel for authorization (unforgeable).
• Command parsing for action identification (parse best-effort; fail-closed on ambiguity).

See [[command-boundary-hook-matching]] for the parsing half.

When to Use

• Merging PRs that auto-deploy to production.
• Running destructive DB migrations.
• Any action where "the agent is doing the work but only the human should pull the trigger."

Reference Implementation

~/.claude/scripts/qa-merge-gate.py — full gate with env channel, file channel, PR-number extraction, and TTL logic.

See also

• [[command-boundary-hook-matching]] — parsing the command string safely to extract the action identity
• [[pre-merge-qa-gate]] — QA approval workflow that feeds into this gate
• [[dry-run-gate-pattern]] — sibling pattern for destructive ops (preview before execute)

Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

• Author: CarlosCaPe
• Source: CarlosCaPe/octorato
• License: MIT
• Homepage: https://www.dataqbs.com/octorato

Install and usage instructions live in the source repository linked above.