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 | |---|---|