@openrig/cli 0.5.8 → 0.5.10

package/daemon/dist/domain/workflow-projector.d.ts

@@ -7,6 +7,30 @@ import type { WorkflowStepTrailLog } from "./workflow-step-trail-log.js";
 import type { WorkflowExitKind, WorkflowInstance, WorkflowSpec, WorkflowStepSpec } from "./workflow-types.js";
 import { type RoleResolutionContext } from "./workflow-role-context.js";
 import type { WatchdogJobsRepository } from "./watchdog-jobs-repository.js";
+/** One occurrence-bound action, shared by packet bodies and authored wait wakes. */
+export declare function renderWorkflowProjectCommand(input: {
+    instanceId: string;
+    packetId: string;
+    ownerSession: string;
+    step?: Pick<WorkflowStepSpec, "acceptance">;
+}): string;
+/** Refreshes guidance when a packet is recreated (route/resume) instead of
+ * carrying a stale packet id or owner forward in copied body text. */
+export declare function withWorkflowContinuation(input: {
+    body: string;
+    contextRefs?: string[];
+    instanceId: string;
+    packetId: string;
+    ownerSession: string;
+    step?: Pick<WorkflowStepSpec, "acceptance">;
+}): string;
+export declare function workflowWaitWakeMessage(input: {
+    spec: WorkflowSpec;
+    instance: WorkflowInstance;
+    step: WorkflowStepSpec;
+    packetId: string;
+    ownerSession: string;
+}): string;
 /**
  * OPR.0.4.6.WF2 FR-2: canonical-session → node runtime column lookup
  * (the harness-pin reconciliation source). Latest session row wins
@@ -52,6 +76,9 @@ export interface ProjectStepResult {
     nextOwnerSession: string | null;
     /** null on terminal closures. */
     nextStepId: string | null;
