@fuaran-ui/conformance 0.5.0 → 0.6.0

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": [
     {
@@ -1032,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",
@@ -1152,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",
@@ -1328,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",
@@ -1432,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",
@@ -1536,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/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/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/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.5.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.5.0",
-    "@fuaran-ui/schema": "0.5.0"
+    "@fuaran-ui/ops": "0.6.0",
+    "@fuaran-ui/schema": "0.6.0"
   },
   "publishConfig": {
     "access": "public"