@openrig/cli 0.4.3 → 0.4.6

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

@@ -4,7 +4,17 @@ import type { QueueRepository } from "./queue-repository.js";
 import type { WorkflowInstanceStore } from "./workflow-instance-store.js";
 import type { WorkflowSpecCache } from "./workflow-spec-cache.js";
 import type { WorkflowStepTrailLog } from "./workflow-step-trail-log.js";
-import type { WorkflowExitKind, WorkflowInstance } from "./workflow-types.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";
+/**
+ * OPR.0.4.6.WF2 FR-2: canonical-session → node runtime column lookup
+ * (the harness-pin reconciliation source). Latest session row wins
+ * (the node-inventory join discipline). null = not a managed node.
+ * Shared by the projector (projection-time pins) and the runtime
+ * facade (instantiate-time static pin checks).
+ */
+export declare function nodeRuntimeOf(db: Database.Database, session: string): string | null;
 export declare class WorkflowProjectorError extends Error {
     readonly code: string;
     readonly details?: Record<string, unknown> | undefined;
@@ -44,6 +54,13 @@ export interface ProjectStepResult {
     nextStepId: string | null;
     /** Composite fired events (step_closed + optional next_qitem_projected + optional completed). */
     emittedEventTypes: string[];
+    /**
+     * OPR.0.4.6.WF1 FR-5: true when this call was an ABSORBED
+     * waiting-replay — an exact full-closure-intent duplicate of the
+     * stored decision. Zero writes happened; the stored first outcome is
+     * what this result reflects.
+     */
+    absorbedReplay?: boolean;
 }
 export declare class WorkflowProjector {
     private readonly db;
@@ -53,7 +70,27 @@ export declare class WorkflowProjector {
     private readonly trailLog;
     private readonly specCache;
     private readonly now;
-    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. */
+    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
+     *  itself). hostDefault is read LIVE per exception (dial flips apply
+     *  to future items only). Absent = engine defaults (orchestrator-
+     *  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. */
+    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
+     *  itself). hostDefault is read LIVE per exception (dial flips apply
+     *  to future items only). Absent = engine defaults (orchestrator-
+     *  first chain with the human@host never-lost fallback). */
+    exceptionDial?: {
+        hostDefault: () => "orchestrator" | "human_only" | null;
+        humanFallbackSeat: string;
+    } | undefined);
+    private nodeRuntimeOf;
     /**
      * Close the current packet AND create/project the next-step packet
      * IN THE SAME TRANSACTION. The load-bearing transactional-scribe
@@ -61,4 +98,82 @@ export declare class WorkflowProjector {
      */
     project(input: ProjectStepInput): Promise<ProjectStepResult>;
 }
