@unlaxer/tramli 3.5.1 → 3.6.0

package/dist/cjs/flow-definition.d.ts

@@ -11,6 +11,7 @@ export declare class FlowDefinition<S extends string> {
     readonly initialState: S | null;
     readonly terminalStates: Set<S>;
     readonly dataFlowGraph: DataFlowGraph<S> | null;
+    readonly strictMode: boolean;
     readonly warnings: string[];
     readonly exceptionRoutes: Map<S, Array<{
         errorClass: new (...args: any[]) => Error;
@@ -47,6 +48,7 @@ export declare class Builder<S extends string> {
     private readonly initiallyAvailableKeys;
     private readonly externallyProvidedKeys;
     private _perpetual;
+    private _strictMode;
     constructor(name: string, stateConfig: Record<S, StateConfig>);
     initiallyAvailable(...keys: FlowKey<unknown>[]): this;
     /** Declare data keys injected via resumeAndExecute(externalData), not available at start. */
@@ -64,6 +66,8 @@ export declare class Builder<S extends string> {
     onStateExit(state: S, action: (ctx: import('./flow-context.js').FlowContext) => void): this;
     /** Allow perpetual flows (no terminal states). Skips path-to-terminal validation. */
     allowPerpetual(): this;
+    /** Declare that this flow should run in strict mode (produces verification). */
+    strictMode(): this;
     /** @internal */
     addTransition(t: Transition<S>): void;
     build(): FlowDefinition<S>;

package/dist/cjs/flow-definition.js

@@ -13,6 +13,7 @@ class FlowDefinition {
     initialState;
     terminalStates;
     dataFlowGraph;
+    strictMode;
     warnings;
     exceptionRoutes;
     enterActions;
@@ -115,6 +116,7 @@ class Builder {
     initiallyAvailableKeys = [];
     externallyProvidedKeys = [];
     _perpetual = false;
+    _strictMode = false;
     constructor(name, stateConfig) {
         this.name = name;
         this.stateConfig = stateConfig;
@@ -165,6 +167,8 @@ class Builder {
     }
     /** Allow perpetual flows (no terminal states). Skips path-to-terminal validation. */
     allowPerpetual() { this._perpetual = true; return this; }
+    /** Declare that this flow should run in strict mode (produces verification). */
+    strictMode() { this._strictMode = true; return this; }
     /** @internal */
     addTransition(t) { this.transitions.push(t); }
     build() {
@@ -201,6 +205,7 @@ class Builder {
             warnings.push(`Perpetual flow '${this.name}' has External transitions — ensure events are always delivered to avoid deadlock (liveness risk)`);
         }
         result.warnings = warnings;
+        result.strictMode = this._strictMode;
         result.exceptionRoutes = new Map(this._exceptionRoutes);
         result.enterActions = new Map(this._enterActions);
         result.exitActions = new Map(this._exitActions);

package/dist/cjs/flow-engine.js

@@ -188,7 +188,7 @@ class FlowEngine {
                 if (autoOrBranch.type === 'auto') {
                     if (autoOrBranch.processor) {
                         await autoOrBranch.processor.process(flow.context);
-                        this.verifyProduces(autoOrBranch.processor, flow.context);
+                        this.verifyProduces(autoOrBranch.processor, flow.context, flow.definition.strictMode);
                     }
                     const from = flow.currentState;
                     this.fireExit(flow, from);
@@ -318,8 +318,8 @@ class FlowEngine {
         this.store.save(parentFlow);
         return parentFlow;
     }
-    verifyProduces(processor, ctx) {
-        if (!this.strictMode)
+    verifyProduces(processor, ctx, defStrictMode) {
+        if (!this.strictMode && !defStrictMode)
             return;
         for (const prod of processor.produces) {
             if (!ctx.has(prod)) {

package/dist/esm/flow-definition.d.ts

@@ -11,6 +11,7 @@ export declare class FlowDefinition<S extends string> {
     readonly initialState: S | null;
     readonly terminalStates: Set<S>;
     readonly dataFlowGraph: DataFlowGraph<S> | null;
+    readonly strictMode: boolean;
     readonly warnings: string[];
     readonly exceptionRoutes: Map<S, Array<{
         errorClass: new (...args: any[]) => Error;
@@ -47,6 +48,7 @@ export declare class Builder<S extends string> {
     private readonly initiallyAvailableKeys;
     private readonly externallyProvidedKeys;
     private _perpetual;
+    private _strictMode;
     constructor(name: string, stateConfig: Record<S, StateConfig>);
     initiallyAvailable(...keys: FlowKey<unknown>[]): this;
     /** Declare data keys injected via resumeAndExecute(externalData), not available at start. */
@@ -64,6 +66,8 @@ export declare class Builder<S extends string> {
     onStateExit(state: S, action: (ctx: import('./flow-context.js').FlowContext) => void): this;
     /** Allow perpetual flows (no terminal states). Skips path-to-terminal validation. */
     allowPerpetual(): this;
+    /** Declare that this flow should run in strict mode (produces verification). */
+    strictMode(): this;
     /** @internal */
     addTransition(t: Transition<S>): void;
     build(): FlowDefinition<S>;

package/dist/esm/flow-definition.js

@@ -10,6 +10,7 @@ export class FlowDefinition {
     initialState;
     terminalStates;
     dataFlowGraph;
+    strictMode;
     warnings;
     exceptionRoutes;
     enterActions;
@@ -111,6 +112,7 @@ export class Builder {
     initiallyAvailableKeys = [];
     externallyProvidedKeys = [];
     _perpetual = false;
+    _strictMode = false;
     constructor(name, stateConfig) {
         this.name = name;
         this.stateConfig = stateConfig;
@@ -161,6 +163,8 @@ export class Builder {
     }
     /** Allow perpetual flows (no terminal states). Skips path-to-terminal validation. */
     allowPerpetual() { this._perpetual = true; return this; }
+    /** Declare that this flow should run in strict mode (produces verification). */
+    strictMode() { this._strictMode = true; return this; }
     /** @internal */
     addTransition(t) { this.transitions.push(t); }
     build() {
@@ -197,6 +201,7 @@ export class Builder {
             warnings.push(`Perpetual flow '${this.name}' has External transitions — ensure events are always delivered to avoid deadlock (liveness risk)`);
         }
         result.warnings = warnings;
+        result.strictMode = this._strictMode;
         result.exceptionRoutes = new Map(this._exceptionRoutes);
         result.enterActions = new Map(this._enterActions);
         result.exitActions = new Map(this._exitActions);

package/dist/esm/flow-engine.js

@@ -185,7 +185,7 @@ export class FlowEngine {
                 if (autoOrBranch.type === 'auto') {
                     if (autoOrBranch.processor) {
                         await autoOrBranch.processor.process(flow.context);
-                        this.verifyProduces(autoOrBranch.processor, flow.context);
+                        this.verifyProduces(autoOrBranch.processor, flow.context, flow.definition.strictMode);
                     }
                     const from = flow.currentState;
                     this.fireExit(flow, from);
@@ -315,8 +315,8 @@ export class FlowEngine {
         this.store.save(parentFlow);
         return parentFlow;
     }
-    verifyProduces(processor, ctx) {
-        if (!this.strictMode)
+    verifyProduces(processor, ctx, defStrictMode) {
+        if (!this.strictMode && !defStrictMode)
             return;
         for (const prod of processor.produces) {
             if (!ctx.has(prod)) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@unlaxer/tramli",
-  "version": "3.5.1",
+  "version": "3.6.0",
   "description": "Constrained flow engine — state machines that prevent invalid transitions at build time",
   "type": "module",
   "exports": {