@proophboard/exploration-runtime 0.0.0-stage → 0.1.1

package/dist/index.d.ts

@@ -0,0 +1,68 @@
+/**
+ * @proophboard/exploration-runtime — public API
+ *
+ * Pure, environment-independent Exploration Mode runtime for prooph board.
+ * Runs in Node ≥18 and the browser without DOM/React dependencies.
+ *
+ * ──────────────────────────────────────────────────────────────────────────────
+ * Runtime execution
+ * ──────────────────────────────────────────────────────────────────────────────
+ *
+ * Typical usage from Node (e.g. spec-stream scenario runner):
+ *
+ *   import {
+ *     foldChapter, runScenario, runAllScenarios,
+ *     deriveRuntimeSteps, transpilePlayFunction,
+ *   } from '@proophboard/exploration-runtime';
+ *
+ *   // Pre-transpile all handlers (TS → JS, sucrase type-erasure):
+ *   const handlers = {};
+ *   for (const el of chapter.elements)
+ *     if (el.playFunction?.trim())
+ *       handlers[el.id] = await transpilePlayFunction(el.playFunction);
+ *
+ *   // Execute a scenario to the final playhead:
+ *   const steps   = deriveRuntimeSteps(chapter);
+ *   const result  = foldChapter(chapter, toImplicitScenario(scenario),
+ *                               steps.length - 1, handlers);
+ *   // result.events / result.state / result.errors / result.readViews
+ *
+ *   // Run a scenario as a test (expectations evaluated):
+ *   const testResult = runScenario(chapter, scenario, handlers);
+ *   // testResult.status: 'pass' | 'broken' | 'neutral'
+ *
+ * ──────────────────────────────────────────────────────────────────────────────
+ * TypeScript type-checking for play functions
+ * ──────────────────────────────────────────────────────────────────────────────
+ *
+ *   import {
+ *     RUNTIME_AMBIENT_DTS, buildModelDts, buildPerElementDts,
+ *   } from '@proophboard/exploration-runtime';
+ *
+ *   // Feed these three .d.ts strings into a ts.Program (in-memory CompilerHost)
+ *   // to typecheck a play-function.ts against the model-derived surface.
+ */
+export type { Chapter, Element, ElementType, Lane, LaneType, Slice, SliceStatus, ChapterMode, } from './types/eventModel.js';
+export type { RuntimeState, RuntimeEvent, RuntimeCommand, RuntimeResult, RuntimeResultV2, RuntimeError, RuntimeReadView, PendingCommand, InteractionLogEntry, ImplicitScenario, Scenario, ScenarioExpectation, ExpectedEvents, ExpectedInformation, ExpectedRejection, ExpectationResult, ScenarioRunResult, } from './types/exploration.js';
+export { EMPTY_IMPLICIT_SCENARIO, toImplicitScenario, isExpectedEvents, isExpectedInformation, } from './types/exploration.js';
+export type { RuntimeStep } from './playFunction/runtimeSteps.js';
+export { deriveRuntimeSteps, seedState, mergeProjection, defaultDecide, } from './playFunction/runtimeSteps.js';
+export type { TranspiledHandlers, FoldInput, } from './playFunction/runtimeFold.js';
+export { foldChapter, runFold, hasAnyPlayFunction, __clearCompiledCache, } from './playFunction/runtimeFold.js';
+export { runScenario, runAllScenarios } from './playFunction/scenarioRunner.js';
+export { transpilePlayFunction, getTranspiledSync, pretranspile, __clearTranspileCache, } from './playFunction/transpile.js';
+export type { HandlerKind } from './playFunction/sandbox.js';
+export { RejectSignal, isRejectSignal, compileHandler, runHandler, deepFreeze, } from './playFunction/sandbox.js';
+export type { ClockSurface } from './playFunction/clock.js';
+export { DeterministicClock, parseDuration, AUTO_TICK_MS, } from './playFunction/clock.js';
+export type { CascadeLimits, CascadeExceededKind } from './playFunction/cascadeBudget.js';
+export { CascadeBudget, CascadeBudgetExceeded, isCascadeBudgetExceeded, DEFAULT_CASCADE_LIMITS, DEFAULT_CASCADE_DEPTH, DEFAULT_CASCADE_TOTAL_EVENTS, } from './playFunction/cascadeBudget.js';
+export { buildModelDts, buildPerElementDts, MODEL_TYPES_PATH, PER_ELEMENT_TYPES_PATH, } from './playFunction/modelTypes.js';
+export { RUNTIME_AMBIENT_DTS, AMBIENT_TYPES_PATH, } from './playFunction/ambientTypes.js';
+export type { PlayTypeParse } from './playFunction/playType.js';
+export { wrapPlayType, parsePlayType, prefillPlayType, hasPlayType, PLAY_TYPE_ALIAS, } from './playFunction/playType.js';
+export type { KeyCollision, InvalidKey, KeyDiagnosticsReport } from './lib/toClassName.js';
+export { toClassName, isValidClassName, detectKeyCollisions, } from './lib/toClassName.js';
+export type { PlaySource, PlayChannel } from './playFunction/playLog.js';
+export { playLog, makePlayLogger } from './playFunction/playLog.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAIH,YAAY,EAEV,OAAO,EACP,OAAO,EACP,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,WAAW,EACX,WAAW,GACZ,MAAM,uBAAuB,CAAC;AAE/B,YAAY,EAEV,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,aAAa,EACb,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,QAAQ,EACR,mBAAmB,EACnB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAIhC,YAAY,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAElE,OAAO,EACL,kBAAkB,EAClB,SAAS,EACT,eAAe,EACf,aAAa,GACd,MAAM,gCAAgC,CAAC;AAIxC,YAAY,EACV,kBAAkB,EAClB,SAAS,GACV,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,WAAW,EACX,OAAO,EACP,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,+BAA+B,CAAC;AAIvC,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAIhF,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,YAAY,EACZ,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AAIrC,YAAY,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EACL,YAAY,EACZ,cAAc,EACd,cAAc,EACd,UAAU,EACV,UAAU,GACX,MAAM,2BAA2B,CAAC;AAInC,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,YAAY,GACb,MAAM,yBAAyB,CAAC;AAIjC,YAAY,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAE1F,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,uBAAuB,EACvB,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,iCAAiC,CAAC;AAIzC,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AAIxC,YAAY,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,EACL,YAAY,EACZ,aAAa,EACb,eAAe,EACf,WAAW,EACX,eAAe,GAChB,MAAM,4BAA4B,CAAC;AAIpC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAE3F,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAI9B,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAEzE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/index.js

