@mmmnt/cli 0.6.2 → 0.7.1

package/dist/moment.mjs

@@ -55234,6 +55234,7 @@ var Classification = {
 };
 var CommandDeclaration = {
   $type: "CommandDeclaration",
+  causes: "causes",
   emits: "emits",
   inputs: "inputs",
   name: "name",
@@ -55367,6 +55368,7 @@ var MomentDeclaration = {
   isBranch: "isBranch",
   label: "label",
   nodes: "nodes",
+  notes: "notes",
   whenBlocks: "whenBlocks"
 };
 function isMomentDeclaration(item) {
@@ -55389,6 +55391,7 @@ var NodeModifier = {
 };
 var NodePlacement = {
   $type: "NodePlacement",
+  cause: "cause",
   connections: "connections",
   crossing: "crossing",
   laneId: "laneId",
@@ -55396,8 +55399,14 @@ var NodePlacement = {
   multiplicity: "multiplicity",
   nodeName: "nodeName"
 };
+var NoteStatement = {
+  $type: "NoteStatement",
+  laneId: "laneId",
+  text: "text"
+};
 var OrchestrationCommand = {
   $type: "OrchestrationCommand",
+  causes: "causes",
   emits: "emits",
   inputs: "inputs",
   name: "name",
@@ -55416,6 +55425,7 @@ function isPolicyDeclaration(item) {
 }
 var Precondition = {
   $type: "Precondition",
+  causes: "causes",
   description: "description",
   name: "name"
 };
@@ -55461,6 +55471,7 @@ var SagaDeclaration = {
   $type: "SagaDeclaration",
   commands: "commands",
   compensations: "compensations",
+  events: "events",
   gateways: "gateways",
   initialState: "initialState",
   invokedBy: "invokedBy",
@@ -55604,6 +55615,11 @@ var MomentAstReflection = class extends AbstractAstReflection {
     CommandDeclaration: {
       name: CommandDeclaration.$type,
       properties: {
+        causes: {
+          name: CommandDeclaration.causes,
+          defaultValue: [],
+          optional: true
+        },
         emits: {
           name: CommandDeclaration.emits
         },
@@ -55927,6 +55943,11 @@ var MomentAstReflection = class extends AbstractAstReflection {
           defaultValue: [],
           optional: true
         },
+        notes: {
+          name: MomentDeclaration.notes,
+          defaultValue: [],
+          optional: true
+        },
         whenBlocks: {
           name: MomentDeclaration.whenBlocks,
           defaultValue: [],
@@ -55982,6 +56003,10 @@ var MomentAstReflection = class extends AbstractAstReflection {
     NodePlacement: {
       name: NodePlacement.$type,
       properties: {
+        cause: {
+          name: NodePlacement.cause,
+          optional: true
+        },
         connections: {
           name: NodePlacement.connections,
           defaultValue: [],
@@ -56008,9 +56033,27 @@ var MomentAstReflection = class extends AbstractAstReflection {
       },
       superTypes: []
     },
+    NoteStatement: {
+      name: NoteStatement.$type,
+      properties: {
+        laneId: {
+          name: NoteStatement.laneId,
+          optional: true
+        },
+        text: {
+          name: NoteStatement.text
+        }
+      },
+      superTypes: []
+    },
     OrchestrationCommand: {
       name: OrchestrationCommand.$type,
       properties: {
+        causes: {
+          name: OrchestrationCommand.causes,
+          defaultValue: [],
+          optional: true
+        },
         emits: {
           name: OrchestrationCommand.emits,
           optional: true
@@ -56057,6 +56100,11 @@ var MomentAstReflection = class extends AbstractAstReflection {
     Precondition: {
       name: Precondition.$type,
       properties: {
+        causes: {
+          name: Precondition.causes,
+          defaultValue: [],
+          optional: true
+        },
         description: {
           name: Precondition.description
         },
@@ -56156,6 +56204,11 @@ var MomentAstReflection = class extends AbstractAstReflection {
           name: SagaDeclaration.compensations,
           defaultValue: []
         },
+        events: {
+          name: SagaDeclaration.events,
+          defaultValue: [],
+          optional: true
+        },
         gateways: {
           name: SagaDeclaration.gateways,
           defaultValue: [],
@@ -56368,7 +56421,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56380,7 +56433,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -56421,7 +56474,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56437,7 +56490,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56453,7 +56506,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56472,7 +56525,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@55"
                   },
                   "arguments": []
                 }
@@ -56503,7 +56556,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -56515,7 +56568,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@49"
+                "$ref": "#/rules@51"
               },
               "arguments": []
             },
@@ -56535,7 +56588,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@55"
                   },
                   "arguments": []
                 }
@@ -56668,7 +56721,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56684,7 +56737,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56703,7 +56756,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -56725,7 +56778,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@55"
                   },
                   "arguments": []
                 }
@@ -56747,7 +56800,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@43"
+                    "$ref": "#/rules@45"
                   },
                   "arguments": []
                 }
@@ -56791,7 +56844,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56803,7 +56856,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -56822,7 +56875,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -56834,7 +56887,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@55"
                   },
                   "arguments": []
                 }
@@ -56864,7 +56917,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -56876,7 +56929,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -56904,7 +56957,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56920,7 +56973,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -56939,7 +56992,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -57005,7 +57058,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@55"
                   },
                   "arguments": []
                 }
@@ -57036,7 +57089,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57077,14 +57130,14 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@52"
+              "$ref": "#/rules@54"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@53"
+              "$ref": "#/rules@55"
             },
             "arguments": []
           }
@@ -57111,7 +57164,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -57127,7 +57180,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@43"
+                "$ref": "#/rules@45"
               },
               "arguments": []
             }
@@ -57243,7 +57296,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@52"
+                        "$ref": "#/rules@54"
                       },
                       "arguments": []
                     }
@@ -57260,7 +57313,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@52"
+                        "$ref": "#/rules@54"
                       },
                       "arguments": []
                     }
@@ -57276,7 +57329,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@52"
+                        "$ref": "#/rules@54"
                       },
                       "arguments": []
                     }
@@ -57292,7 +57345,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@52"
+                        "$ref": "#/rules@54"
                       },
                       "arguments": []
                     }
@@ -57324,7 +57377,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57373,6 +57426,50 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             ],
             "cardinality": "?"
           },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "causes"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "causes",
+                "operator": "+=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@54"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": ","
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "causes",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@54"
+                      },
+                      "arguments": []
+                    }
+                  }
+                ],
+                "cardinality": "*"
+              }
+            ],
+            "cardinality": "?"
+          },
           {
             "$type": "Assignment",
             "feature": "preconditions",
@@ -57397,7 +57494,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57421,7 +57518,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@45"
+                "$ref": "#/rules@47"
               },
               "arguments": []
             }
@@ -57437,7 +57534,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@47"
+                "$ref": "#/rules@49"
               },
               "arguments": []
             }
@@ -57449,7 +57546,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@44"
+                "$ref": "#/rules@46"
               },
               "arguments": []
             },
@@ -57478,11 +57575,55 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
           },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "cause"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "causes",
+                "operator": "+=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@54"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": ","
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "causes",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@54"
+                      },
+                      "arguments": []
+                    }
+                  }
+                ],
+                "cardinality": "*"
+              }
+            ],
+            "cardinality": "?"
+          },
           {
             "$type": "Keyword",
             "value": ":"
@@ -57494,7 +57635,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -57522,7 +57663,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57534,7 +57675,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@43"
+                "$ref": "#/rules@45"
               },
               "arguments": []
             },
