diff --git a/docs/assets/HERO-PROMPT.adoc b/docs/assets/HERO-PROMPT.adoc
new file mode 100644
index 0000000..19335c8
--- /dev/null
+++ b/docs/assets/HERO-PROMPT.adoc
@@ -0,0 +1,17 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= Image prompts — panoply
+:revdate: 2026-09-20
+
+== README hero (suggested)
+
+----
+Wide banner. Dark charcoal field. A nested gold-and-teal wireframe envelope
+around a small crystalline core, like a safety envelope in formal methods.
+Thin geometric lines, no letters, no logos, austere academic tone.
+----
+
+== Social preview (used)
+
+Same motif, 2:1. Generated file: `docs/assets/social-preview.png`.
+Owner must attach it in GitHub Settings → General → Social preview.
diff --git a/docs/assets/social-preview.png b/docs/assets/social-preview.png
new file mode 100644
index 0000000..08418f0
Binary files /dev/null and b/docs/assets/social-preview.png differ
diff --git a/docs/github/PROTECTION.adoc b/docs/github/PROTECTION.adoc
new file mode 100644
index 0000000..d89c5d0
--- /dev/null
+++ b/docs/github/PROTECTION.adoc
@@ -0,0 +1,35 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= Branch and tag protection — panoply
+:revdate: 2026-09-20
+
+Live enforcement is **repository rulesets**, not classic branch protection
+(`GET .../branches/main/protection` → 404).
+
+== Optimus-Branch (branch, default)
+
+* Target: `~DEFAULT_BRANCH` (`main`)
+* Deletion forbidden
+* PRs required (review count **0**; CodeRabbit + Copilot review on push)
+* Required signatures
+* Required checks (strict): CodeRabbit, SonarCloud Code Analysis,
+  `governance / Code quality + docs`
+* Code scanning: CodeQL, Hypatia, Scorecard (all alerts)
+* Bypass: RepositoryRole 5, pull_request mode
+
+`.github/settings.yml` still lists classic protection (1 review, hypatia-scan /
+codeql / openssf-compliance). **Rulesets win.** Do not dual-write classic
+protection on top without an owner ruling.
+
+== Immutable-Tags (tags, all)
+
+Creation, update, deletion, and force-push forbidden. Signatures required.
+No bypass actors.
+
+== Operator notes
+
+Social preview: `docs/assets/social-preview.png` — set in GitHub UI
+(Settings → General → Social preview). API cannot upload it.
+Wiki: GitHub wiki stays **off** (estate `has_wiki: false`); Phase 6 uses
+`docs/wikis/`.
+Stars / lists: this PAT cannot star (`403`) or edit lists.
diff --git a/docs/reports/PHASE-5-GITHUB.adoc b/docs/reports/PHASE-5-GITHUB.adoc
new file mode 100644
index 0000000..0d8a084
--- /dev/null
+++ b/docs/reports/PHASE-5-GITHUB.adoc
@@ -0,0 +1,50 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= Phase 5 — CI/CD, protection, GitHub configuration
+:revdate: 2026-09-20
+
+== 5.1 CI/CD
+
+27 workflows under `.github/workflows/` + `actions.lock`. Estate set is
+already dense (quality, e2e, codeql, scorecard, hypatia, dogfood, rhodibot
+report-only, guix-policy, secret-scanner, …).
+
+* **Not removed:** `boj-build.yml` is an honest no-op without `BOJ_SERVER_URL`.
+* **Traffic-light:** `trope-*` repos are private; rhodibot is report-only
+  canary (standards#759). No second traffic-light invented.
+* **Not all pipelines fired:** a PAT cannot substitute for merge-to-main
+  plus every `workflow_dispatch`. Coverage matrix is the workflows list
+  itself; proof verification is SKIP without idris2.
+* Deployment: Pages already on; panoply is a library, no product deploy.
+
+== 5.2 Protection
+
+Documented in `docs/github/PROTECTION.adoc`. Live = rulesets
+Optimus-Branch + Immutable-Tags. Classic branch protection unset.
+
+== 5.3 Settings (API vs UI)
+
+Already true: issues, discussions, projects, pages, squash+merge+rebase,
+delete-head-on-merge, auto-merge, update-branch, commit signoff,
+secret scanning + push protection, Dependabot security updates.
+
+Left off (estate): GitHub **wiki**. Phase 6 = `docs/wikis/`.
+`settings.yml` must not declare identity keys.
+
+Cannot set from this PAT: social preview upload, environments secrets,
+“linking” UI, discussion category GraphQL (404), star.
+
+== 5.4–5.5 Topics / SEO
+
+Topics capped at 20. Added: `idris2`, `zig`, `ffi`, `dependent-types`,
+`formal-methods`, `language-design`, `guix` (2026-09-20). Description
+unchanged (already accurate).
+
+== 5.6–5.8
+
+FUNDING.yml already lists github/ko_fi/liberapay `hyperpolymath`.
+Star + star-list taxonomy: **403** / no list API with this token.
+Owner must star and file lists in the GitHub UI.
+
+Hero/social prompt: `docs/assets/HERO-PROMPT.adoc`.
+Preview PNG generated; **not** applied in Settings (UI).