@@ -0,0 +1,61 @@
+/**
+ * @proophboard/exploration-runtime — public API
+ *
+ * Pure, environment-independent Exploration Mode runtime for prooph board.
+ * Runs in Node ≥18 and the browser without DOM/React dependencies.
+ *
+ * ──────────────────────────────────────────────────────────────────────────────
+ * Runtime execution
+ * ──────────────────────────────────────────────────────────────────────────────
+ *
+ * Typical usage from Node (e.g. spec-stream scenario runner):
+ *
+ *   import {
+ *     foldChapter, runScenario, runAllScenarios,
+ *     deriveRuntimeSteps, transpilePlayFunction,
+ *   } from '@proophboard/exploration-runtime';
+ *
+ *   // Pre-transpile all handlers (TS → JS, sucrase type-erasure):
+ *   const handlers = {};
+ *   for (const el of chapter.elements)
+ *     if (el.playFunction?.trim())
+ *       handlers[el.id] = await transpilePlayFunction(el.playFunction);
+ *
+ *   // Execute a scenario to the final playhead:
+ *   const steps   = deriveRuntimeSteps(chapter);
+ *   const result  = foldChapter(chapter, toImplicitScenario(scenario),
+ *                               steps.length - 1, handlers);
+ *   // result.events / result.state / result.errors / result.readViews
+ *
+ *   // Run a scenario as a test (expectations evaluated):
+ *   const testResult = runScenario(chapter, scenario, handlers);
+ *   // testResult.status: 'pass' | 'broken' | 'neutral'
+ *
+ * ──────────────────────────────────────────────────────────────────────────────
+ * TypeScript type-checking for play functions
+ * ──────────────────────────────────────────────────────────────────────────────
+ *
+ *   import {
+ *     RUNTIME_AMBIENT_DTS, buildModelDts, buildPerElementDts,
+ *   } from '@proophboard/exploration-runtime';
+ *
+ *   // Feed these three .d.ts strings into a ts.Program (in-memory CompilerHost)
+ *   // to typecheck a play-function.ts against the model-derived surface.
+ */
+export { EMPTY_IMPLICIT_SCENARIO, toImplicitScenario, isExpectedEvents, isExpectedInformation, } from './types/exploration.js';
+export { deriveRuntimeSteps, seedState, mergeProjection, defaultDecide, } from './playFunction/runtimeSteps.js';
+export { foldChapter, runFold, hasAnyPlayFunction, __clearCompiledCache, } from './playFunction/runtimeFold.js';
+// ── Scenario runner (test oracle) ─────────────────────────────────────────
+export { runScenario, runAllScenarios } from './playFunction/scenarioRunner.js';
+// ── Transpile (TS → JS, sucrase) ──────────────────────────────────────────
+export { transpilePlayFunction, getTranspiledSync, pretranspile, __clearTranspileCache, } from './playFunction/transpile.js';
+export { RejectSignal, isRejectSignal, compileHandler, runHandler, deepFreeze, } from './playFunction/sandbox.js';
+export { DeterministicClock, parseDuration, AUTO_TICK_MS, } from './playFunction/clock.js';
+export { CascadeBudget, CascadeBudgetExceeded, isCascadeBudgetExceeded, DEFAULT_CASCADE_LIMITS, DEFAULT_CASCADE_DEPTH, DEFAULT_CASCADE_TOTAL_EVENTS, } from './playFunction/cascadeBudget.js';
+// ── TypeScript .d.ts builders (for typechecking play functions) ────────────
+export { buildModelDts, buildPerElementDts, MODEL_TYPES_PATH, PER_ELEMENT_TYPES_PATH, } from './playFunction/modelTypes.js';
+export { RUNTIME_AMBIENT_DTS, AMBIENT_TYPES_PATH, } from './playFunction/ambientTypes.js';
+export { wrapPlayType, parsePlayType, prefillPlayType, hasPlayType, PLAY_TYPE_ALIAS, } from './playFunction/playType.js';
+export { toClassName, isValidClassName, detectKeyCollisions, } from './lib/toClassName.js';
+export { playLog, makePlayLogger } from './playFunction/playLog.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAqCH,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAMhC,OAAO,EACL,kBAAkB,EAClB,SAAS,EACT,eAAe,EACf,aAAa,GACd,MAAM,gCAAgC,CAAC;AASxC,OAAO,EACL,WAAW,EACX,OAAO,EACP,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,+BAA+B,CAAC;AAEvC,6EAA6E;AAE7E,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAEhF,6EAA6E;AAE7E,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,YAAY,EACZ,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AAMrC,OAAO,EACL,YAAY,EACZ,cAAc,EACd,cAAc,EACd,UAAU,EACV,UAAU,GACX,MAAM,2BAA2B,CAAC;AAMnC,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,YAAY,GACb,MAAM,yBAAyB,CAAC;AAMjC,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,uBAAuB,EACvB,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,iCAAiC,CAAC;AAEzC,8EAA8E;AAE9E,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,EACL,YAAY,EACZ,aAAa,EACb,eAAe,EACf,WAAW,EACX,eAAe,GAChB,MAAM,4BAA4B,CAAC;AAMpC,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/lib/connectionRules.d.ts

