@fuaran-ui/conformance 0.4.0 → 0.6.0

package/corpus/lenient/lenient-460-explicit-default-column.expected.json

@@ -1 +1 @@
-{"id":"len-460-g","kind":{"$type":"DataGrid","columns":[{"kind":{"$type":"Text"},"label":"Channel"}],"source":{"$type":"Static","value":"<opaque>"}}}
+{"id":"len-460-g","kind":{"$type":"DataGrid","columns":[{"kind":{"$type":"Text"},"label":"Channel"}],"source":{"$type":"Static","value":[]}}}

package/corpus/lenient/lenient-665-rows-opaque-sentinel.expected.json

@@ -0,0 +1 @@
+{"id":"len-rows-opq","kind":{"$type":"DataGrid","columns":[{"field":"dept","kind":{"$type":"Text"},"label":"Dept"}],"rowKeyField":"dept","source":{"$type":"State","defaultValue":[],"key":"rows"}}}

package/corpus/lenient/lenient-665-rows-opaque-sentinel.json

@@ -0,0 +1 @@
+{"id":"len-rows-opq","kind":{"$type":"DataGrid","columns":[{"field":"dept","kind":{"$type":"Text"},"label":"Dept"}],"rowKeyField":"dept","source":{"$type":"State","defaultValue":"<opaque>","key":"rows"}}}

package/corpus/lenient/lenient-alias-datagrid-data-column-type.expected.json

@@ -1 +1 @@
-{"id":"len-dg","kind":{"$type":"DataGrid","columns":[{"field":"name","kind":{"$type":"Text"},"label":"Name"}],"source":{"$type":"Static","value":"<opaque>"}}}
+{"id":"len-dg","kind":{"$type":"DataGrid","columns":[{"field":"name","kind":{"$type":"Text"},"label":"Name"}],"source":{"$type":"Static","value":[{"name":"A"}]}}}

package/corpus/manifest.json

