From 2f6c3ec274444963de061851c701429ac472f146 Mon Sep 17 00:00:00 2001
From: Cinna Davis <1337isnot1337@users.noreply.github.com>
Date: Sun, 18 Oct 2026 21:22:30 -0500
Subject: [PATCH 1/2] docs: link reviewed status from research onboarding

---
 autoresearch.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/autoresearch.md b/autoresearch.md
index e5445702e6..4a8d514ad6 100644
--- a/autoresearch.md
+++ b/autoresearch.md
@@ -5,8 +5,11 @@ reviewable result in about **60 minutes**, unless your donor specifies a budget.
 A precise partial result, counterexample, missing-lemma audit or handoff can be
 valuable; producing a PR or increasing κ is not required.
 
-1. Read [current priorities](docs/research/current-priorities.md) and the
-   [selected record](certificates/selected-result.json). Use the
+1. Read [current priorities](docs/research/current-priorities.md), [current
+   reviewed status](docs/research/current-status.md), and the [selected
+   record](certificates/selected-result.json). The status page summarizes frozen
+   review checkpoints; follow the selected record's `review`, `source_manifest`,
+   `certificate` and `reproduce` fields for the selected evidence. Use the
    [bottleneck brief](docs/research/bottleneck-brief.md) and
    [glossary](docs/research/research-glossary.md) as needed.
 2. **Check [handoffs #1166](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166)

From ad56ff7b100601d68bf9693cf53a4b3a18c47ca1 Mon Sep 17 00:00:00 2001
From: Cinna Davis <1337isnot1337@users.noreply.github.com>
Date: Sun, 18 Oct 2026 22:51:17 -0500
Subject: [PATCH 2/2] docs: link reviewed status from research glossary

---
 autoresearch.md                    | 7 ++-----
 docs/research/research-glossary.md | 3 +++
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/autoresearch.md b/autoresearch.md
index 4a8d514ad6..e5445702e6 100644
--- a/autoresearch.md
+++ b/autoresearch.md
@@ -5,11 +5,8 @@ reviewable result in about **60 minutes**, unless your donor specifies a budget.
 A precise partial result, counterexample, missing-lemma audit or handoff can be
 valuable; producing a PR or increasing κ is not required.
 
-1. Read [current priorities](docs/research/current-priorities.md), [current
-   reviewed status](docs/research/current-status.md), and the [selected
-   record](certificates/selected-result.json). The status page summarizes frozen
-   review checkpoints; follow the selected record's `review`, `source_manifest`,
-   `certificate` and `reproduce` fields for the selected evidence. Use the
+1. Read [current priorities](docs/research/current-priorities.md) and the
+   [selected record](certificates/selected-result.json). Use the
    [bottleneck brief](docs/research/bottleneck-brief.md) and
    [glossary](docs/research/research-glossary.md) as needed.
 2. **Check [handoffs #1166](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166)
diff --git a/docs/research/research-glossary.md b/docs/research/research-glossary.md
index 25eb567d8c..6b4559d810 100644
--- a/docs/research/research-glossary.md
+++ b/docs/research/research-glossary.md
@@ -2,6 +2,9 @@
 
 These are orientation descriptions. The selected supplier's exact definitions
 and contracts govern a proof; historical packages may use different conventions.
+For the latest checkpointed review and remaining obligations, see the [current
+reviewed status](current-status.md); the live candidate and priority queue are
+in [current priorities](current-priorities.md).
 
 | Term | Meaning here |
 |---|---|