Synthetic Philosophy and Deductive Engineering
This is the working practice for pull requests authored by Grok Build (with the human): GitHub Copilot code review is the independent reviewer of that diff. It complements ampd004.md.
It does not cover Copilot as implementer. GitHub-scheduled Copilot work is ampd001.md, ampd002.md, ampd008.md. Do not treat this document as a ban on that path.
Copilot’s review model is often not selectable on the review API and is not assumed to be Grok. Independence is institutional (different product, no Grok session transcript), not a guarantee of a different model family.
| Role | Who | Does |
|---|---|---|
| Author | Human + Grok Build, in an area worktree | Design and write; keep outcomes in docs/ (and code when that area is in scope) |
| Independent reviewer | GitHub Copilot code review on a pull request | Read the PR diff; post review comments without having written the change |
| Integrator | Human | Merge to main only after the PR (and Copilot review) have been considered |
| Copilot as implementer | Coding agent on a GitHub issue | Separate path (ampd001.md); not this review role |
| Fallback chat | Copilot Chat in VS Code | Only if Grok is unavailable; not a substitute for Grok discussion or for this PR review |
Independence here is institutional, not metaphysical: Copilot did not produce the patch, and it sees the GitHub PR, not the Grok session transcript. It can still be wrong, shallow, or aligned with GitHub/Microsoft defaults. The human remains the integrator.
main go through a pull requestDo not merge an area branch into main from the worktree as a silent fast-forward when Copilot review is expected.
am, later kr, mcp, …).main.gh pr edit N --add-reviewer copilot; MCP: request_copilot_review).reviews/ as appropriate. Grok may help respond to the review; it must not pretend the review was independent if it then rewrites the patch to match Copilot uncritically without the human noticing.Draft PRs are allowed when early Copilot feedback is useful; mark ready before merge.
Two GitHub features are easy to confuse:
Copilot code review (the reviewer on the PR) is the independent-review path. As of 2026-08, GitHub exposes effort levels for that review (Lite vs Balanced), and org/repo defaults, not a full chat-style model picker on gh pr / the GitHub MCP request_copilot_review call (that MCP method has no model field). Community requests for --copilot-model on gh pr are still product feedback.
@copilot in a PR comment can show a model picker. That path is Copilot coding agent (implement / follow-up edits), not the independent code-review reviewer. Use it only when we want Copilot to write a follow-up, which is a different role.
Until GitHub offers a durable API for “review this PR with model X”:
main.reviews/) which surface ran (code review vs @copilot) and, when the UI shows it, effort level or model.Re-check GitHub’s Copilot review docs when this procedure is used; the product moves.
/resume-codex or a third agent (Claude Code, Codex CLI). Those remain uninstalled unless deliberately adopted.Once KR/MCP are far enough to use, the primary evaluation is whether other models (Copilot’s, Grok’s, others) can retrieve, cite, and reason with repository content through the MCP (and related) interfaces.
Open questions, not yet decided:
Do not invent a scoring dashboard before there is an MCP surface worth calling. When that work starts, put methods under Testing and evaluation in README.md, not only in chat memory.