chore(spec): 与 main 同步后整体重生成生成物(#5289 落地后)

`git merge origin/main` 零冲突,但 os-regen 驱动在生成物上不做文本合并,
所以按流程把 8 条 os-regen 路径整体 checkout 回 origin/main,再全量重跑
生成器(gen:schema / gen:api-surface / gen:spec-changes / gen:upgrade-guide /
gen:docs / gen:skill-refs / gen:skill-docs / gen:strictness-ledger),两侧条目
逐条断言仍在。

- 兄弟侧 #5289:6 条 `ui/Theme` / `ui/Typography` 的 `[RETIRED]` 标记在册;
  `ui/Animation` / `ui/ZIndex` 两个 def 仍不在 manifest;
  `theme-inert-token-scales-removed` 的 D2 条目与 D3 链步完好,并已到达
  `spec-changes.json` 与 protocol-upgrade-guide。
- 本侧 #4938:manifest −1 / authorable −9 / api-surface −3 仍生效;
  两处「有意删除」在新基线 f8cfbb4 上按 #2978 与 #4650 路径 3 重新自证。
- strictness ledger 整体重跑(未手改数字):`system/` 368 → 366,triaged
  总数 476 由 #5289 带入,非本 PR 改动。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01ErbEDVAg1No9gdg1pgDAGB

Author: claude

docs/audits/2026-07-unknown-key-strictness-ledger.counts.md

@@ -21,7 +21,7 @@ regenerate.
 | Measure | Value |
 |---|---|
 | Triaged directories | 5 |
-| Object sites in them | 484 |
+| Object sites in them | 476 |
 | Still-open (strip) sites | 221 |
 | Files carrying at least one | 36 |
 
@@ -43,12 +43,12 @@ The `strict` column is the one the campaign schedules against; it counts both th
 
 | Dir | Sites | strict | passthrough | catchall | strip |
 |---|---|---|---|---|---|
-| `ui/` | 200 | 120 | 5 | 0 | 75 |
+| `ui/` | 192 | 112 | 5 | 0 | 75 |
 | `data/` | 162 | 54 | 1 | 0 | 107 |
 | `automation/` | 75 | 49 | 0 | 0 | 26 |
 | `security/` | 20 | 7 | 0 | 0 | 13 |
 | `studio/` | 27 | 27 | 0 | 0 | 0 |
-| **total** | **484** | **257** | **6** | **0** | **221** |
+| **total** | **476** | **249** | **6** | **0** | **221** |
 
 ## File-level triage — site counts
 
@@ -77,11 +77,11 @@ classify and is not listed (it becomes reportable the day it grows its first sit
 | `report.zod.ts` | 3 |
 | `responsive.zod.ts` | 4 |
 | `sharing.zod.ts` | 2 |
-| `theme.zod.ts` | 14 |
+| `theme.zod.ts` | 6 |
 | `touch.zod.ts` | 7 |
 | `view.zod.ts` | 51 |
 | `widget.zod.ts` | 9 |
-| **total** | **200** |
+| **total** | **192** |
 
 ### `data/` — sites
 
@@ -161,7 +161,7 @@ over it is here.
 
 ### `ui/` — open
 
-**75 strip of 200**, in 13 file(s).
+**75 strip of 192**, in 13 file(s).
 
 | File | Strip | Sites |
 |---|---|---|
@@ -178,7 +178,7 @@ over it is here.
 | `touch.zod.ts` | 7 | 7 |
 | `view.zod.ts` | 5 | 51 |
 | `widget.zod.ts` | 9 | 9 |
-| **total** | **75** | **200** |
+| **total** | **75** | **192** |
 
 | Bucket | Sites |
 |---|---|

packages/spec/api-surface.json

@@ -3152,8 +3152,6 @@
     "ActionType (const)",
     "AddRecordConfig (type)",
     "AddRecordConfigSchema (const)",
-    "Animation (type)",
-    "AnimationSchema (const)",
     "AnimationTrigger (type)",
     "AnimationTriggerSchema (const)",
     "App (type)",
@@ -3517,8 +3515,6 @@
     "WidgetPropertySchema (const)",
     "WidgetSource (type)",
     "WidgetSourceSchema (const)",
-    "ZIndex (type)",
-    "ZIndexSchema (const)",
     "actionForm (const)",
     "appForm (const)",
     "chartAggregateCategoryKey (function)",

packages/spec/authorable-surface.json

@@ -6914,8 +6914,6 @@
     "ui/AddRecordConfig:formView",
     "ui/AddRecordConfig:mode",
     "ui/AddRecordConfig:position",
-    "ui/Animation:duration",
-    "ui/Animation:timing",
     "ui/App:_lock",
     "ui/App:_lockDocsUrl",
     "ui/App:_lockReason",
@@ -7885,7 +7883,7 @@
     "ui/SyncConfig:maxRetries",
     "ui/SyncConfig:retryInterval",
     "ui/SyncConfig:strategy",
-    "ui/Theme:animation",
+    "ui/Theme:animation [RETIRED]",
     "ui/Theme:borderRadius",
     "ui/Theme:colors",
     "ui/Theme:customVars",
@@ -7896,7 +7894,7 @@
     "ui/Theme:name",
     "ui/Theme:shadows",
     "ui/Theme:typography",
-    "ui/Theme:zIndex",
+    "ui/Theme:zIndex [RETIRED]",
     "ui/TimelineConfig:colorField",
     "ui/TimelineConfig:endDateField",
     "ui/TimelineConfig:groupByField",
@@ -7924,10 +7922,10 @@
     "ui/TreeConfig:labelField",
     "ui/TreeConfig:parentField",
     "ui/Typography:fontFamily",
-    "ui/Typography:fontSize",
-    "ui/Typography:fontWeight",
-    "ui/Typography:letterSpacing",
-    "ui/Typography:lineHeight",
+    "ui/Typography:fontSize [RETIRED]",
+    "ui/Typography:fontWeight [RETIRED]",
+    "ui/Typography:letterSpacing [RETIRED]",
+    "ui/Typography:lineHeight [RETIRED]",
     "ui/UrlNavItem:badge",
     "ui/UrlNavItem:badgeVariant",
     "ui/UrlNavItem:icon",
@@ -8028,14 +8026,6 @@
     "ui/WidgetProperty:name",
     "ui/WidgetProperty:required",
     "ui/WidgetProperty:type",
-    "ui/WidgetProperty:validation",
-    "ui/ZIndex:base",
-    "ui/ZIndex:dropdown",
-    "ui/ZIndex:fixed",
-    "ui/ZIndex:modal",
-    "ui/ZIndex:modalBackdrop",
-    "ui/ZIndex:popover",
-    "ui/ZIndex:sticky",
-    "ui/ZIndex:tooltip"
+    "ui/WidgetProperty:validation"
   ]
 }

packages/spec/json-schema.manifest.json

@@ -1460,7 +1460,6 @@
     "ui/ActionParam",
     "ui/ActionType",
     "ui/AddRecordConfig",
-    "ui/Animation",
     "ui/AnimationTrigger",
     "ui/App",
     "ui/AppBranding",
@@ -1639,7 +1638,6 @@
     "ui/WidgetLifecycle",
     "ui/WidgetManifest",
     "ui/WidgetProperty",
-    "ui/WidgetSource",
-    "ui/ZIndex"
+    "ui/WidgetSource"
   ]
 }