@nt-ai-lab/deterministic-agent-workflow-engine 0.1.2 → 0.1.4

package/dist/index.d.ts

@@ -15,3 +15,5 @@ export type { EngineResult, RehydratableWorkflow, WorkflowDefinition, WorkflowEv
 export type { TranscriptMessage, TranscriptReader } from './platform/infra/external-clients/transcript/transcript-reader';
 export type { IdentityCheckResult } from './platform/domain/identity-verification';
 export { checkIdentity } from './platform/domain/identity-verification';
+export { workflowSpec, WorkflowSpecError, } from './platform/domain/testing/workflow-spec';
+export type { GivenPhase, OperationResult, SpecConfig, ThrowResult, WorkflowSpecification, } from './platform/domain/testing/workflow-spec';

package/dist/index.js

@@ -6,3 +6,4 @@ export { checkBashCommand } from './platform/domain/bash-enforcement.js';
 export { pass, fail } from './platform/domain/precondition-result.js';
 export { WorkflowEngine } from './platform/domain/workflow-engine.js';
 export { checkIdentity } from './platform/domain/identity-verification.js';
+export { workflowSpec, WorkflowSpecError, } from './platform/domain/testing/workflow-spec.js';

package/dist/platform/domain/testing/workflow-spec.d.ts

@@ -0,0 +1,35 @@
+/** @riviere-role value-object */
+export type SpecConfig<TEvent, TState, TDeps, TWorkflow> = {
+    readonly fold: (events: readonly TEvent[]) => TState;
+    readonly rehydrate: (state: TState, deps: TDeps) => TWorkflow;
+    readonly defaultDeps: () => TDeps;
+    readonly getPendingEvents: (wf: TWorkflow) => readonly TEvent[];
+    readonly getState: (wf: TWorkflow) => TState;
+    readonly mergeDeps: (defaults: TDeps, overrides: Partial<TDeps>) => TDeps;
+};
+/** @riviere-role value-object */
+export type OperationResult<TEvent, TState, TResult> = {
+    readonly result: TResult;
+    readonly events: readonly TEvent[];
+    readonly state: TState;
+};
+/** @riviere-role value-object */
+export type ThrowResult = {
+    readonly error: unknown;
+};
+/** @riviere-role value-object */
+export type GivenPhase<TEvent, TState, TDeps, TWorkflow> = {
+    readonly withDeps: (overrides: Partial<TDeps>) => GivenPhase<TEvent, TState, TDeps, TWorkflow>;
+    readonly when: <TResult>(op: (wf: TWorkflow) => TResult) => OperationResult<TEvent, TState, TResult>;
+    readonly whenThrows: (op: (wf: TWorkflow) => unknown) => ThrowResult;
+};
+/** @riviere-role value-object */
+export type WorkflowSpecification<TEvent, TState, TDeps, TWorkflow> = {
+    readonly given: (...events: readonly TEvent[]) => GivenPhase<TEvent, TState, TDeps, TWorkflow>;
+};
+/** @riviere-role domain-error */
+export declare class WorkflowSpecError extends Error {
+    constructor(message: string);
+}
+/** @riviere-role domain-service */
+export declare function workflowSpec<TEvent, TState, TDeps, TWorkflow>(config: SpecConfig<TEvent, TState, TDeps, TWorkflow>): WorkflowSpecification<TEvent, TState, TDeps, TWorkflow>;

package/dist/platform/domain/testing/workflow-spec.js

@@ -0,0 +1,44 @@
+/** @riviere-role domain-error */
+export class WorkflowSpecError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'WorkflowSpecError';
+    }
+}
+const EMPTY_OVERRIDES = Object.freeze({});
+/** @riviere-role domain-service */
+export function workflowSpec(config) {
+    function buildGiven(events, depOverrides) {
+        const resolveDeps = () => config.mergeDeps(config.defaultDeps(), depOverrides);
+        const rehydrate = () => {
+            const state = config.fold(events);
+            return config.rehydrate(state, resolveDeps());
+        };
+        return {
+            withDeps: (overrides) => buildGiven(events, {
+                ...depOverrides,
+                ...overrides,
+            }),
+            when: (op) => {
+                const wf = rehydrate();
+                const result = op(wf);
+                return {
+                    result,
+                    events: config.getPendingEvents(wf),
+                    state: config.getState(wf),
+                };
+            },
+            whenThrows: (op) => {
+                const wf = rehydrate();
+                try {
+                    op(wf);
+                }
+                catch (error) {
+                    return { error };
+                }
+                throw new WorkflowSpecError('Expected operation to throw, but it did not');
+            },
+        };
+    }
+    return { given: (...events) => buildGiven(events, EMPTY_OVERRIDES) };
+}

package/dist/platform/domain/workflow-engine-support.d.ts

@@ -10,4 +10,4 @@ export declare function buildProcedurePath<TStateName extends string>(engineDeps
 /** @riviere-role domain-service */
 export declare function readProcedure<TStateName extends string>(engineDeps: WorkflowEngineDeps, stateName: TStateName): string;
 /** @riviere-role domain-service */
-export declare function enrichSessionStartedEvents<TStateName extends string>(engineDeps: WorkflowEngineDeps, events: readonly BaseEvent[], transcriptPath: string, repository: string, currentState: TStateName, states: readonly string[]): readonly BaseEvent[];
+export declare function enrichSessionStartedEvents<TStateName extends string>(engineDeps: WorkflowEngineDeps, events: readonly BaseEvent[], transcriptPath: string, repository: string | undefined, currentState: TStateName, states: readonly string[]): readonly BaseEvent[];

package/dist/platform/domain/workflow-engine-support.js

@@ -28,7 +28,7 @@ export function enrichSessionStartedEvents(engineDeps, events, transcriptPath, r
         return {
             ...event,
             transcriptPath,
-            repository,
+            ...(repository === undefined ? {} : { repository }),
             currentState,
             states: [...states],
         };
@@ -40,7 +40,7 @@ export function enrichSessionStartedEvents(engineDeps, events, transcriptPath, r
             type: 'session-started',
             at: engineDeps.now(),
             transcriptPath,
-            repository,
+            ...(repository === undefined ? {} : { repository }),
             currentState,
             states: [...states],
         }, ...enriched];

package/dist/platform/domain/workflow-engine.js

@@ -23,12 +23,6 @@ export class WorkflowEngine {
         const initialState = this.factory.initialState();
         const workflow = this.factory.buildWorkflow(initialState, this.workflowDeps);
         const resolvedRepository = repository ?? this.engineDeps.getRepositoryName?.();
-        if (resolvedRepository === undefined || resolvedRepository === '') {
-            return {
-                type: 'error',
-                output: 'Could not determine repository name for session-started event.'
-            };
-        }
         workflow.startSession(transcriptPath, resolvedRepository);
         const registry = this.factory.getRegistry();
         const stateNames = Object.keys(registry);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nt-ai-lab/deterministic-agent-workflow-engine",
-  "version": "0.1.2",
+  "version": "0.1.4",
   "private": false,
   "type": "module",
   "exports": {