@fuaran-ui/conformance 0.9.0 → 0.18.0

package/corpus/manifest.json

@@ -30,6 +30,7 @@
     "Map",
     "Markdown",
     "Math",
+    "Media",
     "Metric",
     "Modal",
     "Mount",
@@ -627,6 +628,38 @@
       "expectedFile": "lenient/lenient-grid-transform-param-compact.expected.json",
       "description": "Phase 719 — the compact authoring twin of `grid-transform-param`: 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-image-caption-envelope",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-image-caption-envelope.json",
+      "expectedFile": "lenient/lenient-image-caption-envelope.expected.json",
+      "description": "Image — the enveloped `{\"$type\":\"Literal\"}` TextSource form on `caption` decodes and canonicalises to the bare string, exactly as it does on `alt` (Phase 1078). The slot is a full `TextSource`, so a host that narrowed it to a plain string cannot decode this input at all."
+    },
+    {
+      "id": "lenient-image-empty-srcset",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-image-empty-srcset.json",
+      "expectedFile": "lenient/lenient-image-empty-srcset.expected.json",
+      "description": "Image — an explicitly EMPTY `srcSet` decodes and canonicalises away to the omitted form (Phase 1080). Absent and `[]` denote the same document, so an image that declares no alternate renditions costs no key on the wire"
+    },
+    {
+      "id": "lenient-image-explicit-defaults",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-image-explicit-defaults.json",
+      "expectedFile": "lenient/lenient-image-explicit-defaults.expected.json",
+      "description": "Image — explicit-default `fit`/`aspectRatio`/`loading` decode and canonicalise away (omitted-when-default on both boundaries from day one, Phase 1077), and the bare-string TextSource shorthand applies to `alt`. The canonical minimal Image is exactly the pre-phase three-field form."
+    },
+    {
+      "id": "lenient-image-explicit-expandable-false",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-image-explicit-expandable-false.json",
+      "expectedFile": "lenient/lenient-image-explicit-expandable-false.expected.json",
+      "description": "Image — an explicit `expandable: false` decodes and canonicalises away to the omitted form (Phase 1079). `false` is the identity: not declaring an expansion and declaring that there is none are the same document"
+    },
     {
       "id": "lenient-master-detail-preselected-compact",
       "kind": "lenient-accept",
@@ -683,6 +716,14 @@
       "expectedFile": "lenient/lenient-scalar-transform-composition-compact.expected.json",
       "description": "Phase 719 — the compact authoring twin of `scalar-transform-composition`: 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-shape-a11y-label-bare-scalar",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-shape-a11y-label-bare-scalar.json",
+      "expectedFile": "lenient/lenient-shape-a11y-label-bare-scalar.expected.json",
+      "description": "fuaran#957 ruling — the Accessibility trait's `label` (Binding<string>) and `hidden` (Binding<bool>) are ordinary Binding slots: a bare string / bool coerces to `Static` per the general §3.6 scalar rule (decode-only, canonical envelope on re-encode). Pinned at this position because two hosts once implemented the slot as bare-string-ONLY — the opposite error."
+    },
     {
       "id": "lenient-shape-binding-scalar-fraction",
       "kind": "lenient-accept",
@@ -867,6 +908,54 @@
       "expectedFile": "lenient/lenient-window-cumsum-legacy.expected.json",
       "description": "2026-07-19 rename — the legacy cumSum window-fn tag coerces to the canonical cumulSum"
     },
