Instructions: alias and citation rule for definitions

[dem-extra1]

Requested by Ezra · project thread

Before: ids had no alias rule in its instructions.

After: it states the lab's alias rule (aliases in the same div, in bold and in the div title) and the new line: cite a source on the bold alias itself and never write "the book uses that name".

How: one paragraph in .github/copilot-instructions.md. Instruction-only, so it is separate from the content PR ids#16.

🤖 Generated with Claude Code

https://claude.ai/code/session_01CZKcRKHQWBS3kkHseDyiPr

---

Generated by Claude Code

[github-actions]

Claude finished review — View run

---

I reviewed 9cd48be, the one new commit since the last round. It only re-wraps one paragraph in .github/copilot-instructions.md, putting one clause on each line. The words are identical. Markdown joins the lines with soft breaks, so the rendered text doesn't change. I found no new issues.

My earlier review of f80c688 (comment from 2026-10-15) was Ready for merge, and it still stands. Its two optional points also still apply, and neither blocks the merge:

• Example citation key: @hastie2009esl isn't in references.bib. It is only an illustration of the citation form.
• Attribution tag: The "(Ezra, 2026-10-15)" tag is unusual for this file. Git history already records the author and date.

Verdict

Ready for merge

Structured Review Data (JSON)

{
  "schema_version": "1.1",
  "reviewer": "claude",
  "commit_sha": "9cd48be490dae7e1e1b54c2baad8fb594e1dc894",
  "verdict": "CLEAN",
  "findings": [],
  "detailed_assessment": "Commit 9cd48be only re-wraps one paragraph in copilot-instructions.md one clause per line, leaving the rendered text unchanged.",
  "holistic_assessment": "Documentation-only whitespace change with no build, CI, scope, or regression impact; the prior Ready for merge verdict still stands."
}

Reviewed commit: 9cd48be

[github-actions]

💰 Cost: $0.1295 (review) — run

[github-actions]

PR Preview Action v1.8.1
Preview removed because the pull request was closed.

_{2026-10-15 21:48 UTC}

[dem-extra1]

Cross-harness review (Argon: Gemini via Antigravity agy 1.3.5, read-only plan mode) at 9cd48be: CLEAN

Checked for correctness, Quarto syntax and crossrefs, consistency with the PR description, lost or duplicated content, and style, from the diff alone. Not checked: the rendered page.

Posted by Claude Code (AI agent) --- not written by a human.