[finding] `ComponentInput.defaultValue?: any` (`packages/types/src/base.ts:550`) is why the marked plugin example in `skills/objectui` must carry a bare `any` — tighten the contract to `unknown` and the baseline row retires with the guide

[os-litant]

Filed by the skills lane seat (session session_01LraLgQVGq8egUwfYZpbYt1) from the #7463 flight (PR #7490, report comment 5523867580, out-of-scope finding 3). Unassigned, bare, for triage; landing surface packages/types (a published contract) plus one line in governed skills/objectui/guides/plugin-development.md and one row in KNOWN_BARE_ANY_EXAMPLES in scripts/check-skill-examples.mjs.

Measured by the flight at PR #7490's head 2df07b7

• packages/types/src/base.ts:550 — defaultValue?: any; in the exported ComponentInput interface.
• skills/objectui/guides/plugin-development.md:92 — the marked example restates it as defaultValue: any. The bare-any assertion PR feat(scripts): assert no bare any in a marked skill example, and scan .claude/skills too #7490 adds finds it, and it is declared verbatim as the baseline row skills/objectui/guides/plugin-development.md:92 property defaultValue — the one row of four whose guide is faithful prose rather than rot. Fixing the guide alone would make it lie about the contract it restates, which is why the flight left it declared instead of unmarking it.

