@pgflow/dsl 0.0.0-condition-4354fcb6-20260108134756 → 0.0.0-condition-534994a1-20260113121112

package/dist/CHANGELOG.md

@@ -1,10 +1,10 @@
 # @pgflow/dsl
 
-## 0.0.0-condition-4354fcb6-20260108134756
+## 0.0.0-condition-534994a1-20260113121112
 
 ### Patch Changes
 
-- c25ab9f: Add whenFailed option for error handling after retries exhausted (fail, skip, skip-cascade)
+- 8863a35: Add whenFailed option for error handling after retries exhausted (fail, skip, skip-cascade)
 
 ## 0.13.1
 

package/dist/compile-flow.js

@@ -49,12 +49,12 @@ function formatRuntimeOptions(options) {
     if ('if' in options && options.if !== undefined) {
         // Serialize JSON pattern and escape for SQL
         const jsonStr = JSON.stringify(options.if);
-        parts.push(`condition_pattern => '${jsonStr}'`);
+        parts.push(`required_input_pattern => '${jsonStr}'`);
     }
     if ('ifNot' in options && options.ifNot !== undefined) {
         // Serialize JSON pattern and escape for SQL
         const jsonStr = JSON.stringify(options.ifNot);
-        parts.push(`condition_not_pattern => '${jsonStr}'`);
+        parts.push(`forbidden_input_pattern => '${jsonStr}'`);
     }
     if ('whenUnmet' in options && options.whenUnmet !== undefined) {
         parts.push(`when_unmet => '${options.whenUnmet}'`);

package/dist/flow-shape.d.ts

@@ -1,4 +1,15 @@
-import { AnyFlow } from './dsl.js';
+import { AnyFlow, WhenUnmetMode, RetriesExhaustedMode, Json } from './dsl.js';
+/**
+ * Input pattern wrapper - explicit representation to avoid null vs JSON-null ambiguity.
+ * - { defined: false } means no pattern (don't check)
+ * - { defined: true, value: Json } means pattern is set (check against value)
+ */
+export type InputPattern = {
+    defined: false;
+} | {
+    defined: true;
+    value: Json;
+};
 /**
  * Step-level options that can be included in the shape for creation,
  * but are NOT compared during shape comparison (runtime tunable).
@@ -24,11 +35,18 @@ export interface FlowShapeOptions {
  * The `options` field is included for flow creation but NOT compared during
  * shape comparison. Options can be tuned at runtime via SQL without
  * requiring recompilation. See: /deploy/tune-flow-config/
+ *
+ * `whenUnmet`, `whenFailed`, and pattern fields ARE structural - they affect
+ * DAG execution semantics and must match between worker and database.
  */
 export interface StepShape {
     slug: string;
     stepType: 'single' | 'map';
     dependencies: string[];
+    whenUnmet: WhenUnmetMode;
+    whenFailed: RetriesExhaustedMode;
+    requiredInputPattern: InputPattern;
+    forbiddenInputPattern: InputPattern;
     options?: StepShapeOptions;
 }
 /**

package/dist/flow-shape.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"flow-shape.d.ts","sourceRoot":"","sources":["../src/flow-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAMnC;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,GAAG,KAAK,CAAC;IAC3B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAyBD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAwCzD;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,SAAS,EACZ,CAAC,EAAE,SAAS,GACX,qBAAqB,CA6BvB"}
+{"version":3,"file":"flow-shape.d.ts","sourceRoot":"","sources":["../src/flow-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAM9E;;;;GAIG;AACH,MAAM,MAAM,YAAY,GACpB;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,GAClB;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAEnC;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,GAAG,KAAK,CAAC;IAC3B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,aAAa,CAAC;IACzB,UAAU,EAAE,oBAAoB,CAAC;IACjC,oBAAoB,EAAE,YAAY,CAAC;IACnC,qBAAqB,EAAE,YAAY,CAAC;IACpC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAyBD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAoDzD;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,SAAS,EACZ,CAAC,EAAE,SAAS,GACX,qBAAqB,CAiCvB"}

package/dist/flow-shape.js

@@ -33,6 +33,16 @@ export function extractFlowShape(flow) {
             stepType: stepDef.stepType ?? 'single',
             // Sort dependencies alphabetically for deterministic comparison
             dependencies: [...stepDef.dependencies].sort(),
+            // Condition modes are structural - they affect DAG execution semantics
+            whenUnmet: stepDef.options.whenUnmet ?? 'skip',
+            whenFailed: stepDef.options.retriesExhausted ?? 'fail',
+            // Input patterns use explicit wrapper to avoid null vs JSON-null ambiguity
+            requiredInputPattern: stepDef.options.if !== undefined
+                ? { defined: true, value: stepDef.options.if }
+                : { defined: false },
+            forbiddenInputPattern: stepDef.options.ifNot !== undefined
+                ? { defined: true, value: stepDef.options.ifNot }
+                : { defined: false },
         };
         // Only include options if at least one is defined
         const stepOptions = {
@@ -116,4 +126,23 @@ function compareSteps(a, b, index, differences) {
     if (aDeps !== bDeps) {
         differences.push(`Step at index ${index}: dependencies differ [${a.dependencies.join(', ')}] vs [${b.dependencies.join(', ')}]`);
     }
+    // Compare condition modes (structural - affects DAG execution semantics)
+    if (a.whenUnmet !== b.whenUnmet) {
+        differences.push(`Step at index ${index}: whenUnmet differs '${a.whenUnmet}' vs '${b.whenUnmet}'`);
+    }
+    if (a.whenFailed !== b.whenFailed) {
+        differences.push(`Step at index ${index}: whenFailed differs '${a.whenFailed}' vs '${b.whenFailed}'`);
+    }
+    // Compare pattern fields (structural - affects DAG execution semantics)
+    // Uses wrapper objects: { defined: false } or { defined: true, value: Json }
+    const aReqPattern = JSON.stringify(a.requiredInputPattern);
+    const bReqPattern = JSON.stringify(b.requiredInputPattern);
+    if (aReqPattern !== bReqPattern) {
+        differences.push(`Step at index ${index}: requiredInputPattern differs '${aReqPattern}' vs '${bReqPattern}'`);
+    }
+    const aForbPattern = JSON.stringify(a.forbiddenInputPattern);
+    const bForbPattern = JSON.stringify(b.forbiddenInputPattern);
+    if (aForbPattern !== bForbPattern) {
+        differences.push(`Step at index ${index}: forbiddenInputPattern differs '${aForbPattern}' vs '${bForbPattern}'`);
+    }
 }

package/dist/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pgflow/dsl",
-  "version": "0.0.0-condition-4354fcb6-20260108134756",
+  "version": "0.0.0-condition-534994a1-20260113121112",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pgflow/dsl",
-  "version": "0.0.0-condition-4354fcb6-20260108134756",
+  "version": "0.0.0-condition-534994a1-20260113121112",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",