@@ -57563,7 +57704,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57575,7 +57716,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@43"
+                "$ref": "#/rules@45"
               },
               "arguments": []
             },
@@ -57604,7 +57745,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57616,7 +57757,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -57632,7 +57773,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57660,7 +57801,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57676,7 +57817,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57692,7 +57833,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57708,7 +57849,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -57736,7 +57877,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57752,7 +57893,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57768,7 +57909,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -57784,7 +57925,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57839,7 +57980,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57857,6 +57998,19 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             },
             "cardinality": "*"
           },
+          {
+            "$type": "Assignment",
+            "feature": "events",
+            "operator": "+=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@17"
+              },
+              "arguments": []
+            },
+            "cardinality": "*"
+          },
           {
             "$type": "Keyword",
             "value": "invoked-by"
@@ -57868,7 +58022,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -57922,7 +58076,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58005,7 +58159,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58054,6 +58208,50 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             ],
             "cardinality": "?"
           },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "causes"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "causes",
+                "operator": "+=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@54"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Group",
+                "elements": [
+                  {
+                    "$type": "Keyword",
+                    "value": ","
+                  },
+                  {
+                    "$type": "Assignment",
+                    "feature": "causes",
+                    "operator": "+=",
+                    "terminal": {
+                      "$type": "RuleCall",
+                      "rule": {
+                        "$ref": "#/rules@54"
+                      },
+                      "arguments": []
+                    }
+                  }
+                ],
+                "cardinality": "*"
+              }
+            ],
+            "cardinality": "?"
+          },
           {
             "$type": "Assignment",
             "feature": "preconditions",
@@ -58081,7 +58279,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -58108,7 +58306,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58127,7 +58325,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -58158,7 +58356,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58177,7 +58375,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -58227,7 +58425,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                     "terminal": {
                       "$type": "RuleCall",
                       "rule": {
-                        "$ref": "#/rules@52"
+                        "$ref": "#/rules@54"
                       },
                       "arguments": []
                     }
@@ -58293,7 +58491,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58330,7 +58528,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58346,7 +58544,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58362,7 +58560,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@51"
+                "$ref": "#/rules@53"
               },
               "arguments": []
             }
@@ -58378,7 +58576,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -58406,7 +58604,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -58425,7 +58623,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@53"
+                    "$ref": "#/rules@55"
                   },
                   "arguments": []
                 }
@@ -58496,7 +58694,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@35"
               },
               "arguments": []
             }
@@ -58508,7 +58706,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -58520,7 +58718,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@49"
+                "$ref": "#/rules@51"
               },
               "arguments": []
             },
@@ -58549,7 +58747,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -58574,7 +58772,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@33"
+                    "$ref": "#/rules@34"
                   },
                   "arguments": []
                 }
@@ -58583,6 +58781,18 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "$type": "Assignment",
                 "feature": "whenBlocks",
                 "operator": "+=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@33"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Assignment",
+                "feature": "notes",
+                "operator": "+=",
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
@@ -58592,7 +58802,57 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 }
               }
             ],
-            "cardinality": "*"
+            "cardinality": "*"
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
+    {
+      "$type": "ParserRule",
+      "name": "NoteStatement",
+      "definition": {
+        "$type": "Group",
+        "elements": [
+          {
+            "$type": "Keyword",
+            "value": "note"
+          },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Assignment",
+                "feature": "laneId",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@35"
+                  },
+                  "arguments": []
+                }
+              },
+              {
+                "$type": "Keyword",
+                "value": ":"
+              }
+            ],
+            "cardinality": "?"
+          },
+          {
+            "$type": "Assignment",
+            "feature": "text",
+            "operator": "=",
+            "terminal": {
+              "$type": "RuleCall",
+              "rule": {
+                "$ref": "#/rules@55"
+              },
+              "arguments": []
+            }
           }
         ]
       },
@@ -58617,7 +58877,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58636,7 +58896,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@35"
                   },
                   "arguments": []
                 }
@@ -58655,7 +58915,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@33"
+                "$ref": "#/rules@34"
               },
               "arguments": []
             },
@@ -58680,7 +58940,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@35"
               },
               "arguments": []
             }
@@ -58696,7 +58956,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58708,7 +58968,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@34"
+                "$ref": "#/rules@36"
               },
               "arguments": []
             },
@@ -58721,12 +58981,34 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@35"
+                "$ref": "#/rules@37"
               },
               "arguments": []
             },
             "cardinality": "?"
           },
+          {
+            "$type": "Group",
+            "elements": [
+              {
+                "$type": "Keyword",
+                "value": "cause"
+              },
+              {
+                "$type": "Assignment",
+                "feature": "cause",
+                "operator": "=",
+                "terminal": {
+                  "$type": "RuleCall",
+                  "rule": {
+                    "$ref": "#/rules@54"
+                  },
+                  "arguments": []
+                }
+              }
+            ],
+            "cardinality": "?"
+          },
           {
             "$type": "Assignment",
             "feature": "crossing",
@@ -58734,7 +59016,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@38"
+                "$ref": "#/rules@40"
               },
               "arguments": []
             },
@@ -58747,7 +59029,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@37"
+                "$ref": "#/rules@39"
               },
               "arguments": []
             },
@@ -58759,6 +59041,38 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
       "fragment": false,
       "parameters": []
     },
+    {
+      "$type": "ParserRule",
+      "name": "LaneName",
+      "dataType": "string",
+      "definition": {
+        "$type": "Alternatives",
+        "elements": [
+          {
+            "$type": "RuleCall",
+            "rule": {
+              "$ref": "#/rules@54"
+            },
+            "arguments": []
+          },
+          {
+            "$type": "Keyword",
+            "value": "cause"
+          },
+          {
+            "$type": "Keyword",
+            "value": "causes"
+          },
+          {
+            "$type": "Keyword",
+            "value": "note"
+          }
+        ]
+      },
+      "entry": false,
+      "fragment": false,
+      "parameters": []
+    },
     {
       "$type": "ParserRule",
       "name": "Multiplicity",
@@ -58783,7 +59097,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@54"
+                    "$ref": "#/rules@56"
                   },
                   "arguments": []
                 }
@@ -58795,7 +59109,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
                 "terminal": {
                   "$type": "RuleCall",
                   "rule": {
-                    "$ref": "#/rules@52"
+                    "$ref": "#/rules@54"
                   },
                   "arguments": []
                 }
@@ -58829,7 +59143,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@36"
+                "$ref": "#/rules@38"
               },
               "arguments": []
             }
@@ -58874,21 +59188,21 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@40"
+              "$ref": "#/rules@42"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@41"
+              "$ref": "#/rules@43"
             },
             "arguments": []
           },
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@42"
+              "$ref": "#/rules@44"
             },
             "arguments": []
           }
@@ -58915,7 +59229,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@35"
               },
               "arguments": []
             }
@@ -58931,7 +59245,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@51"
+                "$ref": "#/rules@53"
               },
               "arguments": []
             }
@@ -58947,7 +59261,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@39"
+                "$ref": "#/rules@41"
               },
               "arguments": []
             },
@@ -58972,7 +59286,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -58988,7 +59302,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@47"
+                "$ref": "#/rules@49"
               },
               "arguments": []
             }
@@ -59026,7 +59340,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -59054,7 +59368,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@52"
+                "$ref": "#/rules@54"
               },
               "arguments": []
             }
@@ -59082,7 +59396,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -59106,7 +59420,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@46"
+                "$ref": "#/rules@48"
               },
               "arguments": []
             }
@@ -59122,7 +59436,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@47"
+                "$ref": "#/rules@49"
               },
               "arguments": []
             }
