AI代码审查门控：让AI生成的补丁先自证再合入主分支

A lot of teams have quietly moved from "Can AI write code?" to a more uncomfortable question: "What do we do with the code it writes?" The risky part is not that a model sometimes produces a bad diff. The risky part is that a fluent diff can look reviewable before it has earned trust. It names plausible functions, imitates local style, and may even include comments that sound like intent. If your process treats that as a pull request, you have outsourced the easiest step and kept the hardest one.

This article lays out a patch gate you can run before an AI-assisted change is allowed to become a real branch. It is written for a small team, a solo maintainer, or anyone who wants a faster loop without pretending that generated code is automatically correct. I am not assuming a specific stack. The example below is Python-shaped because it is readable, but the same gate works for Node, Go, Rust, or infrastructure config if you swap the check commands.

The core idea: separate generation from admission. Generation can happen anywhere. Admission should be boring, deterministic, and hard to talk your way through.

The failure mode to design around

The common failure is not "AI writes syntax errors." Modern assistants usually clear that bar. The more expensive failures are semantic drift, hidden environment assumptions, and confident edits outside the requested blast radius.

Semantic drift means the code still runs but solves a nearby problem. A caching helper caches errors forever. A retry wrapper retries non-idempotent POSTs. A migration adds the column but loses the backfill path. Hidden environment assumptions are worse in generated code because models love convenience: localhost URLs, a file path that exists on the prompt author's machine, a package version from memory, a shell tool that is present in a demo image but not production. Blast-radius creep is the quietest: you asked for a validator tweak and received a "cleanup" touching logging, dependency pins, and two tests.

A good gate does not ask, "Does this look smart?" It asks, "What did the diff change, what did it refuse to change, what breaks first, and can a stranger rerun the evidence?"

A three-lane admission gate

Use three lanes. Keep them small enough that people actually run them.

Lane 1: mechanical truth. Formatting, type checks, unit tests, dependency audit, secret scan, license headers if you have them. No model judgment is allowed here. If pytest, ruff, mypy, npm test, or go test fails, the patch is not "almost ready." It is rejected until the generator or a human fixes it.

Lane 2: contract review. The patch must include a short contract note written by the human requester, not the model: intended behavior, explicit non-goals, files allowed to change, commands used to verify, and rollback expectation. This prevents the assistant from defining the task after seeing its own output.

Lane 3: adversarial sandbox. Run the patch in a disposable environment with seed data, then ask a separate review prompt to attack it: find misuse cases, boundary inputs, concurrency hazards, unsafe defaults, and missing telemetry. Treat the reviewer output as leads, not verdicts. Any claimed bug must be reproducible by a command or test before it blocks merge; otherwise it goes into a follow-up note.

This is where free model access can be useful without becoming a load-bearing dependency. A team can reserve paid or private capacity for production-sensitive work while using a no-cost sandbox lane for throwaway review passes on non-secret code. Disclosure: This article was prepared as part of MonkeyCode's product outreach. In this workflow, MonkeyCode is relevant only if your operator confirms that its free model access and free server option fit your compliance needs; treat both as availability claims to verify in current account settings, not as quotas, permanence, hardware guarantees, or benchmark results.

The important rule: free capacity is for trials and criticism, not for secrets, customer data, or unreleased security mitigations.

Artifact: a patch-gate scaffold

The following is a scaffold, not a benchmark and not a claim that I ran it against your repository. It assumes a Git checkout, a patch file, and a safe temporary worktree. Replace the bracketed commands with your own.

#!/usr/bin/env python3
# ai_patch_gate.py - scaffold; adapt commands before trusting it.
import os, re, shlex, subprocess, sys, tempfile
from pathlib import Path

REPO = Path(os.environ.get("REPO", ".")).resolve()
PATCH = Path(os.environ["PATCH_FILE"]).resolve()
CONTRACT = Path(os.environ["CONTRACT_FILE"]).resolve()

SECRET_RE = re.compile(r"(?i)(api[_-]?key|secret|token|password)\s*[:=]\s*['\"][^'\"]{8,}")
ALLOWED = set()

def run(cmd, cwd=REPO, timeout=300):
    p = subprocess.run(shlex.split(cmd), cwd=cwd, text=True,
                       stdout=subprocess.PIPE, stderr=subprocess.STDOUT, timeout=timeout)
    return p.returncode, p.stdout

def fail(stage, out):
    print(f"\n[GATE FAIL] {stage}\n{out[-4000:]}")
    sys.exit(1)

def parse_contract():
    text = CONTRACT.read_text(encoding="utf-8")
    for line in text.splitlines():
        if line.startswith("allowed-path:"):
            ALLOWED.add(line.split(":", 1)[1].strip())
    required = ["intent:", "non-goals:", "verify:", "rollback:"]
    missing = [k for k in required if k not in text]
    if missing:
        fail("contract", f"missing keys: {missing}")
    if not ALLOWED:
        fail("contract", "no allowed-path entries")