+    {
+      "id": "a11y-alert-assertive",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/a11y-alert-assertive.json",
+      "expectedFile": "nodes/a11y-alert-assertive.json",
+      "description": "Accessibility (Phase 955 — the announcement pair: role alert + liveRegion assertive)"
+    },
+    {
+      "id": "a11y-button-named",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/a11y-button-named.json",
+      "expectedFile": "nodes/a11y-button-named.json",
+      "description": "Accessibility (Phase 955 — Button: an explicit named role on a kind that already has a native one)"
+    },
+    {
+      "id": "a11y-image-decorative",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/a11y-image-decorative.json",
+      "expectedFile": "nodes/a11y-image-decorative.json",
+      "description": "Accessibility (Phase 955 — Image: the decorative shape, empty alt + hidden Static true)"
+    },
+    {
+      "id": "a11y-link-labelled",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/a11y-link-labelled.json",
+      "expectedFile": "nodes/a11y-link-labelled.json",
+      "description": "Accessibility (Phase 955 — Link: the accessible name overriding the visible 'Read more' text)"
+    },
+    {
+      "id": "a11y-wrapper-all-slots",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/a11y-wrapper-all-slots.json",
+      "expectedFile": "nodes/a11y-wrapper-all-slots.json",
+      "description": "Accessibility (Phase 955 — all six trait slots at once on a wrapper; Static label, named role, polite)"
+    },
+    {
+      "id": "a11y-wrapper-state-bound",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/a11y-wrapper-state-bound.json",
+      "expectedFile": "nodes/a11y-wrapper-state-bound.json",
+      "description": "Accessibility (Phase 955 — State-bound label + hidden, mixed-case custom role doc-pageFooter, off)"
+    },
     {
       "id": "badge-1",
       "kind": "node-round-trip",
@@ -1115,6 +1204,14 @@
       "expectedFile": "nodes/drawing-empty.json",
       "description": "Display/Drawing (degenerate — empty)"
     },
+    {
+      "id": "drawing-nonfinite-sentinels",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/drawing-nonfinite-sentinels.json",
+      "expectedFile": "nodes/drawing-nonfinite-sentinels.json",
+      "description": "Display/Drawing (Phase 1063 — §5/§7 non-finite sentinels at typed float scalars and a nested shape coordinate)"
+    },
     {
       "id": "drawing-rotated-labels",
       "kind": "node-round-trip",
@@ -1227,6 +1324,14 @@
       "expectedFile": "nodes/form-declarative-minimal.json",
       "description": "Input/Form (Phase 596 — symmetric auto-bind, omitted-value fields)"
     },
+    {
+      "id": "form-field-rules",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-field-rules.json",
+      "expectedFile": "nodes/form-field-rules.json",
+      "description": "Input/Form (Phase 864 — declared field rules: format / pattern / length pair / cross-field compare)"
+    },
     {
       "id": "form-local-1",
       "kind": "node-round-trip",
@@ -1307,6 +1412,134 @@
       "expectedFile": "nodes/frag-ref-args.json",
       "description": "FragmentRef (parameterised — value + slot args)"
     },
