From d14c1e10c7a109421ebdfe9d6073de6f6056b1bc Mon Sep 17 00:00:00 2001
From: ggbdpq <ggbdpq@gmail.com>
Date: Sun, 13 Sep 2026 20:05:20 +0800
Subject: [PATCH 1/2] docs: audit the WorkHub domain language group

Audit docs/workhub-domain-language.md and
docs/architecture/workhub-coordination-session-adr.md against the
current implementation, including the September unification series
(#5198, #5152, #5117) that updated the domain language piecemeal.
No drift found: every checked claim resolves to code as written.

Record the audit with the standard frontmatter block and
`last_verified: 2026-09-13` (#4345 precedent). The ADR keeps no
frontmatter, matching every other ADR in docs/architecture.

Refs #3522.

Generated-by: GLM-5.3-Flash (ZCode)
---
 docs/workhub-domain-language.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/workhub-domain-language.md b/docs/workhub-domain-language.md
index 5f0c51ee84..aaec651281 100644
--- a/docs/workhub-domain-language.md
+++ b/docs/workhub-domain-language.md
@@ -1,3 +1,15 @@
+---
+doc_id: workhub-domain-language
+title: "WorkHub domain language"
+language: en
+source_language: en
+implementation_status: current
+document_status: current
+translation_status: source-only
+last_verified: 2026-09-13
+owners:
+  - maka-backend
+---
 <!--
   Licensed to the Apache Software Foundation (ASF) under one
   or more contributor license agreements.  See the NOTICE file

From ce66c5c0f1496442a98849b8b05f2b39932b8959 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=85=B3=E5=A4=A9=E8=B1=AA?= <ggbdpq@gmail.com>
Date: Tue, 15 Sep 2026 12:46:04 +0800
Subject: [PATCH 2/2] docs: mark the retired exact-name Resolver baseline as
 historical

Review follow-up on #5258. The ADR's Session Resolver passage still
presented the never-implemented exact-name baseline as the current
mechanism; routing today is model-driven discovery with durable
identities, and stop/resume travel with explicit targets. A dated status
note now records the baseline as historical while keeping the invariant
that admission revalidates opaque identity rather than any display name.

Generated-by: GLM-5.3-Flash (ZCode)
---
 .../workhub-coordination-session-adr.md            | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/docs/architecture/workhub-coordination-session-adr.md b/docs/architecture/workhub-coordination-session-adr.md
index 624721a00f..b7f2ddd316 100644
--- a/docs/architecture/workhub-coordination-session-adr.md
+++ b/docs/architecture/workhub-coordination-session-adr.md
@@ -317,12 +317,18 @@ lets the stop reach a terminal resolution.
   replacement recovery and direct stop are implemented. Direct
   stop uses durable `delegation_stop_requested` / `delegation_stop_resolved`
   facts, exact Message ownership, and first-claim-wins arbitration with
-  replacement. Its target comes from the shared Session Resolver port, whose
-  first implementation is a temporary exact-name baseline; replacing it changes
-  recall only, because admission revalidates opaque identity and expected state
-  rather than any display name. Named resume uses ordinary Session continuation admission. Pause and
+  replacement. Its target comes from the shared Session Resolver port.
+  Named resume uses ordinary Session continuation admission. Pause and
   pronoun-based stop controls remain later work.
 
+  > **Status (2026-09, verified against `main`):** the Resolver's "temporary
+  > exact-name baseline" above was never implemented. Coordination today is
+  > model-driven: the coordination model discovers candidate Sessions,
+  > admission revalidates opaque identity and expected state (this invariant
+  > is unchanged), and stop/resume proposals travel with explicit durable
+  > targets rather than any display name. The exact-name baseline and the
+  > deferred recall-only replacement plan are historical.
+
 Reevaluate the per-Host decision if supported workflows require one WorkHub
 conversation to coordinate ordinary Sessions on multiple Runtime Hosts, or if Host
 switching creates user-visible continuity loss that rebuildable projections cannot