@fuaran-ui/conformance 0.19.0 → 0.21.0

package/corpus/lenient/lenient-1521-int-slot-integral-float.expected.json

@@ -0,0 +1 @@
+{"id":"skel-1","kind":{"$type":"Skeleton","rows":3}}

package/corpus/lenient/lenient-1521-int-slot-integral-float.json

@@ -0,0 +1 @@
+{"id":"skel-1","kind":{"$type":"Skeleton","rows":3.0}}

package/corpus/lenient/lenient-1521-payload-integer-beyond-int53.expected.json

@@ -0,0 +1 @@
+{"id":"custom-int53","kind":{"$type":"Custom","componentId":"trend-card","moduleId":"analytics","props":{"beyond":9007199254740992,"boundary":9007199254740991}}}

package/corpus/lenient/lenient-1521-payload-integer-beyond-int53.json

@@ -0,0 +1 @@
+{"id":"custom-int53","kind":{"$type":"Custom","componentId":"trend-card","moduleId":"analytics","props":{"beyond":9007199254740993,"boundary":9007199254740991}}}

package/corpus/lenient/lenient-filterable-static-dashboard-compact.expected.json

@@ -1 +1 @@
-{"id":"filterable-static-dashboard","kind":{"$type":"Box","children":[{"id":"content-filters","kind":{"$type":"Filters","items":[{"kind":{"$type":"Choice","options":{"$type":"Static","value":[{"label":"EMEA","value":"emea"},{"label":"Americas","value":"amer"}]}},"label":"Region","name":"region"},{"kind":{"$type":"Choice","options":{"$type":"Static","value":[{"label":"Drama","value":"drama"},{"label":"Documentary","value":"docs"}]}},"label":"Genre","name":"genre"}]}},{"id":"retention-chart","kind":{"$type":"Chart","kind":"Line","source":{"$type":"Transform","params":[{"from":{"$type":"Filter","name":"region"},"name":"region"},{"from":{"$type":"Filter","name":"genre"},"name":"genre"}],"pipeline":[{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"region"},"op":"eq","right":{"$type":"param","name":"region"}}},{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"genre"},"op":"eq","right":{"$type":"param","name":"genre"}}}],"source":{"columns":{"genre":{"validity":[true,true],"values":["drama","docs"]},"month":{"validity":[true,true],"values":["jan","jan"]},"region":{"validity":[true,true],"values":["emea","amer"]},"retention":{"validity":[true,true],"values":[0.62,0.55]}},"schema":[{"name":"genre","type":"string"},{"name":"month","type":"string"},{"name":"region","type":"string"},{"name":"retention","type":"float"}]}},"stacked":false,"title":"Retention","xField":"month","yFields":["retention"]}},{"id":"episode-grid","kind":{"$type":"DataGrid","columns":[{"field":"month","kind":{"$type":"Text"},"label":"Month"},{"field":"retention","kind":{"$type":"Text"},"label":"Retention"}],"rowKeyField":"month","source":{"$type":"Transform","params":[{"from":{"$type":"Filter","name":"region"},"name":"region"},{"from":{"$type":"Filter","name":"genre"},"name":"genre"}],"pipeline":[{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"region"},"op":"eq","right":{"$type":"param","name":"region"}}},{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"genre"},"op":"eq","right":{"$type":"param","name":"genre"}}}],"source":{"columns":{"genre":{"validity":[true,true],"values":["drama","docs"]},"month":{"validity":[true,true],"values":["jan","jan"]},"region":{"validity":[true,true],"values":["emea","amer"]},"retention":{"validity":[true,true],"values":[0.62,0.55]}},"schema":[{"name":"genre","type":"string"},{"name":"month","type":"string"},{"name":"region","type":"string"},{"name":"retention","type":"float"}]}}}}],"heading":"Content performance","layout":{"$type":"Auto"},"role":"Dashboard"}}
+{"id":"filterable-static-dashboard","kind":{"$type":"Box","children":[{"id":"content-filters","kind":{"$type":"Filters","items":[{"kind":{"$type":"Choice","options":{"$type":"Static","value":[{"label":"EMEA","value":"emea"},{"label":"Americas","value":"amer"}]}},"label":"Region","name":"region"},{"kind":{"$type":"Choice","options":{"$type":"Static","value":[{"label":"Drama","value":"drama"},{"label":"Documentary","value":"docs"}]}},"label":"Genre","name":"genre"}]}},{"id":"retention-chart","kind":{"$type":"Chart","kind":"Line","source":{"$type":"Transform","params":[{"from":{"$type":"Filter","name":"region"},"name":"region"},{"from":{"$type":"Filter","name":"genre"},"name":"genre"}],"pipeline":[{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"region"},"op":"eq","right":{"$type":"param","name":"region"}}},{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"genre"},"op":"eq","right":{"$type":"param","name":"genre"}}}],"source":{"columns":{"genre":{"validity":[true,true],"values":["drama","docs"]},"month":{"validity":[true,true],"values":["jan","jan"]},"region":{"validity":[true,true],"values":["emea","amer"]},"retention":{"validity":[true,true],"values":[0.62,0.55]}},"schema":[{"name":"genre","type":"string"},{"name":"month","type":"string"},{"name":"region","type":"string"},{"name":"retention","type":"float"}]}},"title":"Retention","xField":"month","yFields":["retention"]}},{"id":"episode-grid","kind":{"$type":"DataGrid","columns":[{"field":"month","kind":{"$type":"Text"},"label":"Month"},{"field":"retention","kind":{"$type":"Text"},"label":"Retention"}],"rowKeyField":"month","source":{"$type":"Transform","params":[{"from":{"$type":"Filter","name":"region"},"name":"region"},{"from":{"$type":"Filter","name":"genre"},"name":"genre"}],"pipeline":[{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"region"},"op":"eq","right":{"$type":"param","name":"region"}}},{"$type":"filter","pred":{"$type":"binary","left":{"$type":"col","name":"genre"},"op":"eq","right":{"$type":"param","name":"genre"}}}],"source":{"columns":{"genre":{"validity":[true,true],"values":["drama","docs"]},"month":{"validity":[true,true],"values":["jan","jan"]},"region":{"validity":[true,true],"values":["emea","amer"]},"retention":{"validity":[true,true],"values":[0.62,0.55]}},"schema":[{"name":"genre","type":"string"},{"name":"month","type":"string"},{"name":"region","type":"string"},{"name":"retention","type":"float"}]}}}}],"heading":"Content performance","layout":{"$type":"Auto"},"role":"Dashboard"}}

