@openrig/cli 0.4.4 → 0.4.7

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

@@ -2,16 +2,38 @@ import type Database from "better-sqlite3";
 import type { EventBus } from "./event-bus.js";
 import type { QueueRepository } from "./queue-repository.js";
 import { WorkflowInstanceStore, WorkflowInstanceError } from "./workflow-instance-store.js";
+import { type ExceptionRoute } from "./workflow-exception-router.js";
+import type { WorkflowExceptionClass } from "./workflow-exception.js";
 import { WorkflowProjector, WorkflowProjectorError, type ProjectStepInput, type ProjectStepResult } from "./workflow-projector.js";
 import { WorkflowSpecCache, WorkflowSpecError } from "./workflow-spec-cache.js";
 import { WorkflowStepTrailLog } from "./workflow-step-trail-log.js";
 import { type SeatLivenessCheckFn, type ValidationResult, WorkflowValidator } from "./workflow-validator.js";
+import type { WatchdogJobsRepository } from "./watchdog-jobs-repository.js";
+import { type WorkflowDeadlineVerdict } from "./workflow-deadline.js";
 import type { WorkflowInstance, WorkflowSpecRow, WorkflowStepTrailEntry } from "./workflow-types.js";
 export interface WorkflowRuntimeDeps {
     db: Database.Database;
     eventBus: EventBus;
     queueRepo: QueueRepository;
     now?: () => Date;
+    /**
+     * OPR.0.4.6.WF1 FR-3: when supplied, instantiate + handoff
+     * projections auto-arm the per-instance workflow-keepalive watchdog
+     * job INSIDE the scribe transaction, and terminal exits disarm it.
+     * Optional so tests / embedders without the watchdog subsystem keep
+     * working; startup wires the real repository.
+     */
+    watchdogJobsRepo?: WatchdogJobsRepository;
+    /**
+     * OPR.0.4.6.WF5 FR-2: the maturity-dial inputs (injected at startup —
+     * the projector never reads config itself). hostDefault is read LIVE
+     * per exception; absent = the orchestrator-first engine default with
+     * the human@host never-lost fallback.
+     */
+    exceptionDial?: {
+        hostDefault: () => "orchestrator" | "human_only" | null;
+        humanFallbackSeat: string;
+    };
 }
 export interface InstantiateInput {
     specPath: string;
@@ -22,12 +44,34 @@ export interface InstantiateInput {
      * preferred_targets[0] for the entry step's role.
      */
     entryOwnerSession?: string;
+    /**
+     * OPR.0.4.6.FAC1 (AC-1): the rig this instance binds to. Overrides
+     * the spec's `target.rig` DEFAULT; the effective binding
+     * (`targetRig ?? spec.target.rig ?? null`) persists as
+     * `WorkflowInstance.boundRig` and scopes role-capability resolution.
+     * Absent AND no spec default = unbound (today's behavior).
+     */
+    targetRig?: string;
 }
 export interface InstantiateResult {
     instance: WorkflowInstance;
     spec: WorkflowSpecRow;
     entryQitemId: string;
     entryOwnerSession: string;
+    /**
+     * OPR.0.4.6.FAC1 (arch ruling 2026-07-07, target-rig zero-regression):
+     * loud instantiate-time advisories. Non-fatal notices the operator MUST
+     * see. TWO producers into this one list: (1) the spec-default degrade —
+     * when a spec's `target.rig` DEFAULT (provenance = spec author's hint,
+     * not an operator `--rig` demand) names an unregistered rig, the
+     * instance degrades to UNBOUND (routes via preferred_targets,
+     * byte-identical pre-FAC-1) with an advisory here rather than a
+     * hard-fail; (2) the OPR.0.4.6.FAC3 member-exists probe — a declared
+     * preferred_target naming a registered rig but a nonexistent member.
+     * Always present (empty when nothing to say); route + CLI surface it
+     * loudly.
+     */
+    advisories: string[];
 }
 export declare class WorkflowRuntime {
     readonly specCache: WorkflowSpecCache;
@@ -39,7 +83,30 @@ export declare class WorkflowRuntime {
     private readonly eventBus;
     private readonly queueRepo;
     private readonly now;
+    private readonly watchdogJobsRepo;
+    private readonly exceptionDial?;
     constructor(deps: WorkflowRuntimeDeps);
+    /**
+     * OPR.0.4.6.WF5 FR-2: resolve the maturity dial for a CACHED spec —
+     * the class-(b) detection paths (sweep/keepalive) call this through
+     * the startup-injected closure. null = spec not cached (the caller's
+     * never-lost fallback applies). Uses the SAME preferred_targets[0]
+     * string-pick as step-owner resolution (arch Seam-A uniformity).
+     */
+    resolveExceptionRouteFor(workflowName: string, workflowVersion: string, exceptionClass: WorkflowExceptionClass, 
+    /** OPR.0.4.6.FAC1 (arch Q3): the instance's bound rig — dial
+     *  position 3 (orchestrator-role) then resolves capability-aware
+     *  on that rig when the role declares no preferred_targets.
+     *  Absent/null = the shipped fleet-blind string-pick only. */
+    boundRig?: string | null): ExceptionRoute | null;
+    /**
+     * OPR.0.4.6.WF2 FR-3: the production host-registry probe for the
+     * validator — built on the daemon hosts-registry reader (read-only
+     * twin of the CLI registry). An unreadable/missing registry reports
+     * every id as unregistered with an empty id list (fail-loud at the
+     * validator's host_not_registered issue, never a silent pass).
+     */
+    private hostRegistryLookup;
     validate(specPath: string, seatLivenessCheck?: SeatLivenessCheckFn): ValidationResult;
     /**
      * Create a workflow instance + first-step qitem. The entry qitem is
@@ -48,6 +115,69 @@ export declare class WorkflowRuntime {
      */
     instantiate(input: InstantiateInput): Promise<InstantiateResult>;
     project(input: ProjectStepInput): Promise<ProjectStepResult>;
+    /**
+     * OPR.0.4.6.WF3 FR-4 — `route`: re-target the CURRENT FRONTIER step
+     * of a live instance to a new owner. THE ADJUDICATED MECHANISM
+     * (arch, formal, on the advance-authority ground): CLOSE + RECREATE
+     * + FRONTIER REBIND in ONE scribe transaction. Revocation is
+     * STRUCTURAL: the old packet leaves the frontier inside this txn, so
+     * a zombie old owner's stale `project` hits the shipped
+     * `packet_not_on_frontier` 409 — zero new validation machinery on
+     * the hot advance path (the weighed-and-rejected alternative).
+     *
+     * The observable contract (PRD FR-4 (1)-(8)):
+     *   (1) owner = target after route      (5) frontier non-dangling
+     *   (2) current_step_id UNCHANGED       (6) additive event detail
+     *   (3) actor+reason+old→new durable    (7) pin + version guard held
+     *   (4) NO forged completion closure    (8) zombie structurally 409'd
+     * Route is NOT an advance: hop_count does not bump (max_hops counts
+     * steps, not re-targets); BR-3 — `project` stays the sole advance.
+     */
+    /**
+     * OPR.0.4.6.WF5 FR-4 — RESUME from where it stopped (redrive
+     * semantics, the one engine extension). One scribe transaction:
+     * failed → active REBOUND to the failed step, a FRESH frontier packet
+     * to the step's RE-RESOLVED owner, the trail preserved and extended
+     * (completed steps never re-run), the livelock rail re-baselined
+     * (hops-since-resume — exactly one more bounded window), the redrive
+     * count recorded, open exception items for THIS occurrence closed
+     * (resolve+resume closes the occurrence; a later re-failure is a NEW
+     * occurrence), keepalive re-armed, additive workflow.resumed event.
+     *
+     * THE ARCH PIN (plan Rev-2, binding): the owner is RE-RESOLVED
+     * through the SAME resolution path projection uses
+     * (resolveDefaultOwner — preferred_targets + harness reconciliation),
+     * NEVER copied from the closed packet's recorded destination: a dead
+     * seat is a common CAUSE of the exception, and resume is the one
+     * sanctioned re-resolution point (FAC-1 R1) the binding layer later
+     * upgrades uniformly.
+     */
+    resume(input: {
+        instanceId: string;
+        decision?: string;
+        actorSession: string;
+    }): Promise<{
+        instanceId: string;
+        stepId: string;
+        newPacketId: string;
+        ownerSession: string;
+        resumeCount: number;
+        exceptionItemsClosed: number;
+    }>;
+    route(input: {
+        instanceId: string;
+        toSession: string;
+        actorSession: string;
+        reason?: string;
+    }): Promise<{
+        instanceId: string;
+        stepId: string | null;
+        closedPacketId: string;
+        newPacketId: string;
+        fromSession: string;
+        toSession: string;
+        instanceStatus: WorkflowInstance["status"];
+    }>;
     /**
      * Continue: idempotent inspector for the current frontier of an
      * instance. v1 is read-only — returns the current state. POC's
@@ -55,9 +185,35 @@ export declare class WorkflowRuntime {
      * the audit/inspect entrypoint.
      */
     continue(instanceId: string): {
-        instance: WorkflowInstance;
+        instance: WorkflowInstanceWithDeadline;
         trail: WorkflowStepTrailEntry[];
     };
+    /**
+     * OPR.0.4.6.WF1 FR-2 COMPLETION FIXBACK (build-vs-ratified-AC debt,
+     * qitem-20260706211220-279039f5): the ratified FR-2 AC requires the
+     * stuck classification to be "queryable via list/show/trace … with
+     * the evidence (step, owner, deadline, age)". The merged WF-1 build
+     * surfaced it only through the boot sweep + keepalive nudges; this
+     * closes the queryability clause by deriving the SAME evaluator
+     * verdict (one threshold home — workflow-deadline.ts) at read time.
+     *
+     * DERIVED, NEVER STORED: recomputed per read from (instance,
+     * frontier packets, now) — a normal re-projection self-clears it,
+     * exactly like every other evaluator consumer. Exposes the FULL
+     * classification tuple (state + evidence{step, owner, anchor,
+     * anchorAt, overdueBySeconds, ageSeconds}) so BOTH consumers (WF-3's
+     * status rollup and WF-5's FR-3 ▲ source) read one shape — no
+     * boolean flattening, no second path.
+     */
+    deadlineFor(instance: WorkflowInstance): WorkflowDeadlineVerdict;
+    /** The additive read enrichment consumed by list/show/trace routes. */
+    withDeadline(instance: WorkflowInstance): WorkflowInstanceWithDeadline;
+    /** List instances (optionally filtered) with the deadline verdict attached. */
+    listInstancesWithDeadline(status?: "active" | "waiting" | "completed" | "failed"): WorkflowInstanceWithDeadline[];
 }
+/** WorkflowInstance + the derived FR-2 deadline verdict (additive read shape). */
+export type WorkflowInstanceWithDeadline = WorkflowInstance & {
+    deadline: WorkflowDeadlineVerdict;
+};
 export { WorkflowInstanceError, WorkflowProjectorError, WorkflowSpecError, };
 //# sourceMappingURL=workflow-runtime.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"workflow-runtime.d.ts","sourceRoot":"","sources":["../../src/domain/workflow-runtime.ts"],"names":[],"mappings":"AAWA,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,EAEL,qBAAqB,EACrB,qBAAqB,EACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,iBAAiB,EAClB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAErG,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,eAAe,CAAC;IAC3B,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,aAAa,EAAE,qBAAqB,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IAEtC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAoB;IACvC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAW;IACpC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkB;IAC5C,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAa;gBAErB,IAAI,EAAE,mBAAmB;IAoBrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,mBAAmB,GAAG,gBAAgB;IAKrF;;;;OAIG;IACG,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAwGhE,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAIlE;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG;QAC5B,QAAQ,EAAE,gBAAgB,CAAC;QAC3B,KAAK,EAAE,sBAAsB,EAAE,CAAC;KACjC;CAKF;AAsBD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,GAClB,CAAC"}
+{"version":3,"file":"workflow-runtime.d.ts","sourceRoot":"","sources":["../../src/domain/workflow-runtime.ts"],"names":[],"mappings":"AAWA,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,EAEL,qBAAqB,EACrB,qBAAqB,EACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAyB,KAAK,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAG5F,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EAMtB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACvB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,iBAAiB,EAClB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAE5E,OAAO,EAAwB,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAS5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAErG,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,eAAe,CAAC;IAC3B,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IACjB;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,sBAAsB,CAAC;IAC1C;;;;;OAKG;IACH,aAAa,CAAC,EAAE;QACd,WAAW,EAAE,MAAM,cAAc,GAAG,YAAY,GAAG,IAAI,CAAC;QACxD,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;;;OAYG;IACH,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,aAAa,EAAE,qBAAqB,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IAEtC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAoB;IACvC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAW;IACpC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkB;IAC5C,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAa;IACjC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqC;IACtE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAuC;gBAE1D,IAAI,EAAE,mBAAmB;IAwBrC;;;;;;OAMG;IACH,wBAAwB,CACtB,YAAY,EAAE,MAAM,EACpB,eAAe,EAAE,MAAM,EACvB,cAAc,EAAE,sBAAsB;IACtC;;;kEAG8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GACvB,cAAc,GAAG,IAAI;IAgBxB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB,CAKxB;IAEF,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,mBAAmB,GAAG,gBAAgB;IAKrF;;;;OAIG;IACG,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAyahE,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAIlE;;;;;;;;;;;;;;;;;OAiBG;IACH;;;;;;;;;;;;;;;;;;OAkBG;IACG,MAAM,CAAC,KAAK,EAAE;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,YAAY,EAAE,MAAM,CAAC;KACtB,GAAG,OAAO,CAAC;QACV,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;QACpB,YAAY,EAAE,MAAM,CAAC;QACrB,WAAW,EAAE,MAAM,CAAC;QACpB,oBAAoB,EAAE,MAAM,CAAC;KAC9B,CAAC;IAwLI,KAAK,CAAC,KAAK,EAAE;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,YAAY,EAAE,MAAM,CAAC;QACrB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GAAG,OAAO,CAAC;QACV,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,cAAc,EAAE,MAAM,CAAC;QACvB,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;KAC5C,CAAC;IA4LF;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG;QAC5B,QAAQ,EAAE,4BAA4B,CAAC;QACvC,KAAK,EAAE,sBAAsB,EAAE,CAAC;KACjC;IAMD;;;;;;;;;;;;;;;;OAgBG;IACH,WAAW,CAAC,QAAQ,EAAE,gBAAgB,GAAG,uBAAuB;IAOhE,uEAAuE;IACvE,YAAY,CAAC,QAAQ,EAAE,gBAAgB,GAAG,4BAA4B;IAItE,+EAA+E;IAC/E,yBAAyB,CACvB,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,GACrD,4BAA4B,EAAE;CAIlC;AAED,kFAAkF;AAClF,MAAM,MAAM,4BAA4B,GAAG,gBAAgB,GAAG;IAC5D,QAAQ,EAAE,uBAAuB,CAAC;CACnC,CAAC;AA+BF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,GAClB,CAAC"}