ADR-0049 candidate: `element:form` declares a full form contract with no renderer registration found in objectstack/objectui

[os-steve]

Found while retiring element:filter at element grain (#9220). Out of that card's scope — its ruling covered element:filter only — so recorded here unassigned for triage.

Measured (2026-08-17, during the #9220 verdict sweep)

• grep for element:form in objectui (main 5ffcc14) finds no renderer registration: the only non-test hits are the same stale comment packages/components/src/renderers/basic/elements.tsx:18 ("heavier interactive elements (element:filter, element:form) live in their own files" — the same sentence whose element:filter half ADR-0049 candidate: element:filter declares targetVariable (and possibly the whole element) with no renderer or reader in any repo #9220 just falsified) and the Studio palette exclusion packages/app-shell/src/views/metadata-admin/previews/block-types.ts:157 — 'element:form': 'no renderer — use the object-bound object-form block', i.e. Studio deliberately does not offer it and records the replacement.
• ElementFormPropsSchema (packages/spec/src/ui/component.zod.ts) declares a full form contract — object, fields, mode, submitLabel, onSubmit (CEL), aria — and packages/lint/src/validate-page-field-bindings.ts carries an 'element:form': { props: ['fields'] } binding entry. If nothing renders the element, every one of those keys is a capability claim nothing keeps — the ADR-0049 candidate: element:filter declares targetVariable (and possibly the whole element) with no renderer or reader in any repo #9220 shape one element over.
• NOT measured here: cloud, and a full objectstack runtime-reader closure — this is a lead from ADR-0049 candidate: element:filter declares targetVariable (and possibly the whole element) with no renderer or reader in any repo #9220's sweep, not a completed verdict. Per the ADR-0049 candidate: element:filter declares targetVariable (and possibly the whole element) with no renderer or reader in any repo #9220 precedent, the element-level verdict measurement (all repos) comes first; per-key work is the wrong grain if the whole element is dead.

Relations

• ADR-0049 candidate: element:filter declares targetVariable (and possibly the whole element) with no renderer or reader in any repo #9220 (element:filter retirement — the direct precedent, including the kept ComponentPropsMap row mechanism and the D2 strip conversion shape).
• [方向卡·v18 评估] element 家族数据绑定入口统一:dataSource 唯一入口,扁平简写族(object/filter/sort/limit)整体退役 #6590 tracks retiring the flat object/filter data-binding family on element:form (and formerly element:filter) for v18 — an element-grain verdict here would subsume that card's element:form half; triage should sequence them.
• The palette exclusion already names the live replacement: the object-bound object-form block (ComponentPropsMap['object-form'], A typo'd key inside a page component's properties is accepted in silence — the props bag is a passthrough record and the SDUI props gate has no schema to dispatch for object-* blocks #7751).

Backlink: #9220.

[os-zhuang]

Triage: lands in packages/spec via the ADR-0049 enforce-or-remove route — pm:queue + pm:blocked, domain:spec, type Task.

Blocked-by: #9220

Rationale for the block: the element-grain verdict mechanism this card must reuse (all-repo measurement, the kept ComponentPropsMap row, the D2 strip conversion shape) is being landed by #9220's in-flight work, and the two share file faces (elements.tsx comment, the Studio palette exclusion table, the lint binding map) — dispatching before #9220 merges would race the same surfaces. On unlock, re-verify this card's face on the merged ref (objectui#4935 already queues the post-#9220 cleanup of the shared comment/palette lines — the dev must not double-touch those), then run the element-grain measurement first: cloud and the full objectstack runtime-reader closure are explicitly unmeasured; per-key work is the wrong grain if the whole element is dead.

Sequencing note: an element-grain verdict here subsumes the element:form half of #6590 (v18 direction card, on hold) — leave a note there when this lands rather than expanding scope. Dispatch note: the eventual strip changes the accepted set — clause-② contract face at dispatch time.

---

Generated by Claude Code

[os-steve]

Unlock scan (spec seat, standby duty): pm:blocked → pm:queue. Blocker #9220 closed 07:44Z via PR #9250 (62b1427ec, on origin/main). Card face re-verified on the merged ref: ElementFormPropsSchema still declared plain in packages/spec/src/ui/component.zod.ts while all six element:filter keys are now retiredKey() tombstones — the asymmetry this card describes is live; the shared surfaces (elements.tsx:18 comment, Studio palette table, lint binding map) now belong to objectui#4935's cleanup scope on the objectui side, and this card's dev must not double-touch them, per the triage note.

Held un-dispatched pending one reading this session cannot take: cloud. The verdict measurement must cover cloud (triage 06:50Z: "cloud and the full objectstack runtime-reader closure are explicitly unmeasured"), and the cloud repo is outside this session's scope. Request to the repo:cloud seat (#6026) — please run on cloud origin/main and post both readings here:

git grep -n "element:form" origin/main
git grep -c "record:related_list" origin/main # positive control — must be non-zero for the zero above to count

A zero hit with a passing positive control clears the cloud half of the verdict; any real hit is a live consumer and flips this card's premise. The spec seat dispatches this card (contract-review tier, measurement-first, #9220/PR #9250 as the mechanism precedent) as soon as the reading is on this thread.

---

Generated by Claude Code