@fuaran-ui/conformance 0.18.0 → 0.20.0

package/corpus/manifest.json

@@ -2,7 +2,7 @@
   "version": 1,
   "schema": "schema.json",
   "idl": "idl.json",
-  "description": "Fuaran canonical wire-format conformance corpus. node-round-trip / op-round-trip fixtures: decode inputFile, re-encode, assert byte-equal to expectedFile. reject fixtures: decode inputFile, assert DecodeError.Code = expectedErrorCode and DecodeError.Path starts with expectedPath. lenient-accept fixtures (WIRE_FORMAT 16): decode the SHORTHAND inputFile, re-encode, assert byte-equal to expectedFile (the verbose canonical form) — a conformant host MUST accept the shorthand and normalise it; rejecting it, or decoding it to different bytes, is non-conformant. envelope-round-trip / envelope-reject fixtures (WIRE_FORMAT 15): read the $profile/$payload envelope, negotiate the authored profile against the host's own core@1.0, then either re-render byte-equal to expectedFile (Current/Behind — unknown kinds preserved verbatim, must-ignore-but-preserve) or refuse a Foreign profile with expectedErrorCode FOREIGN_PROFILE at expectedPath. elicitation-round-trip / elicitation-reject fixtures (WIRE_FORMAT 18): decode with the decoder-named entry point (elicitation = the envelope codec, elicitation-outcome = the outcome codec), then either re-encode byte-equal to expectedFile or assert the structured refusal (expectedErrorCode at a path starting with expectedPath). elicitation-answer-accept / elicitation-answer-reject fixtures (WIRE_FORMAT 18.4): the inputFile pairs {answer, contract}; run the host's answer-conformance validation and assert acceptance or the expected refusal. See fuaran-dotnet/docs/WIRE_FORMAT.md.",
+  "description": "Fuaran canonical wire-format conformance corpus. node-round-trip / op-round-trip fixtures: decode inputFile, re-encode, assert byte-equal to expectedFile. reject fixtures: decode inputFile, assert DecodeError.Code = expectedErrorCode and DecodeError.Path starts with expectedPath. lenient-accept fixtures (WIRE_FORMAT 16): decode the SHORTHAND inputFile, re-encode, assert byte-equal to expectedFile (the verbose canonical form) — a conformant host MUST accept the shorthand and normalise it; rejecting it, or decoding it to different bytes, is non-conformant. envelope-round-trip / envelope-reject fixtures (WIRE_FORMAT 15): read the $profile/$payload envelope, negotiate the authored profile against the host's own core@1.0, then either re-render byte-equal to expectedFile (Current/Behind — unknown kinds preserved verbatim, must-ignore-but-preserve) or refuse a Foreign profile with expectedErrorCode FOREIGN_PROFILE at expectedPath. elicitation-round-trip / elicitation-reject fixtures (WIRE_FORMAT 18): decode with the decoder-named entry point (elicitation = the envelope codec, elicitation-outcome = the outcome codec), then either re-encode byte-equal to expectedFile or assert the structured refusal (expectedErrorCode at a path starting with expectedPath). elicitation-answer-accept / elicitation-answer-reject fixtures (WIRE_FORMAT 18.4): the inputFile pairs {answer, contract}; run the host's answer-conformance validation and assert acceptance or the expected refusal. contract-card-round-trip / contract-card-reject fixtures (WIRE_FORMAT 25): decode with the decoder-named entry point (contract-card = the single-card codec, contract-card-bundle = the bundle codec), then either re-encode byte-equal to expectedFile or assert the structured refusal (expectedErrorCode at a path starting with expectedPath). A card is NOT a node — it is the description a host reads to label and prop-validate a Custom node it has no renderer for — so it is its own family and never appears in nodes/. See fuaran-dotnet/docs/WIRE_FORMAT.md.",
   "kinds": [
     "Badge",
     "Box",
@@ -14,6 +14,7 @@
     "DataGrid",
     "Disclosure",
     "Drawing",
+    "Embed",
     "ErrorBoundary",
     "Fact",
     "FileUpload",
@@ -44,22 +45,163 @@
     "SummaryList",
     "Switch",
     "Tabs",
-    "Toast"
+    "Toast",
+    "Tree"
   ],
   "formFieldKinds": [
     "Checkbox",
     "Choice",
+    "Color",
+    "Combobox",
     "Date",
     "DateRange",
     "Number",
     "Range",
     "RangedNumber",
+    "Rating",
     "SegmentedChoice",
     "Text",
     "TextArea",
-    "Toggle"
+    "Toggle",
+    "Tokens"
+  ],
+  "ops": [
+    "Batch",
+    "EditNode",
+    "InsertChild",
+    "MoveNode",
+    "RemoveNode",
+    "ReorderChildren",
+    "ReplaceBinding",
+    "ReplaceRoot",
+    "UpdateProp",
+    "UpdateState",
+    "UpdateStyle"
   ],
   "fixtures": [
+    {
+      "id": "card-reject-bad-version",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-bad-version.json",
+      "expectedErrorCode": "UNSUPPORTED_VERSION",
+      "expectedPath": "$.$card",
+      "description": "a card format version this decoder does not implement (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-reject-bundle-bad-version",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card-bundle",
+      "inputFile": "cards/card-reject-bundle-bad-version.json",
+      "expectedErrorCode": "UNSUPPORTED_VERSION",
+      "expectedPath": "$.$cards",
+      "description": "a bundle format version this decoder does not implement (WIRE_FORMAT 25.2)"
+    },
+    {
+      "id": "card-reject-bundle-duplicate",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card-bundle",
+      "inputFile": "cards/card-reject-bundle-duplicate.json",
+      "expectedErrorCode": "DUPLICATE_CARD",
+      "expectedPath": "$.cards[1]",
+      "description": "two cards for one identity: a document with no order to appeal to, so which description a reader gets would depend on decoder implementation detail (WIRE_FORMAT 25.2)"
+    },
+    {
+      "id": "card-reject-empty-enum",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-empty-enum.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.props[0].type",
+      "description": "`enum()` is unrepresentable in the tag spelling — an enum admitting nothing, spelled as though it admitted one empty choice (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-reject-hash-not-object",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-hash-not-object.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.contentHash",
+      "description": "the digest is carried WITH its algorithm; a bare string would make two digests under different algorithms comparable (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-reject-missing-hash",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-missing-hash.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.contentHash",
+      "description": "the content hash is REQUIRED — without it a card can never be more than a name match, and the three-way verdict collapses to its weakest case for every node (WIRE_FORMAT 25.4)"
+    },
+    {
+      "id": "card-reject-missing-module",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-missing-module.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.moduleId",
+      "description": "half an identity is not an identity (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-reject-payload-no-language",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-payload-no-language.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.props[0].payload.language",
+      "description": "a gate with no language names a judge for nothing; the language is the declaration and the gate is the annotation on it (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-reject-required-not-bool",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-required-not-bool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.props[0].required",
+      "description": "requiredness is a boolean, not a spelling (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-reject-stray-key",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-stray-key.json",
+      "expectedErrorCode": "UNDECLARED_FIELD",
+      "expectedPath": "$.renderer",
+      "description": "default-deny by shape: an undeclared key is refused, never ignored — a card is a protocol artefact and its evolution is the version tag (WIRE_FORMAT 25.3)"
+    },
+    {
+      "id": "card-reject-unknown-prop-type",
+      "kind": "contract-card-reject",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-reject-unknown-prop-type.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.props[0].type",
+      "description": "a prop type tag this build cannot resolve is refused at the boundary rather than read as permissive — guessing would turn a check into a pass (WIRE_FORMAT 25.3)"
+    },
+    {
+      "id": "card-bundle",
+      "kind": "contract-card-round-trip",
+      "decoder": "contract-card-bundle",
+      "inputFile": "cards/card-bundle.json",
+      "expectedFile": "cards/card-bundle.json",
+      "description": "a two-card bundle, emitted sorted by (moduleId, componentId) whatever order the cards were supplied in (WIRE_FORMAT 25.2)"
+    },
+    {
+      "id": "card-full",
+      "kind": "contract-card-round-trip",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-full.json",
+      "expectedFile": "cards/card-full.json",
+      "description": "summary, required + optional props, an enum type tag, and both payload states — gated and ungated (WIRE_FORMAT 25.1)"
+    },
+    {
+      "id": "card-minimal",
+      "kind": "contract-card-round-trip",
+      "decoder": "contract-card",
+      "inputFile": "cards/card-minimal.json",
+      "expectedFile": "cards/card-minimal.json",
+      "description": "identity + content hash, no props and no summary (WIRE_FORMAT 25.1)"
+    },
     {
       "id": "elc-ans-accept-full",
       "kind": "elicitation-answer-accept",
@@ -404,6 +546,30 @@
       "expectedFile": "lenient/lenient-022-lvr-emphasis-normal.expected.json",
       "description": "0.2.2 — 'Normal' coerces to false, which is the omitted-when-false canonical form"
     },
+    {
+      "id": "lenient-1126-clipboard-literal-envelope",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-1126-clipboard-literal-envelope.json",
+      "expectedFile": "lenient/lenient-1126-clipboard-literal-envelope.expected.json",
+      "description": "Phase 1126 — the clipboard payload is a TextSource, so §16's transparent-Literal rule reaches it: the explicit {\"$type\":\"Literal\",\"text\":…} envelope normalises to the bare string, which is also the pre-1126 spelling and still the canonical one"
+    },
+    {
+      "id": "lenient-1521-int-slot-integral-float",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-1521-int-slot-integral-float.json",
+      "expectedFile": "lenient/lenient-1521-int-slot-integral-float.expected.json",
+      "description": "§7.1 — an integer-VALUED number written with a fractional part decodes at an integer slot and canonicalises to the integer spelling. Two hosts refused `3.0` outright, which refuses a document whose intent is unambiguous for its spelling; `2.5` at the same slot stays a WRONG_TYPE, so the accept set widens by exactly the values an integer slot can hold"
+    },
+    {
+      "id": "lenient-1521-payload-integer-beyond-int53",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-1521-payload-integer-beyond-int53.json",
+      "expectedFile": "lenient/lenient-1521-payload-integer-beyond-int53.expected.json",
+      "description": "§2 rule 5 — integer identity in a rule-12 payload stops at ±(2⁵³−1). `boundary` is at the limit and survives verbatim; `beyond` is one past it, has no representation every host holds exactly, and decodes to the nearest double. Pinned as a lenient NORMALISATION rather than left implicit, because three hosts silently rounded it, one kept an int64 and one an arbitrary-precision integer — the same document, five canonical byte sequences, five hash-chain digests"
+    },
     {
       "id": "lenient-460-alias-emphasis-muted",
       "kind": "lenient-accept",
@@ -668,6 +834,14 @@
       "expectedFile": "lenient/lenient-master-detail-preselected-compact.expected.json",
       "description": "Phase 719 — the compact authoring twin of `master-detail-preselected`: all-valid columns as bare arrays (Core#88) and the inferable schema omitted; the canonical envelope stays the encoder's output. The pack teaches this form by example — the exemplar/prose contradiction measurably taught the envelope (claude-opus 81% envelope share, 2026-07-28 census)."
     },
+    {
+      "id": "lenient-navigate-target-self",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-navigate-target-self.json",
+      "expectedFile": "lenient/lenient-navigate-target-self.expected.json",
+      "description": "Phase 1536 — an explicit `target: \"Self\"` normalises away; `Self` is omitted at default, so the canonical form carries no `target` member at all"
+    },
     {
       "id": "lenient-null-static-options",
       "kind": "lenient-accept",
@@ -956,6 +1130,46 @@
       "expectedFile": "nodes/a11y-wrapper-state-bound.json",
       "description": "Accessibility (Phase 955 — State-bound label + hidden, mixed-case custom role doc-pageFooter, off)"
     },
+    {
+      "id": "action-confirm",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/action-confirm.json",
+      "expectedFile": "nodes/action-confirm.json",
+      "description": "Phase 1537 — Input/Button whose Action.Confirm asks a BOUND question (naming the selected row) before a Call; no onCancel, which is how the language spells 'nothing happens'"
+    },
+    {
+      "id": "action-confirm-cancel",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/action-confirm-cancel.json",
+      "expectedFile": "nodes/action-confirm-cancel.json",
+      "description": "Phase 1537 — Input/Button whose Action.Confirm carries a LITERAL prompt and both branches; the only fixture in which the recursive encoder descends into a named continuation rather than a Chain list"
+    },
+    {
+      "id": "action-focus",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/action-focus.json",
+      "expectedFile": "nodes/action-focus.json",
+      "description": "Phase 1537 — Input/Button whose Action.Focus moves the caret to an addressed node, chained after the write that emptied it"
+    },
+    {
+      "id": "action-navigate-bound",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/action-navigate-bound.json",
+      "expectedFile": "nodes/action-navigate-bound.json",
+      "description": "Phase 1536 — Input/Button whose Action.Navigate carries a BOUND route (a TextSource over the grid's selection), resolved at dispatch time and gated on the resolved value"
+    },
+    {
+      "id": "action-navigate-target",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/action-navigate-target.json",
+      "expectedFile": "nodes/action-navigate-target.json",
+      "description": "Phase 1536 — Input/Button whose Action.Navigate names a Blank target (opened with noopener,noreferrer); `Self` is omitted, so this is the only shape that puts `target` on the wire"
+    },
     {
       "id": "badge-1",
       "kind": "node-round-trip",
@@ -980,6 +1194,22 @@
       "expectedFile": "nodes/boundary-1.json",
       "description": "ErrorBoundary (Markdown child + Callout fallback)"
     },
+    {
+      "id": "box-break-before-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/box-break-before-1.json",
+      "expectedFile": "nodes/box-break-before-1.json",
+      "description": "Layout/Box (Phase 1473 breakBefore, the only new member)"
+    },
+    {
+      "id": "box-keep-together-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/box-keep-together-1.json",
+      "expectedFile": "nodes/box-keep-together-1.json",
+      "description": "Layout/Box (Phase 1473 keepTogether, the only new member)"
+    },
     {
       "id": "btn-1",
       "kind": "node-round-trip",
@@ -988,6 +1218,14 @@
       "expectedFile": "nodes/btn-1.json",
       "description": "Input/Button"
     },
+    {
+      "id": "btn-copy-bound",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/btn-copy-bound.json",
+      "expectedFile": "nodes/btn-copy-bound.json",
+      "description": "Phase 1126 — Input/Button whose Action.WriteToClipboard carries a BOUND payload (a TextSource, not a bare string), resolved at dispatch time"
+    },
     {
       "id": "btn-copy-link",
       "kind": "node-round-trip",
@@ -1020,6 +1258,14 @@
       "expectedFile": "nodes/btn-read-workbook.json",
       "description": "Input/Button (Action.ReadFileBody base64)"
     },
+    {
+      "id": "button-print",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/button-print.json",
+      "expectedFile": "nodes/button-print.json",
+      "description": "Input/Button (Phase 1124 — Action.Print: the payload-free action, inside a Chain)"
+    },
     {
       "id": "button-setstate-valuefrom",
       "kind": "node-round-trip",
@@ -1060,6 +1306,30 @@
       "expectedFile": "nodes/chart-1.json",
       "description": "Visualisation/Chart"
     },
+    {
+      "id": "chart-annotation-bands",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/chart-annotation-bands.json",
+      "expectedFile": "nodes/chart-annotation-bands.json",
+      "description": "Visualisation/Chart (Phase 1492 — annotations: range bands in all three addressing forms, value / category / date)"
+    },
+    {
+      "id": "chart-annotation-events",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/chart-annotation-events.json",
+      "expectedFile": "nodes/chart-annotation-events.json",
+      "description": "Visualisation/Chart (Phase 1491 — annotations: event markers in both x-address forms, category and date)"
+    },
+    {
+      "id": "chart-annotations",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/chart-annotations.json",
+      "expectedFile": "nodes/chart-annotations.json",
+      "description": "Visualisation/Chart (Phase 1490 — annotations: two data-addressed reference lines, one labelled)"
+    },
     {
       "id": "chart-axis-titles",
       "kind": "node-round-trip",
@@ -1172,6 +1442,14 @@
       "expectedFile": "nodes/custom-bounded-advisory.json",
       "description": "Custom (bounded escape, AdvisoryWarning hash + no exposed-ids)"
     },
+    {
+      "id": "custom-nonascii-keys",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/custom-nonascii-keys.json",
+      "expectedFile": "nodes/custom-nonascii-keys.json",
+      "description": "Custom (§2 rule 2 — astral vs BMP payload keys, the UTF-16-order discriminator)"
+    },
     {
       "id": "dash-empty",
       "kind": "node-round-trip",
@@ -1228,6 +1506,30 @@
       "expectedFile": "nodes/drawing-tipped-shapes.json",
       "description": "Display/Drawing (Phase 883 — tipped shapes, incl. hostile text, Bound tip and explicit empty)"
     },
+    {
+      "id": "embed-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/embed-1.json",
+      "expectedFile": "nodes/embed-1.json",
+      "description": "Display/Embed (Phase 1111 — the minimum: no ratio, no permissions, total denial)"
+    },
+    {
+      "id": "embed-aspect-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/embed-aspect-1.json",
+      "expectedFile": "nodes/embed-aspect-1.json",
+      "description": "Display/Embed (Phase 1111 — a declared aspect ratio, sharing Image's enum)"
+    },
+    {
+      "id": "embed-permissions-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/embed-permissions-1.json",
+      "expectedFile": "nodes/embed-permissions-1.json",
+      "description": "Display/Embed (Phase 1111 — one permission, the one that rides `allow` not `sandbox`)"
+    },
     {
       "id": "empty-state-card",
       "kind": "node-round-trip",
@@ -1236,6 +1538,22 @@
       "expectedFile": "nodes/empty-state-card.json",
       "description": "Layout/Box (Phase 767 — the canonical empty state with a CTA: one Card region, no nested Callout)"
     },
+    {
+      "id": "expr-params-state-selection",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/expr-params-state-selection.json",
+      "expectedFile": "nodes/expr-params-state-selection.json",
+      "description": "Binding/Expr (Phase 1534 — params from State / Selection / Query / Filter / Now, including an InParam membership test)"
+    },
+    {
+      "id": "expr-scalar",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/expr-scalar.json",
+      "expectedFile": "nodes/expr-scalar.json",
+      "description": "Binding/Expr (Phase 1534 — scalar logic with no params: concat, arithmetic, AND/NOT, a null test)"
+    },
     {
       "id": "fact-1",
       "kind": "node-round-trip",
@@ -1276,6 +1594,14 @@
       "expectedFile": "nodes/filters-declarative.json",
       "description": "Input/Filters (declarative — omitted onChange + typed range bounds)"
     },
+    {
+      "id": "filters-rating-colour",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/filters-rating-colour.json",
+      "expectedFile": "nodes/filters-rating-colour.json",
+      "description": "Input/Filters (Phase 1130 — Rating + Color chips, declarative and auto-bound)"
+    },
     {
       "id": "filters-segmented",
       "kind": "node-round-trip",
@@ -1284,6 +1610,14 @@
       "expectedFile": "nodes/filters-segmented.json",
       "description": "Input/Filters (SegmentedFilter horizontal)"
     },
+    {
+      "id": "filters-tokens",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/filters-tokens.json",
+      "expectedFile": "nodes/filters-tokens.json",
+      "description": "Input/Filters (Phase 1121 — Tokens chip, constrained and auto-bound)"
+    },
     {
       "id": "form-1",
       "kind": "node-round-trip",
@@ -1292,6 +1626,38 @@
       "expectedFile": "nodes/form-1.json",
       "description": "Input/Form (all fields)"
     },
+    {
+      "id": "form-color",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-color.json",
+      "expectedFile": "nodes/form-color.json",
+      "description": "Input/Form (Phase 1130 — Color: upper-case hex, preserved not normalised)"
+    },
+    {
+      "id": "form-combobox-freetext",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-combobox-freetext.json",
+      "expectedFile": "nodes/form-combobox-freetext.json",
+      "description": "Input/Form (Phase 1113 — Combobox: allowFreeText, value outside the option set)"
+    },
+    {
+      "id": "form-combobox-query",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-combobox-query.json",
+      "expectedFile": "nodes/form-combobox-query.json",
+      "description": "Input/Form (Phase 1113 — Combobox: Query-bound option source, declarative, auto-bound value)"
+    },
+    {
+      "id": "form-combobox-static",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-combobox-static.json",
+      "expectedFile": "nodes/form-combobox-static.json",
+      "description": "Input/Form (Phase 1113 — Combobox: static options, allowFreeText omitted)"
+    },
     {
       "id": "form-date",
       "kind": "node-round-trip",
@@ -1348,6 +1714,14 @@
       "expectedFile": "nodes/form-local-debounce.json",
       "description": "Input/Form (Local-bound text, OnDebounce 250)"
     },
+    {
+      "id": "form-local-declared",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-local-declared.json",
+      "expectedFile": "nodes/form-local-declared.json",
+      "description": "Input/Form (Fuaran-UI Phase 1538 — a DECLARED Local: codec + commitTo, no closure)"
+    },
     {
       "id": "form-ranged",
       "kind": "node-round-trip",
@@ -1356,6 +1730,22 @@
       "expectedFile": "nodes/form-ranged.json",
       "description": "Input/Form (RangedNumber — all/min-only/no bounds)"
     },
+    {
+      "id": "form-rating",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-rating.json",
+      "expectedFile": "nodes/form-rating.json",
+      "description": "Input/Form (Phase 1130 — Rating: whole stars, allowHalf omitted, static value)"
+    },
+    {
+      "id": "form-rating-halves",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-rating-halves.json",
+      "expectedFile": "nodes/form-rating-halves.json",
+      "description": "Input/Form (Phase 1130 — Rating: allowHalf entry + a bound average on a ten-scale, value auto-bound)"
+    },
     {
       "id": "form-segmented",
       "kind": "node-round-trip",
@@ -1372,6 +1762,30 @@
       "expectedFile": "nodes/form-toggle.json",
       "description": "Input/Form (Phase 766 — the Toggle switch affordance beside a Checkbox)"
     },
+    {
+      "id": "form-tokens-freetext",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-tokens-freetext.json",
+      "expectedFile": "nodes/form-tokens-freetext.json",
+      "description": "Input/Form (Phase 1121 — Tokens: the shortest spelling, allowFreeText omitted (true), value auto-bound)"
+    },
+    {
+      "id": "form-tokens-query",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-tokens-query.json",
+      "expectedFile": "nodes/form-tokens-query.json",
+      "description": "Input/Form (Phase 1121 — Tokens: Query-bound suggestion source, declarative, value auto-bound)"
+    },
+    {
+      "id": "form-tokens-suggested",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-tokens-suggested.json",
+      "expectedFile": "nodes/form-tokens-suggested.json",
+      "description": "Input/Form (Phase 1121 — Tokens: allowFreeText false over a static suggestion source, tokens in reader order)"
+    },
     {
       "id": "format-bindings",
       "kind": "node-round-trip",
@@ -1380,6 +1794,14 @@
       "expectedFile": "nodes/format-bindings.json",
       "description": "Binding.Format (number/currency/percent/date/relativeTime across locales)"
     },
+    {
+      "id": "format-since",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/format-since.json",
+      "expectedFile": "nodes/format-since.json",
+      "description": "Binding.Format (Phase 1533 — Since: the instant-reading twin of RelativeTime, declared unit and auto)"
+    },
     {
       "id": "frag-decl-1",
       "kind": "node-round-trip",
@@ -1604,6 +2026,14 @@
       "expectedFile": "nodes/grid-editable-state.json",
       "description": "Visualisation/Grid (Phase 663/665 — editable State-sourced grid, typed rows on the wire)"
     },
+    {
+      "id": "grid-exportable-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/grid-exportable-1.json",
+      "expectedFile": "nodes/grid-exportable-1.json",
+      "description": "Visualisation/Grid (Phase 1125 exportable, the only new member)"
+    },
     {
       "id": "grid-field-named",
       "kind": "node-round-trip",
@@ -1612,6 +2042,14 @@
       "expectedFile": "nodes/grid-field-named.json",
       "description": "Visualisation/Grid (Phase 425 — field-named columns + RowKeyField, closure-free)"
     },
+    {
+      "id": "grid-keep-rows-together-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/grid-keep-rows-together-1.json",
+      "expectedFile": "nodes/grid-keep-rows-together-1.json",
+      "description": "Visualisation/Grid (Phase 1473 keepRowsTogether, the only new member)"
+    },
     {
       "id": "grid-paged",
       "kind": "node-round-trip",
@@ -1636,6 +2074,14 @@
       "expectedFile": "nodes/grid-reorderable.json",
       "description": "Visualisation/Grid (Phase 934 — declarative row reorder: omit-when-false flag; edits and reorders share one destination)"
     },
+    {
+      "id": "grid-repeat-header-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/grid-repeat-header-1.json",
+      "expectedFile": "nodes/grid-repeat-header-1.json",
+      "description": "Visualisation/Grid (Phase 1473 repeatHeader, the only new member)"
+    },
     {
       "id": "grid-sort-state-key",
       "kind": "node-round-trip",
@@ -1748,6 +2194,14 @@
       "expectedFile": "nodes/limit-node-depth-at-max.json",
       "description": "§21 max node depth — a tree at EXACTLY the limit (24 levels). Rule 1: every conformant host MUST decode this; refusing it is non-conformance, not conservatism"
     },
+    {
+      "id": "limit-tree-item-depth-at-max",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/limit-tree-item-depth-at-max.json",
+      "expectedFile": "nodes/limit-tree-item-depth-at-max.json",
+      "description": "§21.5 the tree-item axis — a tree nesting rows at EXACTLY the limit (24 levels) inside ONE node. Rule 1: every conformant host MUST decode this. Its past-the-bound twin is `reject-limit-tree-item-depth`"
+    },
     {
       "id": "link-1",
       "kind": "node-round-trip",
@@ -1852,6 +2306,14 @@
       "expectedFile": "nodes/media-audio-1.json",
       "description": "Display/Media (Phase 1076 — the Audio variant, whose payload is the discriminator alone)"
     },
+    {
+      "id": "media-audio-transcript-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-audio-transcript-1.json",
+      "expectedFile": "nodes/media-audio-transcript-1.json",
+      "description": "Display/Media (Phase 1110 — the audio transcript floor)"
+    },
     {
       "id": "media-video-1",
       "kind": "node-round-trip",
@@ -1868,6 +2330,14 @@
       "expectedFile": "nodes/media-video-autoplay-1.json",
       "description": "Display/Media (Phase 1076 — autoplay declared, both shared bools off-default)"
     },
+    {
+      "id": "media-video-captions-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-video-captions-1.json",
+      "expectedFile": "nodes/media-video-captions-1.json",
+      "description": "Display/Media (Phase 1110 — one captions track, elected default)"
+    },
     {
       "id": "media-video-poster-1",
       "kind": "node-round-trip",
@@ -1876,6 +2346,14 @@
       "expectedFile": "nodes/media-video-poster-1.json",
       "description": "Display/Media (Phase 1076 — video with a poster frame in the case payload)"
     },
+    {
+      "id": "media-video-tracks-2",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-video-tracks-2.json",
+      "expectedFile": "nodes/media-video-tracks-2.json",
+      "description": "Display/Media (Phase 1110 — three tracks, authored order, two default elections)"
+    },
     {
       "id": "metric-1",
       "kind": "node-round-trip",
@@ -1900,6 +2378,14 @@
       "expectedFile": "nodes/metric-float-17sig.json",
       "description": "Display/Metric (float divergence-zone — 17 significant digits)"
     },
+    {
+      "id": "metric-float-1e17",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/metric-float-1e17.json",
+      "expectedFile": "nodes/metric-float-1e17.json",
+      "description": "Display/Metric (§2 rule 5 — 1e17, one past the fixed-point window)"
+    },
     {
       "id": "metric-float-bigint",
       "kind": "node-round-trip",
@@ -1980,6 +2466,22 @@
       "expectedFile": "nodes/multiselect-1.json",
       "description": "Input/Select (multi-select — list value)"
     },
+    {
+      "id": "multiselect-chip-list-param",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/multiselect-chip-list-param.json",
+      "expectedFile": "nodes/multiselect-chip-list-param.json",
+      "description": "Layout/Box (Phase 610 — multi-select chip + DataGrid scoped by a list-valued in/param)"
+    },
+    {
+      "id": "node-visible",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/node-visible.json",
+      "expectedFile": "nodes/node-visible.json",
+      "description": "Node envelope (Phase 1535 — visible: removal from flow, three predicate spellings, beside an aria-hidden sibling)"
+    },
     {
       "id": "now-environment-binding",
       "kind": "node-round-trip",
@@ -1988,6 +2490,30 @@
       "expectedFile": "nodes/now-environment-binding.json",
       "description": "Binding/Now (Phase 765 — the host-furnished instant: a text slot + a Transform param feeding dateDiffDays)"
     },
+    {
+      "id": "now-grain",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/now-grain.json",
+      "expectedFile": "nodes/now-grain.json",
+      "description": "Binding/Now (Phase 1533 — the declared grain: minute/hour/day text slots + a Day-grain Transform param)"
+    },
+    {
+      "id": "popover-anchored-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/popover-anchored-1.json",
+      "expectedFile": "nodes/popover-anchored-1.json",
+      "description": "Layout/Modal (Phase 1119 — Popover modality, anchored, state-bound open)"
+    },
+    {
+      "id": "popover-open-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/popover-open-1.json",
+      "expectedFile": "nodes/popover-open-1.json",
+      "description": "Layout/Modal (Phase 1119 — Popover, statically open: the SSR floor)"
+    },
     {
       "id": "progress-1",
       "kind": "node-round-trip",
@@ -2084,6 +2610,22 @@
       "expectedFile": "nodes/step-1.json",
       "description": "Layout/Stepper"
     },
+    {
+      "id": "style-direction-isolated-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/style-direction-isolated-1.json",
+      "expectedFile": "nodes/style-direction-isolated-1.json",
+      "description": "Layout/Box (Phase 1472 an Ltr value isolated inside Rtl prose)"
+    },
+    {
+      "id": "style-direction-ltr-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/style-direction-ltr-1.json",
+      "expectedFile": "nodes/style-direction-ltr-1.json",
+      "description": "Display/Markdown (Phase 1472 Direction=Ltr, the only style member)"
+    },
     {
       "id": "style-role-voice-1",
       "kind": "node-round-trip",
@@ -2108,6 +2650,14 @@
       "expectedFile": "nodes/switch-1.json",
       "description": "Switch (view state → details/summary cases + info default)"
     },
+    {
+      "id": "switch-carousel-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/switch-carousel-1.json",
+      "expectedFile": "nodes/switch-carousel-1.json",
+      "description": "Meta/Switch (Phase 1122 — an auto-advancing carousel: `autoAdvanceMs` over an index key)"
+    },
     {
       "id": "switch-on-selection",
       "kind": "node-round-trip",
@@ -2116,6 +2666,30 @@
       "expectedFile": "nodes/switch-on-selection.json",
       "description": "Meta/Switch (Phase 768 — the selector widened: `on` takes a Selection, the branch follows the clicked row)"
     },
+    {
+      "id": "switch-on-transform-scalar",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/switch-on-transform-scalar.json",
+      "expectedFile": "nodes/switch-on-transform-scalar.json",
+      "description": "Meta/Switch (Phase 1535 — a computed selector: a Transform yielding one cell, read through the scalar path)"
+    },
+    {
+      "id": "switch-predicate",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/switch-predicate.json",
+      "expectedFile": "nodes/switch-predicate.json",
+      "description": "Meta/Switch (Phase 1535 — predicate cases: a State bool and an Expr, MIXED with a match case in one ordered list)"
+    },
+    {
+      "id": "switch-predicate-only",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/switch-predicate-only.json",
+      "expectedFile": "nodes/switch-predicate-only.json",
+      "description": "Meta/Switch (Phase 1535 — selected entirely by predicate: no selector, nothing to write)"
+    },
     {
       "id": "table-1",
       "kind": "node-round-trip",
@@ -2157,13 +2731,109 @@
       "description": "Display/Toast (Success tone, open)"
     },
     {
-      "id": "upload-1",
+      "id": "tooltip-button-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/tooltip-button-1.json",
+      "expectedFile": "nodes/tooltip-button-1.json",
+      "description": "Tooltip (Phase 1112 — the trait on a forwarding interactive kind; the description rides the button)"
+    },
+    {
+      "id": "tooltip-icon-button-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/tooltip-icon-button-1.json",
+      "expectedFile": "nodes/tooltip-icon-button-1.json",
+      "description": "Tooltip (Phase 1112 — the icon-only button: accessibility.label NAMES, tooltip DESCRIBES, describedBy merges)"
+    },
+    {
+      "id": "tooltip-metric-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/tooltip-metric-1.json",
+      "expectedFile": "nodes/tooltip-metric-1.json",
+      "description": "Tooltip (Phase 1112 — the trait on a display kind, I18n hint; description and focus stop on the wrapper)"
+    },
+    {
+      "id": "transfer-board",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/transfer-board.json",
+      "expectedFile": "nodes/transfer-board.json",
+      "description": "Layout/Box (Phase 1123 — cross-container transfer: two two-way columns and a one-way archive on one shared key)"
+    },
+    {
+      "id": "tree-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/tree-1.json",
+      "expectedFile": "nodes/tree-1.json",
+      "description": "Display/Tree (Phase 1120 — two levels, no State key: static and fully expanded)"
+    },
+    {
+      "id": "tree-expanded-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/tree-expanded-1.json",
+      "expectedFile": "nodes/tree-expanded-1.json",
+      "description": "Display/Tree (Phase 1120 — three levels, the expansion key named; the key IS the affordance)"
+    },
+    {
+      "id": "tree-selection-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/tree-selection-1.json",
+      "expectedFile": "nodes/tree-selection-1.json",
+      "description": "Display/Tree (Phase 1120 — the selection key AND the handler, both declared)"
+    },
+    {
+      "id": "upload-1",
       "kind": "node-round-trip",
       "decoder": "node",
       "inputFile": "nodes/upload-1.json",
       "expectedFile": "nodes/upload-1.json",
       "description": "Input/FileUpload"
     },
+    {
+      "id": "upload-capture-camera-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/upload-capture-camera-1.json",
+      "expectedFile": "nodes/upload-capture-camera-1.json",
+      "description": "Input/FileUpload (Phase 1116 — camera capture, image/* filtered)"
+    },
+    {
+      "id": "upload-capture-microphone-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/upload-capture-microphone-1.json",
+      "expectedFile": "nodes/upload-capture-microphone-1.json",
+      "description": "Input/FileUpload (Phase 1116 — microphone capture, audio/* filtered)"
+    },
+    {
+      "id": "upload-destination-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/upload-destination-1.json",
+      "expectedFile": "nodes/upload-destination-1.json",
+      "description": "Input/FileUpload (Phase 1117 — streamed to a registered destination)"
+    },
+    {
+      "id": "upload-drop-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/upload-drop-1.json",
+      "expectedFile": "nodes/upload-drop-1.json",
+      "description": "Input/FileUpload (Phase 1115 — drop target; acceptPaste OMITTED)"
+    },
+    {
+      "id": "upload-paste-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/upload-paste-1.json",
+      "expectedFile": "nodes/upload-paste-1.json",
+      "description": "Input/FileUpload (Phase 1115 — paste ingestion, image/* filtered; dropTarget OMITTED)"
+    },
     {
       "id": "op-batch",
       "kind": "op-round-trip",
@@ -2340,6 +3010,14 @@
       "expectedFile": "ops/op-updatestyle (phase 147 role=eyebrow + voice=structural).json",
       "description": "UpdateStyle (Phase 147 Role=Eyebrow + Voice=Structural)"
     },
+    {
+      "id": "op-updatestyle (phase 1472 direction=ltr, the only style member)",
+      "kind": "op-round-trip",
+      "decoder": "op",
+      "inputFile": "ops/op-updatestyle (phase 1472 direction=ltr, the only style member).json",
+      "expectedFile": "ops/op-updatestyle (phase 1472 direction=ltr, the only style member).json",
+      "description": "UpdateStyle (Phase 1472 Direction=Ltr, the only style member)"
+    },
     {
       "id": "reject-a11y-hidden-nonbool",
       "kind": "reject",
@@ -2394,6 +3072,15 @@
       "expectedPath": "$.accessibility.role",
       "description": "accessibility.role not a JSON string — the slot is open to any role NAME, not to any value (Phase 955)"
     },
+    {
+      "id": "reject-action-print-with-payload",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-action-print-with-payload.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.onClick.pageRange",
+      "description": "Print carrying a member — the payload-free action takes none; page range, size, margins and copies are the host's page setup and the reader's dialogue, so a member here is refused rather than dropped (Phase 1124)"
+    },
     {
       "id": "reject-binding-float-bool",
       "kind": "reject",
@@ -2421,6 +3108,15 @@
       "expectedPath": "$.kind.value",
       "description": "Binding<float> Static payload is a non-sentinel string — §7's float accept set is JSON number plus exactly \"NaN\" / \"Infinity\" / \"-Infinity\" (Phase 1064)"
     },
+    {
+      "id": "reject-binding-floatseq-sentinel-case",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-binding-floatseq-sentinel-case.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.source",
+      "description": "Binding<float seq> ELEMENT is a MIS-CASED sentinel (\"nan\") — the sequence twin of reject-binding-float-sentinel-case: §7's three tokens are exact at an element too, so a host that routes elements through a looser reader than its scalar slots is caught (Phase 1099)"
+    },
     {
       "id": "reject-binding-int-bool",
       "kind": "reject",
@@ -2448,6 +3144,69 @@
       "expectedPath": "$.kind.layout.cols",
       "description": "Masonry cols 0 — refused: a column count names how many columns the children fill, so a non-positive one describes a layout no renderer can realise. Refused rather than canonicalised to `Auto`, unlike a column-less `Grid`: that leniency works because `Auto` already means the browser's own choice, and masonry has no such case for the rewrite to land on"
     },
+    {
+      "id": "reject-chart-annotation-date-unparseable",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-chart-annotation-date-unparseable.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.annotations[0].at.iso",
+      "description": "chart event marker addressing a date that names no calendar day — the address is what the marker is drawn at, and an unreadable one would place it at 1970-01-01 and drag the axis back with it (Phase 1491)"
+    },
+    {
+      "id": "reject-chart-annotation-nonfinite",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-chart-annotation-nonfinite.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.annotations[0].value",
+      "description": "chart annotation carrying the §7 NaN sentinel — the value slot is narrowed to the finite numbers (Phase 1490)"
+    },
+    {
+      "id": "reject-chart-annotation-range-unordered",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-chart-annotation-range-unordered.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.annotations[0].range",
+      "description": "chart range band whose pair runs from its upper value to its lower one — a band names an interval, and swapping the ends silently would draw one the author did not describe (Phase 1492)"
+    },
+    {
+      "id": "reject-color-value-not-hex",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-color-value-not-hex.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.value",
+      "description": "a Color `value` of `\"rebeccapurple\"` — refused rather than coerced. `#rrggbb` is the one shape a native colour input can hold, so a literal outside it names a colour this control could never carry, and a host that narrowed it would show a colour the document did not choose. Only the STATIC case is judged, because it is the only text a decoder has: a bound value is re-checked by the pre-emit validator for an author and by the server-side submission floor for a client, which is one rule checked wherever the value becomes visible"
+    },
+    {
+      "id": "reject-combobox-allowfreetext-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-combobox-allowfreetext-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.allowFreeText",
+      "description": "a Combobox `allowFreeText` of `\"yes\"` — refused rather than coerced. The slot decides whether values OUTSIDE the option set are admitted, so a lenient truthiness read is a constraint silently relaxed by a string: `\"yes\"`, `\"no\"` and `\"false\"` are all non-empty, and a host that coerced them would widen the field on two of the three. It also omits at `false`, so absence already spells the safe answer and a wrong-typed present value can only mean the emitter meant something it did not say"
+    },
+    {
+      "id": "reject-confirm-missing-onconfirm",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-confirm-missing-onconfirm.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.onClick",
+      "description": "Confirm with no 'onConfirm' — a question with no answer. The other two members are absent-legal (`onCancel`) or shorthand-legal (`prompt` as a bare string), so this vector is what keeps an emitter from generalising 'optional' across the case (Phase 1537)"
+    },
+    {
+      "id": "reject-confirm-nested",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-confirm-nested.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.onClick.onConfirm.ops[1]",
+      "description": "A Confirm inside a Confirm's continuation, reached through a Chain — confirmation is bounded at one question, and the check walks the DECODED continuation so a chain cannot hide the nesting (Phase 1537)"
+    },
     {
       "id": "reject-daterange-unordered",
       "kind": "reject",
@@ -2457,6 +3216,33 @@
       "expectedPath": "$.kind.fields[0].kind.value",
       "description": "DateRange literal pair with start after end — the ordered-pair rule (Phase 725)"
     },
+    {
+      "id": "reject-embed-missing-title",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-embed-missing-title.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.title",
+      "description": "Embed with no `title` — refused. The accessible name is mandatory because a browsing context has no decorative case, and there is no value to default to that would not be a fabricated description of someone else's page"
+    },
+    {
+      "id": "reject-embed-permission-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-embed-permission-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.permissions[0]",
+      "description": "an Embed permission of `true` — refused rather than coerced. A host that read a bare boolean as a granted permission would have to invent which one it names, and every answer is a relaxation the document never spelled"
+    },
+    {
+      "id": "reject-embed-unknown-permission",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-embed-unknown-permission.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.permissions[0]",
+      "description": "EmbedPermission 'allow-top-navigation' — refused. The set is closed at four, and top-level navigation is excluded by design rather than reserved; the path carries the array index and no `.$type`, because the slot holds bare enum strings"
+    },
     {
       "id": "reject-emptynodeid",
       "kind": "reject",
@@ -2466,6 +3252,24 @@
       "expectedPath": "$.id",
       "description": "Empty top-level id"
     },
+    {
+      "id": "reject-expr-col-reference",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-expr-col-reference.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.text.binding.expr",
+      "description": "a `col` reference inside a Binding.Expr — an Expr evaluates against its params alone and has no row for a column name to read, so the reference can never resolve. The remedy is a different BINDING, not a different spelling: Binding.Transform supplies the frame `col` reads from. Refused at decode rather than left to fail once per render on every host (Phase 1534)"
+    },
+    {
+      "id": "reject-expr-unbound-param",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-expr-unbound-param.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.text.binding.expr",
+      "description": "a Binding.Expr whose expression reads `param quantity` while its own `params` binds only `unitPrice`. Unlike Binding.Transform — where an unbound filter param prunes its step, the deliberate unset-chip leniency — an Expr has no step to prune and no rows to fall back on, so the reference has no value it could ever take. Refused at decode, where the missing name can be named (Phase 1534)"
+    },
     {
       "id": "reject-fieldrule-empty",
       "kind": "reject",
@@ -2520,6 +3324,24 @@
       "expectedPath": "$.kind.srcSet",
       "description": "Image srcSet `null` — refused. Absent means the EMPTY LIST (the missing-list-field decode class); a present null is a second spelling for an absence that already has one, and admitting it would let two hosts disagree about the canonical bytes of the same document"
     },
+    {
+      "id": "reject-int-slot-fractional",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-int-slot-fractional.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.rows",
+      "description": "§7.1 — a fractional value at an integer slot. Three hosts TRUNCATED it to 2, discarding the author's value at a slot the author typed; two refused it. §7.1 refuses, and accepts `2.0` (see the lenient twin). Twin: the `skel-1` node fixture"
+    },
+    {
+      "id": "reject-int-slot-out-of-range",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-int-slot-out-of-range.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.rows",
+      "description": "§7.1 — a value outside the 32-bit range an integer slot can hold. The cast was implementation-defined: the same bytes became Int32.MinValue on one runtime and 1410065408 on another, which is §20's defect one layer above the syntax. Twin: the `skel-1` node fixture"
+    },
     {
       "id": "reject-invalid-empty",
       "kind": "reject",
@@ -2547,6 +3369,114 @@
       "expectedPath": "$",
       "description": "truncated object"
     },
+    {
+      "id": "reject-json-bare-nan",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-bare-nan.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 4 — a bare `NaN` literal. RFC 8259 forbids it as a bare token and §7's QUOTED sentinels are the specified representation, which row 8 accepts unchanged; one host accepted the bare form and re-emitted it. Twin: the `markdown-1` node fixture (drop the trailing member)"
+    },
+    {
+      "id": "reject-json-duplicate-key",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-duplicate-key.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 1 — a repeated object member. THE row that changes what a document MEANS rather than whether it is accepted: this host kept the first occurrence and every other host the last, so a vetting host and a rendering host saw different trees from identical bytes with no error anywhere. Twin: the `markdown-1` node fixture (drop the second `id`)"
+    },
+    {
+      "id": "reject-json-lone-high-surrogate",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-lone-high-surrogate.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 6 — an unpaired HIGH surrogate. The second row that changes MEANING silently: two hosts lowered it to U+FFFD, two kept it in a UTF-16 string, and one kept it and then raised an uncatchable encoding error at the first canonical-bytes boundary rather than at decode. Twin: the `markdown-1` node fixture (drop the escape)"
+    },
+    {
+      "id": "reject-json-lone-low-surrogate",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-lone-low-surrogate.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 6 — an unpaired LOW surrogate. Pinned separately from its high twin because a pairing check written as \"a high must be followed by a low\" passes this vector while leaving the class open. Twin: the `markdown-1` node fixture (drop the escape)"
+    },
+    {
+      "id": "reject-json-number-empty-exponent",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-number-empty-exponent.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 3 — an exponent marker with no digits. Twin: the `skel-1` node fixture (drop the `e`)"
+    },
+    {
+      "id": "reject-json-number-leading-plus",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-number-leading-plus.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 3 — a leading `+` on a number. RFC 8259 does not permit it; three hosts accepted it because they reached a platform number parser without checking the grammar first. Twin: the `skel-1` node fixture (drop the `+`)"
+    },
+    {
+      "id": "reject-json-number-leading-zero",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-number-leading-zero.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 3 — a leading zero. RFC 8259's `int` production is `0` or a non-zero digit followed by digits. Twin: the `skel-1` node fixture (drop the leading zero)"
+    },
+    {
+      "id": "reject-json-number-no-integer-part",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-number-no-integer-part.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 3 — a number with no integer part. Refused as a GRAMMAR violation before the slot's type is ever consulted, which is why the vector sits at a slot that would refuse a number anyway: the point is that `.5` is not a number at all. Twin: the `markdown-1` node fixture (drop the trailing member)"
+    },
+    {
+      "id": "reject-json-number-trailing-point",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-number-trailing-point.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 3 — a decimal point with no fractional digits. Twin: the `skel-1` node fixture (drop the point)"
+    },
+    {
+      "id": "reject-json-raw-control-char",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-raw-control-char.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 5 — a RAW U+0009 inside a string. RFC 8259 requires a C0 control character to be escaped and §2 rule 6 requires a conformant encoder to escape it, so accepting the raw byte admits input this host's own encoder cannot produce. The escaped spelling stays legal. Twin: the `markdown-1` node fixture (the tab escaped, or a space)"
+    },
+    {
+      "id": "reject-json-surrogate-pair-split",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-surrogate-pair-split.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 6 — both halves of a pair present but separated. A host that counts surrogates rather than pairing them adjacently accepts this and reassembles a scalar the author never wrote. Twin: the `markdown-1` node fixture"
+    },
+    {
+      "id": "reject-json-trailing-content",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-json-trailing-content.json",
+      "expectedErrorCode": "INVALID_JSON",
+      "expectedPath": "$",
+      "description": "§20.2 row 2 — content after the root value. §1 makes a wire artefact a single JSON document; two hosts refused this and three accepted it, which is a framing ambiguity rather than a tolerance. Twin: the `markdown-1` node fixture (drop everything after the root object)"
+    },
     {
       "id": "reject-limit-json-depth",
       "kind": "reject",
@@ -2583,6 +3513,33 @@
       "expectedPath": "$",
       "description": "§21.5 the op axis — 25 nested TreeOp.Batch. Counted separately from the node axis; the syntactic bound only LOOKS like cover for it"
     },
+    {
+      "id": "reject-limit-tree-item-depth",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-limit-tree-item-depth.json",
+      "expectedErrorCode": "LIMIT_EXCEEDED",
+      "expectedPath": "$.kind.items[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0].children[0]",
+      "description": "§21.5 the tree-item axis — 25 nested TreeItem rows inside ONE node. Counted separately from the node axis, which cannot see it at all (the whole hierarchy is one node) and from the syntactic bound, which at ~50 levels is nowhere near reached. The `TreeOp.Batch` lesson on a third axis"
+    },
+    {
+      "id": "reject-local-codec-no-inverse",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-local-codec-no-inverse.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.value.codec",
+      "description": "a Binding.Local declaring a `Currency` codec. `Binding.Format` carries a LocaleSource because it renders for reading; a Local codec carries none, because whatever it renders it must be able to parse back from the reader's keystrokes — and a currency symbol, a locale decimal mark and a grouping separator are all chosen by the reader's locale, not by the document. `Number` is the one case with a total, locale-independent inverse. Refused at decode rather than left to format one way and parse another (Fuaran-UI Phase 1538)"
+    },
+    {
+      "id": "reject-local-oncommit-and-committo",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-local-oncommit-and-committo.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.value.commitTo",
+      "description": "a Binding.Local carrying BOTH an `onCommit` closure sentinel and a declared `commitTo` key. The SetState value/valueFrom law, applied to the buffer's flush: exactly one commit destination. A decoding host can honour only the declared one — the closure is `\"<closure>\"` and nothing more — so admitting the pair would make the same bytes commit to two different places depending on who read them (Fuaran-UI Phase 1538)"
+    },
     {
       "id": "reject-media-autoplay-nonbool",
       "kind": "reject",
@@ -2601,6 +3558,24 @@
       "expectedPath": "$.kind.label",
       "description": "Media with no `label` — refused. The accessible name is mandatory because a transport has no decorative case, and there is no value to default to that would not be a fabricated name for someone else's recording"
     },
+    {
+      "id": "reject-media-track-default-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-media-track-default-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.tracks[0].default",
+      "description": "a track `default` of `\"true\"` — the stringified boolean, refused rather than coerced. Two hosts ruling differently on truthiness would disagree about which caption track opens, which is a difference the reader meets on the first frame"
+    },
+    {
+      "id": "reject-media-track-missing-srclang",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-media-track-missing-srclang.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.tracks[0].srcLang",
+      "description": "a text track with no `srcLang` — refused. The language tag is what orders a track menu, drives pronunciation and tells two same-labelled tracks apart; there is no value to default to that would not be an invented claim about someone else's recording. The path carries the ARRAY INDEX, so a document with four tracks names the one at fault"
+    },
     {
       "id": "reject-missing-binding-type",
       "kind": "reject",
@@ -2691,6 +3666,33 @@
       "expectedPath": "$.kind.stateKey",
       "description": "Switch missing stateKey"
     },
+    {
+      "id": "reject-modal-modality-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-modal-modality-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.modality",
+      "description": "a Modal `modality` of `3` — a separate decoder arm from the unknown-string vector above, and vectored separately for that reason. An ordinal is the shape a host generating from an enum's index is likeliest to emit, and reading one would make the wire's meaning depend on a declaration order the wire never carries"
+    },
+    {
+      "id": "reject-modal-modality-unknown",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-modal-modality-unknown.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.modality",
+      "description": "a Modal `modality` of `\"Sheet\"` — outside the closed pair `Modal | Popover`. A sheet, a drawer and a menu are all PRESENTATIONS of one of the two modalities rather than a third one, so the answer to this document is not to widen the enum but to say which of the two it meant. The path is the bare slot, per §6 and the Phase 1073 ruling: a bare enum carries no discriminator on the wire, so there is no `.$type` to name"
+    },
+    {
+      "id": "reject-navigate-target-invalid",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-navigate-target-invalid.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.onClick.target",
+      "description": "Action.Navigate's target is the closed enum Self | Blank, not HTML's target attribute. `_blank` is refused rather than aliased: the vocabulary it comes from also contains `_parent` and `_top`, which are frame-busting gestures a hosted tree must not be able to ask for, so accepting any of it would teach an emitter the wrong vocabulary (Phase 1536)"
+    },
     {
       "id": "reject-nearmiss-a11y-aria-hidden",
       "kind": "reject",
@@ -2763,6 +3765,15 @@
       "expectedPath": "$.kind.sortable",
       "description": "grid-level 'sortable' — the staticRows spelling reached for on the bound path, where sortability is sortStateKey + per-column narrowing (Phase 863)"
     },
+    {
+      "id": "reject-now-grain-invalid",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-now-grain-invalid.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.value.binding.grain",
+      "description": "Binding.Now's grain is Second | Minute | Hour | Day — `Week` is a RelativeTimeUnit member and not a TimeGrain one. The two vocabularies are deliberately different sizes: a grain truncates a calendar instant, and a week, a month and a year have no truncation every host agrees on. A host that accepted this and rendered at day grain would be answering a question the document did not ask (Phase 1533)"
+    },
     {
       "id": "reject-null-action-aitool-args",
       "kind": "reject",
@@ -2889,6 +3900,33 @@
       "expectedPath": "$.path",
       "description": "UpdateProp missing path"
     },
+    {
+      "id": "reject-op-updatestyle-direction-nonstring",
+      "kind": "reject",
+      "decoder": "op",
+      "inputFile": "reject/reject-op-updatestyle-direction-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.style.direction",
+      "description": "UpdateStyle style.direction not a JSON string (Phase 1472)"
+    },
+    {
+      "id": "reject-op-updatestyle-direction-unknown",
+      "kind": "reject",
+      "decoder": "op",
+      "inputFile": "reject/reject-op-updatestyle-direction-unknown.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.style.direction",
+      "description": "UpdateStyle style.direction outside the closed set — the op arm's twin of the node vector above (Phase 1472)"
+    },
+    {
+      "id": "reject-rating-max-zero",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-rating-max-zero.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.max",
+      "description": "a Rating `max` of `0` — refused rather than clamped. This is not a control with a bad number in it: a scale with no positions has nothing to draw, no `aria-valuemax` to announce and no keystroke that could change anything, so the document names a control that cannot exist. Note the asymmetry this vector pins: the SCALE is refused here and the VALUE is not, because a bound value is invisible to a decoder and a rule enforced only on literals would be two rules wearing one name"
+    },
     {
       "id": "reject-setstate-value-and-valuefrom",
       "kind": "reject",
@@ -2898,6 +3936,96 @@
       "expectedPath": "$.kind.onClick.valueFrom",
       "description": "SetState carrying BOTH 'value' and 'valueFrom' — exactly one is allowed; the didactic names both fields and how each is used (Phase 818)"
     },
+    {
+      "id": "reject-spark-element-nonnumeric",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-spark-element-nonnumeric.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.source",
+      "description": "A Sparkline series element of \"lots\" — a typed float SEQUENCE slot types its ELEMENTS, not just the binding. spark-nonfinite-sentinel proves the §7 sentinels are accepted, which an entirely untyped slot also does by never reading an element, so this is the vector that separates the two (Phase 1099)"
+    },
+    {
+      "id": "reject-style-direction-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-style-direction-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.style.direction",
+      "description": "style.direction not a JSON string (Phase 1472)"
+    },
+    {
+      "id": "reject-style-direction-unknown",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-style-direction-unknown.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.style.direction",
+      "description": "style.direction outside the closed set — the message names auto | ltr | rtl, and the near miss is the upper-case spelling (Phase 1472)"
+    },
+    {
+      "id": "reject-switch-autoadvance-fractional",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-switch-autoadvance-fractional.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.autoAdvanceMs",
+      "description": "Switch autoAdvanceMs is fractional — the slot is an integer count of milliseconds, and a decoder truncating where another rounded would leave two hosts disagreeing about a document neither refused (Phase 1122)"
+    },
+    {
+      "id": "reject-switch-autoadvance-negative",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-switch-autoadvance-negative.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.autoAdvanceMs",
+      "description": "Switch autoAdvanceMs is negative — an interval names how long to wait, so a negative one describes a schedule no renderer can realise (Phase 1122)"
+    },
+    {
+      "id": "reject-switch-autoadvance-zero",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-switch-autoadvance-zero.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.autoAdvanceMs",
+      "description": "Switch autoAdvanceMs is 0 — refused, never canonicalised to absence. An absent key is already the only spelling of \"does not advance\", so accepting a zero would make two shapes mean one thing and hide the emitter's misreading of the slot (Phase 1122)"
+    },
+    {
+      "id": "reject-switch-case-match-and-when",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-switch-case-match-and-when.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.cases[0].when",
+      "description": "a Switch case carrying both `match` and `when` — the two ways of selecting a case, in one case. `match` compares the switch's `on` selector against a literal; `when` evaluates a Binding<bool> and consults no selector at all. Refused rather than resolved by precedence: a precedence rule would need specifying, agreeing on five hosts and remembering, for a document nobody meant to write (Phase 1535)"
+    },
+    {
+      "id": "reject-switch-case-neither",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-switch-case-neither.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.cases[0].match",
+      "description": "a Switch case carrying neither `match` nor `when` — no condition, so no rendering could be right. Refused at decode rather than skipped silently at render: skipping it renders the `default` and reports nothing, which is the exact class of silence this phase's finding was filed about. The message names both fields, so the author is told which two spellings exist (Phase 1535)"
+    },
+    {
+      "id": "reject-tokens-closed-without-suggestions",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-tokens-closed-without-suggestions.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.allowFreeText",
+      "description": "a Tokens field admitting no free text and declaring NO suggestion source — refused. No gesture could ever put a token into it: this is not a control with a bad value in it but a document naming a control that cannot exist, the same line `Rating`'s `max` of zero is refused on. Note the polarity that makes the refusal fair rather than hostile: `allowFreeText` omits at TRUE on this case (unlike `Combobox`, whose option source is required), so the shortest document `{\"$type\":\"Tokens\"}` is the plain open token box and passes — only an emitter that wrote `false` and then omitted the suggestions lands here. Note also what is NOT refused anywhere: duplicate tokens and membership of a token in the suggestion set are properties of the VALUE, invisible to a decoder whenever the slot is bound, and are held by the pre-emit validator and the server-side submission floor instead"
+    },
+    {
+      "id": "reject-tokens-value-not-list",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-tokens-value-not-list.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].kind.value",
+      "description": "a Tokens `value` carrying a bare STRING where the slot is a `Binding<string list>` — refused rather than lifted into a one-element list. The lift is the tempting coercion and it is exactly wrong: a document saying `\"urgent\"` where the wire says a list has a misunderstanding of the slot, and silently agreeing with it would let an emitter ship a token field that can only ever hold one token while every host round-tripped it perfectly"
+    },
     {
       "id": "reject-tonedpill-unknown-tone",
       "kind": "reject",
@@ -2907,6 +4035,42 @@
       "expectedPath": "$.kind.columns[0].kind.map.Delayed",
       "description": "TonedPill tone-map value outside ToneVariant — the message names the seven legal tones (Phase 750)"
     },
