wip(spec): refuse bare element:filter / element:form nodes by name

Source half of #15110: the two elements join RETIRED_PAGE_COMPONENT_TYPES
with the element-grain tail of their own retiredKey tombstones, the typo
suggester stops offering retired keys, and the prose the node refusal
falsifies is corrected. Tests follow in the next commit.

Co-authored-by: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MkQhmuuJAVDjmeWNixwDDH

Author: os-bill

packages/spec/src/conversions/registry.ts

@@ -6801,11 +6801,13 @@ const elementInputTargetVariableRemoved: MetadataConversion = {
  * them together.
  *
  * Pure lossless deletes — no key ever had an effect to lose. The component
- * node itself is NOT removed: the open `type` union tolerates a bare inert
- * node (nothing rendered it before either), and deleting authored page nodes
- * is a layout decision a mechanical conversion must not make. The
+ * node itself is NOT removed: deleting authored page nodes is a layout
+ * decision a mechanical conversion must not make. The bare node it leaves is
+ * not the end state — `element:filter` is a member of
+ * `RETIRED_PAGE_COMPONENT_TYPES`, so the parse refuses it by name and the
  * prescription tells the author to delete the component and use the list
- * surface's own filtering instead.
+ * surface's own filtering instead. Mechanical where it can be, located where
+ * it cannot.
  */
 const elementFilterRemoved: MetadataConversion = {
   id: 'element-filter-removed',
@@ -6819,7 +6821,8 @@ const elementFilterRemoved: MetadataConversion = {
     "the whole 'element:filter' element retired (#9220 — no renderer for it ever shipped in "
     + 'any repo, so every key was a capability claim nothing kept; list surfaces own their '
     + "filtering via a view's userFilters / the list filter builder). All six props are "
-    + 'stripped; the bare node stays, inert as it always was',
+    + 'stripped; the bare node the conversion leaves is refused by name at the parse, with '
+    + 'the prescription to delete the component',
   apply(stack, emit) {
     return mapPageComponents(stack, (component, path) => {
       if (component.type !== 'element:filter') return component;
@@ -6949,13 +6952,14 @@ const elementFilterRemoved: MetadataConversion = {
  * together and this conversion strips them together.
  *
  * Pure lossless deletes — no key ever had an effect to lose. The component
- * node itself is NOT removed: the open `type` union tolerates a bare inert
- * node (nothing rendered it before either), and deleting authored page nodes
- * is a layout decision a mechanical conversion must not make. The
+ * node itself is NOT removed: deleting authored page nodes is a layout
+ * decision a mechanical conversion must not make. The bare node it leaves is
+ * not the end state — `element:form` is a member of
+ * `RETIRED_PAGE_COMPONENT_TYPES`, so the parse refuses it by name and the
  * prescription tells the author to delete the component and use the
  * object-bound `object-form` block (#7751) instead — rendered,
  * designer-publishable, and carrying the same intent (`objectName`, `fields`,
- * `mode`, `submitText`).
+ * `mode`, `submitText`). Mechanical where it can be, located where it cannot.
  */
 const elementFormRemoved: MetadataConversion = {
   id: 'element-form-removed',
@@ -6969,7 +6973,8 @@ const elementFormRemoved: MetadataConversion = {
     "the whole 'element:form' element retired (#9249 — no renderer for it ever shipped in "
     + 'any repo, so every key was a capability claim nothing kept; use the object-bound '
     + "'object-form' block instead — rendered and designer-publishable). All six props are "
-    + 'stripped; the bare node stays, inert as it always was',
+    + 'stripped; the bare node the conversion leaves is refused by name at the parse, with '
+    + 'the prescription to delete the component',
   apply(stack, emit) {
     return mapPageComponents(stack, (component, path) => {
       if (component.type !== 'element:form') return component;

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFilterProps__aria.ts

@@ -18,5 +18,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-filter-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFilterProps:aria';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFilterProps__fields.ts

@@ -18,5 +18,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-filter-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFilterProps:fields';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFilterProps__layout.ts

@@ -18,5 +18,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-filter-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFilterProps:layout';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFilterProps__object.ts

@@ -18,5 +18,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-filter-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFilterProps:object';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFilterProps__showSearch.ts

@@ -18,5 +18,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-filter-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFilterProps:showSearch';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFilterProps__targetVariable.ts

@@ -18,5 +18,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-filter-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFilterProps:targetVariable';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFormProps__aria.ts

@@ -20,5 +20,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-form-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFormProps:aria';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFormProps__fields.ts

@@ -20,5 +20,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-form-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFormProps:fields';

packages/spec/src/migrations/entries/retired-keys/18.ui__ElementFormProps__mode.ts

@@ -20,5 +20,7 @@
 // narrowings ride minor releases) and the prescription lives at the major
 // boundary where `migrate meta` users look (the #8495 / PR #8666 precedent).
 // Sources are rewritten by the D2 conversion `element-form-removed`, which
-// strips all six keys and leaves the bare node — inert as it always was.
+// strips all six keys and leaves the bare node — which the parse then refuses
+// by name (`RETIRED_PAGE_COMPONENT_TYPES`), with the prescription to delete the
+// component.
 export const entry = 'ui/ElementFormProps:mode';