@@ -59134,7 +59448,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@44"
+                "$ref": "#/rules@46"
               },
               "arguments": []
             },
@@ -59167,7 +59481,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -59183,7 +59497,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@53"
+                "$ref": "#/rules@55"
               },
               "arguments": []
             }
@@ -59208,7 +59522,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@46"
+              "$ref": "#/rules@48"
             },
             "arguments": []
           },
@@ -59244,7 +59558,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@52"
+              "$ref": "#/rules@54"
             },
             "arguments": []
           },
@@ -59287,6 +59601,18 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "Keyword",
             "value": "invoked-by"
+          },
+          {
+            "$type": "Keyword",
+            "value": "cause"
+          },
+          {
+            "$type": "Keyword",
+            "value": "causes"
+          },
+          {
+            "$type": "Keyword",
+            "value": "note"
           }
         ]
       },
@@ -59307,7 +59633,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@48"
+                "$ref": "#/rules@50"
               },
               "arguments": []
             }
@@ -59366,7 +59692,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@52"
+              "$ref": "#/rules@54"
             },
             "arguments": []
           }
@@ -59393,7 +59719,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
             "terminal": {
               "$type": "RuleCall",
               "rule": {
-                "$ref": "#/rules@50"
+                "$ref": "#/rules@52"
               },
               "arguments": []
             }
@@ -59479,7 +59805,7 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "RuleCall",
             "rule": {
-              "$ref": "#/rules@52"
+              "$ref": "#/rules@54"
             },
             "arguments": []
           }
