@shware/workflow 0.0.0-stage → 0.0.0

package/dist/dsl/bundle.cjs

@@ -0,0 +1,207 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_hash = require("../hash.cjs");
+const require_ir = require("../ir.cjs");
+//#region src/dsl/bundle.ts
+/**
+* The deployment unit — compileBundle gathers workflows, segments and the
+* template manifest into one BundleIR snapshot (terraform-apply mental model);
+* the server diffs each definition by contentHash (see plan.ts).
+*/
+function compileBundle(input) {
+	const segments = (input.segments ?? []).map((segment) => {
+		const { id, definition, loc, meta } = segment;
+		const compiled = {
+			irVersion: 2,
+			id,
+			contentHash: require_hash.semanticHash(definition),
+			condition: definition
+		};
+		const merged = {
+			...meta?.name !== void 0 ? { name: meta.name } : {},
+			...meta?.description !== void 0 ? { description: meta.description } : {},
+			...loc !== void 0 ? { loc } : {}
+		};
+		if (Object.keys(merged).length > 0) compiled.meta = merged;
+		return compiled;
+	});
+	const templates = (input.templates ?? []).map((template) => ({
+		irVersion: 2,
+		key: template.key,
+		channel: template.channel
+	}));
+	const actions = (input.actions ?? []).map((a) => ({
+		irVersion: 2,
+		name: a.name,
+		codeHash: a.codeHash
+	}));
+	const workflows = input.workflows.map((builder) => builder.toIR());
+	assertUniqueNames(workflows.map((w) => w.id), "workflow");
+	assertUniqueNames(segments.map((s) => s.id), "segment");
+	assertUniqueNames(templates.map((t) => `${t.channel}:${t.key}`), "template");
+	assertUniqueNames(actions.map((a) => a.name), "action");
+	assertSegmentRefsResolve(workflows, segments);
+	assertConditionPlacement(workflows, segments);
+	assertActionRefsResolve(workflows, actions);
+	return require_ir.BundleIR.parse({
+		irVersion: 2,
+		workflows,
+		segments,
+		templates,
+		actions
+	});
+}
+function assertUniqueNames(names, kind) {
+	const seen = /* @__PURE__ */ new Set();
+	for (const name of names) {
+		if (seen.has(name)) throw new Error(`compileBundle: duplicate ${kind} name '${name}'`);
+		seen.add(name);
+	}
+}
+function assertSegmentRefsResolve(workflows, segments) {
+	const defined = new Set(segments.map((s) => s.id));
+	const check = (refs, owner) => {
+		for (const ref of refs) if (!defined.has(ref)) throw new Error(`compileBundle: ${owner} references segment '${ref}' that is not in the bundle — pass it in 'segments'`);
+	};
+	for (const workflow of workflows) check(referencedSegments(workflow), `workflow '${workflow.id}'`);
+	for (const segment of segments) {
+		const refs = /* @__PURE__ */ new Set();
+		collectConditionRefs(segment.condition, refs);
+		check(refs, `segment '${segment.id}'`);
+	}
+}
+function referencedSegments(workflow) {
+	const refs = /* @__PURE__ */ new Set();
+	if (workflow.trigger.type === "segment") refs.add(workflow.trigger.segment);
+	if (workflow.trigger.type === "event" && workflow.trigger.filter !== void 0) collectConditionRefs(workflow.trigger.filter, refs);
+	if (workflow.goal !== void 0) collectConditionRefs(workflow.goal.condition, refs);
+	if (workflow.exitWhen !== void 0) collectConditionRefs(workflow.exitWhen, refs);
+	collectNodeRefs(workflow.flow, refs);
+	return refs;
+}
+function collectConditionRefs(condition, into) {
+	switch (condition.type) {
+		case "and":
+		case "or":
+			for (const child of condition.conditions) collectConditionRefs(child, into);
+			break;
+		case "not":
+			collectConditionRefs(condition.condition, into);
+			break;
+		case "segment": into.add(condition.segment);
+	}
+}
+function collectNodeRefs(nodes, into) {
+	for (const node of nodes) switch (node.type) {
+		case "wait_until":
+			collectConditionRefs(node.condition, into);
+			if (Array.isArray(node.onTimeout)) collectNodeRefs(node.onTimeout, into);
+			break;
+		case "branch":
+			for (const branchCase of node.cases) {
+				collectConditionRefs(branchCase.condition, into);
+				collectNodeRefs(branchCase.flow, into);
+			}
+			if (node.otherwise) collectNodeRefs(node.otherwise, into);
+			break;
+		case "filter":
+			collectConditionRefs(node.condition, into);
+			break;
+		case "cohort": for (const arm of node.arms) collectNodeRefs(arm.flow, into);
+	}
+}
+function assertActionRefsResolve(workflows, actions) {
+	const defined = new Map(actions.map((a) => [a.name, a.codeHash]));
+	for (const workflow of workflows) {
+		const used = /* @__PURE__ */ new Map();
+		collectActionRefs(workflow.flow, used);
+		for (const [name, codeHashes] of used) {
+			const manifestHash = defined.get(name);
+			if (manifestHash === void 0) throw new Error(`compileBundle: workflow '${workflow.id}' runs action '${name}' that is not in the bundle — pass it in 'actions'`);
+			for (const codeHash of codeHashes) if (codeHash !== void 0 && codeHash !== manifestHash) throw new Error(`compileBundle: workflow '${workflow.id}' runs action '${name}' whose code differs from the one in 'actions' — two definitions are sharing that name`);
+		}
+	}
+}
+/** name → every codeHash seen under it; a name with two is exactly the case worth failing on. */
+function collectActionRefs(nodes, into) {
+	for (const node of nodes) switch (node.type) {
+		case "action": {
+			const seen = into.get(node.action) ?? /* @__PURE__ */ new Set();
+			seen.add(node.codeHash);
+			into.set(node.action, seen);
+			break;
+		}
+		case "wait_until":
+			if (Array.isArray(node.onTimeout)) collectActionRefs(node.onTimeout, into);
+			break;
+		case "branch":
+			for (const branchCase of node.cases) collectActionRefs(branchCase.flow, into);
+			if (node.otherwise) collectActionRefs(node.otherwise, into);
+			break;
+		case "cohort": for (const arm of node.arms) collectActionRefs(arm.flow, into);
+	}
+}
+function assertConditionPlacement(workflows, segments) {
+	for (const workflow of workflows) {
+		if (workflow.trigger.type === "event") {
+			if (workflow.trigger.where !== void 0) assertWhereTree(workflow.trigger.where, `workflow '${workflow.id}' trigger where`);
+			if (workflow.trigger.filter !== void 0) assertProfileTree(workflow.trigger.filter, `workflow '${workflow.id}' trigger filter`);
+		}
+		if (workflow.goal !== void 0) assertProfileTree(workflow.goal.condition, `workflow '${workflow.id}' goal`);
+		if (workflow.exitWhen !== void 0) assertProfileTree(workflow.exitWhen, `workflow '${workflow.id}' exitWhen`);
+		assertNodeTrees(workflow.flow, `workflow '${workflow.id}'`);
+	}
+	for (const segment of segments) assertProfileTree(segment.condition, `segment '${segment.id}'`);
+}
+/** A profile-context tree: payload predicates may appear only under a performed.where. */
+function assertProfileTree(condition, owner) {
+	switch (condition.type) {
+		case "and":
+		case "or":
+			for (const child of condition.conditions) assertProfileTree(child, owner);
+			break;
+		case "not":
+			assertProfileTree(condition.condition, owner);
+			break;
+		case "performed":
+			if (condition.where !== void 0) assertWhereTree(condition.where, owner);
+			break;
+		case "payload": throw new Error(`compileBundle: ${owner} uses a payload predicate outside a where clause — payload refs are only valid inside performed({ where }) or trigger.event({ where })`);
+	}
+}
+/** A where tree: payload predicates and combinators only — no profile facts in event scope. */
+function assertWhereTree(condition, owner) {
+	switch (condition.type) {
+		case "and":
+		case "or":
+			for (const child of condition.conditions) assertWhereTree(child, owner);
+			break;
+		case "not":
+			assertWhereTree(condition.condition, owner);
+			break;
+		case "payload": break;
+		default: throw new Error(`compileBundle: ${owner} where clause may only contain payload predicates and and/or/not, found '${condition.type}'`);
+	}
+}
+function assertNodeTrees(nodes, owner) {
+	for (const node of nodes) switch (node.type) {
+		case "wait_until":
+			assertProfileTree(node.condition, owner);
+			if (Array.isArray(node.onTimeout)) assertNodeTrees(node.onTimeout, owner);
+			break;
+		case "branch":
+			for (const branchCase of node.cases) {
+				assertProfileTree(branchCase.condition, owner);
+				assertNodeTrees(branchCase.flow, owner);
+			}
+			if (node.otherwise) assertNodeTrees(node.otherwise, owner);
+			break;
+		case "filter":
+			assertProfileTree(node.condition, owner);
+			break;
+		case "cohort": for (const arm of node.arms) assertNodeTrees(arm.flow, owner);
+	}
+}
+//#endregion
+exports.compileBundle = compileBundle;
+
+//# sourceMappingURL=bundle.cjs.map

