@almadar/std 16.173.0 → 16.175.0

package/behaviors/registry/ui/learning/atoms/std-learn-tree.orb

@@ -0,0 +1,3333 @@
+{
+  "description": "Generic ordered-tree builder instrument — inserts values one by one from a config-declared sequence, each value descends left/right by comparison against the current node and attaches as a leaf; the tree renders on algo-graph-canvas (layout: tree, auto-positioned from the parent/child edges), settled nodes green, the descent cursor red, the comparison trail amber. Traverse sweeps the tree to the chosen order (inorder/preorder/levelorder) one node per press or on auto-run, narrating the visit order so far. Vocabulary, sample values, colors, and labels are entirely config-declared, so the same mechanism serves any ordered-tree domain. Standalone by default; behind a lab router set matchMode and it renders only when MODE_SELECTED matches.",
+  "ledger": {
+    "entries": {
+      "ent_01M0CG89EHGC5QQ3DC9B55829P": {
+        "bakedName": "LearnTreeScene",
+        "curName": "LearnTreeScene",
+        "id": "ent_01M0CG89EHGC5QQ3DC9B55829P",
+        "kind": "entity",
+        "owner": "workspace",
+        "renames": []
+      },
+      "evt_01M0CG89EH11YN23CNFJ9XT40B": {
+        "bakedName": "INIT",
+        "curName": "INIT",
+        "id": "evt_01M0CG89EH11YN23CNFJ9XT40B",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJ07EX792Y5KXECNYT": {
+        "bakedName": "RUN_TRAVERSAL",
+        "curName": "RUN_TRAVERSAL",
+        "id": "evt_01M0CG89EJ07EX792Y5KXECNYT",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJ61ZX62ZHT1AD0XJC": {
+        "bakedName": "MODE_SELECTED",
+        "curName": "MODE_SELECTED",
+        "id": "evt_01M0CG89EJ61ZX62ZHT1AD0XJC",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJ7K1E8SZDFQ82DVNR": {
+        "bakedName": "DELETE_VALUE",
+        "curName": "DELETE_VALUE",
+        "id": "evt_01M0CG89EJ7K1E8SZDFQ82DVNR",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJ8JM60CBEG6EGKE9T": {
+        "bakedName": "TOGGLE_RUN",
+        "curName": "TOGGLE_RUN",
+        "id": "evt_01M0CG89EJ8JM60CBEG6EGKE9T",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJFCW46TEMK50BZ8BT": {
+        "bakedName": "RESET",
+        "curName": "RESET",
+        "id": "evt_01M0CG89EJFCW46TEMK50BZ8BT",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJHJA09VKDPZYYKAMF": {
+        "bakedName": "TREE_UPDATED",
+        "curName": "TREE_UPDATED",
+        "id": "evt_01M0CG89EJHJA09VKDPZYYKAMF",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "evt_01M0CG89EJN30MPAE3P0TV5WJZ": {
+        "bakedName": "INSERT_VALUE",
+        "curName": "INSERT_VALUE",
+        "id": "evt_01M0CG89EJN30MPAE3P0TV5WJZ",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "renames": []
+      },
+      "orb_01M0CG89EHJ7FAMVAKBY8C3CRT": {
+        "bakedName": "LearnTreeOrbital",
+        "curName": "LearnTreeOrbital",
+        "id": "orb_01M0CG89EHJ7FAMVAKBY8C3CRT",
+        "kind": "orbital",
+        "owner": "workspace",
+        "renames": []
+      },
+      "pag_01M0CG89EK0FC9Y6NE2R1B8FZF": {
+        "bakedName": "LearnTreePage",
+        "curName": "LearnTreePage",
+        "id": "pag_01M0CG89EK0FC9Y6NE2R1B8FZF",
+        "kind": "page",
+        "owner": "workspace",
+        "renames": []
+      },
+      "trt_01M0CG89EHQS7X90DRZY23WCFC": {
+        "bakedName": "LearnTreeSim",
+        "curName": "LearnTreeSim",
+        "id": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+        "kind": "trait",
+        "owner": "workspace",
+        "renames": []
+      }
+    },
+    "schemaVersion": 1
+  },
+  "name": "std-learn-tree",
+  "orbitals": [
+    {
+      "entity": {
+        "fields": [
+          {
+            "name": "id",
+            "required": true,
+            "type": "string"
+          },
+          {
+            "default": false,
+            "name": "active",
+            "type": "boolean"
+          },
+          {
+            "name": "title",
+            "type": "string"
+          },
+          {
+            "items": {
+              "properties": {
+                "id": {
+                  "name": "id",
+                  "required": true,
+                  "type": "string"
+                },
+                "label": {
+                  "name": "label",
+                  "required": false,
+                  "type": "string"
+                },
+                "state": {
+                  "name": "state",
+                  "required": false,
+                  "type": "string",
+                  "values": [
+                    "unvisited",
+                    "frontier",
+                    "current",
+                    "visited",
+                    "goal",
+                    "path"
+                  ]
+                }
+              },
+              "type": "object"
+            },
+            "name": "nodes",
+            "type": "array"
+          },
+          {
+            "items": {
+              "properties": {
+                "directed": {
+                  "name": "directed",
+                  "required": false,
+                  "type": "boolean"
+                },
+                "from": {
+                  "name": "from",
+                  "required": true,
+                  "type": "string"
+                },
+                "label": {
+                  "name": "label",
+                  "required": false,
+                  "type": "string"
+                },
+                "state": {
+                  "name": "state",
+                  "required": false,
+                  "type": "string",
+                  "values": [
+                    "default",
+                    "tree",
+                    "relaxed",
+                    "candidate",
+                    "path"
+                  ]
+                },
+                "to": {
+                  "name": "to",
+                  "required": true,
+                  "type": "string"
+                }
+              },
+              "type": "object"
+            },
+            "name": "edges",
+            "type": "array"
+          },
+          {
+            "items": {
+              "properties": {
+                "id": {
+                  "name": "id",
+                  "required": true,
+                  "type": "string"
+                },
+                "levelKey": {
+                  "name": "levelKey",
+                  "required": false,
+                  "type": "number"
+                },
+                "path": {
+                  "name": "path",
+                  "required": false,
+                  "type": "string"
+                },
+                "rank": {
+                  "name": "rank",
+                  "required": true,
+                  "type": "number"
+                },
+                "value": {
+                  "name": "value",
+                  "required": true,
+                  "type": "number"
+                }
+              },
+              "type": "object"
+            },
+            "name": "entries",
+            "type": "array"
+          },
+          {
+            "default": 0.0,
+            "name": "cursor",
+            "type": "number"
+          },
+          {
+            "default": 0.0,
+            "name": "pending",
+            "type": "number"
+          },
+          {
+            "default": false,
+            "name": "descending",
+            "type": "boolean"
+          },
+          {
+            "items": {
+              "type": "string"
+            },
+            "name": "trail",
+            "type": "array"
+          },
+          {
+            "default": "",
+            "name": "curId",
+            "type": "string"
+          },
+          {
+            "default": 0.0,
+            "name": "curVal",
+            "type": "number"
+          },
+          {
+            "default": 0.0,
+            "name": "curRank",
+            "type": "number"
+          },
+          {
+            "default": 0.0,
+            "name": "curRankOffset",
+            "type": "number"
+          },
+          {
+            "default": 0.0,
+            "name": "depth",
+            "type": "number"
+          },
+          {
+            "default": 0.0,
+            "name": "maxDepth",
+            "type": "number"
+          },
+          {
+            "default": 0.0,
+            "name": "count",
+            "type": "number"
+          },
+          {
+            "default": false,
+            "name": "traversing",
+            "type": "boolean"
+          },
+          {
+            "items": {
+              "type": "string"
+            },
+            "name": "traversalOrder",
+            "type": "array"
+          },
+          {
+            "items": {
+              "type": "string"
+            },
+            "name": "sweptIds",
+            "type": "array"
+          },
+          {
+            "default": false,
+            "name": "done",
+            "type": "boolean"
+          },
+          {
+            "default": false,
+            "name": "running",
+            "type": "boolean"
+          },
+          {
+            "name": "narration",
+            "type": "string"
+          }
+        ],
+        "id": "ent_01M0CG89EHGC5QQ3DC9B55829P",
+        "name": "LearnTreeScene",
+        "persistence": "runtime"
+      },
+      "id": "orb_01M0CG89EHJ7FAMVAKBY8C3CRT",
+      "name": "LearnTreeOrbital",
+      "pages": [
+        {
+          "id": "pag_01M0CG89EK0FC9Y6NE2R1B8FZF",
+          "name": "LearnTreePage",
+          "path": "/learn-tree",
+          "traits": [
+            {
+              "ref": "LearnTreeSim",
+              "refId": "trt_01M0CG89EHQS7X90DRZY23WCFC"
+            }
+          ]
+        }
+      ],
+      "traits": [
+        {
+          "category": "interaction",
+          "config": {
+            "autoRun": {
+              "default": false,
+              "description": "When true, the tick auto-steps the traversal sweep started by Traverse; toggle live with the Run/Pause button. Has no effect on Insert/Delete, which stay manual.",
+              "label": "Auto Run",
+              "synonyms": "auto run, auto step, auto play",
+              "tier": "domain",
+              "type": "boolean"
+            },
+            "backgroundColor": {
+              "default": "#f8fafc",
+              "description": "Canvas background color.",
+              "label": "Background Color",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "balanced": {
+              "default": false,
+              "description": "When true, each insert's narration reports the tree's current height against its node count so the learner can judge balance; no auto-rotation is performed.",
+              "label": "Balance Readout",
+              "synonyms": "balance, height, balance readout",
+              "tier": "domain",
+              "type": "boolean"
+            },
+            "height": {
+              "default": 400.0,
+              "description": "Canvas height in pixels.",
+              "label": "Height",
+              "tier": "presentation",
+              "type": "number"
+            },
+            "matchMode": {
+              "default": "",
+              "description": "When composed behind a lab router, the MODE_SELECTED mode value this instrument responds to. Empty string means standalone — render immediately on INIT.",
+              "label": "Match Mode",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "showComparisons": {
+              "default": true,
+              "description": "Include each left/right comparison in the narration while a value descends; turn off for a terse attach-only narration.",
+              "label": "Show Comparisons",
+              "synonyms": "comparisons, narration detail",
+              "tier": "presentation",
+              "type": "boolean"
+            },
+            "title": {
+              "default": "Ordered Tree",
+              "description": "Title shown above the canvas.",
+              "label": "Title",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "traversalKind": {
+              "default": "inorder",
+              "description": "Which sweep Traverse replays — inorder (sorted order, left to right), preorder (root before children), or levelorder (breadth first, top to bottom).",
+              "label": "Traversal Kind",
+              "synonyms": "traversal, in-order, pre-order, level-order, sweep",
+              "tier": "domain",
+              "type": "string"
+            },
+            "values": {
+              "default": [
+                50.0,
+                30.0,
+                70.0,
+                20.0,
+                40.0,
+                60.0,
+                80.0
+              ],
+              "description": "The values Insert feeds into the tree, one per descent, in order.",
+              "items": {
+                "type": "number"
+              },
+              "label": "Values",
+              "synonyms": "keys, values to insert, dataset, sequence",
+              "tier": "domain",
+              "type": "[number]"
+            },
+            "width": {
+              "default": 600.0,
+              "description": "Canvas width in pixels.",
+              "label": "Width",
+              "tier": "presentation",
+              "type": "number"
+            }
+          },
+          "emits": [
+            {
+              "description": "The tree after each insert/delete/traversal step — a composed listener (readout, grader) can subscribe; a harmless no-op when the atom runs standalone.",
+              "event": "TREE_UPDATED",
+              "eventId": "evt_01M0CG89EJHJA09VKDPZYYKAMF",
+              "payloadSchema": [
+                {
+                  "name": "nodes",
+                  "type": "[LearnTreeNode]"
+                },
+                {
+                  "name": "edges",
+                  "type": "[LearnTreeEdge]"
+                },
+                {
+                  "name": "count",
+                  "type": "number"
+                },
+                {
+                  "name": "narration",
+                  "type": "string"
+                }
+              ],
+              "scope": "external",
+              "synonyms": "tree update, insert result, traversal result, node count",
+              "tier": "domain"
+            }
+          ],
+          "entityContract": {
+            "provides": [
+              "active",
+              "count",
+              "curId",
+              "curRank",
+              "curRankOffset",
+              "curVal",
+              "cursor",
+              "depth",
+              "descending",
+              "done",
+              "edges",
+              "entries",
+              "maxDepth",
+              "narration",
+              "nodes",
+              "pending",
+              "running",
+              "sweptIds",
+              "title",
+              "trail",
+              "traversalOrder",
+              "traversing"
+            ],
+            "requires": []
+          },
+          "entityRebindable": true,
+          "entityRefIds": {
+            "LearnTreeScene": "ent_01M0CG89EHGC5QQ3DC9B55829P"
+          },
+          "id": "trt_01M0CG89EHQS7X90DRZY23WCFC",
+          "linkedEntity": "LearnTreeScene",
+          "linkedEntityId": "ent_01M0CG89EHGC5QQ3DC9B55829P",
+          "name": "LearnTreeSim",
+          "scope": "instance",
+          "stateMachine": {
+            "events": [
+              {
+                "id": "evt_01M0CG89EH11YN23CNFJ9XT40B",
+                "key": "INIT",
+                "name": "Initialize"
+              },
+              {
+                "description": "Lab router broadcast naming the active mode; this instrument renders when the mode equals matchMode, otherwise renders null.",
+                "id": "evt_01M0CG89EJ61ZX62ZHT1AD0XJC",
+                "key": "MODE_SELECTED",
+                "name": "Mode Selected",
+                "payloadSchema": [
+                  {
+                    "name": "mode",
+                    "type": "string"
+                  }
+                ],
+                "tier": "domain"
+              },
+              {
+                "description": "Insert the next config-declared value: descends one comparison step per press from the root, coloring the descent cursor and comparison trail, until it attaches as a leaf. Pressing again while a descent is in flight continues that same descent.",
+                "id": "evt_01M0CG89EJN30MPAE3P0TV5WJZ",
+                "key": "INSERT_VALUE",
+                "name": "Insert Value",
+                "synonyms": "insert, add, next value, descend, attach",
+                "tier": "domain"
+              },
+              {
+                "description": "Undo the most recently inserted value — removes its node/edge/entry and rewinds the insert cursor by one so the same value can be re-inserted.",
+                "id": "evt_01M0CG89EJ7K1E8SZDFQ82DVNR",
+                "key": "DELETE_VALUE",
+                "name": "Delete Value",
+                "synonyms": "delete, remove, undo, rewind",
+                "tier": "domain"
+              },
+              {
+                "description": "Advance the traversal sweep one node at a time in the configured order (inorder/preorder/levelorder); pressing after the sweep completes starts a fresh sweep.",
+                "id": "evt_01M0CG89EJ07EX792Y5KXECNYT",
+                "key": "RUN_TRAVERSAL",
+                "name": "Run Traversal",
+                "synonyms": "traverse, sweep, visit, walk, in-order, pre-order, level-order",
+                "tier": "domain"
+              },
+              {
+                "description": "Toggle auto-stepping: while running, the tick sweeps the traversal one node forward every step. Has no effect on Insert/Delete, which stay manual.",
+                "id": "evt_01M0CG89EJ8JM60CBEG6EGKE9T",
+                "key": "TOGGLE_RUN",
+                "name": "Toggle Run",
+                "synonyms": "run, pause, auto, auto-step",
+                "tier": "domain"
+              },
+              {
+                "description": "Clear the tree back to empty and restore the insert cursor and running flag from config, ready to insert from the first value again.",
+                "id": "evt_01M0CG89EJFCW46TEMK50BZ8BT",
+                "key": "RESET",
+                "name": "Reset",
+                "synonyms": "reset, clear, restart, start over",
+                "tier": "domain"
+              },
+              {
+                "description": "The tree after each insert/delete/traversal step — a composed listener (readout, grader) can subscribe; a harmless no-op when the atom runs standalone.",
+                "id": "evt_01M0CG89EJHJA09VKDPZYYKAMF",
+                "key": "TREE_UPDATED",
+                "name": "Tree Updated",
+                "payloadSchema": [
+                  {
+                    "name": "nodes",
+                    "type": "[LearnTreeNode]"
+                  },
+                  {
+                    "name": "edges",
+                    "type": "[LearnTreeEdge]"
+                  },
+                  {
+                    "name": "count",
+                    "type": "number"
+                  },
+                  {
+                    "name": "narration",
+                    "type": "string"
+                  }
+                ],
+                "synonyms": "tree update, insert result, traversal result, node count",
+                "tier": "domain"
+              }
+            ],
+            "states": [
+              {
+                "isInitial": true,
+                "name": "idle"
+              }
+            ],
+            "transitions": [
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    "set",
+                    "@entity.title",
+                    "@config.title"
+                  ],
+                  [
+                    "set",
+                    "@entity.nodes",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.edges",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.entries",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.cursor",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.descending",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.trail",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.depth",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.maxDepth",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.count",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.traversing",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.traversalOrder",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.sweptIds",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.done",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.running",
+                    "@config.autoRun"
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    "Press Insert to add the next value; keep pressing to watch it descend."
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "INIT",
+                "eventId": "evt_01M0CG89EH11YN23CNFJ9XT40B",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@config.matchMode",
+                  ""
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    "set",
+                    "@entity.title",
+                    "@config.title"
+                  ],
+                  [
+                    "set",
+                    "@entity.nodes",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.edges",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.entries",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.cursor",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.descending",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.trail",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.depth",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.maxDepth",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.count",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.traversing",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.traversalOrder",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.sweptIds",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.done",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.running",
+                    "@config.autoRun"
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    "Press Insert to add the next value; keep pressing to watch it descend."
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "MODE_SELECTED",
+                "eventId": "evt_01M0CG89EJ61ZX62ZHT1AD0XJC",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@payload.mode",
+                  "@config.matchMode"
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.traversing",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.traversalOrder",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.sweptIds",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.done",
+                    false
+                  ],
+                  [
+                    "if",
+                    [
+                      "not",
+                      "@entity.descending"
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "v",
+                          [
+                            "array/nth",
+                            "@config.values",
+                            "@entity.cursor"
+                          ]
+                        ]
+                      ],
+                      [
+                        "if",
+                        [
+                          "==",
+                          "@entity.count",
+                          0.0
+                        ],
+                        [
+                          "do",
+                          [
+                            "set",
+                            "@entity.pending",
+                            "@v"
+                          ],
+                          [
+                            "set",
+                            "@entity.nodes",
+                            [
+                              "array/append",
+                              "@entity.nodes",
+                              {
+                                "id": "n0",
+                                "label": [
+                                  "str/concat",
+                                  "",
+                                  "@v"
+                                ],
+                                "state": "visited"
+                              }
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.entries",
+                            [
+                              "array/append",
+                              "@entity.entries",
+                              {
+                                "id": "n0",
+                                "levelKey": 300.0,
+                                "path": "",
+                                "rank": 300.0,
+                                "value": "@v"
+                              }
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.count",
+                            1.0
+                          ],
+                          [
+                            "set",
+                            "@entity.cursor",
+                            1.0
+                          ],
+                          [
+                            "set",
+                            "@entity.narration",
+                            [
+                              "str/concat",
+                              "insert ",
+                              [
+                                "str/concat",
+                                "",
+                                "@v"
+                              ],
+                              " — tree empty, becomes root",
+                              [
+                                "if",
+                                "@config.balanced",
+                                " · height 1 for 1 node",
+                                ""
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "do",
+                          [
+                            "set",
+                            "@entity.pending",
+                            "@v"
+                          ],
+                          [
+                            "set",
+                            "@entity.descending",
+                            true
+                          ],
+                          [
+                            "set",
+                            "@entity.trail",
+                            []
+                          ],
+                          [
+                            "set",
+                            "@entity.curId",
+                            [
+                              "object/get",
+                              [
+                                "array/first",
+                                "@entity.entries"
+                              ],
+                              "id"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curVal",
+                            [
+                              "object/get",
+                              [
+                                "array/first",
+                                "@entity.entries"
+                              ],
+                              "value"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curRank",
+                            [
+                              "object/get",
+                              [
+                                "array/first",
+                                "@entity.entries"
+                              ],
+                              "rank"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curRankOffset",
+                            150.0
+                          ],
+                          [
+                            "set",
+                            "@entity.depth",
+                            0.0
+                          ],
+                          [
+                            "set",
+                            "@entity.cursor",
+                            [
+                              "+",
+                              "@entity.cursor",
+                              1.0
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.narration",
+                            [
+                              "str/concat",
+                              "insert ",
+                              [
+                                "str/concat",
+                                "",
+                                "@v"
+                              ],
+                              [
+                                "if",
+                                "@config.showComparisons",
+                                " — compare at the root",
+                                ""
+                              ]
+                            ]
+                          ]
+                        ]
+                      ]
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "side",
+                          [
+                            "if",
+                            [
+                              "<",
+                              "@entity.pending",
+                              "@entity.curVal"
+                            ],
+                            "L",
+                            "R"
+                          ]
+                        ],
+                        [
+                          "child",
+                          [
+                            "array/find",
+                            "@entity.edges",
+                            [
+                              "fn",
+                              "e",
+                              [
+                                "and",
+                                [
+                                  "==",
+                                  [
+                                    "object/get",
+                                    "@e",
+                                    "from"
+                                  ],
+                                  "@entity.curId"
+                                ],
+                                [
+                                  "==",
+                                  [
+                                    "object/get",
+                                    "@e",
+                                    "label"
+                                  ],
+                                  "@side"
+                                ]
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "newRank",
+                          [
+                            "if",
+                            [
+                              "==",
+                              "@side",
+                              "L"
+                            ],
+                            [
+                              "-",
+                              "@entity.curRank",
+                              "@entity.curRankOffset"
+                            ],
+                            [
+                              "+",
+                              "@entity.curRank",
+                              "@entity.curRankOffset"
+                            ]
+                          ]
+                        ],
+                        [
+                          "newId",
+                          [
+                            "str/concat",
+                            "n",
+                            [
+                              "str/concat",
+                              "",
+                              "@entity.count"
+                            ]
+                          ]
+                        ],
+                        [
+                          "newDepth",
+                          [
+                            "+",
+                            "@entity.depth",
+                            1.0
+                          ]
+                        ],
+                        [
+                          "newCount",
+                          [
+                            "+",
+                            "@entity.count",
+                            1.0
+                          ]
+                        ],
+                        [
+                          "newMax",
+                          [
+                            "math/max",
+                            "@entity.maxDepth",
+                            "@newDepth"
+                          ]
+                        ],
+                        [
+                          "cmpText",
+                          [
+                            "str/concat",
+                            [
+                              "str/concat",
+                              "",
+                              "@entity.pending"
+                            ],
+                            [
+                              "if",
+                              [
+                                "==",
+                                "@side",
+                                "L"
+                              ],
+                              " < ",
+                              " >= "
+                            ],
+                            [
+                              "str/concat",
+                              "",
+                              "@entity.curVal"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "if",
+                        [
+                          "==",
+                          "@child",
+                          null
+                        ],
+                        [
+                          "do",
+                          [
+                            "set",
+                            "@entity.narration",
+                            [
+                              "str/concat",
+                              [
+                                "if",
+                                "@config.showComparisons",
+                                [
+                                  "str/concat",
+                                  "@cmpText",
+                                  " — "
+                                ],
+                                ""
+                              ],
+                              "attach ",
+                              [
+                                "str/concat",
+                                "",
+                                "@entity.pending"
+                              ],
+                              " as a leaf",
+                              [
+                                "if",
+                                "@config.balanced",
+                                [
+                                  "str/concat",
+                                  " · height ",
+                                  [
+                                    "str/concat",
+                                    "",
+                                    [
+                                      "+",
+                                      "@newMax",
+                                      1.0
+                                    ]
+                                  ],
+                                  " for ",
+                                  [
+                                    "str/concat",
+                                    "",
+                                    "@newCount"
+                                  ],
+                                  " nodes"
+                                ],
+                                ""
+                              ]
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.nodes",
+                            [
+                              "array/append",
+                              "@entity.nodes",
+                              {
+                                "id": "@newId",
+                                "label": [
+                                  "str/concat",
+                                  "",
+                                  "@entity.pending"
+                                ],
+                                "state": "visited"
+                              }
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.edges",
+                            [
+                              "array/append",
+                              "@entity.edges",
+                              {
+                                "directed": true,
+                                "from": "@entity.curId",
+                                "label": "@side",
+                                "state": "tree",
+                                "to": "@newId"
+                              }
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.entries",
+                            [
+                              "array/append",
+                              "@entity.entries",
+                              {
+                                "id": "@newId",
+                                "levelKey": [
+                                  "+",
+                                  [
+                                    "*",
+                                    "@newDepth",
+                                    10000.0
+                                  ],
+                                  "@newRank"
+                                ],
+                                "path": [
+                                  "str/concat",
+                                  [
+                                    "object/get",
+                                    [
+                                      "array/find",
+                                      "@entity.entries",
+                                      [
+                                        "fn",
+                                        "t",
+                                        [
+                                          "==",
+                                          [
+                                            "object/get",
+                                            "@t",
+                                            "id"
+                                          ],
+                                          "@entity.curId"
+                                        ]
+                                      ]
+                                    ],
+                                    "path"
+                                  ],
+                                  "@side"
+                                ],
+                                "rank": "@newRank",
+                                "value": "@entity.pending"
+                              }
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.count",
+                            "@newCount"
+                          ],
+                          [
+                            "set",
+                            "@entity.maxDepth",
+                            "@newMax"
+                          ],
+                          [
+                            "set",
+                            "@entity.descending",
+                            false
+                          ],
+                          [
+                            "set",
+                            "@entity.trail",
+                            []
+                          ]
+                        ],
+                        [
+                          "do",
+                          [
+                            "set",
+                            "@entity.narration",
+                            [
+                              "str/concat",
+                              [
+                                "if",
+                                "@config.showComparisons",
+                                [
+                                  "str/concat",
+                                  "@cmpText",
+                                  " — "
+                                ],
+                                ""
+                              ],
+                              "descend ",
+                              [
+                                "if",
+                                [
+                                  "==",
+                                  "@side",
+                                  "L"
+                                ],
+                                "left",
+                                "right"
+                              ]
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.trail",
+                            [
+                              "array/append",
+                              "@entity.trail",
+                              "@entity.curId"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curId",
+                            [
+                              "object/get",
+                              "@child",
+                              "to"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curVal",
+                            [
+                              "object/get",
+                              [
+                                "array/find",
+                                "@entity.entries",
+                                [
+                                  "fn",
+                                  "t",
+                                  [
+                                    "==",
+                                    [
+                                      "object/get",
+                                      "@t",
+                                      "id"
+                                    ],
+                                    [
+                                      "object/get",
+                                      "@child",
+                                      "to"
+                                    ]
+                                  ]
+                                ]
+                              ],
+                              "value"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curRank",
+                            [
+                              "object/get",
+                              [
+                                "array/find",
+                                "@entity.entries",
+                                [
+                                  "fn",
+                                  "t",
+                                  [
+                                    "==",
+                                    [
+                                      "object/get",
+                                      "@t",
+                                      "id"
+                                    ],
+                                    [
+                                      "object/get",
+                                      "@child",
+                                      "to"
+                                    ]
+                                  ]
+                                ]
+                              ],
+                              "rank"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.curRankOffset",
+                            [
+                              "/",
+                              "@entity.curRankOffset",
+                              2.0
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.depth",
+                            "@newDepth"
+                          ]
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.nodes",
+                    [
+                      "array/map",
+                      "@entity.nodes",
+                      [
+                        "fn",
+                        "n",
+                        [
+                          "object/merge",
+                          "@n",
+                          {
+                            "state": [
+                              "if",
+                              [
+                                "and",
+                                [
+                                  "==",
+                                  "@entity.descending",
+                                  true
+                                ],
+                                [
+                                  "==",
+                                  [
+                                    "object/get",
+                                    "@n",
+                                    "id"
+                                  ],
+                                  "@entity.curId"
+                                ]
+                              ],
+                              "current",
+                              [
+                                "if",
+                                [
+                                  "and",
+                                  [
+                                    "==",
+                                    "@entity.descending",
+                                    true
+                                  ],
+                                  [
+                                    "array/includes",
+                                    "@entity.trail",
+                                    [
+                                      "object/get",
+                                      "@n",
+                                      "id"
+                                    ]
+                                  ]
+                                ],
+                                "frontier",
+                                "visited"
+                              ]
+                            ]
+                          }
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.edges",
+                    [
+                      "array/map",
+                      "@entity.edges",
+                      [
+                        "fn",
+                        "e",
+                        [
+                          "object/merge",
+                          "@e",
+                          {
+                            "state": [
+                              "if",
+                              [
+                                "and",
+                                [
+                                  "==",
+                                  "@entity.descending",
+                                  true
+                                ],
+                                [
+                                  "==",
+                                  [
+                                    "object/get",
+                                    "@e",
+                                    "from"
+                                  ],
+                                  "@entity.curId"
+                                ]
+                              ],
+                              "candidate",
+                              "tree"
+                            ]
+                          }
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "INSERT_VALUE",
+                "eventId": "evt_01M0CG89EJN30MPAE3P0TV5WJZ",
+                "from": "idle",
+                "guard": [
+                  "and",
+                  [
+                    "==",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    "or",
+                    "@entity.descending",
+                    [
+                      "<",
+                      "@entity.cursor",
+                      [
+                        "array/len",
+                        "@config.values"
+                      ]
+                    ]
+                  ]
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "let",
+                    [
+                      [
+                        "lastId",
+                        [
+                          "object/get",
+                          [
+                            "array/last",
+                            "@entity.entries"
+                          ],
+                          "id"
+                        ]
+                      ],
+                      [
+                        "lastVal",
+                        [
+                          "object/get",
+                          [
+                            "array/last",
+                            "@entity.entries"
+                          ],
+                          "value"
+                        ]
+                      ]
+                    ],
+                    [
+                      "do",
+                      [
+                        "set",
+                        "@entity.nodes",
+                        [
+                          "array/filter",
+                          "@entity.nodes",
+                          [
+                            "fn",
+                            "n",
+                            [
+                              "!=",
+                              [
+                                "object/get",
+                                "@n",
+                                "id"
+                              ],
+                              "@lastId"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.edges",
+                        [
+                          "array/filter",
+                          "@entity.edges",
+                          [
+                            "fn",
+                            "e",
+                            [
+                              "and",
+                              [
+                                "!=",
+                                [
+                                  "object/get",
+                                  "@e",
+                                  "to"
+                                ],
+                                "@lastId"
+                              ],
+                              [
+                                "!=",
+                                [
+                                  "object/get",
+                                  "@e",
+                                  "from"
+                                ],
+                                "@lastId"
+                              ]
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.entries",
+                        [
+                          "array/filter",
+                          "@entity.entries",
+                          [
+                            "fn",
+                            "t",
+                            [
+                              "!=",
+                              [
+                                "object/get",
+                                "@t",
+                                "id"
+                              ],
+                              "@lastId"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.count",
+                        [
+                          "-",
+                          "@entity.count",
+                          1.0
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.cursor",
+                        [
+                          "math/max",
+                          [
+                            "-",
+                            "@entity.cursor",
+                            1.0
+                          ],
+                          0.0
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.descending",
+                        false
+                      ],
+                      [
+                        "set",
+                        "@entity.trail",
+                        []
+                      ],
+                      [
+                        "set",
+                        "@entity.traversing",
+                        false
+                      ],
+                      [
+                        "set",
+                        "@entity.traversalOrder",
+                        []
+                      ],
+                      [
+                        "set",
+                        "@entity.sweptIds",
+                        []
+                      ],
+                      [
+                        "set",
+                        "@entity.done",
+                        false
+                      ],
+                      [
+                        "set",
+                        "@entity.narration",
+                        [
+                          "str/concat",
+                          "remove ",
+                          [
+                            "str/concat",
+                            "",
+                            "@lastVal"
+                          ],
+                          " — the most recently inserted value (undo); press Insert to re-insert"
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.nodes",
+                    [
+                      "array/map",
+                      "@entity.nodes",
+                      [
+                        "fn",
+                        "n",
+                        [
+                          "object/merge",
+                          "@n",
+                          {
+                            "state": "visited"
+                          }
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.edges",
+                    [
+                      "array/map",
+                      "@entity.edges",
+                      [
+                        "fn",
+                        "e",
+                        [
+                          "object/merge",
+                          "@e",
+                          {
+                            "state": "tree"
+                          }
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "DELETE_VALUE",
+                "eventId": "evt_01M0CG89EJ7K1E8SZDFQ82DVNR",
+                "from": "idle",
+                "guard": [
+                  "and",
+                  [
+                    "==",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    ">",
+                    "@entity.count",
+                    0.0
+                  ]
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "if",
+                    [
+                      "or",
+                      [
+                        "==",
+                        "@entity.traversing",
+                        false
+                      ],
+                      [
+                        "==",
+                        "@entity.done",
+                        true
+                      ]
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "order",
+                          [
+                            "if",
+                            [
+                              "==",
+                              "@config.traversalKind",
+                              "preorder"
+                            ],
+                            [
+                              "array/map",
+                              [
+                                "array/sort",
+                                "@entity.entries",
+                                "path",
+                                "asc"
+                              ],
+                              [
+                                "fn",
+                                "t",
+                                [
+                                  "object/get",
+                                  "@t",
+                                  "id"
+                                ]
+                              ]
+                            ],
+                            [
+                              "if",
+                              [
+                                "==",
+                                "@config.traversalKind",
+                                "levelorder"
+                              ],
+                              [
+                                "array/map",
+                                [
+                                  "array/sort",
+                                  "@entity.entries",
+                                  "levelKey",
+                                  "asc"
+                                ],
+                                [
+                                  "fn",
+                                  "t",
+                                  [
+                                    "object/get",
+                                    "@t",
+                                    "id"
+                                  ]
+                                ]
+                              ],
+                              [
+                                "array/map",
+                                [
+                                  "array/sort",
+                                  "@entity.entries",
+                                  "value",
+                                  "asc"
+                                ],
+                                [
+                                  "fn",
+                                  "t",
+                                  [
+                                    "object/get",
+                                    "@t",
+                                    "id"
+                                  ]
+                                ]
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "firstId",
+                          [
+                            "array/first",
+                            "@order"
+                          ]
+                        ]
+                      ],
+                      [
+                        "let",
+                        [
+                          [
+                            "firstVal",
+                            [
+                              "object/get",
+                              [
+                                "array/find",
+                                "@entity.entries",
+                                [
+                                  "fn",
+                                  "t",
+                                  [
+                                    "==",
+                                    [
+                                      "object/get",
+                                      "@t",
+                                      "id"
+                                    ],
+                                    "@firstId"
+                                  ]
+                                ]
+                              ],
+                              "value"
+                            ]
+                          ]
+                        ],
+                        [
+                          "do",
+                          [
+                            "set",
+                            "@entity.traversalOrder",
+                            "@order"
+                          ],
+                          [
+                            "set",
+                            "@entity.sweptIds",
+                            [
+                              "@firstId"
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.traversing",
+                            true
+                          ],
+                          [
+                            "set",
+                            "@entity.done",
+                            [
+                              "==",
+                              [
+                                "array/len",
+                                "@order"
+                              ],
+                              1.0
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.narration",
+                            [
+                              "str/concat",
+                              "@config.traversalKind",
+                              " traversal — visiting order so far: ",
+                              [
+                                "str/concat",
+                                "",
+                                "@firstVal"
+                              ]
+                            ]
+                          ]
+                        ]
+                      ]
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "nextId",
+                          [
+                            "array/nth",
+                            "@entity.traversalOrder",
+                            [
+                              "array/len",
+                              "@entity.sweptIds"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "let",
+                        [
+                          [
+                            "newSwept",
+                            [
+                              "array/append",
+                              "@entity.sweptIds",
+                              "@nextId"
+                            ]
+                          ]
+                        ],
+                        [
+                          "do",
+                          [
+                            "set",
+                            "@entity.sweptIds",
+                            "@newSwept"
+                          ],
+                          [
+                            "set",
+                            "@entity.done",
+                            [
+                              ">=",
+                              [
+                                "array/len",
+                                "@newSwept"
+                              ],
+                              [
+                                "array/len",
+                                "@entity.traversalOrder"
+                              ]
+                            ]
+                          ],
+                          [
+                            "set",
+                            "@entity.narration",
+                            [
+                              "str/concat",
+                              "@config.traversalKind",
+                              " traversal — visiting order so far: ",
+                              [
+                                "str/join",
+                                [
+                                  "array/map",
+                                  "@newSwept",
+                                  [
+                                    "fn",
+                                    "sid",
+                                    [
+                                      "str/concat",
+                                      "",
+                                      [
+                                        "object/get",
+                                        [
+                                          "array/find",
+                                          "@entity.entries",
+                                          [
+                                            "fn",
+                                            "t",
+                                            [
+                                              "==",
+                                              [
+                                                "object/get",
+                                                "@t",
+                                                "id"
+                                              ],
+                                              "@sid"
+                                            ]
+                                          ]
+                                        ],
+                                        "value"
+                                      ]
+                                    ]
+                                  ]
+                                ],
+                                ", "
+                              ]
+                            ]
+                          ]
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.nodes",
+                    [
+                      "array/map",
+                      "@entity.nodes",
+                      [
+                        "fn",
+                        "n",
+                        [
+                          "object/merge",
+                          "@n",
+                          {
+                            "state": [
+                              "if",
+                              [
+                                "and",
+                                [
+                                  "==",
+                                  "@entity.traversing",
+                                  true
+                                ],
+                                [
+                                  "array/includes",
+                                  "@entity.sweptIds",
+                                  [
+                                    "object/get",
+                                    "@n",
+                                    "id"
+                                  ]
+                                ]
+                              ],
+                              "path",
+                              "visited"
+                            ]
+                          }
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.edges",
+                    [
+                      "array/map",
+                      "@entity.edges",
+                      [
+                        "fn",
+                        "e",
+                        [
+                          "object/merge",
+                          "@e",
+                          {
+                            "state": "tree"
+                          }
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "RUN_TRAVERSAL",
+                "eventId": "evt_01M0CG89EJ07EX792Y5KXECNYT",
+                "from": "idle",
+                "guard": [
+                  "and",
+                  [
+                    "==",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    ">",
+                    "@entity.count",
+                    0.0
+                  ]
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.running",
+                    [
+                      "not",
+                      "@entity.running"
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    [
+                      "if",
+                      "@entity.running",
+                      "Auto-stepping the traversal — tick sweeps one node at a time.",
+                      "Paused — step the traversal manually with Traverse."
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "TOGGLE_RUN",
+                "eventId": "evt_01M0CG89EJ8JM60CBEG6EGKE9T",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.nodes",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.edges",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.entries",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.cursor",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.descending",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.trail",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.depth",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.maxDepth",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.count",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.traversing",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.traversalOrder",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.sweptIds",
+                    []
+                  ],
+                  [
+                    "set",
+                    "@entity.done",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.running",
+                    "@config.autoRun"
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    "Press Insert to add the next value; keep pressing to watch it descend."
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": [
+                            {
+                              "content": "@entity.title",
+                              "type": "typography",
+                              "variant": "h4"
+                            },
+                            {
+                              "children": [
+                                {
+                                  "action": "INSERT_VALUE",
+                                  "label": "Insert",
+                                  "type": "button",
+                                  "variant": "primary"
+                                },
+                                {
+                                  "action": "DELETE_VALUE",
+                                  "label": "Delete",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RUN_TRAVERSAL",
+                                  "label": "Traverse",
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "TOGGLE_RUN",
+                                  "label": [
+                                    "if",
+                                    "@entity.running",
+                                    "Pause",
+                                    "Run"
+                                  ],
+                                  "type": "button",
+                                  "variant": "secondary"
+                                },
+                                {
+                                  "action": "RESET",
+                                  "label": "Reset",
+                                  "type": "button",
+                                  "variant": "ghost"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            },
+                            {
+                              "backgroundColor": "@config.backgroundColor",
+                              "edges": "@entity.edges",
+                              "height": "@config.height",
+                              "layout": "tree",
+                              "nodes": "@entity.nodes",
+                              "root": "n0",
+                              "type": "algo-graph-canvas",
+                              "width": "@config.width"
+                            },
+                            {
+                              "content": "@entity.narration",
+                              "type": "typography",
+                              "variant": "body"
+                            }
+                          ],
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "TREE_UPDATED",
+                    {
+                      "count": "@entity.count",
+                      "edges": "@entity.edges",
+                      "narration": "@entity.narration",
+                      "nodes": "@entity.nodes"
+                    }
+                  ]
+                ],
+                "event": "RESET",
+                "eventId": "evt_01M0CG89EJFCW46TEMK50BZ8BT",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                "to": "idle"
+              }
+            ]
+          },
+          "ticks": [
+            {
+              "effects": [
+                [
+                  "if",
+                  [
+                    "or",
+                    [
+                      "==",
+                      "@entity.traversing",
+                      false
+                    ],
+                    [
+                      "==",
+                      "@entity.done",
+                      true
+                    ]
+                  ],
+                  [
+                    "let",
+                    [
+                      [
+                        "order",
+                        [
+                          "if",
+                          [
+                            "==",
+                            "@config.traversalKind",
+                            "preorder"
+                          ],
+                          [
+                            "array/map",
+                            [
+                              "array/sort",
+                              "@entity.entries",
+                              "path",
+                              "asc"
+                            ],
+                            [
+                              "fn",
+                              "t",
+                              [
+                                "object/get",
+                                "@t",
+                                "id"
+                              ]
+                            ]
+                          ],
+                          [
+                            "if",
+                            [
+                              "==",
+                              "@config.traversalKind",
+                              "levelorder"
+                            ],
+                            [
+                              "array/map",
+                              [
+                                "array/sort",
+                                "@entity.entries",
+                                "levelKey",
+                                "asc"
+                              ],
+                              [
+                                "fn",
+                                "t",
+                                [
+                                  "object/get",
+                                  "@t",
+                                  "id"
+                                ]
+                              ]
+                            ],
+                            [
+                              "array/map",
+                              [
+                                "array/sort",
+                                "@entity.entries",
+                                "value",
+                                "asc"
+                              ],
+                              [
+                                "fn",
+                                "t",
+                                [
+                                  "object/get",
+                                  "@t",
+                                  "id"
+                                ]
+                              ]
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "firstId",
+                        [
+                          "array/first",
+                          "@order"
+                        ]
+                      ]
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "firstVal",
+                          [
+                            "object/get",
+                            [
+                              "array/find",
+                              "@entity.entries",
+                              [
+                                "fn",
+                                "t",
+                                [
+                                  "==",
+                                  [
+                                    "object/get",
+                                    "@t",
+                                    "id"
+                                  ],
+                                  "@firstId"
+                                ]
+                              ]
+                            ],
+                            "value"
+                          ]
+                        ]
+                      ],
+                      [
+                        "do",
+                        [
+                          "set",
+                          "@entity.traversalOrder",
+                          "@order"
+                        ],
+                        [
+                          "set",
+                          "@entity.sweptIds",
+                          [
+                            "@firstId"
+                          ]
+                        ],
+                        [
+                          "set",
+                          "@entity.traversing",
+                          true
+                        ],
+                        [
+                          "set",
+                          "@entity.done",
+                          [
+                            "==",
+                            [
+                              "array/len",
+                              "@order"
+                            ],
+                            1.0
+                          ]
+                        ],
+                        [
+                          "set",
+                          "@entity.narration",
+                          [
+                            "str/concat",
+                            "@config.traversalKind",
+                            " traversal — visiting order so far: ",
+                            [
+                              "str/concat",
+                              "",
+                              "@firstVal"
+                            ]
+                          ]
+                        ]
+                      ]
+                    ]
+                  ],
+                  [
+                    "let",
+                    [
+                      [
+                        "nextId",
+                        [
+                          "array/nth",
+                          "@entity.traversalOrder",
+                          [
+                            "array/len",
+                            "@entity.sweptIds"
+                          ]
+                        ]
+                      ]
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "newSwept",
+                          [
+                            "array/append",
+                            "@entity.sweptIds",
+                            "@nextId"
+                          ]
+                        ]
+                      ],
+                      [
+                        "do",
+                        [
+                          "set",
+                          "@entity.sweptIds",
+                          "@newSwept"
+                        ],
+                        [
+                          "set",
+                          "@entity.done",
+                          [
+                            ">=",
+                            [
+                              "array/len",
+                              "@newSwept"
+                            ],
+                            [
+                              "array/len",
+                              "@entity.traversalOrder"
+                            ]
+                          ]
+                        ],
+                        [
+                          "set",
+                          "@entity.narration",
+                          [
+                            "str/concat",
+                            "@config.traversalKind",
+                            " traversal — visiting order so far: ",
+                            [
+                              "str/join",
+                              [
+                                "array/map",
+                                "@newSwept",
+                                [
+                                  "fn",
+                                  "sid",
+                                  [
+                                    "str/concat",
+                                    "",
+                                    [
+                                      "object/get",
+                                      [
+                                        "array/find",
+                                        "@entity.entries",
+                                        [
+                                          "fn",
+                                          "t",
+                                          [
+                                            "==",
+                                            [
+                                              "object/get",
+                                              "@t",
+                                              "id"
+                                            ],
+                                            "@sid"
+                                          ]
+                                        ]
+                                      ],
+                                      "value"
+                                    ]
+                                  ]
+                                ]
+                              ],
+                              ", "
+                            ]
+                          ]
+                        ]
+                      ]
+                    ]
+                  ]
+                ],
+                [
+                  "set",
+                  "@entity.nodes",
+                  [
+                    "array/map",
+                    "@entity.nodes",
+                    [
+                      "fn",
+                      "n",
+                      [
+                        "object/merge",
+                        "@n",
+                        {
+                          "state": [
+                            "if",
+                            [
+                              "and",
+                              [
+                                "==",
+                                "@entity.traversing",
+                                true
+                              ],
+                              [
+                                "array/includes",
+                                "@entity.sweptIds",
+                                [
+                                  "object/get",
+                                  "@n",
+                                  "id"
+                                ]
+                              ]
+                            ],
+                            "path",
+                            "visited"
+                          ]
+                        }
+                      ]
+                    ]
+                  ]
+                ],
+                [
+                  "set",
+                  "@entity.edges",
+                  [
+                    "array/map",
+                    "@entity.edges",
+                    [
+                      "fn",
+                      "e",
+                      [
+                        "object/merge",
+                        "@e",
+                        {
+                          "state": "tree"
+                        }
+                      ]
+                    ]
+                  ]
+                ],
+                [
+                  "render-ui",
+                  "main",
+                  {
+                    "children": [
+                      {
+                        "children": [
+                          {
+                            "content": "@entity.title",
+                            "type": "typography",
+                            "variant": "h4"
+                          },
+                          {
+                            "children": [
+                              {
+                                "action": "INSERT_VALUE",
+                                "label": "Insert",
+                                "type": "button",
+                                "variant": "primary"
+                              },
+                              {
+                                "action": "DELETE_VALUE",
+                                "label": "Delete",
+                                "type": "button",
+                                "variant": "secondary"
+                              },
+                              {
+                                "action": "RUN_TRAVERSAL",
+                                "label": "Traverse",
+                                "type": "button",
+                                "variant": "secondary"
+                              },
+                              {
+                                "action": "TOGGLE_RUN",
+                                "label": [
+                                  "if",
+                                  "@entity.running",
+                                  "Pause",
+                                  "Run"
+                                ],
+                                "type": "button",
+                                "variant": "secondary"
+                              },
+                              {
+                                "action": "RESET",
+                                "label": "Reset",
+                                "type": "button",
+                                "variant": "ghost"
+                              }
+                            ],
+                            "direction": "horizontal",
+                            "gap": "sm",
+                            "type": "stack"
+                          },
+                          {
+                            "backgroundColor": "@config.backgroundColor",
+                            "edges": "@entity.edges",
+                            "height": "@config.height",
+                            "layout": "tree",
+                            "nodes": "@entity.nodes",
+                            "root": "n0",
+                            "type": "algo-graph-canvas",
+                            "width": "@config.width"
+                          },
+                          {
+                            "content": "@entity.narration",
+                            "type": "typography",
+                            "variant": "body"
+                          }
+                        ],
+                        "direction": "vertical",
+                        "gap": "md",
+                        "type": "stack"
+                      }
+                    ],
+                    "padding": "md",
+                    "type": "box"
+                  }
+                ],
+                [
+                  "emit",
+                  "TREE_UPDATED",
+                  {
+                    "count": "@entity.count",
+                    "edges": "@entity.edges",
+                    "narration": "@entity.narration",
+                    "nodes": "@entity.nodes"
+                  }
+                ]
+              ],
+              "guard": [
+                "and",
+                [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                [
+                  "and",
+                  [
+                    "==",
+                    "@entity.running",
+                    true
+                  ],
+                  [
+                    "not",
+                    [
+                      "==",
+                      "@entity.done",
+                      true
+                    ]
+                  ]
+                ]
+              ],
+              "interval": 500.0,
+              "name": "treeTick"
+            }
+          ]
+        }
+      ]
+    }
+  ],
+  "schemaVersion": 1,
+  "version": "1.0.0"
+}