+    {
+      "id": "frag-stdlib-confirm-action-pair",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-confirm-action-pair.json",
+      "expectedFile": "nodes/frag-stdlib-confirm-action-pair.json",
+      "description": "FragmentDecl (stdlib 'confirm-action-pair' — A primary confirm and a secondary cancel, both writing one declared state key.)"
+    },
+    {
+      "id": "frag-stdlib-confirm-action-pair-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-confirm-action-pair-ref.json",
+      "expectedFile": "nodes/frag-stdlib-confirm-action-pair-ref.json",
+      "description": "FragmentRef (stdlib 'confirm-action-pair' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-empty-state-panel",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-empty-state-panel.json",
+      "expectedFile": "nodes/frag-stdlib-empty-state-panel.json",
+      "description": "FragmentDecl (stdlib 'empty-state-panel' — A titled nothing-to-show card whose call to action is a caller-supplied Button slot.)"
+    },
+    {
+      "id": "frag-stdlib-empty-state-panel-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-empty-state-panel-ref.json",
+      "expectedFile": "nodes/frag-stdlib-empty-state-panel-ref.json",
+      "description": "FragmentRef (stdlib 'empty-state-panel' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-filter-bar",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-filter-bar.json",
+      "expectedFile": "nodes/frag-stdlib-filter-bar.json",
+      "description": "FragmentDecl (stdlib 'filter-bar' — A free-text chip and a status chip, both bound to their own host filter keys.)"
+    },
+    {
+      "id": "frag-stdlib-filter-bar-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-filter-bar-ref.json",
+      "expectedFile": "nodes/frag-stdlib-filter-bar-ref.json",
+      "description": "FragmentRef (stdlib 'filter-bar' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-kpi-strip",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-kpi-strip.json",
+      "expectedFile": "nodes/frag-stdlib-kpi-strip.json",
+      "description": "FragmentDecl (stdlib 'kpi-strip' — A headed horizontal strip of one to six figures — the dashboard's top band.)"
+    },
+    {
+      "id": "frag-stdlib-kpi-strip-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-kpi-strip-ref.json",
+      "expectedFile": "nodes/frag-stdlib-kpi-strip-ref.json",
+      "description": "FragmentRef (stdlib 'kpi-strip' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-labelled-metric-row",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-labelled-metric-row.json",
+      "expectedFile": "nodes/frag-stdlib-labelled-metric-row.json",
+      "description": "FragmentDecl (stdlib 'labelled-metric-row' — A label and its figure on one line — the smallest read-only composite in the set.)"
+    },
+    {
+      "id": "frag-stdlib-labelled-metric-row-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-labelled-metric-row-ref.json",
+      "expectedFile": "nodes/frag-stdlib-labelled-metric-row-ref.json",
+      "description": "FragmentRef (stdlib 'labelled-metric-row' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-loading-placeholder",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-loading-placeholder.json",
+      "expectedFile": "nodes/frag-stdlib-loading-placeholder.json",
+      "description": "FragmentDecl (stdlib 'loading-placeholder' — One to eight skeleton rows — the shape a list takes while its query is in flight.)"
+    },
+    {
+      "id": "frag-stdlib-loading-placeholder-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-loading-placeholder-ref.json",
+      "expectedFile": "nodes/frag-stdlib-loading-placeholder-ref.json",
+      "description": "FragmentRef (stdlib 'loading-placeholder' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-metric-card",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-metric-card.json",
+      "expectedFile": "nodes/frag-stdlib-metric-card.json",
+      "description": "FragmentDecl (stdlib 'metric-card' — A card carrying one headline figure and the caption that qualifies it.)"
+    },
+    {
+      "id": "frag-stdlib-metric-card-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-metric-card-ref.json",
+      "expectedFile": "nodes/frag-stdlib-metric-card-ref.json",
+      "description": "FragmentRef (stdlib 'metric-card' — a representative application)"
+    },
+    {
+      "id": "frag-stdlib-section-header",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-section-header.json",
+      "expectedFile": "nodes/frag-stdlib-section-header.json",
+      "description": "FragmentDecl (stdlib 'section-header' — An eyebrow above a title, at a caller-chosen heading level.)"
+    },
+    {
+      "id": "frag-stdlib-section-header-ref",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/frag-stdlib-section-header-ref.json",
+      "expectedFile": "nodes/frag-stdlib-section-header-ref.json",
+      "description": "FragmentRef (stdlib 'section-header' — a representative application)"
+    },
     {
       "id": "glayout-1",
       "kind": "node-round-trip",
@@ -1459,6 +1692,62 @@
       "expectedFile": "nodes/image-1.json",
       "description": "Display/Image (Avatar variant)"
     },
+    {
+      "id": "image-caption-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/image-caption-1.json",
+      "expectedFile": "nodes/image-caption-1.json",
+      "description": "Display/Image (Phase 1078 — literal caption)"
+    },
+    {
+      "id": "image-caption-i18n-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/image-caption-i18n-1.json",
+      "expectedFile": "nodes/image-caption-i18n-1.json",
+      "description": "Display/Image (Phase 1078 — i18n caption with args)"
+    },
+    {
+      "id": "image-expandable-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/image-expandable-1.json",
+      "expectedFile": "nodes/image-expandable-1.json",
+      "description": "Display/Image (Phase 1079 — expandable, the declaration alone)"
+    },
+    {
+      "id": "image-expandable-figure-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/image-expandable-figure-1.json",
+      "expectedFile": "nodes/image-expandable-figure-1.json",
+      "description": "Display/Image (Phase 1079 — expandable + caption + srcSet, the gallery thumbnail)"
+    },
+    {
+      "id": "image-presentation-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/image-presentation-1.json",
+      "expectedFile": "nodes/image-presentation-1.json",
+      "description": "Display/Image (Phase 1077 — fit / aspectRatio / loading all off-default)"
+    },
+    {
+      "id": "image-srcset-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/image-srcset-1.json",
+      "expectedFile": "nodes/image-srcset-1.json",
+      "description": "Display/Image (Phase 1080 — three-candidate srcSet, authored descending)"
+    },
+    {
+      "id": "limit-node-depth-at-max",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/limit-node-depth-at-max.json",
+      "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": "link-1",
       "kind": "node-round-trip",
@@ -1507,6 +1796,22 @@
       "expectedFile": "nodes/markdown-1.json",
       "description": "Display/Markdown"
     },