@@ -0,0 +1,39 @@
+/**
+ * connectionRules — Event Modeling connection resolution (copied from
+ * eventflow-designer src/utils/connectionRules.ts). PURE: derives the arrow graph
+ * from a chapter's slices/lanes/elements. The runtime uses `getConnections` (to
+ * resolve command→event, event→information, event→automation reaction edges) and
+ * `getCommandsDrivenByUi` (to route UI input to the command it drives).
+ *
+ * `ARROW_COLORS` values are logic-irrelevant here (the board renders them as CSS
+ * vars; the runtime only reads connection `type`/`from`/`to`). Kept as plain
+ * strings so this module has zero styling/DOM dependency.
+ */
+import type { Chapter, Element, SliceStatus } from '../types/eventModel.js';
+export interface Connection {
+    id: string;
+    fromElement: Element;
+    toElement: Element;
+    color: string;
+    type: 'command' | 'event' | 'information' | 'lookup' | 'context-trigger' | 'ui-navigation';
+    sliceId: string;
+    sliceStatus: SliceStatus;
+    dotLaneId?: string;
+    dotSliceId?: string;
+}
+export interface ConnectionSourceTarget {
+    source: Element;
+    targets: Element[];
+}
+/** Get all connections for a chapter based on event modeling connection rules. */
+export declare function getConnections(chapter: Chapter): Connection[];
+/** Information element ids that are lookup elements (no incoming event). */
+export declare function getLookupInformationIds(chapter: Chapter): Set<string>;
+/** The source and target elements for a given element based on connection rules. */
+export declare function getSourceAndTargetElements(chapter: Chapter, element: Element): {
+    sources: Element[];
+    targets: Element[];
+};
+/** Resolve the command element(s) a UI or Automation element drives. */
+export declare function getCommandsDrivenByUi(chapter: Chapter, uiElement: Element): Element[];
+//# sourceMappingURL=connectionRules.d.ts.map