@@ -59590,6 +59916,9 @@ function buildMomentSequence(moment) {
   moment.whenBlocks.forEach((block2, index) => {
     positioned.push({ item: { kind: "branch", index }, offset: block2.$cstNode?.offset });
   });
+  (moment.notes ?? []).forEach((note, index) => {
+    positioned.push({ item: { kind: "note", index }, offset: note.$cstNode?.offset });
+  });
   const fromCst = positioned.every((p) => p.offset !== void 0);
   if (!fromCst) {
     return { sequence: positioned.map((p) => p.item), fromCst: false };
@@ -59613,6 +59942,15 @@ function aggregateBlocks(agg, events) {
   }
   return blocks;
 }
+function sagaBlocks(saga, events) {
+  return [
+    ...saga.commands.map((c) => ({ name: c.name, kind: "command" })),
+    ...saga.events.map((e) => {
+      events.push(e.name);
+      return { name: e.name, kind: "event" };
+    })
+  ];
+}
 function contextMemberBlock(member) {
   if (isPolicyDeclaration(member))
     return { name: member.name, kind: "policy" };
@@ -59646,6 +59984,8 @@ function buildCrossFileContext(file) {
         blocks.push(block2);
       if (block2?.kind === "saga")
         declaredSagas.push(block2.name);
+      if (isSagaDeclaration(member))
+        blocks.push(...sagaBlocks(member, events));
     }
     declaredEvents.set(contextName, events);
     declaredBuildingBlocks.set(contextName, blocks);
@@ -59662,6 +60002,7 @@ function registerMomentValidationChecks(services) {
     AnnotationDeclaration: validator.checkAnnotationName,
     ContextDeclaration: validator.checkTrailingAnnotation,
     AggregateDeclaration: validator.checkTrailingAnnotation,
+    NoteStatement: validator.checkNoteLane,
     NodePlacement: [
       validator.checkNodePlacement,
       validator.checkOptionalWithCrossing,
@@ -59837,11 +60178,25 @@ var MomentValidator = class {
     }
   }
   // =========================================================================
-  // V10: Moment with zero nodes AND zero whenBlocks -> error
+  // V13 for notes: a lane named by `note <lane>: "text"` must be a declared lane (ADR-040 D3)
+  // =========================================================================
+  checkNoteLane(note, accept) {
+    const flow = getFlowFromNode(note);
+    if (note.laneId === void 0 || !flow)
+      return;
+    if (!flow.lanes.some((l) => l.id === note.laneId)) {
+      accept("error", "V13: Lane ID does not match any declared lane.", {
+        node: note,
+        property: "laneId"
+      });
+    }
+  }
+  // =========================================================================
+  // V10: Moment with zero nodes, zero whenBlocks AND zero notes -> error (ADR-040 D3)
   // =========================================================================
   checkMoment(moment, accept) {
-    if (moment.nodes.length === 0 && moment.whenBlocks.length === 0) {
-      accept("error", "V10: Moment must contain at least one node or when block.", {
+    if (moment.nodes.length === 0 && moment.whenBlocks.length === 0 && (moment.notes ?? []).length === 0) {
+      accept("error", "V10: Moment must contain at least one node, when block or note.", {
         node: moment,
         property: "label"
       });
@@ -60026,23 +60381,10 @@ var MomentValidator = class {
       });
     }
   }
-  // V5: triggered-by must reference a node that appeared earlier in the flow
+  // V5: triggered-by must reference a node that appears earlier in the flow in source order:
+  // in a prior moment, or earlier in the same moment (ADR-040 D4). V43 checks a same-moment hop.
   checkV5(node, accept) {
-    const flow = getFlowFromNode(node);
-    const moment = getMomentFromNode(node);
-    if (!flow || !moment)
-      return;
-    for (const conn of node.connections) {
-      if (!isTriggeredBy(conn))
-        continue;
-      const priorNames = this.collectPriorNodeNames(flow, moment);
-      if (!priorNames.has(conn.nodeName)) {
-        accept("error", "V5: triggered-by must reference a node from a prior frame.", {
-          node: conn,
-          property: "nodeName"
-        });
-      }
-    }
+    this.checkTriggeredByPrior(node, accept);
   }
   // V9: crosses-to only valid on event kinds
   checkV9(node, accept, ctx) {
@@ -60135,15 +60477,24 @@ var MomentValidator = class {
     for (const conn of node.connections) {
       if (!isTriggeredBy(conn))
         continue;
-      const priorNames = this.collectPriorNodeNames(flow, moment);
-      if (!priorNames.has(conn.nodeName)) {
-        accept("error", "V5: triggered-by must reference a node from a prior frame.", {
-          node: conn,
-          property: "nodeName"
-        });
+      const earlierNames = this.collectPriorNodeNames(flow, moment);
+      for (const n of this.nodesBefore(moment, node))
+        earlierNames.add(n.nodeName);
+      if (!earlierNames.has(conn.nodeName)) {
+        accept("error", "V5: triggered-by must reference a node placed earlier in the flow, in a prior moment or earlier in the same moment.", { node: conn, property: "nodeName" });
       }
     }
   }
+  /**
+   * The nodes of `moment` (its own and its `when` blocks') that come before `node` in source order.
+   * CST offsets give the order; a hand-built AST without them falls back to own nodes then `when` nodes.
+   */
+  nodesBefore(moment, node) {
+    const all = [...moment.nodes, ...moment.whenBlocks.flatMap((wb) => wb.nodes)];
+    const hasCst = all.every((n) => n.$cstNode !== void 0);
+    const inOrder = hasCst ? all.slice().sort((a, b) => a.$cstNode.offset - b.$cstNode.offset) : all;
+    return inOrder.slice(0, inOrder.indexOf(node));
+  }
   checkCrossFileNodeRules(node, accept) {
     if (!this.crossFileContext)
       return;
@@ -60423,11 +60774,12 @@ function orchestrationFindings(saga, known) {
   if (saga.commands === void 0)
     return [];
   const own = new Set(saga.commands.map((c) => c.name));
+  const ownEvents = new Set((saga.events ?? []).map((e) => e.name));
   const compensations = saga.compensations ?? [];
   return [
-    ...saga.commands.filter((c) => c.emitsEvent !== void 0).map((c) => ({
+    ...saga.commands.filter((c) => c.emitsEvent !== void 0 && !ownEvents.has(c.emitsEvent)).map((c) => ({
       ruleId: "V31",
-      message: `Orchestration '${saga.name}' command '${c.name}' emits '${c.emitsEvent ?? ""}'; an orchestration generates no domain event.`
+      message: `Orchestration '${saga.name}' command '${c.name}' emits '${c.emitsEvent ?? ""}', which the orchestration does not declare; it emits only its own events.`
     })),
     ...own.has(saga.trigger) ? [] : [
       {
@@ -60523,15 +60875,109 @@ function v37(ctx, known) {
     ...ctx.sagas.flatMap((s) => gatewayFindings(`orchestration '${s.name}'`, s.gateways ?? [], known))
   ];
 }
+function v40(ctx) {
+  const owners = /* @__PURE__ */ new Map();
+  const add2 = (event, owner) => {
+    owners.set(event, [...owners.get(event) ?? [], owner]);
+  };
+  for (const agg of ctx.aggregates)
+    for (const e of agg.events ?? [])
+      add2(e.name, `aggregate '${agg.name}'`);
+  const processNames = /* @__PURE__ */ new Set();
+  for (const saga of ctx.sagas)
+    for (const e of saga.events ?? []) {
+      add2(e.name, `orchestration '${saga.name}'`);
+      processNames.add(e.name);
+    }
+  return [...owners].filter(([name, who]) => processNames.has(name) && who.length > 1).map(([name, who]) => ({
+    ruleId: "V40",
+    message: `Event '${name}' is declared by ${who.join(" and ")}; an event has one owner.`
+  }));
+}
+function allCommands(ir) {
+  return ir.contexts.flatMap((c) => [...c.commands, ...c.sagas.flatMap((s) => s.commands ?? [])]);
+}
+function v41Declarations(commands) {
+  return commands.flatMap((cmd) => (cmd.preconditions ?? []).flatMap((pre) => (pre.causes ?? []).filter((cause) => !(cmd.causes ?? []).includes(cause)).map((cause) => ({
+    ruleId: "V41",
+    message: `Precondition '${pre.name}' of command '${cmd.name}' names cause '${cause}', which the command does not declare.`
+  }))));
+}
+function placementCauseFindings(flowName, entry, cmd) {
+  if (entry.cause !== void 0) {
+    return (cmd.causes ?? []).includes(entry.cause) ? [] : [
+      {
+        ruleId: "V41",
+        message: `Flow '${flowName}' places '${cmd.name}' for cause '${entry.cause}', which the command does not declare.`
+      }
+    ];
+  }
+  const scoped = (cmd.preconditions ?? []).some((p) => (p.causes ?? []).length > 0);
+  return (cmd.causes ?? []).length > 0 && scoped ? [
+    {
+      ruleId: "V42",
+      message: `Flow '${flowName}' places '${cmd.name}' without a cause, but the command has cause-scoped preconditions.`
+    }
+  ] : [];
+}
+function v41v42Placements(ir, commands) {
+  const byName = new Map(commands.map((c) => [c.name, c]));
+  return (ir.flows ?? []).flatMap((flow) => flow.moments.flatMap((moment) => [...moment.contextEntries, ...(moment.branches ?? []).flatMap((b) => b.entries)].flatMap((entry) => {
+    const cmd = byName.get(entry.nodeName);
+    return cmd === void 0 ? [] : placementCauseFindings(flow.name, entry, cmd);
+  })));
+}
+function sameMomentTrigger(conn, sameMoment, known) {
+  const { sourceNodeName: cause, targetNodeName: node } = conn;
+  if (conn.connectionType !== "triggered-by" || cause === void 0 || node === void 0)
+    return [];
+  if (!known.has(node) || !sameMoment.get(conn.sourceMomentId)?.has(cause))
+    return [];
+  return [{ cause, node, momentId: conn.sourceMomentId }];
+}
+function v43(ir) {
+  const policies = ir.contexts.flatMap((c) => c.policies);
+  const known = /* @__PURE__ */ new Set([
+    ...policies.map((p) => p.name),
+    ...ir.contexts.flatMap((c) => [
+      ...c.commands.map((m) => m.name),
+      ...c.events.map((e) => e.name),
+      ...c.sagas.flatMap((s) => (s.commands ?? []).map((m) => m.name))
+    ])
+  ]);
+  const declared = (t) => policies.some((p) => p.name === t.node && p.trigger === t.cause || p.name === t.cause && p.chainsTo === t.node || p.trigger === t.cause && p.chainsTo === t.node);
+  return (ir.flows ?? []).flatMap((flow) => {
+    const earlier = /* @__PURE__ */ new Set();
+    const sameMoment = /* @__PURE__ */ new Map();
+    for (const moment of flow.moments) {
+      const names = [
+        ...moment.contextEntries,
+        ...(moment.branches ?? []).flatMap((b) => b.entries)
+      ].map((e) => e.nodeName);
+      sameMoment.set(moment.id, new Set(names.filter((n) => !earlier.has(n))));
+      names.forEach((n) => earlier.add(n));
+    }
+    const momentNames = new Map(flow.moments.map((m) => [m.id, m.name]));
+    return flow.connections.flatMap((conn) => sameMomentTrigger(conn, sameMoment, known)).filter((t) => !declared(t)).map((t) => ({
+      ruleId: "V43",
+      message: `Flow '${flow.name}' moment '${momentNames.get(t.momentId)}': '${t.node}' is triggered-by '${t.cause}' in the same moment, but no policy declares that hop.`
+    }));
+  });
+}
 function validatePaletteConformance(ir) {
   const known = namesOf2(ir);
+  const commands = allCommands(ir);
   return [
     ...ir.contexts.flatMap((ctx) => [
       ...v29v30(ctx, known),
       ...ctx.sagas.flatMap((saga) => orchestrationFindings(saga, known)),
       ...v36(ctx),
-      ...v37(ctx, known)
+      ...v37(ctx, known),
+      ...v40(ctx)
     ]),
+    ...v41Declarations(commands),
+    ...v41v42Placements(ir, commands),
+    ...v43(ir),
     ...(ir.externals ?? []).flatMap((e) => gatewayFindings(`external '${e.name}'`, e.gateways ?? [], known))
   ];
 }
@@ -60612,7 +61058,9 @@ function collectContextMember(member, annotations, out) {
   } else if (isPolicyDeclaration(member)) {
     out.policies.push(transformPolicy(member, annotations));
   } else if (isSagaDeclaration(member)) {
-    out.sagas.push(transformSaga(member, annotations));
+    const sagaDef = transformSaga(member, annotations);
+    out.sagas.push(sagaDef);
+    out.events.push(...sagaDef.events ?? []);
   } else if (isProjectionDeclaration(member)) {
     out.projections.push(transformProjection(member));
   } else if (isQueryDeclaration(member)) {
@@ -60724,7 +61172,7 @@ function transformAggregate(agg, annotations) {
     if (isCommandDeclaration(member)) {
       commands.push(transformCommand(member, memberAnnotations));
     } else if (isDomainEventDeclaration(member)) {
-      events.push(transformEvent(member, memberAnnotations));
+      events.push(transformEvent(member, memberAnnotations, { kind: "aggregate", name }));
     } else if (isValueObjectDeclaration(member)) {
       valueObjects.push(transformValueObject(member, memberAnnotations));
     } else if (isInvariantDeclaration(member)) {
@@ -60760,6 +61208,7 @@ function transformCommand(cmd, annotations) {
     name: cmd.name,
     ...annotations ? { annotations } : {},
     inputs: cmd.inputs.map(transformFieldDeclaration),
+    ...cmd.causes.length > 0 ? { causes: [...cmd.causes] } : {},
     preconditions: cmd.preconditions.map(transformPrecondition),
     emitsEvent: cmd.emits
   };
@@ -60767,13 +61216,15 @@ function transformCommand(cmd, annotations) {
 function transformPrecondition(pre) {
   return {
     name: pre.name,
-    description: pre.description
+    description: pre.description,
+    ...pre.causes.length > 0 ? { causes: [...pre.causes] } : {}
   };
 }
-function transformEvent(evt, annotations) {
+function transformEvent(evt, annotations, owner) {
   return {
     id: `evt-${evt.name}`,
     name: evt.name,
+    owner,
     ...annotations ? { annotations } : {},
     fields: evt.fields.map(transformFieldDeclaration)
   };
@@ -60839,6 +61290,7 @@ function transformOrchestrationCommand(cmd) {
     id: `cmd-${cmd.name}`,
     name: cmd.name,
     inputs: cmd.inputs.map(transformFieldDeclaration),
+    ...cmd.causes.length > 0 ? { causes: [...cmd.causes] } : {},
     preconditions: cmd.preconditions.map(transformPrecondition),
     ...cmd.emits ? { emitsEvent: cmd.emits } : {}
   };
@@ -60870,6 +61322,9 @@ function transformSaga(saga, annotations) {
     compensation: compensationText(compensations),
     timeout,
     commands: saga.commands.map(transformOrchestrationCommand),
+    ...saga.events.length > 0 ? {
+      events: saga.events.map((e) => transformEvent(e, void 0, { kind: "orchestration", name: saga.name }))
+    } : {},
     issues: saga.issues.map(transformIssued),
     compensations,
     ...gatewaysOf(saga.gateways)
@@ -60953,11 +61408,19 @@ function transformMoment(moment, index, laneContextMap, nodeKindMap) {
     branches,
     terminal: hasTerminal || void 0,
     isBranch: moment.isBranch || void 0,
+    ...momentNotes(moment),
     // Textual order of entries/branches from CST offsets (M-P13); falls back
     // to entries-then-branches when the AST carries no CST.
     sequence: buildMomentSequence(moment).sequence
   };
 }
+function momentNotes(moment) {
+  const notes = (moment.notes ?? []).map((n) => ({
+    text: n.text,
+    ...n.laneId !== void 0 ? { laneId: n.laneId } : {}
+  }));
+  return notes.length > 0 ? { notes } : {};
+}
 function transformWhenBlock(when, laneContextMap, nodeKindMap) {
   return {
     condition: when.condition,
@@ -60983,6 +61446,9 @@ function transformNodeToEntry(node, laneContextMap, nodeKindMap) {
   if (multiplicity !== void 0) {
     entry.multiplicity = multiplicity;
   }
+  if (node.cause !== void 0) {
+    entry.cause = node.cause;
+  }
   const modifierType = node.modifier?.type;
   if (modifierType === "optional") {
     entry.optional = true;
@@ -63190,7 +63656,10 @@ function resolveAcrossFiles(ir) {
     ...(ctx.commands ?? []).map((c) => [c.name, "command"]),
     ...(ctx.events ?? []).map((e) => [e.name, "event"]),
     ...(ctx.policies ?? []).map((p) => [p.name, "policy"]),
-    ...(ctx.sagas ?? []).map((g) => [g.name, "saga"]),
+    ...(ctx.sagas ?? []).flatMap((g) => [
+      [g.name, "saga"],
+      ...(g.commands ?? []).map((c) => [c.name, "command"])
+    ]),
     ...(ctx.projections ?? []).map((p) => [p.name, "projection"]),
     ...(ctx.queries ?? []).map((q) => [q.name, "query"])
   ]));
@@ -63400,7 +63869,7 @@ function validateCrossFileReferences(ir) {
 }
 
 // ../core/dist/project/project-loader.js
-var isCompletenessRule = (d) => /^V(2[2-9]|3[0-9])$/.test(d.ruleId ?? "");
+var isCompletenessRule = (d) => /^V(2[2-9]|3[0-9]|4[0-3])$/.test(d.ruleId ?? "");
 var ProjectLoader = class {
   parser;
   constructor(parser) {
@@ -63939,8 +64408,9 @@ function orderedMomentChildren(moment, fallback) {
   const entries = moment.contextEntries;
   const branches = moment.branches ?? [];
   const seq = moment.sequence;
-  if (seq && isUsableSequence(seq, entries.length, branches.length)) {
-    return seq.map((item) => item.kind === "entry" ? { kind: "entry", entry: entries[item.index], entryIndex: item.index } : { kind: "branch", branch: branches[item.index], branchIndex: item.index });
+  const walked = seq?.filter((item) => item.kind !== "note");
+  if (walked && isUsableSequence(walked, entries.length, branches.length)) {
+    return walked.map((item) => item.kind === "entry" ? { kind: "entry", entry: entries[item.index], entryIndex: item.index } : { kind: "branch", branch: branches[item.index], branchIndex: item.index });
   }
   const entryChildren = entries.map((entry, i) => ({
     kind: "entry",
@@ -64227,7 +64697,8 @@ function entryToNode(entry, moment, momentIndex, laneIndex, scope, outcome) {
     momentName: moment.name,
     momentId: moment.id,
     momentIndex,
-    ...outcome !== void 0 ? { outcome } : {}
+    ...outcome !== void 0 ? { outcome } : {},
+    ...entry.cause !== void 0 ? { cause: entry.cause } : {}
   };
 }
 function generateEvents(nodes, flow, contextMap, sessionId, correlationId, baseTime) {
@@ -64439,7 +64910,7 @@ function findPreconditions(node, contextMap) {
   if (!ctx)
     return [];
   const cmd = findCommand(ctx, node.nodeName);
-  return cmd?.preconditions ?? [];
+  return (cmd?.preconditions ?? []).filter((pre) => pre.causes === void 0 || pre.causes.length === 0 || node.cause !== void 0 && pre.causes.includes(node.cause));
 }
 function buildNegativeScenario(ir, flow, walk, failIndex, precondition, contextMap, opts, scenarioId) {
   const allNodes = walk.nodes;
@@ -64472,7 +64943,7 @@ function buildNegativeScenario(ir, flow, walk, failIndex, precondition, contextM
     kind: "negative",
     description: `Negative scenario: ${precondition.description} precondition violation at ${failNode.nodeName}`,
     given: `A ${(flow.moments[0]?.name ?? "").toLowerCase()} scenario is initiated`,
-    when: `${failNode.nodeName} is invoked without satisfying ${precondition.name}`,
+    when: `${failNode.nodeName} is invoked${failNode.cause !== void 0 ? ` for ${failNode.cause}` : ""} without satisfying ${precondition.name}`,
     then: `The command ${failNode.nodeName} is rejected`,
     expectedPath: precedingNodes.map((n) => n.nodeId),
     activeBranches,
@@ -64494,7 +64965,8 @@ function buildFailureEvent(failNode, precondition, precedingEvents, opts) {
     payload: {
       nodeId: failNode.nodeId,
       failedPrecondition: precondition.name,
-      description: precondition.description
+      description: precondition.description,
+      ...failNode.cause !== void 0 ? { cause: failNode.cause } : {}
     }
   };
 }
@@ -64622,6 +65094,11 @@ function findCommand(ctx, name) {
     if (cmd)
       return cmd;
   }
+  for (const saga of ctx.sagas) {
+    const cmd = (saga.commands ?? []).find((c) => c.name === name);
+    if (cmd)
+      return cmd;
+  }
   return void 0;
 }
 function findEvent(ctx, name) {
@@ -64698,6 +65175,13 @@ function generateEventCatalog(ir) {
       }
     }
   }
+  for (const context of ir.contexts) {
+    for (const saga of context.sagas) {
+      for (const event of saga.events ?? []) {
+        entries.push(buildProcessCatalogEntry(event, saga, context, ir));
+      }
+    }
+  }
   addFlowFallbackEntries(ir, entries);
   return {
     events: entries,
@@ -64808,6 +65292,29 @@ function buildCatalogEntry(event, aggregate, context, ir) {
     temporalLocation
   };
 }
+function buildProcessCatalogEntry(event, saga, context, ir) {
+  const command2 = (saga.commands ?? []).find((c) => c.emitsEvent === event.name);
+  return {
+    eventName: event.name,
+    kind: "event",
+    schema: {
+      fields: event.fields.map((f) => ({
+        name: f.name,
+        type: f.type,
+        isArray: f.isArray,
+        deprecated: f.deprecated
+      }))
+    },
+    producer: {
+      context: context.name,
+      aggregate: "",
+      process: saga.name,
+      command: command2?.name ?? ""
+    },
+    consumers: findConsumers(event, ir),
+    temporalLocation: findTemporalLocation(event, ir)
+  };
+}
 function findProducerCommand(event, aggregate, context) {
   const command2 = aggregate.commands.find((c) => c.emitsEvent === event.name);
   return {
@@ -64880,7 +65387,8 @@ function generateImpactAnalysis(ir) {
     name: n.name,
     context: n.context,
     dependsOn: [...n.dependsOn],
-    triggers: [...n.triggers]
+    triggers: [...n.triggers],
+    ...n.owner !== void 0 ? { owner: n.owner } : {}
   }));
   return {
     nodes,
@@ -64910,6 +65418,16 @@ function addCommandNodes(context, nodeMap) {
       }
     }
   }
+  for (const saga of context.sagas) {
+    for (const cmd of saga.commands ?? []) {
+      if (!cmd.emitsEvent)
+        continue;
+      const cmdNode = getOrCreate(nodeMap, "command", cmd.name, context.name);
+      const evtNode = getOrCreate(nodeMap, "event", cmd.emitsEvent, context.name);
+      cmdNode.triggers.push(nodeKey("event", cmd.emitsEvent, context.name));
+      evtNode.dependsOn.push(nodeKey("command", cmd.name, context.name));
+    }
+  }
 }
 function addEventNodes(context, nodeMap) {
   for (const agg of context.aggregates) {
@@ -64917,6 +65435,11 @@ function addEventNodes(context, nodeMap) {
       getOrCreate(nodeMap, "event", event.name, context.name);
     }
   }
+  for (const saga of context.sagas) {
+    for (const event of saga.events ?? []) {
+      getOrCreate(nodeMap, "event", event.name, context.name).owner = saga.name;
+    }
+  }
 }
 function findDeclaringContextForEvent(eventName, ir) {
   for (const ctx of ir.contexts) {
@@ -65230,7 +65753,13 @@ function buildFrames(flow, ctxMap, laneIndex) {
     id: moment.id,
     moment: moment.name,
     isBranch: (moment.branches ?? []).length > 0,
-    nodes: buildFrameNodes(moment, ctxMap, laneIndex)
+    nodes: buildFrameNodes(moment, ctxMap, laneIndex),
+    ...(moment.notes ?? []).length > 0 ? {
+      notes: (moment.notes ?? []).map((n) => ({
+        text: n.text,
+        ...n.laneId !== void 0 ? { lane: n.laneId } : {}
+      }))
+    } : {}
   }));
 }
 function buildFrameNodes(moment, ctxMap, laneIndex) {
@@ -65258,6 +65787,8 @@ function entryToNode2(entry, moment, ctxMap, laneIndex, scope) {
     label: entry.nodeName,
     type: nodeKind,
     aggregate: aggregate ?? void 0,
+    process: aggregate === null ? findProcess(entry.nodeName, ctx) ?? void 0 : void 0,
+    cause: entry.cause,
     optional: entry.optional ?? void 0,
     terminal: entry.terminal ?? void 0,
     multiplicity: entry.multiplicity != null ? String(entry.multiplicity) : void 0,
@@ -65267,7 +65798,7 @@ function entryToNode2(entry, moment, ctxMap, laneIndex, scope) {
 function resolveNodeKind2(entry, ctx) {
   if (!ctx)
     return entry.nodeKind;
-  const isCmd = ctx.commands.some((c) => c.name === entry.nodeName) || ctx.aggregates.some((a) => a.commands.some((c) => c.name === entry.nodeName));
+  const isCmd = ctx.commands.some((c) => c.name === entry.nodeName) || ctx.aggregates.some((a) => a.commands.some((c) => c.name === entry.nodeName)) || (ctx.sagas ?? []).some((g) => (g.commands ?? []).some((c) => c.name === entry.nodeName));
   if (isCmd)
     return "command";
   const isEvt = ctx.events.some((e) => e.name === entry.nodeName) || ctx.aggregates.some((a) => a.events.some((e) => e.name === entry.nodeName));
@@ -65286,6 +65817,15 @@ function findAggregate(nodeName, ctx) {
   }
   return null;
 }
+function findProcess(nodeName, ctx) {
+  for (const saga of ctx?.sagas ?? []) {
+    if ((saga.events ?? []).some((e) => e.name === nodeName))
+      return saga.name;
+    if ((saga.commands ?? []).some((c) => c.name === nodeName))
+      return saga.name;
+  }
+  return null;
+}
 function buildConnections(flow) {
   return flow.connections.map((conn) => {
     const eventType = conn.eventId.replace(/^evt-/, "");
@@ -65365,6 +65905,11 @@ function buildEventRouting(flow, ctxMap, laneIndex) {
         existing.add(nodeId);
         routing[entry.nodeName] = existing;
       }
+      if (kind === "policy") {
+        const existing = routing[entry.nodeName] ?? /* @__PURE__ */ new Set();
+        existing.add(nodeId);
+        routing[entry.nodeName] = existing;
+      }
       if (kind === "command") {
         const key = `SimProcess.${entry.nodeName}`;
         const existing = routing[key] ?? /* @__PURE__ */ new Set();
@@ -65506,24 +66051,32 @@ function renderMomentsByContext(lines, flow, ir, ctxMap) {
     const sharedPreconditions = extractSharedPreconditions(moments, ctxMap);
     renderBackgroundBlock(lines, sharedPreconditions);
     for (const moment of moments) {
-      if (moment.branches && moment.branches.length > 0) {
-        for (const branch of moment.branches) {
-          renderBranchScenario(lines, moment, branch.condition, branch.entries, flow, ctxMap, ir, sharedPreconditions);
-        }
-      } else {
-        renderScenario(lines, moment, moment.contextEntries, flow, ctxMap, ir, void 0, sharedPreconditions);
-      }
+      renderMoment(lines, moment, flow, ctxMap, ir, sharedPreconditions);
     }
     renderSagaScenarios(lines, ctxId, ir, ownedSagaIds);
   }
   renderOrphanOwnedSagas(lines, ir, contextGroups, ownedSagaIds);
 }
+function renderMoment(lines, moment, flow, ctxMap, ir, sharedPreconditions) {
+  if (isNoteOnly(moment)) {
+    renderNoteOnlyMoment(lines, moment, flow);
+    return;
+  }
+  if (moment.branches && moment.branches.length > 0) {
+    for (const branch of moment.branches) {
+      renderBranchScenario(lines, moment, branch.condition, branch.entries, flow, ctxMap, ir, sharedPreconditions);
+    }
+    return;
+  }
+  renderScenario(lines, moment, moment.contextEntries, flow, ctxMap, ir, void 0, sharedPreconditions);
+}
 function renderScenario(lines, moment, entries, flow, ctxMap, ir, variant, sharedPreconditions = /* @__PURE__ */ new Set()) {
   const label = variant ? `${moment.name} [${variant}]` : moment.name;
   const tags = buildScenarioTags(entries, moment, void 0, flow, ctxMap, ir);
   if (tags.length > 0)
     lines.push(`    ${tags.join(" ")}`);
   lines.push(`    Scenario: ${label}`);
+  lines.push(...noteComments(moment, flow, "      "));
   const steps = [];
   const usedConnections = /* @__PURE__ */ new Set();
   for (const entry of orderedMainEntries(moment)) {
@@ -65547,6 +66100,7 @@ function renderBranchScenario(lines, moment, condition, branchEntries, flow, ctx
   if (tags.length > 0)
     lines.push(`    ${tags.join(" ")}`);
   lines.push(`    Scenario: ${moment.name} [${condition}]`);
+  lines.push(...noteComments(moment, flow, "      "));
   const steps = buildBranchScenarioSteps(moment, condition, branchEntries, flow, ctxMap, sharedPreconditions);
   if (returnsTo) {
     const targetLabel = resolveReturnsToLabel(returnsTo, flow);
@@ -65571,10 +66125,25 @@ function buildBranchScenarioSteps(moment, condition, branchEntries, flow, ctxMap
   }
   return steps;
 }
+function isNoteOnly(moment) {
+  return moment.contextEntries.length === 0 && (moment.branches ?? []).length === 0 && (moment.notes ?? []).length > 0;
+}
+function noteComments(moment, flow, indent) {
+  return (moment.notes ?? []).map((note) => {
+    const label = flow.lanes.find((l) => l.id === note.laneId)?.label ?? note.laneId;
+    return `${indent}# note${label !== void 0 ? ` (${label})` : ""}: ${note.text}`;
+  });
+}
+function renderNoteOnlyMoment(lines, moment, flow) {
+  lines.push(`    # moment: ${moment.name}`);
+  lines.push(...noteComments(moment, flow, "    "));
+  lines.push("");
+}
 function renderTerminalBranchScenario(lines, moment, condition, branchEntries, flow, ctxMap, ir) {
   const tags = ["@terminal", "@failure-path"];
   lines.push(`    ${tags.join(" ")}`);
   lines.push(`    Scenario: ${moment.name} [${condition}]`);
+  lines.push(...noteComments(moment, flow, "      "));
   const failedPrecondition = findFailedPrecondition(moment, ctxMap);
   lines.push(`      Given the ${moment.name.toLowerCase()} is evaluated`);
   if (failedPrecondition) {
@@ -65869,8 +66438,9 @@ function orderedMomentChildren2(moment) {
   const entries = moment.contextEntries;
   const branches = moment.branches ?? [];
   const seq = moment.sequence;
-  if (seq && isUsableSequence2(seq, entries.length, branches.length)) {
-    return seq.map((item) => item.kind === "entry" ? { kind: "entry", entry: entries[item.index] } : { kind: "branch", branch: branches[item.index] });
+  const walked = seq?.filter((item) => item.kind !== "note");
+  if (walked && isUsableSequence2(walked, entries.length, branches.length)) {
+    return walked.map((item) => item.kind === "entry" ? { kind: "entry", entry: entries[item.index] } : { kind: "branch", branch: branches[item.index] });
   }
   return [
     ...entries.map((entry) => ({ kind: "entry", entry })),
@@ -65988,10 +66558,20 @@ function collectFlowContextIds(flow) {
   }
   return [...ids];
 }
+function primaryContextOf(moment, flow, previous) {
+  const firstNode = moment.contextEntries[0] ?? moment.branches?.[0]?.entries[0];
+  return firstNode?.contextId ?? noteLaneContext(moment, flow) ?? previous ?? "unknown";
+}
+function noteLaneContext(moment, flow) {
+  const laneId = (moment.notes ?? []).find((n) => n.laneId !== void 0)?.laneId;
+  return flow.lanes.find((l) => l.id === laneId)?.contextId;
+}
 function groupMomentsByContext(flow) {
   const groups = /* @__PURE__ */ new Map();
+  let previous;
   for (const moment of flow.moments) {
-    const primaryCtx = moment.contextEntries[0]?.contextId ?? moment.branches?.[0]?.entries?.[0]?.contextId ?? "unknown";
+    const primaryCtx = primaryContextOf(moment, flow, previous);
+    previous = primaryCtx;
     const existing = groups.get(primaryCtx) ?? [];
     existing.push(moment);
     groups.set(primaryCtx, existing);
@@ -66149,10 +66729,18 @@ var SpecificationDocumentGenerator = class {
     for (const entry of moment.contextEntries) {
       this.renderEntryNarrative(lines, entry, moment, void 0, flow, ir, "  ", usedConnections);
     }
+    this.renderMomentNotes(lines, moment, flow);
     this.renderMomentBranches(lines, moment, flow, ir);
     this.renderMomentPoliciesAndRules(lines, moment, ir);
     lines.push("");
   }
+  /** Notes (ADR-040 D3) are narrated as steps of their moment; they are not nodes. */
+  renderMomentNotes(lines, moment, flow) {
+    for (const note of moment.notes ?? []) {
+      const label = flow.lanes.find((l) => l.id === note.laneId)?.label ?? note.laneId;
+      lines.push(`  - *note${label !== void 0 ? ` (${label})` : ""}:* ${note.text}`);
+    }
+  }
   renderMomentHeader(lines, moment, step, flow, ir) {
     const ctxLabel = this.buildContextLabel(moment, ir);
     const sagaLabel = this.findSagaStateForMoment(moment, step, flow, ir);
@@ -67165,6 +67753,19 @@ function generateAggregateFile(aggregate) {
   parts.push("");
   return parts.join("\n");
 }
+function processSagas(context) {
+  return context.sagas.filter((s) => (s.events ?? []).length > 0);
+}
+function generateProcessTypesFile(saga) {
+  const parts = [
+    generateJsDoc(`Events the ${saga.name} process records.`, "").trimEnd(),
+    ""
+  ];
+  for (const event of saga.events ?? []) {
+    parts.push(generateEventInterface(event));
+  }
+  return parts.join("\n");
+}
 function generateEventUnionType(context) {
   const eventNames = [];
   for (const aggregate of context.aggregates) {
@@ -67172,6 +67773,11 @@ function generateEventUnionType(context) {
       eventNames.push(toPascalCase(event.name));
     }
   }
+  for (const saga of processSagas(context)) {
+    for (const event of saga.events ?? []) {
+      eventNames.push(toPascalCase(event.name));
+    }
+  }
   if (eventNames.length === 0) {
     return "";
   }
@@ -67222,6 +67828,9 @@ function generateContextIndexFile(context) {
     parts.push(`export * from './${kebabName}.types.js';`);
     parts.push(`export * from './${kebabName}.aggregate.js';`);
   }
+  for (const saga of processSagas(context)) {
+    parts.push(`export * from './${toKebabCase2(saga.name)}.process.types.js';`);
+  }
   if (eventImports.length > 0) {
     parts.push("");
     for (const imp of eventImports) {
@@ -67243,6 +67852,10 @@ function collectEventImports(context) {
       imports.push({ module: `${toKebabCase2(aggregate.name)}.types.js`, names });
     }
   }
+  for (const saga of processSagas(context)) {
+    const names = (saga.events ?? []).map((e) => toPascalCase(e.name));
+    imports.push({ module: `${toKebabCase2(saga.name)}.process.types.js`, names });
+  }
   return imports;
 }
 function shouldIncludeContext(context, scope) {
@@ -67279,9 +67892,13 @@ function emitContext(context, scope, files, filesWritten) {
   const readSide = scope.level !== "aggregate" && hasReadSide(context);
   if (readSide)
     write(`${contextDir}/read-model.types.ts`, generateReadModelFile(context));
-  if (aggregates.length === 0 && !readSide)
+  const sagas = scope.level !== "aggregate" ? processSagas(context) : [];
+  for (const saga of sagas) {
+    write(`${contextDir}/${toKebabCase2(saga.name)}.process.types.ts`, generateProcessTypesFile(saga));
+  }
+  if (aggregates.length === 0 && !readSide && sagas.length === 0)
     return void 0;
-  write(`${contextDir}/index.ts`, generateContextIndexFile({ ...context, aggregates }));
+  write(`${contextDir}/index.ts`, generateContextIndexFile({ ...context, aggregates, sagas }));
   return dir;
 }
 var TypeScriptEmitter = class {
@@ -67775,7 +68392,12 @@ function buildPayloads(ir, includeAll) {
     const flowSlug = kebab2(flow.name);
     const topoKey = `topology-${flowSlug}.json`;
     topologies[topoKey] = topoEmitter.emit(ir, flow);
-    const flowScenarios = includeAll ? [...generateAllScenarios(ir, flow), ...deriveNegativeScenarios(ir, flow)] : [generateSimulationScenario(ir, flow)];
+    const flowScenarios = includeAll ? [
+      ...generateAllScenarios(ir, flow),
+      ...deriveNegativeScenarios(ir, flow),
+      // Saga-timeout scenarios, as `moment simulate --all` writes them.
+      ...deriveTimeoutScenarios(ir, flow)
+    ] : [generateSimulationScenario(ir, flow)];
     for (const s of flowScenarios) {
       scenarios[`${s.scenarioId}.json`] = s;
     }
@@ -67793,7 +68415,8 @@ function buildPayloads(ir, includeAll) {
       artifacts: {
         eventCatalog: "event-catalog.json",
         impactAnalysis: "impact-analysis.json",
-        sagaStateMachines: "saga-state-machines.json"
+        sagaStateMachines: "saga-state-machines.json",
+        policyDefinitions: "policy-definitions.json"
       }
     },
     topologies,
@@ -67801,7 +68424,9 @@ function buildPayloads(ir, includeAll) {
     artifacts: {
       eventCatalog: generateEventCatalog(ir),
       impactAnalysis: generateImpactAnalysis(ir),
-      sagaStateMachines: generateSagaStateMachines(ir)
+      sagaStateMachines: generateSagaStateMachines(ir),
+      // The generator `simulate --out-dir` writes policy-definitions.json with.
+      policyDefinitions: generatePolicyDefinitions(ir)
     }
   };
 }
@@ -67883,7 +68508,8 @@ function normalizeArtifactFilenames(raw) {
   return {
     eventCatalog: raw.eventCatalog ?? "event-catalog.json",
     impactAnalysis: raw.impactAnalysis ?? "impact-analysis.json",
-    sagaStateMachines: raw.sagaStateMachines ?? "saga-state-machines.json"
+    sagaStateMachines: raw.sagaStateMachines ?? "saga-state-machines.json",
+    policyDefinitions: raw.policyDefinitions ?? "policy-definitions.json"
   };
 }
 function loadFlowAssets(dir, flow, includeAll, topologies, scenarios) {
@@ -67932,7 +68558,8 @@ function runFacetDirPipeline(dir, includeAll) {
     artifacts: {
       eventCatalog: loadArtifact(dir, artifactNames.eventCatalog),
       impactAnalysis: loadArtifact(dir, artifactNames.impactAnalysis),
-      sagaStateMachines: loadArtifact(dir, artifactNames.sagaStateMachines)
+      sagaStateMachines: loadArtifact(dir, artifactNames.sagaStateMachines),
+      policyDefinitions: loadArtifact(dir, artifactNames.policyDefinitions)
     }
   };
 }
@@ -68658,23 +69285,56 @@ function renderTimeline(ir) {
     dimensions: computeDimensions(entries, lanes)
   };
 }
+function laneOfMoment(moment, flow, laneIndex, previous) {
+  const first2 = moment.contextEntries[0];
+  if (first2)
+    return laneIndex.get(first2.contextId);
+  const noteLaneId = (moment.notes ?? []).find((n) => n.laneId !== void 0)?.laneId;
+  const noteLane = flow.lanes.find((l) => l.id === noteLaneId);
+  return (noteLane ? laneIndex.get(noteLane.contextId) : void 0) ?? previous;
+}
+function namesOfMoment(moment) {
+  return [
+    ...moment.contextEntries.map((e) => e.nodeName),
+    ...(moment.branches ?? []).flatMap((b) => b.entries.map((e) => e.nodeName))
+  ];
+}
+function momentDetails(moment, flow, earlier) {
+  const here = new Set(namesOfMoment(moment).filter((n) => !earlier.has(n)));
+  const hops = flow.connections.filter((c) => c.connectionType === "triggered-by" && c.sourceMomentId === moment.id && c.sourceNodeName !== void 0 && c.targetNodeName !== void 0 && here.has(c.sourceNodeName)).map((c) => ({ from: c.sourceNodeName ?? "", to: c.targetNodeName ?? "" }));
+  const causes = [
+    ...moment.contextEntries,
+    ...(moment.branches ?? []).flatMap((b) => b.entries)
+  ].flatMap((e) => e.cause !== void 0 ? [{ nodeName: e.nodeName, cause: e.cause }] : []);
+  const notes = (moment.notes ?? []).map((n) => ({
+    text: n.text,
+    ...n.laneId !== void 0 ? { laneId: n.laneId } : {}
+  }));
+  return {
+    ...notes.length > 0 ? { notes } : {},
+    ...hops.length > 0 ? { hops } : {},
+    ...causes.length > 0 ? { causes } : {}
+  };
+}
 function processFlow(flow, ir, laneIndex, entries, connections, xOffset) {
+  const earlier = /* @__PURE__ */ new Set();
+  let previous;
   for (const moment of flow.moments) {
-    const firstEntry = moment.contextEntries[0];
-    if (firstEntry) {
-      const lane = laneIndex.get(firstEntry.contextId);
-      if (lane) {
-        entries.push({
-          momentId: moment.id,
-          momentName: moment.name,
-          contextId: firstEntry.contextId,
-          x: xOffset,
-          y: lane.y + LANE_PADDING,
-          width: ENTRY_WIDTH,
-          height: ENTRY_HEIGHT
-        });
-      }
+    const lane = laneOfMoment(moment, flow, laneIndex, previous);
+    if (lane) {
+      previous = lane;
+      entries.push({
+        momentId: moment.id,
+        momentName: moment.name,
+        contextId: lane.contextId,
+        x: xOffset,
+        y: lane.y + LANE_PADDING,
+        width: ENTRY_WIDTH,
+        height: ENTRY_HEIGHT,
+        ...momentDetails(moment, flow, earlier)
+      });
     }
+    namesOfMoment(moment).forEach((n) => earlier.add(n));
     xOffset += ENTRY_SPACING;
   }
   for (const conn of flow.connections) {