def apply_in_worktree():
    tmp = Path(tempfile.mkdtemp(prefix="patch-gate-"))
    code, out = run(f"git worktree add {shlex.quote(str(tmp))} HEAD")
    if code: fail("worktree", out)
    code, out = run(f"git apply --check {shlex.quote(str(PATCH))}", cwd=tmp)
    if code: fail("patch-check", out)
    code, out = run(f"git apply {shlex.quote(str(PATCH))}", cwd=tmp)
    if code: fail("patch-apply", out)
    return tmp

def check_blast_radius(wt):
    code, out = run("git diff --name-only HEAD", cwd=wt)
    if code: fail("diff", out)
    changed = [x for x in out.splitlines() if x.strip()]
    bad = [p for p in changed if not any(p.startswith(a) for a in ALLOWED)]
    if bad:
        fail("blast-radius", "changed outside allowed paths:\n" + "\n".join(bad))
    joined = "\n".join((wt / p).read_text(encoding="utf-8", errors="ignore")
                       for p in changed if (wt / p).is_file())
    if SECRET_RE.search(joined):
        fail("secret-scan", "possible hardcoded credential in changed files")
    return changed

def mechanical(wt):
    for cmd in [
        os.environ.get("FMT_CMD", "true"),
        os.environ.get("LINT_CMD", "true"),
        os.environ.get("TEST_CMD", "pytest -q"),
    ]:
        if cmd == "true":
            continue
        code, out = run(cmd, cwd=wt, timeout=int(os.environ.get("CMD_TIMEOUT", "900")))
        if code: fail(cmd, out)

def review_packet(wt, changed):
    diff = subprocess.run(["git", "diff", "HEAD"], cwd=wt, text=True,
                          stdout=subprocess.PIPE).stdout
    prompt = f"""You are a hostile reviewer. Do not rewrite the patch.
List only concrete defects with reproduction ideas. If none, say NONE.
Context contract:\n{CONTRACT.read_text(encoding='utf-8')}
Changed files: {changed}\nDiff:\n{diff[:24000]}
"""
    out = Path("review-prompt.txt")
    out.write_text(prompt, encoding="utf-8")
    print(f"[GATE INFO] wrote {out}; send only non-secret code to your reviewer endpoint.")
    print("[GATE INFO] set REVIEW_ENDPOINT if you wire this to a free sandbox server.")

if __name__ == "__main__":
    parse_contract()
    wt = apply_in_worktree()
    changed = check_blast_radius(wt)
    mechanical(wt)
    review_packet(wt, changed)
    print("[GATE PASS] mechanical lanes passed; human still owns merge.")

Example contract file:

intent: reject empty coupon codes before checkout totals are computed
non-goals: no pricing redesign, no logging changes, no dependency updates
allowed-path: app/checkout/
allowed-path: tests/checkout/
verify: pytest -q tests/checkout; ruff check app/checkout
rollback: revert single commit; no database migration

PATCH_FILE=coupon.diff CONTRACT_FILE=coupon.contract \
LINT_CMD="ruff check app/checkout" TEST_CMD="pytest -q tests/checkout" \
python3 ai_patch_gate.py

If you connect the review packet to a hosted assistant, make the endpoint an environment variable and keep the packet redacted. A free server can be a reasonable place for disposable review of public or synthetic code when your operator has confirmed that use is permitted; it is not automatically a place for proprietary diffs. Do not infer retention, isolation, region, rate limits, or model identity from the word "free." Put those in your team's threat model and verify them before use.

Decision table: where free capacity helps and where it does not

The prompt contract matters more than the model

Most teams spend energy choosing a model and almost none constraining the task. A tiny contract prevents a large class of arguments. Require three things before generation: the exact acceptance test, the forbidden files, and the evidence format. After generation, require the model to output a diff plus a self-critique, then discard the self-critique unless it names a reproducible command.

A useful review prompt is not "Is this good?" It is: "Given this contract and diff, list only ways to make the stated acceptance test pass while violating a non-goal. Rank by production impact. Do not suggest style changes." That prompt produces fewer essays and more actionable attacks. It also gives junior reviewers a way to challenge generated code without needing to out-argue a confident paragraph.

Limitations and who should skip this

This gate adds latency. If your change is a typo in internal docs, the full ceremony is waste. It also cannot prove absence of bugs; it can only make some classes of bugs more expensive to sneak through. Flaky tests will become more visible, which is good, but teams sometimes respond by deleting the alarm instead of fixing the fire drill. Resist that.

Do not use an external free lane for incident response involving live credentials, for code governed by export controls, for medical/financial decision logic without domain review, or when your organization cannot answer basic questions about data retention. Do not let a reviewer model mark its own homework: the same prompt that generated the patch should not be the only authority approving it. Keep humans on merge rights, keep rollback cheap, and keep generated changes smaller than your ability to explain them during an outage.

The habit worth stealing is the split between creativity and custody. Let assistants draft, brainstorm, and attack. Let deterministic checks, explicit contracts, and accountable people decide what enters main. If you adapt the scaffold, start with one repository and one contract key, then post the weirdest failure your gate caught so others can add it to their checklist.