package/corpus/lenient/lenient-navigate-target-self.expected.json

@@ -0,0 +1 @@
+{"id":"len-nav-self","kind":{"$type":"Button","label":"Home","onClick":{"$type":"Navigate","route":"/"},"variant":"Primary"}}

package/corpus/lenient/lenient-navigate-target-self.json

@@ -0,0 +1 @@
+{"id":"len-nav-self","kind":{"$type":"Button","label":{"$type":"Literal","text":"Home"},"onClick":{"$type":"Navigate","route":"/","target":"Self"},"variant":"Primary"}}

package/corpus/manifest.json

@@ -554,6 +554,22 @@
       "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",
@@ -818,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",
@@ -1106,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",
@@ -1242,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",
@@ -1354,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",
@@ -1442,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",
@@ -1602,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",
@@ -1674,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",
@@ -2250,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",
@@ -2338,6 +2474,14 @@
       "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",
@@ -2346,6 +2490,14 @@
       "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",
@@ -2514,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",
@@ -2932,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",
@@ -2959,6 +3144,33 @@
       "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",
@@ -2977,6 +3189,24 @@
       "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",
@@ -3022,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",
@@ -3076,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",
@@ -3103,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",
@@ -3148,6 +3522,24 @@
       "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",
@@ -3292,6 +3684,15 @@
       "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",
@@ -3364,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",
@@ -3526,6 +3936,15 @@
       "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",
@@ -3571,6 +3990,24 @@
       "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",