@@ -1,6 +1,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.",
   "kinds": [
     "Badge",
@@ -53,7 +54,8 @@
     "RangedNumber",
     "SegmentedChoice",
     "Text",
-    "TextArea"
+    "TextArea",
+    "Toggle"
   ],
   "fixtures": [
     {
@@ -464,6 +466,14 @@
       "expectedFile": "lenient/lenient-596-form-explicit-auto-state.expected.json",
       "description": "Phase 596 — a form field's explicit auto-shape value (State(field id, placeholder)) normalises to the omitted-value canonical form"
     },
+    {
+      "id": "lenient-665-rows-opaque-sentinel",
+      "kind": "lenient-accept",
+      "decoder": "node",
+      "inputFile": "lenient/lenient-665-rows-opaque-sentinel.json",
+      "expectedFile": "lenient/lenient-665-rows-opaque-sentinel.expected.json",
+      "description": "fuaran#665 read-compat: the legacy \"<opaque>\" rows sentinel decodes to the empty typed feed and re-encodes as []"
+    },
     {
       "id": "lenient-alias-call-url",
       "kind": "lenient-accept",
@@ -928,6 +938,14 @@
       "expectedFile": "nodes/chart-1.json",
       "description": "Visualisation/Chart"
     },
+    {
+      "id": "chart-state-rows",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/chart-state-rows.json",
+      "expectedFile": "nodes/chart-state-rows.json",
+      "description": "Visualisation/Chart (Phase 663/665 — chart on the editable grid's state key)"
+    },
     {
       "id": "code-1",
       "kind": "node-round-trip",
@@ -1016,6 +1034,14 @@
       "expectedFile": "nodes/drawing-empty.json",
       "description": "Display/Drawing (degenerate — empty)"
     },
+    {
+      "id": "empty-state-card",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/empty-state-card.json",
+      "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": "fact-1",
       "kind": "node-round-trip",
@@ -1136,6 +1162,14 @@
       "expectedFile": "nodes/form-segmented.json",
       "description": "Input/Form (SegmentedChoice horizontal + vertical)"
     },
+    {
+      "id": "form-toggle",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/form-toggle.json",
+      "expectedFile": "nodes/form-toggle.json",
+      "description": "Input/Form (Phase 766 — the Toggle switch affordance beside a Checkbox)"
+    },
     {
       "id": "format-bindings",
       "kind": "node-round-trip",
@@ -1216,6 +1250,14 @@
       "expectedFile": "nodes/grid-1.json",
       "description": "Visualisation/Grid"
     },
+    {
+      "id": "grid-editable-state",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/grid-editable-state.json",
+      "expectedFile": "nodes/grid-editable-state.json",
+      "description": "Visualisation/Grid (Phase 663/665 — editable State-sourced grid, typed rows on the wire)"
+    },
     {
       "id": "grid-field-named",
       "kind": "node-round-trip",
@@ -1304,6 +1346,14 @@
       "expectedFile": "nodes/markdown-1.json",
       "description": "Display/Markdown"
     },
+    {
+      "id": "master-detail-multi-field",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/master-detail-multi-field.json",
+      "expectedFile": "nodes/master-detail-multi-field.json",
+      "description": "Layout/Box (master-detail — ONE selection feeding N slots, each projecting a DIFFERENT field)"
+    },
     {
       "id": "master-detail-preselected",
       "kind": "node-round-trip",
@@ -1408,6 +1458,14 @@
       "expectedFile": "nodes/multiselect-1.json",
       "description": "Input/Select (multi-select — list value)"
     },
+    {
+      "id": "now-environment-binding",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/now-environment-binding.json",
+      "expectedFile": "nodes/now-environment-binding.json",
+      "description": "Binding/Now (Phase 765 — the host-furnished instant: a text slot + a Transform param feeding dateDiffDays)"
+    },
     {
       "id": "progress-1",
       "kind": "node-round-trip",
@@ -1512,6 +1570,14 @@
       "expectedFile": "nodes/switch-1.json",
       "description": "Switch (view state → details/summary cases + info default)"
     },
+    {
+      "id": "switch-on-selection",
+      "kind": "node-round-trip",
+      "decoder": "node",
+      "inputFile": "nodes/switch-on-selection.json",
+      "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": "table-1",
       "kind": "node-round-trip",

package/corpus/nodes/chart-1.json

@@ -1 +1 @@
-{"id":"chart-1","kind":{"$type":"Chart","kind":"Line","source":{"$type":"Static","value":"<opaque>"},"stacked":true,"title":"Channel mix","xField":"month","yFields":["revenue","cost"]}}
+{"id":"chart-1","kind":{"$type":"Chart","kind":"Line","source":{"$type":"Static","value":[{"cost":420,"month":"Jan","revenue":980},{"cost":390,"month":"Feb","revenue":1105}]},"stacked":true,"title":"Channel mix","xField":"month","yFields":["revenue","cost"]}}

package/corpus/nodes/chart-state-rows.json

@@ -0,0 +1 @@
+{"id":"chart-state-rows","kind":{"$type":"Chart","kind":"Bar","source":{"$type":"State","defaultValue":[{"month":"Jan","revenue":980},{"month":"Feb","revenue":1105}],"key":"planRows"},"stacked":false,"xField":"month","yFields":["revenue"]}}

package/corpus/nodes/empty-state-card.json

@@ -0,0 +1 @@
+{"id":"empty-state-card","kind":{"$type":"Box","children":[{"id":"empty-state-note","kind":{"$type":"Markdown","text":"Searches you save will appear here so you can re-run them with one click."}},{"id":"empty-state-cta","kind":{"$type":"Button","icon":"search","label":"Browse jobs","onClick":{"$type":"Chain","ops":[]},"variant":"Primary"}}],"heading":"No saved searches yet","layout":{"$type":"Flex","direction":"Vertical","wrap":false},"role":"Card"}}

package/corpus/nodes/form-toggle.json

@@ -0,0 +1 @@
+{"id":"form-toggle","kind":{"$type":"Form","fields":[{"id":"irrigation-running","kind":{"$type":"Toggle"},"label":"Irrigation","required":false},{"id":"accept-terms","kind":{"$type":"Checkbox"},"label":"I accept the terms","required":true}],"onSubmit":{"$type":"Chain","ops":[]},"submitLabel":"Save"}}

package/corpus/nodes/grid-1.json

@@ -1 +1 @@
-{"id":"grid-1","kind":{"$type":"DataGrid","columns":[{"kind":{"$type":"Text"},"label":"Channel","value":"<closure>"}],"rowKey":"<closure>","source":{"$type":"Static","value":"<opaque>"}}}
+{"id":"grid-1","kind":{"$type":"DataGrid","columns":[{"kind":{"$type":"Text"},"label":"Channel","value":"<closure>"}],"rowKey":"<closure>","source":{"$type":"Static","value":[{"channel":"Direct","revenue":1200},{"channel":"Referral","revenue":830}]}}}

package/corpus/nodes/grid-editable-state.json

@@ -0,0 +1 @@
+{"id":"grid-editable-state","kind":{"$type":"DataGrid","columns":[{"field":"month","kind":{"$type":"Text"},"label":"Month"},{"field":"revenue","kind":{"$type":"Numeric"},"label":"Revenue"}],"editable":true,"rowKeyField":"month","source":{"$type":"State","defaultValue":[{"month":"Jan","revenue":980},{"month":"Feb","revenue":1105}],"key":"planRows"}}}

package/corpus/nodes/master-detail-multi-field.json

@@ -0,0 +1 @@
+{"id":"master-detail-multi-field","kind":{"$type":"Box","children":[{"id":"ticket-grid","kind":{"$type":"DataGrid","columns":[{"field":"id","kind":{"$type":"Text"},"label":"Ticket"},{"field":"priority","kind":{"$type":"Text"},"label":"Priority"},{"field":"assignee","kind":{"$type":"Text"},"label":"Assignee"}],"rowKeyField":"id","source":{"$type":"Transform","pipeline":[],"source":{"columns":{"assignee":{"validity":[true,true],"values":["R. Okafor","M. Lindqvist"]},"id":{"validity":[true,true],"values":["TCK-2041","TCK-2042"]},"priority":{"validity":[true,true],"values":["high","low"]}},"schema":[{"name":"id","type":"string"},{"name":"priority","type":"string"},{"name":"assignee","type":"string"}]}}}},{"id":"ticket-detail","kind":{"$type":"Box","children":[{"id":"detail-ticket","kind":{"$type":"Fact","label":"Selected ticket","value":{"$type":"Bound","binding":{"$type":"Selection","defaultValue":"TCK-2041","field":"id","nodeId":"ticket-grid"}}}},{"id":"detail-priority","kind":{"$type":"Fact","label":"Priority","value":{"$type":"Bound","binding":{"$type":"Selection","defaultValue":"TCK-2041","field":"priority","nodeId":"ticket-grid"}}}},{"id":"detail-assignee","kind":{"$type":"Fact","label":"Assignee","value":{"$type":"Bound","binding":{"$type":"Selection","defaultValue":"TCK-2041","field":"assignee","nodeId":"ticket-grid"}}}},{"id":"detail-note","kind":{"$type":"Callout","body":{"$type":"Bound","binding":{"$type":"Selection","defaultValue":"R. Okafor","field":"assignee","nodeId":"ticket-grid"}},"heading":"Assigned to","tone":"Info"}}],"heading":"Ticket detail","layout":{"$type":"Flex","direction":"Vertical","wrap":false},"role":"Card"}}],"layout":{"$type":"Auto"},"role":"Dashboard"}}

package/corpus/nodes/now-environment-binding.json

@@ -0,0 +1 @@
+{"id":"now-environment-binding","kind":{"$type":"Box","children":[{"id":"today-fact","kind":{"$type":"Fact","label":"Today","value":{"$type":"Bound","binding":{"$type":"Now"}}}},{"id":"overdue-grid","kind":{"$type":"DataGrid","columns":[{"field":"id","kind":{"$type":"Text"},"label":"Invoice"},{"field":"due","kind":{"$type":"Text"},"label":"Due"},{"field":"daysOverdue","kind":{"$type":"Text"},"label":"Days overdue"}],"rowKeyField":"id","source":{"$type":"Transform","params":[{"from":{"$type":"Now"},"name":"today"}],"pipeline":[{"$type":"derive","expr":{"$type":"apply","args":[{"$type":"param","name":"today"},{"$type":"col","name":"due"}],"fn":"dateDiffDays"},"name":"daysOverdue"}],"source":{"columns":{"due":{"validity":[true,true],"values":["2026-07-01","2026-07-28"]},"id":{"validity":[true,true],"values":["INV-1001","INV-1002"]}},"schema":[{"name":"id","type":"string"},{"name":"due","type":"string"}]}}}}],"layout":{"$type":"Auto"},"role":"Dashboard"}}

package/corpus/nodes/switch-on-selection.json

@@ -0,0 +1 @@
+{"id":"switch-on-selection","kind":{"$type":"Box","children":[{"id":"ward-grid","kind":{"$type":"DataGrid","columns":[{"field":"id","kind":{"$type":"Text"},"label":"Ward"},{"field":"status","kind":{"$type":"Text"},"label":"Status"}],"rowKeyField":"id","source":{"$type":"Transform","pipeline":[],"source":{"columns":{"id":{"validity":[true,true],"values":["WARD-A","WARD-B"]},"status":{"validity":[true,true],"values":["steady","critical"]}},"schema":[{"name":"id","type":"string"},{"name":"status","type":"string"}]}}}},{"id":"ward-status-panel","kind":{"$type":"Switch","cases":[{"child":{"id":"ward-critical","kind":{"$type":"Callout","body":"Escalate admissions to the on-call manager.","heading":"Ward at capacity","tone":"Critical"}},"match":"critical"}],"default":{"id":"ward-steady","kind":{"$type":"Markdown","text":"Occupancy within normal range."}},"on":{"$type":"Selection","defaultValue":"steady","field":"status","nodeId":"ward-grid"}}}],"layout":{"$type":"Auto"},"role":"Dashboard"}}

package/corpus/nodes/table-1.json

@@ -1 +1 @@
-{"id":"table-1","kind":{"$type":"DataGrid","columns":[],"source":{"$type":"Static","value":"<opaque>"},"staticRows":{"headers":["Term","Definition"],"rows":[["MVU","Model-View-Update"],["DSL","Domain-specific language"]]}}}
+{"id":"table-1","kind":{"$type":"DataGrid","columns":[],"source":{"$type":"Static","value":[]},"staticRows":{"headers":["Term","Definition"],"rows":[["MVU","Model-View-Update"],["DSL","Domain-specific language"]]}}}

package/corpus/schema.json

@@ -350,6 +350,17 @@
             "fn"
           ]
         },
