@revisium/orchestrator 0.1.0-alpha.2 → 0.1.0-alpha.4

package/dist/pipeline-core/types.js

@@ -0,0 +1,132 @@
+/**
+ * pipeline-core/types.ts — the pure, framework-free data model for plan 0015.
+ *
+ * Spec: docs/plans/0015-pipeline-state-machine.md (§1 nodes, §3 transitions+guards, §4 fork/join,
+ * §6 failure model, §7 scoped counters, §8 verdicts, §10 Decision + RunState).
+ *
+ * ZERO imports from NestJS / DBOS / Revisium / runners / any I/O. Everything here is plain data.
+ */
+// ─────────────────────────────────────────────────────────────────────────────
+// §8 Verdicts — two tiers
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * CORE verdicts are carried by `specVersion` (§8). The engine acts on these STRUCTURALLY
+ * (catch / onFailure / terminal / timeout) — they NEVER appear in a branch guard (§3/§6).
+ */
+export const CORE_VERDICTS = ['succeeded', 'failed', 'errored', 'timed_out'];
+/** Terminal run statuses a `terminal` node may carry, and the `complete` Decision reports (§1/§10). */
+export const TERMINAL_STATUSES = ['succeeded', 'failed', 'blocked'];
+/** Every `Condition` op tag — used by validation to reject anything outside the v1 grammar. */
+export const CONDITION_OPS = [
+    'verdict.eq',
+    'verdict.in',
+    'counter.lt',
+    'counter.gte',
+    'all',
+    'any',
+    'not',
+];
+export function isDefaultBranch(b) {
+    return 'default' in b;
+}
+export function isGuardedBranch(b) {
+    return 'when' in b;
+}
+export const FAILURE_POLICIES = ['abort', 'route', 'escalate'];
+// ─────────────────────────────────────────────────────────────────────────────
+// §1/§3/§4 Node — the closed 8-kind discriminated union.
+//
+// Node ids, scope ids, role/script capability handles and result-schema handles are all plain
+// strings; the field and parameter names below carry their domain meaning. (A roleRef/scriptRef is an
+// opaque capability handle the adapter resolves — the engine holds no role-ids, §1; a resultSchema is
+// validated at the ADAPTER boundary, never in the core, §10.)
+// ─────────────────────────────────────────────────────────────────────────────
+export const NODE_KINDS = [
+    'agent',
+    'script',
+    'humanGate',
+    'choice',
+    'parallel',
+    'join',
+    'wait',
+    'terminal',
+];
+export const JOIN_MODE_KINDS = ['all', 'any', 'quorum'];
+export const MERGE_REDUCERS = ['overwrite', 'appendByBranchOrder'];
+/** True for a well-formed reserved engine error code. */
+export function isRevoErrorCode(value) {
+    return /^revo\.[A-Za-z][A-Za-z0-9]*$/.test(value);
+}
+/** Stable diagnostic codes — one per §12 rule (+ sub-codes), referenced by tests and the adapter. */
+export const DIAGNOSTIC_CODES = [
+    // 1 single entry
+    'ENTRY_MISSING',
+    'ENTRY_UNRESOLVED',
+    // 2 references resolve
+    'REF_UNRESOLVED',
+    // 3 terminals / non-terminals
+    'TERMINAL_BAD_STATUS',
+    'TERMINAL_HAS_EXIT',
+    'NONTERMINAL_NO_EXIT',
+    // 4 total routing
+    'ROUTING_NO_DEFAULT',
+    'ROUTING_GUARD_AFTER_DEFAULT',
+    'ROUTING_MULTIPLE_DEFAULT',
+    // 5 reachability
+    'UNREACHABLE_NODE',
+    // 6 loop-cap presence
+    'LOOP_UNBOUNDED',
+    // 7 counter-scope well-formedness
+    'SCOPE_UNDECLARED',
+    'SCOPE_PARENT_UNRESOLVED',
+    'SCOPE_CYCLE',
+    'SCOPE_NOT_STRICT_ANCESTOR',
+    'SCOPE_SPANS_PARALLEL',
+    // 8 parallel/join well-formedness
+    'PARALLEL_JOIN_UNRESOLVED',
+    'PARALLEL_JOIN_KIND',
+    'JOIN_MULTIPLE_PARALLELS',
+    'BRANCH_MEMBERSHIP',
+    'BRANCH_CROSS_GOTO',
+    'JOIN_UNREACHABLE_BRANCH',
+    'QUORUM_K_GT_N',
+    'MERGE_MISSING',
+    'MERGE_LASTWRITE_REJECTED',
+    // 9 verdict-vocabulary closure
+    'VERDICT_UNDECLARED',
+    'VERDICT_CORE_IN_GUARD',
+    'VERDICT_DOMAIN_SHADOWS_CORE',
+    'VERDICT_DECLARED_UNUSED',
+    'GATE_OUTCOME_NOT_SUBSET',
+    // 10 conflict-matrix
+    'CONFLICT_SAME_ACTOR',
+    'CONFLICT_REF_INVALID',
+    // 11 id/namespace hygiene
+    'ID_DUPLICATE',
+    'ID_BAD_PATTERN',
+    'REVO_CODE_COLLIDES_VERDICT',
+    // 12 capability-ref shape
+    'CAPABILITY_REF_SHAPE',
+    // 6 failure policy well-formedness (validated structurally alongside refs)
+    'FAILURE_ROUTE_NO_CATCH',
+    'FAILURE_ESCALATE_NO_TARGET',
+    'CATCH_BAD_CODE',
+    // grammar / shape sanity (feeds rules 2/4/9 — a malformed Condition can't be evaluated)
+    'CONDITION_BAD_OP',
+    'CONDITION_BAD_SHAPE',
+    // 14 dataflow (produces/consumes, 0016 §7)
+    'CONSUMES_NODE_UNRESOLVED', //                          consumes.node is not a node id
+    'CONSUMES_PRODUCER_MISSING', //                         referenced node declares no produces / cannot produce
+    'CONSUMES_NOT_DOMINATED', //                            producer does not dominate the consumer (error req / warn opt)
+    'CONSUMES_STALE_RISK', //                               loop re-enterable without the producer + latest, no staleOk (warning)
+    'CONSUMES_CROSS_PARALLEL_UNSAFE', //                    producer/consumer in unsafely-related parallel branches
+    'CONSUMES_AS_DUP', //                                   two refs on one node share the same `as` key
+    'PRODUCES_NAME_DUP', //                                 two nodes share a produces.name (warning — grammar keys by node)
+    // 13 diff classifier
+    'DIFF_UNCLASSIFIED',
+    'DIFF_NODE_DELETED',
+    'DIFF_NODE_KIND_CHANGED',
+    'DIFF_NODE_TOPOLOGY_CHANGED',
+    'DIFF_ID_REUSED_INCOMPATIBLE',
+];
+//# sourceMappingURL=types.js.map

