Synthetic Philosophy and Deductive Engineering
mainThis is the working practice for pull requests into main from a task branch, including work by a local agent or by Grok Build. GitHub Copilot code review is included on that pull request. Commissioning is in ampd009.md. Branches and worktrees are in 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 (a different product, which did not author the patch), not a guarantee of a different model family.
| Role | Who | Does |
|---|---|---|
| Author | The role that did the work, in the task worktree: a local agent, or the human with Grok Build | Design and write; keep outcomes in docs/ (and code when the task includes them) |
| 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 rather than the author’s session. 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 a task branch into main from the worktree as a silent fast-forward when Copilot review is expected.
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.