+/**
+ * Resolve the next step. OPR.0.4.6.WF2 FR-1: when a `recordedExit` is
+ * supplied AND the step's `next_hop.on` maps it, the MAPPED target wins
+ * (the deterministic branch — same (spec, step, exit) → same target,
+ * every time). Otherwise the structural default: the spec-authored
+ * `next_hop.suggested_roles` edge, then declaration order.
+ *
+ * EXPORTED (OPR.0.4.6.WF1 FR-7): this is THE single routing seam —
+ * the validator's reachability/cycle analysis runs over these exact
+ * semantics (never a parallel re-implementation). The validator calls
+ * it WITHOUT an exit for the structural default path and unions the
+ * branch edges explicitly — one routing truth, no semantic fork.
+ */
+export declare function resolveNextStep(spec: WorkflowSpec, currentStep: WorkflowStepSpec, recordedExit?: WorkflowExitKind): WorkflowStepSpec | null;
+/**
+ * Resolve a default owner for a step. v1 picks the first declared
+ * preferred_target. OPR.0.4.6.WF2 FR-2: a step with a `harness:` pin
+ * picks the first preferred_target whose node runtime matches the pin
+ * instead; no match is a STRUCTURED routing failure naming the pin and
+ * each candidate's actual runtime — never a silent mis-route to the
+ * wrong harness. `runtimeOf` resolves a canonical session name to its
+ * node's runtime column (null = not a managed node / unknown).
+ *
+ * OPR.0.4.6.FAC1: gains the optional bound-rig context — see the tier
+ * comment in the body. Tier order (P2-6, guard-BLOCKING on deviation):
+ *   1. explicit input.nextOwnerSession (caller-reconciled)
+ *   2. gate compile (the caller branches there first)
+ *   3. declared preferred_targets — TODAY'S path byte-for-byte
+ *   4. NEW: role capability on the bound rig (no targets + bound only)
+ *   5. null → the shipped next_owner_unresolved at the caller.
+ *
+ * Returns null only for the unpinned no-targets UNBOUND case (caller
+ * must supply nextOwnerSession explicitly — unchanged v1 behavior).
+ */
+export declare function resolveDefaultOwner(spec: WorkflowSpec, step: WorkflowStepSpec, runtimeOf?: (session: string) => string | null, 
+/** OPR.0.4.6.FAC1: the bound-rig resolution context. Present only for
+ *  BOUND instances at LIVE resolution sites (projection next-step,
+ *  gate compile, entry, resume) — never at the eager instantiate loop
+ *  (guard B1: no eager live resolution of future steps). */
+roleCtx?: RoleResolutionContext): string | null;
+/**
+ * OPR.0.4.6.WF2 FR-2: reconcile an EXPLICIT owner override against a
+ * step's harness pin. An operator-supplied owner whose runtime does not
+ * match the pin is rejected loud — an explicit override must never
+ * silently defeat a declared pin.
+ */
+export declare function reconcileExplicitOwnerHarness(step: WorkflowStepSpec, explicitOwner: string, runtimeOf: (session: string) => string | null): void;
+/**
+ * OPR.0.4.6.WF2 FR-5: the gate compiler — a declared step-level gate
+ * resolves to LIVE 0.4.4 machinery by target kind. HUMAN target (the
+ * shipped human-seat predicate) → a human-routed item (tier
+ * `human-gate`) carrying the summary + evidence_ref the shipped write
+ * path enforces, resolved by the shipped `resolve` verb. HANDLER-ROLE
+ * target → an ordinary agent-routed item to the declared role's
+ * resolved seat (no human-only enforcement fields forced on it). WF-2
+ * builds the socket; WF-5 owns gate SEMANTICS.
+ */
+export interface GateCompileResult {
+    destinationSession: string;
+    /** Reserved for a future tier override; undefined = caller's default tier. */
+    tier: string | undefined;
+    summary: string | null;
+    evidenceRef: string | null;
+    kind: "human" | "handler-role";
+    /** HUMAN targets: the human seat the packet parks blocked_on (the leg-1
+     *  park the shipped `rig queue resolve` verb acts on — guard blocker 1:
+     *  resolve requires state=blocked + human-seat blocked_on, so the gate
+     *  item is created for the STEP OWNER and parked on the human, never
+     *  minted as an unresolvable pending human-destined item). null for
+     *  handler-role gates (ordinary agent routing, no park-on-human). */
+    parkOn: string | null;
+}
+export declare function compileGate(spec: WorkflowSpec, gatedStep: WorkflowStepSpec, runtimeOf: (session: string) => string | null, 
+/** OPR.0.4.6.FAC1: bound-rig context — threads capability resolution
+ *  into BOTH gate paths (guard B3: the human-gate OWNER path and the
+ *  handler-role DESTINATION branch are different code paths and each
+ *  must carry it). Absent = shipped behavior byte-identical. */
+roleCtx?: RoleResolutionContext): GateCompileResult;
 //# sourceMappingURL=workflow-projector.d.ts.map

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,EAGjB,MAAM,qBAAqB,CAAC;AAE7B,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;CAC7B;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;gBANH,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;IAGrD;;;;OAIG;IACG,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;CAuSnE"}
+{"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;CAkoBnE;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"}