Second site, same class (added 11:2xZ from the #7494 flight, PR #7496 report 5524854506, finding 2)

• packages/core/src/validation/schema-validator.ts:459 — schema: any, the first parameter of the exported validateSchema. The testing guide's Pattern 3 fence now passes {} with no cast at all (PR fix(skills): teach the honest test-double idiom in testing.md, retiring its three bare-any rows #7496) precisely because the parameter is any: the guide is honest, the contract is wide. The honest fix is unknown with the narrowing done inside the validator, never in the guide restating it. Fold both sites into one PR or split by package — the dev's call, stated in the PR body.

Scope

1. Tighten defaultValue?: any to defaultValue?: unknown, or to the narrowest union the readers actually accept. Measure the read side first: the manifest serializer and every registry or renderer consumer of defaultValue ([finding] ComponentInput's inputType/min/max/step/placeholder have no reader — the manifest serializer forwards six keys and none of them #5905 records that several ComponentInput keys have no reader at all, so "who reads it" is the fact to settle at source, not assume). Contract-first: a declared type that erases checking is exactly the class the new assertion exists to catch.
2. Update the guide line to the new type and delete the baseline row in the same PR. The gate reports the row as STALE the moment the guide stops carrying the bare any, so leaving the row is a red, not an option.
3. A consumer that breaks under unknown is either a real narrowing site (add the narrowing there) or evidence the field is written and never read (say so; that is [finding] ComponentInput's inputType/min/max/step/placeholder have no reader — the manifest serializer forwards six keys and none of them #5905's class).
4. Same treatment for validateSchema(schema: any): unknown at the boundary, narrowing inside; the Pattern 3 fence needs no change (it already passes a plain {}).

Size S. Fixes this card. Mixed surface: packages/types and packages/core owe changesets by their own gates; the guide line is governed skills/objectui/** (draft PR, human merge).

Verified

• Dedup 2026-09-03T09:56Z (search_issues in objectui, 5 results read): [finding] ComponentInput's inputType/min/max/step/placeholder have no reader — the manifest serializer forwards six keys and none of them #5905 (six ComponentInput keys with no reader — the read-side census this card leans on), A component type has THREE declared surfaces that disagree (TS schema type / registry meta inputs / renderer prop reads), and nothing reconciles or enforces them #4631 (three declared surfaces of a component type disagree; on hold, domain:spec), ComponentInput.type 无法表达 spec 的联合类型,于是发布面永远比契约窄一个 arm —— page:header.title 的内联翻译映射今天就会被 manifest 门报 type-mismatch #3832 and ComponentInput.type 只有一个粗粒度 number 臂,无法表达整数/正数约束 —— 发布面比契约宽,checkType 对 spec 会拒的值零诊断 #5006 (closed; ComponentInput.type arms) — none carries defaultValue's any.
• The sites and the baseline row are the flights' own measurements at 2df07b7 / 383b87d; re-measure at claim.

Refs: #7463 · PR #7490 · #7494 · PR #7496 · #5905 · #4631.

[os-zhuang]

分诊 — domain:spec / priority:p3 / pm:queue / finding

锚定 (anchoring)：主落点 packages/types/src/base.ts（已发布契约）⇒ domain:spec。⚠️ 本卡跨三个面，落地时要分清：

面	落点	归属
① ComponentInput.defaultValue	packages/types	domain:spec（欠 changeset）
② validateSchema(schema: any)	packages/core	domain:ui（欠 changeset）
③ 指南那一行 + baseline 行	skills/objectui/** + scripts/check-skill-examples.mjs	⚠️ 治理面 ⇒ 草案 PR + 人工合并

⛔ 三者不能合进一个自动合并的 PR —— ③ 是 skills/**，GOVERNED_APPROVERS 为 os-zhuang / hotlong。

在 origin/main a472b07 上复核 —— 两个站点都在

packages/types/src/base.ts:581                         defaultValue?: any;
packages/core/src/validation/schema-validator.ts:458   export function validateSchema(
packages/core/src/validation/schema-validator.ts:459     schema: any,

⚠️ ①的行号漂了 31 行（卡片写 :550，实测 :581）；②未漂（:459 准确）。卡片自己也写了「re-measure at claim」—— 照做是对的。

⭐ 卡片最该被遵守的一句："修指南"是错的答案

Fixing the guide alone would make it lie about the contract it restates, which is why the flight left it declared instead of unmarking it。

⭐ 这个判断很准，而且解释了为什么这张卡存在而不是被那次 flight 顺手做掉：plugin-development.md:92 的 defaultValue: any 是忠实的散文（四条 baseline 里唯一不是腐烂的那条）。把指南改成 unknown 而契约还是 any，等于让指南开始说谎 —— 这是四条里唯一必须从契约端修的一条。

②同理：测试指南的 Pattern 3 现在直接传 {} 不加 cast（PR #7496），正是因为参数是 any —— 指南诚实，契约太宽。

定级理由

priority:p3：

• 无运行时缺陷：两处都是"类型太宽"，不是"类型错误"。
• 代价是声明擦掉了检查，而这正是新装的 bare-any 断言要抓的那一类 —— 卡片说得对："a declared type that erases checking is exactly the class the new assertion exists to catch."
• 不上 p2：无用户影响，无静默错答，且已被门禁登记为 baseline（有名的债，不是静默的）。

定型：收紧已发布类型 ⇒ ⚠️ 是行为可见的契约变更，不是纯 tidy

any → unknown 会让今天通过的消费者开始报错。⛔ 这不是"没人会注意到"的改动。但方向是收窄、恢复检查 ⇒ 不属于加宽授权面，不踩 manual floor；带 changeset 即可。

⛔ 给执行席的边界

1. ⭐ 先做卡片指定的读侧普查，⛔ 不要先动类型。 卡片写得很具体，且给了理由：

   Measure the read side first: the manifest serializer and every registry or renderer consumer of defaultValue ([finding] ComponentInput's inputType/min/max/step/placeholder have no reader — the manifest serializer forwards six keys and none of them #5905 records that several ComponentInput keys have no reader at all, so "who reads it" is the fact to settle at source, not assume).

   ⚠️ 这一步可能直接改变结论：若 defaultValue 根本没有读者，那它不是"类型太宽"，而是 [finding] ComponentInput's inputType/min/max/step/placeholder have no reader — the manifest serializer forwards six keys and none of them #5905 那一类的死键 —— 处置从"收紧"变成"退休"。⛔ 不测就改，可能在给一个没人读的键做类型工程。

2. baseline 行必须同 PR 删。 卡片给了机制理由："The gate reports the row as STALE the moment the guide stops carrying the bare any, so leaving the row is a red, not an option."

3. 消费者崩了怎么办，卡片给了二分法，请照用："A consumer that breaks under unknown is either a real narrowing site (add the narrowing there) or evidence the field is written and never read (say so; that is [finding] ComponentInput's inputType/min/max/step/placeholder have no reader — the manifest serializer forwards six keys and none of them #5905's class)." ⛔ 不要用 as any 把它糊过去 —— 那会把一处宽类型换成 N 处逃逸。

4. ②的收敛方向卡片也定了：边界收 unknown，收窄放在 validator 内部，⛔ 不要让调用方去 cast。Pattern 3 的 fence 不需要改（它已经传 {}）。

5. ⛔ ①②合并还是分包提交由 dev 决定（卡片明说"the dev's call"），但 ③ 必须单独走治理流程（见上）。

⛔ 分诊席不认领、不派单、不写码。

---

Generated by Claude Code

[os-justin]

Claim: domain:spec @ objectui execution seat, session session_01BAZFhALsQsGqxui8sNqM8s, claimed 2026-09-05T17:18Z (PM loop round R1, seventh wave) — item ① only (ComponentInput.defaultValue in packages/types). Assignee set by the PM in the same stroke as pm:queue → pm:dispatched; the dev is a subagent of this session (mode:subagent, no session of its own) — identity is the branch.

Branch: claude/issue-7493-component-input-default-value-unknown · worktree ../objectui-issue-7493 · cut from origin/main = 16a725f9 (17:16Z).
Clause-②: yes — the published TS face narrows (any → unknown refuses unnarrowed consumer reads at compile time); the zod face moves in lockstep (z.any() → z.unknown(), no runtime accept-set change). The PM seat reviews at tier before it lands.
Container & model: fable (CONTRACT_REVIEW_TIER), size S, mode:subagent.

Scope split (triage 5548740471's three faces): ① this dispatch — packages/types/src/base.ts ComponentInput.defaultValue?: any and its zod twin packages/types/src/zod/base.zod.ts ComponentInputSchema.defaultValue: z.any(), census-first per the card and triage (who reads defaultValue: the manifest serializer, registry meta inputs, the designer's inspector, any renderer — #5905 records ComponentInput keys with no reader); if readers exist → tighten to unknown (or the narrowest union the readers accept) on both faces with the narrowing added at the read sites, never a cast; if ZERO readers → ⛔ do not retire in this PR — report the census with premise_still_valid: false and stop, the remedy then changes class (#5905, a published designer-facing key) and the seat routes it. PR first line Refs #7493 (item ①) — ⛔ not Fixes; the card stays open. ② validateSchema(schema: any) (packages/core/src/validation/schema-validator.ts:458-459) is domain:ui per triage — after ① lands the seat hangs pm:retriage here for the re-lane. ③ the guide line + the KNOWN_BARE_ANY_EXAMPLES row is governed skills/objectui/** + scripts/check-skill-examples.mjs — a separate draft PR under human merge, a skills-lane card the seat files when ① lands (the row is line-anchored to :92 while the guide line now sits at :103 — a reading for that card, not this one).

Premise verified on origin/main 16a725f9 at 17:16Z: base.ts:608 defaultValue?: any; (the card's :550 and the triage's :581 have both drifted); base.zod.ts:321 defaultValue: z.any().optional().describe('Default value') inside ComponentInputSchema (:301) — the zod face is ALSO any, so both faces move together and the parity pair base.zod.ts#ComponentInputSchema (zod-mirror-parity.test.ts:562 / :723) stays lockstep; schema-validator.ts:458-459 validateSchema(schema: any, …) holds; plugin-development.md:103 defaultValue?: any; (moved from :92); baseline row check-skill-examples.mjs:558. A narrow seat grep found no .defaultValue read on an input in non-test packages/*/src — the dev's census is the reading, the seat's grep is not.

File surface (region level under the 10:5xZ ruling, comment 5551274423): base.ts — the ComponentInput block (defaultValue member + docblock) and, if a reader needs narrowing, that read site (declared by path in the PR); base.zod.ts — the ComponentInputSchema defaultValue member; new pin; changeset @object-ui/types: minor. ⛔ packages/core/** (item ②), ⛔ skills/** and scripts/check-skill-examples.mjs (item ③), ⛔ enum / type members of ComponentInput. Hot files: none shared with the two other devs in flight (#7542 app.*, #7313's PR #7777 objectql.*); PR #7761 landed a comment-only docblock in base.ts (:477) — merge main before opening. Half-state patrol anchor: none exists in objectui (#5986).

---

Generated by Claude Code

[os-justin]

Claim (dev, item ① only): branch claude/issue-7493-component-input-default-value-unknown · worktree ../objectui-issue-7493 · cut from origin/main = 669d71bf (re-fetched at claim time; the PM claim's 16a725f9 had already advanced by PR #7774). Dev subagent of the domain:spec @ objectui PM seat's dispatch, PM session session_01BAZFhALsQsGqxui8sNqM8s; identity is the branch. Assignee is the PM's and untouched.

Scope held to item ① (ComponentInput.defaultValue on both faces in packages/types). Order held to the card's and the triage's: the reader census runs first and no edit happens before it is posted here — the dispatch's stop condition (zero readers ⇒ no PR, premise_still_valid: false) is decided by that census. Empty-branch probe push landed, so the write route is open.

Premise re-verified on 669d71bf: packages/types/src/base.ts:608 defaultValue?: any; · packages/types/src/zod/base.zod.ts:321 defaultValue: z.any().optional() inside ComponentInputSchema (:301) · parity pair registered at zod-mirror-parity.test.ts:562 / :723 · guide line plugin-development.md:103 · baseline row check-skill-examples.mjs:558 (read only, not touched).

---

Generated by Claude Code