package/dist/dsl/bundle.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.cjs","names":["semanticHash","BundleIRSchema"],"sources":["../../src/dsl/bundle.ts"],"sourcesContent":["import { semanticHash } from '../hash';\nimport {\n  type BundleIR,\n  BundleIR as BundleIRSchema,\n  type ConditionIR,\n  IR_VERSION,\n  type NodeIR,\n  type SegmentIR,\n  type WorkflowIR,\n} from '../ir';\nimport type { ActionRef } from './action';\nimport type { SegmentInternal, SegmentRef } from './condition';\nimport type { TemplateRef } from './template';\nimport type { WorkflowBuilder } from './workflow';\n\n/**\n * The deployment unit — compileBundle gathers workflows, segments and the\n * template manifest into one BundleIR snapshot (terraform-apply mental model);\n * the server diffs each definition by contentHash (see plan.ts).\n */\nexport function compileBundle(input: {\n  workflows: readonly WorkflowBuilder[];\n  segments?: readonly SegmentRef[];\n  templates?: readonly TemplateRef[];\n  actions?: readonly ActionRef<object>[];\n}): BundleIR {\n  const segments = (input.segments ?? []).map((segment) => {\n    const { id, definition, loc, meta } = segment as SegmentInternal;\n    const compiled: SegmentIR = {\n      irVersion: IR_VERSION,\n      id,\n      // Labels and provenance both live in meta, which stripMeta drops before hashing\n      contentHash: semanticHash(definition),\n      condition: definition,\n    };\n    const merged = {\n      ...(meta?.name !== undefined ? { name: meta.name } : {}),\n      ...(meta?.description !== undefined ? { description: meta.description } : {}),\n      ...(loc !== undefined ? { loc } : {}),\n    };\n    if (Object.keys(merged).length > 0) compiled.meta = merged;\n    return compiled;\n  });\n\n  const templates = (input.templates ?? []).map((template) => ({\n    irVersion: IR_VERSION,\n    key: template.key,\n    channel: template.channel,\n  }));\n\n  // Manifest only — name and code-identity hash; the implementation ships in the Worker bundle, never in IR\n  const actions = (input.actions ?? []).map((a) => ({\n    irVersion: IR_VERSION,\n    name: a.name,\n    codeHash: a.codeHash,\n  }));\n\n  const workflows = input.workflows.map((builder) => builder.toIR());\n\n  // Names are wire identity (routing tables, entry ledger, by-name refs):\n  // duplicates would silently last-write-win on deploy, so fail the compile.\n  assertUniqueNames(\n    workflows.map((w) => w.id),\n    'workflow'\n  );\n  assertUniqueNames(\n    segments.map((s) => s.id),\n    'segment'\n  );\n  // A message node names its template by channel and key, so the key is unique per channel:\n  // an email and a push of one nudge may share it\n  assertUniqueNames(\n    templates.map((t) => `${t.channel}:${t.key}`),\n    'template'\n  );\n  assertUniqueNames(\n    actions.map((a) => a.name),\n    'action'\n  );\n\n  // Deploy replaces the whole segment table, so every by-name reference must\n  // resolve inside this bundle — catching it here turns a runtime \"Unknown\n  // segment\" in some user's journey into a compile error.\n  assertSegmentRefsResolve(workflows, segments);\n\n  // Payload predicates and profile predicates share the Condition type, so\n  // placement is checked here: payload only inside where-trees, and where-trees\n  // contain nothing but payload predicates and combinators.\n  assertConditionPlacement(workflows, segments);\n\n  // Same rationale as segments: the runtime registry is looked up by name, so\n  // an action a workflow runs must be in the bundle — and its codeHash must\n  // agree, or two same-named definitions are competing for one identity.\n  assertActionRefsResolve(workflows, actions);\n\n  return BundleIRSchema.parse({ irVersion: IR_VERSION, workflows, segments, templates, actions });\n}\n\nfunction assertUniqueNames(names: readonly string[], kind: string): void {\n  const seen = new Set<string>();\n  for (const name of names) {\n    if (seen.has(name)) throw new Error(`compileBundle: duplicate ${kind} name '${name}'`);\n    seen.add(name);\n  }\n}\n\nfunction assertSegmentRefsResolve(\n  workflows: readonly WorkflowIR[],\n  segments: readonly SegmentIR[]\n): void {\n  const defined = new Set(segments.map((s) => s.id));\n  const check = (refs: ReadonlySet<string>, owner: string): void => {\n    for (const ref of refs) {\n      if (!defined.has(ref)) {\n        throw new Error(\n          `compileBundle: ${owner} references segment '${ref}' that is not in the bundle — pass it in 'segments'`\n        );\n      }\n    }\n  };\n  for (const workflow of workflows) {\n    check(referencedSegments(workflow), `workflow '${workflow.id}'`);\n  }\n  // Segments may reference other segments; those must resolve too\n  for (const segment of segments) {\n    const refs = new Set<string>();\n    collectConditionRefs(segment.condition, refs);\n    check(refs, `segment '${segment.id}'`);\n  }\n}\n\nfunction referencedSegments(workflow: WorkflowIR): Set<string> {\n  const refs = new Set<string>();\n  if (workflow.trigger.type === 'segment') refs.add(workflow.trigger.segment);\n  if (workflow.trigger.type === 'event' && workflow.trigger.filter !== undefined) {\n    collectConditionRefs(workflow.trigger.filter, refs);\n  }\n  if (workflow.goal !== undefined) collectConditionRefs(workflow.goal.condition, refs);\n  if (workflow.exitWhen !== undefined) collectConditionRefs(workflow.exitWhen, refs);\n  collectNodeRefs(workflow.flow, refs);\n  return refs;\n}\n\nfunction collectConditionRefs(condition: ConditionIR, into: Set<string>): void {\n  switch (condition.type) {\n    case 'and':\n    case 'or':\n      for (const child of condition.conditions) collectConditionRefs(child, into);\n      break;\n    case 'not':\n      collectConditionRefs(condition.condition, into);\n      break;\n    case 'segment':\n      into.add(condition.segment);\n      break;\n    default:\n      break;\n  }\n}\n\nfunction collectNodeRefs(nodes: readonly NodeIR[], into: Set<string>): void {\n  for (const node of nodes) {\n    switch (node.type) {\n      case 'wait_until':\n        collectConditionRefs(node.condition, into);\n        if (Array.isArray(node.onTimeout)) collectNodeRefs(node.onTimeout, into);\n        break;\n      case 'branch':\n        for (const branchCase of node.cases) {\n          collectConditionRefs(branchCase.condition, into);\n          collectNodeRefs(branchCase.flow, into);\n        }\n        if (node.otherwise) collectNodeRefs(node.otherwise, into);\n        break;\n      case 'filter':\n        collectConditionRefs(node.condition, into);\n        break;\n      case 'cohort':\n        for (const arm of node.arms) collectNodeRefs(arm.flow, into);\n        break;\n      default:\n        break;\n    }\n  }\n}\n\nfunction assertActionRefsResolve(\n  workflows: readonly WorkflowIR[],\n  actions: readonly { name: string; codeHash: string }[]\n): void {\n  const defined = new Map(actions.map((a) => [a.name, a.codeHash]));\n  for (const workflow of workflows) {\n    const used = new Map<string, Set<string | undefined>>();\n    collectActionRefs(workflow.flow, used);\n    for (const [name, codeHashes] of used) {\n      const manifestHash = defined.get(name);\n      if (manifestHash === undefined) {\n        throw new Error(\n          `compileBundle: workflow '${workflow.id}' runs action '${name}' that is not in the bundle — pass it in 'actions'`\n        );\n      }\n      // Every node's hash is checked, not just one per name: with two\n      // definitions under one name, whichever the manifest holds, the *other*\n      // node is the one that would meet a mismatched implementation at run time.\n      for (const codeHash of codeHashes) {\n        if (codeHash !== undefined && codeHash !== manifestHash) {\n          throw new Error(\n            `compileBundle: workflow '${workflow.id}' runs action '${name}' whose code differs from the one in 'actions' — two definitions are sharing that name`\n          );\n        }\n      }\n    }\n  }\n}\n\n/** name → every codeHash seen under it; a name with two is exactly the case worth failing on. */\nfunction collectActionRefs(\n  nodes: readonly NodeIR[],\n  into: Map<string, Set<string | undefined>>\n): void {\n  for (const node of nodes) {\n    switch (node.type) {\n      case 'action': {\n        const seen = into.get(node.action) ?? new Set<string | undefined>();\n        seen.add(node.codeHash);\n        into.set(node.action, seen);\n        break;\n      }\n      case 'wait_until':\n        if (Array.isArray(node.onTimeout)) collectActionRefs(node.onTimeout, into);\n        break;\n      case 'branch':\n        for (const branchCase of node.cases) collectActionRefs(branchCase.flow, into);\n        if (node.otherwise) collectActionRefs(node.otherwise, into);\n        break;\n      case 'cohort':\n        for (const arm of node.arms) collectActionRefs(arm.flow, into);\n        break;\n      default:\n        break;\n    }\n  }\n}\n\n/* --------------------- payload / profile placement checks --------------------- */\n\nfunction assertConditionPlacement(\n  workflows: readonly WorkflowIR[],\n  segments: readonly SegmentIR[]\n): void {\n  for (const workflow of workflows) {\n    if (workflow.trigger.type === 'event') {\n      if (workflow.trigger.where !== undefined) {\n        assertWhereTree(workflow.trigger.where, `workflow '${workflow.id}' trigger where`);\n      }\n      if (workflow.trigger.filter !== undefined) {\n        assertProfileTree(workflow.trigger.filter, `workflow '${workflow.id}' trigger filter`);\n      }\n    }\n    if (workflow.goal !== undefined) {\n      assertProfileTree(workflow.goal.condition, `workflow '${workflow.id}' goal`);\n    }\n    if (workflow.exitWhen !== undefined) {\n      assertProfileTree(workflow.exitWhen, `workflow '${workflow.id}' exitWhen`);\n    }\n    assertNodeTrees(workflow.flow, `workflow '${workflow.id}'`);\n  }\n  for (const segment of segments) {\n    assertProfileTree(segment.condition, `segment '${segment.id}'`);\n  }\n}\n\n/** A profile-context tree: payload predicates may appear only under a performed.where. */\nfunction assertProfileTree(condition: ConditionIR, owner: string): void {\n  switch (condition.type) {\n    case 'and':\n    case 'or':\n      for (const child of condition.conditions) assertProfileTree(child, owner);\n      break;\n    case 'not':\n      assertProfileTree(condition.condition, owner);\n      break;\n    case 'performed':\n      if (condition.where !== undefined) assertWhereTree(condition.where, owner);\n      break;\n    case 'payload':\n      throw new Error(\n        `compileBundle: ${owner} uses a payload predicate outside a where clause — payload refs are only valid inside performed({ where }) or trigger.event({ where })`\n      );\n    default:\n      break; // property / segment\n  }\n}\n\n/** A where tree: payload predicates and combinators only — no profile facts in event scope. */\nfunction assertWhereTree(condition: ConditionIR, owner: string): void {\n  switch (condition.type) {\n    case 'and':\n    case 'or':\n      for (const child of condition.conditions) assertWhereTree(child, owner);\n      break;\n    case 'not':\n      assertWhereTree(condition.condition, owner);\n      break;\n    case 'payload':\n      break;\n    default:\n      throw new Error(\n        `compileBundle: ${owner} where clause may only contain payload predicates and and/or/not, found '${condition.type}'`\n      );\n  }\n}\n\nfunction assertNodeTrees(nodes: readonly NodeIR[], owner: string): void {\n  for (const node of nodes) {\n    switch (node.type) {\n      case 'wait_until':\n        assertProfileTree(node.condition, owner);\n        if (Array.isArray(node.onTimeout)) assertNodeTrees(node.onTimeout, owner);\n        break;\n      case 'branch':\n        for (const branchCase of node.cases) {\n          assertProfileTree(branchCase.condition, owner);\n          assertNodeTrees(branchCase.flow, owner);\n        }\n        if (node.otherwise) assertNodeTrees(node.otherwise, owner);\n        break;\n      case 'filter':\n        assertProfileTree(node.condition, owner);\n        break;\n      case 'cohort':\n        for (const arm of node.arms) assertNodeTrees(arm.flow, owner);\n        break;\n      default:\n        break;\n    }\n  }\n}\n"],"mappings":";;;;;;;;;AAoBA,SAAgB,cAAc,OAKjB;CACX,MAAM,YAAY,MAAM,YAAY,CAAC,EAAA,CAAG,KAAK,YAAY;EACvD,MAAM,EAAE,IAAI,YAAY,KAAK,SAAS;EACtC,MAAM,WAAsB;GAC1B,WAAA;GACA;GAEA,aAAaA,aAAAA,aAAa,UAAU;GACpC,WAAW;EACb;EACA,MAAM,SAAS;GACb,GAAI,MAAM,SAAS,KAAA,IAAY,EAAE,MAAM,KAAK,KAAK,IAAI,CAAC;GACtD,GAAI,MAAM,gBAAgB,KAAA,IAAY,EAAE,aAAa,KAAK,YAAY,IAAI,CAAC;GAC3E,GAAI,QAAQ,KAAA,IAAY,EAAE,IAAI,IAAI,CAAC;EACrC;EACA,IAAI,OAAO,KAAK,MAAM,CAAC,CAAC,SAAS,GAAG,SAAS,OAAO;EACpD,OAAO;CACT,CAAC;CAED,MAAM,aAAa,MAAM,aAAa,CAAC,EAAA,CAAG,KAAK,cAAc;EAC3D,WAAA;EACA,KAAK,SAAS;EACd,SAAS,SAAS;CACpB,EAAE;CAGF,MAAM,WAAW,MAAM,WAAW,CAAC,EAAA,CAAG,KAAK,OAAO;EAChD,WAAA;EACA,MAAM,EAAE;EACR,UAAU,EAAE;CACd,EAAE;CAEF,MAAM,YAAY,MAAM,UAAU,KAAK,YAAY,QAAQ,KAAK,CAAC;CAIjE,kBACE,UAAU,KAAK,MAAM,EAAE,EAAE,GACzB,UACF;CACA,kBACE,SAAS,KAAK,MAAM,EAAE,EAAE,GACxB,SACF;CAGA,kBACE,UAAU,KAAK,MAAM,GAAG,EAAE,QAAQ,GAAG,EAAE,KAAK,GAC5C,UACF;CACA,kBACE,QAAQ,KAAK,MAAM,EAAE,IAAI,GACzB,QACF;CAKA,yBAAyB,WAAW,QAAQ;CAK5C,yBAAyB,WAAW,QAAQ;CAK5C,wBAAwB,WAAW,OAAO;CAE1C,OAAOC,WAAAA,SAAe,MAAM;EAAE,WAAA;EAAuB;EAAW;EAAU;EAAW;CAAQ,CAAC;AAChG;AAEA,SAAS,kBAAkB,OAA0B,MAAoB;CACvE,MAAM,uBAAO,IAAI,IAAY;CAC7B,KAAK,MAAM,QAAQ,OAAO;EACxB,IAAI,KAAK,IAAI,IAAI,GAAG,MAAM,IAAI,MAAM,4BAA4B,KAAK,SAAS,KAAK,EAAE;EACrF,KAAK,IAAI,IAAI;CACf;AACF;AAEA,SAAS,yBACP,WACA,UACM;CACN,MAAM,UAAU,IAAI,IAAI,SAAS,KAAK,MAAM,EAAE,EAAE,CAAC;CACjD,MAAM,SAAS,MAA2B,UAAwB;EAChE,KAAK,MAAM,OAAO,MAChB,IAAI,CAAC,QAAQ,IAAI,GAAG,GAClB,MAAM,IAAI,MACR,kBAAkB,MAAM,uBAAuB,IAAI,oDACrD;CAGN;CACA,KAAK,MAAM,YAAY,WACrB,MAAM,mBAAmB,QAAQ,GAAG,aAAa,SAAS,GAAG,EAAE;CAGjE,KAAK,MAAM,WAAW,UAAU;EAC9B,MAAM,uBAAO,IAAI,IAAY;EAC7B,qBAAqB,QAAQ,WAAW,IAAI;EAC5C,MAAM,MAAM,YAAY,QAAQ,GAAG,EAAE;CACvC;AACF;AAEA,SAAS,mBAAmB,UAAmC;CAC7D,MAAM,uBAAO,IAAI,IAAY;CAC7B,IAAI,SAAS,QAAQ,SAAS,WAAW,KAAK,IAAI,SAAS,QAAQ,OAAO;CAC1E,IAAI,SAAS,QAAQ,SAAS,WAAW,SAAS,QAAQ,WAAW,KAAA,GACnE,qBAAqB,SAAS,QAAQ,QAAQ,IAAI;CAEpD,IAAI,SAAS,SAAS,KAAA,GAAW,qBAAqB,SAAS,KAAK,WAAW,IAAI;CACnF,IAAI,SAAS,aAAa,KAAA,GAAW,qBAAqB,SAAS,UAAU,IAAI;CACjF,gBAAgB,SAAS,MAAM,IAAI;CACnC,OAAO;AACT;AAEA,SAAS,qBAAqB,WAAwB,MAAyB;CAC7E,QAAQ,UAAU,MAAlB;EACE,KAAK;EACL,KAAK;GACH,KAAK,MAAM,SAAS,UAAU,YAAY,qBAAqB,OAAO,IAAI;GAC1E;EACF,KAAK;GACH,qBAAqB,UAAU,WAAW,IAAI;GAC9C;EACF,KAAK,WACH,KAAK,IAAI,UAAU,OAAO;CAI9B;AACF;AAEA,SAAS,gBAAgB,OAA0B,MAAyB;CAC1E,KAAK,MAAM,QAAQ,OACjB,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,qBAAqB,KAAK,WAAW,IAAI;GACzC,IAAI,MAAM,QAAQ,KAAK,SAAS,GAAG,gBAAgB,KAAK,WAAW,IAAI;GACvE;EACF,KAAK;GACH,KAAK,MAAM,cAAc,KAAK,OAAO;IACnC,qBAAqB,WAAW,WAAW,IAAI;IAC/C,gBAAgB,WAAW,MAAM,IAAI;GACvC;GACA,IAAI,KAAK,WAAW,gBAAgB,KAAK,WAAW,IAAI;GACxD;EACF,KAAK;GACH,qBAAqB,KAAK,WAAW,IAAI;GACzC;EACF,KAAK,UACH,KAAK,MAAM,OAAO,KAAK,MAAM,gBAAgB,IAAI,MAAM,IAAI;CAI/D;AAEJ;AAEA,SAAS,wBACP,WACA,SACM;CACN,MAAM,UAAU,IAAI,IAAI,QAAQ,KAAK,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;CAChE,KAAK,MAAM,YAAY,WAAW;EAChC,MAAM,uBAAO,IAAI,IAAqC;EACtD,kBAAkB,SAAS,MAAM,IAAI;EACrC,KAAK,MAAM,CAAC,MAAM,eAAe,MAAM;GACrC,MAAM,eAAe,QAAQ,IAAI,IAAI;GACrC,IAAI,iBAAiB,KAAA,GACnB,MAAM,IAAI,MACR,4BAA4B,SAAS,GAAG,iBAAiB,KAAK,mDAChE;GAKF,KAAK,MAAM,YAAY,YACrB,IAAI,aAAa,KAAA,KAAa,aAAa,cACzC,MAAM,IAAI,MACR,4BAA4B,SAAS,GAAG,iBAAiB,KAAK,uFAChE;EAGN;CACF;AACF;;AAGA,SAAS,kBACP,OACA,MACM;CACN,KAAK,MAAM,QAAQ,OACjB,QAAQ,KAAK,MAAb;EACE,KAAK,UAAU;GACb,MAAM,OAAO,KAAK,IAAI,KAAK,MAAM,qBAAK,IAAI,IAAwB;GAClE,KAAK,IAAI,KAAK,QAAQ;GACtB,KAAK,IAAI,KAAK,QAAQ,IAAI;GAC1B;EACF;EACA,KAAK;GACH,IAAI,MAAM,QAAQ,KAAK,SAAS,GAAG,kBAAkB,KAAK,WAAW,IAAI;GACzE;EACF,KAAK;GACH,KAAK,MAAM,cAAc,KAAK,OAAO,kBAAkB,WAAW,MAAM,IAAI;GAC5E,IAAI,KAAK,WAAW,kBAAkB,KAAK,WAAW,IAAI;GAC1D;EACF,KAAK,UACH,KAAK,MAAM,OAAO,KAAK,MAAM,kBAAkB,IAAI,MAAM,IAAI;CAIjE;AAEJ;AAIA,SAAS,yBACP,WACA,UACM;CACN,KAAK,MAAM,YAAY,WAAW;EAChC,IAAI,SAAS,QAAQ,SAAS,SAAS;GACrC,IAAI,SAAS,QAAQ,UAAU,KAAA,GAC7B,gBAAgB,SAAS,QAAQ,OAAO,aAAa,SAAS,GAAG,gBAAgB;GAEnF,IAAI,SAAS,QAAQ,WAAW,KAAA,GAC9B,kBAAkB,SAAS,QAAQ,QAAQ,aAAa,SAAS,GAAG,iBAAiB;EAEzF;EACA,IAAI,SAAS,SAAS,KAAA,GACpB,kBAAkB,SAAS,KAAK,WAAW,aAAa,SAAS,GAAG,OAAO;EAE7E,IAAI,SAAS,aAAa,KAAA,GACxB,kBAAkB,SAAS,UAAU,aAAa,SAAS,GAAG,WAAW;EAE3E,gBAAgB,SAAS,MAAM,aAAa,SAAS,GAAG,EAAE;CAC5D;CACA,KAAK,MAAM,WAAW,UACpB,kBAAkB,QAAQ,WAAW,YAAY,QAAQ,GAAG,EAAE;AAElE;;AAGA,SAAS,kBAAkB,WAAwB,OAAqB;CACtE,QAAQ,UAAU,MAAlB;EACE,KAAK;EACL,KAAK;GACH,KAAK,MAAM,SAAS,UAAU,YAAY,kBAAkB,OAAO,KAAK;GACxE;EACF,KAAK;GACH,kBAAkB,UAAU,WAAW,KAAK;GAC5C;EACF,KAAK;GACH,IAAI,UAAU,UAAU,KAAA,GAAW,gBAAgB,UAAU,OAAO,KAAK;GACzE;EACF,KAAK,WACH,MAAM,IAAI,MACR,kBAAkB,MAAM,uIAC1B;CAGJ;AACF;;AAGA,SAAS,gBAAgB,WAAwB,OAAqB;CACpE,QAAQ,UAAU,MAAlB;EACE,KAAK;EACL,KAAK;GACH,KAAK,MAAM,SAAS,UAAU,YAAY,gBAAgB,OAAO,KAAK;GACtE;EACF,KAAK;GACH,gBAAgB,UAAU,WAAW,KAAK;GAC1C;EACF,KAAK,WACH;EACF,SACE,MAAM,IAAI,MACR,kBAAkB,MAAM,2EAA2E,UAAU,KAAK,EACpH;CACJ;AACF;AAEA,SAAS,gBAAgB,OAA0B,OAAqB;CACtE,KAAK,MAAM,QAAQ,OACjB,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,kBAAkB,KAAK,WAAW,KAAK;GACvC,IAAI,MAAM,QAAQ,KAAK,SAAS,GAAG,gBAAgB,KAAK,WAAW,KAAK;GACxE;EACF,KAAK;GACH,KAAK,MAAM,cAAc,KAAK,OAAO;IACnC,kBAAkB,WAAW,WAAW,KAAK;IAC7C,gBAAgB,WAAW,MAAM,KAAK;GACxC;GACA,IAAI,KAAK,WAAW,gBAAgB,KAAK,WAAW,KAAK;GACzD;EACF,KAAK;GACH,kBAAkB,KAAK,WAAW,KAAK;GACvC;EACF,KAAK,UACH,KAAK,MAAM,OAAO,KAAK,MAAM,gBAAgB,IAAI,MAAM,KAAK;CAIhE;AAEJ"}

package/dist/dsl/bundle.d.cts

@@ -0,0 +1,19 @@
+import { BundleIR } from "../ir.cjs";
+import { ActionRef } from "./action.cjs";
+import { TemplateRef } from "./template.cjs";
+import { SegmentRef } from "./condition.cjs";
+import { WorkflowBuilder } from "./workflow.cjs";
+//#region src/dsl/bundle.d.ts
+/**
+ * The deployment unit — compileBundle gathers workflows, segments and the
+ * template manifest into one BundleIR snapshot (terraform-apply mental model);
+ * the server diffs each definition by contentHash (see plan.ts).
+ */
+export declare function compileBundle(input: {
+  workflows: readonly WorkflowBuilder[];
+  segments?: readonly SegmentRef[];
+  templates?: readonly TemplateRef[];
+  actions?: readonly ActionRef<object>[];
+}): BundleIR;
+//#endregion
+//# sourceMappingURL=bundle.d.cts.map

package/dist/dsl/bundle.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.d.cts","names":[],"sources":["../../src/dsl/bundle.ts"],"mappings":";;;;;;;;;;;wBAoBgB,cAAc;EAC5B,oBAAoB;EACpB,oBAAoB;EACpB,qBAAqB;EACrB,mBAAmB;IACjB"}

package/dist/dsl/bundle.d.mts

@@ -0,0 +1,19 @@
+import { BundleIR } from "../ir.mjs";
+import { ActionRef } from "./action.mjs";
+import { TemplateRef } from "./template.mjs";
+import { SegmentRef } from "./condition.mjs";
+import { WorkflowBuilder } from "./workflow.mjs";
+//#region src/dsl/bundle.d.ts
+/**
+ * The deployment unit — compileBundle gathers workflows, segments and the
+ * template manifest into one BundleIR snapshot (terraform-apply mental model);
+ * the server diffs each definition by contentHash (see plan.ts).
+ */
+export declare function compileBundle(input: {
+  workflows: readonly WorkflowBuilder[];
+  segments?: readonly SegmentRef[];
+  templates?: readonly TemplateRef[];
+  actions?: readonly ActionRef<object>[];
+}): BundleIR;
+//#endregion
+//# sourceMappingURL=bundle.d.mts.map

package/dist/dsl/bundle.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.d.mts","names":[],"sources":["../../src/dsl/bundle.ts"],"mappings":";;;;;;;;;;;wBAoBgB,cAAc;EAC5B,oBAAoB;EACpB,oBAAoB;EACpB,qBAAqB;EACrB,mBAAmB;IACjB"}

package/dist/dsl/bundle.mjs

@@ -0,0 +1,206 @@
+import { semanticHash } from "../hash.mjs";
+import { BundleIR } from "../ir.mjs";
+//#region src/dsl/bundle.ts
+/**
+* The deployment unit — compileBundle gathers workflows, segments and the
+* template manifest into one BundleIR snapshot (terraform-apply mental model);
+* the server diffs each definition by contentHash (see plan.ts).
+*/
+function compileBundle(input) {
+	const segments = (input.segments ?? []).map((segment) => {
+		const { id, definition, loc, meta } = segment;
+		const compiled = {
+			irVersion: 2,
+			id,
+			contentHash: semanticHash(definition),
+			condition: definition
+		};
+		const merged = {
+			...meta?.name !== void 0 ? { name: meta.name } : {},
+			...meta?.description !== void 0 ? { description: meta.description } : {},
+			...loc !== void 0 ? { loc } : {}
+		};
+		if (Object.keys(merged).length > 0) compiled.meta = merged;
+		return compiled;
+	});
+	const templates = (input.templates ?? []).map((template) => ({
+		irVersion: 2,
+		key: template.key,
+		channel: template.channel
+	}));
+	const actions = (input.actions ?? []).map((a) => ({
+		irVersion: 2,
+		name: a.name,
+		codeHash: a.codeHash
+	}));
+	const workflows = input.workflows.map((builder) => builder.toIR());
+	assertUniqueNames(workflows.map((w) => w.id), "workflow");
+	assertUniqueNames(segments.map((s) => s.id), "segment");
+	assertUniqueNames(templates.map((t) => `${t.channel}:${t.key}`), "template");
+	assertUniqueNames(actions.map((a) => a.name), "action");
+	assertSegmentRefsResolve(workflows, segments);
+	assertConditionPlacement(workflows, segments);
+	assertActionRefsResolve(workflows, actions);
+	return BundleIR.parse({
+		irVersion: 2,
+		workflows,
+		segments,
+		templates,
+		actions
+	});
+}
+function assertUniqueNames(names, kind) {
+	const seen = /* @__PURE__ */ new Set();
+	for (const name of names) {
+		if (seen.has(name)) throw new Error(`compileBundle: duplicate ${kind} name '${name}'`);
+		seen.add(name);
+	}
+}
+function assertSegmentRefsResolve(workflows, segments) {
+	const defined = new Set(segments.map((s) => s.id));
+	const check = (refs, owner) => {
+		for (const ref of refs) if (!defined.has(ref)) throw new Error(`compileBundle: ${owner} references segment '${ref}' that is not in the bundle — pass it in 'segments'`);
+	};
+	for (const workflow of workflows) check(referencedSegments(workflow), `workflow '${workflow.id}'`);
+	for (const segment of segments) {
+		const refs = /* @__PURE__ */ new Set();
+		collectConditionRefs(segment.condition, refs);
+		check(refs, `segment '${segment.id}'`);
+	}
+}
+function referencedSegments(workflow) {
+	const refs = /* @__PURE__ */ new Set();
+	if (workflow.trigger.type === "segment") refs.add(workflow.trigger.segment);
+	if (workflow.trigger.type === "event" && workflow.trigger.filter !== void 0) collectConditionRefs(workflow.trigger.filter, refs);
+	if (workflow.goal !== void 0) collectConditionRefs(workflow.goal.condition, refs);
+	if (workflow.exitWhen !== void 0) collectConditionRefs(workflow.exitWhen, refs);
+	collectNodeRefs(workflow.flow, refs);
+	return refs;
+}
+function collectConditionRefs(condition, into) {
+	switch (condition.type) {
+		case "and":
+		case "or":
+			for (const child of condition.conditions) collectConditionRefs(child, into);
+			break;
+		case "not":
+			collectConditionRefs(condition.condition, into);
+			break;
+		case "segment": into.add(condition.segment);
+	}
+}
+function collectNodeRefs(nodes, into) {
+	for (const node of nodes) switch (node.type) {
+		case "wait_until":
+			collectConditionRefs(node.condition, into);
+			if (Array.isArray(node.onTimeout)) collectNodeRefs(node.onTimeout, into);
+			break;
+		case "branch":
+			for (const branchCase of node.cases) {
+				collectConditionRefs(branchCase.condition, into);
+				collectNodeRefs(branchCase.flow, into);
+			}
+			if (node.otherwise) collectNodeRefs(node.otherwise, into);
+			break;
+		case "filter":
+			collectConditionRefs(node.condition, into);
+			break;
+		case "cohort": for (const arm of node.arms) collectNodeRefs(arm.flow, into);
+	}
+}
+function assertActionRefsResolve(workflows, actions) {
+	const defined = new Map(actions.map((a) => [a.name, a.codeHash]));
+	for (const workflow of workflows) {
+		const used = /* @__PURE__ */ new Map();
+		collectActionRefs(workflow.flow, used);
+		for (const [name, codeHashes] of used) {
+			const manifestHash = defined.get(name);
+			if (manifestHash === void 0) throw new Error(`compileBundle: workflow '${workflow.id}' runs action '${name}' that is not in the bundle — pass it in 'actions'`);
+			for (const codeHash of codeHashes) if (codeHash !== void 0 && codeHash !== manifestHash) throw new Error(`compileBundle: workflow '${workflow.id}' runs action '${name}' whose code differs from the one in 'actions' — two definitions are sharing that name`);
+		}
+	}
+}
+/** name → every codeHash seen under it; a name with two is exactly the case worth failing on. */
+function collectActionRefs(nodes, into) {
+	for (const node of nodes) switch (node.type) {
+		case "action": {
+			const seen = into.get(node.action) ?? /* @__PURE__ */ new Set();
+			seen.add(node.codeHash);
+			into.set(node.action, seen);
+			break;
+		}
+		case "wait_until":
+			if (Array.isArray(node.onTimeout)) collectActionRefs(node.onTimeout, into);
+			break;
+		case "branch":
+			for (const branchCase of node.cases) collectActionRefs(branchCase.flow, into);
+			if (node.otherwise) collectActionRefs(node.otherwise, into);
+			break;
+		case "cohort": for (const arm of node.arms) collectActionRefs(arm.flow, into);
+	}
+}
+function assertConditionPlacement(workflows, segments) {
+	for (const workflow of workflows) {
+		if (workflow.trigger.type === "event") {
+			if (workflow.trigger.where !== void 0) assertWhereTree(workflow.trigger.where, `workflow '${workflow.id}' trigger where`);
+			if (workflow.trigger.filter !== void 0) assertProfileTree(workflow.trigger.filter, `workflow '${workflow.id}' trigger filter`);
+		}
+		if (workflow.goal !== void 0) assertProfileTree(workflow.goal.condition, `workflow '${workflow.id}' goal`);
+		if (workflow.exitWhen !== void 0) assertProfileTree(workflow.exitWhen, `workflow '${workflow.id}' exitWhen`);
+		assertNodeTrees(workflow.flow, `workflow '${workflow.id}'`);
+	}
+	for (const segment of segments) assertProfileTree(segment.condition, `segment '${segment.id}'`);
+}
+/** A profile-context tree: payload predicates may appear only under a performed.where. */
+function assertProfileTree(condition, owner) {
+	switch (condition.type) {
+		case "and":
+		case "or":
+			for (const child of condition.conditions) assertProfileTree(child, owner);
+			break;
+		case "not":
+			assertProfileTree(condition.condition, owner);
+			break;
+		case "performed":
+			if (condition.where !== void 0) assertWhereTree(condition.where, owner);
+			break;
+		case "payload": throw new Error(`compileBundle: ${owner} uses a payload predicate outside a where clause — payload refs are only valid inside performed({ where }) or trigger.event({ where })`);
+	}
+}
+/** A where tree: payload predicates and combinators only — no profile facts in event scope. */
+function assertWhereTree(condition, owner) {
+	switch (condition.type) {
+		case "and":
+		case "or":
+			for (const child of condition.conditions) assertWhereTree(child, owner);
+			break;
+		case "not":
+			assertWhereTree(condition.condition, owner);
+			break;
+		case "payload": break;
+		default: throw new Error(`compileBundle: ${owner} where clause may only contain payload predicates and and/or/not, found '${condition.type}'`);
+	}
+}
+function assertNodeTrees(nodes, owner) {
+	for (const node of nodes) switch (node.type) {
+		case "wait_until":
+			assertProfileTree(node.condition, owner);
+			if (Array.isArray(node.onTimeout)) assertNodeTrees(node.onTimeout, owner);
+			break;
+		case "branch":
+			for (const branchCase of node.cases) {
+				assertProfileTree(branchCase.condition, owner);
+				assertNodeTrees(branchCase.flow, owner);
+			}
+			if (node.otherwise) assertNodeTrees(node.otherwise, owner);
+			break;
+		case "filter":
+			assertProfileTree(node.condition, owner);
+			break;
+		case "cohort": for (const arm of node.arms) assertNodeTrees(arm.flow, owner);
+	}
+}
+//#endregion
+export { compileBundle };
+
+//# sourceMappingURL=bundle.mjs.map

package/dist/dsl/bundle.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.mjs","names":["BundleIRSchema"],"sources":["../../src/dsl/bundle.ts"],"sourcesContent":["import { semanticHash } from '../hash';\nimport {\n  type BundleIR,\n  BundleIR as BundleIRSchema,\n  type ConditionIR,\n  IR_VERSION,\n  type NodeIR,\n  type SegmentIR,\n  type WorkflowIR,\n} from '../ir';\nimport type { ActionRef } from './action';\nimport type { SegmentInternal, SegmentRef } from './condition';\nimport type { TemplateRef } from './template';\nimport type { WorkflowBuilder } from './workflow';\n\n/**\n * The deployment unit — compileBundle gathers workflows, segments and the\n * template manifest into one BundleIR snapshot (terraform-apply mental model);\n * the server diffs each definition by contentHash (see plan.ts).\n */\nexport function compileBundle(input: {\n  workflows: readonly WorkflowBuilder[];\n  segments?: readonly SegmentRef[];\n  templates?: readonly TemplateRef[];\n  actions?: readonly ActionRef<object>[];\n}): BundleIR {\n  const segments = (input.segments ?? []).map((segment) => {\n    const { id, definition, loc, meta } = segment as SegmentInternal;\n    const compiled: SegmentIR = {\n      irVersion: IR_VERSION,\n      id,\n      // Labels and provenance both live in meta, which stripMeta drops before hashing\n      contentHash: semanticHash(definition),\n      condition: definition,\n    };\n    const merged = {\n      ...(meta?.name !== undefined ? { name: meta.name } : {}),\n      ...(meta?.description !== undefined ? { description: meta.description } : {}),\n      ...(loc !== undefined ? { loc } : {}),\n    };\n    if (Object.keys(merged).length > 0) compiled.meta = merged;\n    return compiled;\n  });\n\n  const templates = (input.templates ?? []).map((template) => ({\n    irVersion: IR_VERSION,\n    key: template.key,\n    channel: template.channel,\n  }));\n\n  // Manifest only — name and code-identity hash; the implementation ships in the Worker bundle, never in IR\n  const actions = (input.actions ?? []).map((a) => ({\n    irVersion: IR_VERSION,\n    name: a.name,\n    codeHash: a.codeHash,\n  }));\n\n  const workflows = input.workflows.map((builder) => builder.toIR());\n\n  // Names are wire identity (routing tables, entry ledger, by-name refs):\n  // duplicates would silently last-write-win on deploy, so fail the compile.\n  assertUniqueNames(\n    workflows.map((w) => w.id),\n    'workflow'\n  );\n  assertUniqueNames(\n    segments.map((s) => s.id),\n    'segment'\n  );\n  // A message node names its template by channel and key, so the key is unique per channel:\n  // an email and a push of one nudge may share it\n  assertUniqueNames(\n    templates.map((t) => `${t.channel}:${t.key}`),\n    'template'\n  );\n  assertUniqueNames(\n    actions.map((a) => a.name),\n    'action'\n  );\n\n  // Deploy replaces the whole segment table, so every by-name reference must\n  // resolve inside this bundle — catching it here turns a runtime \"Unknown\n  // segment\" in some user's journey into a compile error.\n  assertSegmentRefsResolve(workflows, segments);\n\n  // Payload predicates and profile predicates share the Condition type, so\n  // placement is checked here: payload only inside where-trees, and where-trees\n  // contain nothing but payload predicates and combinators.\n  assertConditionPlacement(workflows, segments);\n\n  // Same rationale as segments: the runtime registry is looked up by name, so\n  // an action a workflow runs must be in the bundle — and its codeHash must\n  // agree, or two same-named definitions are competing for one identity.\n  assertActionRefsResolve(workflows, actions);\n\n  return BundleIRSchema.parse({ irVersion: IR_VERSION, workflows, segments, templates, actions });\n}\n\nfunction assertUniqueNames(names: readonly string[], kind: string): void {\n  const seen = new Set<string>();\n  for (const name of names) {\n    if (seen.has(name)) throw new Error(`compileBundle: duplicate ${kind} name '${name}'`);\n    seen.add(name);\n  }\n}\n\nfunction assertSegmentRefsResolve(\n  workflows: readonly WorkflowIR[],\n  segments: readonly SegmentIR[]\n): void {\n  const defined = new Set(segments.map((s) => s.id));\n  const check = (refs: ReadonlySet<string>, owner: string): void => {\n    for (const ref of refs) {\n      if (!defined.has(ref)) {\n        throw new Error(\n          `compileBundle: ${owner} references segment '${ref}' that is not in the bundle — pass it in 'segments'`\n        );\n      }\n    }\n  };\n  for (const workflow of workflows) {\n    check(referencedSegments(workflow), `workflow '${workflow.id}'`);\n  }\n  // Segments may reference other segments; those must resolve too\n  for (const segment of segments) {\n    const refs = new Set<string>();\n    collectConditionRefs(segment.condition, refs);\n    check(refs, `segment '${segment.id}'`);\n  }\n}\n\nfunction referencedSegments(workflow: WorkflowIR): Set<string> {\n  const refs = new Set<string>();\n  if (workflow.trigger.type === 'segment') refs.add(workflow.trigger.segment);\n  if (workflow.trigger.type === 'event' && workflow.trigger.filter !== undefined) {\n    collectConditionRefs(workflow.trigger.filter, refs);\n  }\n  if (workflow.goal !== undefined) collectConditionRefs(workflow.goal.condition, refs);\n  if (workflow.exitWhen !== undefined) collectConditionRefs(workflow.exitWhen, refs);\n  collectNodeRefs(workflow.flow, refs);\n  return refs;\n}\n\nfunction collectConditionRefs(condition: ConditionIR, into: Set<string>): void {\n  switch (condition.type) {\n    case 'and':\n    case 'or':\n      for (const child of condition.conditions) collectConditionRefs(child, into);\n      break;\n    case 'not':\n      collectConditionRefs(condition.condition, into);\n      break;\n    case 'segment':\n      into.add(condition.segment);\n      break;\n    default:\n      break;\n  }\n}\n\nfunction collectNodeRefs(nodes: readonly NodeIR[], into: Set<string>): void {\n  for (const node of nodes) {\n    switch (node.type) {\n      case 'wait_until':\n        collectConditionRefs(node.condition, into);\n        if (Array.isArray(node.onTimeout)) collectNodeRefs(node.onTimeout, into);\n        break;\n      case 'branch':\n        for (const branchCase of node.cases) {\n          collectConditionRefs(branchCase.condition, into);\n          collectNodeRefs(branchCase.flow, into);\n        }\n        if (node.otherwise) collectNodeRefs(node.otherwise, into);\n        break;\n      case 'filter':\n        collectConditionRefs(node.condition, into);\n        break;\n      case 'cohort':\n        for (const arm of node.arms) collectNodeRefs(arm.flow, into);\n        break;\n      default:\n        break;\n    }\n  }\n}\n\nfunction assertActionRefsResolve(\n  workflows: readonly WorkflowIR[],\n  actions: readonly { name: string; codeHash: string }[]\n): void {\n  const defined = new Map(actions.map((a) => [a.name, a.codeHash]));\n  for (const workflow of workflows) {\n    const used = new Map<string, Set<string | undefined>>();\n    collectActionRefs(workflow.flow, used);\n    for (const [name, codeHashes] of used) {\n      const manifestHash = defined.get(name);\n      if (manifestHash === undefined) {\n        throw new Error(\n          `compileBundle: workflow '${workflow.id}' runs action '${name}' that is not in the bundle — pass it in 'actions'`\n        );\n      }\n      // Every node's hash is checked, not just one per name: with two\n      // definitions under one name, whichever the manifest holds, the *other*\n      // node is the one that would meet a mismatched implementation at run time.\n      for (const codeHash of codeHashes) {\n        if (codeHash !== undefined && codeHash !== manifestHash) {\n          throw new Error(\n            `compileBundle: workflow '${workflow.id}' runs action '${name}' whose code differs from the one in 'actions' — two definitions are sharing that name`\n          );\n        }\n      }\n    }\n  }\n}\n\n/** name → every codeHash seen under it; a name with two is exactly the case worth failing on. */\nfunction collectActionRefs(\n  nodes: readonly NodeIR[],\n  into: Map<string, Set<string | undefined>>\n): void {\n  for (const node of nodes) {\n    switch (node.type) {\n      case 'action': {\n        const seen = into.get(node.action) ?? new Set<string | undefined>();\n        seen.add(node.codeHash);\n        into.set(node.action, seen);\n        break;\n      }\n      case 'wait_until':\n        if (Array.isArray(node.onTimeout)) collectActionRefs(node.onTimeout, into);\n        break;\n      case 'branch':\n        for (const branchCase of node.cases) collectActionRefs(branchCase.flow, into);\n        if (node.otherwise) collectActionRefs(node.otherwise, into);\n        break;\n      case 'cohort':\n        for (const arm of node.arms) collectActionRefs(arm.flow, into);\n        break;\n      default:\n        break;\n    }\n  }\n}\n\n/* --------------------- payload / profile placement checks --------------------- */\n\nfunction assertConditionPlacement(\n  workflows: readonly WorkflowIR[],\n  segments: readonly SegmentIR[]\n): void {\n  for (const workflow of workflows) {\n    if (workflow.trigger.type === 'event') {\n      if (workflow.trigger.where !== undefined) {\n        assertWhereTree(workflow.trigger.where, `workflow '${workflow.id}' trigger where`);\n      }\n      if (workflow.trigger.filter !== undefined) {\n        assertProfileTree(workflow.trigger.filter, `workflow '${workflow.id}' trigger filter`);\n      }\n    }\n    if (workflow.goal !== undefined) {\n      assertProfileTree(workflow.goal.condition, `workflow '${workflow.id}' goal`);\n    }\n    if (workflow.exitWhen !== undefined) {\n      assertProfileTree(workflow.exitWhen, `workflow '${workflow.id}' exitWhen`);\n    }\n    assertNodeTrees(workflow.flow, `workflow '${workflow.id}'`);\n  }\n  for (const segment of segments) {\n    assertProfileTree(segment.condition, `segment '${segment.id}'`);\n  }\n}\n\n/** A profile-context tree: payload predicates may appear only under a performed.where. */\nfunction assertProfileTree(condition: ConditionIR, owner: string): void {\n  switch (condition.type) {\n    case 'and':\n    case 'or':\n      for (const child of condition.conditions) assertProfileTree(child, owner);\n      break;\n    case 'not':\n      assertProfileTree(condition.condition, owner);\n      break;\n    case 'performed':\n      if (condition.where !== undefined) assertWhereTree(condition.where, owner);\n      break;\n    case 'payload':\n      throw new Error(\n        `compileBundle: ${owner} uses a payload predicate outside a where clause — payload refs are only valid inside performed({ where }) or trigger.event({ where })`\n      );\n    default:\n      break; // property / segment\n  }\n}\n\n/** A where tree: payload predicates and combinators only — no profile facts in event scope. */\nfunction assertWhereTree(condition: ConditionIR, owner: string): void {\n  switch (condition.type) {\n    case 'and':\n    case 'or':\n      for (const child of condition.conditions) assertWhereTree(child, owner);\n      break;\n    case 'not':\n      assertWhereTree(condition.condition, owner);\n      break;\n    case 'payload':\n      break;\n    default:\n      throw new Error(\n        `compileBundle: ${owner} where clause may only contain payload predicates and and/or/not, found '${condition.type}'`\n      );\n  }\n}\n\nfunction assertNodeTrees(nodes: readonly NodeIR[], owner: string): void {\n  for (const node of nodes) {\n    switch (node.type) {\n      case 'wait_until':\n        assertProfileTree(node.condition, owner);\n        if (Array.isArray(node.onTimeout)) assertNodeTrees(node.onTimeout, owner);\n        break;\n      case 'branch':\n        for (const branchCase of node.cases) {\n          assertProfileTree(branchCase.condition, owner);\n          assertNodeTrees(branchCase.flow, owner);\n        }\n        if (node.otherwise) assertNodeTrees(node.otherwise, owner);\n        break;\n      case 'filter':\n        assertProfileTree(node.condition, owner);\n        break;\n      case 'cohort':\n        for (const arm of node.arms) assertNodeTrees(arm.flow, owner);\n        break;\n      default:\n        break;\n    }\n  }\n}\n"],"mappings":";;;;;;;;AAoBA,SAAgB,cAAc,OAKjB;CACX,MAAM,YAAY,MAAM,YAAY,CAAC,EAAA,CAAG,KAAK,YAAY;EACvD,MAAM,EAAE,IAAI,YAAY,KAAK,SAAS;EACtC,MAAM,WAAsB;GAC1B,WAAA;GACA;GAEA,aAAa,aAAa,UAAU;GACpC,WAAW;EACb;EACA,MAAM,SAAS;GACb,GAAI,MAAM,SAAS,KAAA,IAAY,EAAE,MAAM,KAAK,KAAK,IAAI,CAAC;GACtD,GAAI,MAAM,gBAAgB,KAAA,IAAY,EAAE,aAAa,KAAK,YAAY,IAAI,CAAC;GAC3E,GAAI,QAAQ,KAAA,IAAY,EAAE,IAAI,IAAI,CAAC;EACrC;EACA,IAAI,OAAO,KAAK,MAAM,CAAC,CAAC,SAAS,GAAG,SAAS,OAAO;EACpD,OAAO;CACT,CAAC;CAED,MAAM,aAAa,MAAM,aAAa,CAAC,EAAA,CAAG,KAAK,cAAc;EAC3D,WAAA;EACA,KAAK,SAAS;EACd,SAAS,SAAS;CACpB,EAAE;CAGF,MAAM,WAAW,MAAM,WAAW,CAAC,EAAA,CAAG,KAAK,OAAO;EAChD,WAAA;EACA,MAAM,EAAE;EACR,UAAU,EAAE;CACd,EAAE;CAEF,MAAM,YAAY,MAAM,UAAU,KAAK,YAAY,QAAQ,KAAK,CAAC;CAIjE,kBACE,UAAU,KAAK,MAAM,EAAE,EAAE,GACzB,UACF;CACA,kBACE,SAAS,KAAK,MAAM,EAAE,EAAE,GACxB,SACF;CAGA,kBACE,UAAU,KAAK,MAAM,GAAG,EAAE,QAAQ,GAAG,EAAE,KAAK,GAC5C,UACF;CACA,kBACE,QAAQ,KAAK,MAAM,EAAE,IAAI,GACzB,QACF;CAKA,yBAAyB,WAAW,QAAQ;CAK5C,yBAAyB,WAAW,QAAQ;CAK5C,wBAAwB,WAAW,OAAO;CAE1C,OAAOA,SAAe,MAAM;EAAE,WAAA;EAAuB;EAAW;EAAU;EAAW;CAAQ,CAAC;AAChG;AAEA,SAAS,kBAAkB,OAA0B,MAAoB;CACvE,MAAM,uBAAO,IAAI,IAAY;CAC7B,KAAK,MAAM,QAAQ,OAAO;EACxB,IAAI,KAAK,IAAI,IAAI,GAAG,MAAM,IAAI,MAAM,4BAA4B,KAAK,SAAS,KAAK,EAAE;EACrF,KAAK,IAAI,IAAI;CACf;AACF;AAEA,SAAS,yBACP,WACA,UACM;CACN,MAAM,UAAU,IAAI,IAAI,SAAS,KAAK,MAAM,EAAE,EAAE,CAAC;CACjD,MAAM,SAAS,MAA2B,UAAwB;EAChE,KAAK,MAAM,OAAO,MAChB,IAAI,CAAC,QAAQ,IAAI,GAAG,GAClB,MAAM,IAAI,MACR,kBAAkB,MAAM,uBAAuB,IAAI,oDACrD;CAGN;CACA,KAAK,MAAM,YAAY,WACrB,MAAM,mBAAmB,QAAQ,GAAG,aAAa,SAAS,GAAG,EAAE;CAGjE,KAAK,MAAM,WAAW,UAAU;EAC9B,MAAM,uBAAO,IAAI,IAAY;EAC7B,qBAAqB,QAAQ,WAAW,IAAI;EAC5C,MAAM,MAAM,YAAY,QAAQ,GAAG,EAAE;CACvC;AACF;AAEA,SAAS,mBAAmB,UAAmC;CAC7D,MAAM,uBAAO,IAAI,IAAY;CAC7B,IAAI,SAAS,QAAQ,SAAS,WAAW,KAAK,IAAI,SAAS,QAAQ,OAAO;CAC1E,IAAI,SAAS,QAAQ,SAAS,WAAW,SAAS,QAAQ,WAAW,KAAA,GACnE,qBAAqB,SAAS,QAAQ,QAAQ,IAAI;CAEpD,IAAI,SAAS,SAAS,KAAA,GAAW,qBAAqB,SAAS,KAAK,WAAW,IAAI;CACnF,IAAI,SAAS,aAAa,KAAA,GAAW,qBAAqB,SAAS,UAAU,IAAI;CACjF,gBAAgB,SAAS,MAAM,IAAI;CACnC,OAAO;AACT;AAEA,SAAS,qBAAqB,WAAwB,MAAyB;CAC7E,QAAQ,UAAU,MAAlB;EACE,KAAK;EACL,KAAK;GACH,KAAK,MAAM,SAAS,UAAU,YAAY,qBAAqB,OAAO,IAAI;GAC1E;EACF,KAAK;GACH,qBAAqB,UAAU,WAAW,IAAI;GAC9C;EACF,KAAK,WACH,KAAK,IAAI,UAAU,OAAO;CAI9B;AACF;AAEA,SAAS,gBAAgB,OAA0B,MAAyB;CAC1E,KAAK,MAAM,QAAQ,OACjB,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,qBAAqB,KAAK,WAAW,IAAI;GACzC,IAAI,MAAM,QAAQ,KAAK,SAAS,GAAG,gBAAgB,KAAK,WAAW,IAAI;GACvE;EACF,KAAK;GACH,KAAK,MAAM,cAAc,KAAK,OAAO;IACnC,qBAAqB,WAAW,WAAW,IAAI;IAC/C,gBAAgB,WAAW,MAAM,IAAI;GACvC;GACA,IAAI,KAAK,WAAW,gBAAgB,KAAK,WAAW,IAAI;GACxD;EACF,KAAK;GACH,qBAAqB,KAAK,WAAW,IAAI;GACzC;EACF,KAAK,UACH,KAAK,MAAM,OAAO,KAAK,MAAM,gBAAgB,IAAI,MAAM,IAAI;CAI/D;AAEJ;AAEA,SAAS,wBACP,WACA,SACM;CACN,MAAM,UAAU,IAAI,IAAI,QAAQ,KAAK,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;CAChE,KAAK,MAAM,YAAY,WAAW;EAChC,MAAM,uBAAO,IAAI,IAAqC;EACtD,kBAAkB,SAAS,MAAM,IAAI;EACrC,KAAK,MAAM,CAAC,MAAM,eAAe,MAAM;GACrC,MAAM,eAAe,QAAQ,IAAI,IAAI;GACrC,IAAI,iBAAiB,KAAA,GACnB,MAAM,IAAI,MACR,4BAA4B,SAAS,GAAG,iBAAiB,KAAK,mDAChE;GAKF,KAAK,MAAM,YAAY,YACrB,IAAI,aAAa,KAAA,KAAa,aAAa,cACzC,MAAM,IAAI,MACR,4BAA4B,SAAS,GAAG,iBAAiB,KAAK,uFAChE;EAGN;CACF;AACF;;AAGA,SAAS,kBACP,OACA,MACM;CACN,KAAK,MAAM,QAAQ,OACjB,QAAQ,KAAK,MAAb;EACE,KAAK,UAAU;GACb,MAAM,OAAO,KAAK,IAAI,KAAK,MAAM,qBAAK,IAAI,IAAwB;GAClE,KAAK,IAAI,KAAK,QAAQ;GACtB,KAAK,IAAI,KAAK,QAAQ,IAAI;GAC1B;EACF;EACA,KAAK;GACH,IAAI,MAAM,QAAQ,KAAK,SAAS,GAAG,kBAAkB,KAAK,WAAW,IAAI;GACzE;EACF,KAAK;GACH,KAAK,MAAM,cAAc,KAAK,OAAO,kBAAkB,WAAW,MAAM,IAAI;GAC5E,IAAI,KAAK,WAAW,kBAAkB,KAAK,WAAW,IAAI;GAC1D;EACF,KAAK,UACH,KAAK,MAAM,OAAO,KAAK,MAAM,kBAAkB,IAAI,MAAM,IAAI;CAIjE;AAEJ;AAIA,SAAS,yBACP,WACA,UACM;CACN,KAAK,MAAM,YAAY,WAAW;EAChC,IAAI,SAAS,QAAQ,SAAS,SAAS;GACrC,IAAI,SAAS,QAAQ,UAAU,KAAA,GAC7B,gBAAgB,SAAS,QAAQ,OAAO,aAAa,SAAS,GAAG,gBAAgB;GAEnF,IAAI,SAAS,QAAQ,WAAW,KAAA,GAC9B,kBAAkB,SAAS,QAAQ,QAAQ,aAAa,SAAS,GAAG,iBAAiB;EAEzF;EACA,IAAI,SAAS,SAAS,KAAA,GACpB,kBAAkB,SAAS,KAAK,WAAW,aAAa,SAAS,GAAG,OAAO;EAE7E,IAAI,SAAS,aAAa,KAAA,GACxB,kBAAkB,SAAS,UAAU,aAAa,SAAS,GAAG,WAAW;EAE3E,gBAAgB,SAAS,MAAM,aAAa,SAAS,GAAG,EAAE;CAC5D;CACA,KAAK,MAAM,WAAW,UACpB,kBAAkB,QAAQ,WAAW,YAAY,QAAQ,GAAG,EAAE;AAElE;;AAGA,SAAS,kBAAkB,WAAwB,OAAqB;CACtE,QAAQ,UAAU,MAAlB;EACE,KAAK;EACL,KAAK;GACH,KAAK,MAAM,SAAS,UAAU,YAAY,kBAAkB,OAAO,KAAK;GACxE;EACF,KAAK;GACH,kBAAkB,UAAU,WAAW,KAAK;GAC5C;EACF,KAAK;GACH,IAAI,UAAU,UAAU,KAAA,GAAW,gBAAgB,UAAU,OAAO,KAAK;GACzE;EACF,KAAK,WACH,MAAM,IAAI,MACR,kBAAkB,MAAM,uIAC1B;CAGJ;AACF;;AAGA,SAAS,gBAAgB,WAAwB,OAAqB;CACpE,QAAQ,UAAU,MAAlB;EACE,KAAK;EACL,KAAK;GACH,KAAK,MAAM,SAAS,UAAU,YAAY,gBAAgB,OAAO,KAAK;GACtE;EACF,KAAK;GACH,gBAAgB,UAAU,WAAW,KAAK;GAC1C;EACF,KAAK,WACH;EACF,SACE,MAAM,IAAI,MACR,kBAAkB,MAAM,2EAA2E,UAAU,KAAK,EACpH;CACJ;AACF;AAEA,SAAS,gBAAgB,OAA0B,OAAqB;CACtE,KAAK,MAAM,QAAQ,OACjB,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,kBAAkB,KAAK,WAAW,KAAK;GACvC,IAAI,MAAM,QAAQ,KAAK,SAAS,GAAG,gBAAgB,KAAK,WAAW,KAAK;GACxE;EACF,KAAK;GACH,KAAK,MAAM,cAAc,KAAK,OAAO;IACnC,kBAAkB,WAAW,WAAW,KAAK;IAC7C,gBAAgB,WAAW,MAAM,KAAK;GACxC;GACA,IAAI,KAAK,WAAW,gBAAgB,KAAK,WAAW,KAAK;GACzD;EACF,KAAK;GACH,kBAAkB,KAAK,WAAW,KAAK;GACvC;EACF,KAAK,UACH,KAAK,MAAM,OAAO,KAAK,MAAM,gBAAgB,IAAI,MAAM,KAAK;CAIhE;AAEJ"}