@mmmnt/cli 0.8.0 → 0.9.0

package/dist/moment.mjs

@@ -59218,6 +59218,10 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "Keyword",
             "value": "note"
+          },
+          {
+            "$type": "Keyword",
+            "value": "outcome"
           }
         ]
       },
@@ -59324,6 +59328,10 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "Keyword",
             "value": "terminal"
+          },
+          {
+            "$type": "Keyword",
+            "value": "outcome"
           }
         ]
       },
@@ -59765,6 +59773,10 @@ var MomentGrammar = () => loadedMomentGrammar ?? (loadedMomentGrammar = loadGram
           {
             "$type": "Keyword",
             "value": "note"
+          },
+          {
+            "$type": "Keyword",
+            "value": "outcome"
           }
         ]
       },
@@ -60291,7 +60303,7 @@ var MomentValidator = class {
   // those are alternative branch arms, not continuations.
   // =========================================================================
   checkTerminalIsLast(node, accept) {
-    if (node.modifier?.type !== "terminal")
+    if (!endsFlow(node))
       return;
     const container = node.$container;
     const siblings = "nodes" in container ? container.nodes : [];
@@ -60762,6 +60774,10 @@ var MomentValidator = class {
     return false;
   }
 };
+function endsFlow(node) {
+  const type = node.modifier?.type;
+  return type === "terminal" || type === "outcome";
+}
 
 // ../core/dist/moment-module.js
 var MomentModule = {
@@ -61778,13 +61794,18 @@ function transformNodeToEntry(node, laneContextMap, nodeKindMap) {
   if (node.cause !== void 0) {
     entry.cause = node.cause;
   }
-  const modifierType = node.modifier?.type;
+  applyModifier(entry, node.modifier?.type);
+  return entry;
+}
+function applyModifier(entry, modifierType) {
   if (modifierType === "optional") {
     entry.optional = true;
   } else if (modifierType === "terminal") {
     entry.terminal = true;
+  } else if (modifierType === "outcome") {
+    entry.terminal = true;
+    entry.exit = "outcome";
   }
-  return entry;
 }
 function extractConnections(flow, laneContextMap) {
   const connections = [];
@@ -64934,14 +64955,16 @@ function resolveScenarioLabel(flow, reachedBranches) {
   if (deviations.length === 0)
     return `Happy Path: ${flow.name}`;
   const bracket = deviations.map((b) => b.condition).join(", ");
-  const hasTerminalArm = deviations.some((b) => b.armHasTerminal);
-  return hasTerminalArm ? `Failure Path: ${flow.name} [${bracket}]` : `Variant: ${flow.name} [${bracket}]`;
+  return endsAtFailureExit(deviations) ? `Failure Path: ${flow.name} [${bracket}]` : `Variant: ${flow.name} [${bracket}]`;
 }
 function resolveScenarioKind(reachedBranches) {
   const deviations = reachedBranches.filter((b) => !b.isFirstArm);
   if (deviations.length === 0)
     return "happy";
-  return deviations.some((b) => b.armHasTerminal) ? "failure" : "variant";
+  return endsAtFailureExit(deviations) ? "failure" : "variant";
+}
+function endsAtFailureExit(deviations) {
+  return deviations.some((b) => b.armHasFailureExit);
 }
 function buildContextMap(ir) {
   return new Map(ir.contexts.map((c) => [c.id, c]));
@@ -65021,6 +65044,10 @@ function selectBranch(moment, branchSelections, state) {
   const branch = (selected ? branches.find((b) => b.condition === selected) : void 0) ?? branches[0];
   return { branch, forced };
 }
+function armEndsAtFailureExit(branch) {
+  const exit = branch.entries.find((e) => e.terminal);
+  return exit !== void 0 && exit.exit !== "outcome";
+}
 function recordBranchPoint(state, moment, branch, branchIdx, forced) {
   state.activations.push({ momentName: moment.name, condition: branch.condition });
   if (!forced && !state.reachedNames.has(moment.name)) {
@@ -65029,7 +65056,7 @@ function recordBranchPoint(state, moment, branch, branchIdx, forced) {
       momentName: moment.name,
       condition: branch.condition,
       isFirstArm: branchIdx === 0,
-      armHasTerminal: branch.entries.some((e) => e.terminal)
+      armHasFailureExit: armEndsAtFailureExit(branch)
     });
   }
 }
@@ -65278,23 +65305,40 @@ function findEventAfter(events, eventType, afterIndex) {
 function deriveNegativeScenarios(ir, flow, options) {
   const contextMap = buildContextMap(ir);
   const opts = resolveOptions(flow, options);
-  const walk = walkPath(flow, opts.branchSelections);
-  const nodes = walk.nodes;
   const scenarios = [];
   const usedIds = /* @__PURE__ */ new Set();
-  for (let i = 0; i < nodes.length; i++) {
-    const node = nodes[i];
-    const kind = resolveNodeKind(node.nodeName, node.contextId, contextMap, node.nodeKind);
-    if (kind !== "command")
-      continue;
-    const preconditions = findPreconditions(node, contextMap);
-    for (const pre of preconditions) {
-      const baseId = `${opts.scenarioId}-neg-${node.nodeName}-${pre.name}`;
-      const scenarioId = usedIds.has(baseId) ? `${baseId}-${i}` : baseId;
-      usedIds.add(scenarioId);
-      usedIds.add(baseId);
-      scenarios.push(buildNegativeScenario(ir, flow, walk, i, pre, contextMap, opts, scenarioId));
+  const covered = /* @__PURE__ */ new Set();
+  const deriveOnPath = (walk, onlyUncovered) => {
+    const nodes = walk.nodes;
+    for (let i = 0; i < nodes.length; i++) {
+      const node = nodes[i];
+      const kind = resolveNodeKind(node.nodeName, node.contextId, contextMap, node.nodeKind);
+      if (kind !== "command")
+        continue;
+      for (const pre of findPreconditions(node, contextMap)) {
+        const key = [node.nodeName, pre.name, node.cause ?? ""].join("\0");
+        if (onlyUncovered && covered.has(key))
+          continue;
+        covered.add(key);
+        const baseId = `${opts.scenarioId}-neg-${node.nodeName}-${pre.name}`;
+        const scenarioId = usedIds.has(baseId) ? `${baseId}-${i}` : baseId;
+        usedIds.add(scenarioId);
+        usedIds.add(baseId);
+        scenarios.push(buildNegativeScenario(ir, flow, walk, i, pre, contextMap, opts, scenarioId));
+      }
     }
+  };
+  deriveOnPath(walkPath(flow, opts.branchSelections), false);
+  if (options?.branchSelections !== void 0)
+    return scenarios;
+  const seenPaths = /* @__PURE__ */ new Set();
+  for (const selections of enumerateBranchCombinations(flow)) {
+    const walk = walkPath(flow, selections);
+    const pathKey = walk.nodes.map((n) => n.nodeId).join("|");
+    if (seenPaths.has(pathKey))
+      continue;
+    seenPaths.add(pathKey);
+    deriveOnPath(walk, true);
   }
   return scenarios;
 }
@@ -66253,46 +66297,51 @@ function findProcess(nodeName, ctx) {
   return null;
 }
 function buildConnections(flow) {
-  return flow.connections.map((conn) => {
-    const eventType = conn.eventId.replace(/^evt-/, "");
-    const endpoints = {
-      eventType,
-      sourceNodeName: conn.sourceNodeName,
-      targetNodeName: conn.targetNodeName
-    };
-    if (conn.connectionType === "returns-to") {
-      if (conn.targetMomentId) {
-        return {
-          from: conn.sourceMomentId,
-          to: conn.targetMomentId,
-          style: "return",
-          targetMomentLabel: conn.targetMomentLabel,
-          ...endpoints
-        };
-      }
+  return flow.connections.map((conn) => ({
+    ...buildConnection(conn),
+    // ADR-044: the IR already states which arm declared the connection.
+    ...conn.branchCondition !== void 0 ? { branchCondition: conn.branchCondition } : {}
+  }));
+}
+function buildConnection(conn) {
+  const eventType = conn.eventId.replace(/^evt-/, "");
+  const endpoints = {
+    eventType,
+    sourceNodeName: conn.sourceNodeName,
+    targetNodeName: conn.targetNodeName
+  };
+  if (conn.connectionType === "returns-to") {
+    if (conn.targetMomentId) {
       return {
         from: conn.sourceMomentId,
-        to: conn.targetContextId,
-        label: `unresolved returns-to target: ${conn.targetMomentLabel ?? "(unknown)"}`,
+        to: conn.targetMomentId,
         style: "return",
         targetMomentLabel: conn.targetMomentLabel,
         ...endpoints
       };
     }
-    const isCrossing2 = conn.connectionType === "crosses-to";
     return {
       from: conn.sourceMomentId,
-      // For 'triggers' the core now resolves targetContextId to the context
-      // where the TARGET node is placed (not the source's own lane).
       to: conn.targetContextId,
-      label: isCrossing2 ? eventType : void 0,
-      style: mapConnectionStyle(conn),
-      crossBoundary: isCrossing2 || void 0,
-      relationship: isCrossing2 ? conn.schemaContract.relationshipType : void 0,
-      schemaContract: isCrossing2 ? mapSchemaContract(conn) : void 0,
+      label: `unresolved returns-to target: ${conn.targetMomentLabel ?? "(unknown)"}`,
+      style: "return",
+      targetMomentLabel: conn.targetMomentLabel,
       ...endpoints
     };
-  });
+  }
+  const isCrossing2 = conn.connectionType === "crosses-to";
+  return {
+    from: conn.sourceMomentId,
+    // For 'triggers' the core now resolves targetContextId to the context
+    // where the TARGET node is placed (not the source's own lane).
+    to: conn.targetContextId,
+    label: isCrossing2 ? eventType : void 0,
+    style: mapConnectionStyle(conn),
+    crossBoundary: isCrossing2 || void 0,
+    relationship: isCrossing2 ? conn.schemaContract.relationshipType : void 0,
+    schemaContract: isCrossing2 ? mapSchemaContract(conn) : void 0,
+    ...endpoints
+  };
 }
 function mapConnectionStyle(conn) {
   if (conn.connectionType === "crosses-to")
@@ -66565,12 +66614,16 @@ function renderNoteOnlyMoment(lines, moment, flow) {
   lines.push(...noteComments(moment, flow, "    "));
   lines.push("");
 }
+function armEndsAtOutcome(branchEntries) {
+  return branchEntries.find((e) => e.terminal)?.exit === "outcome";
+}
 function renderTerminalBranchScenario(lines, moment, condition, branchEntries, flow, ctxMap, ir) {
-  const tags = ["@terminal", "@failure-path"];
+  const endsAtOutcome = armEndsAtOutcome(branchEntries);
+  const tags = ["@terminal", endsAtOutcome ? "@alt-path" : "@failure-path"];
   lines.push(`    ${tags.join(" ")}`);
   lines.push(`    Scenario: ${moment.name} [${condition}]`);
   lines.push(...noteComments(moment, flow, "      "));
-  const failedPrecondition = findFailedPrecondition(moment, ctxMap);
+  const failedPrecondition = endsAtOutcome ? void 0 : findFailedPrecondition(moment, ctxMap);
   lines.push(`      Given the ${moment.name.toLowerCase()} is evaluated`);
   if (failedPrecondition) {
     lines.push(`      When ${failedPrecondition.name} is not satisfied`);
@@ -66585,7 +66638,8 @@ function renderTerminalBranchScenario(lines, moment, condition, branchEntries, f
     lines.push(`      Then the flow terminates because ${failedPrecondition.description}`);
   } else {
     const terminalNode = branchEntries.find((e) => e.terminal)?.nodeName;
-    lines.push(`      Then the flow terminates${terminalNode ? ` at ${terminalNode}` : ""}`);
+    const verb = endsAtOutcome ? "ends" : "terminates";
+    lines.push(`      Then the flow ${verb}${terminalNode ? ` at ${terminalNode}` : ""}`);
   }
   const compensation = findCompensationForMoment(moment, ir);
   if (compensation) {
@@ -66714,7 +66768,7 @@ function readOrEmit(entry) {
   return "emits";
 }
 function renderInternalEventStep(lines, entry, evt, ctxName) {
-  const modifier = entry.optional ? " (optional)" : entry.terminal ? " (terminal)" : "";
+  const modifier = entry.optional ? " (optional)" : entry.terminal ? entry.exit === "outcome" ? " (outcome)" : " (terminal)" : "";
   lines.push(`      Then ${ctxName} ${readOrEmit(entry)} ${entry.nodeName}${modifier}`);
   if (evt && evt.fields.length > 0) {
     lines.push(`        carrying ${evt.fields.map((f) => f.name).join(", ")}`);
@@ -67221,8 +67275,10 @@ var SpecificationDocumentGenerator = class {
   }
   renderTerminalBranch(lines, moment, branch, flow, ir) {
     const usedConnections = /* @__PURE__ */ new Set();
-    const terminalNode = branch.entries.find((e) => e.terminal)?.nodeName;
-    lines.push(`  - \u274C **If ${branch.condition}:** flow terminates${terminalNode ? ` at **${terminalNode}**` : ""}`);
+    const exit = branch.entries.find((e) => e.terminal);
+    const terminalNode = exit?.nodeName;
+    const [mark, verb] = exit?.exit === "outcome" ? ["\u2705", "ends"] : ["\u274C", "terminates"];
+    lines.push(`  - ${mark} **If ${branch.condition}:** flow ${verb}${terminalNode ? ` at **${terminalNode}**` : ""}`);
     for (const entry of branch.entries) {
       if (entry.terminal)
         continue;
@@ -67548,8 +67604,11 @@ var SpecificationDocumentGenerator = class {
   }
   renderBranchAltBlock(lines, moment, ctxName, flow, ir) {
     const nonTerminal = moment.branches.filter((b) => !b.entries.some((e) => e.terminal));
-    const terminal = moment.branches.filter((b) => b.entries.some((e) => e.terminal));
-    if (nonTerminal.length === 0 && terminal.length === 0)
+    const ending = moment.branches.filter((b) => b.entries.some((e) => e.terminal));
+    const isOutcome = (b) => b.entries.find((e) => e.terminal)?.exit === "outcome";
+    const terminal = ending.filter((b) => !isOutcome(b));
+    const outcome = ending.filter(isOutcome);
+    if (nonTerminal.length === 0 && ending.length === 0)
       return;
     for (let i = 0; i < nonTerminal.length; i++) {
       const branch = nonTerminal[i];
@@ -67557,11 +67616,16 @@ var SpecificationDocumentGenerator = class {
       lines.push(`  ${keyword} ${branch.condition}`);
       this.renderSequenceEntries(lines, branch.entries, moment, branch.condition, flow, ir);
     }
-    if (terminal.length > 0) {
-      const keyword = nonTerminal.length === 0 ? "alt" : "else";
-      const labels = terminal.map((b) => b.condition).join(" / ");
-      lines.push(`  ${keyword} ${labels}`);
-      lines.push(`  Note over ${ctxName}: Flow terminates`);
+    let opened = nonTerminal.length > 0;
+    for (const [arms, note] of [
+      [terminal, "Flow terminates"],
+      [outcome, "Flow ends at an outcome"]
+    ]) {
+      if (arms.length === 0)
+        continue;
+      lines.push(`  ${opened ? "else" : "alt"} ${arms.map((b) => b.condition).join(" / ")}`);
+      lines.push(`  Note over ${ctxName}: ${note}`);
+      opened = true;
     }
     lines.push("  end");
   }