+        {
+          "type": "object",
+          "properties": {
+            "$type": {
+              "const": "Now"
+            }
+          },
+          "required": [
+            "$type"
+          ]
+        },
         {
           "type": "object",
           "properties": {
@@ -1187,6 +1198,23 @@
             "$type"
           ]
         },
+        {
+          "type": "object",
+          "properties": {
+            "$type": {
+              "const": "Toggle"
+            },
+            "onToggle": {
+              "const": "<closure>"
+            },
+            "value": {
+              "$ref": "#/$defs/Binding"
+            }
+          },
+          "required": [
+            "$type"
+          ]
+        },
         {
           "type": "object",
           "properties": {
@@ -4012,41 +4040,61 @@
           ]
         },
         {
-          "type": "object",
-          "properties": {
-            "$type": {
-              "const": "Switch"
-            },
-            "cases": {
-              "type": "array",
-              "items": {
-                "type": "object",
-                "properties": {
-                  "child": {
-                    "$ref": "#/$defs/Node"
-                  },
-                  "match": {
-                    "type": "string"
+          "allOf": [
+            {
+              "type": "object",
+              "properties": {
+                "$type": {
+                  "const": "Switch"
+                },
+                "cases": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "properties": {
+                      "child": {
+                        "$ref": "#/$defs/Node"
+                      },
+                      "match": {
+                        "type": "string"
+                      }
+                    },
+                    "required": [
+                      "child",
+                      "match"
+                    ]
                   }
                 },
-                "required": [
-                  "child",
-                  "match"
-                ]
-              }
-            },
-            "default": {
-              "$ref": "#/$defs/Node"
+                "default": {
+                  "$ref": "#/$defs/Node"
+                },
+                "stateKey": {
+                  "type": "string"
+                },
+                "on": {
+                  "$ref": "#/$defs/Binding"
+                }
+              },
+              "required": [
+                "$type",
+                "cases",
+                "default"
+              ]
             },
-            "stateKey": {
-              "type": "string"
+            {
+              "anyOf": [
+                {
+                  "required": [
+                    "stateKey"
+                  ]
+                },
+                {
+                  "required": [
+                    "on"
+                  ]
+                }
+              ]
             }
-          },
-          "required": [
-            "$type",
-            "cases",
-            "default",
-            "stateKey"
           ]
         },
         {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fuaran-ui/conformance",
-  "version": "0.4.0",
+  "version": "0.6.0",
   "description": "Third-party certification kit for the Fuaran UI wire format — runs any candidate implementation (via a small decode/encode adapter) over the bundled canonical fixture corpus and emits a per-leg pass/fail conformance report naming the corpus version. See CONFORMANCE.md for the certification procedure.",
   "keywords": [
     "fuaran",
@@ -43,8 +43,8 @@
   },
   "devDependencies": {
     "@types/node": "^22.10.2",
-    "@fuaran-ui/ops": "0.4.0",
-    "@fuaran-ui/schema": "0.4.0"
+    "@fuaran-ui/ops": "0.6.0",
+    "@fuaran-ui/schema": "0.6.0"
   },
   "publishConfig": {
     "access": "public"