+    {
+      "id": "masonry-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/masonry-1.json",
+      "expectedFile": "nodes/masonry-1.json",
+      "description": "Layout/Masonry (Phase 1082 — column-fill, three columns)"
+    },
+    {
+      "id": "masonry-gap",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/masonry-gap.json",
+      "expectedFile": "nodes/masonry-gap.json",
+      "description": "Layout/Masonry (Phase 1082 — explicit gap)"
+    },
     {
       "id": "master-detail-multi-field",
       "kind": "node-round-trip",
@@ -1539,6 +1844,38 @@
       "expectedFile": "nodes/math-1.json",
       "description": "Display/Math (block LaTeX)"
     },
+    {
+      "id": "media-audio-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-audio-1.json",
+      "expectedFile": "nodes/media-audio-1.json",
+      "description": "Display/Media (Phase 1076 — the Audio variant, whose payload is the discriminator alone)"
+    },
+    {
+      "id": "media-video-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-video-1.json",
+      "expectedFile": "nodes/media-video-1.json",
+      "description": "Display/Media (Phase 1076 — video at its minimum, both bool defaults omitted)"
+    },
+    {
+      "id": "media-video-autoplay-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-video-autoplay-1.json",
+      "expectedFile": "nodes/media-video-autoplay-1.json",
+      "description": "Display/Media (Phase 1076 — autoplay declared, both shared bools off-default)"
+    },
+    {
+      "id": "media-video-poster-1",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/media-video-poster-1.json",
+      "expectedFile": "nodes/media-video-poster-1.json",
+      "description": "Display/Media (Phase 1076 — video with a poster frame in the case payload)"
+    },
     {
       "id": "metric-1",
       "kind": "node-round-trip",
@@ -1587,6 +1924,14 @@
       "expectedFile": "nodes/metric-float-exp-pos.json",
       "description": "Display/Metric (float divergence-zone — 1e21 scientific)"
     },
+    {
+      "id": "metric-inverted-polarity",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/metric-inverted-polarity.json",
+      "expectedFile": "nodes/metric-inverted-polarity.json",
+      "description": "Display/Metric (Phase 867 — inverted trendPolarity: a falling wait time is an improvement)"
+    },
     {
       "id": "metric-invoke",
       "kind": "node-round-trip",
@@ -1595,6 +1940,14 @@
       "expectedFile": "nodes/metric-invoke.json",
       "description": "Display/Metric (Phase 283 — Binding.Invoke capability source)"
     },
+    {
+      "id": "metric-nonfinite-sentinel",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/metric-nonfinite-sentinel.json",
+      "expectedFile": "nodes/metric-nonfinite-sentinel.json",
+      "description": "Display/Metric (Phase 1063 — §5/§7 non-finite sentinels behind a Binding.Static envelope)"
+    },
     {
       "id": "modal-1",
       "kind": "node-round-trip",
@@ -1675,6 +2028,14 @@
       "expectedFile": "nodes/select-1.json",
       "description": "Input/Select"
     },
+    {
+      "id": "shared-source-seeded-pair",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/shared-source-seeded-pair.json",
+      "expectedFile": "nodes/shared-source-seeded-pair.json",
+      "description": "Visualisation/Grid + Display/Badge (Phase 1075 — the seeded shared source: one declared table, two readers)"
+    },
     {
       "id": "skel-1",
       "kind": "node-round-trip",
@@ -1691,6 +2052,14 @@
       "expectedFile": "nodes/spark-1.json",
       "description": "Display/Sparkline"
     },
