docs: the Copilot gate is gone, and AGENTS.md told agents to wait for it

Measured: PRs #12, #21 and #27 carry 2, 8 and 4 Copilot reviews; #61, #66, #68
and #70 carry none. Both request paths report success and register nothing --
the GraphQL mutation returns clientMutationId null, the REST call returns 200
with requested_reviewers empty, and no review_requested event appears.

So "merge only once Copilot passes" was an instruction to wait forever on a
review that was never requested. An absent review and an unrequested one look
identical from outside, which is review_is_requested_not_inherited seen from the
requester's side. Review is now an adversarial agent the orchestrator dispatches,
naming the head SHA it reviewed; the Copilot mechanics are kept for the day it
returns.

Found by the PR #70 agent, which noticed its own review request had produced
nothing rather than assuming the review was queued.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FC2jVn8Au7E9JPkw6bwXXH

AGENTS.md

@@ -153,6 +153,16 @@ worth it on a repo with other collaborators.
 One PR per wave, built by a **dedicated PR agent in its own worktree**, so waves
 pipeline against it: the next wave runs while the PR absorbs review fixes.
 
+**Copilot is not reviewing this repository, and the request is a silent no-op.**
+Measured 2026-09-20: PRs #12, #21 and #27 carry 2, 8 and 4 Copilot reviews; #61,
+#66, #68 and #70 carry none. Both request paths report success and produce zero
+`review_requested` events — the GraphQL mutation returns `clientMutationId: null`
+and the REST call returns 200 with `requested_reviewers: []`. So **do not wait on
+it**: an absent review and an unrequested one look identical from outside, which
+is `doctrine(review_is_requested_not_inherited)` seen from the requester's side.
+Review is an adversarial agent the orchestrator dispatches, given the head SHA.
+The mechanics below are kept for the day it comes back.
+
 Copilot review must be **re-requested after every fix push**; it does not
 re-review on its own. The mutation takes a **`botIds`** field — `userIds` fails
 with *"Could not resolve to User node"*:
@@ -207,8 +217,10 @@ is to branch from `gh/main`, cherry-pick, open a follow-up PR, and delete the
 stray re-creation. Check `gh pr view <n> --json state` *before* pushing a fix to
 a PR you have not looked at in a few minutes, rather than after.
 
-Merge only once Copilot passes. Prefer a **merge commit** — `AGENTS.md` says
-merges over rebases, and a wave's commits are individually meaningful.
+Merge only once a review has passed — an adversarial agent's while Copilot is
+absent, and it must name the head SHA it reviewed. Prefer a **merge commit** —
+`AGENTS.md` says merges over rebases, and a wave's commits are individually
+meaningful.
 
 ### Never hand-edit `.beads/issues.jsonl`
 

prolog-sessions/kb.pl

@@ -452,6 +452,7 @@ kb_issue_found(static_str_blocks_deserialize,'a borrowed &\'static str field mak
 kb_issue_found(ticket_premise_false_8uz,'improvise-8uz asserted selected/row_offset/col_offset were \"PERSISTED in .improv\". They were not: improv.pest has no cursor production and format_md emitted none. The claim shaped the ticket\'s whole option set, so it was checked with a test before any of the options was weighed.').
 kb_issue_found(ticket_premise_false_rml,'improvise-rml called category_panel.rs an \"exact copy\" of tile_bar.rs. It was not: the colors were identical but the labels differed (\"Row ↕\" vs \"Row\", \"None ∅\" vs \"·\"). Only the color table was true duplication; the four label sets are four deliberate vocabularies and were preserved as four methods.').
 kb_issue_found(duplicated_active_view,'adding ViewState::active_view created a second copy of \"which view is active\". The improvise-8uz characterization test caught the desync immediately because it called workbook.switch_view directly. Held in lockstep by two writers until improvise-jytm, which made the divergence deliberate: the guard test the_two_active_view_names_never_diverge was REPLACED, not deleted, by the_documents_default_view_outlives_this_clients_switches and a_fresh_session_opens_the_documents_default_view -- a deliberate split with no guard is how one silently regresses into the other.').
+kb_issue_found(copilot_stopped_reviewing_this_repo,'Measured 2026-09-20: PRs #12, #21 and #27 carry 2, 8 and 4 copilot-pull-request-reviewer[bot] reviews; #61, #66, #68 and #70 carry none. Both request paths report success and register nothing -- the GraphQL requestReviews mutation with botIds BOT_kgDOCnlnWA returns clientMutationId null, and POST /pulls/<n>/requested_reviewers with copilot-pull-request-reviewer[bot] returns 200 with requested_reviewers empty -- and no review_requested timeline event appears. Cause unknown; something changed between #27 and #61. Consequence for the process: AGENTS.md said \"merge only once Copilot passes\", which is an instruction to wait forever on a review that was never requested, since an ABSENT review and an UNREQUESTED one look identical from outside. That is doctrine(review_is_requested_not_inherited) seen from the requesters side, and doctrine(an_advisory_gate_is_not_a_gate) with the gate removed rather than never added. AGENTS.md now says review is an adversarial agent the orchestrator dispatches, naming the head SHA, and keeps the Copilot mechanics for the day it returns.').
 functional(invariant/2).
 functional(location/3).
 functional(doctrine/2).