@almadar/std 16.173.0 → 16.175.0

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

@@ -0,0 +1,2512 @@
+{
+  "description": "Generic goal-directed derivation/proof-builder instrument — config-declared starting lines (facts and two-sided links) sit in a scrollable derivation panel with per-line badges, a roster of config-declared candidate steps render as buttons, and picking one dynamically matches it against the CURRENT lines (a left/right side of some link plus a same/opposite negation sense) to derive a new line, appending it with config-declared badge styling on success or surfacing a config-declared feedback string on failure; an inline clock can auto-apply the first applicable candidate every autoApplyIntervalMs while running, a Reset restores the starting lines, and the goal is reached when a derived line's label matches the config-declared goal label. Left/right and same/opposite are structural roles, not domain vocabulary, so the same matching mechanism serves propositional inference, chained implications, precursor/product chemistry, or any other two-sided-relation derivation on a biology-canvas-free text panel. Standalone by default; behind a lab router set matchMode and it renders only when MODE_SELECTED matches.",
+  "ledger": {
+    "entries": {
+      "ent_01M0CGJFW9Z93KB1TW33WPHER1": {
+        "bakedName": "LearnDerivationScene",
+        "curName": "LearnDerivationScene",
+        "id": "ent_01M0CGJFW9Z93KB1TW33WPHER1",
+        "kind": "entity",
+        "owner": "workspace",
+        "renames": []
+      },
+      "evt_01M0CGJFW96K8FBC6WV4D341YQ": {
+        "bakedName": "MODE_SELECTED",
+        "curName": "MODE_SELECTED",
+        "id": "evt_01M0CGJFW96K8FBC6WV4D341YQ",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "renames": []
+      },
+      "evt_01M0CGJFW98W2XTBPXCK1DWBHW": {
+        "bakedName": "RESET",
+        "curName": "RESET",
+        "id": "evt_01M0CGJFW98W2XTBPXCK1DWBHW",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "renames": []
+      },
+      "evt_01M0CGJFW9AA9N4C7ADX4VGB15": {
+        "bakedName": "APPLY_STEP",
+        "curName": "APPLY_STEP",
+        "id": "evt_01M0CGJFW9AA9N4C7ADX4VGB15",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "renames": []
+      },
+      "evt_01M0CGJFW9FJVWEPW6PZH91R9A": {
+        "bakedName": "INIT",
+        "curName": "INIT",
+        "id": "evt_01M0CGJFW9FJVWEPW6PZH91R9A",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "renames": []
+      },
+      "evt_01M0CGJFW9HC02BTAY2QGW6ZNE": {
+        "bakedName": "DERIVATION_UPDATED",
+        "curName": "DERIVATION_UPDATED",
+        "id": "evt_01M0CGJFW9HC02BTAY2QGW6ZNE",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "renames": []
+      },
+      "evt_01M0CGJFW9S6N0YP8GJFD54KXA": {
+        "bakedName": "TOGGLE_RUN",
+        "curName": "TOGGLE_RUN",
+        "id": "evt_01M0CGJFW9S6N0YP8GJFD54KXA",
+        "kind": "event",
+        "owner": "workspace",
+        "parent": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "renames": []
+      },
+      "orb_01M0CGJFW9KQ380JGA7R8T6ZCR": {
+        "bakedName": "LearnDerivationOrbital",
+        "curName": "LearnDerivationOrbital",
+        "id": "orb_01M0CGJFW9KQ380JGA7R8T6ZCR",
+        "kind": "orbital",
+        "owner": "workspace",
+        "renames": []
+      },
+      "pag_01M0CGJFW9TZY33G343TZGVYYT": {
+        "bakedName": "LearnDerivationPage",
+        "curName": "LearnDerivationPage",
+        "id": "pag_01M0CGJFW9TZY33G343TZGVYYT",
+        "kind": "page",
+        "owner": "workspace",
+        "renames": []
+      },
+      "trt_01M0CGJFW9PRAPQTAZS9GBDEVH": {
+        "bakedName": "LearnDerivationSim",
+        "curName": "LearnDerivationSim",
+        "id": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+        "kind": "trait",
+        "owner": "workspace",
+        "renames": []
+      }
+    },
+    "schemaVersion": 1
+  },
+  "name": "std-learn-derivation",
+  "orbitals": [
+    {
+      "entity": {
+        "fields": [
+          {
+            "name": "id",
+            "required": true,
+            "type": "string"
+          },
+          {
+            "default": false,
+            "name": "active",
+            "type": "boolean"
+          },
+          {
+            "name": "title",
+            "type": "string"
+          },
+          {
+            "items": {
+              "properties": {
+                "badgeLabel": {
+                  "name": "badgeLabel",
+                  "required": false,
+                  "type": "string"
+                },
+                "badgeVariant": {
+                  "name": "badgeVariant",
+                  "required": false,
+                  "type": "string"
+                },
+                "id": {
+                  "name": "id",
+                  "required": true,
+                  "type": "string"
+                },
+                "kind": {
+                  "name": "kind",
+                  "required": true,
+                  "type": "string",
+                  "values": [
+                    "fact",
+                    "link"
+                  ]
+                },
+                "label": {
+                  "name": "label",
+                  "required": true,
+                  "type": "string"
+                },
+                "leftNegated": {
+                  "name": "leftNegated",
+                  "required": false,
+                  "type": "boolean"
+                },
+                "leftSubject": {
+                  "name": "leftSubject",
+                  "required": false,
+                  "type": "string"
+                },
+                "negated": {
+                  "name": "negated",
+                  "required": false,
+                  "type": "boolean"
+                },
+                "rightNegated": {
+                  "name": "rightNegated",
+                  "required": false,
+                  "type": "boolean"
+                },
+                "rightSubject": {
+                  "name": "rightSubject",
+                  "required": false,
+                  "type": "string"
+                },
+                "subject": {
+                  "name": "subject",
+                  "required": false,
+                  "type": "string"
+                }
+              },
+              "type": "object"
+            },
+            "name": "lines",
+            "type": "array"
+          },
+          {
+            "name": "feedback",
+            "type": "string"
+          },
+          {
+            "default": false,
+            "name": "goalReached",
+            "type": "boolean"
+          },
+          {
+            "default": false,
+            "name": "running",
+            "type": "boolean"
+          },
+          {
+            "default": 0.0,
+            "name": "elapsedMs",
+            "type": "number"
+          },
+          {
+            "name": "narration",
+            "type": "string"
+          },
+          {
+            "items": {
+              "type": "node"
+            },
+            "name": "renderChildren",
+            "type": "array"
+          }
+        ],
+        "id": "ent_01M0CGJFW9Z93KB1TW33WPHER1",
+        "name": "LearnDerivationScene",
+        "persistence": "runtime"
+      },
+      "id": "orb_01M0CGJFW9KQ380JGA7R8T6ZCR",
+      "name": "LearnDerivationOrbital",
+      "pages": [
+        {
+          "id": "pag_01M0CGJFW9TZY33G343TZGVYYT",
+          "name": "LearnDerivationPage",
+          "path": "/learn-derivation",
+          "traits": [
+            {
+              "ref": "LearnDerivationSim",
+              "refId": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH"
+            }
+          ]
+        }
+      ],
+      "traits": [
+        {
+          "category": "interaction",
+          "config": {
+            "autoApplyIntervalMs": {
+              "default": 800.0,
+              "description": "Milliseconds of running clock per automatic candidate application — the 32ms base tick accumulates elapsed time and applies the first applicable candidate each time this interval elapses.",
+              "label": "Auto-Apply Interval (ms)",
+              "tier": "domain",
+              "type": "number"
+            },
+            "autoRun": {
+              "default": false,
+              "description": "When true, INIT/MODE_SELECTED/Reset start the tick auto-applying candidates; toggle live with the Run/Pause button.",
+              "label": "Auto Run",
+              "tier": "domain",
+              "type": "boolean"
+            },
+            "autoRunOffMessage": {
+              "default": "Paused — apply steps manually.",
+              "description": "Feedback shown when Run is toggled off (Pause).",
+              "label": "Auto Run Off Message",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "autoRunOnMessage": {
+              "default": "Auto-stepping — tick applies the next available step.",
+              "description": "Feedback shown when Run is toggled on.",
+              "label": "Auto Run On Message",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "candidates": {
+              "default": [
+                {
+                  "deriveNegationMode": "same",
+                  "deriveSide": "right",
+                  "key": "FORWARD",
+                  "label": "Forward Rule",
+                  "matchNegationMode": "same",
+                  "matchSide": "left",
+                  "noMatchFeedback": "No matching premises yet for the forward rule.",
+                  "resultBadgeLabel": "DERIVED",
+                  "resultBadgeVariant": "success"
+                },
+                {
+                  "deriveNegationMode": "invert",
+                  "deriveSide": "left",
+                  "key": "BACKWARD",
+                  "label": "Backward Rule",
+                  "matchNegationMode": "opposite",
+                  "matchSide": "right",
+                  "noMatchFeedback": "No matching premises yet for the backward rule.",
+                  "resultBadgeLabel": "DERIVED",
+                  "resultBadgeVariant": "success"
+                }
+              ],
+              "description": "Candidate steps offered as buttons. Each declares which side of a link it matches against a current fact (matchSide/matchNegationMode) and which side it derives (deriveSide/deriveNegationMode) — left/right and same/opposite/invert are structural roles, not domain vocabulary, so the same two candidates can encode modus ponens/modus tollens, a forward/backward chemical rule, or any other two-sided derivation pair.",
+              "items": {
+                "properties": {
+                  "deriveNegationMode": {
+                    "name": "deriveNegationMode",
+                    "required": true,
+                    "type": "string",
+                    "values": [
+                      "same",
+                      "invert"
+                    ]
+                  },
+                  "deriveSide": {
+                    "name": "deriveSide",
+                    "required": true,
+                    "type": "string",
+                    "values": [
+                      "left",
+                      "right"
+                    ]
+                  },
+                  "key": {
+                    "name": "key",
+                    "required": true,
+                    "type": "string"
+                  },
+                  "label": {
+                    "name": "label",
+                    "required": true,
+                    "type": "string"
+                  },
+                  "matchNegationMode": {
+                    "name": "matchNegationMode",
+                    "required": true,
+                    "type": "string",
+                    "values": [
+                      "same",
+                      "opposite"
+                    ]
+                  },
+                  "matchSide": {
+                    "name": "matchSide",
+                    "required": true,
+                    "type": "string",
+                    "values": [
+                      "left",
+                      "right"
+                    ]
+                  },
+                  "noMatchFeedback": {
+                    "name": "noMatchFeedback",
+                    "required": false,
+                    "type": "string"
+                  },
+                  "resultBadgeLabel": {
+                    "name": "resultBadgeLabel",
+                    "required": false,
+                    "type": "string"
+                  },
+                  "resultBadgeVariant": {
+                    "name": "resultBadgeVariant",
+                    "required": false,
+                    "type": "string"
+                  }
+                },
+                "type": "object"
+              },
+              "label": "Candidates",
+              "synonyms": "candidate, rule, step, inference rule, derivation rule, deduction rule",
+              "tier": "domain",
+              "type": "[LearnDerivationCandidate]"
+            },
+            "goalLabel": {
+              "default": "B",
+              "description": "The line label the learner is trying to derive; goalReached fires when a newly derived line's label equals this.",
+              "label": "Goal",
+              "synonyms": "target, goal, derivation target, conclusion",
+              "tier": "domain",
+              "type": "string"
+            },
+            "goalPrefix": {
+              "default": "Goal: derive ",
+              "description": "Text prepended to goalLabel to form the goal caption shown above the derivation panel.",
+              "label": "Goal Caption Prefix",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "goalReachedMessage": {
+              "default": "Goal reached.",
+              "description": "Caption shown once goalReached is true.",
+              "label": "Goal Reached Message",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "height": {
+              "default": 400.0,
+              "description": "Maximum height of the scrollable derivation panel, 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"
+            },
+            "negationSymbol": {
+              "default": "¬",
+              "description": "Prefix prepended to a derived line's label when it is negated.",
+              "label": "Negation Symbol",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "noStepAvailableMessage": {
+              "default": "No further steps are available yet.",
+              "description": "Feedback shown when the auto-apply tick finds no applicable candidate.",
+              "label": "No Step Available Message",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "premises": {
+              "default": [
+                {
+                  "badgeLabel": "GIVEN",
+                  "badgeVariant": "neutral",
+                  "id": "given-a",
+                  "kind": "fact",
+                  "label": "A",
+                  "negated": false,
+                  "subject": "A"
+                },
+                {
+                  "badgeLabel": "RULE",
+                  "badgeVariant": "info",
+                  "id": "given-a-implies-b",
+                  "kind": "link",
+                  "label": "A → B",
+                  "leftNegated": false,
+                  "leftSubject": "A",
+                  "rightNegated": false,
+                  "rightSubject": "B"
+                }
+              ],
+              "description": "The starting lines of the derivation: plain facts (subject/negated) and two-sided links (leftSubject/leftNegated/rightSubject/rightNegated) the learner combines with candidate steps. Each line carries its own badgeLabel/badgeVariant.",
+              "items": {
+                "properties": {
+                  "badgeLabel": {
+                    "name": "badgeLabel",
+                    "required": false,
+                    "type": "string"
+                  },
+                  "badgeVariant": {
+                    "name": "badgeVariant",
+                    "required": false,
+                    "type": "string"
+                  },
+                  "id": {
+                    "name": "id",
+                    "required": true,
+                    "type": "string"
+                  },
+                  "kind": {
+                    "name": "kind",
+                    "required": true,
+                    "type": "string",
+                    "values": [
+                      "fact",
+                      "link"
+                    ]
+                  },
+                  "label": {
+                    "name": "label",
+                    "required": true,
+                    "type": "string"
+                  },
+                  "leftNegated": {
+                    "name": "leftNegated",
+                    "required": false,
+                    "type": "boolean"
+                  },
+                  "leftSubject": {
+                    "name": "leftSubject",
+                    "required": false,
+                    "type": "string"
+                  },
+                  "negated": {
+                    "name": "negated",
+                    "required": false,
+                    "type": "boolean"
+                  },
+                  "rightNegated": {
+                    "name": "rightNegated",
+                    "required": false,
+                    "type": "boolean"
+                  },
+                  "rightSubject": {
+                    "name": "rightSubject",
+                    "required": false,
+                    "type": "string"
+                  },
+                  "subject": {
+                    "name": "subject",
+                    "required": false,
+                    "type": "string"
+                  }
+                },
+                "type": "object"
+              },
+              "label": "Premises",
+              "synonyms": "premise, given, starting line, hypothesis, starting statement",
+              "tier": "domain",
+              "type": "[LearnDerivationLine]"
+            },
+            "resetLabel": {
+              "default": "Reset",
+              "description": "Label text for the button that restores the starting premises.",
+              "label": "Reset Button Label",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "title": {
+              "default": "Derivation Lab",
+              "description": "Title shown above the derivation panel.",
+              "label": "Title",
+              "tier": "presentation",
+              "type": "string"
+            },
+            "width": {
+              "default": 600.0,
+              "description": "Maximum width of the panel, in pixels.",
+              "label": "Width",
+              "tier": "presentation",
+              "type": "number"
+            }
+          },
+          "emits": [
+            {
+              "description": "The derivation state after each learner action — a composed listener (readout, grader) can subscribe; a harmless no-op when the atom runs standalone.",
+              "event": "DERIVATION_UPDATED",
+              "eventId": "evt_01M0CGJFW9HC02BTAY2QGW6ZNE",
+              "payloadSchema": [
+                {
+                  "name": "feedback",
+                  "type": "string"
+                },
+                {
+                  "name": "goalReached",
+                  "type": "boolean"
+                },
+                {
+                  "name": "lineCount",
+                  "type": "number"
+                },
+                {
+                  "name": "narration",
+                  "type": "string"
+                }
+              ],
+              "scope": "external",
+              "synonyms": "derivation update, proof step, derived line, candidate applied, goal reached",
+              "tier": "domain"
+            }
+          ],
+          "entityContract": {
+            "provides": [
+              "active",
+              "elapsedMs",
+              "feedback",
+              "goalReached",
+              "lines",
+              "narration",
+              "renderChildren",
+              "running",
+              "title"
+            ],
+            "requires": []
+          },
+          "entityRebindable": true,
+          "entityRefIds": {
+            "LearnDerivationScene": "ent_01M0CGJFW9Z93KB1TW33WPHER1"
+          },
+          "id": "trt_01M0CGJFW9PRAPQTAZS9GBDEVH",
+          "linkedEntity": "LearnDerivationScene",
+          "linkedEntityId": "ent_01M0CGJFW9Z93KB1TW33WPHER1",
+          "name": "LearnDerivationSim",
+          "scope": "instance",
+          "stateMachine": {
+            "events": [
+              {
+                "id": "evt_01M0CGJFW9FJVWEPW6PZH91R9A",
+                "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_01M0CGJFW96K8FBC6WV4D341YQ",
+                "key": "MODE_SELECTED",
+                "name": "Mode Selected",
+                "payloadSchema": [
+                  {
+                    "name": "mode",
+                    "type": "string"
+                  }
+                ],
+                "tier": "domain"
+              },
+              {
+                "description": "Learner clicked a candidate-step button to try to derive the next line: the candidate's matchSide/matchNegationMode is matched against the current lines, and on success its deriveSide/deriveNegationMode determines the appended line.",
+                "id": "evt_01M0CGJFW9AA9N4C7ADX4VGB15",
+                "key": "APPLY_STEP",
+                "name": "Apply Step",
+                "payloadSchema": [
+                  {
+                    "name": "candidateKey",
+                    "type": "string"
+                  }
+                ],
+                "tier": "domain"
+              },
+              {
+                "description": "Learner toggled auto-derive: while running, the tick applies the first applicable candidate automatically every autoApplyIntervalMs.",
+                "id": "evt_01M0CGJFW9S6N0YP8GJFD54KXA",
+                "key": "TOGGLE_RUN",
+                "name": "Toggle Run",
+                "tier": "domain"
+              },
+              {
+                "description": "Learner reset the derivation: lines restore to the config-declared starting premises, feedback/narration clear, and goalReached/running reset.",
+                "id": "evt_01M0CGJFW98W2XTBPXCK1DWBHW",
+                "key": "RESET",
+                "name": "Reset",
+                "tier": "domain"
+              },
+              {
+                "description": "The derivation state after each learner action — a composed listener (readout, grader) can subscribe; a harmless no-op when the atom runs standalone.",
+                "id": "evt_01M0CGJFW9HC02BTAY2QGW6ZNE",
+                "key": "DERIVATION_UPDATED",
+                "name": "Derivation Updated",
+                "payloadSchema": [
+                  {
+                    "name": "feedback",
+                    "type": "string"
+                  },
+                  {
+                    "name": "goalReached",
+                    "type": "boolean"
+                  },
+                  {
+                    "name": "lineCount",
+                    "type": "number"
+                  },
+                  {
+                    "name": "narration",
+                    "type": "string"
+                  }
+                ],
+                "synonyms": "derivation update, proof step, derived line, candidate applied, goal reached",
+                "tier": "domain"
+              }
+            ],
+            "states": [
+              {
+                "isInitial": true,
+                "name": "idle"
+              }
+            ],
+            "transitions": [
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    "set",
+                    "@entity.title",
+                    "@config.title"
+                  ],
+                  [
+                    "set",
+                    "@entity.feedback",
+                    ""
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    ""
+                  ],
+                  [
+                    "set",
+                    "@entity.goalReached",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.running",
+                    "@config.autoRun"
+                  ],
+                  [
+                    "set",
+                    "@entity.elapsedMs",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.lines",
+                    "@config.premises"
+                  ],
+                  [
+                    "set",
+                    "@entity.renderChildren",
+                    [
+                      {
+                        "content": "@entity.title",
+                        "type": "typography",
+                        "variant": "h4"
+                      },
+                      {
+                        "content": [
+                          "str/concat",
+                          "@config.goalPrefix",
+                          "@config.goalLabel"
+                        ],
+                        "type": "typography",
+                        "variant": "body"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "line",
+                            {
+                              "children": [
+                                {
+                                  "label": "@line.badgeLabel",
+                                  "type": "badge",
+                                  "variant": "@line.badgeVariant"
+                                },
+                                {
+                                  "content": "@line.label",
+                                  "type": "typography",
+                                  "variant": "body"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            }
+                          ]
+                        ],
+                        "direction": "vertical",
+                        "gap": "xs",
+                        "style": {
+                          "maxHeight": [
+                            "str/concat",
+                            "@config.height",
+                            "px"
+                          ],
+                          "overflowY": "auto"
+                        },
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@config.candidates",
+                          [
+                            "fn",
+                            "c",
+                            {
+                              "action": "APPLY_STEP",
+                              "actionPayload": {
+                                "candidateKey": "@c.key"
+                              },
+                              "label": "@c.label",
+                              "type": "button",
+                              "variant": "primary"
+                            }
+                          ]
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          {
+                            "action": "TOGGLE_RUN",
+                            "label": [
+                              "if",
+                              "@entity.running",
+                              "Pause",
+                              "Run"
+                            ],
+                            "type": "button",
+                            "variant": "secondary"
+                          },
+                          {
+                            "action": "RESET",
+                            "label": "@config.resetLabel",
+                            "type": "button",
+                            "variant": "ghost"
+                          }
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "content": "@entity.narration",
+                        "type": "typography",
+                        "variant": "caption"
+                      },
+                      {
+                        "content": [
+                          "if",
+                          "@entity.goalReached",
+                          "@config.goalReachedMessage",
+                          ""
+                        ],
+                        "type": "typography",
+                        "variant": "caption"
+                      }
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": "@entity.renderChildren",
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "maxWidth": [
+                        "str/concat",
+                        "@config.width",
+                        "px"
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ]
+                ],
+                "event": "INIT",
+                "eventId": "evt_01M0CGJFW9FJVWEPW6PZH91R9A",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@config.matchMode",
+                  ""
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.active",
+                    true
+                  ],
+                  [
+                    "set",
+                    "@entity.title",
+                    "@config.title"
+                  ],
+                  [
+                    "set",
+                    "@entity.feedback",
+                    ""
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    ""
+                  ],
+                  [
+                    "set",
+                    "@entity.goalReached",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.running",
+                    "@config.autoRun"
+                  ],
+                  [
+                    "set",
+                    "@entity.elapsedMs",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.lines",
+                    "@config.premises"
+                  ],
+                  [
+                    "set",
+                    "@entity.renderChildren",
+                    [
+                      {
+                        "content": "@entity.title",
+                        "type": "typography",
+                        "variant": "h4"
+                      },
+                      {
+                        "content": [
+                          "str/concat",
+                          "@config.goalPrefix",
+                          "@config.goalLabel"
+                        ],
+                        "type": "typography",
+                        "variant": "body"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "line",
+                            {
+                              "children": [
+                                {
+                                  "label": "@line.badgeLabel",
+                                  "type": "badge",
+                                  "variant": "@line.badgeVariant"
+                                },
+                                {
+                                  "content": "@line.label",
+                                  "type": "typography",
+                                  "variant": "body"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            }
+                          ]
+                        ],
+                        "direction": "vertical",
+                        "gap": "xs",
+                        "style": {
+                          "maxHeight": [
+                            "str/concat",
+                            "@config.height",
+                            "px"
+                          ],
+                          "overflowY": "auto"
+                        },
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@config.candidates",
+                          [
+                            "fn",
+                            "c",
+                            {
+                              "action": "APPLY_STEP",
+                              "actionPayload": {
+                                "candidateKey": "@c.key"
+                              },
+                              "label": "@c.label",
+                              "type": "button",
+                              "variant": "primary"
+                            }
+                          ]
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          {
+                            "action": "TOGGLE_RUN",
+                            "label": [
+                              "if",
+                              "@entity.running",
+                              "Pause",
+                              "Run"
+                            ],
+                            "type": "button",
+                            "variant": "secondary"
+                          },
+                          {
+                            "action": "RESET",
+                            "label": "@config.resetLabel",
+                            "type": "button",
+                            "variant": "ghost"
+                          }
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "content": "@entity.narration",
+                        "type": "typography",
+                        "variant": "caption"
+                      },
+                      {
+                        "content": [
+                          "if",
+                          "@entity.goalReached",
+                          "@config.goalReachedMessage",
+                          ""
+                        ],
+                        "type": "typography",
+                        "variant": "caption"
+                      }
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": "@entity.renderChildren",
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "maxWidth": [
+                        "str/concat",
+                        "@config.width",
+                        "px"
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ]
+                ],
+                "event": "MODE_SELECTED",
+                "eventId": "evt_01M0CGJFW96K8FBC6WV4D341YQ",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@payload.mode",
+                  "@config.matchMode"
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "let",
+                    [
+                      [
+                        "candidate",
+                        [
+                          "array/first",
+                          [
+                            "array/filter",
+                            "@config.candidates",
+                            [
+                              "fn",
+                              "c",
+                              [
+                                "==",
+                                "@c.key",
+                                "@payload.candidateKey"
+                              ]
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "links",
+                        [
+                          "array/filter",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "l",
+                            [
+                              "==",
+                              "@l.kind",
+                              "link"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "facts",
+                        [
+                          "array/filter",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "l",
+                            [
+                              "==",
+                              "@l.kind",
+                              "fact"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "wantLeft",
+                        [
+                          "==",
+                          "@candidate.matchSide",
+                          "left"
+                        ]
+                      ],
+                      [
+                        "matchSense",
+                        [
+                          "==",
+                          "@candidate.matchNegationMode",
+                          "same"
+                        ]
+                      ],
+                      [
+                        "activeLink",
+                        [
+                          "array/first",
+                          [
+                            "array/filter",
+                            "@links",
+                            [
+                              "fn",
+                              "l",
+                              [
+                                "let",
+                                [
+                                  [
+                                    "linkSubject",
+                                    [
+                                      "if",
+                                      "@wantLeft",
+                                      "@l.leftSubject",
+                                      "@l.rightSubject"
+                                    ]
+                                  ],
+                                  [
+                                    "linkNegated",
+                                    [
+                                      "if",
+                                      "@wantLeft",
+                                      "@l.leftNegated",
+                                      "@l.rightNegated"
+                                    ]
+                                  ],
+                                  [
+                                    "requiredNegated",
+                                    [
+                                      "if",
+                                      "@matchSense",
+                                      "@linkNegated",
+                                      [
+                                        "not",
+                                        "@linkNegated"
+                                      ]
+                                    ]
+                                  ]
+                                ],
+                                [
+                                  "array/some",
+                                  "@facts",
+                                  [
+                                    "fn",
+                                    "f",
+                                    [
+                                      "and",
+                                      [
+                                        "==",
+                                        "@f.subject",
+                                        "@linkSubject"
+                                      ],
+                                      [
+                                        "==",
+                                        "@f.negated",
+                                        "@requiredNegated"
+                                      ]
+                                    ]
+                                  ]
+                                ]
+                              ]
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "deriveLeft",
+                        [
+                          "==",
+                          "@candidate.deriveSide",
+                          "left"
+                        ]
+                      ],
+                      [
+                        "deriveSense",
+                        [
+                          "==",
+                          "@candidate.deriveNegationMode",
+                          "same"
+                        ]
+                      ],
+                      [
+                        "derivedSubject",
+                        [
+                          "if",
+                          [
+                            "!=",
+                            "@activeLink",
+                            null
+                          ],
+                          [
+                            "if",
+                            "@deriveLeft",
+                            "@activeLink.leftSubject",
+                            "@activeLink.rightSubject"
+                          ],
+                          ""
+                        ]
+                      ],
+                      [
+                        "derivedSideNegated",
+                        [
+                          "if",
+                          [
+                            "!=",
+                            "@activeLink",
+                            null
+                          ],
+                          [
+                            "if",
+                            "@deriveLeft",
+                            "@activeLink.leftNegated",
+                            "@activeLink.rightNegated"
+                          ],
+                          false
+                        ]
+                      ],
+                      [
+                        "derivedNegated",
+                        [
+                          "if",
+                          "@deriveSense",
+                          "@derivedSideNegated",
+                          [
+                            "not",
+                            "@derivedSideNegated"
+                          ]
+                        ]
+                      ],
+                      [
+                        "derivedLabel",
+                        [
+                          "if",
+                          [
+                            "!=",
+                            "@activeLink",
+                            null
+                          ],
+                          [
+                            "if",
+                            "@derivedNegated",
+                            [
+                              "str/concat",
+                              "@config.negationSymbol",
+                              "@derivedSubject"
+                            ],
+                            "@derivedSubject"
+                          ],
+                          ""
+                        ]
+                      ],
+                      [
+                        "alreadyPresent",
+                        [
+                          "array/some",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "l",
+                            [
+                              "==",
+                              "@l.label",
+                              "@derivedLabel"
+                            ]
+                          ]
+                        ]
+                      ],
+                      [
+                        "canDerive",
+                        [
+                          "and",
+                          [
+                            "!=",
+                            "@activeLink",
+                            null
+                          ],
+                          [
+                            "not",
+                            "@alreadyPresent"
+                          ]
+                        ]
+                      ]
+                    ],
+                    [
+                      "do",
+                      [
+                        "set",
+                        "@entity.lines",
+                        [
+                          "if",
+                          "@canDerive",
+                          [
+                            "array/concat",
+                            "@entity.lines",
+                            [
+                              {
+                                "badgeLabel": "@candidate.resultBadgeLabel",
+                                "badgeVariant": "@candidate.resultBadgeVariant",
+                                "id": [
+                                  "str/concat",
+                                  "line-",
+                                  [
+                                    "array/len",
+                                    "@entity.lines"
+                                  ]
+                                ],
+                                "kind": "fact",
+                                "label": "@derivedLabel",
+                                "negated": "@derivedNegated",
+                                "subject": "@derivedSubject"
+                              }
+                            ]
+                          ],
+                          "@entity.lines"
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.feedback",
+                        [
+                          "if",
+                          "@canDerive",
+                          [
+                            "str/concat",
+                            "Derived ",
+                            "@derivedLabel",
+                            " via ",
+                            "@candidate.label",
+                            "."
+                          ],
+                          [
+                            "if",
+                            "@alreadyPresent",
+                            [
+                              "str/concat",
+                              "@derivedLabel",
+                              " is already in the derivation."
+                            ],
+                            "@candidate.noMatchFeedback"
+                          ]
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.goalReached",
+                        [
+                          "if",
+                          "@canDerive",
+                          [
+                            "==",
+                            "@derivedLabel",
+                            "@config.goalLabel"
+                          ],
+                          "@entity.goalReached"
+                        ]
+                      ],
+                      [
+                        "set",
+                        "@entity.narration",
+                        "@entity.feedback"
+                      ]
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.renderChildren",
+                    [
+                      {
+                        "content": "@entity.title",
+                        "type": "typography",
+                        "variant": "h4"
+                      },
+                      {
+                        "content": [
+                          "str/concat",
+                          "@config.goalPrefix",
+                          "@config.goalLabel"
+                        ],
+                        "type": "typography",
+                        "variant": "body"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "line",
+                            {
+                              "children": [
+                                {
+                                  "label": "@line.badgeLabel",
+                                  "type": "badge",
+                                  "variant": "@line.badgeVariant"
+                                },
+                                {
+                                  "content": "@line.label",
+                                  "type": "typography",
+                                  "variant": "body"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            }
+                          ]
+                        ],
+                        "direction": "vertical",
+                        "gap": "xs",
+                        "style": {
+                          "maxHeight": [
+                            "str/concat",
+                            "@config.height",
+                            "px"
+                          ],
+                          "overflowY": "auto"
+                        },
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@config.candidates",
+                          [
+                            "fn",
+                            "c",
+                            {
+                              "action": "APPLY_STEP",
+                              "actionPayload": {
+                                "candidateKey": "@c.key"
+                              },
+                              "label": "@c.label",
+                              "type": "button",
+                              "variant": "primary"
+                            }
+                          ]
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          {
+                            "action": "TOGGLE_RUN",
+                            "label": [
+                              "if",
+                              "@entity.running",
+                              "Pause",
+                              "Run"
+                            ],
+                            "type": "button",
+                            "variant": "secondary"
+                          },
+                          {
+                            "action": "RESET",
+                            "label": "@config.resetLabel",
+                            "type": "button",
+                            "variant": "ghost"
+                          }
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "content": "@entity.narration",
+                        "type": "typography",
+                        "variant": "caption"
+                      },
+                      {
+                        "content": [
+                          "if",
+                          "@entity.goalReached",
+                          "@config.goalReachedMessage",
+                          ""
+                        ],
+                        "type": "typography",
+                        "variant": "caption"
+                      }
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": "@entity.renderChildren",
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "maxWidth": [
+                        "str/concat",
+                        "@config.width",
+                        "px"
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "DERIVATION_UPDATED",
+                    {
+                      "feedback": "@entity.feedback",
+                      "goalReached": "@entity.goalReached",
+                      "lineCount": [
+                        "array/len",
+                        "@entity.lines"
+                      ],
+                      "narration": "@entity.narration"
+                    }
+                  ]
+                ],
+                "event": "APPLY_STEP",
+                "eventId": "evt_01M0CGJFW9AA9N4C7ADX4VGB15",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.running",
+                    [
+                      "not",
+                      "@entity.running"
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.feedback",
+                    [
+                      "if",
+                      "@entity.running",
+                      "@config.autoRunOnMessage",
+                      "@config.autoRunOffMessage"
+                    ]
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    "@entity.feedback"
+                  ],
+                  [
+                    "set",
+                    "@entity.renderChildren",
+                    [
+                      {
+                        "content": "@entity.title",
+                        "type": "typography",
+                        "variant": "h4"
+                      },
+                      {
+                        "content": [
+                          "str/concat",
+                          "@config.goalPrefix",
+                          "@config.goalLabel"
+                        ],
+                        "type": "typography",
+                        "variant": "body"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "line",
+                            {
+                              "children": [
+                                {
+                                  "label": "@line.badgeLabel",
+                                  "type": "badge",
+                                  "variant": "@line.badgeVariant"
+                                },
+                                {
+                                  "content": "@line.label",
+                                  "type": "typography",
+                                  "variant": "body"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            }
+                          ]
+                        ],
+                        "direction": "vertical",
+                        "gap": "xs",
+                        "style": {
+                          "maxHeight": [
+                            "str/concat",
+                            "@config.height",
+                            "px"
+                          ],
+                          "overflowY": "auto"
+                        },
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@config.candidates",
+                          [
+                            "fn",
+                            "c",
+                            {
+                              "action": "APPLY_STEP",
+                              "actionPayload": {
+                                "candidateKey": "@c.key"
+                              },
+                              "label": "@c.label",
+                              "type": "button",
+                              "variant": "primary"
+                            }
+                          ]
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          {
+                            "action": "TOGGLE_RUN",
+                            "label": [
+                              "if",
+                              "@entity.running",
+                              "Pause",
+                              "Run"
+                            ],
+                            "type": "button",
+                            "variant": "secondary"
+                          },
+                          {
+                            "action": "RESET",
+                            "label": "@config.resetLabel",
+                            "type": "button",
+                            "variant": "ghost"
+                          }
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "content": "@entity.narration",
+                        "type": "typography",
+                        "variant": "caption"
+                      },
+                      {
+                        "content": [
+                          "if",
+                          "@entity.goalReached",
+                          "@config.goalReachedMessage",
+                          ""
+                        ],
+                        "type": "typography",
+                        "variant": "caption"
+                      }
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": "@entity.renderChildren",
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "maxWidth": [
+                        "str/concat",
+                        "@config.width",
+                        "px"
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "DERIVATION_UPDATED",
+                    {
+                      "feedback": "@entity.feedback",
+                      "goalReached": "@entity.goalReached",
+                      "lineCount": [
+                        "array/len",
+                        "@entity.lines"
+                      ],
+                      "narration": "@entity.narration"
+                    }
+                  ]
+                ],
+                "event": "TOGGLE_RUN",
+                "eventId": "evt_01M0CGJFW9S6N0YP8GJFD54KXA",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                "to": "idle"
+              },
+              {
+                "effects": [
+                  [
+                    "set",
+                    "@entity.lines",
+                    "@config.premises"
+                  ],
+                  [
+                    "set",
+                    "@entity.feedback",
+                    ""
+                  ],
+                  [
+                    "set",
+                    "@entity.narration",
+                    ""
+                  ],
+                  [
+                    "set",
+                    "@entity.goalReached",
+                    false
+                  ],
+                  [
+                    "set",
+                    "@entity.running",
+                    "@config.autoRun"
+                  ],
+                  [
+                    "set",
+                    "@entity.elapsedMs",
+                    0.0
+                  ],
+                  [
+                    "set",
+                    "@entity.renderChildren",
+                    [
+                      {
+                        "content": "@entity.title",
+                        "type": "typography",
+                        "variant": "h4"
+                      },
+                      {
+                        "content": [
+                          "str/concat",
+                          "@config.goalPrefix",
+                          "@config.goalLabel"
+                        ],
+                        "type": "typography",
+                        "variant": "body"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@entity.lines",
+                          [
+                            "fn",
+                            "line",
+                            {
+                              "children": [
+                                {
+                                  "label": "@line.badgeLabel",
+                                  "type": "badge",
+                                  "variant": "@line.badgeVariant"
+                                },
+                                {
+                                  "content": "@line.label",
+                                  "type": "typography",
+                                  "variant": "body"
+                                }
+                              ],
+                              "direction": "horizontal",
+                              "gap": "sm",
+                              "type": "stack"
+                            }
+                          ]
+                        ],
+                        "direction": "vertical",
+                        "gap": "xs",
+                        "style": {
+                          "maxHeight": [
+                            "str/concat",
+                            "@config.height",
+                            "px"
+                          ],
+                          "overflowY": "auto"
+                        },
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          "array/map",
+                          "@config.candidates",
+                          [
+                            "fn",
+                            "c",
+                            {
+                              "action": "APPLY_STEP",
+                              "actionPayload": {
+                                "candidateKey": "@c.key"
+                              },
+                              "label": "@c.label",
+                              "type": "button",
+                              "variant": "primary"
+                            }
+                          ]
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "children": [
+                          {
+                            "action": "TOGGLE_RUN",
+                            "label": [
+                              "if",
+                              "@entity.running",
+                              "Pause",
+                              "Run"
+                            ],
+                            "type": "button",
+                            "variant": "secondary"
+                          },
+                          {
+                            "action": "RESET",
+                            "label": "@config.resetLabel",
+                            "type": "button",
+                            "variant": "ghost"
+                          }
+                        ],
+                        "direction": "horizontal",
+                        "gap": "sm",
+                        "type": "stack"
+                      },
+                      {
+                        "content": "@entity.narration",
+                        "type": "typography",
+                        "variant": "caption"
+                      },
+                      {
+                        "content": [
+                          "if",
+                          "@entity.goalReached",
+                          "@config.goalReachedMessage",
+                          ""
+                        ],
+                        "type": "typography",
+                        "variant": "caption"
+                      }
+                    ]
+                  ],
+                  [
+                    "render-ui",
+                    "main",
+                    {
+                      "children": [
+                        {
+                          "children": "@entity.renderChildren",
+                          "direction": "vertical",
+                          "gap": "md",
+                          "type": "stack"
+                        }
+                      ],
+                      "maxWidth": [
+                        "str/concat",
+                        "@config.width",
+                        "px"
+                      ],
+                      "padding": "md",
+                      "type": "box"
+                    }
+                  ],
+                  [
+                    "emit",
+                    "DERIVATION_UPDATED",
+                    {
+                      "feedback": "@entity.feedback",
+                      "goalReached": "@entity.goalReached",
+                      "lineCount": [
+                        "array/len",
+                        "@entity.lines"
+                      ],
+                      "narration": "@entity.narration"
+                    }
+                  ]
+                ],
+                "event": "RESET",
+                "eventId": "evt_01M0CGJFW98W2XTBPXCK1DWBHW",
+                "from": "idle",
+                "guard": [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                "to": "idle"
+              }
+            ]
+          },
+          "ticks": [
+            {
+              "effects": [
+                [
+                  "set",
+                  "@entity.elapsedMs",
+                  [
+                    "+",
+                    "@entity.elapsedMs",
+                    32.0
+                  ]
+                ],
+                [
+                  "when",
+                  [
+                    ">=",
+                    "@entity.elapsedMs",
+                    "@config.autoApplyIntervalMs"
+                  ],
+                  [
+                    "do",
+                    [
+                      "set",
+                      "@entity.elapsedMs",
+                      0.0
+                    ],
+                    [
+                      "let",
+                      [
+                        [
+                          "links",
+                          [
+                            "array/filter",
+                            "@entity.lines",
+                            [
+                              "fn",
+                              "l",
+                              [
+                                "==",
+                                "@l.kind",
+                                "link"
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "facts",
+                          [
+                            "array/filter",
+                            "@entity.lines",
+                            [
+                              "fn",
+                              "l",
+                              [
+                                "==",
+                                "@l.kind",
+                                "fact"
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "evaluated",
+                          [
+                            "array/map",
+                            "@config.candidates",
+                            [
+                              "fn",
+                              "c",
+                              [
+                                "let",
+                                [
+                                  [
+                                    "wantLeft",
+                                    [
+                                      "==",
+                                      "@c.matchSide",
+                                      "left"
+                                    ]
+                                  ],
+                                  [
+                                    "matchSense",
+                                    [
+                                      "==",
+                                      "@c.matchNegationMode",
+                                      "same"
+                                    ]
+                                  ],
+                                  [
+                                    "activeLink",
+                                    [
+                                      "array/first",
+                                      [
+                                        "array/filter",
+                                        "@links",
+                                        [
+                                          "fn",
+                                          "l",
+                                          [
+                                            "let",
+                                            [
+                                              [
+                                                "linkSubject",
+                                                [
+                                                  "if",
+                                                  "@wantLeft",
+                                                  "@l.leftSubject",
+                                                  "@l.rightSubject"
+                                                ]
+                                              ],
+                                              [
+                                                "linkNegated",
+                                                [
+                                                  "if",
+                                                  "@wantLeft",
+                                                  "@l.leftNegated",
+                                                  "@l.rightNegated"
+                                                ]
+                                              ],
+                                              [
+                                                "requiredNegated",
+                                                [
+                                                  "if",
+                                                  "@matchSense",
+                                                  "@linkNegated",
+                                                  [
+                                                    "not",
+                                                    "@linkNegated"
+                                                  ]
+                                                ]
+                                              ]
+                                            ],
+                                            [
+                                              "array/some",
+                                              "@facts",
+                                              [
+                                                "fn",
+                                                "f",
+                                                [
+                                                  "and",
+                                                  [
+                                                    "==",
+                                                    "@f.subject",
+                                                    "@linkSubject"
+                                                  ],
+                                                  [
+                                                    "==",
+                                                    "@f.negated",
+                                                    "@requiredNegated"
+                                                  ]
+                                                ]
+                                              ]
+                                            ]
+                                          ]
+                                        ]
+                                      ]
+                                    ]
+                                  ],
+                                  [
+                                    "deriveLeft",
+                                    [
+                                      "==",
+                                      "@c.deriveSide",
+                                      "left"
+                                    ]
+                                  ],
+                                  [
+                                    "deriveSense",
+                                    [
+                                      "==",
+                                      "@c.deriveNegationMode",
+                                      "same"
+                                    ]
+                                  ],
+                                  [
+                                    "derivedSubject",
+                                    [
+                                      "if",
+                                      [
+                                        "!=",
+                                        "@activeLink",
+                                        null
+                                      ],
+                                      [
+                                        "if",
+                                        "@deriveLeft",
+                                        "@activeLink.leftSubject",
+                                        "@activeLink.rightSubject"
+                                      ],
+                                      ""
+                                    ]
+                                  ],
+                                  [
+                                    "derivedSideNegated",
+                                    [
+                                      "if",
+                                      [
+                                        "!=",
+                                        "@activeLink",
+                                        null
+                                      ],
+                                      [
+                                        "if",
+                                        "@deriveLeft",
+                                        "@activeLink.leftNegated",
+                                        "@activeLink.rightNegated"
+                                      ],
+                                      false
+                                    ]
+                                  ],
+                                  [
+                                    "derivedNegated",
+                                    [
+                                      "if",
+                                      "@deriveSense",
+                                      "@derivedSideNegated",
+                                      [
+                                        "not",
+                                        "@derivedSideNegated"
+                                      ]
+                                    ]
+                                  ],
+                                  [
+                                    "derivedLabel",
+                                    [
+                                      "if",
+                                      [
+                                        "!=",
+                                        "@activeLink",
+                                        null
+                                      ],
+                                      [
+                                        "if",
+                                        "@derivedNegated",
+                                        [
+                                          "str/concat",
+                                          "@config.negationSymbol",
+                                          "@derivedSubject"
+                                        ],
+                                        "@derivedSubject"
+                                      ],
+                                      ""
+                                    ]
+                                  ],
+                                  [
+                                    "alreadyPresent",
+                                    [
+                                      "array/some",
+                                      "@entity.lines",
+                                      [
+                                        "fn",
+                                        "l",
+                                        [
+                                          "==",
+                                          "@l.label",
+                                          "@derivedLabel"
+                                        ]
+                                      ]
+                                    ]
+                                  ],
+                                  [
+                                    "applicable",
+                                    [
+                                      "and",
+                                      [
+                                        "!=",
+                                        "@activeLink",
+                                        null
+                                      ],
+                                      [
+                                        "not",
+                                        "@alreadyPresent"
+                                      ]
+                                    ]
+                                  ]
+                                ],
+                                {
+                                  "applicable": "@applicable",
+                                  "derivedLabel": "@derivedLabel",
+                                  "derivedNegated": "@derivedNegated",
+                                  "derivedSubject": "@derivedSubject",
+                                  "label": "@c.label",
+                                  "resultBadgeLabel": "@c.resultBadgeLabel",
+                                  "resultBadgeVariant": "@c.resultBadgeVariant"
+                                }
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "match",
+                          [
+                            "array/first",
+                            [
+                              "array/filter",
+                              "@evaluated",
+                              [
+                                "fn",
+                                "e",
+                                [
+                                  "==",
+                                  "@e.applicable",
+                                  true
+                                ]
+                              ]
+                            ]
+                          ]
+                        ],
+                        [
+                          "found",
+                          [
+                            "!=",
+                            "@match",
+                            null
+                          ]
+                        ]
+                      ],
+                      [
+                        "do",
+                        [
+                          "set",
+                          "@entity.lines",
+                          [
+                            "if",
+                            "@found",
+                            [
+                              "array/concat",
+                              "@entity.lines",
+                              [
+                                {
+                                  "badgeLabel": "@match.resultBadgeLabel",
+                                  "badgeVariant": "@match.resultBadgeVariant",
+                                  "id": [
+                                    "str/concat",
+                                    "line-",
+                                    [
+                                      "array/len",
+                                      "@entity.lines"
+                                    ]
+                                  ],
+                                  "kind": "fact",
+                                  "label": "@match.derivedLabel",
+                                  "negated": "@match.derivedNegated",
+                                  "subject": "@match.derivedSubject"
+                                }
+                              ]
+                            ],
+                            "@entity.lines"
+                          ]
+                        ],
+                        [
+                          "set",
+                          "@entity.feedback",
+                          [
+                            "if",
+                            "@found",
+                            [
+                              "str/concat",
+                              "Derived ",
+                              "@match.derivedLabel",
+                              " via ",
+                              "@match.label",
+                              "."
+                            ],
+                            "@config.noStepAvailableMessage"
+                          ]
+                        ],
+                        [
+                          "set",
+                          "@entity.goalReached",
+                          [
+                            "if",
+                            "@found",
+                            [
+                              "==",
+                              "@match.derivedLabel",
+                              "@config.goalLabel"
+                            ],
+                            "@entity.goalReached"
+                          ]
+                        ],
+                        [
+                          "set",
+                          "@entity.narration",
+                          "@entity.feedback"
+                        ]
+                      ]
+                    ],
+                    [
+                      "set",
+                      "@entity.renderChildren",
+                      [
+                        {
+                          "content": "@entity.title",
+                          "type": "typography",
+                          "variant": "h4"
+                        },
+                        {
+                          "content": [
+                            "str/concat",
+                            "@config.goalPrefix",
+                            "@config.goalLabel"
+                          ],
+                          "type": "typography",
+                          "variant": "body"
+                        },
+                        {
+                          "children": [
+                            "array/map",
+                            "@entity.lines",
+                            [
+                              "fn",
+                              "line",
+                              {
+                                "children": [
+                                  {
+                                    "label": "@line.badgeLabel",
+                                    "type": "badge",
+                                    "variant": "@line.badgeVariant"
+                                  },
+                                  {
+                                    "content": "@line.label",
+                                    "type": "typography",
+                                    "variant": "body"
+                                  }
+                                ],
+                                "direction": "horizontal",
+                                "gap": "sm",
+                                "type": "stack"
+                              }
+                            ]
+                          ],
+                          "direction": "vertical",
+                          "gap": "xs",
+                          "style": {
+                            "maxHeight": [
+                              "str/concat",
+                              "@config.height",
+                              "px"
+                            ],
+                            "overflowY": "auto"
+                          },
+                          "type": "stack"
+                        },
+                        {
+                          "children": [
+                            "array/map",
+                            "@config.candidates",
+                            [
+                              "fn",
+                              "c",
+                              {
+                                "action": "APPLY_STEP",
+                                "actionPayload": {
+                                  "candidateKey": "@c.key"
+                                },
+                                "label": "@c.label",
+                                "type": "button",
+                                "variant": "primary"
+                              }
+                            ]
+                          ],
+                          "direction": "horizontal",
+                          "gap": "sm",
+                          "type": "stack"
+                        },
+                        {
+                          "children": [
+                            {
+                              "action": "TOGGLE_RUN",
+                              "label": [
+                                "if",
+                                "@entity.running",
+                                "Pause",
+                                "Run"
+                              ],
+                              "type": "button",
+                              "variant": "secondary"
+                            },
+                            {
+                              "action": "RESET",
+                              "label": "@config.resetLabel",
+                              "type": "button",
+                              "variant": "ghost"
+                            }
+                          ],
+                          "direction": "horizontal",
+                          "gap": "sm",
+                          "type": "stack"
+                        },
+                        {
+                          "content": "@entity.narration",
+                          "type": "typography",
+                          "variant": "caption"
+                        },
+                        {
+                          "content": [
+                            "if",
+                            "@entity.goalReached",
+                            "@config.goalReachedMessage",
+                            ""
+                          ],
+                          "type": "typography",
+                          "variant": "caption"
+                        }
+                      ]
+                    ],
+                    [
+                      "render-ui",
+                      "main",
+                      {
+                        "children": [
+                          {
+                            "children": "@entity.renderChildren",
+                            "direction": "vertical",
+                            "gap": "md",
+                            "type": "stack"
+                          }
+                        ],
+                        "maxWidth": [
+                          "str/concat",
+                          "@config.width",
+                          "px"
+                        ],
+                        "padding": "md",
+                        "type": "box"
+                      }
+                    ],
+                    [
+                      "emit",
+                      "DERIVATION_UPDATED",
+                      {
+                        "feedback": "@entity.feedback",
+                        "goalReached": "@entity.goalReached",
+                        "lineCount": [
+                          "array/len",
+                          "@entity.lines"
+                        ],
+                        "narration": "@entity.narration"
+                      }
+                    ]
+                  ]
+                ]
+              ],
+              "guard": [
+                "and",
+                [
+                  "==",
+                  "@entity.active",
+                  true
+                ],
+                [
+                  "and",
+                  [
+                    "==",
+                    "@entity.running",
+                    true
+                  ],
+                  [
+                    "not",
+                    [
+                      "==",
+                      "@entity.goalReached",
+                      true
+                    ]
+                  ]
+                ]
+              ],
+              "interval": 32.0,
+              "name": "derivationTick"
+            }
+          ]
+        }
+      ]
+    }
+  ],
+  "schemaVersion": 1,
+  "version": "1.0.0"
+}