+    {
+      "id": "spark-nonfinite-sentinel",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/spark-nonfinite-sentinel.json",
+      "expectedFile": "nodes/spark-nonfinite-sentinel.json",
+      "description": "Display/Sparkline (Phase 1063 — §5/§7 non-finite sentinels as float SEQUENCE elements)"
+    },
     {
       "id": "split-1",
       "kind": "node-round-trip",
@@ -1971,6 +2340,114 @@
       "expectedFile": "ops/op-updatestyle (phase 147 role=eyebrow + voice=structural).json",
       "description": "UpdateStyle (Phase 147 Role=Eyebrow + Voice=Structural)"
     },
+    {
+      "id": "reject-a11y-hidden-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-a11y-hidden-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.hidden",
+      "description": "accessibility.hidden bare scalar of the wrong type — §3.6 leniency is about SHAPE, not type (Phase 955)"
+    },
+    {
+      "id": "reject-a11y-labelledby-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-a11y-labelledby-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.labelledBy",
+      "description": "accessibility.labelledBy not a NodeId string (Phase 955)"
+    },
+    {
+      "id": "reject-a11y-liveregion-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-a11y-liveregion-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.liveRegion",
+      "description": "accessibility.liveRegion not a JSON string (Phase 955)"
+    },
+    {
+      "id": "reject-a11y-liveregion-unknown",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-a11y-liveregion-unknown.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.accessibility.liveRegion",
+      "description": "accessibility.liveRegion outside the closed set — the message names polite | assertive | off (Phase 955)"
+    },
+    {
+      "id": "reject-a11y-not-object",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-a11y-not-object.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility",
+      "description": "accessibility is not an object — the trait is a record, not a bare label (Phase 955)"
+    },
+    {
+      "id": "reject-a11y-role-nonstring",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-a11y-role-nonstring.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "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-binding-float-bool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-binding-float-bool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.trend",
+      "description": "Binding<float> Static payload is a JSON boolean — a second float slot on the same spec, so a host guarding `value` and not `trend` is caught (Phase 1064)"
+    },
+    {
+      "id": "reject-binding-float-sentinel-case",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-binding-float-sentinel-case.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fraction",
+      "description": "Binding<float> bare scalar is a MIS-CASED sentinel (\"nan\") — §7's three tokens are exact, and a case-folding host would accept a document no encoder emits (Phase 1064)"
+    },
+    {
+      "id": "reject-binding-float-string",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-binding-float-string.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "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-int-bool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-binding-int-bool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.activeIndex",
+      "description": "Binding<int> Static payload is a JSON boolean — §7 gives an integer slot no non-numeric form (Phase 1064)"
+    },
+    {
+      "id": "reject-binding-int-sentinel-string",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-binding-int-sentinel-string.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.activeStep",
+      "description": "Binding<int> Static payload is a §7 non-finite sentinel — the sentinels are FLOAT-slot only; an integer slot has no non-finite form (Phase 1064)"
+    },
+    {
+      "id": "reject-box-masonry-nonpositive-cols",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-box-masonry-nonpositive-cols.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "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-daterange-unordered",
       "kind": "reject",
@@ -1989,6 +2466,60 @@
       "expectedPath": "$.id",
       "description": "Empty top-level id"
     },
