lua-cli 3.32.1 → 3.32.3

package/dist/workflow-builder.js

@@ -4,9 +4,6 @@ var __name = (target, value3) => __defProp(target, "name", { value: value3, conf
 // src/types/workflow.ts
 import { zodToJsonSchema } from "zod-to-json-schema";
 
-// ../workflow-graph/dist/index.mjs
-import { createHash } from "crypto";
-
 // ../shared-types/dist/index.mjs
 import { z } from "zod";
 import { z as z2 } from "zod";
@@ -659,6 +656,12 @@ function isImplicitModelSelectionSource(source) {
 }
 __name(isImplicitModelSelectionSource, "isImplicitModelSelectionSource");
 __name2(isImplicitModelSelectionSource, "isImplicitModelSelectionSource");
+var PLATFORM_FALLBACK_MODEL_SOURCE = "platform-fallback";
+function isPlatformFallbackModelSource(source) {
+  return source === PLATFORM_FALLBACK_MODEL_SOURCE;
+}
+__name(isPlatformFallbackModelSource, "isPlatformFallbackModelSource");
+__name2(isPlatformFallbackModelSource, "isPlatformFallbackModelSource");
 function resolveRequireToolApproval(rules) {
   const raw = rules?.requireToolApproval ?? rules?.requireApproval;
   if (raw === void 0 || raw === null) return void 0;
@@ -1489,6 +1492,87 @@ function hasCapability(profiles, profileId, required) {
 }
 __name(hasCapability, "hasCapability");
 __name2(hasCapability, "hasCapability");
+function workflowJobId(id) {
+  switch (id.kind) {
+    case "start":
+      return `wft_${id.runId}_0`;
+    case "start-redrive":
+      return `wft_${id.runId}_start_r${id.now}`;
+    case "tick":
+      return `wft_${id.runId}_${id.seq}`;
+    case "timer":
+      return `wft_${id.runId}_timer_${id.stepId}_${id.attempt}`;
+    case "timer-remainder":
+      return `wft_${id.runId}_timer_${id.stepId}_${id.attempt}_r${id.now}`;
+    case "timer-deferral":
+      return `wft_${id.runId}_timer_${id.stepId}_${id.attempt}_d${id.now}`;
+    case "timer-sibling":
+      return `wft_${id.runId}_timer_${id.stepId}_${id.attempt}_w${id.now}`;
+    case "retry":
+      return `wft_${id.runId}_retry_${id.stepId}_${id.attempt}`;
+    case "respawn":
+      return `wft_${id.runId}_respawn_${id.stepId}_${id.attempt}_s${id.segment}_r${id.now}`;
+    case "redrive":
+      return `wft_${id.runId}_redrive_${id.stepId}_${id.attempt}_r${id.now}`;
+    case "redispatch":
+      return `wft_${id.runId}_redispatch_${id.stepId}_${id.attempt}_x${id.executionId ?? "none"}_r${id.now}`;
+    case "expiry":
+      return `wft_${id.runId}_expire_${id.stepId}_${id.attempt}_t${id.suspendedAt}${id.hop > 0 ? `_h${id.hop}` : ""}`;
+    case "step-terminal":
+      return `wft_${id.runId}_term_${id.stepId}_${id.attempt}_r${id.now}`;
+    case "handback":
+      return `wft_${id.runId}_handback_${id.stepId}_${id.attempt}_${id.now}`;
+    case "foreach-rate":
+      return `wft_${id.runId}_fe_${id.stepId}_${id.attempt}_${id.bucket}`;
+    case "budget-expiry":
+      return `wft_${id.runId}_expiry_budget_r${id.now}`;
+    case "budget-resume":
+      return `wft_${id.runId}_resume_budget_${id.now}`;
+    case "deadline":
+      return `wft_${id.runId}_deadline_${id.deadlineAt}`;
+    case "deadline-remainder":
+      return `wft_${id.runId}_deadline_${id.deadlineAt}_r${id.now}`;
+    case "readmit":
+      return `wft_${id.runId}_readmit_${id.now}`;
+    case "cancel":
+      return `wft_${id.runId}_cancel`;
+    case "reconcile":
+      return `wft_${id.runId}_reconcile_${id.now}`;
+    case "replay":
+      return `wft_${id.runId}_replay_g${id.leaseGeneration}`;
+    case "migration":
+      return `wfm_${id.migrationId}`;
+    default:
+      return assertNever(id);
+  }
+}
+__name(workflowJobId, "workflowJobId");
+__name2(workflowJobId, "workflowJobId");
+function assertNever(id) {
+  throw new Error(`workflowJobId: unknown wake kind ${JSON.stringify(id)}`);
+}
+__name(assertNever, "assertNever");
+__name2(assertNever, "assertNever");
+function agentStepJobId(msg) {
+  return `${msg.runId}_${msg.stepId}_${msg.attempt}_x${msg.executionId}`;
+}
+__name(agentStepJobId, "agentStepJobId");
+__name2(agentStepJobId, "agentStepJobId");
+function heavyStepJobId(msg) {
+  return `${msg.runId}_${msg.stepId}_${msg.attempt}_x${msg.executionId}`;
+}
+__name(heavyStepJobId, "heavyStepJobId");
+__name2(heavyStepJobId, "heavyStepJobId");
+function jobSpawnJobId(msg) {
+  return `${msg.runId}_${msg.stepId}_${msg.attempt}_s${msg.segment}_${msg.executionId}`;
+}
+__name(jobSpawnJobId, "jobSpawnJobId");
+__name2(jobSpawnJobId, "jobSpawnJobId");
+function exportAutoJobId(exportId, suffix) {
+  return suffix ? `${exportId}:${suffix}` : exportId;
+}
+__name(exportAutoJobId, "exportAutoJobId");
+__name2(exportAutoJobId, "exportAutoJobId");
 var SYSTEM_USER_PREFIX = "system:";
 function isSystemRun(identity) {
   return identity.userId.startsWith(SYSTEM_USER_PREFIX);
@@ -1620,8 +1704,199 @@ function scheduledWorkflowRunIdForTime(jobId, scheduledTime) {
 __name(scheduledWorkflowRunIdForTime, "scheduledWorkflowRunIdForTime");
 __name2(scheduledWorkflowRunIdForTime, "scheduledWorkflowRunIdForTime");
 var WORKFLOW_SIGNAL_PAYLOAD_MAX_BYTES = 64 * 1024;
+var WORKFLOW_RESOLVE_OUTPUT_MAX_BYTES = 256 * 1024;
+var WORKFLOW_RETRY_BACKOFFS = [
+  "fixed",
+  "exponential"
+];
+var WORKFLOW_RETRY_MIN_ATTEMPTS = 1;
+var WORKFLOW_RETRY_POLICY_KEYS = [
+  "maxAttempts",
+  "backoffSeconds",
+  "backoff",
+  "maxBackoffSeconds"
+];
+var WORKFLOW_RETRY_MAX_ATTEMPTS = 20;
+function workflowRetryMaxAttemptsMessage(got) {
+  const tail = got === void 0 ? "" : ` (got ${JSON.stringify(got)})`;
+  return `\`retry.maxAttempts\` must be an integer ${WORKFLOW_RETRY_MIN_ATTEMPTS}..${WORKFLOW_RETRY_MAX_ATTEMPTS}${tail}`;
+}
+__name(workflowRetryMaxAttemptsMessage, "workflowRetryMaxAttemptsMessage");
+__name2(workflowRetryMaxAttemptsMessage, "workflowRetryMaxAttemptsMessage");
+function isWithinWorkflowRetryAttempts(value3) {
+  return typeof value3 === "number" && Number.isInteger(value3) && value3 >= WORKFLOW_RETRY_MIN_ATTEMPTS && value3 <= WORKFLOW_RETRY_MAX_ATTEMPTS;
+}
+__name(isWithinWorkflowRetryAttempts, "isWithinWorkflowRetryAttempts");
+__name2(isWithinWorkflowRetryAttempts, "isWithinWorkflowRetryAttempts");
+var WORKFLOW_RETRY_ENGINE_KEYS = [
+  "budgetBaseAttempt"
+];
+function workflowRetryUnknownMembersMessage(keys) {
+  const named = keys.map((k) => {
+    const engine = WORKFLOW_RETRY_ENGINE_KEYS.includes(k);
+    return `\`${k}\`${engine ? " (engine-owned \u2014 stamped by resetAttempts, never authored)" : ""}`;
+  });
+  return `\`retry\` has no member ${named.join(", ")}; members: ${WORKFLOW_RETRY_POLICY_KEYS.join(", ")}`;
+}
+__name(workflowRetryUnknownMembersMessage, "workflowRetryUnknownMembersMessage");
+__name2(workflowRetryUnknownMembersMessage, "workflowRetryUnknownMembersMessage");
+function unknownWorkflowRetryMembers(retry) {
+  if (!retry || typeof retry !== "object" || Array.isArray(retry)) return [];
+  return Object.keys(retry).filter((k) => !WORKFLOW_RETRY_POLICY_KEYS.includes(k));
+}
+__name(unknownWorkflowRetryMembers, "unknownWorkflowRetryMembers");
+__name2(unknownWorkflowRetryMembers, "unknownWorkflowRetryMembers");
+function authoredRetryPolicy(retry) {
+  if (!retry || typeof retry !== "object" || Array.isArray(retry)) return void 0;
+  const src = retry;
+  const out = {};
+  for (const k of WORKFLOW_RETRY_POLICY_KEYS) if (src[k] !== void 0) out[k] = src[k];
+  return Object.keys(out).length ? out : void 0;
+}
+__name(authoredRetryPolicy, "authoredRetryPolicy");
+__name2(authoredRetryPolicy, "authoredRetryPolicy");
+function retryBudgetBaseAttempt(row) {
+  const base = row.retry?.budgetBaseAttempt;
+  return typeof base === "number" && Number.isSafeInteger(base) && base > 0 ? base : 0;
+}
+__name(retryBudgetBaseAttempt, "retryBudgetBaseAttempt");
+__name2(retryBudgetBaseAttempt, "retryBudgetBaseAttempt");
+function retryBudgetAttempt(row) {
+  return Math.max(0, row.attempt - retryBudgetBaseAttempt(row));
+}
+__name(retryBudgetAttempt, "retryBudgetAttempt");
+__name2(retryBudgetAttempt, "retryBudgetAttempt");
+function retryBudgetMaxAttempts(row) {
+  const max = row.retry?.maxAttempts;
+  return typeof max === "number" && Number.isFinite(max) && max >= 1 ? max : 1;
+}
+__name(retryBudgetMaxAttempts, "retryBudgetMaxAttempts");
+__name2(retryBudgetMaxAttempts, "retryBudgetMaxAttempts");
+function retryBudgetRemaining(row) {
+  return retryBudgetAttempt(row) < retryBudgetMaxAttempts(row);
+}
+__name(retryBudgetRemaining, "retryBudgetRemaining");
+__name2(retryBudgetRemaining, "retryBudgetRemaining");
+function retriesRemaining(row) {
+  return Math.max(0, retryBudgetMaxAttempts(row) - retryBudgetAttempt(row));
+}
+__name(retriesRemaining, "retriesRemaining");
+__name2(retriesRemaining, "retriesRemaining");
+var WORKFLOW_JOB_RESOURCES = [
+  "small",
+  "medium",
+  "large"
+];
+var WORKFLOW_SIDE_EFFECTS = [
+  "none",
+  "external"
+];
+var WORKFLOW_JOB_RANGES = Object.freeze({
+  /** Coding-turn cap (`claude -p --max-turns`); absent ⇒ the cluster default (LUA_WF_JOB_MAX_TURNS). */
+  maxTurns: Object.freeze({
+    min: 1,
+    max: 500
+  }),
+  /** Harness messages per attempt (one per content block); absent ⇒ the cluster default (400). */
+  maxMessages: Object.freeze({
+    min: 1,
+    max: 5e3
+  }),
+  /** Input-side tokens per attempt (prompt + cache); absent ⇒ the cluster default (4M — LUA-708, was 30M). */
+  maxInputTokens: Object.freeze({
+    min: 1e6,
+    max: 5e8
+  })
+});
+var WORKFLOW_JOB_RANGE_MEMBERS = Object.keys(WORKFLOW_JOB_RANGES);
+function isWithinWorkflowJobRange(member, value3) {
+  const { min, max } = WORKFLOW_JOB_RANGES[member];
+  return typeof value3 === "number" && Number.isInteger(value3) && value3 >= min && value3 <= max;
+}
+__name(isWithinWorkflowJobRange, "isWithinWorkflowJobRange");
+__name2(isWithinWorkflowJobRange, "isWithinWorkflowJobRange");
+function workflowJobRangeMessage(member) {
+  const { min, max } = WORKFLOW_JOB_RANGES[member];
+  return `\`${member}\` must be an integer ${min}..${max}`;
+}
+__name(workflowJobRangeMessage, "workflowJobRangeMessage");
+__name2(workflowJobRangeMessage, "workflowJobRangeMessage");
+var WORKFLOW_SINGLE_STEP_TYPES = [
+  "agent",
+  "tool",
+  "workflow",
+  "step"
+];
+var WORKFLOW_HITL_ENTRY_TYPES = [
+  "approval",
+  "waitForSignal"
+];
+var WORKFLOW_ARM_ENTRY_TYPES = [
+  ...WORKFLOW_SINGLE_STEP_TYPES,
+  ...WORKFLOW_HITL_ENTRY_TYPES
+];
+var WORKFLOW_HITL_ARM_CONTAINERS = [
+  "parallel",
+  "conditional",
+  "foreach"
+];
+function isWorkflowSingleStepType(type) {
+  return typeof type === "string" && WORKFLOW_SINGLE_STEP_TYPES.includes(type);
+}
+__name(isWorkflowSingleStepType, "isWorkflowSingleStepType");
+__name2(isWorkflowSingleStepType, "isWorkflowSingleStepType");
+function isWorkflowHitlEntryType(type) {
+  return typeof type === "string" && WORKFLOW_HITL_ENTRY_TYPES.includes(type);
+}
+__name(isWorkflowHitlEntryType, "isWorkflowHitlEntryType");
+__name2(isWorkflowHitlEntryType, "isWorkflowHitlEntryType");
+function isWorkflowArmEntryType(type) {
+  return typeof type === "string" && WORKFLOW_ARM_ENTRY_TYPES.includes(type);
+}
+__name(isWorkflowArmEntryType, "isWorkflowArmEntryType");
+__name2(isWorkflowArmEntryType, "isWorkflowArmEntryType");
+function workflowContainerRunsHitlArm(container) {
+  return typeof container === "string" && WORKFLOW_HITL_ARM_CONTAINERS.includes(container);
+}
+__name(workflowContainerRunsHitlArm, "workflowContainerRunsHitlArm");
+__name2(workflowContainerRunsHitlArm, "workflowContainerRunsHitlArm");
+function workflowHitlArmUnsupportedMessage(type, id, container) {
+  const legal = WORKFLOW_HITL_ARM_CONTAINERS.map((c) => `\`${c}\``).join(" / ");
+  return `the engine does not run \`${type}\` inside a \`${container}\` yet (node "${id}") \u2014 place it at the top level, as a ${legal} arm, or inside a child \`workflow\``;
+}
+__name(workflowHitlArmUnsupportedMessage, "workflowHitlArmUnsupportedMessage");
+__name2(workflowHitlArmUnsupportedMessage, "workflowHitlArmUnsupportedMessage");
+function workflowHitlArmShapeMessage(type, id, shape) {
+  return shape === "mapped-arm" ? `\`${type}\` arm "${id}" takes the previous output as its payload \u2014 it cannot head a [mapping, step] chain; map before the container instead` : `a chunked foreach hands each child a slice of items, not one \u2014 \`${type}\` body "${id}" takes one item; drop \`chunk\``;
+}
+__name(workflowHitlArmShapeMessage, "workflowHitlArmShapeMessage");
+__name2(workflowHitlArmShapeMessage, "workflowHitlArmShapeMessage");
+var WORKFLOW_GRAPH_ENTRY_STEP_KINDS = Object.freeze({
+  agent: "agent",
+  tool: "tool",
+  workflow: "subrun",
+  step: "code",
+  mapping: "map",
+  sleep: "sleep",
+  sleepUntil: "sleepUntil",
+  parallel: null,
+  conditional: "branch",
+  foreach: "foreach",
+  loop: "loop",
+  approval: "approval",
+  waitForSignal: "signal"
+});
+var WORKFLOW_ARM_ENTRY_STEP_KINDS = Object.freeze(Object.fromEntries(WORKFLOW_ARM_ENTRY_TYPES.map((t) => [
+  t,
+  WORKFLOW_GRAPH_ENTRY_STEP_KINDS[t]
+])));
+var WORKFLOW_BUDGET_MAX_DURATION_SECONDS = Object.freeze({
+  min: 60,
+  max: 2592e3
+});
 var REDACTED_PLACEHOLDER = "[REDACTED]";
 var PROVIDER_MESSAGE_MAX_CHARS = 300;
+var ERROR_MESSAGE_MAX_CHARS = 2e3;
 var SECRET_LITERAL_PATTERNS = [
   {
     re: /\b(github_pat_)[A-Za-z0-9_]{16,}/g
@@ -1632,6 +1907,10 @@ var SECRET_LITERAL_PATTERNS = [
   {
     re: /\b(glpat-)[A-Za-z0-9_-]{16,}/g
   },
+  // LUA-696 review (3): the npm granular / classic token (`npm_` + 36 alphanumerics).
+  {
+    re: /\b(npm_)[A-Za-z0-9]{36}\b/g
+  },
   {
     re: /\b(sk-ant-)[A-Za-z0-9_-]{16,}/g
   },
@@ -1668,8 +1947,15 @@ var SECRET_PAIR_PATTERNS = [
   // `FOO_TOKEN=x`, `secretKey=x`, `password=x`. Groups: the char before the name, the name, the separator
   // (with its quotes), the scheme word — all kept; the value goes. A value a literal rule already replaced
   // (`x-access-token:[REDACTED]@host`) is left alone so the host after it survives.
+  // LUA-696: the second lookahead keeps a scrubbed `Authorization: Bearer [REDACTED]` as it is — without it the
+  // optional scheme group backtracks to empty and `Bearer` itself becomes the value (`[REDACTED] [REDACTED]`).
+  // The scrub is applied more than once on purpose (the Job site at its copy, the outcome table at the row
+  // write, lua-api on the way out), so it must be idempotent.
+  // LUA-696 review (HIGH): the identifier prefix is BOUNDED (`{1,64}`) — unbounded, `[A-Za-z0-9-]+` made the
+  // scan quadratic on `-`-heavy text (100 KB of `-` took 12.7 s on the lua-core event loop; a worker-tier step
+  // can throw that). No identifier that names a credential is longer; the probe list is unchanged.
   {
-    re: new RegExp(`(^|[^A-Za-z0-9])((?:[A-Za-z0-9-]+[_-])?${SECRET_NAME}|[A-Za-z0-9-]+_key)(["']?\\s*[:=]\\s*["']?)((?:basic\\s+|bearer\\s+|token\\s+)?)(?!\\[REDACTED\\])[^\\s"',;)}&]{4,}`, "gi")
+    re: new RegExp(`(^|[^A-Za-z0-9])((?:[A-Za-z0-9-]{1,64}[_-])?${SECRET_NAME}|[A-Za-z0-9-]{1,64}_key)(["']?\\s*[:=]\\s*["']?)((?:basic\\s+|bearer\\s+|token\\s+)?)(?!\\[REDACTED\\]|(?:basic|bearer|token)\\s+\\[REDACTED\\])[^\\s"',;)}&]{4,}`, "gi")
   },
   // `?token=x`, `&key=x`, `&X-Amz-Signature=x`, `&sig=x`
   {
@@ -1696,6 +1982,34 @@ function groupCount(re) {
 }
 __name(groupCount, "groupCount");
 __name2(groupCount, "groupCount");
+var WORKFLOW_SECRET_KEY_RE = /(^|[_\-.\s])(secret|token|password|passwd|pwd|passphrase|api[_-]?key|apikey|access[_-]?key|secret[_-]?key|private[_-]?key|client[_-]?secret|authorization|auth[_-]?token|access[_-]?token|id[_-]?token|refresh[_-]?token|session[_-]?key|credential(s)?)([_\-.\s]|$)|^(secret|token|password|passwd|pwd|passphrase|apikey|authorization|credentials?)$/i;
+var WORKFLOW_RESERVED_SECRET_KEYS = Object.freeze([
+  "secret",
+  "token",
+  "password",
+  "passwd",
+  "pwd",
+  "passphrase",
+  "api_key",
+  "apikey",
+  "access_key",
+  "secret_key",
+  "private_key",
+  "client_secret",
+  "authorization",
+  "auth_token",
+  "access_token",
+  "id_token",
+  "refresh_token",
+  "session_key",
+  "credential",
+  "credentials"
+]);
+function isWorkflowSecretKey(key) {
+  return WORKFLOW_SECRET_KEY_RE.test(key);
+}
+__name(isWorkflowSecretKey, "isWorkflowSecretKey");
+__name2(isWorkflowSecretKey, "isWorkflowSecretKey");
 function applyPatterns(text, patterns) {
   let out = text;
   for (const { re, suffix } of patterns) {
@@ -1722,8 +2036,19 @@ function scrubSecretText(text) {
 }
 __name(scrubSecretText, "scrubSecretText");
 __name2(scrubSecretText, "scrubSecretText");
+var SCRUB_INPUT_MAX_CHARS = 16 * 1024;
+var SCRUB_CUT_BACKOFF_CHARS = 256;
+function boundScrubInput(text, max = SCRUB_INPUT_MAX_CHARS) {
+  if (typeof text !== "string" || text.length <= max) return text;
+  const window = text.slice(Math.max(0, max - SCRUB_CUT_BACKOFF_CHARS), max);
+  const ws = window.search(/\s\S*$/);
+  const cut = ws >= 0 ? max - window.length + ws : max;
+  return `${text.slice(0, cut)}\u2026`;
+}
+__name(boundScrubInput, "boundScrubInput");
+__name2(boundScrubInput, "boundScrubInput");
 function scrubSecretLines(lines) {
-  return lines.map((l) => typeof l === "string" ? scrubSecretText(l) : l);
+  return lines.map((l) => typeof l === "string" ? scrubSecretText(boundScrubInput(l)) : l);
 }
 __name(scrubSecretLines, "scrubSecretLines");
 __name2(scrubSecretLines, "scrubSecretLines");
@@ -1744,13 +2069,18 @@ function messageText(value3) {
 __name(messageText, "messageText");
 __name2(messageText, "messageText");
 function scrubProviderMessage(raw, max = PROVIDER_MESSAGE_MAX_CHARS) {
-  const text = messageText(raw).replace(/\s+/g, " ").trim();
+  const text = boundScrubInput(messageText(raw)).replace(/\s+/g, " ").trim();
   if (!text) return void 0;
   const out = scrubSecretText(text);
   return out.length > max ? `${out.slice(0, max - 1)}\u2026` : out;
 }
 __name(scrubProviderMessage, "scrubProviderMessage");
 __name2(scrubProviderMessage, "scrubProviderMessage");
+function scrubStepErrorMessage(raw) {
+  return scrubProviderMessage(raw, ERROR_MESSAGE_MAX_CHARS);
+}
+__name(scrubStepErrorMessage, "scrubStepErrorMessage");
+__name2(scrubStepErrorMessage, "scrubStepErrorMessage");
 var WORKFLOW_AUDIT_EVENTS = [
   // --- definitions / versions / templates (13, 11 §11.11.5) ---
   "workflow.published",
@@ -1817,6 +2147,8 @@ var WORKFLOW_AUDIT_EVENTS = [
   "workflow.goal.resumed",
   "workflow.goal.done",
   "workflow.goal.closed",
+  // LUA-760: an ended goal's cadence Job retired (deleted) — inline on done / closed, by R21 / R28, or by sweep #30
+  "workflow.goal.job_retired",
   // --- org policy (02 §2.10 / 09 R23) ---
   "workflow.policy.retention_changed",
   "workflow.policy.pacing_changed",
@@ -1960,475 +2292,940 @@ ${items.join("\n\n")}`;
 }
 __name(renderTargetsBlock, "renderTargetsBlock");
 __name2(renderTargetsBlock, "renderTargetsBlock");
+var WORKFLOW_APPROVAL_OUTPUT_DECISIONS = [
+  "approved",
+  "denied",
+  "timed_out"
+];
+var WORKFLOW_APPROVAL_OUTPUT_SCHEMA = {
+  type: "object",
+  properties: {
+    approved: {
+      type: "boolean"
+    },
+    decision: {
+      type: "string",
+      enum: [
+        ...WORKFLOW_APPROVAL_OUTPUT_DECISIONS
+      ]
+    },
+    /** the approver's note when given, else the decision word — what `${stepResults.<id>.text}` reads */
+    text: {
+      type: "string"
+    },
+    note: {
+      type: "string"
+    },
+    editedPayload: {},
+    editRevision: {
+      type: "integer"
+    },
+    decidedBy: {
+      type: "object",
+      properties: {
+        id: {
+          type: "string"
+        },
+        kind: {
+          type: "string"
+        }
+      }
+    },
+    timedOut: {
+      type: "boolean"
+    },
+    escalations: {
+      type: "integer"
+    },
+    evidence: {
+      type: "array",
+      items: {
+        type: "string"
+      }
+    },
+    items: {
+      type: "array",
+      items: {
+        type: "object"
+      }
+    }
+  },
+  required: [
+    "approved",
+    "decision",
+    "text"
+  ]
+};
+function workflowApprovalDecisionOf(resumeData) {
+  if (resumeData.timedOut === true) return "timed_out";
+  return resumeData.approved === true ? "approved" : "denied";
+}
+__name(workflowApprovalDecisionOf, "workflowApprovalDecisionOf");
+__name2(workflowApprovalDecisionOf, "workflowApprovalDecisionOf");
+function workflowApprovalOutput(resumeData) {
+  const decision = typeof resumeData.decision === "string" ? resumeData.decision : workflowApprovalDecisionOf(resumeData);
+  const note = typeof resumeData.note === "string" && resumeData.note.trim() !== "" ? resumeData.note : void 0;
+  const text = typeof resumeData.text === "string" ? resumeData.text : note ?? decision;
+  return {
+    ...resumeData,
+    decision,
+    text
+  };
+}
+__name(workflowApprovalOutput, "workflowApprovalOutput");
+__name2(workflowApprovalOutput, "workflowApprovalOutput");
+function isWorkflowApprovalOutput(value3) {
+  if (typeof value3 !== "object" || value3 === null || Array.isArray(value3)) return false;
+  const v = value3;
+  return typeof v.approved === "boolean" && WORKFLOW_APPROVAL_OUTPUT_DECISIONS.includes(v.decision) && typeof v.text === "string";
+}
+__name(isWorkflowApprovalOutput, "isWorkflowApprovalOutput");
+__name2(isWorkflowApprovalOutput, "isWorkflowApprovalOutput");
+var JSON_FENCE_RE = /```(?:json)?[ \t]*\r?\n([\s\S]*?)\r?\n?```/g;
+function extractSingleJsonValue(text) {
+  const trimmed = (text ?? "").trim();
+  if (!trimmed) return {
+    reason: "reply is empty"
+  };
+  const fenced = [
+    ...trimmed.matchAll(JSON_FENCE_RE)
+  ];
+  if (fenced.length > 1) return {
+    reason: "reply carries more than one fenced block"
+  };
+  const candidate = fenced.length === 1 ? fenced[0][1].trim() : trimmed;
+  try {
+    return {
+      value: JSON.parse(candidate)
+    };
+  } catch {
+    if (fenced.length === 1) return {
+      reason: "fenced block is not valid JSON"
+    };
+  }
+  const opens = [
+    trimmed.indexOf("{"),
+    trimmed.indexOf("[")
+  ].filter((i) => i !== -1);
+  const start = opens.length ? Math.min(...opens) : -1;
+  const end = Math.max(trimmed.lastIndexOf("}"), trimmed.lastIndexOf("]"));
+  if (start === -1 || end <= start) return {
+    reason: "reply is not JSON"
+  };
+  try {
+    return {
+      value: JSON.parse(trimmed.slice(start, end + 1))
+    };
+  } catch {
+    return {
+      reason: "reply does not contain a single JSON value"
+    };
+  }
+}
+__name(extractSingleJsonValue, "extractSingleJsonValue");
+__name2(extractSingleJsonValue, "extractSingleJsonValue");
 
 // ../workflow-graph/dist/index.mjs
+import { createHash } from "crypto";
 import { z as z4 } from "zod";
 import { z as z22 } from "zod";
 import { createHash as createHash2 } from "crypto";
 var __defProp3 = Object.defineProperty;
 var __name3 = /* @__PURE__ */ __name((target, value22) => __defProp3(target, "name", { value: value22, configurable: true }), "__name");
-var WORKFLOW_SIDE_EFFECTS = [
-  "none",
-  "external"
-];
-var WORKFLOW_JOB_RESOURCES = [
-  "small",
-  "medium",
-  "large"
-];
-var SideEffectsSchema = z4.enum(WORKFLOW_SIDE_EFFECTS);
-var JobResourcesSchema = z4.enum(WORKFLOW_JOB_RESOURCES);
-var WORKFLOW_ARM_SUBRUN_ID = "$arm";
-var SLEEP_UNTIL_REPLACEMENT = Object.freeze({
-  type: "sleep",
-  duration: 6e4
-});
-function sleepUntilUnsupportedMessage(id) {
-  return `the engine does not execute \`sleepUntil\` yet (node "${id}") \u2014 replace it with a \`sleep\` node with a \`duration\` in ms, e.g. { type: 'sleep', id: '${id}', duration: ${SLEEP_UNTIL_REPLACEMENT.duration} }`;
+var WorkflowTemplateError = class extends Error {
+  static {
+    __name(this, "WorkflowTemplateError");
+  }
+  static {
+    __name3(this, "WorkflowTemplateError");
+  }
+  placeholder;
+  constructor(message, placeholder) {
+    super(message), this.placeholder = placeholder;
+    this.name = "WorkflowTemplateError";
+  }
+};
+function isMapConfigObject(v) {
+  return typeof v === "object" && v !== null && !Array.isArray(v);
 }
-__name(sleepUntilUnsupportedMessage, "sleepUntilUnsupportedMessage");
-__name3(sleepUntilUnsupportedMessage, "sleepUntilUnsupportedMessage");
-var WORKFLOW_CAPS_DEFAULT = Object.freeze({
-  maxParallelArms: 16,
-  maxForeachConcurrency: 16,
-  maxForeachItems: 2e4,
-  maxNodes: 200,
-  maxNestingDepth: 3,
-  maxForeachRatePerSecond: 50,
-  maxLoopIntervalSeconds: 86400,
-  maxWorkerTimeoutSeconds: 600,
-  maxJobTimeoutSeconds: 86400,
-  maxJobSegmentSeconds: 14400
-});
-var WORKFLOW_STEP_DEFAULT_TIMEOUT_SECONDS = 300;
-var WORKFLOW_AGENT_DEFAULT_TIMEOUT_SECONDS = 600;
-var WORKFLOW_JOB_DEFAULT_TIMEOUT_SECONDS = 3600;
-var WORKFLOW_FOREACH_DEFAULT_CONCURRENCY = 4;
-var WORKFLOW_FOREACH_DEFAULT_MAX_ITEMS = 256;
-var WORKFLOW_LOOP_DEFAULT_MAX_ITERATIONS = 100;
-var WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS = 168;
-var WORKFLOW_SIGNAL_DEFAULT_SOURCES = [
-  "webhook",
-  "api",
-  "user"
+__name(isMapConfigObject, "isMapConfigObject");
+__name3(isMapConfigObject, "isMapConfigObject");
+function parseMapConfig(raw, stepId) {
+  if (isMapConfigObject(raw)) return raw;
+  if (typeof raw !== "string") {
+    throw new Error(`Stored mapping step "${stepId}" has a mapConfig that is neither a JSON string nor an object.`);
+  }
+  try {
+    return JSON.parse(raw);
+  } catch (e) {
+    throw new Error(`Stored mapping step "${stepId}" has invalid JSON mapConfig: ${e.message}`);
+  }
+}
+__name(parseMapConfig, "parseMapConfig");
+__name3(parseMapConfig, "parseMapConfig");
+function mapConfigWire(raw) {
+  if (typeof raw === "string") return raw;
+  if (isMapConfigObject(raw)) return canonicalJson(raw);
+  return void 0;
+}
+__name(mapConfigWire, "mapConfigWire");
+__name3(mapConfigWire, "mapConfigWire");
+var TEMPLATE_PLACEHOLDER = /\$\{([^}]*)\}/g;
+var TEMPLATE_NAMESPACES = [
+  "initData",
+  "state",
+  "requestContext",
+  "stepResults"
 ];
-var clone = /* @__PURE__ */ __name3((v) => JSON.parse(JSON.stringify(v)), "clone");
-function fillPolicy(node, defaultTimeout) {
-  if (node.tier === void 0 && node.workspace !== void 0 && node.workspace !== "inherit") node.tier = "job";
-  if (node.timeoutSeconds === void 0) node.timeoutSeconds = node.tier === "job" ? WORKFLOW_JOB_DEFAULT_TIMEOUT_SECONDS : defaultTimeout;
-  if (node.retry === void 0) node.retry = {
-    maxAttempts: 1
+function describeBadPlaceholder(template22, idx, rawExpr) {
+  return `Template placeholder #${idx} (\${${rawExpr}}) in '${template22}'`;
+}
+__name(describeBadPlaceholder, "describeBadPlaceholder");
+__name3(describeBadPlaceholder, "describeBadPlaceholder");
+function parseTemplatePlaceholder(rawExpr) {
+  const dot = rawExpr.indexOf(".");
+  return {
+    scope: dot === -1 ? rawExpr : rawExpr.slice(0, dot),
+    rest: dot === -1 ? "" : rawExpr.slice(dot + 1)
   };
-  if (node.onError === void 0) node.onError = "fail";
-  if ((node.type === "step" || node.type === "tool") && node.sideEffects === void 0) node.sideEffects = "none";
 }
-__name(fillPolicy, "fillPolicy");
-__name3(fillPolicy, "fillPolicy");
-function fillSingle(node) {
-  switch (node.type) {
-    case "step": {
-      fillPolicy(node, WORKFLOW_STEP_DEFAULT_TIMEOUT_SECONDS);
-      const s = node;
-      if (s.resumeTimeoutHours === void 0) s.resumeTimeoutHours = WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS;
-      if (s.onSuspendTimeout === void 0) s.onSuspendTimeout = "fail";
-      return;
+__name(parseTemplatePlaceholder, "parseTemplatePlaceholder");
+__name3(parseTemplatePlaceholder, "parseTemplatePlaceholder");
+function traverseMappingPath(root, path, errorLabel) {
+  if (path === "" || path === ".") return root;
+  const parts = path.split(".");
+  let value22 = root;
+  for (const part of parts) {
+    if (typeof value22 === "object" && value22 !== null) value22 = value22[part];
+    else throw new WorkflowTemplateError(`Invalid path ${path} in ${errorLabel}`, path);
+  }
+  return value22;
+}
+__name(traverseMappingPath, "traverseMappingPath");
+__name3(traverseMappingPath, "traverseMappingPath");
+function stringifyTemplateValue(v, template22, idx, rawExpr) {
+  if (v === null || v === void 0) return "";
+  if (typeof v === "object") {
+    try {
+      return JSON.stringify(v);
+    } catch (err) {
+      throw new WorkflowTemplateError(`${describeBadPlaceholder(template22, idx, rawExpr)} resolved to a value that could not be JSON-stringified (${err.message}).`, rawExpr);
     }
-    case "agent":
-      fillPolicy(node, WORKFLOW_AGENT_DEFAULT_TIMEOUT_SECONDS);
-      return;
-    case "tool":
-      fillPolicy(node, WORKFLOW_STEP_DEFAULT_TIMEOUT_SECONDS);
-      return;
-    case "workflow":
-      if (node.workflowId === WORKFLOW_ARM_SUBRUN_ID && Array.isArray(node.graph) && node.graph[1]) fillSingle(node.graph[1]);
-      return;
   }
+  return String(v);
 }
-__name(fillSingle, "fillSingle");
-__name3(fillSingle, "fillSingle");
-function fillArm(arm) {
-  if (arm.type !== "mapping") fillSingle(arm);
+__name(stringifyTemplateValue, "stringifyTemplateValue");
+__name3(stringifyTemplateValue, "stringifyTemplateValue");
+function escapeFence(content) {
+  return content.replace(/<\/lua-data/g, "<\\/lua-data");
 }
-__name(fillArm, "fillArm");
-__name3(fillArm, "fillArm");
-function fillEntry(entry) {
-  switch (entry.type) {
-    case "step":
-    case "agent":
-    case "tool":
-    case "workflow":
-      fillSingle(entry);
-      return;
-    case "parallel":
-      entry.steps.forEach(fillSingle);
-      return;
-    case "conditional": {
-      const c = entry;
-      if (c.exclusive === void 0) c.exclusive = false;
-      c.steps.forEach(fillArm);
-      if (c.otherwise) fillArm(c.otherwise);
-      return;
-    }
-    case "foreach": {
-      const f = entry;
-      f.opts = f.opts ?? {};
-      if (f.opts.concurrency === void 0) f.opts.concurrency = WORKFLOW_FOREACH_DEFAULT_CONCURRENCY;
-      if (f.opts.maxItems === void 0) f.opts.maxItems = WORKFLOW_FOREACH_DEFAULT_MAX_ITEMS;
-      fillSingle(f.step);
-      return;
-    }
-    case "loop": {
-      const l = entry;
-      if (l.maxIterations === void 0) l.maxIterations = WORKFLOW_LOOP_DEFAULT_MAX_ITERATIONS;
-      fillSingle(l.step);
-      return;
-    }
-    case "approval": {
-      const a = entry;
-      if (a.approver === void 0) a.approver = "creator";
-      if (a.timeoutHours === void 0) a.timeoutHours = WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS;
-      if (a.onTimeout === void 0) a.onTimeout = "deny";
-      if (a.onDeny === void 0) a.onDeny = "continue";
-      if (a.excludeInitiator === void 0) a.excludeInitiator = false;
-      if (a.editable === void 0) a.editable = false;
-      return;
-    }
-    case "waitForSignal": {
-      const w = entry;
-      if (w.timeoutHours === void 0) w.timeoutHours = WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS;
-      if (w.onTimeout === void 0) w.onTimeout = "fail";
-      if (w.acceptedSources === void 0) w.acceptedSources = [
-        ...WORKFLOW_SIGNAL_DEFAULT_SOURCES
-      ];
-      return;
-    }
-    case "mapping":
-    case "sleep":
-    case "sleepUntil":
-      return;
-  }
-}
-__name(fillEntry, "fillEntry");
-__name3(fillEntry, "fillEntry");
-function withDefaultsFilled(g) {
-  const out = clone(g);
-  out.definition.graph.forEach(fillEntry);
-  return out;
+__name(escapeFence, "escapeFence");
+__name3(escapeFence, "escapeFence");
+function fenceBlock(name, source, content) {
+  return `<lua-data name="${name}" source="${source}" untrusted="true">${escapeFence(content)}</lua-data>`;
 }
-__name(withDefaultsFilled, "withDefaultsFilled");
-__name3(withDefaultsFilled, "withDefaultsFilled");
-var CONNECTION_ID_HEX_RE = /^[0-9a-f]{24}$/;
-function isConnectionKeyShaped(value22) {
-  return WORKFLOW_CONNECTION_KEY_RE.test(value22) && !CONNECTION_ID_HEX_RE.test(value22);
+__name(fenceBlock, "fenceBlock");
+__name3(fenceBlock, "fenceBlock");
+function renderTemplate(template22, ctx, opts) {
+  let idx = 0;
+  return template22.replace(TEMPLATE_PLACEHOLDER, (_match, rawExpr) => {
+    idx += 1;
+    const { scope, rest } = parseTemplatePlaceholder(rawExpr);
+    const label = describeBadPlaceholder(template22, idx, rawExpr);
+    let rendered;
+    let source;
+    switch (scope) {
+      case "initData":
+        rendered = stringifyTemplateValue(traverseMappingPath(ctx.initData, rest, label), template22, idx, rawExpr);
+        source = "initData";
+        break;
+      case "state":
+        rendered = stringifyTemplateValue(traverseMappingPath(ctx.state, rest, label), template22, idx, rawExpr);
+        source = "state";
+        break;
+      case "requestContext":
+        rendered = stringifyTemplateValue(traverseMappingPath(ctx.requestContext, rest, label), template22, idx, rawExpr);
+        source = "requestContext";
+        break;
+      case "stepResults": {
+        const innerDot = rest.indexOf(".");
+        const stepId = innerDot === -1 ? rest : rest.slice(0, innerDot);
+        const subPath = innerDot === -1 ? "" : rest.slice(innerDot + 1);
+        if (!stepId) throw new WorkflowTemplateError(`${label} must name a step: \${stepResults.<stepId>.<path>}.`, rawExpr);
+        if (!(stepId in ctx.stepResults) || ctx.stepResults[stepId] == null) {
+          throw new WorkflowTemplateError(`${label} references stepResults.${stepId} but step "${stepId}" has no resolvable output (not an ancestor, not run, failed, or produced no output).`, rawExpr);
+        }
+        rendered = stringifyTemplateValue(traverseMappingPath(ctx.stepResults[stepId], subPath, label), template22, idx, rawExpr);
+        source = `step:${stepId}`;
+        break;
+      }
+      default:
+        throw new WorkflowTemplateError(`${label} references unknown namespace "${scope}". Use one of: ${TEMPLATE_NAMESPACES.join(", ")}.`, rawExpr);
+    }
+    return opts.fenced ? fenceBlock(rawExpr, source, rendered) : rendered;
+  });
 }
-__name(isConnectionKeyShaped, "isConnectionKeyShaped");
-__name3(isConnectionKeyShaped, "isConnectionKeyShaped");
-function connectionKeyUndeclaredMessage(path, key) {
-  return `${path} '${key}' is neither a connection id nor a declared connections[].key \u2014 declare it: connections: [{ key: '${key}', integrationType: '<catalog slug, e.g. github>' }] and it resolves on any agent`;
+__name(renderTemplate, "renderTemplate");
+__name3(renderTemplate, "renderTemplate");
+function isMapDescriptor(v) {
+  if (v === null || typeof v !== "object" || Array.isArray(v)) return false;
+  const d = v;
+  const keys = Object.keys(d);
+  const only = /* @__PURE__ */ __name3((...allowed) => keys.every((k) => allowed.includes(k)), "only");
+  if ("value" in d) return keys.length === 1;
+  if ("template" in d) return keys.length === 1 && typeof d.template === "string";
+  if ("requestContextPath" in d) return keys.length === 1 && typeof d.requestContextPath === "string";
+  if ("knowledge" in d) return keys.length === 1 && typeof d.knowledge === "object" && d.knowledge !== null;
+  if ("initData" in d) return d.initData === true && typeof d.path === "string" && only("initData", "path");
+  if ("step" in d) {
+    const stepOk = typeof d.step === "string" || Array.isArray(d.step) && d.step.every((x) => typeof x === "string");
+    return stepOk && typeof d.path === "string" && only("step", "path", "rows");
+  }
+  return false;
 }
-__name(connectionKeyUndeclaredMessage, "connectionKeyUndeclaredMessage");
-__name3(connectionKeyUndeclaredMessage, "connectionKeyUndeclaredMessage");
-var WORKFLOW_JOB_TOOLS = [
-  "shell",
-  "read",
-  "write",
-  "edit",
-  "glob",
-  "grep",
-  "git",
-  "gh",
-  "fetch"
+__name(isMapDescriptor, "isMapDescriptor");
+__name3(isMapDescriptor, "isMapDescriptor");
+var MAP_DESCRIPTOR_KEYS = [
+  "step",
+  "path",
+  "initData",
+  "value",
+  "template",
+  "requestContextPath",
+  "knowledge"
 ];
-var WORKFLOW_JOB_MAX_WORKTREE_ARMS = 8;
-function classifyModelProvider(model) {
-  const m = (model ?? "").trim().toLowerCase();
-  if (!m) return null;
-  if (/^(anthropic\/|claude)/.test(m)) return "anthropic";
-  if (/^(openai\/|gpt-|o[1-9](-|$)|chatgpt)/.test(m)) return "openai";
-  if (/^(google\/|gemini)/.test(m)) return "google";
-  return null;
-}
-__name(classifyModelProvider, "classifyModelProvider");
-__name3(classifyModelProvider, "classifyModelProvider");
-var workspaceOf = /* @__PURE__ */ __name3((node) => node.workspace, "workspaceOf");
-var mountsWorkspace = /* @__PURE__ */ __name3((node) => {
-  const w = workspaceOf(node);
-  return w !== void 0 && w !== "inherit";
-}, "mountsWorkspace");
-var isJobTier = /* @__PURE__ */ __name3((node) => node.tier === "job" || mountsWorkspace(node), "isJobTier");
-var jobToolsOf = /* @__PURE__ */ __name3((node) => {
-  if (node.type === "agent") return node.toolScope?.jobTools;
-  return node.jobTools;
-}, "jobToolsOf");
-function schemaAtPath(schema, path) {
-  let cur = schema;
-  if (!cur || typeof cur !== "object") return void 0;
-  for (const seg of path.split(".").filter(Boolean)) {
-    const props = cur.properties;
-    const next = props?.[seg];
-    if (!next || typeof next !== "object") return void 0;
-    cur = next;
+var MAP_MEMBER_MALFORMED_CODE = "map-member-malformed";
+function malformedMapMembers(cfg) {
+  if (!cfg || typeof cfg !== "object" || Array.isArray(cfg)) return [];
+  const out = [];
+  for (const [member, v] of Object.entries(cfg)) {
+    if (!v || typeof v !== "object" || Array.isArray(v) || isMapDescriptor(v)) continue;
+    const keys = Object.keys(v).filter((k) => MAP_DESCRIPTOR_KEYS.includes(k));
+    if (keys.length > 0) out.push({
+      member,
+      keys
+    });
   }
-  return cur;
+  return out;
 }
-__name(schemaAtPath, "schemaAtPath");
-__name3(schemaAtPath, "schemaAtPath");
-var schemaIsArray = /* @__PURE__ */ __name3((schema) => {
-  if (!schema) return void 0;
-  const t = schema.type;
-  if (t === void 0) return void 0;
-  return Array.isArray(t) ? t.includes("array") : t === "array";
-}, "schemaIsArray");
-var singleId = /* @__PURE__ */ __name3((s) => s.type === "step" ? s.step.id : s.id, "singleId");
-var armId = /* @__PURE__ */ __name3((a) => a.type === "mapping" ? a.id : singleId(a), "armId");
-var TEMPLATE_STEP_REF = /\$\{\s*stepResults\.([A-Za-z0-9_\-]+)/g;
-function templateStepRefs(text) {
-  const ids = [];
-  for (const m of text.matchAll(TEMPLATE_STEP_REF)) ids.push(m[1]);
-  return ids;
+__name(malformedMapMembers, "malformedMapMembers");
+__name3(malformedMapMembers, "malformedMapMembers");
+function mapMemberMalformedMessage(id, m) {
+  const keys = m.keys.map((k) => `\`${k}\``).join(", ");
+  return `"${id}".${m.member} carries descriptor key${m.keys.length === 1 ? "" : "s"} ${keys} but is not an exact binding form ({initData:true, path} | {step, path[, rows]} | {value} | {template} | {requestContextPath} | {knowledge}) \u2014 it is passed to the step verbatim as a literal; fix the descriptor, or wrap it in {value: \u2026} if the literal is intended`;
 }
-__name(templateStepRefs, "templateStepRefs");
-__name3(templateStepRefs, "templateStepRefs");
-function mapConfigStepRefs(raw) {
-  if (!raw) return [];
-  let cfg;
+__name(mapMemberMalformedMessage, "mapMemberMalformedMessage");
+__name3(mapMemberMalformedMessage, "mapMemberMalformedMessage");
+function resolveDescriptor(key, m, ctx) {
+  if (!isMapDescriptor(m)) return {
+    value: m
+  };
   try {
-    cfg = typeof raw === "string" ? JSON.parse(raw) : raw;
-  } catch {
-    return [];
-  }
-  const ids = [];
-  for (const d of Object.values(cfg)) {
-    if (!d || typeof d !== "object") continue;
-    const desc = d;
-    if (desc.step !== void 0) ids.push(...Array.isArray(desc.step) ? desc.step : [
-      desc.step
-    ]);
-    if (typeof desc.template === "string") ids.push(...templateStepRefs(desc.template));
-  }
-  return ids;
-}
-__name(mapConfigStepRefs, "mapConfigStepRefs");
-__name3(mapConfigStepRefs, "mapConfigStepRefs");
-function nodeStepRefs(entry) {
-  switch (entry.type) {
-    case "agent": {
-      const a = entry;
-      const p = a.promptTemplate;
-      return typeof p === "string" ? templateStepRefs(p) : p && "template" in p ? templateStepRefs(p.template) : [];
+    if ("value" in m) return {
+      value: m.value
+    };
+    if ("template" in m && typeof m.template === "string") {
+      return {
+        value: renderTemplate(m.template, ctx, {
+          fenced: false
+        })
+      };
     }
-    case "tool":
-      return mapConfigStepRefs(entry.input);
-    case "workflow":
-      return mapConfigStepRefs(entry.input);
-    case "mapping":
-      return mapConfigStepRefs(entry.mapConfig);
-    case "approval": {
-      const a = entry;
-      return typeof a.details === "string" ? templateStepRefs(a.details) : [];
+    if ("knowledge" in m || "rows" in m && m.rows !== void 0) {
+      return {
+        error: "binding_unresolved",
+        key
+      };
     }
-    default:
-      return [];
+    if ("requestContextPath" in m) {
+      const label = `requestContext path for key "${key}"`;
+      return {
+        value: traverseMappingPath(ctx.requestContext, m.requestContextPath, label)
+      };
+    }
+    if ("path" in m) {
+      const source = "initData" in m && m.initData ? "initData" : "step";
+      if (source === "initData") {
+        return {
+          value: traverseMappingPath(ctx.initData, m.path, `initData for key "${key}"`)
+        };
+      }
+      const stepRef = m.step;
+      const candidates = Array.isArray(stepRef) ? stepRef : [
+        stepRef
+      ];
+      const stepId = candidates.find((s) => ctx.stepResults[s] !== void 0 && ctx.stepResults[s] !== null);
+      if (stepId === void 0) return {
+        error: "binding_unresolved",
+        key
+      };
+      return {
+        value: traverseMappingPath(ctx.stepResults[stepId], m.path, `step ${candidates.join("|")} for key "${key}"`)
+      };
+    }
+    return {
+      error: "binding_unresolved",
+      key
+    };
+  } catch (err) {
+    if (err instanceof WorkflowTemplateError) return {
+      error: "binding_unresolved",
+      key
+    };
+    throw err;
   }
 }
-__name(nodeStepRefs, "nodeStepRefs");
-__name3(nodeStepRefs, "nodeStepRefs");
-function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
-  static: true
-}) {
-  const issues = [];
-  const err = /* @__PURE__ */ __name3((code, message, path, stepId) => {
-    issues.push({
-      code,
-      message,
-      severity: "error",
-      path,
-      stepId
-    });
-  }, "err");
-  const warn = /* @__PURE__ */ __name3((code, message, path, stepId) => {
-    issues.push({
-      code,
-      message,
-      severity: "warning",
-      path,
-      stepId
-    });
-  }, "warn");
-  const graph = g?.definition?.graph;
-  if (!Array.isArray(graph)) {
-    err("invalid-envelope", "`definition.graph` must be an array", "definition.graph");
-    return issues;
-  }
-  if (graph.length === 0) {
-    err("empty-graph", "a workflow needs at least one entry", "definition.graph");
-    return issues;
-  }
-  if (!opts.static && g.concurrencyPolicy !== void 0) {
-    err("static-only-field", "`concurrencyPolicy` is a static-only envelope field (03 \xA73.4.2)", "concurrencyPolicy");
-  }
-  const envelopeWorkspace = g.workspace;
-  if (envelopeWorkspace?.backend && envelopeWorkspace.backend !== "ebs" && opts.policy?.workspaceBackends && !opts.policy.workspaceBackends.includes(envelopeWorkspace.backend)) {
-    err("workspace-backend-unavailable", `workspace.backend '${envelopeWorkspace.backend}' is not enabled (LUA_WF_WORKSPACE_BACKENDS = ${opts.policy.workspaceBackends.join(",")}) \u2014 'ebs' is the normative fallback`, "workspace.backend");
+__name(resolveDescriptor, "resolveDescriptor");
+__name3(resolveDescriptor, "resolveDescriptor");
+function resolveMapping(cfg, ctx) {
+  const keys = Object.keys(cfg);
+  if (keys.length === 1 && keys[0] === "") {
+    return resolveDescriptor("", cfg[""], ctx);
   }
-  const declaredKeys = new Set(opts.connectionKeys ?? []);
-  if (g.connections !== void 0 && !Array.isArray(g.connections)) {
-    err("connection-declaration-invalid", "`connections` must be an array of { key, integrationType }", "connections");
+  const result = {};
+  for (const key of keys) {
+    const resolved = resolveDescriptor(key, cfg[key], ctx);
+    if ("error" in resolved) return resolved;
+    result[key] = resolved.value;
   }
-  (Array.isArray(g.connections) ? g.connections : []).forEach((c, i) => {
-    const path = `connections.${i}`;
-    const key = c?.key;
-    const integrationType = c?.integrationType;
-    if (typeof key !== "string" || !WORKFLOW_CONNECTION_KEY_RE.test(key)) {
-      err("connection-declaration-invalid", `connections[${i}].key must match ${WORKFLOW_CONNECTION_KEY_RE}`, `${path}.key`);
+  return {
+    value: result
+  };
+}
+__name(resolveMapping, "resolveMapping");
+__name3(resolveMapping, "resolveMapping");
+var fromInit = /* @__PURE__ */ __name3((path) => ({
+  initData: true,
+  path
+}), "fromInit");
+var fromStep = /* @__PURE__ */ __name3((s, path = "") => {
+  const idOf = /* @__PURE__ */ __name3((x) => typeof x === "string" ? x : x.id, "idOf");
+  return {
+    step: Array.isArray(s) ? s.map(idOf) : idOf(s),
+    path
+  };
+}, "fromStep");
+var value = /* @__PURE__ */ __name3((v) => ({
+  value: v
+}), "value");
+var template = /* @__PURE__ */ __name3((s) => ({
+  template: s
+}), "template");
+var fromRequest = /* @__PURE__ */ __name3((path) => ({
+  requestContextPath: path
+}), "fromRequest");
+var rows = /* @__PURE__ */ __name3((s, path, page) => ({
+  step: typeof s === "string" ? s : s.id,
+  path,
+  rows: page
+}), "rows");
+var fromKnowledge = /* @__PURE__ */ __name3((k) => ({
+  knowledge: k
+}), "fromKnowledge");
+var SideEffectsSchema = z4.enum(WORKFLOW_SIDE_EFFECTS);
+var JobResourcesSchema = z4.enum(WORKFLOW_JOB_RESOURCES);
+var WORKFLOW_ARM_SUBRUN_ID = "$arm";
+var WORKSPACE_TEMPLATE_EXPR_RE = /^\$\{\s*(?:initData|input)\.([^}]+?)\s*\}$/;
+function workspaceTemplatePath(template22) {
+  const key = template22.trim();
+  const expr = WORKSPACE_TEMPLATE_EXPR_RE.exec(key);
+  if (expr) return expr[1].split(".");
+  if (key.includes("${")) return void 0;
+  return key.replace(/^(?:input|initData)\./, "").split(".");
+}
+__name(workspaceTemplatePath, "workspaceTemplatePath");
+__name3(workspaceTemplatePath, "workspaceTemplatePath");
+function retryBackoffs() {
+  if (!Array.isArray(WORKFLOW_RETRY_BACKOFFS)) {
+    throw new Error("@lua/shared-types.WORKFLOW_RETRY_BACKOFFS is not a tuple \u2014 a jest.mock('@lua/shared-types') must spread jest.requireActual('@lua/shared-types')");
+  }
+  return WORKFLOW_RETRY_BACKOFFS;
+}
+__name(retryBackoffs, "retryBackoffs");
+__name3(retryBackoffs, "retryBackoffs");
+var SLEEP_UNTIL_REPLACEMENT = Object.freeze({
+  type: "sleep",
+  duration: 6e4
+});
+function sleepUntilUnsupportedMessage(id) {
+  return `the engine does not execute \`sleepUntil\` yet (node "${id}") \u2014 replace it with a \`sleep\` node with a \`duration\` in ms, e.g. { type: 'sleep', id: '${id}', duration: ${SLEEP_UNTIL_REPLACEMENT.duration} }`;
+}
+__name(sleepUntilUnsupportedMessage, "sleepUntilUnsupportedMessage");
+__name3(sleepUntilUnsupportedMessage, "sleepUntilUnsupportedMessage");
+var WORKFLOW_CAPS_DEFAULT = Object.freeze({
+  maxParallelArms: 16,
+  maxForeachConcurrency: 16,
+  maxForeachItems: 2e4,
+  maxNodes: 200,
+  maxNestingDepth: 3,
+  maxForeachRatePerSecond: 50,
+  maxLoopIntervalSeconds: 86400,
+  maxWorkerTimeoutSeconds: 600,
+  maxJobTimeoutSeconds: 86400,
+  maxJobSegmentSeconds: 14400
+});
+var WORKFLOW_STEP_DEFAULT_TIMEOUT_SECONDS = 300;
+var WORKFLOW_AGENT_DEFAULT_TIMEOUT_SECONDS = 600;
+var WORKFLOW_JOB_DEFAULT_TIMEOUT_SECONDS = 3600;
+var WORKFLOW_FOREACH_DEFAULT_CONCURRENCY = 4;
+var WORKFLOW_FOREACH_DEFAULT_MAX_ITEMS = 256;
+var WORKFLOW_LOOP_DEFAULT_MAX_ITERATIONS = 100;
+var WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS = 168;
+var WORKFLOW_SIGNAL_DEFAULT_SOURCES = [
+  "webhook",
+  "api",
+  "user"
+];
+var clone = /* @__PURE__ */ __name3((v) => JSON.parse(JSON.stringify(v)), "clone");
+function fillPolicy(node, defaultTimeout) {
+  if (node.tier === void 0 && node.workspace !== void 0 && node.workspace !== "inherit") node.tier = "job";
+  if (node.timeoutSeconds === void 0) node.timeoutSeconds = node.tier === "job" ? WORKFLOW_JOB_DEFAULT_TIMEOUT_SECONDS : defaultTimeout;
+  if (node.retry === void 0) node.retry = {
+    maxAttempts: 1
+  };
+  if (node.onError === void 0) node.onError = "fail";
+  if ((node.type === "step" || node.type === "tool") && node.sideEffects === void 0) node.sideEffects = "none";
+}
+__name(fillPolicy, "fillPolicy");
+__name3(fillPolicy, "fillPolicy");
+function fillSingle(node) {
+  switch (node.type) {
+    case "step": {
+      fillPolicy(node, WORKFLOW_STEP_DEFAULT_TIMEOUT_SECONDS);
+      const s = node;
+      if (s.resumeTimeoutHours === void 0) s.resumeTimeoutHours = WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS;
+      if (s.onSuspendTimeout === void 0) s.onSuspendTimeout = "fail";
       return;
     }
-    if (declaredKeys.has(key)) {
-      err("connection-declaration-invalid", `connections[${i}].key "${key}" is declared twice`, `${path}.key`);
+    case "agent":
+      fillPolicy(node, WORKFLOW_AGENT_DEFAULT_TIMEOUT_SECONDS);
       return;
-    }
-    if (typeof integrationType !== "string" || !integrationType.trim()) {
-      err("connection-declaration-invalid", `connections[${i}] ("${key}") needs an integrationType (the catalog slug, e.g. 'github')`, `${path}.integrationType`);
+    case "tool":
+      fillPolicy(node, WORKFLOW_STEP_DEFAULT_TIMEOUT_SECONDS);
+      return;
+    case "workflow":
+      if (node.workflowId === WORKFLOW_ARM_SUBRUN_ID && Array.isArray(node.graph) && node.graph[1]) fillSingle(node.graph[1]);
       return;
-    }
-    declaredKeys.add(key);
-  });
-  const undeclaredKey = /* @__PURE__ */ __name3((ref) => typeof ref === "string" && !declaredKeys.has(ref) && isConnectionKeyShaped(ref) && opts.connectionIds?.has(ref) !== true, "undeclaredKey");
-  const credentialsRef = envelopeWorkspace?.credentialsRef;
-  if (undeclaredKey(credentialsRef)) {
-    err("connection-key-undeclared", connectionKeyUndeclaredMessage("workspace.credentialsRef", credentialsRef), "workspace.credentialsRef");
   }
-  const seen = /* @__PURE__ */ new Map();
-  let nodeCount = 0;
-  const upstream = /* @__PURE__ */ new Set();
-  const checkId = /* @__PURE__ */ __name3((id, path) => {
-    nodeCount += 1;
-    if (seen.has(id)) {
-      err("duplicate-step-id", `step id "${id}" is declared twice (first at ${seen.get(id)})`, path, id);
-    } else {
-      seen.set(id, path);
-    }
-  }, "checkId");
-  const checkPolicyEnums = /* @__PURE__ */ __name3((node, path) => {
-    const id = singleId(node);
-    const check = /* @__PURE__ */ __name3((member, allowed) => {
-      const value22 = node[member];
-      if (value22 === void 0 || typeof value22 === "string" && allowed.includes(value22)) return;
-      err("invalid-envelope", `\`${member}\` must be ${allowed.map((a) => `'${a}'`).join(" | ")} (got ${JSON.stringify(value22)})`, `${path}.${member}`, id);
-    }, "check");
-    check("sideEffects", WORKFLOW_SIDE_EFFECTS);
-    check("jobResources", WORKFLOW_JOB_RESOURCES);
-  }, "checkPolicyEnums");
-  const checkRetry = /* @__PURE__ */ __name3((node, path) => {
-    const r = node.retry;
-    if (!r) return;
-    const id = singleId(node);
-    if (r.backoff !== void 0 && r.backoff !== "fixed" && r.backoff !== "exponential") {
-      err("backoff-invalid", `retry.backoff must be 'fixed' | 'exponential'`, `${path}.retry.backoff`, id);
-    }
-    if (r.backoffSeconds !== void 0 && r.backoffSeconds < 0) {
-      err("backoff-invalid", "retry.backoffSeconds must be \u2265 0", `${path}.retry.backoffSeconds`, id);
-    }
-    if (r.maxBackoffSeconds !== void 0) {
-      if (r.backoff !== "exponential") {
-        err("backoff-invalid", "retry.maxBackoffSeconds is only meaningful with backoff:'exponential'", `${path}.retry`, id);
-      } else if (r.maxBackoffSeconds <= 0 || r.backoffSeconds !== void 0 && r.maxBackoffSeconds < r.backoffSeconds) {
-        err("backoff-invalid", "retry.maxBackoffSeconds must be > 0 and \u2265 backoffSeconds", `${path}.retry.maxBackoffSeconds`, id);
-      }
-    }
-  }, "checkRetry");
-  const checkTimeout = /* @__PURE__ */ __name3((node, path) => {
-    const t = node.timeoutSeconds;
-    if (t === void 0) return;
-    const id = singleId(node);
-    if (!Number.isInteger(t) || t < 1) {
-      err("timeout-out-of-range", `timeoutSeconds must be an integer \u2265 1 (got ${t})`, `${path}.timeoutSeconds`, id);
+}
+__name(fillSingle, "fillSingle");
+__name3(fillSingle, "fillSingle");
+function fillHitl(node) {
+  if (node.type === "approval") {
+    const a = node;
+    if (a.approver === void 0) a.approver = "creator";
+    if (a.timeoutHours === void 0) a.timeoutHours = WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS;
+    if (a.onTimeout === void 0) a.onTimeout = "deny";
+    if (a.onDeny === void 0) a.onDeny = "continue";
+    if (a.excludeInitiator === void 0) a.excludeInitiator = false;
+    if (a.editable === void 0) a.editable = false;
+    return;
+  }
+  const w = node;
+  if (w.timeoutHours === void 0) w.timeoutHours = WORKFLOW_SUSPEND_DEFAULT_TIMEOUT_HOURS;
+  if (w.onTimeout === void 0) w.onTimeout = "fail";
+  if (w.acceptedSources === void 0) w.acceptedSources = [
+    ...WORKFLOW_SIGNAL_DEFAULT_SOURCES
+  ];
+}
+__name(fillHitl, "fillHitl");
+__name3(fillHitl, "fillHitl");
+function fillArm(arm) {
+  if (arm.type === "mapping") return;
+  if (isHitlNode(arm)) fillHitl(arm);
+  else fillSingle(arm);
+}
+__name(fillArm, "fillArm");
+__name3(fillArm, "fillArm");
+function fillEntry(entry) {
+  switch (entry.type) {
+    case "step":
+    case "agent":
+    case "tool":
+    case "workflow":
+      fillSingle(entry);
+      return;
+    case "parallel":
+      entry.steps.forEach(fillArm);
+      return;
+    case "conditional": {
+      const c = entry;
+      if (c.exclusive === void 0) c.exclusive = false;
+      c.steps.forEach(fillArm);
+      if (c.otherwise) fillArm(c.otherwise);
       return;
     }
-    if (node.tier === "job") {
-      const cap = node.type === "agent" ? caps.maxJobTimeoutSeconds : caps.maxJobSegmentSeconds;
-      if (t > cap) {
-        err("job-timeout-exceeds-cap", `timeoutSeconds ${t} exceeds the Job-tier cap of ${cap} s`, `${path}.timeoutSeconds`, id);
-      } else if (node.type === "agent" && t > caps.maxJobSegmentSeconds && !node.workspace) {
-        err("long-job-requires-workspace", `steps longer than 4 h checkpoint to the run workspace \u2014 add workspace:{mount:'rw'} (and workspace on createWorkflow) or split the step`, `${path}.timeoutSeconds`, id);
-      }
-    } else if (t > caps.maxWorkerTimeoutSeconds) {
-      err("timeout-exceeds-tier", `timeoutSeconds ${t} exceeds the worker tier's ${caps.maxWorkerTimeoutSeconds} s \u2014 steps longer than 10 min run on the Job tier: add tier:'job' (up to ${caps.maxJobSegmentSeconds} s)`, `${path}.timeoutSeconds`, id);
-    }
-  }, "checkTimeout");
-  const checkSpecialistRole = /* @__PURE__ */ __name3((node, path) => {
-    const role = node.role;
-    const hasRef = typeof role.ref === "string";
-    const hasInline = role.name !== void 0 || role.instructions !== void 0 || Array.isArray(role.tools) && role.tools.length > 0;
-    if (hasRef && hasInline) {
-      err("role-ref-and-inline", "a role is either `{ref}` or inline `{name, instructions, tools}`, never both", `${path}.role`, node.id);
-    }
-    if (node.agentId !== "$self") {
-      err("ephemeral-base-not-self", "a role runs on the owner only: use '$self'", `${path}.agentId`, node.id);
-    }
-    if (opts.policy && opts.policy.ephemeralSpecialists !== true) {
-      err("ephemeral-specialists-disabled", "ephemeral specialists are off for this org/agent (workflowPolicy.ephemeralSpecialists)", `${path}.role`, node.id);
+    case "foreach": {
+      const f = entry;
+      f.opts = f.opts ?? {};
+      if (f.opts.concurrency === void 0) f.opts.concurrency = WORKFLOW_FOREACH_DEFAULT_CONCURRENCY;
+      if (f.opts.maxItems === void 0) f.opts.maxItems = WORKFLOW_FOREACH_DEFAULT_MAX_ITEMS;
+      fillArm(f.step);
+      return;
     }
-    let tools = Array.isArray(role.tools) ? role.tools.filter((t) => typeof t === "string") : [];
-    if (hasRef && opts.roleLibrary) {
-      const saved = opts.roleLibrary.get(role.ref);
-      if (!saved) {
-        err("role-ref-unknown", `no saved role \`${role.ref}\` in the owner's library`, `${path}.role.ref`, node.id);
-      } else {
-        tools = saved.tools ?? [];
-        if (typeof role.roleHash === "string" && saved.roleHash && role.roleHash !== saved.roleHash) {
-          warn("role-ref-stale", `saved role \`${role.ref}\` changed since this version was frozen`, `${path}.role.ref`, node.id);
-        }
-      }
+    case "loop": {
+      const l = entry;
+      if (l.maxIterations === void 0) l.maxIterations = WORKFLOW_LOOP_DEFAULT_MAX_ITERATIONS;
+      fillArm(l.step);
+      return;
     }
-    if (tools.length && opts.toolCatalog) {
-      const missing = tools.filter((t) => !opts.toolCatalog.has(t));
-      if (missing.length) {
-        err("ephemeral-tools-not-subset", `role tools not in the owner's catalog: ${missing.join(", ")}`, `${path}.role.tools`, node.id);
-      }
+    case "approval":
+    case "waitForSignal":
+      fillHitl(entry);
+      return;
+    case "mapping":
+    case "sleep":
+    case "sleepUntil":
+      return;
+  }
+}
+__name(fillEntry, "fillEntry");
+__name3(fillEntry, "fillEntry");
+function withDefaultsFilled(g) {
+  const out = clone(g);
+  out.definition.graph.forEach(fillEntry);
+  return out;
+}
+__name(withDefaultsFilled, "withDefaultsFilled");
+__name3(withDefaultsFilled, "withDefaultsFilled");
+var CONNECTION_ID_HEX_RE = /^[0-9a-f]{24}$/;
+function isConnectionKeyShaped(value22) {
+  return WORKFLOW_CONNECTION_KEY_RE.test(value22) && !CONNECTION_ID_HEX_RE.test(value22);
+}
+__name(isConnectionKeyShaped, "isConnectionKeyShaped");
+__name3(isConnectionKeyShaped, "isConnectionKeyShaped");
+function connectionKeyUndeclaredMessage(path, key) {
+  return `${path} '${key}' is neither a connection id nor a declared connections[].key \u2014 declare it: connections: [{ key: '${key}', integrationType: '<catalog slug, e.g. github>' }] and it resolves on any agent`;
+}
+__name(connectionKeyUndeclaredMessage, "connectionKeyUndeclaredMessage");
+__name3(connectionKeyUndeclaredMessage, "connectionKeyUndeclaredMessage");
+var WORKFLOW_JOB_TOOLS = [
+  "shell",
+  "read",
+  "write",
+  "edit",
+  "glob",
+  "grep",
+  "git",
+  "gh",
+  "fetch"
+];
+var WORKFLOW_JOB_MAX_WORKTREE_ARMS = 8;
+function classifyModelProvider(model) {
+  const m = (model ?? "").trim().toLowerCase();
+  if (!m) return null;
+  if (/^(anthropic\/|claude)/.test(m)) return "anthropic";
+  if (/^(openai\/|gpt-|o[1-9](-|$)|chatgpt)/.test(m)) return "openai";
+  if (/^(google\/|gemini)/.test(m)) return "google";
+  return null;
+}
+__name(classifyModelProvider, "classifyModelProvider");
+__name3(classifyModelProvider, "classifyModelProvider");
+var workspaceOf = /* @__PURE__ */ __name3((node) => node.workspace, "workspaceOf");
+var mountsWorkspace = /* @__PURE__ */ __name3((node) => {
+  const w = workspaceOf(node);
+  return w !== void 0 && w !== "inherit";
+}, "mountsWorkspace");
+var isJobTier = /* @__PURE__ */ __name3((node) => node.tier === "job" || mountsWorkspace(node), "isJobTier");
+var jobToolsOf = /* @__PURE__ */ __name3((node) => {
+  if (node.type === "agent") return node.toolScope?.jobTools;
+  return node.jobTools;
+}, "jobToolsOf");
+function schemaAtPath(schema, path) {
+  let cur = schema;
+  if (!cur || typeof cur !== "object") return void 0;
+  for (const seg of path.split(".").filter(Boolean)) {
+    const props = cur.properties;
+    const next = props?.[seg];
+    if (!next || typeof next !== "object") return void 0;
+    cur = next;
+  }
+  return cur;
+}
+__name(schemaAtPath, "schemaAtPath");
+__name3(schemaAtPath, "schemaAtPath");
+var schemaIsArray = /* @__PURE__ */ __name3((schema) => {
+  if (!schema) return void 0;
+  const t = schema.type;
+  if (t === void 0) return void 0;
+  return Array.isArray(t) ? t.includes("array") : t === "array";
+}, "schemaIsArray");
+var isHitlNode = /* @__PURE__ */ __name3((n2) => isWorkflowHitlEntryType(n2.type), "isHitlNode");
+var isSingleStep = /* @__PURE__ */ __name3((n2) => !isHitlNode(n2), "isSingleStep");
+var singleId = /* @__PURE__ */ __name3((s) => s.type === "step" ? s.step.id : s.id, "singleId");
+var armId = /* @__PURE__ */ __name3((a) => a.type === "mapping" ? a.id : singleId(a), "armId");
+var TEMPLATE_STEP_REF = /\$\{\s*stepResults\.([A-Za-z0-9_\-]+)/g;
+function templateStepRefs(text) {
+  const ids = [];
+  for (const m of text.matchAll(TEMPLATE_STEP_REF)) ids.push(m[1]);
+  return ids;
+}
+__name(templateStepRefs, "templateStepRefs");
+__name3(templateStepRefs, "templateStepRefs");
+function readMapConfig(raw) {
+  if (!raw) return void 0;
+  if (typeof raw !== "string") return raw;
+  try {
+    const cfg = JSON.parse(raw);
+    return cfg && typeof cfg === "object" && !Array.isArray(cfg) ? cfg : void 0;
+  } catch {
+    return void 0;
+  }
+}
+__name(readMapConfig, "readMapConfig");
+__name3(readMapConfig, "readMapConfig");
+function mapConfigStepRefs(raw) {
+  const cfg = readMapConfig(raw);
+  if (!cfg) return [];
+  const ids = [];
+  for (const d of Object.values(cfg)) {
+    if (!isMapDescriptor(d)) continue;
+    if ("step" in d) ids.push(...Array.isArray(d.step) ? d.step : [
+      d.step
+    ]);
+    if ("template" in d) ids.push(...templateStepRefs(d.template));
+  }
+  return ids;
+}
+__name(mapConfigStepRefs, "mapConfigStepRefs");
+__name3(mapConfigStepRefs, "mapConfigStepRefs");
+function nodeStepRefs(entry) {
+  switch (entry.type) {
+    case "agent": {
+      const a = entry;
+      const p = a.promptTemplate;
+      return typeof p === "string" ? templateStepRefs(p) : p && "template" in p ? templateStepRefs(p.template) : [];
     }
-  }, "checkSpecialistRole");
-  const checkRequiredConnections = /* @__PURE__ */ __name3((node, path) => {
-    const required = node.requiredConnections;
-    if (!Array.isArray(required)) return;
-    const undeclared = required.filter(undeclaredKey);
-    if (undeclared.length) {
-      err("connection-key-undeclared", connectionKeyUndeclaredMessage(`${path}.requiredConnections`, undeclared[0]) + (undeclared.length > 1 ? ` (also undeclared: ${JSON.stringify(undeclared.slice(1))})` : ""), `${path}.requiredConnections`, singleId(node));
+    case "tool":
+      return mapConfigStepRefs(entry.input);
+    case "workflow":
+      return mapConfigStepRefs(entry.input);
+    case "mapping":
+      return mapConfigStepRefs(entry.mapConfig);
+    case "approval": {
+      const a = entry;
+      return typeof a.details === "string" ? templateStepRefs(a.details) : [];
     }
-    if (!opts.connectionIds) return;
-    const unknown = required.filter((c) => typeof c !== "string" || !declaredKeys.has(c) && !opts.connectionIds.has(c));
-    if (unknown.length) {
-      err("required-connection-unknown", `requiredConnections ${JSON.stringify(unknown)} are neither declared connections[].key values nor connections the owner can mount`, `${path}.requiredConnections`, singleId(node));
+    default:
+      return [];
+  }
+}
+__name(nodeStepRefs, "nodeStepRefs");
+__name3(nodeStepRefs, "nodeStepRefs");
+function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
+  static: true
+}) {
+  const issues = [];
+  const err = /* @__PURE__ */ __name3((code, message, path, stepId) => {
+    issues.push({
+      code,
+      message,
+      severity: "error",
+      path,
+      stepId
+    });
+  }, "err");
+  const warn = /* @__PURE__ */ __name3((code, message, path, stepId) => {
+    issues.push({
+      code,
+      message,
+      severity: "warning",
+      path,
+      stepId
+    });
+  }, "warn");
+  const graph = g?.definition?.graph;
+  if (!Array.isArray(graph)) {
+    err("invalid-envelope", "`definition.graph` must be an array", "definition.graph");
+    return issues;
+  }
+  if (graph.length === 0) {
+    err("empty-graph", "a workflow needs at least one entry", "definition.graph");
+    return issues;
+  }
+  if (!opts.static && g.concurrencyPolicy !== void 0) {
+    err("static-only-field", "`concurrencyPolicy` is a static-only envelope field (03 \xA73.4.2)", "concurrencyPolicy");
+  }
+  const envelopeWorkspace = g.workspace;
+  if (envelopeWorkspace?.backend && envelopeWorkspace.backend !== "ebs" && opts.policy?.workspaceBackends && !opts.policy.workspaceBackends.includes(envelopeWorkspace.backend)) {
+    err("workspace-backend-unavailable", `workspace.backend '${envelopeWorkspace.backend}' is not enabled (LUA_WF_WORKSPACE_BACKENDS = ${opts.policy.workspaceBackends.join(",")}) \u2014 'ebs' is the normative fallback`, "workspace.backend");
+  }
+  for (const member of [
+    "repo",
+    "ref"
+  ]) {
+    const v = envelopeWorkspace?.[member];
+    const tpl = v && typeof v === "object" && typeof v.template === "string" ? v.template : void 0;
+    if (tpl !== void 0 && workspaceTemplatePath(tpl) === void 0) {
+      warn("workspace-template-composite", `workspace.${member} template ${JSON.stringify(tpl)} is a composite \u2014 the engine binds one whole-string \${initData.<path>} (or an input.<path> key) and every start would fail workspace_provision_failed{binding_unresolved}; put the assembled value in the run input and bind that path`, `workspace.${member}`);
     }
-  }, "checkRequiredConnections");
-  const checkTier = /* @__PURE__ */ __name3((node, path) => {
-    const id = singleId(node);
-    if (node.workspace && node.workspace !== "inherit" && node.tier !== void 0 && node.tier !== "job") {
-      err("workspace-requires-job-tier", "a step mounting a workspace must be tier:'job'", `${path}.workspace`, id);
+  }
+  const declaredKeys = new Set(opts.connectionKeys ?? []);
+  if (g.connections !== void 0 && !Array.isArray(g.connections)) {
+    err("connection-declaration-invalid", "`connections` must be an array of { key, integrationType }", "connections");
+  }
+  (Array.isArray(g.connections) ? g.connections : []).forEach((c, i) => {
+    const path = `connections.${i}`;
+    const key = c?.key;
+    const integrationType = c?.integrationType;
+    if (typeof key !== "string" || !WORKFLOW_CONNECTION_KEY_RE.test(key)) {
+      err("connection-declaration-invalid", `connections[${i}].key must match ${WORKFLOW_CONNECTION_KEY_RE}`, `${path}.key`);
+      return;
     }
-    if (node.harness !== void 0 && node.tier !== "job") {
-      err("harness-requires-job-tier", "`harness` is only legal on a tier:'job' agent step", `${path}.harness`, id);
+    if (declaredKeys.has(key)) {
+      err("connection-declaration-invalid", `connections[${i}].key "${key}" is declared twice`, `${path}.key`);
+      return;
     }
-    const provider = node.type === "agent" ? classifyModelProvider(node.model) : null;
-    if (node.harness === "claude-code" && provider !== null && provider !== "anthropic") {
-      err("harness-provider-mismatch", `harness:'claude-code' needs an Anthropic model (model "${node.type === "agent" ? node.model : ""}" is ${provider})`, `${path}.harness`, id);
+    if (typeof integrationType !== "string" || !integrationType.trim()) {
+      err("connection-declaration-invalid", `connections[${i}] ("${key}") needs an integrationType (the catalog slug, e.g. 'github')`, `${path}.integrationType`);
+      return;
     }
-    if (isJobTier(node) && provider !== null && opts.policy?.jobProviders && !opts.policy.jobProviders.includes(provider)) {
-      err("job-tier-provider-unsupported", `model provider '${provider}' is outside LUA_WF_JOB_PROVIDERS [${opts.policy.jobProviders.join(", ")}]`, `${path}.model`, id);
+    declaredKeys.add(key);
+  });
+  const undeclaredKey = /* @__PURE__ */ __name3((ref) => typeof ref === "string" && !declaredKeys.has(ref) && isConnectionKeyShaped(ref) && opts.connectionIds?.has(ref) !== true, "undeclaredKey");
+  const credentialsRef = envelopeWorkspace?.credentialsRef;
+  if (undeclaredKey(credentialsRef)) {
+    err("connection-key-undeclared", connectionKeyUndeclaredMessage("workspace.credentialsRef", credentialsRef), "workspace.credentialsRef");
+  }
+  const seen = /* @__PURE__ */ new Map();
+  let nodeCount = 0;
+  const upstream = /* @__PURE__ */ new Set();
+  const checkId = /* @__PURE__ */ __name3((id, path) => {
+    nodeCount += 1;
+    if (seen.has(id)) {
+      err("duplicate-step-id", `step id "${id}" is declared twice (first at ${seen.get(id)})`, path, id);
+    } else {
+      seen.set(id, path);
     }
-  }, "checkTier");
-  const checkWorkspace = /* @__PURE__ */ __name3((node, path) => {
+  }, "checkId");
+  const checkPolicyEnums = /* @__PURE__ */ __name3((node, path) => {
     const id = singleId(node);
-    const ws = workspaceOf(node);
-    if (isJobTier(node) && opts.policy && opts.policy.jobTier !== true) {
-      err("job-tier-disabled", `"${id}" runs on the Job tier but the org's workflowPolicy.jobTier is off \u2014 an org admin enables it (lua features workflows.caps.jobTier true)`, `${path}.tier`, id);
+    const check = /* @__PURE__ */ __name3((member, allowed) => {
+      const value22 = node[member];
+      if (value22 === void 0 || typeof value22 === "string" && allowed.includes(value22)) return;
+      err("invalid-envelope", `\`${member}\` must be ${allowed.map((a) => `'${a}'`).join(" | ")} (got ${JSON.stringify(value22)})`, `${path}.${member}`, id);
+    }, "check");
+    check("sideEffects", WORKFLOW_SIDE_EFFECTS);
+    check("jobResources", WORKFLOW_JOB_RESOURCES);
+  }, "checkPolicyEnums");
+  const checkRetry = /* @__PURE__ */ __name3((node, path) => {
+    const r = node.retry;
+    if (!r) return;
+    const id = singleId(node);
+    const unknown = unknownWorkflowRetryMembers(r);
+    if (unknown.length) err("invalid-envelope", workflowRetryUnknownMembersMessage(unknown), `${path}.retry`, id);
+    if (r.maxAttempts !== void 0 && !isWithinWorkflowRetryAttempts(r.maxAttempts)) {
+      const over = typeof r.maxAttempts === "number" && r.maxAttempts > WORKFLOW_RETRY_MAX_ATTEMPTS;
+      err(over ? "cap-exceeded" : "invalid-envelope", workflowRetryMaxAttemptsMessage(r.maxAttempts), `${path}.retry.maxAttempts`, id);
     }
-    const tools = jobToolsOf(node);
-    if (tools !== void 0) {
-      if (!isJobTier(node)) {
-        err("job-tools-require-job-tier", "`jobTools` needs tier:'job'", `${path}.jobTools`, id);
+    const backoffs = retryBackoffs();
+    if (r.backoff !== void 0 && !backoffs.includes(r.backoff)) {
+      const list = backoffs.map((b) => `'${b}'`).join(" | ");
+      err("backoff-invalid", `retry.backoff must be ${list}`, `${path}.retry.backoff`, id);
+    }
+    if (r.backoffSeconds !== void 0 && r.backoffSeconds < 0) {
+      err("backoff-invalid", "retry.backoffSeconds must be \u2265 0", `${path}.retry.backoffSeconds`, id);
+    }
+    if (r.maxBackoffSeconds !== void 0) {
+      if (r.backoff !== "exponential") {
+        err("backoff-invalid", "retry.maxBackoffSeconds is only meaningful with backoff:'exponential'", `${path}.retry`, id);
+      } else if (r.maxBackoffSeconds <= 0 || r.backoffSeconds !== void 0 && r.maxBackoffSeconds < r.backoffSeconds) {
+        err("backoff-invalid", "retry.maxBackoffSeconds must be > 0 and \u2265 backoffSeconds", `${path}.retry.maxBackoffSeconds`, id);
       }
-      const unknown = (Array.isArray(tools) ? tools : [
+    }
+  }, "checkRetry");
+  const checkTimeout = /* @__PURE__ */ __name3((node, path) => {
+    const t = node.timeoutSeconds;
+    if (t === void 0) return;
+    const id = singleId(node);
+    if (!Number.isInteger(t) || t < 1) {
+      err("timeout-out-of-range", `timeoutSeconds must be an integer \u2265 1 (got ${t})`, `${path}.timeoutSeconds`, id);
+      return;
+    }
+    if (node.tier === "job") {
+      const cap = node.type === "agent" ? caps.maxJobTimeoutSeconds : caps.maxJobSegmentSeconds;
+      if (t > cap) {
+        err("job-timeout-exceeds-cap", `timeoutSeconds ${t} exceeds the Job-tier cap of ${cap} s`, `${path}.timeoutSeconds`, id);
+      } else if (node.type === "agent" && t > caps.maxJobSegmentSeconds && !node.workspace) {
+        err("long-job-requires-workspace", `steps longer than 4 h checkpoint to the run workspace \u2014 add workspace:{mount:'rw'} (and workspace on createWorkflow) or split the step`, `${path}.timeoutSeconds`, id);
+      }
+    } else if (t > caps.maxWorkerTimeoutSeconds) {
+      err("timeout-exceeds-tier", `timeoutSeconds ${t} exceeds the worker tier's ${caps.maxWorkerTimeoutSeconds} s \u2014 steps longer than 10 min run on the Job tier: add tier:'job' (up to ${caps.maxJobSegmentSeconds} s)`, `${path}.timeoutSeconds`, id);
+    }
+  }, "checkTimeout");
+  const checkSpecialistRole = /* @__PURE__ */ __name3((node, path) => {
+    const role = node.role;
+    const hasRef = typeof role.ref === "string";
+    const hasInline = role.name !== void 0 || role.instructions !== void 0 || Array.isArray(role.tools) && role.tools.length > 0;
+    if (hasRef && hasInline) {
+      err("role-ref-and-inline", "a role is either `{ref}` or inline `{name, instructions, tools}`, never both", `${path}.role`, node.id);
+    }
+    if (node.agentId !== "$self") {
+      err("ephemeral-base-not-self", "a role runs on the owner only: use '$self'", `${path}.agentId`, node.id);
+    }
+    if (opts.policy && opts.policy.ephemeralSpecialists !== true) {
+      err("ephemeral-specialists-disabled", "ephemeral specialists are off for this org/agent (workflowPolicy.ephemeralSpecialists)", `${path}.role`, node.id);
+    }
+    let tools = Array.isArray(role.tools) ? role.tools.filter((t) => typeof t === "string") : [];
+    if (hasRef && opts.roleLibrary) {
+      const saved = opts.roleLibrary.get(role.ref);
+      if (!saved) {
+        err("role-ref-unknown", `no saved role \`${role.ref}\` in the owner's library`, `${path}.role.ref`, node.id);
+      } else {
+        tools = saved.tools ?? [];
+        if (typeof role.roleHash === "string" && saved.roleHash && role.roleHash !== saved.roleHash) {
+          warn("role-ref-stale", `saved role \`${role.ref}\` changed since this version was frozen`, `${path}.role.ref`, node.id);
+        }
+      }
+    }
+    if (tools.length && opts.toolCatalog) {
+      const missing = tools.filter((t) => !opts.toolCatalog.has(t));
+      if (missing.length) {
+        err("ephemeral-tools-not-subset", `role tools not in the owner's catalog: ${missing.join(", ")}`, `${path}.role.tools`, node.id);
+      }
+    }
+  }, "checkSpecialistRole");
+  const checkRequiredConnections = /* @__PURE__ */ __name3((node, path) => {
+    const required = node.requiredConnections;
+    if (!Array.isArray(required)) return;
+    const undeclared = required.filter(undeclaredKey);
+    if (undeclared.length) {
+      err("connection-key-undeclared", connectionKeyUndeclaredMessage(`${path}.requiredConnections`, undeclared[0]) + (undeclared.length > 1 ? ` (also undeclared: ${JSON.stringify(undeclared.slice(1))})` : ""), `${path}.requiredConnections`, singleId(node));
+    }
+    if (!opts.connectionIds) return;
+    const unknown = required.filter((c) => typeof c !== "string" || !declaredKeys.has(c) && !opts.connectionIds.has(c));
+    if (unknown.length) {
+      err("required-connection-unknown", `requiredConnections ${JSON.stringify(unknown)} are neither declared connections[].key values nor connections the owner can mount`, `${path}.requiredConnections`, singleId(node));
+    }
+  }, "checkRequiredConnections");
+  const checkTier = /* @__PURE__ */ __name3((node, path) => {
+    const id = singleId(node);
+    if (node.workspace && node.workspace !== "inherit" && node.tier !== void 0 && node.tier !== "job") {
+      err("workspace-requires-job-tier", "a step mounting a workspace must be tier:'job'", `${path}.workspace`, id);
+    }
+    if (node.harness !== void 0 && node.tier !== "job") {
+      err("harness-requires-job-tier", "`harness` is only legal on a tier:'job' agent step", `${path}.harness`, id);
+    }
+    const provider = node.type === "agent" ? classifyModelProvider(node.model) : null;
+    if (node.harness === "claude-code" && provider !== null && provider !== "anthropic") {
+      err("harness-provider-mismatch", `harness:'claude-code' needs an Anthropic model (model "${node.type === "agent" ? node.model : ""}" is ${provider})`, `${path}.harness`, id);
+    }
+    if (isJobTier(node) && provider !== null && opts.policy?.jobProviders && !opts.policy.jobProviders.includes(provider)) {
+      err("job-tier-provider-unsupported", `model provider '${provider}' is outside LUA_WF_JOB_PROVIDERS [${opts.policy.jobProviders.join(", ")}]`, `${path}.model`, id);
+    }
+  }, "checkTier");
+  const checkWorkspace = /* @__PURE__ */ __name3((node, path) => {
+    const id = singleId(node);
+    const ws = workspaceOf(node);
+    if (isJobTier(node) && opts.policy && opts.policy.jobTier !== true) {
+      err("job-tier-disabled", `"${id}" runs on the Job tier but the org's workflowPolicy.jobTier is off \u2014 an org admin enables it (lua features workflows.caps.jobTier true)`, `${path}.tier`, id);
+    }
+    const tools = jobToolsOf(node);
+    if (tools !== void 0) {
+      if (!isJobTier(node)) {
+        err("job-tools-require-job-tier", "`jobTools` needs tier:'job'", `${path}.jobTools`, id);
+      }
+      const unknown = (Array.isArray(tools) ? tools : [
         tools
       ]).filter((t) => !WORKFLOW_JOB_TOOLS.includes(t));
       if (unknown.length > 0) {
@@ -2463,6 +3260,21 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
     const schema = node.type === "step" ? node.step.outputSchema : node.type === "agent" ? node.outputSchema : void 0;
     if (schema !== void 0) outputSchemas.set(singleId(node), schema);
   }, "recordOutputSchema");
+  const checkMapMembers = /* @__PURE__ */ __name3((cfg, basePath, id) => {
+    for (const m of malformedMapMembers(cfg)) {
+      warn(MAP_MEMBER_MALFORMED_CODE, mapMemberMalformedMessage(id, m), `${basePath}.${m.member}`, id);
+    }
+  }, "checkMapMembers");
+  const checkInputShape = /* @__PURE__ */ __name3((node, path) => {
+    if (node.type !== "tool" && node.type !== "workflow") return;
+    const input = node.input;
+    if (input === void 0) return;
+    if (input !== null && typeof input === "object" && !Array.isArray(input)) {
+      checkMapMembers(input, `${path}.input`, node.id);
+      return;
+    }
+    err("invalid-envelope", `\`input\` must be an object map \u2014 each member a binding descriptor ({initData:true, path} | {step, path} | {value} | {template} | {requestContextPath}) or a JSON literal (got ${JSON.stringify(input)})`, `${path}.input`, node.id);
+  }, "checkInputShape");
   const checkSingle = /* @__PURE__ */ __name3((node, path, depth) => {
     recordOutputSchema(node);
     if (node.type === "workflow" && node.workflowId === WORKFLOW_ARM_SUBRUN_ID) {
@@ -2476,8 +3288,13 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
         err("container-arm-empty", "a bare mapping arm has nothing to run", `${path}.graph.1`, node.id);
         return;
       }
+      const inner = body[1];
+      if (isHitlNode(inner)) {
+        err("node-type-unsupported-in-container", workflowHitlArmShapeMessage(inner.type, inner.id, "mapped-arm"), `${path}.graph.1`, inner.id);
+        return;
+      }
       upstream.add(singleId(body[1]));
-      checkArm(body[0], `${path}.graph.0`, depth);
+      checkArm(body[0], `${path}.graph.0`, depth, "parallel");
       checkSingle(body[1], `${path}.graph.1`, depth);
       upstream.add(body[0].id);
       upstream.add(singleId(body[1]));
@@ -2485,6 +3302,7 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
     }
     checkId(singleId(node), path);
     checkPolicyEnums(node, path);
+    checkInputShape(node, path);
     checkTimeout(node, path);
     checkTier(node, path);
     checkRetry(node, path);
@@ -2509,20 +3327,72 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
     if (node.type === "workflow" && node.kind === "subrun" && depth > caps.maxNestingDepth) {
       err("cap-exceeded", `nesting depth ${depth} exceeds ${caps.maxNestingDepth}`, path, node.id);
     }
+    if (node.type === "workflow" && node.workflowId !== WORKFLOW_ARM_SUBRUN_ID && typeof g.definition?.id === "string" && node.workflowId === g.definition.id) {
+      err("subrun-cycle", `"${node.id}" starts "${node.workflowId}", which is this workflow itself`, path, node.id);
+    }
     for (const ref of nodeStepRefs(node)) {
       if (!upstream.has(ref)) {
         err("template-reference-unresolved", `"${singleId(node)}" references stepResults.${ref}, which is not upstream`, path, singleId(node));
       }
     }
   }, "checkSingle");
-  const checkArm = /* @__PURE__ */ __name3((arm, path, depth) => {
+  const checkHitl = /* @__PURE__ */ __name3((node, path) => {
+    if (node.type === "waitForSignal") {
+      const w = node;
+      checkId(w.id, path);
+      if (typeof w.signal !== "string" || w.signal.length === 0) err("invalid-envelope", "waitForSignal.signal is required", `${path}.signal`, w.id);
+      return;
+    }
+    const a = node;
+    checkId(a.id, path);
+    if (a.approver === "creator" && a.excludeInitiator === true) {
+      err("approver-excludes-only-candidate", "approver:'creator' with excludeInitiator:true always excludes the only candidate", path, a.id);
+    }
+    if (a.fourEyes !== void 0 && a.editable !== true) {
+      err("four-eyes-requires-editable", "`fourEyes` requires editable:true", `${path}.fourEyes`, a.id);
+    }
+    if ((a.editablePaths !== void 0 || a.editedPayloadSchema !== void 0) && a.editable !== true) {
+      err("editable-path-invalid", "`editablePaths` / `editedPayloadSchema` require editable:true", `${path}.editablePaths`, a.id);
+    }
+    for (const p of a.editablePaths ?? []) {
+      if (!EDITABLE_PATH_RE.test(p)) err("editable-path-invalid", `editablePaths entry "${p}" is outside the seg(.seg)*[*]/[n] grammar`, `${path}.editablePaths`, a.id);
+    }
+    if (Array.isArray(a.onTimeout)) {
+      const chain = a.onTimeout;
+      const hops = chain.filter((h) => typeof h === "object" && h !== null && "escalateTo" in h);
+      if (hops.length > 3) err("escalation-chain-too-long", "an onTimeout chain carries at most 3 escalation hops", `${path}.onTimeout`, a.id);
+      const last = chain[chain.length - 1];
+      if (last === void 0 || typeof last === "object" && last !== null && "escalateTo" in last) {
+        err("escalation-chain-not-terminal", "an onTimeout chain must end in a terminal member", `${path}.onTimeout`, a.id);
+      }
+    }
+    if (typeof a.details === "string") {
+      for (const ref of templateStepRefs(a.details)) {
+        if (!upstream.has(ref)) err("template-reference-unresolved", `"${a.id}" references stepResults.${ref}, which is not upstream`, path, a.id);
+      }
+    }
+  }, "checkHitl");
+  const checkHitlArm = /* @__PURE__ */ __name3((node, path, container) => {
+    if (!workflowContainerRunsHitlArm(container)) {
+      checkId(node.id, path);
+      err("node-type-unsupported-in-container", workflowHitlArmUnsupportedMessage(node.type, node.id, container), path, node.id);
+      return;
+    }
+    checkHitl(node, path);
+  }, "checkHitlArm");
+  const checkArm = /* @__PURE__ */ __name3((arm, path, depth, container) => {
     if (arm.type === "mapping") {
       checkId(arm.id, path);
+      checkMapMembers(readMapConfig(arm.mapConfig), `${path}.mapConfig`, arm.id);
       for (const ref of nodeStepRefs(arm)) {
         if (!upstream.has(ref)) err("template-reference-unresolved", `"${arm.id}" references stepResults.${ref}, which is not upstream`, path, arm.id);
       }
       return;
     }
+    if (isHitlNode(arm)) {
+      checkHitlArm(arm, path, container);
+      return;
+    }
     checkSingle(arm, path, depth);
   }, "checkArm");
   graph.forEach((entry, i) => {
@@ -2538,6 +3408,7 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
         break;
       case "mapping":
         checkId(entry.id, path);
+        checkMapMembers(readMapConfig(entry.mapConfig), `${path}.mapConfig`, entry.id);
         for (const ref of nodeStepRefs(entry)) {
           if (!upstream.has(ref)) err("template-reference-unresolved", `"${entry.id}" references stepResults.${ref}, which is not upstream`, path, entry.id);
         }
@@ -2572,18 +3443,15 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
             err("mapping-placement", "a bare mapping cannot be a parallel arm \u2014 chain it as [map, step]", armPath);
             return;
           }
-          if (arm.type === "approval" || arm.type === "waitForSignal") {
-            err("approval-inside-container", "approval / waitForSignal are top-level only in v1", armPath);
-            return;
-          }
-          checkSingle(arm, armPath, 1);
+          checkArm(arm, armPath, 1, "parallel");
           declared.push(singleId(arm));
         });
-        const worktreeArms = p.steps.filter((a) => a.workspace?.isolation === "worktree");
+        const executableArms = p.steps.filter(isSingleStep);
+        const worktreeArms = executableArms.filter((a) => a.workspace?.isolation === "worktree");
         if (worktreeArms.length > 0 && !p.merge) err("worktree-arms-require-merge", "worktree arms need a `merge` policy", path);
         if (worktreeArms.length === 0 && p.merge) err("merge-requires-worktree-arms", "`merge` needs at least one worktree arm", path);
         if (worktreeArms.length > WORKFLOW_JOB_MAX_WORKTREE_ARMS) err("worktree-arms-exceed-cap", `at most ${WORKFLOW_JOB_MAX_WORKTREE_ARMS} worktree arms per parallel`, path);
-        const sharedArms = p.steps.filter((a) => {
+        const sharedArms = executableArms.filter((a) => {
           const w = workspaceOf(a);
           if (!w || w === "inherit" || w.isolation === "worktree") return false;
           return !(envelopeWorkspace?.backend === "efs" && w.mount === "ro");
@@ -2600,11 +3468,11 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
           if (!isWellFormedPredicate(p)) err("closure-predicate", "a conditional predicate must be a well-formed LuaPredicate object ({op, left/right | value | path | args | arg}), not a function or an expression string", `${path}.predicates.${j}`);
         });
         c.steps.forEach((arm, j) => {
-          checkArm(arm, `${path}.steps.${j}`, 1);
+          checkArm(arm, `${path}.steps.${j}`, 1, "conditional");
           declared.push(armId(arm));
         });
         if (c.otherwise) {
-          checkArm(c.otherwise, `${path}.otherwise`, 1);
+          checkArm(c.otherwise, `${path}.otherwise`, 1, "conditional");
           declared.push(armId(c.otherwise));
         }
         break;
@@ -2627,8 +3495,9 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
         }
         if (o.chunk !== void 0) {
           const max = o.maxItems ?? WORKFLOW_FOREACH_DEFAULT_MAX_ITEMS;
-          if (!Number.isInteger(o.chunk.size) || o.chunk.size < 1 || o.chunk.size > max) {
-            err("chunk-size-invalid", `foreach.chunk.size must be an integer in [1, ${max}]`, `${path}.opts.chunk.size`);
+          const size = typeof o.chunk === "number" ? o.chunk : o.chunk.size;
+          if (!Number.isInteger(size) || size < 1 || size > max) {
+            err("chunk-size-invalid", `foreach.chunk.size must be an integer in [1, ${max}]`, typeof o.chunk === "number" ? `${path}.opts.chunk` : `${path}.opts.chunk.size`);
           }
         }
         if (o.rateLimit !== void 0) {
@@ -2645,12 +3514,7 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
         const bodyType = f.step.type;
         const prevEntry = i > 0 ? graph[i - 1] : void 0;
         if (bodyType !== "mapping" && prevEntry?.type === "mapping" && prevEntry.id === `${singleId(f.step)}_items`) {
-          let cfg;
-          try {
-            cfg = JSON.parse(prevEntry.mapConfig);
-          } catch {
-            cfg = void 0;
-          }
+          const cfg = readMapConfig(prevEntry.mapConfig);
           const d = cfg?.[""];
           let arrayLike;
           if (d && "value" in d) arrayLike = Array.isArray(d.value);
@@ -2662,8 +3526,13 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
           if (arrayLike === false) err("foreach-items-not-array", `foreach({items}) for "${singleId(f.step)}" binds a value that is not an array`, `${path}.step`, singleId(f.step));
         }
         if (bodyType === "mapping") err("container-arm-empty", "a foreach body needs a step, not a bare mapping", `${path}.step`);
-        else if (bodyType === "approval" || bodyType === "waitForSignal") err("approval-inside-container", "approval / waitForSignal are top-level only in v1", `${path}.step`);
-        else {
+        else if (isHitlNode(f.step)) {
+          if (o.chunk !== void 0) {
+            checkId(f.step.id, `${path}.step`);
+            err("node-type-unsupported-in-container", workflowHitlArmShapeMessage(f.step.type, f.step.id, "chunked-foreach"), `${path}.step`, f.step.id);
+          } else checkHitlArm(f.step, `${path}.step`, "foreach");
+          declared.push(f.step.id);
+        } else {
           checkSingle(f.step, `${path}.step`, o.chunk ? 2 : 1);
           declared.push(singleId(f.step));
         }
@@ -2680,52 +3549,20 @@ function validateLuaExtensions(g, caps = WORKFLOW_CAPS_DEFAULT, opts = {
         if (!isWellFormedPredicate(l.predicate)) err("closure-predicate", "a loop predicate must be a well-formed LuaPredicate object ({op, left/right | value | path | args | arg}), not a function or an expression string", `${path}.predicate`);
         const bodyType = l.step.type;
         if (bodyType === "mapping") err("container-arm-empty", "a loop body needs a step, not a bare mapping", `${path}.step`);
-        else if (bodyType === "approval" || bodyType === "waitForSignal") err("approval-inside-container", "approval / waitForSignal are top-level only in v1", `${path}.step`);
-        else {
+        else if (isHitlNode(l.step)) {
+          checkHitlArm(l.step, `${path}.step`, "loop");
+          declared.push(l.step.id);
+        } else {
           checkSingle(l.step, `${path}.step`, 1);
           declared.push(singleId(l.step));
         }
         break;
       }
-      case "approval": {
-        const a = entry;
-        checkId(a.id, path);
-        if (a.approver === "creator" && a.excludeInitiator === true) {
-          err("approver-excludes-only-candidate", "approver:'creator' with excludeInitiator:true always excludes the only candidate", path, a.id);
-        }
-        if (a.fourEyes !== void 0 && a.editable !== true) {
-          err("four-eyes-requires-editable", "`fourEyes` requires editable:true", `${path}.fourEyes`, a.id);
-        }
-        if ((a.editablePaths !== void 0 || a.editedPayloadSchema !== void 0) && a.editable !== true) {
-          err("editable-path-invalid", "`editablePaths` / `editedPayloadSchema` require editable:true", `${path}.editablePaths`, a.id);
-        }
-        for (const p of a.editablePaths ?? []) {
-          if (!EDITABLE_PATH_RE.test(p)) err("editable-path-invalid", `editablePaths entry "${p}" is outside the seg(.seg)*[*]/[n] grammar`, `${path}.editablePaths`, a.id);
-        }
-        if (Array.isArray(a.onTimeout)) {
-          const chain = a.onTimeout;
-          const hops = chain.filter((h) => typeof h === "object" && h !== null && "escalateTo" in h);
-          if (hops.length > 3) err("escalation-chain-too-long", "an onTimeout chain carries at most 3 escalation hops", `${path}.onTimeout`, a.id);
-          const last = chain[chain.length - 1];
-          if (last === void 0 || typeof last === "object" && last !== null && "escalateTo" in last) {
-            err("escalation-chain-not-terminal", "an onTimeout chain must end in a terminal member", `${path}.onTimeout`, a.id);
-          }
-        }
-        if (typeof a.details === "string") {
-          for (const ref of templateStepRefs(a.details)) {
-            if (!upstream.has(ref)) err("template-reference-unresolved", `"${a.id}" references stepResults.${ref}, which is not upstream`, path, a.id);
-          }
-        }
-        declared.push(a.id);
-        break;
-      }
-      case "waitForSignal": {
-        const w = entry;
-        checkId(w.id, path);
-        if (typeof w.signal !== "string" || w.signal.length === 0) err("invalid-envelope", "waitForSignal.signal is required", `${path}.signal`, w.id);
-        declared.push(w.id);
+      case "approval":
+      case "waitForSignal":
+        checkHitl(entry, path);
+        declared.push(entry.id);
         break;
-      }
       default:
         err("invalid-envelope", `unknown entry type "${entry.type}"`, path);
     }
@@ -2846,14 +3683,9 @@ var WorkflowPlanError = class extends Error {
     this.name = "WorkflowPlanError";
   }
 };
-var SINGLE_STEP_KINDS = {
-  step: "code",
-  agent: "agent",
-  tool: "tool",
-  workflow: "subrun"
-};
-var isSingleStep = /* @__PURE__ */ __name3((e) => e.type === "step" || e.type === "agent" || e.type === "tool" || e.type === "workflow", "isSingleStep");
-var singleStepId = /* @__PURE__ */ __name3((e) => e.type === "step" ? e.step.id : e.id, "singleStepId");
+var isArmStep = /* @__PURE__ */ __name3((e) => isWorkflowArmEntryType(e.type), "isArmStep");
+var armStepId = /* @__PURE__ */ __name3((e) => e.type === "step" ? e.step.id : e.id, "armStepId");
+var armStepKind = /* @__PURE__ */ __name3((e) => WORKFLOW_ARM_ENTRY_STEP_KINDS[e.type], "armStepKind");
 var joinIdOf = /* @__PURE__ */ __name3((entryId) => `${entryId}.join`, "joinIdOf");
 var containerIdOf = /* @__PURE__ */ __name3((type, entryIndex) => `${type}@${entryIndex}`, "containerIdOf");
 function compilePlan(g) {
@@ -2869,10 +3701,10 @@ function compilePlan(g) {
   let prevTails = [];
   const foreachJoinToEntry = /* @__PURE__ */ new Map();
   g.definition.graph.forEach((entry, entryIndex) => {
-    if (isSingleStep(entry)) {
-      const id = singleStepId(entry);
+    if (isArmStep(entry)) {
+      const id = armStepId(entry);
       addNode(id, {
-        kind: SINGLE_STEP_KINDS[entry.type],
+        kind: armStepKind(entry),
         dependsOn: prevTails,
         downstream: [],
         unsatisfiedDeps: prevTails.length,
@@ -2897,9 +3729,8 @@ function compilePlan(g) {
         ];
         return;
       case "sleep":
-      case "sleepUntil":
-      case "approval": {
-        const kind = entry.type === "approval" ? "approval" : entry.type;
+      case "sleepUntil": {
+        const kind = entry.type;
         addNode(entry.id, {
           kind,
           dependsOn: prevTails,
@@ -2912,24 +3743,12 @@ function compilePlan(g) {
         ];
         return;
       }
-      case "waitForSignal":
-        addNode(entry.id, {
-          kind: "signal",
-          dependsOn: prevTails,
-          downstream: [],
-          unsatisfiedDeps: prevTails.length,
-          entry
-        });
-        prevTails = [
-          entry.id
-        ];
-        return;
       case "parallel": {
         const entryId = containerIdOf("parallel", entryIndex);
         const childIds = entry.steps.map((arm) => {
-          const childId = singleStepId(arm);
+          const childId = armStepId(arm);
           addNode(childId, {
-            kind: SINGLE_STEP_KINDS[arm.type],
+            kind: armStepKind(arm),
             dependsOn: prevTails,
             downstream: [],
             unsatisfiedDeps: prevTails.length,
@@ -2967,9 +3786,9 @@ function compilePlan(g) {
           node.otherwise
         ] : node.steps;
         const childIds = arms.map((arm) => {
-          const childId = arm.type === "mapping" ? arm.id : singleStepId(arm);
+          const childId = arm.type === "mapping" ? arm.id : armStepId(arm);
           addNode(childId, {
-            kind: arm.type === "mapping" ? "map" : SINGLE_STEP_KINDS[arm.type],
+            kind: arm.type === "mapping" ? "map" : armStepKind(arm),
             dependsOn: [
               entryId
             ],
@@ -3062,496 +3881,274 @@ function resolvePath(rawPath, ctx) {
       root = ctx.inputData;
       break;
     case "state":
-      root = ctx.state;
-      break;
-    case "stepResults": {
-      if (!rest) return MISSING;
-      const innerDot = rest.indexOf(".");
-      const stepId = innerDot === -1 ? rest : rest.slice(0, innerDot);
-      const subPath = innerDot === -1 ? "" : rest.slice(innerDot + 1);
-      let stepResult;
-      if (ctx.stepResults && stepId in ctx.stepResults) stepResult = ctx.stepResults[stepId];
-      else if (ctx.getStepResult) {
-        try {
-          stepResult = ctx.getStepResult(stepId);
-        } catch {
-          return MISSING;
-        }
-      } else return MISSING;
-      if (stepResult === void 0 || stepResult === null) return MISSING;
-      return walk(stepResult, subPath);
-    }
-    default:
-      return MISSING;
-  }
-  return walk(root, rest);
-}
-__name(resolvePath, "resolvePath");
-__name3(resolvePath, "resolvePath");
-function walk(root, path) {
-  if (path === "") return root;
-  const parts = path.split(".");
-  let value22 = root;
-  for (const part of parts) {
-    if (value22 === null || value22 === void 0) return MISSING;
-    if (typeof value22 !== "object") return MISSING;
-    const record = value22;
-    if (!(part in record)) return MISSING;
-    value22 = record[part];
-  }
-  return value22;
-}
-__name(walk, "walk");
-__name3(walk, "walk");
-function resolveValue(ref, ctx) {
-  if ("literal" in ref) return ref.literal;
-  return resolvePath(ref.path, ctx);
-}
-__name(resolveValue, "resolveValue");
-__name3(resolveValue, "resolveValue");
-function evaluatePredicate(pred, ctx) {
-  switch (pred.op) {
-    case "and":
-      return pred.args.every((arg) => evaluatePredicate(arg, ctx));
-    case "or":
-      return pred.args.some((arg) => evaluatePredicate(arg, ctx));
-    case "not":
-      return !evaluatePredicate(pred.arg, ctx);
-    case "exists":
-      return resolvePath(pred.path, ctx) !== MISSING;
-    case "notExists":
-      return resolvePath(pred.path, ctx) === MISSING;
-    case "truthy":
-    case "falsy": {
-      const v = resolveValue(pred.value, ctx);
-      const truthy22 = v !== MISSING && Boolean(v);
-      return pred.op === "truthy" ? truthy22 : !truthy22;
-    }
-    case "in":
-    case "notIn": {
-      const v = resolveValue(pred.value, ctx);
-      if (v === MISSING) return pred.op === "notIn";
-      const member = pred.set.some((candidate) => candidate === v);
-      return pred.op === "in" ? member : !member;
-    }
-    case "eq":
-    case "ne":
-    case "lt":
-    case "lte":
-    case "gt":
-    case "gte": {
-      const left = resolveValue(pred.left, ctx);
-      const right = resolveValue(pred.right, ctx);
-      if (left === MISSING || right === MISSING) return false;
-      return compare(pred.op, left, right);
-    }
-  }
-}
-__name(evaluatePredicate, "evaluatePredicate");
-__name3(evaluatePredicate, "evaluatePredicate");
-function compare(op, left, right) {
-  if (op === "eq") return left === right;
-  if (op === "ne") return left !== right;
-  if (typeof left === "number" && typeof right === "number" || typeof left === "string" && typeof right === "string") {
-    switch (op) {
-      case "lt":
-        return left < right;
-      case "lte":
-        return left <= right;
-      case "gt":
-        return left > right;
-      case "gte":
-        return left >= right;
-    }
-  }
-  return false;
-}
-__name(compare, "compare");
-__name3(compare, "compare");
-function derivePredicateLabel(pred, maxLength = 80) {
-  const raw = renderPredicate(pred);
-  if (raw.length <= maxLength) return raw;
-  return raw.slice(0, maxLength - 1) + "\u2026";
-}
-__name(derivePredicateLabel, "derivePredicateLabel");
-__name3(derivePredicateLabel, "derivePredicateLabel");
-function renderPredicate(pred) {
-  switch (pred.op) {
-    case "and":
-    case "or":
-      return pred.args.map((arg) => wrapLabel(arg, renderPredicate(arg))).join(pred.op === "and" ? " AND " : " OR ");
-    case "not":
-      return `NOT ${wrapLabel(pred.arg, renderPredicate(pred.arg))}`;
-    case "exists":
-      return `${pred.path} exists`;
-    case "notExists":
-      return `${pred.path} missing`;
-    case "truthy":
-      return `${renderRef(pred.value)} is truthy`;
-    case "falsy":
-      return `${renderRef(pred.value)} is falsy`;
-    case "in":
-      return `${renderRef(pred.value)} in ${JSON.stringify(pred.set)}`;
-    case "notIn":
-      return `${renderRef(pred.value)} not in ${JSON.stringify(pred.set)}`;
-    case "eq":
-      return `${renderRef(pred.left)} == ${renderRef(pred.right)}`;
-    case "ne":
-      return `${renderRef(pred.left)} != ${renderRef(pred.right)}`;
-    case "lt":
-      return `${renderRef(pred.left)} < ${renderRef(pred.right)}`;
-    case "lte":
-      return `${renderRef(pred.left)} <= ${renderRef(pred.right)}`;
-    case "gt":
-      return `${renderRef(pred.left)} > ${renderRef(pred.right)}`;
-    case "gte":
-      return `${renderRef(pred.left)} >= ${renderRef(pred.right)}`;
-  }
-}
-__name(renderPredicate, "renderPredicate");
-__name3(renderPredicate, "renderPredicate");
-function wrapLabel(child, rendered) {
-  return child.op === "and" || child.op === "or" || child.op === "not" ? `(${rendered})` : rendered;
-}
-__name(wrapLabel, "wrapLabel");
-__name3(wrapLabel, "wrapLabel");
-function renderRef(ref) {
-  if ("literal" in ref) return JSON.stringify(ref.literal);
-  return ref.path;
-}
-__name(renderRef, "renderRef");
-__name3(renderRef, "renderRef");
-var stepIdOf = /* @__PURE__ */ __name3((s) => typeof s === "string" ? s : s.id, "stepIdOf");
-function step(s) {
-  const id = stepIdOf(s);
-  return {
-    path: /* @__PURE__ */ __name3((p) => ({
-      path: p === "" ? `stepResults.${id}` : `stepResults.${id}.${p}`
-    }), "path")
-  };
-}
-__name(step, "step");
-__name3(step, "step");
-function stepOf(id) {
-  return step(id);
-}
-__name(stepOf, "stepOf");
-__name3(stepOf, "stepOf");
-function init(path) {
-  return {
-    path: path === "" ? "initData" : `initData.${path}`
-  };
-}
-__name(init, "init");
-__name3(init, "init");
-function state(path) {
-  return {
-    path: path === "" ? "state" : `state.${path}`
-  };
-}
-__name(state, "state");
-__name3(state, "state");
-function lit(v) {
-  return {
-    literal: v
-  };
-}
-__name(lit, "lit");
-__name3(lit, "lit");
-function toPathOrLiteral(v) {
-  if (typeof v === "object" && v !== null) {
-    if ("path" in v) return {
-      path: v.path
-    };
-    if ("literal" in v) return {
-      literal: v.literal
-    };
-  }
-  return {
-    literal: v
-  };
-}
-__name(toPathOrLiteral, "toPathOrLiteral");
-__name3(toPathOrLiteral, "toPathOrLiteral");
-var cmp = /* @__PURE__ */ __name3((op) => (l, r) => ({
-  op,
-  left: toPathOrLiteral(l),
-  right: toPathOrLiteral(r)
-}), "cmp");
-var eq = cmp("eq");
-var ne = cmp("ne");
-var gt = cmp("gt");
-var gte = cmp("gte");
-var lt = cmp("lt");
-var lte = cmp("lte");
-var inSet = /* @__PURE__ */ __name3((v, set) => ({
-  op: "in",
-  value: {
-    path: v.path
-  },
-  set
-}), "inSet");
-var notIn = /* @__PURE__ */ __name3((v, set) => ({
-  op: "notIn",
-  value: {
-    path: v.path
-  },
-  set
-}), "notIn");
-var exists = /* @__PURE__ */ __name3((ref) => ({
-  op: "exists",
-  path: ref.path
-}), "exists");
-var notExists = /* @__PURE__ */ __name3((ref) => ({
-  op: "notExists",
-  path: ref.path
-}), "notExists");
-var truthy = /* @__PURE__ */ __name3((ref) => ({
-  op: "truthy",
-  value: {
-    path: ref.path
-  }
-}), "truthy");
-var falsy = /* @__PURE__ */ __name3((ref) => ({
-  op: "falsy",
-  value: {
-    path: ref.path
-  }
-}), "falsy");
-var and = /* @__PURE__ */ __name3((...args) => ({
-  op: "and",
-  args
-}), "and");
-var or = /* @__PURE__ */ __name3((...args) => ({
-  op: "or",
-  args
-}), "or");
-var not = /* @__PURE__ */ __name3((arg) => ({
-  op: "not",
-  arg
-}), "not");
-var WorkflowTemplateError = class extends Error {
-  static {
-    __name(this, "WorkflowTemplateError");
-  }
-  static {
-    __name3(this, "WorkflowTemplateError");
-  }
-  placeholder;
-  constructor(message, placeholder) {
-    super(message), this.placeholder = placeholder;
-    this.name = "WorkflowTemplateError";
-  }
-};
-function parseMapConfig(raw, stepId) {
-  try {
-    return JSON.parse(raw);
-  } catch (e) {
-    throw new Error(`Stored mapping step "${stepId}" has invalid JSON mapConfig: ${e.message}`);
+      root = ctx.state;
+      break;
+    case "stepResults": {
+      if (!rest) return MISSING;
+      const innerDot = rest.indexOf(".");
+      const stepId = innerDot === -1 ? rest : rest.slice(0, innerDot);
+      const subPath = innerDot === -1 ? "" : rest.slice(innerDot + 1);
+      let stepResult;
+      if (ctx.stepResults && stepId in ctx.stepResults) stepResult = ctx.stepResults[stepId];
+      else if (ctx.getStepResult) {
+        try {
+          stepResult = ctx.getStepResult(stepId);
+        } catch {
+          return MISSING;
+        }
+      } else return MISSING;
+      if (stepResult === void 0 || stepResult === null) return MISSING;
+      return walk(stepResult, subPath);
+    }
+    default:
+      return MISSING;
   }
+  return walk(root, rest);
 }
-__name(parseMapConfig, "parseMapConfig");
-__name3(parseMapConfig, "parseMapConfig");
-var TEMPLATE_PLACEHOLDER = /\$\{([^}]*)\}/g;
-var TEMPLATE_NAMESPACES = [
-  "initData",
-  "state",
-  "requestContext",
-  "stepResults"
-];
-function describeBadPlaceholder(template22, idx, rawExpr) {
-  return `Template placeholder #${idx} (\${${rawExpr}}) in '${template22}'`;
-}
-__name(describeBadPlaceholder, "describeBadPlaceholder");
-__name3(describeBadPlaceholder, "describeBadPlaceholder");
-function parseTemplatePlaceholder(rawExpr) {
-  const dot = rawExpr.indexOf(".");
-  return {
-    scope: dot === -1 ? rawExpr : rawExpr.slice(0, dot),
-    rest: dot === -1 ? "" : rawExpr.slice(dot + 1)
-  };
-}
-__name(parseTemplatePlaceholder, "parseTemplatePlaceholder");
-__name3(parseTemplatePlaceholder, "parseTemplatePlaceholder");
-function traverseMappingPath(root, path, errorLabel) {
-  if (path === "" || path === ".") return root;
+__name(resolvePath, "resolvePath");
+__name3(resolvePath, "resolvePath");
+function walk(root, path) {
+  if (path === "") return root;
   const parts = path.split(".");
   let value22 = root;
   for (const part of parts) {
-    if (typeof value22 === "object" && value22 !== null) value22 = value22[part];
-    else throw new WorkflowTemplateError(`Invalid path ${path} in ${errorLabel}`, path);
+    if (value22 === null || value22 === void 0) return MISSING;
+    if (typeof value22 !== "object") return MISSING;
+    const record = value22;
+    if (!(part in record)) return MISSING;
+    value22 = record[part];
   }
   return value22;
 }
-__name(traverseMappingPath, "traverseMappingPath");
-__name3(traverseMappingPath, "traverseMappingPath");
-function stringifyTemplateValue(v, template22, idx, rawExpr) {
-  if (v === null || v === void 0) return "";
-  if (typeof v === "object") {
-    try {
-      return JSON.stringify(v);
-    } catch (err) {
-      throw new WorkflowTemplateError(`${describeBadPlaceholder(template22, idx, rawExpr)} resolved to a value that could not be JSON-stringified (${err.message}).`, rawExpr);
-    }
-  }
-  return String(v);
-}
-__name(stringifyTemplateValue, "stringifyTemplateValue");
-__name3(stringifyTemplateValue, "stringifyTemplateValue");
-function escapeFence(content) {
-  return content.replace(/<\/lua-data/g, "<\\/lua-data");
-}
-__name(escapeFence, "escapeFence");
-__name3(escapeFence, "escapeFence");
-function fenceBlock(name, source, content) {
-  return `<lua-data name="${name}" source="${source}" untrusted="true">${escapeFence(content)}</lua-data>`;
-}
-__name(fenceBlock, "fenceBlock");
-__name3(fenceBlock, "fenceBlock");
-function renderTemplate(template22, ctx, opts) {
-  let idx = 0;
-  return template22.replace(TEMPLATE_PLACEHOLDER, (_match, rawExpr) => {
-    idx += 1;
-    const { scope, rest } = parseTemplatePlaceholder(rawExpr);
-    const label = describeBadPlaceholder(template22, idx, rawExpr);
-    let rendered;
-    let source;
-    switch (scope) {
-      case "initData":
-        rendered = stringifyTemplateValue(traverseMappingPath(ctx.initData, rest, label), template22, idx, rawExpr);
-        source = "initData";
-        break;
-      case "state":
-        rendered = stringifyTemplateValue(traverseMappingPath(ctx.state, rest, label), template22, idx, rawExpr);
-        source = "state";
-        break;
-      case "requestContext":
-        rendered = stringifyTemplateValue(traverseMappingPath(ctx.requestContext, rest, label), template22, idx, rawExpr);
-        source = "requestContext";
-        break;
-      case "stepResults": {
-        const innerDot = rest.indexOf(".");
-        const stepId = innerDot === -1 ? rest : rest.slice(0, innerDot);
-        const subPath = innerDot === -1 ? "" : rest.slice(innerDot + 1);
-        if (!stepId) throw new WorkflowTemplateError(`${label} must name a step: \${stepResults.<stepId>.<path>}.`, rawExpr);
-        if (!(stepId in ctx.stepResults) || ctx.stepResults[stepId] == null) {
-          throw new WorkflowTemplateError(`${label} references stepResults.${stepId} but step "${stepId}" has no resolvable output (not an ancestor, not run, failed, or produced no output).`, rawExpr);
-        }
-        rendered = stringifyTemplateValue(traverseMappingPath(ctx.stepResults[stepId], subPath, label), template22, idx, rawExpr);
-        source = `step:${stepId}`;
-        break;
-      }
-      default:
-        throw new WorkflowTemplateError(`${label} references unknown namespace "${scope}". Use one of: ${TEMPLATE_NAMESPACES.join(", ")}.`, rawExpr);
-    }
-    return opts.fenced ? fenceBlock(rawExpr, source, rendered) : rendered;
-  });
+__name(walk, "walk");
+__name3(walk, "walk");
+function resolveValue(ref, ctx) {
+  if ("literal" in ref) return ref.literal;
+  return resolvePath(ref.path, ctx);
 }
-__name(renderTemplate, "renderTemplate");
-__name3(renderTemplate, "renderTemplate");
-function resolveDescriptor(key, m, ctx) {
-  try {
-    if ("value" in m) return {
-      value: m.value
-    };
-    if ("template" in m && typeof m.template === "string") {
-      return {
-        value: renderTemplate(m.template, ctx, {
-          fenced: false
-        })
-      };
+__name(resolveValue, "resolveValue");
+__name3(resolveValue, "resolveValue");
+function evaluatePredicate(pred, ctx) {
+  switch (pred.op) {
+    case "and":
+      return pred.args.every((arg) => evaluatePredicate(arg, ctx));
+    case "or":
+      return pred.args.some((arg) => evaluatePredicate(arg, ctx));
+    case "not":
+      return !evaluatePredicate(pred.arg, ctx);
+    case "exists":
+      return resolvePath(pred.path, ctx) !== MISSING;
+    case "notExists":
+      return resolvePath(pred.path, ctx) === MISSING;
+    case "truthy":
+    case "falsy": {
+      const v = resolveValue(pred.value, ctx);
+      const truthy22 = v !== MISSING && Boolean(v);
+      return pred.op === "truthy" ? truthy22 : !truthy22;
     }
-    if ("knowledge" in m || "rows" in m && m.rows !== void 0) {
-      return {
-        error: "binding_unresolved",
-        key
-      };
+    case "in":
+    case "notIn": {
+      const v = resolveValue(pred.value, ctx);
+      if (v === MISSING) return pred.op === "notIn";
+      const member = pred.set.some((candidate) => candidate === v);
+      return pred.op === "in" ? member : !member;
     }
-    if ("requestContextPath" in m) {
-      const label = `requestContext path for key "${key}"`;
-      return {
-        value: traverseMappingPath(ctx.requestContext, m.requestContextPath, label)
-      };
+    case "eq":
+    case "ne":
+    case "lt":
+    case "lte":
+    case "gt":
+    case "gte": {
+      const left = resolveValue(pred.left, ctx);
+      const right = resolveValue(pred.right, ctx);
+      if (left === MISSING || right === MISSING) return false;
+      return compare(pred.op, left, right);
     }
-    if ("path" in m) {
-      const source = "initData" in m && m.initData ? "initData" : "step";
-      if (source === "initData") {
-        return {
-          value: traverseMappingPath(ctx.initData, m.path, `initData for key "${key}"`)
-        };
-      }
-      const stepRef = m.step;
-      const candidates = Array.isArray(stepRef) ? stepRef : [
-        stepRef
-      ];
-      const stepId = candidates.find((s) => ctx.stepResults[s] !== void 0 && ctx.stepResults[s] !== null);
-      if (stepId === void 0) return {
-        error: "binding_unresolved",
-        key
-      };
-      return {
-        value: traverseMappingPath(ctx.stepResults[stepId], m.path, `step ${candidates.join("|")} for key "${key}"`)
-      };
+  }
+}
+__name(evaluatePredicate, "evaluatePredicate");
+__name3(evaluatePredicate, "evaluatePredicate");
+function compare(op, left, right) {
+  if (op === "eq") return left === right;
+  if (op === "ne") return left !== right;
+  if (typeof left === "number" && typeof right === "number" || typeof left === "string" && typeof right === "string") {
+    switch (op) {
+      case "lt":
+        return left < right;
+      case "lte":
+        return left <= right;
+      case "gt":
+        return left > right;
+      case "gte":
+        return left >= right;
     }
-    return {
-      error: "binding_unresolved",
-      key
-    };
-  } catch (err) {
-    if (err instanceof WorkflowTemplateError) return {
-      error: "binding_unresolved",
-      key
-    };
-    throw err;
+  }
+  return false;
+}
+__name(compare, "compare");
+__name3(compare, "compare");
+function derivePredicateLabel(pred, maxLength = 80) {
+  const raw = renderPredicate(pred);
+  if (raw.length <= maxLength) return raw;
+  return raw.slice(0, maxLength - 1) + "\u2026";
+}
+__name(derivePredicateLabel, "derivePredicateLabel");
+__name3(derivePredicateLabel, "derivePredicateLabel");
+function renderPredicate(pred) {
+  switch (pred.op) {
+    case "and":
+    case "or":
+      return pred.args.map((arg) => wrapLabel(arg, renderPredicate(arg))).join(pred.op === "and" ? " AND " : " OR ");
+    case "not":
+      return `NOT ${wrapLabel(pred.arg, renderPredicate(pred.arg))}`;
+    case "exists":
+      return `${pred.path} exists`;
+    case "notExists":
+      return `${pred.path} missing`;
+    case "truthy":
+      return `${renderRef(pred.value)} is truthy`;
+    case "falsy":
+      return `${renderRef(pred.value)} is falsy`;
+    case "in":
+      return `${renderRef(pred.value)} in ${JSON.stringify(pred.set)}`;
+    case "notIn":
+      return `${renderRef(pred.value)} not in ${JSON.stringify(pred.set)}`;
+    case "eq":
+      return `${renderRef(pred.left)} == ${renderRef(pred.right)}`;
+    case "ne":
+      return `${renderRef(pred.left)} != ${renderRef(pred.right)}`;
+    case "lt":
+      return `${renderRef(pred.left)} < ${renderRef(pred.right)}`;
+    case "lte":
+      return `${renderRef(pred.left)} <= ${renderRef(pred.right)}`;
+    case "gt":
+      return `${renderRef(pred.left)} > ${renderRef(pred.right)}`;
+    case "gte":
+      return `${renderRef(pred.left)} >= ${renderRef(pred.right)}`;
   }
 }
-__name(resolveDescriptor, "resolveDescriptor");
-__name3(resolveDescriptor, "resolveDescriptor");
-function resolveMapping(cfg, ctx) {
-  const keys = Object.keys(cfg);
-  if (keys.length === 1 && keys[0] === "") {
-    return resolveDescriptor("", cfg[""], ctx);
-  }
-  const result = {};
-  for (const key of keys) {
-    const resolved = resolveDescriptor(key, cfg[key], ctx);
-    if ("error" in resolved) return resolved;
-    result[key] = resolved.value;
-  }
+__name(renderPredicate, "renderPredicate");
+__name3(renderPredicate, "renderPredicate");
+function wrapLabel(child, rendered) {
+  return child.op === "and" || child.op === "or" || child.op === "not" ? `(${rendered})` : rendered;
+}
+__name(wrapLabel, "wrapLabel");
+__name3(wrapLabel, "wrapLabel");
+function renderRef(ref) {
+  if ("literal" in ref) return JSON.stringify(ref.literal);
+  return ref.path;
+}
+__name(renderRef, "renderRef");
+__name3(renderRef, "renderRef");
+var stepIdOf = /* @__PURE__ */ __name3((s) => typeof s === "string" ? s : s.id, "stepIdOf");
+function step(s) {
+  const id = stepIdOf(s);
   return {
-    value: result
+    path: /* @__PURE__ */ __name3((p) => ({
+      path: p === "" ? `stepResults.${id}` : `stepResults.${id}.${p}`
+    }), "path")
   };
 }
-__name(resolveMapping, "resolveMapping");
-__name3(resolveMapping, "resolveMapping");
-var fromInit = /* @__PURE__ */ __name3((path) => ({
-  initData: true,
-  path
-}), "fromInit");
-var fromStep = /* @__PURE__ */ __name3((s, path = "") => {
-  const idOf = /* @__PURE__ */ __name3((x) => typeof x === "string" ? x : x.id, "idOf");
+__name(step, "step");
+__name3(step, "step");
+function stepOf(id) {
+  return step(id);
+}
+__name(stepOf, "stepOf");
+__name3(stepOf, "stepOf");
+function init(path) {
   return {
-    step: Array.isArray(s) ? s.map(idOf) : idOf(s),
-    path
+    path: path === "" ? "initData" : `initData.${path}`
   };
-}, "fromStep");
-var value = /* @__PURE__ */ __name3((v) => ({
-  value: v
-}), "value");
-var template = /* @__PURE__ */ __name3((s) => ({
-  template: s
-}), "template");
-var fromRequest = /* @__PURE__ */ __name3((path) => ({
-  requestContextPath: path
-}), "fromRequest");
-var rows = /* @__PURE__ */ __name3((s, path, page) => ({
-  step: typeof s === "string" ? s : s.id,
-  path,
-  rows: page
-}), "rows");
-var fromKnowledge = /* @__PURE__ */ __name3((k) => ({
-  knowledge: k
-}), "fromKnowledge");
+}
+__name(init, "init");
+__name3(init, "init");
+function state(path) {
+  return {
+    path: path === "" ? "state" : `state.${path}`
+  };
+}
+__name(state, "state");
+__name3(state, "state");
+function lit(v) {
+  return {
+    literal: v
+  };
+}
+__name(lit, "lit");
+__name3(lit, "lit");
+function toPathOrLiteral(v) {
+  if (typeof v === "object" && v !== null) {
+    if ("path" in v) return {
+      path: v.path
+    };
+    if ("literal" in v) return {
+      literal: v.literal
+    };
+  }
+  return {
+    literal: v
+  };
+}
+__name(toPathOrLiteral, "toPathOrLiteral");
+__name3(toPathOrLiteral, "toPathOrLiteral");
+var cmp = /* @__PURE__ */ __name3((op) => (l, r) => ({
+  op,
+  left: toPathOrLiteral(l),
+  right: toPathOrLiteral(r)
+}), "cmp");
+var eq = cmp("eq");
+var ne = cmp("ne");
+var gt = cmp("gt");
+var gte = cmp("gte");
+var lt = cmp("lt");
+var lte = cmp("lte");
+var inSet = /* @__PURE__ */ __name3((v, set) => ({
+  op: "in",
+  value: {
+    path: v.path
+  },
+  set
+}), "inSet");
+var notIn = /* @__PURE__ */ __name3((v, set) => ({
+  op: "notIn",
+  value: {
+    path: v.path
+  },
+  set
+}), "notIn");
+var exists = /* @__PURE__ */ __name3((ref) => ({
+  op: "exists",
+  path: ref.path
+}), "exists");
+var notExists = /* @__PURE__ */ __name3((ref) => ({
+  op: "notExists",
+  path: ref.path
+}), "notExists");
+var truthy = /* @__PURE__ */ __name3((ref) => ({
+  op: "truthy",
+  value: {
+    path: ref.path
+  }
+}), "truthy");
+var falsy = /* @__PURE__ */ __name3((ref) => ({
+  op: "falsy",
+  value: {
+    path: ref.path
+  }
+}), "falsy");
+var and = /* @__PURE__ */ __name3((...args) => ({
+  op: "and",
+  args
+}), "and");
+var or = /* @__PURE__ */ __name3((...args) => ({
+  op: "or",
+  args
+}), "or");
+var not = /* @__PURE__ */ __name3((arg) => ({
+  op: "not",
+  arg
+}), "not");
 var CONTINUED_FAILURE_TAG = "continued_failure";
 var CONTINUED_FAILURE_DEFAULT_CODE = "step_failed";
 var CONTINUED_FAILURE_OUTPUT_SCHEMA = Object.freeze({
@@ -3622,6 +4219,7 @@ function isContinuedFailureValue(v) {
 }
 __name(isContinuedFailureValue, "isContinuedFailureValue");
 __name3(isContinuedFailureValue, "isContinuedFailureValue");
+var isHitlNode2 = /* @__PURE__ */ __name3((n2) => isWorkflowHitlEntryType(n2.type), "isHitlNode");
 function lowerContainerArm(mapping, step22) {
   const stepId = nodeIdOf(step22);
   return {
@@ -3707,7 +4305,28 @@ function resolvePlacements(calls) {
         break;
     }
   });
-  const resolve = /* @__PURE__ */ __name3((ref, i, allowMapping) => {
+  const hitlPlacementIssue = /* @__PURE__ */ __name3((node, ref, i, container) => {
+    if (!isHitlNode2(node)) return void 0;
+    const id = node.id;
+    if (ref.armMap) {
+      return {
+        code: "node-type-unsupported-in-container",
+        message: workflowHitlArmShapeMessage(node.type, id, "mapped-arm"),
+        callIndex: i,
+        stepId: id
+      };
+    }
+    if (container !== "place" && !workflowContainerRunsHitlArm(container)) {
+      return {
+        code: "node-type-unsupported-in-container",
+        message: workflowHitlArmUnsupportedMessage(node.type, id, container),
+        callIndex: i,
+        stepId: id
+      };
+    }
+    return void 0;
+  }, "hitlPlacementIssue");
+  const resolve = /* @__PURE__ */ __name3((ref, i, allowMapping, container) => {
     if ("node" in ref) {
       if (ref.node.type === "mapping" && !allowMapping) {
         issues.push({
@@ -3724,7 +4343,7 @@ function resolvePlacements(calls) {
     if (!d) {
       issues.push({
         code: "unknown-step-ref",
-        message: `"${ref.ref}" is not declared anywhere in the chain \u2014 declare it with agentStep/specialistStep/toolStep/map(\u2026, { id })/workflow(\u2026)`,
+        message: `"${ref.ref}" is not declared anywhere in the chain \u2014 declare it with agentStep/specialistStep/toolStep/map(\u2026, { id })/workflow(\u2026)/approval(\u2026)/waitForSignal(\u2026)`,
         callIndex: i,
         stepId: ref.ref
       });
@@ -3739,6 +4358,11 @@ function resolvePlacements(calls) {
       });
       return void 0;
     }
+    const hitl = hitlPlacementIssue(d.node, ref, i, container);
+    if (hitl) {
+      issues.push(hitl);
+      return void 0;
+    }
     const prior = placedBy.get(ref.ref);
     if (prior !== void 0 && prior !== i) {
       issues.push({
@@ -3752,23 +4376,31 @@ function resolvePlacements(calls) {
     placedBy.set(ref.ref, i);
     return d.node;
   }, "resolve");
+  const claim = /* @__PURE__ */ __name3((ref, i, allowMapping, container) => {
+    if ("ref" in ref) {
+      resolve(ref, i, allowMapping, container);
+      return;
+    }
+    const hitl = hitlPlacementIssue(ref.node, ref, i, container);
+    if (hitl) issues.push(hitl);
+  }, "claim");
   calls.forEach((call, i) => {
     switch (call.kind) {
       case "place":
-        resolve({
+        claim({
           ref: call.ref
-        }, i, false);
+        }, i, false, "place");
         break;
       case "parallel":
-        for (const arm of call.arms) if ("ref" in arm) resolve(arm, i, false);
+        for (const arm of call.arms) claim(arm, i, false, "parallel");
         break;
       case "conditional":
-        for (const a of call.arms) if ("ref" in a.target) resolve(a.target, i, true);
-        if (call.otherwise && "ref" in call.otherwise) resolve(call.otherwise, i, true);
+        for (const a of call.arms) claim(a.target, i, true, "conditional");
+        if (call.otherwise) claim(call.otherwise, i, true, "conditional");
         break;
       case "foreach":
       case "loop":
-        if ("ref" in call.body) resolve(call.body, i, false);
+        claim(call.body, i, false, call.kind);
         break;
       default:
         break;
@@ -3777,7 +4409,7 @@ function resolvePlacements(calls) {
   const graph = [];
   const lookup = /* @__PURE__ */ __name3((ref) => {
     const n2 = "node" in ref ? ref.node : declared.get(ref.ref)?.node;
-    if (!n2 || !ref.armMap || n2.type === "mapping") return n2;
+    if (!n2 || !ref.armMap || n2.type === "mapping" || isHitlNode2(n2)) return n2;
     return lowerContainerArm(ref.armMap, n2);
   }, "lookup");
   calls.forEach((call, i) => {
@@ -3859,6 +4491,75 @@ function resolvePlacements(calls) {
 }
 __name(resolvePlacements, "resolvePlacements");
 __name3(resolvePlacements, "resolvePlacements");
+var GOAL_JUDGE_STEP_ID = "__goal_judge";
+var NON_LEAF_KINDS = /* @__PURE__ */ new Set([
+  "foreach",
+  "branch"
+]);
+var CONDITIONAL_JOIN_ID = /^conditional@\d+\.join$/;
+function isConditionalJoinId(stepId) {
+  return CONDITIONAL_JOIN_ID.test(stepId);
+}
+__name(isConditionalJoinId, "isConditionalJoinId");
+__name3(isConditionalJoinId, "isConditionalJoinId");
+function isPlainObject(v) {
+  return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+__name(isPlainObject, "isPlainObject");
+__name3(isPlainObject, "isPlainObject");
+function leafValue(row) {
+  if (row.status === "completed") return row.output === void 0 ? null : row.output;
+  return continuedFailureValue(row.error, row.killReason);
+}
+__name(leafValue, "leafValue");
+__name3(leafValue, "leafValue");
+function runOutputLeaves(steps) {
+  const dependedOn = /* @__PURE__ */ new Set();
+  for (const s of steps) {
+    if (s.stepId === GOAL_JUDGE_STEP_ID) continue;
+    for (const d of s.dependsOn ?? []) dependedOn.add(d);
+  }
+  return steps.filter((s) => s.stepId !== GOAL_JUDGE_STEP_ID && !NON_LEAF_KINDS.has(s.kind ?? "") && s.foreachIndex === void 0 && s.loopParentId === void 0 && s.status !== "skipped" && !dependedOn.has(s.stepId));
+}
+__name(runOutputLeaves, "runOutputLeaves");
+__name3(runOutputLeaves, "runOutputLeaves");
+function deriveRunOutput(steps) {
+  const leaves = runOutputLeaves(steps);
+  if (leaves.length === 0) return void 0;
+  if (leaves.length === 1) {
+    const leaf = leaves[0];
+    const value22 = leafValue(leaf);
+    if (isConditionalJoinId(leaf.stepId) && isPlainObject(value22)) {
+      const keys = Object.keys(value22);
+      if (keys.length === 1) return {
+        output: value22[keys[0]],
+        leafIds: [
+          keys[0]
+        ]
+      };
+    }
+    return {
+      output: value22,
+      leafIds: [
+        leaf.stepId
+      ]
+    };
+  }
+  const output = {};
+  for (const leaf of leaves) output[leaf.stepId] = leafValue(leaf);
+  return {
+    output,
+    leafIds: leaves.map((l) => l.stepId)
+  };
+}
+__name(deriveRunOutput, "deriveRunOutput");
+__name3(deriveRunOutput, "deriveRunOutput");
+function subrunSettledOutput(child) {
+  if (child.output !== void 0) return child.output;
+  return deriveRunOutput(child.steps ?? [])?.output ?? null;
+}
+__name(subrunSettledOutput, "subrunSettledOutput");
+__name3(subrunSettledOutput, "subrunSettledOutput");
 function seedLedgerFromRun(run, steps, targetPlan, opts = {}) {
   const byId = /* @__PURE__ */ new Map();
   for (const s of steps) {
@@ -4027,6 +4728,15 @@ function replayLedger(g, ledger) {
         local,
         diverged: recordedCount !== local
       });
+    } else if (node.kind === "subrun" && recorded.status === "completed" && recorded.child) {
+      const local = subrunSettledOutput(recorded.child);
+      verdicts.push({
+        stepId: id,
+        kind: "subrun",
+        recorded: recorded.output,
+        local,
+        diverged: canonical(recorded.output) !== canonical(local)
+      });
     }
   }
   return {
@@ -4198,10 +4908,57 @@ function runCounts(counts) {
 }
 __name(runCounts, "runCounts");
 __name3(runCounts, "runCounts");
-function runUsage(run) {
+function isPricedStepReceipt(receipt) {
+  return typeof receipt?.multiplier === "number" && Number.isFinite(receipt.multiplier);
+}
+__name(isPricedStepReceipt, "isPricedStepReceipt");
+__name3(isPricedStepReceipt, "isPricedStepReceipt");
+function receiptEngine(engine) {
+  if (engine === "actions") return "seat";
+  if (engine === "credits") return "legacy";
+  return void 0;
+}
+__name(receiptEngine, "receiptEngine");
+__name3(receiptEngine, "receiptEngine");
+function receiptTier(tier) {
+  return tier === "light" || tier === "standard" || tier === "heavy" ? tier : void 0;
+}
+__name(receiptTier, "receiptTier");
+__name3(receiptTier, "receiptTier");
+function stepBillingView(receipt) {
+  const engine = receiptEngine(receipt?.engine);
+  if (!receipt || engine === void 0) return void 0;
+  return pruneUndefined({
+    engine,
+    attempt: typeof receipt.attempt === "number" ? receipt.attempt : void 0,
+    credits: typeof receipt.credits === "number" ? receipt.credits : void 0,
+    actions: typeof receipt.actionsEstimate === "number" ? receipt.actionsEstimate : void 0,
+    model: typeof receipt.model === "string" ? receipt.model : void 0,
+    tier: receiptTier(receipt.tier),
+    multiplier: typeof receipt.multiplier === "number" ? receipt.multiplier : void 0,
+    byok: typeof receipt.byok === "boolean" ? receipt.byok : void 0,
+    calibrated: typeof receipt.calibrated === "boolean" ? receipt.calibrated : void 0
+  });
+}
+__name(stepBillingView, "stepBillingView");
+__name3(stepBillingView, "stepBillingView");
+function runUsage(run, receipts) {
+  const actions = n(run.budget?.spent?.actionsEstimate);
+  const stamped = run.budget?.engine;
+  const priced = (receipts ?? []).filter(isPricedStepReceipt);
+  const engine = stamped === "seat" || stamped === "legacy" ? stamped : actions > 0 || priced.some((r) => r.engine === "actions") ? "seat" : priced.some((r) => r.engine === "credits") ? "legacy" : void 0;
+  const seat = engine === "seat";
+  const metering = engine ? "priced" : "flat";
   return {
     creditsUsed: run.budget?.spent?.credits ?? 0,
     actionsEstimate: run.budget?.spent?.actionsEstimate ?? 0,
+    ...seat ? {
+      actionsUsed: actions
+    } : {},
+    metering,
+    ...engine ? {
+      engine
+    } : {},
     steps: run.budget?.spent?.steps ?? 0,
     inputTokens: run.usage?.inputTokens ?? 0,
     outputTokens: run.usage?.outputTokens ?? 0
@@ -4209,12 +4966,42 @@ function runUsage(run) {
 }
 __name(runUsage, "runUsage");
 __name3(runUsage, "runUsage");
+function runBudgetCap(budget) {
+  const cap = budget?.maxCredits;
+  return typeof cap === "number" && Number.isFinite(cap) && cap > 0 ? cap : void 0;
+}
+__name(runBudgetCap, "runBudgetCap");
+__name3(runBudgetCap, "runBudgetCap");
+function runBudgetRemaining(budget) {
+  const cap = runBudgetCap(budget);
+  if (cap === void 0) return void 0;
+  const spent = budget?.spent;
+  return Math.max(0, cap - n(spent?.credits) - n(spent?.actionsEstimate) - n(budget?.reserved));
+}
+__name(runBudgetRemaining, "runBudgetRemaining");
+__name3(runBudgetRemaining, "runBudgetRemaining");
 function runCancelView(cancel) {
   if (!cancel) return void 0;
   return {
     requestedAt: cancel.requestedAt,
     requestedBy: cancel.requestedBy ?? "",
-    forceAvailableAt: cancel.forceAfter ?? cancel.requestedAt + FORCE_CANCEL_STALE_MS
+    forceAvailableAt: cancel.forceAfter ?? cancel.requestedAt + FORCE_CANCEL_STALE_MS,
+    // LUA-686: the wall's own request (LUA-683 stamps `wall:true` from a system actor only) rides the wire, so a
+    // client can tell a wall-ended `timed_out` run's audit block from a cancel it should chip. Absent, never false.
+    ...cancel.wall === true ? {
+      wall: true
+    } : {},
+    // LUA-704: a forced terminal's audit — who forced it, when, and a human's own reason text (the run's `reason`
+    // is the terminal's). Absent on an unforced terminal, never null.
+    ...typeof cancel.forcedAt === "number" ? {
+      forcedAt: cancel.forcedAt
+    } : {},
+    ...typeof cancel.forcedBy === "string" && cancel.forcedBy ? {
+      forcedBy: cancel.forcedBy
+    } : {},
+    ...typeof cancel.forceReason === "string" && cancel.forceReason ? {
+      forceReason: cancel.forceReason
+    } : {}
   };
 }
 __name(runCancelView, "runCancelView");
@@ -4237,7 +5024,6 @@ __name3(runWorkspaceView, "runWorkspaceView");
 function toWorkflowRunSummary(run) {
   const status = run.status;
   const principal = run.principal?.principal;
-  const gated = status === "gated" || status === "suspended";
   return pruneUndefined({
     runId: run.id,
     workflowId: run.workflowId,
@@ -4249,7 +5035,14 @@ function toWorkflowRunSummary(run) {
     orgId: run.orgId,
     spaceAgentId: run.spaceAgentId,
     status,
-    gate: gated ? run.gate : void 0,
+    // LUA-702 (pass-3B D6): the gate rides the wire whenever a NON-terminal doc carries one. In the LUA-681 window
+    // (an approval resolved beside an open exception park) the run is `running` AND still holds `gate{exception}`
+    // until the tick tail parks it back; projecting it only on gated|suspended hid that park from R4 / the CLI /
+    // the desktop (prod 2026-09-05: `status: running, gate: null`). A terminal doc carries no gate by contract
+    // (`terminalizeRun` drops `gate` / `suspendedFor` in every terminal write), but a row terminalized before that
+    // held — pre-LUA-677/694 docs, a script-tier backstop that passed no `unset` — may still carry a stale one:
+    // hidden here, so a `failed` run never reads "Needs a decision" on R3/R4 or the CLI (#2476 review).
+    gate: run.gate && !isTerminalRunStatus(status) ? run.gate : void 0,
     batchId: run.batchId,
     goalId: run.goalId,
     foreachOverflow: run.foreachOverflow,
@@ -4272,9 +5065,11 @@ function toWorkflowRunSummary(run) {
     principalKind: run.principalKind ?? "user",
     cancel: runCancelView(run.cancel),
     usage: runUsage(run),
+    // LUA-697: a row persisted before the write seams (#2406 / #2465 / the script tier) leaves scrubbed here too —
+    // idempotent on a scrubbed message, bounded input; an empty message falls back to the code.
     error: run.error ? {
       code: run.error.code ?? "error",
-      message: run.error.message ?? "",
+      message: scrubStepErrorMessage(run.error.message) ?? run.error.code ?? "error",
       stepId: run.error.stepId
     } : void 0,
     kind: "run",
@@ -4295,6 +5090,86 @@ function toWorkflowRunSummary(run) {
 }
 __name(toWorkflowRunSummary, "toWorkflowRunSummary");
 __name3(toWorkflowRunSummary, "toWorkflowRunSummary");
+var STEP_ERROR_DETAIL_KEYS = [
+  "reason",
+  "key",
+  "integrationType",
+  "candidates",
+  "connectionId",
+  "status",
+  "code",
+  "providerStatus",
+  "model",
+  "turnIndex",
+  "message",
+  // LUA-655: `output_schema_invalid` — the Ajv issues ({path, message}, ≤ 20, scrubbed at the source too) and the
+  // in-session repair rounds the attempt spent.
+  "issues",
+  "repairRounds",
+  // LUA-669 (#2446 review 4): the subrun failures — `subrun_<status>` names the child run and how it ended
+  // (`childStatus`, `childReason: 'max_duration'` under `subrun_timed_out`), `subrun_depth_exceeded` its `depth` /
+  // `max`, and every refusal the target `workflowId`. Short scalars only: the child's whole `childError` and the
+  // cycle walk's `ancestors` stay off the wire — the child run's own R4 carries its error.
+  "childRunId",
+  "childStatus",
+  "childReason",
+  "max",
+  "depth",
+  "workflowId",
+  // LUA-696 (review 2): the `ctx.once` key of an `effect_in_doubt` park — the step site stamps it here (scrubbed)
+  // beside `park.effectKey`; a key is user text and leaves scrubbed like every other string leaf.
+  "effectKey"
+];
+var STEP_ERROR_DETAIL_MAX_BYTES = 8 * 1024;
+var DETAIL_MAX_DEPTH = 4;
+var DETAIL_MAX_ITEMS = 100;
+function scrubDetailValue(value22, depth) {
+  if (typeof value22 === "string") return scrubSecretText(value22);
+  if (typeof value22 === "number" || typeof value22 === "boolean" || value22 === null) return value22;
+  if (depth >= DETAIL_MAX_DEPTH) return void 0;
+  if (Array.isArray(value22)) {
+    return value22.slice(0, DETAIL_MAX_ITEMS).map((v) => scrubDetailValue(v, depth + 1)).filter((v) => v !== void 0);
+  }
+  if (typeof value22 === "object") {
+    const out = {};
+    for (const [k, v] of Object.entries(value22)) {
+      const s = scrubDetailValue(v, depth + 1);
+      if (s !== void 0) out[k] = s;
+    }
+    return out;
+  }
+  return void 0;
+}
+__name(scrubDetailValue, "scrubDetailValue");
+__name3(scrubDetailValue, "scrubDetailValue");
+function stepErrorDetail(error) {
+  if (!error || typeof error !== "object") return void 0;
+  const d = error.detail;
+  if (!d || typeof d !== "object" || Array.isArray(d)) return void 0;
+  const bag = d;
+  const out = {};
+  for (const k of STEP_ERROR_DETAIL_KEYS) {
+    if (!(k in bag)) continue;
+    const v = scrubDetailValue(bag[k], 1);
+    if (v !== void 0) out[k] = v;
+  }
+  if (!Object.keys(out).length) return void 0;
+  let bytes;
+  try {
+    bytes = new TextEncoder().encode(JSON.stringify(out)).length;
+  } catch {
+    return void 0;
+  }
+  if (bytes <= STEP_ERROR_DETAIL_MAX_BYTES) return out;
+  const scalars = Object.fromEntries(Object.entries(out).filter(([, v]) => v === null || typeof v !== "object"));
+  return {
+    ...scalars,
+    __truncated: true,
+    bytes
+  };
+}
+__name(stepErrorDetail, "stepErrorDetail");
+__name3(stepErrorDetail, "stepErrorDetail");
 var MAX_HOLIDAYS = 366;
 var MAX_WALK_DAYS = 400;
 var HHMM = /^([01]\d|2[0-3]):([0-5]\d)$/;
@@ -4903,6 +5778,34 @@ var ApprovalOnTimeoutSchema = z22.union([
     EscalationHopSchema
   ])).min(1).max(ESCALATION_MAX_HOPS + 1)
 ]);
+var APPROVER_SPEC_SHAPES = [
+  "'creator'",
+  "'org-admins'",
+  "{users:[userId, \u2026]}",
+  "{role:roleName}",
+  "{group:groupName}",
+  "{governance:{policyId}}"
+];
+var APPROVER_WRITTEN_MAX = 120;
+var USER_ID_SHAPED_RE = /^[^\s@]{1,128}$/;
+function describeApproverSpecRefusal(spec) {
+  const raw = spec === void 0 ? "undefined" : JSON.stringify(spec) ?? String(spec);
+  const written = raw.length > APPROVER_WRITTEN_MAX ? `${raw.slice(0, APPROVER_WRITTEN_MAX - 1)}\u2026` : raw;
+  const users = typeof spec === "object" && spec !== null ? spec.users : void 0;
+  const approver = typeof users === "string" && USER_ID_SHAPED_RE.test(users) ? {
+    users: [
+      users
+    ]
+  } : "creator";
+  const message = `approver ${written} is not an approver \u2014 legal: ${APPROVER_SPEC_SHAPES.join(" | ")}. 'creator' is the person who started the run: write approver:'creator' for "ask me" / "I approve"; {users:[\u2026]} takes user ids, never emails, names or {type:'user'}` + (approver === "creator" ? "" : `; here: approver:${JSON.stringify(approver)}`);
+  return {
+    approver,
+    written,
+    message
+  };
+}
+__name(describeApproverSpecRefusal, "describeApproverSpecRefusal");
+__name3(describeApproverSpecRefusal, "describeApproverSpecRefusal");
 var BINDING_ROOTS = [
   "initData",
   "stepResults",
@@ -4937,7 +5840,19 @@ function validateApproverBlock(node, opts = {
     if (!r.success) {
       const users = spec?.users;
       if (Array.isArray(users) && users.length > APPROVER_SPEC_MAX_USERS) push("cap-exceeded", path, `at most ${APPROVER_SPEC_MAX_USERS} users`);
-      else push("approver-invalid", path, r.error.issues[0]?.message ?? "invalid approver");
+      else {
+        const refusal = describeApproverSpecRefusal(spec);
+        issues.push({
+          code: "approver-invalid",
+          path,
+          severity: "error",
+          message: refusal.message,
+          repair: {
+            approver: refusal.approver,
+            written: refusal.written
+          }
+        });
+      }
       return;
     }
     const s = r.data;
@@ -5449,7 +6364,8 @@ var assertPredicate = /* @__PURE__ */ __name((p, where) => {
 }, "assertPredicate");
 var assertRetry = /* @__PURE__ */ __name((r, id) => {
   if (!r) return;
-  if (r.backoff !== void 0 && r.backoff !== "fixed" && r.backoff !== "exponential") throw new LuaWorkflowBuildError("backoff-invalid", `"${id}": retry.backoff must be 'fixed' | 'exponential'`);
+  if (typeof r.maxAttempts === "number" && r.maxAttempts > WORKFLOW_RETRY_MAX_ATTEMPTS) throw new LuaWorkflowBuildError("cap-exceeded", `"${id}": ${workflowRetryMaxAttemptsMessage(r.maxAttempts)}`);
+  if (r.backoff !== void 0 && !WORKFLOW_RETRY_BACKOFFS.includes(r.backoff)) throw new LuaWorkflowBuildError("backoff-invalid", `"${id}": retry.backoff must be ${WORKFLOW_RETRY_BACKOFFS.map((b) => `'${b}'`).join(" | ")}`);
   if (r.maxBackoffSeconds !== void 0) {
     if (r.backoff !== "exponential") throw new LuaWorkflowBuildError("backoff-invalid", `"${id}": retry.maxBackoffSeconds is only meaningful with backoff:'exponential'`);
     if (r.maxBackoffSeconds <= 0 || r.backoffSeconds !== void 0 && r.maxBackoffSeconds < r.backoffSeconds) throw new LuaWorkflowBuildError("backoff-invalid", `"${id}": retry.maxBackoffSeconds must be > 0 and \u2265 backoffSeconds`);
@@ -5637,8 +6553,14 @@ function materializeEntry(entry, steps) {
   }
 }
 __name(materializeEntry, "materializeEntry");
+var isHitlEntry = /* @__PURE__ */ __name((n2) => isWorkflowHitlEntryType(n2?.type), "isHitlEntry");
 function graphHasHitl(graph, steps) {
-  if (graph.some((e) => e.type === "approval" || e.type === "waitForSignal")) return true;
+  for (const e of graph) {
+    if (isHitlEntry(e)) return true;
+    if (e.type === "parallel" && e.steps.some(isHitlEntry)) return true;
+    if (e.type === "conditional" && (e.steps.some(isHitlEntry) || isHitlEntry(e.otherwise))) return true;
+    if ((e.type === "foreach" || e.type === "loop") && isHitlEntry(e.step)) return true;
+  }
   return Object.values(steps).some((s) => s.suspendSchema !== void 0);
 }
 __name(graphHasHitl, "graphHasHitl");
@@ -5693,7 +6615,6 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
       const [mapping, target] = arm;
       if (target === void 0 || arm.length < 2) throw new LuaWorkflowBuildError("container-arm-empty", `${where}: a bare mapping arm has nothing to run`);
       if (!mapping || typeof mapping !== "object" || Array.isArray(mapping)) throw new LuaWorkflowBuildError("mapping-placement", `${where}: the arm head must be a map config object`);
-      if (mapping.type === "approval" || target.type === "approval") throw new LuaWorkflowBuildError("approval-inside-container", `${where}: approval / waitForSignal are top-level only in v1`);
       assertNoClosure(mapping, `${where} arm map`);
       this.recordEnvRefs(mapping);
       const inner = this.armRef(target, where);
@@ -5711,8 +6632,9 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
     if (typeof arm === "string") return {
       ref: arm
     };
-    if (arm && typeof arm === "object" && arm.type === "approval") {
-      throw new LuaWorkflowBuildError("approval-inside-container", `${where}: approval / waitForSignal are top-level only in v1`);
+    if (arm && typeof arm === "object" && isHitlEntry(arm)) {
+      const id = arm.id;
+      throw new LuaWorkflowBuildError("invalid-step", `${where}: an approval / waitForSignal arm is placed by id \u2014 declare it with .approval(${JSON.stringify(id ?? "id")}, \u2026) / .waitForSignal(\u2026) and pass the id string`);
     }
     return {
       node: this.registerStep(arm, where)
@@ -5913,17 +6835,13 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
     if (opts.workspace && opts.tier !== void 0 && opts.tier !== "job") throw new LuaWorkflowBuildError("workspace-requires-job-tier", `"${id}": a step mounting a workspace must be tier:'job'`);
     if (opts.harness !== void 0 && tier !== "job") throw new LuaWorkflowBuildError("harness-requires-job-tier", `"${id}": harness is only legal on a tier:'job' agent step`);
     if (opts.toolScope?.jobTools && tier !== "job") throw new LuaWorkflowBuildError("cap-exceeded", `"${id}": toolScope.jobTools require tier:'job' (job-tools-require-job-tier)`);
-    if (opts.maxTurns !== void 0) {
-      if (tier !== "job") throw new LuaWorkflowBuildError("max-turns-requires-job-tier", `"${id}": maxTurns is only legal on a tier:'job' agent step`);
-      if (!Number.isInteger(opts.maxTurns) || opts.maxTurns < 1 || opts.maxTurns > 500) throw new LuaWorkflowBuildError("max-turns-invalid", `"${id}": maxTurns must be an integer 1..500`);
-    }
-    if (opts.maxMessages !== void 0) {
-      if (tier !== "job") throw new LuaWorkflowBuildError("max-turns-requires-job-tier", `"${id}": maxMessages is only legal on a tier:'job' agent step`);
-      if (!Number.isInteger(opts.maxMessages) || opts.maxMessages < 1 || opts.maxMessages > 5e3) throw new LuaWorkflowBuildError("max-turns-invalid", `"${id}": maxMessages must be an integer 1..5000`);
-    }
-    if (opts.maxInputTokens !== void 0) {
-      if (tier !== "job") throw new LuaWorkflowBuildError("max-turns-requires-job-tier", `"${id}": maxInputTokens is only legal on a tier:'job' agent step`);
-      if (!Number.isInteger(opts.maxInputTokens) || opts.maxInputTokens < 1e6 || opts.maxInputTokens > 5e8) throw new LuaWorkflowBuildError("max-turns-invalid", `"${id}": maxInputTokens must be an integer 1000000..500000000`);
+    for (const m of WORKFLOW_JOB_RANGE_MEMBERS) {
+      if (opts[m] === void 0) continue;
+      if (tier !== "job") throw new LuaWorkflowBuildError("max-turns-requires-job-tier", `"${id}": ${m} is only legal on a tier:'job' agent step`);
+      if (!isWithinWorkflowJobRange(m, opts[m])) {
+        const { min, max } = WORKFLOW_JOB_RANGES[m];
+        throw new LuaWorkflowBuildError("max-turns-invalid", `"${id}": ${m} must be an integer ${min}..${max}`);
+      }
     }
     assertTimeout({
       id,
@@ -6075,8 +6993,8 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
       itemTimeout: opts.itemTimeout
     });
     return this.push({
-      kind: "entry",
-      entry: node
+      kind: "declare",
+      node
     });
   }
   waitForSignal(id, opts) {
@@ -6094,12 +7012,13 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
       acceptedSources: opts.acceptedSources
     });
     return this.push({
-      kind: "entry",
-      entry: node
+      kind: "declare",
+      node
     });
   }
   workflow(id, ref, input, opts) {
     this.assertId(id, "workflow()");
+    assertRetry(opts?.retry, id);
     const name = typeof ref === "string" ? ref : ref instanceof LuaWorkflow ? ref.getName() : void 0;
     if (!name) throw new LuaWorkflowBuildError("invalid-envelope", `workflow("${id}") needs a LuaWorkflow or a workflow name`);
     if (opts?.workspace === "inherit") {
@@ -6121,7 +7040,8 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
       id,
       workflowId: name,
       input,
-      workspace: opts?.workspace
+      workspace: opts?.workspace,
+      retry: opts?.retry
     });
     return this.push({
       kind: "declare",
@@ -6135,7 +7055,7 @@ var WorkflowBuilderImpl = class WorkflowBuilderImpl2 {
     const { graph, issues } = resolvePlacements(this.calls);
     const fatal = issues[0];
     if (fatal) {
-      const hint = fatal.code === "unknown-step-ref" ? "a string StepRef must name an entry declared by agentStep/specialistStep/toolStep/map(\u2026, { id })/workflow(\u2026) somewhere in the chain \u2014 before OR after the reference" : void 0;
+      const hint = fatal.code === "unknown-step-ref" ? "a string StepRef must name an entry declared by agentStep/specialistStep/toolStep/map(\u2026, { id })/workflow(\u2026)/approval(\u2026)/waitForSignal(\u2026) somewhere in the chain \u2014 before OR after the reference" : void 0;
       throw new LuaWorkflowBuildError(fatal.code, fatal.message, hint);
     }
     if (graph.length === 0) throw new LuaWorkflowBuildError("empty-graph", `workflow "${this.config.name}" has no entries`);