package/dist/lib/connectionRules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"connectionRules.d.ts","sourceRoot":"","sources":["../../src/lib/connectionRules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAQ,MAAM,wBAAwB,CAAC;AASlF,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,OAAO,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,SAAS,GAAG,OAAO,GAAG,aAAa,GAAG,QAAQ,GAAG,iBAAiB,GAAG,eAAe,CAAC;IAC3F,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,OAAO,EAAE,CAAC;CACpB;AAiED,kFAAkF;AAClF,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE,CA4Z7D;AAED,4EAA4E;AAC5E,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAerE;AAED,oFAAoF;AACpF,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,GACf;IAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAAC,OAAO,EAAE,OAAO,EAAE,CAAA;CAAE,CAY5C;AAED,wEAAwE;AACxE,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO,EAAE,CAUrF"}

package/dist/lib/connectionRules.js

@@ -0,0 +1,475 @@
+/**
+ * connectionRules — Event Modeling connection resolution (copied from
+ * eventflow-designer src/utils/connectionRules.ts). PURE: derives the arrow graph
+ * from a chapter's slices/lanes/elements. The runtime uses `getConnections` (to
+ * resolve command→event, event→information, event→automation reaction edges) and
+ * `getCommandsDrivenByUi` (to route UI input to the command it drives).
+ *
+ * `ARROW_COLORS` values are logic-irrelevant here (the board renders them as CSS
+ * vars; the runtime only reads connection `type`/`from`/`to`). Kept as plain
+ * strings so this module has zero styling/DOM dependency.
+ */
+const ARROW_COLORS = {
+    command: 'command',
+    event: 'event',
+    information: 'information',
+    uiNavigation: 'ui-navigation',
+};
+/** Get the last UI element in a slice (closest to the information-flow lane). */
+function getLastUiInSlice(sliceElements, lanes) {
+    const uiElements = sliceElements.filter((e) => e.type === 'ui');
+    if (uiElements.length === 0)
+        return undefined;
+    const infoFlowLane = lanes.find((l) => l.type === 'information-flow');
+    const infoFlowIndex = infoFlowLane?.index ?? Number.MAX_SAFE_INTEGER;
+    let lastUi;
+    let maxLaneIndex = -1;
+    let maxElementIndex = -1;
+    uiElements.forEach((ui) => {
+        const lane = lanes.find((l) => l.id === ui.laneId);
+        if (lane && lane.type === 'user-lane' && lane.index < infoFlowIndex) {
+            if (lane.index > maxLaneIndex ||
+                (lane.index === maxLaneIndex && (ui.index ?? 0) > maxElementIndex)) {
+                maxLaneIndex = lane.index;
+                maxElementIndex = ui.index ?? 0;
+                lastUi = ui;
+            }
+        }
+    });
+    return lastUi;
+}
+/** Get the UI or Automation element in a slice closest to the information-flow lane. */
+function getUiOrAutomationClosestToInfoFlow(sliceElements, lanes) {
+    const uiAutomationElements = sliceElements.filter((e) => e.type === 'ui' || e.type === 'automation');
+    if (uiAutomationElements.length === 0)
+        return undefined;
+    const infoFlowLane = lanes.find((l) => l.type === 'information-flow');
+    const infoFlowIndex = infoFlowLane?.index ?? Number.MAX_SAFE_INTEGER;
+    let selectedElement;
+    let maxLaneIndex = -1;
+    let maxElementIndex = -1;
+    uiAutomationElements.forEach((element) => {
+        const lane = lanes.find((l) => l.id === element.laneId);
+        if (lane && lane.index < infoFlowIndex) {
+            if (lane.index > maxLaneIndex ||
+                (lane.index === maxLaneIndex && (element.index ?? 0) > maxElementIndex)) {
+                maxLaneIndex = lane.index;
+                maxElementIndex = element.index ?? 0;
+                selectedElement = element;
+            }
+        }
+    });
+    return selectedElement;
+}
+/** Get all connections for a chapter based on event modeling connection rules. */
+export function getConnections(chapter) {
+    const result = [];
+    const sortedSlices = [...chapter.slices].sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+    sortedSlices.forEach((slice, sliceIndex) => {
+        const sliceStatus = slice.status || 'deployed';
+        const sliceElements = chapter.elements
+            .filter((e) => e.sliceId === slice.id)
+            .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+        const uiAutomations = sliceElements.filter((e) => e.type === 'ui' || e.type === 'automation');
+        const automations = sliceElements.filter((e) => e.type === 'automation');
+        const commands = sliceElements.filter((e) => e.type === 'command');
+        const events = sliceElements.filter((e) => e.type === 'event');
+        const information = sliceElements.filter((e) => e.type === 'information');
+        const lastUi = getLastUiInSlice(sliceElements, chapter.lanes);
+        // Rule: UI/Automation -> first Command in same slice, then chain through write slices
+        if (uiAutomations.length > 0 && commands.length > 0) {
+            const sourceElements = lastUi ? [lastUi] : uiAutomations;
+            sourceElements.forEach((ui) => {
+                if (ui.noArrowSource)
+                    return;
+                if (commands[0].noArrowTarget)
+                    return;
+                result.push({
+                    id: `${ui.id}-${commands[0].id}`,
+                    fromElement: ui,
+                    toElement: commands[0],
+                    color: ARROW_COLORS.command,
+                    type: 'command',
+                    sliceId: slice.id,
+                    sliceStatus,
+                });
+            });
+            const sourceElements2 = lastUi ? [lastUi] : uiAutomations;
+            sourceElements2.forEach((ui) => {
+                if (ui.noArrowSource)
+                    return;
+                let lookAheadIndex = sliceIndex + 1;
+                while (lookAheadIndex < sortedSlices.length) {
+                    const lookAheadSlice = sortedSlices[lookAheadIndex];
+                    const lookAheadElements = chapter.elements
+                        .filter((e) => e.sliceId === lookAheadSlice.id)
+                        .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+                    const lookAheadCommands = lookAheadElements.filter((e) => e.type === 'command');
+                    const lookAheadUiAutomations = lookAheadElements.filter((e) => e.type === 'ui' || e.type === 'automation');
+                    if (lookAheadUiAutomations.length > 0 || lookAheadCommands.length === 0)
+                        break;
+                    if (!lookAheadCommands[0].noArrowTarget) {
+                        result.push({
+                            id: `${ui.id}-${lookAheadCommands[0].id}`,
+                            fromElement: ui,
+                            toElement: lookAheadCommands[0],
+                            color: ARROW_COLORS.command,
+                            type: 'command',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                    lookAheadIndex++;
+                }
+            });
+        }
+        // Rule: UI/Automation -> Command in NEXT slice (and chain)
+        else if (uiAutomations.length > 0 && commands.length === 0) {
+            const sourceElements = lastUi ? [lastUi] : uiAutomations;
+            sourceElements.forEach((ui) => {
+                if (ui.noArrowSource)
+                    return;
+                let lookAheadIndex = sliceIndex + 1;
+                while (lookAheadIndex < sortedSlices.length) {
+                    const lookAheadSlice = sortedSlices[lookAheadIndex];
+                    const lookAheadElements = chapter.elements
+                        .filter((e) => e.sliceId === lookAheadSlice.id)
+                        .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+                    const lookAheadCommands = lookAheadElements.filter((e) => e.type === 'command');
+                    const lookAheadUiAutomations = lookAheadElements.filter((e) => e.type === 'ui' || e.type === 'automation');
+                    if (lookAheadUiAutomations.length > 0 || lookAheadCommands.length === 0)
+                        break;
+                    if (!lookAheadCommands[0].noArrowTarget) {
+                        result.push({
+                            id: `${ui.id}-${lookAheadCommands[0].id}`,
+                            fromElement: ui,
+                            toElement: lookAheadCommands[0],
+                            color: ARROW_COLORS.command,
+                            type: 'command',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                    lookAheadIndex++;
+                }
+            });
+        }
+        // Priority 2 & 3: Look at the next slice(s)
+        if (sliceIndex < sortedSlices.length - 1 && events.length > 0) {
+            const nextSlice = sortedSlices[sliceIndex + 1];
+            const nextSliceElements = chapter.elements
+                .filter((e) => e.sliceId === nextSlice.id)
+                .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+            const nextSliceInformation = nextSliceElements.filter((e) => e.type === 'information');
+            const nextSliceEvents = nextSliceElements.filter((e) => e.type === 'event');
+            const nextSliceAutomations = nextSliceElements.filter((e) => e.type === 'automation');
+            if (nextSliceInformation.length > 0 && nextSliceEvents.length === 0) {
+                events.forEach((evt) => {
+                    if (evt.noArrowSource)
+                        return;
+                    let lookAheadIndex = sliceIndex + 1;
+                    while (lookAheadIndex < sortedSlices.length) {
+                        const lookAheadSlice = sortedSlices[lookAheadIndex];
+                        const lookAheadElements = chapter.elements
+                            .filter((e) => e.sliceId === lookAheadSlice.id)
+                            .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+                        const lookAheadInformation = lookAheadElements.filter((e) => e.type === 'information');
+                        const lookAheadEvents = lookAheadElements.filter((e) => e.type === 'event');
+                        if (lookAheadEvents.length > 0 || lookAheadInformation.length === 0)
+                            break;
+                        const targetInfo = lookAheadInformation[lookAheadInformation.length - 1];
+                        if (targetInfo.noArrowTarget)
+                            break;
+                        result.push({
+                            id: `${evt.id}-${targetInfo.id}`,
+                            fromElement: evt,
+                            toElement: targetInfo,
+                            color: ARROW_COLORS.event,
+                            type: 'event',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                        lookAheadIndex++;
+                    }
+                });
+            }
+            else if (nextSliceAutomations.length > 0 &&
+                nextSliceInformation.length === 0 &&
+                nextSliceEvents.length === 0 &&
+                information.length === 0) {
+                if (!events[0].noArrowSource) {
+                    if (!nextSliceAutomations[0].noArrowTarget) {
+                        result.push({
+                            id: `${events[0].id}-${nextSliceAutomations[0].id}`,
+                            fromElement: events[0],
+                            toElement: nextSliceAutomations[0],
+                            color: ARROW_COLORS.event,
+                            type: 'event',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                }
+            }
+        }
+        // Rule: Command -> first Event in same slice, then chain through event-only slices
+        if (commands.length > 0 && events.length > 0) {
+            commands.forEach((cmd) => {
+                if (cmd.noArrowSource)
+                    return;
+                if (events[0].noArrowTarget)
+                    return;
+                result.push({
+                    id: `${cmd.id}-${events[0].id}`,
+                    fromElement: cmd,
+                    toElement: events[0],
+                    color: ARROW_COLORS.command,
+                    type: 'command',
+                    sliceId: slice.id,
+                    sliceStatus,
+                });
+                let lookAheadIndex = sliceIndex + 1;
+                while (lookAheadIndex < sortedSlices.length) {
+                    const lookAheadSlice = sortedSlices[lookAheadIndex];
+                    const lookAheadElements = chapter.elements
+                        .filter((e) => e.sliceId === lookAheadSlice.id)
+                        .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+                    const lookAheadEvents = lookAheadElements.filter((e) => e.type === 'event');
+                    const lookAheadCommands = lookAheadElements.filter((e) => e.type === 'command');
+                    if (lookAheadCommands.length > 0 || lookAheadEvents.length === 0)
+                        break;
+                    if (!lookAheadEvents[0].noArrowTarget) {
+                        result.push({
+                            id: `${cmd.id}-${lookAheadEvents[0].id}`,
+                            fromElement: cmd,
+                            toElement: lookAheadEvents[0],
+                            color: ARROW_COLORS.command,
+                            type: 'command',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                    lookAheadIndex++;
+                }
+            });
+        }
+        // Rule: Event -> Information/Automation
+        if (events.length > 0) {
+            if (information.length > 0) {
+                if (!events[0].noArrowSource) {
+                    if (!information[information.length - 1].noArrowTarget) {
+                        result.push({
+                            id: `${events[0].id}-${information[information.length - 1].id}`,
+                            fromElement: events[0],
+                            toElement: information[information.length - 1],
+                            color: ARROW_COLORS.event,
+                            type: 'event',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                }
+            }
+            else if (automations.length > 0 && commands.length === 0) {
+                if (!events[0].noArrowSource) {
+                    if (!automations[0].noArrowTarget) {
+                        result.push({
+                            id: `${events[0].id}-${automations[0].id}`,
+                            fromElement: events[0],
+                            toElement: automations[0],
+                            color: ARROW_COLORS.event,
+                            type: 'event',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                }
+            }
+        }
+        // Rule: First Information -> last UI/Automation in same slice
+        if (information.length > 0 && uiAutomations.length > 0) {
+            if (!information[0].noArrowSource) {
+                const targetElement = lastUi ?? uiAutomations[uiAutomations.length - 1];
+                if (!targetElement.noArrowTarget) {
+                    result.push({
+                        id: `${information[0].id}-${targetElement.id}`,
+                        fromElement: information[0],
+                        toElement: targetElement,
+                        color: ARROW_COLORS.information,
+                        type: 'information',
+                        sliceId: slice.id,
+                        sliceStatus,
+                    });
+                }
+            }
+        }
+        // Rule: Information -> UI/Automation in NEXT slice
+        else if (information.length > 0 &&
+            uiAutomations.length === 0 &&
+            sliceIndex < sortedSlices.length - 1) {
+            const nextSlice = sortedSlices[sliceIndex + 1];
+            const nextSliceElements = chapter.elements
+                .filter((e) => e.sliceId === nextSlice.id)
+                .sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+            const nextSliceUiAutomations = nextSliceElements.filter((e) => e.type === 'ui' || e.type === 'automation');
+            if (nextSliceUiAutomations.length > 0) {
+                const targetElement = getUiOrAutomationClosestToInfoFlow(nextSliceElements, chapter.lanes);
+                if (targetElement && !information[0].noArrowSource && !targetElement.noArrowTarget) {
+                    result.push({
+                        id: `${information[0].id}-${targetElement.id}`,
+                        fromElement: information[0],
+                        toElement: targetElement,
+                        color: ARROW_COLORS.information,
+                        type: 'information',
+                        sliceId: slice.id,
+                        sliceStatus,
+                    });
+                }
+            }
+        }
+        // Rule: UI Navigation
+        if (sliceIndex > 0 && sliceElements.filter((e) => e.type === 'ui').length > 0) {
+            const prevSlice = sortedSlices[sliceIndex - 1];
+            const prevSliceElements = chapter.elements.filter((e) => e.sliceId === prevSlice.id);
+            const prevSliceCommands = prevSliceElements.filter((e) => e.type === 'command');
+            const prevSliceUis = prevSliceElements.filter((e) => e.type === 'ui');
+            if (prevSliceCommands.length === 0 && prevSliceUis.length > 0) {
+                const currentUi = getLastUiInSlice(sliceElements, chapter.lanes);
+                const prevUi = getLastUiInSlice(prevSliceElements, chapter.lanes);
+                if (currentUi && prevUi) {
+                    if (currentUi.laneId === prevUi.laneId &&
+                        !prevUi.noArrowSource &&
+                        !currentUi.noArrowTarget) {
+                        result.push({
+                            id: `ui-nav:${prevUi.id}:${currentUi.id}`,
+                            fromElement: prevUi,
+                            toElement: currentUi,
+                            color: ARROW_COLORS.uiNavigation,
+                            type: 'ui-navigation',
+                            sliceId: slice.id,
+                            sliceStatus,
+                        });
+                    }
+                }
+            }
+        }
+    });
+    // ── Lookup Slice rule ──────────────────────────────────────────────────
+    const informationWithEventSource = new Set(result
+        .filter((c) => c.type === 'event' && c.toElement.type === 'information')
+        .map((c) => c.toElement.id));
+    sortedSlices.forEach((slice) => {
+        const sliceStatus = slice.status || 'deployed';
+        const sliceElements = chapter.elements.filter((e) => e.sliceId === slice.id);
+        const infoElements = sliceElements.filter((e) => e.type === 'information');
+        infoElements.forEach((infoEl) => {
+            if (informationWithEventSource.has(infoEl.id))
+                return;
+            const context = infoEl.context || 'App';
+            const systemLane = chapter.lanes.find((l) => l.type === 'system' && l.label === context);
+            if (!systemLane)
+                return;
+            const dotId = `dot:${slice.id}:${systemLane.id}`;
+            const dotElement = {
+                id: dotId,
+                type: 'hotspot',
+                name: 'Lookup Dot',
+                description: '',
+                details: '',
+                context,
+                laneId: systemLane.id,
+                sliceId: slice.id,
+                index: 0,
+            };
+            result.push({
+                id: `lookup:${dotId}:${infoEl.id}`,
+                fromElement: dotElement,
+                toElement: infoEl,
+                color: ARROW_COLORS.information,
+                type: 'lookup',
+                sliceId: slice.id,
+                sliceStatus,
+                dotLaneId: systemLane.id,
+                dotSliceId: slice.id,
+            });
+        });
+    });
+    // ── Context Trigger Slice rule ─────────────────────────────────────────
+    const commandsWithEventTarget = new Set(result
+        .filter((c) => c.type === 'command' && c.toElement.type === 'event')
+        .map((c) => c.fromElement.id));
+    sortedSlices.forEach((slice) => {
+        const sliceStatus = slice.status || 'deployed';
+        const sliceElements = chapter.elements.filter((e) => e.sliceId === slice.id);
+        const commandElements = sliceElements.filter((e) => e.type === 'command');
+        commandElements.forEach((cmdEl) => {
+            if (commandsWithEventTarget.has(cmdEl.id))
+                return;
+            if (cmdEl.noArrowSource)
+                return;
+            const context = cmdEl.context || 'App';
+            const systemLane = chapter.lanes.find((l) => l.type === 'system' && l.label === context);
+            if (!systemLane)
+                return;
+            const dotId = `dot:${slice.id}:${systemLane.id}`;
+            const dotElement = {
+                id: dotId,
+                type: 'hotspot',
+                name: 'Context Trigger Dot',
+                description: '',
+                details: '',
+                context,
+                laneId: systemLane.id,
+                sliceId: slice.id,
+                index: 0,
+            };
+            result.push({
+                id: `context-trigger:${cmdEl.id}:${dotId}`,
+                fromElement: cmdEl,
+                toElement: dotElement,
+                color: ARROW_COLORS.command,
+                type: 'context-trigger',
+                sliceId: slice.id,
+                sliceStatus,
+                dotLaneId: systemLane.id,
+                dotSliceId: slice.id,
+            });
+        });
+    });
+    return result;
+}
+/** Information element ids that are lookup elements (no incoming event). */
+export function getLookupInformationIds(chapter) {
+    const connections = getConnections(chapter);
+    const withEventSource = new Set(connections
+        .filter((c) => c.type === 'event' && c.toElement.type === 'information')
+        .map((c) => c.toElement.id));
+    const lookupIds = new Set();
+    chapter.elements.forEach((el) => {
+        if (el.type === 'information' && !withEventSource.has(el.id)) {
+            lookupIds.add(el.id);
+        }
+    });
+    return lookupIds;
+}
+/** The source and target elements for a given element based on connection rules. */
+export function getSourceAndTargetElements(chapter, element) {
+    const connections = getConnections(chapter);
+    const sources = connections
+        .filter((conn) => conn.toElement.id === element.id)
+        .map((conn) => conn.fromElement);
+    const targets = connections
+        .filter((conn) => conn.fromElement.id === element.id)
+        .map((conn) => conn.toElement);
+    return { sources, targets };
+}
+/** Resolve the command element(s) a UI or Automation element drives. */
+export function getCommandsDrivenByUi(chapter, uiElement) {
+    const connections = getConnections(chapter);
+    return connections
+        .filter((conn) => conn.type === 'command' &&
+        conn.fromElement.id === uiElement.id &&
+        conn.toElement.type === 'command')
+        .map((conn) => conn.toElement);
+}
+//# sourceMappingURL=connectionRules.js.map