+    /** All packets/steps projected by a dependency-graph advance. */
+    nextQitemIds?: string[];
+    nextStepIds?: string[];
     /** Composite fired events (step_closed + optional next_qitem_projected + optional completed). */
     emittedEventTypes: string[];
     /**
@@ -70,7 +97,7 @@ export declare class WorkflowProjector {
     private readonly trailLog;
     private readonly specCache;
     private readonly now;
-    /** OPR.0.4.6.WF1 FR-3: optional — arms/disarms the per-instance keepalive in-txn. */
+    /** OPR.0.4.6.WF1 FR-3: optional — arms/disarms packet or legacy-instance keepalives in-txn. */
     private readonly watchdogJobsRepo?;
     /** OPR.0.4.6.WF5 FR-2: the maturity-dial inputs, injected at startup
      *  (the validateRig precedent — the projector never reads config
@@ -79,7 +106,7 @@ export declare class WorkflowProjector {
      *  first chain with the human@host never-lost fallback). */
     private readonly exceptionDial?;
     constructor(db: Database.Database, eventBus: EventBus, queueRepo: QueueRepository, instanceStore: WorkflowInstanceStore, trailLog: WorkflowStepTrailLog, specCache: WorkflowSpecCache, now?: () => Date, 
-    /** OPR.0.4.6.WF1 FR-3: optional — arms/disarms the per-instance keepalive in-txn. */
+    /** OPR.0.4.6.WF1 FR-3: optional — arms/disarms packet or legacy-instance keepalives in-txn. */
     watchdogJobsRepo?: WatchdogJobsRepository | undefined, 
     /** OPR.0.4.6.WF5 FR-2: the maturity-dial inputs, injected at startup
      *  (the validateRig precedent — the projector never reads config
@@ -97,6 +124,7 @@ export declare class WorkflowProjector {
      * call site.
      */
     project(input: ProjectStepInput): Promise<ProjectStepResult>;
+    private projectDependencyGraph;
 }
 /**
  * Resolve the next step. OPR.0.4.6.WF2 FR-1: when a `recordedExit` is

package/daemon/dist/domain/workflow-projector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-projector.d.ts","sourceRoot":"","sources":["../../src/domain/workflow-projector.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EACjB,MAAM,qBAAqB,CAAC;AAI7B,OAAO,EAGL,KAAK,qBAAqB,EAC3B,MAAM,4BAA4B,CAAC;AAIpC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAM5E;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAUnF;AAED,qBAAa,sBAAuB,SAAQ,KAAK;aAE7B,IAAI,EAAE,MAAM;aAEZ,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAFjC,IAAI,EAAE,MAAM,EAC5B,OAAO,EAAE,MAAM,EACC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAA;CAKpD;AAED,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB,4CAA4C;IAC5C,IAAI,EAAE,gBAAgB,CAAC;IACvB,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,wDAAwD;IACxD,YAAY,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,gBAAgB,CAAC;IAChC,0EAA0E;IAC1E,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,iCAAiC;IACjC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,iGAAiG;IACjG,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B;;;;;OAKG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,qBAAa,iBAAiB;IAE1B,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,qFAAqF;IACrF,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IAClC;;;;gEAI4D;IAC5D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;gBAdd,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,eAAe,EAC1B,aAAa,EAAE,qBAAqB,EACpC,QAAQ,EAAE,oBAAoB,EAC9B,SAAS,EAAE,iBAAiB,EAC5B,GAAG,GAAE,MAAM,IAAuB;IACnD,qFAAqF;IACpE,gBAAgB,CAAC,EAAE,sBAAsB,YAAA;IAC1D;;;;gEAI4D;IAC3C,aAAa,CAAC,EAAE;QAC/B,WAAW,EAAE,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,CAAC;QACxD,iBAAiB,EAAE,MAAM,CAAC;KAC3B,YAAA;IAGH,OAAO,CAAC,aAAa;IAIrB;;;;OAIG;IACG,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;CAsrBnE;AA8FD;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,YAAY,EAClB,WAAW,EAAE,gBAAgB,EAC7B,YAAY,CAAC,EAAE,gBAAgB,GAC9B,gBAAgB,GAAG,IAAI,CAgBzB;AAwDD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,gBAAgB,EACtB,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI;AAC9C;;;4DAG4D;AAC5D,OAAO,CAAC,EAAE,qBAAqB,GAC9B,MAAM,GAAG,IAAI,CAuCf;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,gBAAgB,EACtB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GAC5C,IAAI,CAUN;AAiFD;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB;IAChC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,8EAA8E;IAC9E,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,EAAE,OAAO,GAAG,cAAc,CAAC;IAC/B;;;;;yEAKqE;IACrE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,wBAAgB,WAAW,CACzB,IAAI,EAAE,YAAY,EAClB,SAAS,EAAE,gBAAgB,EAC3B,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI;AAC7C;;;gEAGgE;AAChE,OAAO,CAAC,EAAE,qBAAqB,GAC9B,iBAAiB,CA+GnB"}
+{"version":3,"file":"workflow-projector.d.ts","sourceRoot":"","sources":["../../src/domain/workflow-projector.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EACjB,MAAM,qBAAqB,CAAC;AAI7B,OAAO,EAGL,KAAK,qBAAqB,EAC3B,MAAM,4BAA4B,CAAC;AAIpC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAU5E,oFAAoF;AACpF,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;CAC7C,GAAG,MAAM,CAQT;AAED;sEACsE;AACtE,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;CAC7C,GAAG,MAAM,CAYT;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;CACtB,GAAG,MAAM,CAQT;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAUnF;AAED,qBAAa,sBAAuB,SAAQ,KAAK;aAE7B,IAAI,EAAE,MAAM;aAEZ,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAFjC,IAAI,EAAE,MAAM,EAC5B,OAAO,EAAE,MAAM,EACC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAA;CAKpD;AAED,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB,4CAA4C;IAC5C,IAAI,EAAE,gBAAgB,CAAC;IACvB,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,wDAAwD;IACxD,YAAY,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,gBAAgB,CAAC;IAChC,0EAA0E;IAC1E,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,iCAAiC;IACjC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,iEAAiE;IACjE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,iGAAiG;IACjG,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B;;;;;OAKG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,qBAAa,iBAAiB;IAE1B,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,+FAA+F;IAC/F,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IAClC;;;;gEAI4D;IAC5D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;gBAdd,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,eAAe,EAC1B,aAAa,EAAE,qBAAqB,EACpC,QAAQ,EAAE,oBAAoB,EAC9B,SAAS,EAAE,iBAAiB,EAC5B,GAAG,GAAE,MAAM,IAAuB;IACnD,+FAA+F;IAC9E,gBAAgB,CAAC,EAAE,sBAAsB,YAAA;IAC1D;;;;gEAI4D;IAC3C,aAAa,CAAC,EAAE;QAC/B,WAAW,EAAE,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,CAAC;QACxD,iBAAiB,EAAE,MAAM,CAAC;KAC3B,YAAA;IAGH,OAAO,CAAC,aAAa;IAIrB;;;;OAIG;IACG,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;YAmuBpD,sBAAsB;CAwRrC;AA8FD;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,YAAY,EAClB,WAAW,EAAE,gBAAgB,EAC7B,YAAY,CAAC,EAAE,gBAAgB,GAC9B,gBAAgB,GAAG,IAAI,CAgBzB;AAwDD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,gBAAgB,EACtB,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI;AAC9C;;;4DAG4D;AAC5D,OAAO,CAAC,EAAE,qBAAqB,GAC9B,MAAM,GAAG,IAAI,CAuCf;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,gBAAgB,EACtB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GAC5C,IAAI,CAUN;AAiFD;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB;IAChC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,8EAA8E;IAC9E,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,EAAE,OAAO,GAAG,cAAc,CAAC;IAC/B;;;;;yEAKqE;IACrE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,wBAAgB,WAAW,CACzB,IAAI,EAAE,YAAY,EAClB,SAAS,EAAE,gBAAgB,EAC3B,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI;AAC7C;;;gEAGgE;AAChE,OAAO,CAAC,EAAE,qBAAqB,GAC9B,iBAAiB,CA+GnB"}

package/daemon/dist/domain/workflow-projector.js

@@ -27,6 +27,44 @@ import { classifyFailedInstance, classifyGateTrip, workflowExceptionTags } from
 import { newQitemId } from "./queue-repository.js";
 import { resolveExceptionRoute } from "./workflow-exception-router.js";
 import { disarmWorkflowKeepalive, ensureWorkflowKeepaliveArmed, } from "./workflow-keepalive-arming.js";
+import { shellQuote } from "../adapters/shell-quote.js";
+const WORKFLOW_CONTEXT_SHORTCUT = "Context: this workflow packet is a shortcut, not the whole story; inspect additional project, mission, and receipt evidence before choosing an authored exit.";
+/** One occurrence-bound action, shared by packet bodies and authored wait wakes. */
+export function renderWorkflowProjectCommand(input) {
+    const base = `rig workflow project --instance ${input.instanceId} --current-packet ${input.packetId} --exit <handoff|waiting|done|failed> --actor-session ${input.ownerSession}`;
+    const acceptance = input.step?.acceptance;
+    if (!acceptance)
+        return base;
+    const verdict = acceptance.verdicts.length === 1
+        ? acceptance.verdicts[0]
+        : `<${acceptance.verdicts.join("|")}>`;
+    return `${base} --acceptance-candidate ${shellQuote(acceptance.candidate)} --acceptance-verdict ${shellQuote(verdict)} --acceptance-evidence-ref ${shellQuote(acceptance.evidence_ref)}`;
+}
+/** Refreshes guidance when a packet is recreated (route/resume) instead of
+ * carrying a stale packet id or owner forward in copied body text. */
+export function withWorkflowContinuation(input) {
+    const lines = input.body
+        .split("\n")
+        .filter((line) => !line.startsWith("Continuation: ") && line !== WORKFLOW_CONTEXT_SHORTCUT && !(input.contextRefs && line.startsWith("Context reference: ")));
+    while (lines.at(-1) === "")
+        lines.pop();
+    return [
+        ...lines,
+        "",
+        ...(input.contextRefs ?? []).map((ref) => `Context reference: ${ref}`),
+        `Continuation: ${renderWorkflowProjectCommand(input)}`,
+        WORKFLOW_CONTEXT_SHORTCUT,
+    ].join("\n");
+}
+export function workflowWaitWakeMessage(input) {
+    return [
+        `Workflow wait re-presentation (blocker progress or reminder): ${input.spec.id}@${input.spec.version} instance ${input.instance.instanceId} step ${input.step.id}.`,
+        `You still own the same frontier packet ${input.packetId}. Read it and inspect current evidence before choosing an authored exit.`,
+        ...(input.spec.context_refs ?? []).map((ref) => `Context reference: ${ref}`),
+        `Continuation: ${renderWorkflowProjectCommand({ ...input, instanceId: input.instance.instanceId })}`,
+        WORKFLOW_CONTEXT_SHORTCUT,
+    ].join("\n");
+}
 /**
  * OPR.0.4.6.WF2 FR-2: canonical-session → node runtime column lookup
  * (the harness-pin reconciliation source). Latest session row wins
@@ -64,7 +102,7 @@ export class WorkflowProjector {
     watchdogJobsRepo;
     exceptionDial;
     constructor(db, eventBus, queueRepo, instanceStore, trailLog, specCache, now = () => new Date(), 
-    /** OPR.0.4.6.WF1 FR-3: optional — arms/disarms the per-instance keepalive in-txn. */
+    /** OPR.0.4.6.WF1 FR-3: optional — arms/disarms packet or legacy-instance keepalives in-txn. */
     watchdogJobsRepo, 
     /** OPR.0.4.6.WF5 FR-2: the maturity-dial inputs, injected at startup
      *  (the validateRig precedent — the projector never reads config
@@ -111,7 +149,12 @@ export class WorkflowProjector {
         // R2 fix (guard blocker 1): read durable current_step_id from instance
         // rather than inferring "last_trail_step + 1". Reused-frontier packets
         // (waiting then resume) now correctly resume the SAME step.
-        const currentStep = resolveCurrentStep(spec, instance);
+        const packetBinding = this.instanceStore.getFrontierBinding(instance.instanceId, input.currentPacketId);
+        const currentStep = packetBinding
+            ? spec.steps.find((step) => step.id === packetBinding.stepId) ?? null
+            : instance.currentFrontier.length === 1
+                ? resolveCurrentStep(spec, instance)
+                : null;
         if (!currentStep) {
             throw new WorkflowProjectorError("current_step_unknown", `workflow instance ${instance.instanceId} has no resolvable current step (current_step_id=${JSON.stringify(instance.currentStepId)}). The instance may be in a terminal state, or the spec ${spec.id}@${spec.version} may have changed shape mid-instance.`, { instanceId: instance.instanceId, currentStepId: instance.currentStepId, frontier: instance.currentFrontier });
         }
@@ -132,6 +175,22 @@ export class WorkflowProjector {
                 allowedExits: currentStep.allowed_exits,
             });
         }
+        validateAcceptance(currentStep, input, instance);
+        // A declared dependency graph opts into the S06 packet-addressed
+        // executor. Legacy specs keep the mature serial scribe below exactly.
+        if (spec.steps.some((step) => step.depends_on !== undefined)) {
+            if (!packetBinding) {
+                throw new WorkflowProjectorError("frontier_binding_indeterminate", `workflow instance ${instance.instanceId} has a dependency graph but frontier packet ${input.currentPacketId} has no unique step binding; refusing to infer from current_step_id`, { instanceId: instance.instanceId, currentPacketId: input.currentPacketId });
+            }
+            return this.projectDependencyGraph({
+                input,
+                instance,
+                spec,
+                currentStep,
+                packetBinding,
+                currentOwnerSession: currentPacket.destinationSession,
+            });
+        }
         // Determine next step (one-hop default; multi-hop is graduation).
         // OPR.0.4.6.WF2 FR-1: the recorded exit participates — a MAPPED exit
         // resolves to its branch target (deterministic: same (spec, step,
@@ -150,8 +209,7 @@ export class WorkflowProjector {
         // the same transactional scribe).
         const willRoute = branchRouted || input.exit === "handoff";
         // FR-5 (G3): the waiting-replay ABSORPTION check. `waiting`
-        // deliberately KEEPS the closed packet on the frontier (the
-        // keepalive wakes the parked owner off it), so a replayed waiting
+        // deliberately KEEPS the closed packet on the frontier, so a replayed waiting
         // project passes the frontier guard — before this slice it
         // double-wrote the trail. Absorption closes the hole under the
         // guard-ratified FULL CLOSURE-INTENT IDENTITY (G-WF1-1): the replay
@@ -293,6 +351,20 @@ export class WorkflowProjector {
                 handedOffTo: closure.handedOffTo,
                 blockedOn: closure.blockedOn,
                 transitionNote: closure.transitionNote,
+                wakeMaxSeconds: effectiveExit === "waiting" && !routes ? currentStep.re_present_max_seconds : undefined,
+                wakeProgressEvidence: input.closureEvidence,
+                wakeAfterSeconds: effectiveExit === "waiting" && !routes
+                    ? currentStep.re_present_after_seconds
+                    : undefined,
+                wakeMessage: effectiveExit === "waiting" && !routes && currentStep.re_present_after_seconds !== undefined
+                    ? workflowWaitWakeMessage({
+                        spec,
+                        instance,
+                        step: currentStep,
+                        packetId: input.currentPacketId,
+                        ownerSession: currentPacket.destinationSession,
+                    })
+                    : undefined,
             });
             registerEvent(queueUpdate.persistedEvent);
             // 3. If this close routes (structural handoff OR branch-mapped
@@ -331,21 +403,21 @@ export class WorkflowProjector {
                 // PREALLOCATED so occurrence:<gatePacketId> exists at create
                 // (identity queryable from birth — arch cell-2). Handler-role
                 // gates stay negative (deterministic handoffs, not exceptions).
-                const gateQitemId = gateCompile ? newQitemId() : undefined;
-                const gateException = gateCompile && gateQitemId
+                const nextPacketId = newQitemId();
+                const gateException = gateCompile
                     ? classifyGateTrip({
                         workflowName: instance.workflowName,
                         instanceId: instance.instanceId,
                         gatedStepId: nextStep.id,
                         gateKind: gateCompile.kind,
-                        gatePacketId: gateQitemId,
+                        gatePacketId: nextPacketId,
                         parkOn: gateCompile.parkOn,
                     })
                     : null;
                 // P34 (site :466, the ROUTES branch) — the stage call follows the create
                 // immediately below; see the seam assert at the end of this transaction.
                 createdNext = this.queueRepo.createWithinTransaction({
-                    qitemId: gateQitemId,
+                    qitemId: nextPacketId,
                     sourceSession: input.actorSession,
                     destinationSession: resolvedNextOwner,
                     body: workflowHandoffBody({
@@ -356,6 +428,8 @@ export class WorkflowProjector {
                         actorSession: input.actorSession,
                         resultNote: effectiveResultNote,
                         gate: gateCompile,
+                        packetId: nextPacketId,
+                        ownerSession: resolvedNextOwner,
                     }),
                     priority: "routine",
                     tier: gateCompile?.tier ?? "mode2",
@@ -512,13 +586,13 @@ export class WorkflowProjector {
             // txn. A handoff ensures the per-instance job is armed (idempotent
             // — also heals pre-WF-1 instances on their first post-upgrade
             // hop); a terminal status disarms it (no orphaned watchdog
-            // noise). Waiting keeps the job armed — the keepalive wakes the
-            // parked owner. Plain INSERT/UPDATE, verified txn-composable.
+            // noise). Waiting keeps the deadline-gated job armed but quiet while
+            // blocked; an authored re-presentation rule uses the separate one-shot
+            // park timer above. Plain INSERT/UPDATE, verified txn-composable.
             if (this.watchdogJobsRepo) {
                 if (routes && resolvedNextOwner) {
-                    // Any route arms the keepalive for the new owner — including a
-                    // gate park (waiting keeps the job armed; it wakes the parked
-                    // gate target exactly like any parked owner).
+                    // Any route arms the keepalive for the new owner — including a gate
+                    // park, whose delivery attention is handled by the queue wake intent.
                     ensureWorkflowKeepaliveArmed(this.watchdogJobsRepo, {
                         instanceId: instance.instanceId,
                         targetSession: resolvedNextOwner,
@@ -679,6 +753,264 @@ export class WorkflowProjector {
             emittedEventTypes: persistedEvents.map((e) => e.type),
         };
     }
+    async projectDependencyGraph(args) {
+        const { input, instance, spec, currentStep, packetBinding, currentOwnerSession } = args;
+        if (input.exit === "waiting" && instance.status === "waiting" && matchesStoredWaitingDecision(instance, input, currentStep.id, this.trailLog)) {
+            return {
+                instance,
+                closurePriorPacketId: input.currentPacketId,
+                closureReason: "waiting",
+                nextQitemId: null,
+                nextOwnerSession: null,
+                nextStepId: null,
+                nextQitemIds: [],
+                nextStepIds: [],
+                emittedEventTypes: [],
+                absorbedReplay: true,
+            };
+        }
+        const mappedTarget = currentStep.next_hop?.on?.[input.exit];
+        const completesPrerequisite = input.exit === "done" || input.exit === "handoff";
+        const trail = this.trailLog.listForInstance(instance.instanceId, 100_000);
+        const completed = new Set(trail
+            .filter((entry) => entry.closureReason === "done" || entry.closureReason === "handoff")
+            .map((entry) => entry.stepId));
+        if (completesPrerequisite)
+            completed.add(currentStep.id);
+        const liveBindings = this.instanceStore.listFrontierBindings(instance.instanceId);
+        const liveStepIds = new Set(liveBindings.map((binding) => binding.stepId));
+        const unresolved = this.instanceStore.listFailureOccurrences(instance.instanceId, "unresolved");
+        const unresolvedStepIds = new Set(unresolved.map((occurrence) => occurrence.stepId));
+        let nextSteps = [];
+        if (mappedTarget) {
+            const target = spec.steps.find((step) => step.id === mappedTarget);
+            if (!target) {
+                throw new WorkflowProjectorError("branch_target_missing", `step "${currentStep.id}" maps ${input.exit} to missing step "${mappedTarget}"`, { instanceId: instance.instanceId, stepId: currentStep.id, mappedTarget });
+            }
+            nextSteps = [target];
+        }
+        else if (completesPrerequisite) {
+            nextSteps = spec.steps.filter((candidate) => {
+                const dependencies = candidate.depends_on;
+                if (!dependencies || dependencies.length === 0)
+                    return false;
+                if (!dependencies.includes(currentStep.id))
+                    return false;
+                if (!dependencies.every((dependency) => completed.has(dependency)))
+                    return false;
+                if (completed.has(candidate.id) || liveStepIds.has(candidate.id) || unresolvedStepIds.has(candidate.id))
+                    return false;
+                return true;
+            });
+        }
+        // A dependency graph advances each branch from its own durable binding,
+        // so the livelock window must be evaluated from that binding too. The
+        // serial path performs the same comparison against instance-level fields.
+        // Convert a tripped advance into the ordinary branch-local failure shape:
+        // close this packet honestly, record one resumable occurrence, create no
+        // successor, and leave unrelated frontier packets untouched.
+        const maxHops = spec.loop_guards?.max_hops;
+        const maxHopsTripped = nextSteps.length > 0 &&
+            exceedsMaxHops(packetBinding.hopCount, packetBinding.hopsBaseline, maxHops);
+        const effectiveExit = maxHopsTripped ? "failed" : input.exit;
+        const effectiveResultNote = maxHopsTripped
+            ? `max_hops_exceeded: hop ${packetBinding.hopCount + 1} would exceed loop_guards.max_hops=${maxHops}`
+            : input.resultNote;
+        const effectiveClosureEvidence = maxHopsTripped
+            ? {
+                ...(input.closureEvidence ?? {}),
+                max_hops_guard: {
+                    code: "max_hops_exceeded",
+                    maxHops,
+                    hopCount: packetBinding.hopCount,
+                    attemptedHop: packetBinding.hopCount + 1,
+                },
+            }
+            : input.closureEvidence;
+        if (maxHopsTripped)
+            nextSteps = [];
+        const isFailureOccurrence = effectiveExit === "failed" && (!mappedTarget || maxHopsTripped);
+        const evaluatedAt = this.now().toISOString();
+        const emitted = [];
+        const createdPackets = [];
+        this.eventBus.withNotifyEnvelope((register) => {
+            const addEvent = (event) => { emitted.push(event); register(event); };
+            const ownerPlans = nextSteps.map((step) => {
+                const gate = step.gate
+                    ? compileGate(spec, step, (session) => this.nodeRuntimeOf(session), roleResolutionContext(this.db, instance.boundRig))
+                    : null;
+                const owner = gate?.destinationSession ?? resolveDefaultOwner(spec, step, (session) => this.nodeRuntimeOf(session), roleResolutionContext(this.db, instance.boundRig));
+                if (!owner) {
+                    throw new WorkflowProjectorError("next_owner_unresolved", `cannot resolve next owner for dependency step "${step.id}"`, { instanceId: instance.instanceId, stepId: step.id });
+                }
+                return { step, gate, owner, packetId: newQitemId() };
+            });
+            const closureOwner = ownerPlans.length === 1 ? ownerPlans[0].owner : null;
+            const closure = effectiveExit === "handoff" && ownerPlans.length !== 1
+                ? {
+                    state: "done",
+                    closureReason: "no-follow-on",
+                    closureTarget: null,
+                    transitionNote: `workflow graph: ${input.actorSession} completed ${currentStep.id}; ${ownerPlans.length} successors projected transactionally`,
+                }
+                : workflowExitToQueueClosure({ ...input, exit: effectiveExit, resultNote: effectiveResultNote }, closureOwner);
+            const updated = this.queueRepo.updateWithinTransaction({
+                qitemId: input.currentPacketId,
+                actorSession: input.actorSession,
+                viaWorkflowVerb: true,
+                state: closure.state,
+                closureReason: closure.closureReason,
+                closureTarget: closure.closureTarget ?? undefined,
+                handedOffTo: closure.handedOffTo,
+                blockedOn: closure.blockedOn,
+                transitionNote: closure.transitionNote,
+                wakeMaxSeconds: effectiveExit === "waiting" && ownerPlans.length === 0 ? currentStep.re_present_max_seconds : undefined,
+                wakeProgressEvidence: input.closureEvidence,
+                wakeAfterSeconds: effectiveExit === "waiting" && ownerPlans.length === 0
+                    ? currentStep.re_present_after_seconds
+                    : undefined,
+                wakeMessage: effectiveExit === "waiting" && ownerPlans.length === 0 && currentStep.re_present_after_seconds !== undefined
+                    ? workflowWaitWakeMessage({
+                        spec,
+                        instance,
+                        step: currentStep,
+                        packetId: input.currentPacketId,
+                        ownerSession: currentOwnerSession,
+                    })
+                    : undefined,
+            });
+            addEvent(updated.persistedEvent);
+            if (effectiveExit !== "waiting") {
+                this.instanceStore.removeFrontierBinding(instance.instanceId, input.currentPacketId);
+                if (this.watchdogJobsRepo) {
+                    disarmWorkflowKeepalive(this.watchdogJobsRepo, instance.instanceId, `workflow_packet_${effectiveExit}`, input.currentPacketId);
+                }
+            }
+            for (const plan of ownerPlans) {
+                const created = this.queueRepo.createWithinTransaction({
+                    qitemId: plan.packetId,
+                    sourceSession: input.actorSession,
+                    destinationSession: plan.owner,
+                    body: workflowHandoffBody({
+                        spec,
+                        instance,
+                        currentStep,
+                        nextStep: plan.step,
+                        actorSession: input.actorSession,
+                        resultNote: effectiveResultNote,
+                        gate: plan.gate,
+                        packetId: plan.packetId,
+                        ownerSession: plan.owner,
+                    }),
+                    priority: "routine",
+                    tier: plan.gate?.tier ?? "mode2",
+                    tags: ["workflow", plan.gate ? "gate" : "handoff", `workflow:${spec.id}`, `instance:${instance.instanceId}`, `step:${plan.step.id}`],
+                    summary: plan.gate?.summary ?? undefined,
+                    evidenceRef: plan.gate?.evidenceRef ?? undefined,
+                    chainOfRecord: [input.currentPacketId],
+                });
+                addEvent(created.persistedEvent);
+                this.queueRepo.stageWakeIntent(created.qitemId, input.actorSession, created.destinationSession, null, created.nudge);
+                if (plan.gate?.parkOn) {
+                    const parked = this.queueRepo.updateWithinTransaction({
+                        qitemId: created.qitemId,
+                        actorSession: input.actorSession,
+                        state: "blocked",
+                        closureReason: "blocked_on",
+                        closureTarget: plan.gate.parkOn,
+                        blockedOn: plan.gate.parkOn,
+                        transitionNote: `workflow gate: parked on ${plan.gate.parkOn} pending sign-off`,
+                    });
+                    addEvent(parked.persistedEvent);
+                }
+                this.instanceStore.bindFrontierPacket({
+                    instanceId: instance.instanceId,
+                    packetId: created.qitemId,
+                    stepId: plan.step.id,
+                    branchDrive: packetBinding.branchDrive + (ownerPlans.length > 1 ? 1 : 0),
+                    hopCount: packetBinding.hopCount + 1,
+                    hopsBaseline: packetBinding.hopsBaseline,
+                });
+                if (this.watchdogJobsRepo) {
+                    ensureWorkflowKeepaliveArmed(this.watchdogJobsRepo, {
+                        instanceId: instance.instanceId,
+                        packetId: created.qitemId,
+                        targetSession: plan.owner,
+                        registeredBySession: input.actorSession,
+                    });
+                }
+                createdPackets.push({ qitemId: created.qitemId, step: plan.step, owner: plan.owner, nudge: created.nudge, blocked: Boolean(plan.gate?.parkOn) });
+                addEvent(this.eventBus.persistWithinTransaction({ type: "workflow.next_qitem_projected", instanceId: instance.instanceId, nextQitemId: created.qitemId, nextOwner: plan.owner, nextStepId: plan.step.id }));
+            }
+            if (isFailureOccurrence) {
+                this.instanceStore.recordFailureOccurrence({
+                    instanceId: instance.instanceId,
+                    failedPacketId: input.currentPacketId,
+                    stepId: currentStep.id,
+                    branchDrive: packetBinding.branchDrive,
+                    hopCount: packetBinding.hopCount,
+                    hopsBaseline: packetBinding.hopsBaseline,
+                    failureReason: effectiveResultNote ?? null,
+                });
+            }
+            const remainingFrontier = instance.currentFrontier.filter((packetId) => packetId !== input.currentPacketId);
+            const nextFrontier = effectiveExit === "waiting"
+                ? [...remainingFrontier, input.currentPacketId]
+                : [...remainingFrontier, ...createdPackets.map((packet) => packet.qitemId)];
+            const unresolvedCount = this.instanceStore.listFailureOccurrences(instance.instanceId, "unresolved").length;
+            const packetRows = nextFrontier.map((packetId) => this.queueRepo.getById(packetId));
+            const nextStatus = nextFrontier.length > 0
+                ? packetRows.every((packet) => packet?.state === "blocked") ? "waiting" : "active"
+                : unresolvedCount > 0 ? "failed" : "completed";
+            const nextBindings = this.instanceStore.listFrontierBindings(instance.instanceId);
+            const singletonStep = nextBindings.length === 1 ? nextBindings[0].stepId : null;
+            this.instanceStore.updateFrontier(instance.instanceId, nextFrontier, nextStatus, {
+                bumpHopCount: createdPackets.length > 0,
+                currentStepId: singletonStep ?? "clear",
+                expectedVersion: instance.version,
+                completedAt: nextStatus === "completed" || nextStatus === "failed" ? evaluatedAt : null,
+                lastContinuationDecision: {
+                    exit: effectiveExit,
+                    actorSession: input.actorSession,
+                    closedPacket: input.currentPacketId,
+                    currentStep: currentStep.id,
+                    nextPackets: createdPackets.map((packet) => packet.qitemId),
+                },
+            });
+            this.trailLog.record({
+                instanceId: instance.instanceId,
+                stepId: currentStep.id,
+                stepRole: currentStep.actor_role,
+                closedAt: evaluatedAt,
+                closureReason: effectiveExit,
+                closureEvidence: { ...(effectiveClosureEvidence ?? {}), next_qitem_ids: createdPackets.map((packet) => packet.qitemId) },
+                actorSession: input.actorSession,
+                nextQitemId: createdPackets[0]?.qitemId ?? null,
+                priorQitemId: input.currentPacketId,
+            });
+            addEvent(this.eventBus.persistWithinTransaction({ type: "workflow.step_closed", instanceId: instance.instanceId, stepId: currentStep.id, closureReason: effectiveExit, actorSession: input.actorSession, priorQitemId: input.currentPacketId }));
+            if (nextStatus === "completed") {
+                addEvent(this.eventBus.persistWithinTransaction({ type: "workflow.completed", instanceId: instance.instanceId, workflowName: instance.workflowName }));
+            }
+            else if (nextStatus === "failed") {
+                addEvent(this.eventBus.persistWithinTransaction({ type: "workflow.failed", instanceId: instance.instanceId, workflowName: instance.workflowName, reason: effectiveResultNote ?? "workflow_step_failed" }));
+            }
+        });
+        for (const created of createdPackets) {
+            await this.queueRepo.deliverWakeForSuccessor(created.qitemId, created.owner, created.nudge, input.actorSession);
+        }
+        return {
+            instance: this.instanceStore.getByIdOrThrow(instance.instanceId),
+            closurePriorPacketId: input.currentPacketId,
+            closureReason: effectiveExit,
+            nextQitemId: createdPackets[0]?.qitemId ?? null,
+            nextOwnerSession: createdPackets[0]?.owner ?? null,
+            nextStepId: createdPackets[0]?.step.id ?? null,
+            nextQitemIds: createdPackets.map((packet) => packet.qitemId),
+            nextStepIds: createdPackets.map((packet) => packet.step.id),
+            emittedEventTypes: emitted.map((event) => event.type),
+        };
+    }
 }
 /**
  * OPR.0.4.6.WF1 FR-5 (G-WF1-1, guard-ratified): the FULL
@@ -1086,6 +1418,35 @@ function workflowHandoffBody(input) {
     if (input.resultNote) {
         lines.push("", `Prior step note: ${input.resultNote}`);
     }
-    return lines.join("\n");
+    return withWorkflowContinuation({
+        body: lines.join("\n"),
+        contextRefs: input.spec.context_refs,
+        instanceId: input.instance.instanceId,
+        packetId: input.packetId,
+        ownerSession: input.ownerSession,
+        step: input.nextStep,
+    });
+}
+function validateAcceptance(step, input, instance) {
+    if (!step.acceptance || input.exit === "waiting")
+        return;
+    const raw = input.closureEvidence?.acceptance;
+    if (!raw || typeof raw !== "object" || Array.isArray(raw)) {
+        throw new WorkflowProjectorError("acceptance_payload_required", `step "${step.id}" is an acceptance gate; delivery, a terminal producer row, or a liveness wake cannot advance it. Supply closureEvidence.acceptance with candidate, verdict, and evidence_ref.`, { instanceId: instance.instanceId, stepId: step.id });
+    }
+    const payload = raw;
+    const mismatches = {};
+    if (payload.candidate !== step.acceptance.candidate) {
+        mismatches.candidate = { expected: step.acceptance.candidate, actual: payload.candidate ?? null };
+    }
+    if (typeof payload.verdict !== "string" || !step.acceptance.verdicts.includes(payload.verdict)) {
+        mismatches.verdict = { expected: step.acceptance.verdicts, actual: payload.verdict ?? null };
+    }
+    if (payload.evidence_ref !== step.acceptance.evidence_ref) {
+        mismatches.evidence_ref = { expected: step.acceptance.evidence_ref, actual: payload.evidence_ref ?? null };
+    }
+    if (Object.keys(mismatches).length > 0) {
+        throw new WorkflowProjectorError("acceptance_payload_mismatch", `step "${step.id}" acceptance payload does not match its declared candidate/verdict/evidence contract`, { instanceId: instance.instanceId, stepId: step.id, mismatches });
+    }
 }
 //# sourceMappingURL=workflow-projector.js.map