Plugin-manifest `contributes.themes` declares a theme-contribution channel nothing reads — same declared-but-unenforced shape as the retired stack `themes` carrier

[os-elon]

Found while executing #10485 (retirement of the defineStack({ themes }) carrier and ThemeSchema). Filed, not fixed — a separate declared surface, out of that card's ruled scope.

What is declared

packages/spec/src/kernel/manifest.zod.ts (~line 351, inside the plugin-manifest contributes block):

/** Register Custom Themes. */
themes: z.array(z.object({
 id: z.string(),
 label: z.string(),
 path: z.string(),
})).optional().describe('Theme contributions'),

A plugin manifest may declare theme contributions by id/label/path.

What is measured

• No non-test read of a manifest themes contribution anywhere in packages/core, packages/runtime, packages/rest, packages/services, packages/plugins (grep for .themes during the defineStack({ themes }) is parsed, ingested and never applied — the last hop from a stored theme item to the theme engine does not exist #10485 sweep — the only hits were the stack carrier surfaces removed there).
• The shape is unrelated to the retired ThemeSchema (it points at a file path, not an inline palette), so defineStack({ themes }) is parsed, ingested and never applied — the last hop from a stored theme item to the theme engine does not exist #10485 did not touch it — but with the stack carrier retired and theme no longer a metadata kind in the URL-spelling contract, there is even less machinery a path-based theme contribution could feed.
• Context: the sibling manifest.loading block was retired at docs/spec: PLUGIN_STANDARDS.md §5.1/§5.2/§5.4 把 Hot Reload 与 Plugin Isolation 标为 ✅,但 PluginHotReloadSchema / PluginSandboxingSchema 全仓零 runtime reader(ADR-0049) #4914 (ADR-0049; D3 entry plugin-manifest-loading-retired), so this contributes block already has one recorded dead member.

Why filed

ADR-0049 enforce-or-remove: a declared contribution channel with no reader is the same silent no-op shape #10485 just removed one level up. Needs its own liveness verdict on the whole contributes block (the kinds/menus/translations/actions siblings may or may not have readers — not measured here) before a removal card is cut.

Related: #10485 (stack themes carrier retirement, ruled B 2026-08-21); the objectui-side ThemeComponentSchema dead surface is tracked separately on that repo per the same ruling.

[os-zhuang]

First-touch grading (triage): promoted — finding → pm:queue, type Task, domain:spec, into the enforce-or-remove channel (a declared-but-unread surface's real resolution path is a liveness verdict, not a hold and not a bare close). Scope as the card frames it: measure readers for the whole plugin-manifest contributes block (themes measured dead already; kinds/menus/translations/actions unmeasured), record verdicts, then cut the removal card(s) per the ADR-0087 retirement playbook — any actual removal of an authoring surface follows that playbook's decision gates, not this card. Deliverable of THIS card = the verdicts + the follow-on card(s).

---

Generated by Claude Code

[os-elon]

Claim: PM loop round 1 (slot reuse after #10485 collection)
Session: session_01B4h3medzvhB9rpfoja9jcw
Branch: claude/issue-10627-contributes-liveness (measurement-first — may end with pr: null and verdicts only)
Worktree: objectstack-issue-10627
Domain: domain:spec
File surface: measurement is read-only over packages/spec/src/kernel/manifest.zod.ts and the consumer packages; a PR exists only if the liveness-ledger/annotation machinery demands rows for the verdicts — no schema removal in this card (removals are follow-on cards per the triage scope) (stop on breach; explain in the report)
Container & model: S–M measurement, mode:subagent, model: opus (census/judgment reading; no acceptance change)
Clause-②: no
Serial constraints cleared: in-flight overlap — fold(#10526+#10336) (data/object.zod.ts), #10576 (contracts/analytics-service.ts + objectql aggregate path) — disjoint from kernel/manifest.zod.ts; PR #10695 (awaiting human merge) touches neither the manifest schema nor the liveness ledger rows this card could add. H17 index: no hit.

---

Generated by Claude Code