refactor(spec): tighten prose, replace jargon

- 角色格→角色体系 (3处)
- 租户根/tenant root→租户 (3处)
- 清理 Hierarchy/Organization/System 的 doc 注释

spec/Spec/System/Hierarchy.lean

@@ -18,23 +18,17 @@ import Spec.System.User
 namespace Spec.System
 
 variable (I : Identifiers)
-
-/-- 平台(`PINNED`, SaaS 提供方实体)。平台只有一个，独立于组织（租户）。平台管理
-身份、会话、审计、紧急恢复等由 `PlatformAdministration`(ADR-0023)定义;本 struct 只
-锚定平台在层级中的位置及其飞书应用归属。平台管理员不复用 `User` 或 org membership。 -/
+/-- 平台(`PINNED`, SaaS 提供方)。只有一个,独立于组织。管理面见 `PlatformAdministration`(ADR-0023)。 -/
 structure Platform where
-  /-- 平台自有的飞书应用(`PINNED`, ADR-0023),用于平台管理员认证;与各 org 客户应用分离。 -/
+  /-- 平台自有飞书应用(`PINNED`, ADR-0023)。 -/
   application : I.PlatformFeishuApplicationId
-
-/-- 组织(`PINNED`, 租户根, ADR-0020)。每个 project/team 必须归属且仅归属一个组织。
-组织级角色格(owner/admin/member)、tenancy 关系、provider connection 凭据模式详见
-`Spec.System.Organization`。 -/
+/-- 组织(`PINNED`, ADR-0020)。project/team 必须归属且仅归属一个 org。
+角色/tenancy/凭据见 `Spec.System.Organization`。 -/
 structure Organization where
-  /-- 组织标识(`OPEN` 表示,ADR-0020 tenant root)。 -/
+  /-- 组织标识(`OPEN` 表示)。 -/
   id : I.OrganizationId
 
-/-- 用户(`PINNED`, 租户层独立实体)。必属一个组织(结构钉死)。飞书身份是绑定
-不是本体,详见 `Spec.System.User`。 -/
+/-- 用户(`PINNED`, 租户层独立实体)。必属一个组织。飞书身份是绑定,见 `Spec.System.User`。 -/
 structure User where
   /-- 用户标识(`OPEN` 表示;组织内唯一,不可改;登录用)。 -/
   id : I.UserId