+    {
+      "id": "reject-tooltip-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-tooltip-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.tooltip",
+      "description": "a node `tooltip` of `42` — refused rather than stringified. A bare STRING at this slot is the canonical encoding of a literal hint (TextSource's transparent case), so a number is one lenient `toString` away from minting hint text out of a JSON type — which no downstream check could ever catch"
+    },
+    {
+      "id": "reject-tree-item-missing-id",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-tree-item-missing-id.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.items[0].id",
+      "description": "a Tree row with no `id` — refused. Both State keys address rows BY id, so an id-less row can never be expanded, selected or restored; a synthesised positional id would move the reader's open branches the moment a sibling was inserted"
+    },
+    {
+      "id": "reject-tree-item-missing-label",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-tree-item-missing-label.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.items[0].label",
+      "description": "a Tree row with no `label` — refused. A row's label is the only thing a reader walking the hierarchy has, and there is no value to default to that would not be an invented description of somebody's content"
+    },
+    {
+      "id": "reject-tree-nested-item-missing-id",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-tree-nested-item-missing-id.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "expectedPath": "$.kind.items[0].children[0].id",
+      "description": "a NESTED Tree row with no `id` — refused, and the path names the row inside the hierarchy. A host whose child walker is looser than its root walker accepts this while passing every top-level case"
+    },
     {
       "id": "reject-unknown-binding",
       "kind": "reject",
@@ -2916,6 +4080,15 @@
       "expectedPath": "$.kind.value.$type",
       "description": "Binding $type 'Bogus'"
     },