package/dist/pipeline-core/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/pipeline-core/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAU,CAAC;AAGtF,uGAAuG;AACvG,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAoB7E,+FAA+F;AAC/F,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,aAAa;IACb,KAAK;IACL,KAAK;IACL,KAAK;CACG,CAAC;AAaX,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,SAAS,IAAI,CAAC,CAAC;AACxB,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,MAAM,IAAI,CAAC,CAAC;AACrB,CAAC;AAOD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAU,CAAC;AAKxE,gFAAgF;AAChF,yDAAyD;AACzD,EAAE;AACF,8FAA8F;AAC9F,sGAAsG;AACtG,sGAAsG;AACtG,8DAA8D;AAC9D,gFAAgF;AAEhF,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,OAAO;IACP,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,UAAU;IACV,MAAM;IACN,MAAM;IACN,UAAU;CACF,CAAC;AAoEX,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAU,CAAC;AAGjE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,WAAW,EAAE,qBAAqB,CAAU,CAAC;AA0D5E,yDAAyD;AACzD,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACpD,CAAC;AAqFD,qGAAqG;AACrG,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,uBAAuB;IACvB,gBAAgB;IAChB,8BAA8B;IAC9B,qBAAqB;IACrB,mBAAmB;IACnB,qBAAqB;IACrB,kBAAkB;IAClB,oBAAoB;IACpB,6BAA6B;IAC7B,0BAA0B;IAC1B,iBAAiB;IACjB,kBAAkB;IAClB,sBAAsB;IACtB,gBAAgB;IAChB,kCAAkC;IAClC,kBAAkB;IAClB,yBAAyB;IACzB,aAAa;IACb,2BAA2B;IAC3B,sBAAsB;IACtB,kCAAkC;IAClC,0BAA0B;IAC1B,oBAAoB;IACpB,yBAAyB;IACzB,mBAAmB;IACnB,mBAAmB;IACnB,yBAAyB;IACzB,eAAe;IACf,eAAe;IACf,0BAA0B;IAC1B,+BAA+B;IAC/B,oBAAoB;IACpB,uBAAuB;IACvB,6BAA6B;IAC7B,yBAAyB;IACzB,yBAAyB;IACzB,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,0BAA0B;IAC1B,cAAc;IACd,gBAAgB;IAChB,4BAA4B;IAC5B,0BAA0B;IAC1B,sBAAsB;IACtB,2EAA2E;IAC3E,wBAAwB;IACxB,4BAA4B;IAC5B,gBAAgB;IAChB,wFAAwF;IACxF,kBAAkB;IAClB,qBAAqB;IACrB,2CAA2C;IAC3C,0BAA0B,EAAE,0DAA0D;IACtF,2BAA2B,EAAE,gFAAgF;IAC7G,wBAAwB,EAAE,4FAA4F;IACtH,qBAAqB,EAAE,sGAAsG;IAC7H,gCAAgC,EAAE,6EAA6E;IAC/G,iBAAiB,EAAE,iFAAiF;IACpG,mBAAmB,EAAE,mGAAmG;IACxH,qBAAqB;IACrB,mBAAmB;IACnB,mBAAmB;IACnB,wBAAwB;IACxB,4BAA4B;IAC5B,6BAA6B;CACrB,CAAC"}