From c7a097bcb9f8ca958bdbef04ab118909630d2da7 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 9 Sep 2026 00:16:28 +0100 Subject: [PATCH 1/2] docs: add GEMINI.md pointer to the canonical agent instructions Adds a GEMINI.md pointer so Gemini-family agents are not blind to the repository instructions that CLAUDE.md or AGENTS.md already carries (task #50). The file is a pointer, never a duplicate of the rules. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_011eQ7hibx92N7fBDtwgReWk --- GEMINI.md | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 GEMINI.md diff --git a/GEMINI.md b/GEMINI.md new file mode 100644 index 0000000..417391d --- /dev/null +++ b/GEMINI.md @@ -0,0 +1,8 @@ +# Pointer + +This repository has no `AGENTS.md` yet. Until it does, the instructions +for every coding agent live in **[CLAUDE.md](./CLAUDE.md)**. Read that +file, and skip anything in it that is specific to Claude Code tooling. +Do not duplicate rules here. + +When `AGENTS.md` lands in this repository, retarget this pointer at it. From d57a0b7fc8e63b7c92f9bd82da87cac0c3d920ac Mon Sep 17 00:00:00 2001 From: "coderabbitai[bot]" <136622811+coderabbitai[bot]@users.noreply.github.com> Date: Thu, 10 Sep 2026 22:08:42 +0000 Subject: [PATCH 2/2] chore(policy): allow GEMINI.md at repository root --- .machine_readable/root-allow.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/.machine_readable/root-allow.txt b/.machine_readable/root-allow.txt index 728ff87..20776de 100644 --- a/.machine_readable/root-allow.txt +++ b/.machine_readable/root-allow.txt @@ -38,6 +38,7 @@ abi.ipkg # Idris2 package for the ABI seam; sourcedir=src/inte .gitignore .tool-versions CLAUDE.md # AI session instructions, generated by the arrival-pack from .machine_readable/ a2ml and read by agents at repo root (do not hand-edit; edit the a2ml source) +GEMINI.md # Root-level pointer to CLAUDE.md for Gemini agents; avoids duplicating agent instructions. .hypatia-ignore # repo-scoped Hypatia scanner exemptions; the scanner reads it from the repo root sonar-project.properties # SonarCloud analysis config; the SonarQube scan action reads it from the repo root