+    {
+      "id": "reject-unknown-capture-source",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-unknown-capture-source.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.capture",
+      "description": "a FileUpload `capture` of `\"Screen\"` — outside the closed pair `Camera | Microphone`. The HTML capture attribute cannot ask for a display at all, and a screen capture is a standing grant reaching every window the reader has open rather than a third device behind the same picker permission, so it is refused exactly like a name nobody has proposed: a later admission would be an ADDITION, never a re-meaning of shipped bytes"
+    },
     {
       "id": "reject-unknown-drawing-curve-command",
       "kind": "reject",
@@ -3006,6 +4179,33 @@
       "expectedPath": "$.kind.trendPolarity",
       "description": "TrendPolarity value 'Neutral' — RESERVED, not admitted (§3.6.1 clause 5); refused exactly like a name nobody has proposed, so a later admission is an ADDITION rather than a re-meaning of shipped bytes"
     },
+    {
+      "id": "reject-upload-acceptpaste-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-upload-acceptpaste-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.acceptPaste",
+      "description": "a FileUpload `acceptPaste` of `1` — the second gesture slot, refused on the same reasoning and vectored separately because it is a separate decoder arm. A number is the shape a truthiness coercion is likeliest to admit, which is why this vector carries one where its `dropTarget` twin carries a string"
+    },
+    {
+      "id": "reject-upload-destination-empty",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-upload-destination-empty.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.destination",
+      "description": "a FileUpload `destination` of `\"\"` — refused rather than read as absence. The member names a host-registered destination and the empty string names none, so the document describes an upload that can never stream; reading it as \"no destination\" would silently turn a streaming upload into a client-only one, which is the one failure mode with no visible symptom"
+    },
+    {
+      "id": "reject-upload-droptarget-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-upload-droptarget-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.dropTarget",
+      "description": "a FileUpload `dropTarget` of `\"true\"` — refused rather than coerced. The slot decides whether a whole INGRESS ROUTE exists, and it omits at `false`, so absence already spells the plain picker: a present wrong-typed value can only mean the emitter meant something it did not say. A lenient truthiness read would open a drop target on `\"no\"` and `\"false\"` alike, and the reader would find out by dropping a file into a control that never listened for it"
+    },
     {
       "id": "reject-wrongnodekind-sparkler",
       "kind": "reject",
@@ -3024,6 +4224,15 @@
       "expectedPath": "$.kind.$type",
       "description": "Top-level kind 'Widget' is not a recognised node kind"
     },