+    {
+      "id": "reject-fieldrule-empty",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-fieldrule-empty.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].rule",
+      "description": "FieldRule declaring no constraint — a message alone is not a rule (Phase 864)"
+    },
+    {
+      "id": "reject-fieldrule-length-unordered",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-fieldrule-length-unordered.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].rule",
+      "description": "FieldRule minLength above maxLength — the ordered-pair rule on a length pair (Phase 864)"
+    },
+    {
+      "id": "reject-formfield-near-miss-validation",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-formfield-near-miss-validation.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.fields[0].validation",
+      "description": "'validation' near-miss on a FormField — the canonical key is 'rule' (Phase 864)"
+    },
+    {
+      "id": "reject-image-expandable-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-image-expandable-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.expandable",
+      "description": "Image expandable `\"true\"` — the stringified boolean, refused rather than coerced. A truthiness rule would have to rule on `\"false\"` and `\"\"` too, and two hosts ruling differently would disagree about whether the document declares an affordance at all"
+    },
+    {
+      "id": "reject-image-srcset-nonpositive-width",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-image-srcset-nonpositive-width.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.srcSet[1].width",
+      "description": "SrcSetEntry width 0 — refused: a `w` descriptor names the intrinsic pixel width a browser selects on, so a non-positive value describes a candidate that can never be selected. The first entry is well-formed on purpose, so the path has to identify the second"
+    },
+    {
+      "id": "reject-image-srcset-null",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-image-srcset-null.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "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-invalid-empty",
       "kind": "reject",
@@ -2016,6 +2547,60 @@
       "expectedPath": "$",
       "description": "truncated object"
     },
+    {
+      "id": "reject-limit-json-depth",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-limit-json-depth.json",
+      "expectedErrorCode": "LIMIT_EXCEEDED",
+      "expectedPath": "$",
+      "description": "§21 max JSON depth — 257 levels of bare array nesting, ONE past the limit. Well-formed and merely too deep, so LIMIT_EXCEEDED rather than INVALID_JSON (rule 2). Pins the boundary exactly; its at-the-limit twin below pins the other side"
+    },
+    {
+      "id": "reject-limit-json-depth-at-max",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-limit-json-depth-at-max.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$",
+      "description": "§21 max JSON depth — 256 levels, EXACTLY at the limit. Not a valid node, so it must fail; the point is that it fails on SHAPE and not as a limit breach. Rule 1 in the one form the reject machinery can express for a syntactic bound: a host whose guard sits one level too tight answers LIMIT_EXCEEDED here and fails"
+    },
+    {
+      "id": "reject-limit-node-depth",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-limit-node-depth.json",
+      "expectedErrorCode": "LIMIT_EXCEEDED",
+      "expectedPath": "$",
+      "description": "§21 max node depth — one level past the limit (25). Refused with LIMIT_EXCEEDED, never INVALID_JSON (rule 2) and never a throw (rule 3)"
+    },
+    {
+      "id": "reject-limit-op-depth",
+      "kind": "reject",
+      "decoder": "op",
+      "inputFile": "reject/reject-limit-op-depth.json",
+      "expectedErrorCode": "LIMIT_EXCEEDED",
+      "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-media-autoplay-nonbool",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-media-autoplay-nonbool.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.kind.kind.autoplay",
+      "description": "Media autoplay `\"true\"` — the stringified boolean, refused rather than coerced. A truthiness rule would have to rule on `\"false\"` and `\"\"` too, and two hosts ruling differently would disagree about whether a page starts playing by itself"
+    },
+    {
+      "id": "reject-media-missing-label",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-media-missing-label.json",
+      "expectedErrorCode": "MISSING_FIELD",
+      "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-missing-binding-type",
       "kind": "reject",
@@ -2106,6 +2691,42 @@
       "expectedPath": "$.kind.stateKey",
       "description": "Switch missing stateKey"
     },
+    {
+      "id": "reject-nearmiss-a11y-aria-hidden",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-nearmiss-a11y-aria-hidden.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.aria-hidden",
+      "description": "accessibility 'aria-hidden' — the ARIA ATTRIBUTE name where the wire wants the slot name 'hidden'; the projection slot two hosts once dropped entirely (Phase 959)"
+    },
+    {
+      "id": "reject-nearmiss-a11y-arialabel",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-nearmiss-a11y-arialabel.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.ariaLabel",
+      "description": "accessibility 'ariaLabel' — the camelCase JSX prior for the accessible name; MEASURED in the emission corpora, and the whole declaration vanished (Phase 959)"
+    },
+    {
+      "id": "reject-nearmiss-a11y-live",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-nearmiss-a11y-live.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.live",
+      "description": "accessibility 'live' — the sharpest of the set: six measured emissions against liveRegion's twelve, and the HTML idiom it comes from also spells a BOOLEAN, so it is not a safe alias (Phase 959)"
+    },
+    {
+      "id": "reject-nearmiss-a11y-liveregion-case",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-nearmiss-a11y-liveregion-case.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.accessibility.liveregion",
+      "description": "accessibility 'liveregion' — the canonical slot name un-cased to the ARIA attribute spelling; the wire is camelCase (Phase 959)"
+    },
     {
       "id": "reject-nearmiss-column-readonly",
       "kind": "reject",
@@ -2214,6 +2835,15 @@
       "expectedPath": "$.parentId",
       "description": "InsertChild missing parentId"
     },
