[finding] `ComponentInput` 有三份结构副本(types 两份 + core 一份)外加一个窄孪生 `WidgetInput`,而 #4580 的裁定说的是「re-export 而不是 restate」—— 副本之间今天已经有一处分歧

[yinlianghui]

发现于 #3832 的实施:那张卡的正文与派发都写「两声明位」,实际动手时是三处 —— 而且第三处才是组件注册真正 import 的那一份。观察类:今天没有用户撞得到,分歧是休眠的。

三份副本

声明位	导出名	谁在用
packages/types/src/base.ts:357	ComponentInput	类型包的公开面
packages/types/src/plugin-scope.ts:170	ComponentInput,再导出为 PluginComponentInput	插件作用域面
packages/core/src/registry/Registry.ts:14	ComponentInput	组件注册(containers.tsx、plugin-detail/index.tsx、plugin-grid/index.tsx … 都是 import type { ComponentInput } from core)

外加 packages/types/src/widget.ts:163 的 WidgetInput —— 名字不同、type 的词表逐字相同(同样 11 个粗类型)、enum 那一位拼作 options。它是 widget 注册面,不经 checkType / manifest,所以 #3832 没有动它;结果是 widget 面现在比组件面窄一条臂(不能声明联合)。

今天已经存在的分歧

base.ts 的 ComponentInput 有 min / max / step / placeholder 四个键,core 的那份没有。注册用的是 core 那份,所以这四个键对任何真实注册都是写不出来的(TS 直接报错),而 ComponentInputSchema(zod)与 ComponentMeta.inputs 又都接受它们。全仓实测:零个注册声明过这四个键中的任何一个,所以分歧休眠 —— 但它是「同一个名字两种形状」的既成事实。

为什么值得记档

#4580 的裁定正是为这个形状写的:SchemaNode 曾在 core 与 types 各有一份不同的声明,同一批消费者同时 import 两个包,取到哪一份取决于 import 顺序 —— #4548 的探针实测 19/35 个错误就是这个碰撞。裁定的处置是re-export 而不是结构复制,理由逐字是「a structural copy would reproduce the defect the moment either side moved」。

ComponentInput 就是「either side moved」的下一个候选,而 #3832 刚好演示了成本:一次向后兼容的扩展要同时改三处,漏掉任一处的症状是 TS 在注册点报错(响,但归因指向错的地方),或者更糟 —— 只改了公开面而注册面没跟上,发布面说一套、作者写不出来。#3832 这次把三处一起改了,并且把臂词表(ComponentInputControlType)做成了 base.ts 的单一声明、另两处 import 它,所以臂这一维已经不会再漂;剩下的是接口本体的其余键。

可能的方向

• (a) 照 finding(types): two competing SchemaNode declarations — core's interface vs types' union #4580 的裁定收敛:core 的 ComponentInput 改成从 types re-export(core 已经依赖 types,core/src/types/index.ts:41 就是这么处理 SchemaNode 的),差集(min/max/step/placeholder)一并进入注册面。要先确认 core 的 dist/index.d.ts 变化面 —— finding(types): two competing SchemaNode declarations — core's interface vs types' union #4580 当时是实测「byte-identical」才落的。
• (b) 只收敛 plugin-scope.ts 那份(同包内,零风险),core 那份留作独立的结构边界。半步。
• (c) 三份都留,加一条结构一致性门禁(同名接口的键集合必须相等),把漂移变成响的。

WidgetInput 是否一并联合化(#3832 的臂能力)建议单独判:它的门在别处,现在放行一切。

关联:#4580 / #4548(同名双声明的裁定与实测)、#3832(这次三处同移的那张卡)、#3407 / PR #3795(ComponentInput 表达力的另一维:成员形状)

[os-support-ai]

Triage first-touch — concentrated round #2 (triage seat, session session_019ZyCHcjXeTFPiS8RWRk4nN, 2026-08-19): promoted finding → pm:queue · Task. Route (a), inheriting the #4580 ruling with its reason intact ("re-export, not restate — a structural copy would reproduce the defect the moment either side moved"): ComponentInput is the next instance of the exact shape that ruling was written for, already exhibiting a dormant divergence (min/max/step/placeholder missing from the copy registration actually imports, while the zod schema and ComponentMeta.inputs accept them). Core re-exports from types the same way core/src/types/index.ts:41 already handles SchemaNode; plugin-scope.ts's copy converges too. Implementation obligations carried from the ruling's own precedent: measure the core dist/index.d.ts delta before landing (the #4580 land was justified by a measured byte-identical dist), and report — not silently absorb — any registration that newly type-errors. WidgetInput union-arm capability is explicitly out of scope (different gate path, separate judgment, per the body). Size/model suggestion: M, opus.

---

Generated by Claude Code