+    {
+      "id": "reject-wrongtype-box-break-before",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-box-break-before.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.breakBefore",
+      "description": "Box breakBefore is the NUMBER 1, not a boolean — the truthy-integer spelling a JSON emitter reaches for, refused for the same reason as its sibling (Phase 1473)"
+    },
     {
       "id": "reject-wrongtype-box-children",
       "kind": "reject",
@@ -3033,6 +4242,24 @@
       "expectedPath": "$.kind.children",
       "description": "Box children is object not array"
     },
+    {
+      "id": "reject-wrongtype-box-keep-together",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-box-keep-together.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.keepTogether",
+      "description": "Box keepTogether is the STRING \"true\", not a boolean — the container arm of the print-break pair. Refused, never coerced: absence is the only spelling of \"not declared\" (Phase 1473)"
+    },
+    {
+      "id": "reject-wrongtype-clipboard-payload",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-clipboard-payload.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.onClick.text",
+      "description": "Action.WriteToClipboard's payload is a TextSource, so it is a string (the Literal shorthand) or a $type-tagged object — never a number. The refusal matters more here than at an ordinary text slot: the slot WIDENED in 1126 from a bare string, and a host that read the widening as \"anything goes\" would put a JSON literal on the reader's clipboard rather than refusing the document (Phase 1126)"
+    },
     {
       "id": "reject-wrongtype-discriminator",
       "kind": "reject",
@@ -3051,6 +4278,33 @@
       "expectedPath": "$.kind.defaultSort.column",
       "description": "bound-grid defaultSort column -1 — the same non-negative bound the staticRows spelling carries, same record, same message (Phase 861)"
     },