+    {
+      "id": "reject-op-insertchild-retired-position",
+      "kind": "reject",
+      "decoder": "op",
+      "inputFile": "reject/reject-op-insertchild-retired-position.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.position",
+      "description": "InsertChild carries the retired 'position' — the migration window is closed (Phase 687)"
+    },
     {
       "id": "reject-op-missing-type",
       "kind": "reject",
@@ -2223,6 +2853,15 @@
       "expectedPath": "$.$type",
       "description": "Op missing $type entirely"
     },
+    {
+      "id": "reject-op-movenode-retired-newposition",
+      "kind": "reject",
+      "decoder": "op",
+      "inputFile": "reject/reject-op-movenode-retired-newposition.json",
+      "expectedErrorCode": "WRONG_TYPE",
+      "expectedPath": "$.newPosition",
+      "description": "MoveNode carries the retired 'newPosition' — the migration window is closed (Phase 687)"
+    },
     {
       "id": "reject-op-reorderchildren-wrongtype",
       "kind": "reject",
@@ -2268,15 +2907,6 @@
       "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-transform-source-empty-wrapper",
-      "kind": "reject",
-      "decoder": "node",
-      "inputFile": "reject/reject-transform-source-empty-wrapper.json",
-      "expectedErrorCode": "WRONG_TYPE",
-      "expectedPath": "$.kind.source.source",
-      "description": "fuaran#815 — a State wrapper carrying only a key (no defaultValue/value) is NOT unwrappable: the Transform source stays a binding object and the columnar decode refuses it"
-    },
     {
       "id": "reject-unknown-binding",
       "kind": "reject",
@@ -2304,6 +2934,15 @@
       "expectedPath": "$.kind.shapes[0].$type",
       "description": "Drawing Shape $type 'Blob' — the closed-shape default-deny (Phase 524)"
     },
+    {
+      "id": "reject-unknown-image-aspect",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-unknown-image-aspect.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.aspectRatio",
+      "description": "ImageAspect value '16/9' — the CSS ratio spelling, refused: the slot is a closed token vocabulary (Square | FourThree | ThreeTwo | SixteenNine), and admitting a numeric pair would reintroduce the free-form escape the tokens replace"
+    },
     {
       "id": "reject-unknown-link-protection",
       "kind": "reject",
@@ -2313,6 +2952,15 @@
       "expectedPath": "$.kind.protection",
       "description": "LinkProtection value 'rot13' — the closed protection DU default-denies (Phase 812)"
     },
+    {
+      "id": "reject-unknown-media-kind",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-unknown-media-kind.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "expectedPath": "$.kind.kind.$type",
+      "description": "MediaKind case 'Stream' — refused. The variant set is closed at Video | Audio; a third surface is an admission, not a spelling a decoder may guess at. The path carries `.$type` because MediaKind is discriminated, unlike the bare-enum slots"
+    },
     {
       "id": "reject-unknown-mount-direction",
       "kind": "reject",
@@ -2349,6 +2997,15 @@
       "expectedPath": "$.style.tone",
       "description": "ToneVariant value 'Magenta'"
     },
+    {
+      "id": "reject-unknown-trend-polarity",
+      "kind": "reject",
+      "decoder": "node",
+      "inputFile": "reject/reject-unknown-trend-polarity.json",
+      "expectedErrorCode": "UNKNOWN_DU_CASE",
+      "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-wrongnodekind-sparkler",
       "kind": "reject",