+    {
+      "id": "reject-wrongtype-grid-exportable",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-grid-exportable.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.exportable",
+      "description": "DataGrid exportable is the STRING \"true\", not a boolean — the shape a stringly-typed emitter produces. Refused, never coerced: coerced to false it would silently withdraw a declared affordance, coerced to true it would grow one the document never asked for (Phase 1125)"
+    },
+    {
+      "id": "reject-wrongtype-grid-exportable-number",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-grid-exportable-number.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.exportable",
+      "description": "DataGrid exportable is the NUMBER 1 — the truthy-integer spelling, pinned separately because a decoder can reject one non-boolean shape and accept another (Phase 1125)"
+    },
+    {
+      "id": "reject-wrongtype-grid-keep-rows-together",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-grid-keep-rows-together.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.keepRowsTogether",
+      "description": "DataGrid keepRowsTogether is a string — the GRID arm of the print-break pair, a decoder branch of its own that a container-arm vector says nothing about (Phase 1473)"
+    },
     {
       "id": "reject-wrongtype-grid-page-size-zero",
       "kind": "reject",
@@ -3060,6 +4314,33 @@
       "expectedPath": "$.kind.pageSize",
       "description": "grid pageSize 0 — a page of no rows names no page; the schema says the same with minimum:1 (Phase 862)"
     },
+    {
+      "id": "reject-wrongtype-grid-repeat-header",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-grid-repeat-header.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.repeatHeader",
+      "description": "DataGrid repeatHeader is an object, not a boolean — the fourth flag, read by its own call and so pinned on its own (Phase 1473)"
+    },
+    {
+      "id": "reject-wrongtype-grid-transfer-in-key",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-grid-transfer-in-key.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.transferInKey",
+      "description": "DataGrid transferInKey is a number — the slot names the shared State key a transfer travels on, so it is a key name and never an ordinal; a grid identified by position could not be paired with by any other grid (Phase 1123)"
+    },
+    {
+      "id": "reject-wrongtype-grid-transfer-out-key",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-wrongtype-grid-transfer-out-key.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.transferOutKey",
+      "description": "DataGrid transferOutKey is a boolean — the releasing side names a KEY, never declares a flag; there is deliberately no boolean spelling of \"this grid may release rows\", because a release with no key names no counterpart and would be an affordance with nowhere to go (Phase 1123)"
+    },
     {
       "id": "reject-wrongtype-heading-level",
       "kind": "reject",