@haibun/core 1.75.2 → 3.0.0

package/build/runner.js

@@ -1,4 +1,3 @@
-import { applyEffectFeatures } from './applyEffectFeatures.js';
 import { expand } from './lib/features.js';
 import { verifyRequiredOptions, verifyExtraOptions, createSteppers, setStepperWorldsAndDomains } from './lib/util/index.js';
 import { getSteppers } from './lib/util/workspace-lib.js';
@@ -13,7 +12,7 @@ export class Runner {
         this.world = world;
     }
     errorBail = (phase, error, details) => {
-        this.world.logger.error(`errorBail ${phase} ${error} ${details}`, error.stack);
+        // this.world.logger.error(`errorBail ${phase} ${error} ${details}`, error.stack);
         this.result = {
             ok: false,
             shared: this.world.shared,
@@ -27,7 +26,7 @@ export class Runner {
     async run(steppers, featureFilter = []) {
         let featuresBackgrounds = undefined;
         try {
-            featuresBackgrounds = getFeaturesAndBackgrounds(this.world.bases, featureFilter);
+            featuresBackgrounds = await getFeaturesAndBackgrounds(this.world.bases, featureFilter);
         }
         catch (error) {
             this.errorBail('Collector', error);
@@ -45,11 +44,9 @@ export class Runner {
             // Make backgrounds available at runtime for inline `Backgrounds:` expansion
             this.world.runtime.backgrounds = featuresBackgrounds.backgrounds;
             const expandedFeatures = await expand(featuresBackgrounds).catch((error) => this.errorBail('Expand', error));
-            const resolver = new Resolver(this.steppers);
+            const resolver = new Resolver(this.steppers, featuresBackgrounds.backgrounds);
             const resolvedFeatures = await resolver.resolveStepsFromFeatures(expandedFeatures).catch((error) => this.errorBail('Resolve', error));
-            const appliedResolvedFeatures = await applyEffectFeatures(this.world, resolvedFeatures, this.steppers);
-            this.world.logger.log(`features: ${appliedResolvedFeatures.length} (${appliedResolvedFeatures.map((e) => e.path)}) backgrounds: ${featuresBackgrounds.backgrounds.length}`);
-            this.result = await Executor.executeFeatures(this.steppers, this.world, appliedResolvedFeatures).catch((error) => this.errorBail('Execute', error));
+            this.result = await Executor.executeFeatures(this.steppers, this.world, resolvedFeatures).catch((error) => this.errorBail('Execute', error));
         }
         catch (error) {
             if (!this.result) {

package/build/runner.js.map

@@ -1 +1 @@
-{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAI/D,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAC5H,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAwB,MAAM,uBAAuB,CAAC;AACxF,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,MAAM,OAAO,MAAM;IAIE;IAHZ,MAAM,GAAoB,SAAS,CAAC;IAC5C,QAAQ,CAAa;IAErB,YAAoB,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAI,CAAC;IAE9B,SAAS,GAAG,CAAC,KAAa,EAAE,KAAgB,EAAE,OAAmB,EAAE,EAAE;QAC5E,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,KAAK,IAAI,OAAO,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/E,IAAI,CAAC,MAAM,GAAG;YACb,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACzB,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG;YACnB,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;YACtG,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACvB,CAAC;QACF,8BAA8B;QAC9B,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,CAAC,GAAG,CAAC,QAAkB,EAAE,aAAa,GAAG,EAAE;QAC/C,IAAI,mBAAmB,GAAyB,SAAS,CAAC;QAC1D,IAAI,CAAC;YACJ,mBAAmB,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAClF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;QAClG,MAAM,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5H,MAAM,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;QAEvH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;QAC5F,OAAO,cAAc,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,yBAAyB,CAAC,SAAqB,EAAE,mBAAyC;QAC/F,IAAI,CAAC;YACJ,IAAI,CAAC,QAAQ,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,0BAA0B,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5D,4EAA4E;YAC5E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,mBAAmB,CAAC,WAAW,CAAC;YACjE,MAAM,gBAAgB,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YAE7G,MAAM,QAAQ,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,gBAAgB,GAAG,MAAM,QAAQ,CAAC,wBAAwB,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YACtI,MAAM,uBAAuB,GAAG,MAAM,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAEvG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,uBAAuB,CAAC,MAAM,KAAK,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,mBAAmB,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;YAE5K,IAAI,CAAC,MAAM,GAAG,MAAM,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,uBAAuB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAChH,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAChC,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAClB,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAChC,CAAC;QACF,CAAC;QAED,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;CACD"}
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAC5H,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAwB,MAAM,uBAAuB,CAAC;AACxF,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,MAAM,OAAO,MAAM;IAIE;IAHZ,MAAM,GAAoB,SAAS,CAAC;IAC5C,QAAQ,CAAa;IAErB,YAAoB,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAI,CAAC;IAE9B,SAAS,GAAG,CAAC,KAAa,EAAE,KAAgB,EAAE,OAAmB,EAAE,EAAE;QAC5E,kFAAkF;QAClF,IAAI,CAAC,MAAM,GAAG;YACb,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACzB,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG;YACnB,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;YACtG,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACvB,CAAC;QACF,8BAA8B;QAC9B,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,CAAC,GAAG,CAAC,QAAkB,EAAE,aAAa,GAAG,EAAE;QAC/C,IAAI,mBAAmB,GAAyB,SAAS,CAAC;QAC1D,IAAI,CAAC;YACJ,mBAAmB,GAAG,MAAM,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACxF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;QAClG,MAAM,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5H,MAAM,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;QAEvH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;QAC5F,OAAO,cAAc,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,yBAAyB,CAAC,SAAqB,EAAE,mBAAyC;QAC/F,IAAI,CAAC;YACJ,IAAI,CAAC,QAAQ,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,0BAA0B,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5D,4EAA4E;YAC5E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,mBAAmB,CAAC,WAAW,CAAC;YACjE,MAAM,gBAAgB,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YAE7G,MAAM,QAAQ,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAC9E,MAAM,gBAAgB,GAAG,MAAM,QAAQ,CAAC,wBAAwB,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAEtI,IAAI,CAAC,MAAM,GAAG,MAAM,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACzG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAChC,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAClB,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAChC,CAAC;QACF,CAAC;QAED,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;CACD"}

package/build/steps/activities-stepper.d.ts

@@ -0,0 +1,79 @@
+import { AStepper, TStepperSteps } from '../lib/astepper.js';
+import { TStepArgs, TFeatureStep, TWorld, IStepperCycles, TStepperStep, TFeatures } from '../lib/defs.js';
+type TActivitiesFixedSteps = {
+    activity: TStepperStep;
+    waypoint: TStepperStep;
+    ensure: TStepperStep;
+    forget: TStepperStep;
+    waypointed: TStepperStep;
+    showWaypoints: TStepperStep;
+};
+type TActivitiesStepperSteps = TStepperSteps & TActivitiesFixedSteps;
+/**
+ * Stepper that dynamically builds virtual steps from `waypoint` statements.
+ * implements this logic: P ∨ (¬P ∧ [A]P)
+ */
+export declare class ActivitiesStepper extends AStepper {
+    private steppers;
+    private backgroundOutcomePatterns;
+    private featureOutcomePatterns;
+    private outcomeToFeaturePath;
+    private currentFeaturePath;
+    private lastFeaturePath;
+    private ensuredInstances;
+    private readonly baseSteps;
+    readonly typedSteps: {
+        readonly activity: {
+            readonly gwta: "Activity: {activity}";
+            readonly action: () => import("../lib/defs.js").TOKActionResult;
+        };
+        readonly waypoint: {
+            readonly gwta: "waypoint {outcome} with {proof:statement}";
+            readonly resolveFeatureLine: (line: string, path: string, stepper: AStepper, _backgrounds: TFeatures, allLines?: string[], lineIndex?: number) => boolean;
+            readonly action: ({ proof }: {
+                proof: TFeatureStep[];
+            }, featureStep: TFeatureStep) => Promise<import("../lib/defs.js").TOKActionResult | import("../lib/defs.js").TNotOKActionResult>;
+        };
+        readonly ensure: {
+            readonly description: "Ensure a waypoint condition by always running the proof. If proof passes, waypoint is already satisfied. If proof fails, run the full activity to satisfy it.";
+            readonly gwta: "ensure {outcome:statement}";
+            readonly action: ({ outcome }: {
+                outcome: TFeatureStep[];
+            }, featureStep: TFeatureStep) => Promise<import("../lib/defs.js").TOKActionResult | import("../lib/defs.js").TNotOKActionResult>;
+        };
+        readonly forget: {
+            readonly description: "Deprecated: forget is no longer needed since ensure always re-verifies outcomes";
+            readonly gwta: "forget {outcome:statement}";
+            readonly action: ({ outcome }: {
+                outcome: TFeatureStep[];
+            }, featureStep: TFeatureStep) => import("../lib/defs.js").TOKActionResult;
+        };
+        readonly waypointed: {
+            readonly description: "Deprecated: waypointed is no longer meaningful since outcomes are not cached";
+            readonly gwta: "waypointed {outcome:statement}";
+            readonly action: ({ outcome }: {
+                outcome: TFeatureStep[];
+            }) => import("../lib/defs.js").TOKActionResult;
+        };
+        readonly showWaypoints: {
+            readonly exact: "show waypoints";
+            readonly action: (_args: TStepArgs, featureStep: TFeatureStep) => Promise<import("../lib/defs.js").TOKActionResult>;
+        };
+    };
+    steps: TActivitiesStepperSteps;
+    cycles: IStepperCycles;
+    setWorld(world: TWorld, steppers: AStepper[]): Promise<void>;
+    /**
+     * Register a dynamic outcome step.
+     * This is called when parsing `waypoint` statements.
+     *
+     * @param outcome - The outcome pattern (e.g., "Is logged in as {user}")
+     * @param proofStatements - Array of statement strings from the DOMAIN_STATEMENT proof
+     * @param proofPath - The path of the feature containing the proof
+     * @param isBackground - Whether this outcome is defined in a background (persists across features)
+     * @param activityBlockSteps - Optional array of all steps in the containing activity block
+     */
+    registerOutcome(outcome: string, proofStatements: string[], proofPath: string, isBackground?: boolean, activityBlockSteps?: string[]): void;
+}
+export default ActivitiesStepper;
+//# sourceMappingURL=activities-stepper.d.ts.map

package/build/steps/activities-stepper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"activities-stepper.d.ts","sourceRoot":"","sources":["../../src/steps/activities-stepper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAiB,SAAS,EAAE,YAAY,EAAM,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAQ7H,KAAK,qBAAqB,GAAG;IAC5B,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,UAAU,EAAE,YAAY,CAAC;IACzB,aAAa,EAAE,YAAY,CAAC;CAC5B,CAAC;AAEF,KAAK,uBAAuB,GAAG,aAAa,GAAG,qBAAqB,CAAC;AAErE;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,QAAQ;IAC9C,OAAO,CAAC,QAAQ,CAAkB;IAElC,OAAO,CAAC,yBAAyB,CAA0B;IAC3D,OAAO,CAAC,sBAAsB,CAA0B;IAExD,OAAO,CAAC,oBAAoB,CAAkC;IAE9D,OAAO,CAAC,kBAAkB,CAAc;IAExC,OAAO,CAAC,eAAe,CAAc;IAErC,OAAO,CAAC,gBAAgB,CAA+D;IAEvF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAwNiB;IAE3C,QAAQ,CAAC,UAAU;;;;;;;gDAlNU,MAAM,QAAQ,MAAM,WAAW,QAAQ,gBAAgB,SAAS,aAAa,MAAM,EAAE,cAAc,MAAM;yCA+D1G;gBAAE,KAAK,EAAE,YAAY,EAAE,CAAA;aAAE,eAAe,YAAY;;;;;2CAiBlD;gBAAE,OAAO,EAAE,YAAY,EAAE,CAAA;aAAE,eAAe,YAAY;;;;;2CAqD5D;gBAAE,OAAO,EAAE,YAAY,EAAE,CAAA;aAAE,eAAe,YAAY;;;;;2CAWtD;gBAAE,OAAO,EAAE,YAAY,EAAE,CAAA;aAAE;;;;6DAWd,YAAY;;MAuDZ;IAErC,KAAK,EAAE,uBAAuB,CAAyB;IAEvD,MAAM,EAAE,cAAc,CA8BrB;IACK,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE;IAKlD;;;;;;;;;OASG;IACH,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,OAAO,EAAE,kBAAkB,CAAC,EAAE,MAAM,EAAE;CAkHpI;AAED,eAAe,iBAAiB,CAAC"}

package/build/steps/activities-stepper.js

@@ -0,0 +1,342 @@
+import { AStepper } from '../lib/astepper.js';
+import { OK } from '../lib/defs.js';
+import { executeSubFeatureSteps, findFeatureStepsFromStatement } from '../lib/util/featureStep-executor.js';
+import { ExecMode } from '../lib/defs.js';
+import { actionOK, actionNotOK, getActionable } from '../lib/util/index.js';
+import { DOMAIN_STATEMENT } from '../lib/domain-types.js';
+import { EExecutionMessageType } from '../lib/interfaces/logger.js';
+/**
+ * Stepper that dynamically builds virtual steps from `waypoint` statements.
+ * implements this logic: P ∨ (¬P ∧ [A]P)
+ */
+export class ActivitiesStepper extends AStepper {
+    steppers = [];
+    // Track which outcome patterns were defined in backgrounds vs features
+    backgroundOutcomePatterns = new Set();
+    featureOutcomePatterns = new Set();
+    // Track which feature each feature-scoped outcome belongs to (for proper cleanup)
+    outcomeToFeaturePath = new Map();
+    // Track the currently running feature path
+    currentFeaturePath = '';
+    // Track the last feature path to clear outcomes from it when starting a new feature
+    lastFeaturePath = '';
+    // Track ensured waypoint instances with their interpolated proofs
+    ensuredInstances = new Map();
+    baseSteps = {
+        activity: {
+            gwta: 'Activity: {activity}',
+            action: () => OK
+        },
+        waypoint: {
+            gwta: `waypoint {outcome} with {proof:${DOMAIN_STATEMENT}}`,
+            resolveFeatureLine: (line, path, stepper, _backgrounds, allLines, lineIndex) => {
+                // Simple regex match to check if this is a waypoint statement
+                if (!line.match(/^waypoint\s+.+?\s+with\s+/i)) {
+                    return false;
+                }
+                const activitiesStepper = stepper;
+                // Extract outcome name
+                const match = line.match(/^waypoint\s+(.+?)\s+with\s+(.+?)$/i);
+                if (!match) {
+                    return false;
+                }
+                const outcome = match[1].trim();
+                // Skip if this outcome pattern is already registered
+                // This prevents infinite loops if resolveFeatureLine is called multiple times
+                if (activitiesStepper.backgroundOutcomePatterns.has(outcome) || activitiesStepper.featureOutcomePatterns.has(outcome)) {
+                    return true;
+                }
+                const isBackground = path.includes('backgrounds/');
+                const proofRaw = match[2].trim();
+                // Parse the proof statements from the waypoint clause (DOMAIN_STATEMENT)
+                const proofFromRemember = proofRaw.split('\n').map(s => s.trim()).filter(s => s.length > 0);
+                // Check if we're in an activity block by scanning backwards through allLines
+                let activityBlockSteps;
+                if (allLines && lineIndex !== undefined) {
+                    // Scan backwards from current line to find the Activity: marker
+                    let activityStartLine = -1;
+                    for (let i = lineIndex - 1; i >= 0; i--) {
+                        const prevLine = getActionable(allLines[i]);
+                        if (prevLine.match(/^Activity:/i)) {
+                            activityStartLine = i;
+                            break;
+                        }
+                        // Stop if we hit another major section marker
+                        if (prevLine.match(/^(Feature|Scenario|Background):/i)) {
+                            break;
+                        }
+                    }
+                    if (activityStartLine !== -1) {
+                        // Collect ALL steps in the activity block up to and including the current waypoint statement
+                        const blockLines = [];
+                        for (let i = activityStartLine + 1; i < lineIndex; i++) { // Use < instead of <= to exclude waypoint line
+                            const stepLine = getActionable(allLines[i]);
+                            if (stepLine) {
+                                blockLines.push(stepLine);
+                            }
+                        }
+                        activityBlockSteps = blockLines;
+                    }
+                }
+                // Register the outcome with its proof from the DOMAIN_STATEMENT
+                activitiesStepper.registerOutcome(outcome, proofFromRemember, path, isBackground, activityBlockSteps);
+                return true; // Skip normal step resolution since we've registered the outcome
+            },
+            action: async ({ proof }, featureStep) => {
+                // Execute the proof statements to satisfy this outcome
+                this.getWorld().logger.debug(`waypoint action: executing ${proof?.length || 0} proof steps`);
+                const result = await executeSubFeatureSteps(featureStep, proof, this.steppers, this.getWorld(), ExecMode.NO_CYCLES);
+                if (!result.ok) {
+                    return actionNotOK(`waypoint: failed to execute proof steps`);
+                }
+                return actionOK();
+            },
+        },
+        ensure: {
+            description: 'Ensure a waypoint condition by always running the proof. If proof passes, waypoint is already satisfied. If proof fails, run the full activity to satisfy it.',
+            gwta: `ensure {outcome:${DOMAIN_STATEMENT}}`,
+            action: async ({ outcome }, featureStep) => {
+                // Build outcome key from the resolved outcome steps
+                const outcomeKey = outcome.map(step => step.in).join(' ');
+                this.getWorld().logger.debug(`ensure: verifying waypoint "${outcomeKey}"`);
+                // Get the pattern from the first outcome step's action
+                const pattern = outcome[0]?.action?.actionName || outcomeKey;
+                // Get the registered waypoint to access its proof
+                const registeredWaypoint = this.steps[pattern];
+                if (!registeredWaypoint) {
+                    const messageContext = {
+                        incident: EExecutionMessageType.ACTION,
+                        incidentDetails: { waypoint: outcomeKey, error: 'waypoint not registered' }
+                    };
+                    return actionNotOK(`ensure: waypoint "${outcomeKey}" (pattern "${pattern}") is not registered`, { messageContext });
+                }
+                // Always execute the full waypoint (which includes the proof verification)
+                const result = await executeSubFeatureSteps(featureStep, outcome, this.steppers, this.getWorld(), ExecMode.NO_CYCLES);
+                if (!result.ok) {
+                    const messageContext = {
+                        incident: EExecutionMessageType.ACTION,
+                        incidentDetails: { waypoint: outcomeKey, satisfied: false, error: result }
+                    };
+                    return actionNotOK(`ensure: waypoint "${outcomeKey}" could not be satisfied`, { messageContext });
+                }
+                // Extract the interpolated proof statements from the result
+                const proofStatements = result.stepActionResult?.messageContext?.incidentDetails?.proofStatements;
+                // Track this ensured instance
+                if (proofStatements) {
+                    this.ensuredInstances.set(outcomeKey, { proof: proofStatements, valid: true });
+                }
+                this.getWorld().logger.debug(`ensure: waypoint "${outcomeKey}" verified and satisfied`);
+                const messageContext = {
+                    incident: EExecutionMessageType.ACTION,
+                    incidentDetails: {
+                        waypoint: outcomeKey,
+                        satisfied: true,
+                        proofStatements
+                    }
+                };
+                return actionOK({ messageContext });
+            },
+        },
+        forget: {
+            description: 'Deprecated: forget is no longer needed since ensure always re-verifies outcomes',
+            gwta: `forget {outcome:${DOMAIN_STATEMENT}}`,
+            action: ({ outcome }, featureStep) => {
+                const outcomeKey = outcome.map(step => step.in).join(' ');
+                this.getWorld().logger.debug(`forget: deprecated no-op for outcome "${outcomeKey}" (from ${featureStep.in}). Outcomes are no longer cached, so forget is unnecessary.`);
+                const messageContext = { incident: EExecutionMessageType.ACTION, incidentDetails: { outcome: outcomeKey, deprecated: true } };
+                return actionOK({ messageContext });
+            },
+        },
+        waypointed: {
+            description: 'Deprecated: waypointed is no longer meaningful since outcomes are not cached',
+            gwta: `waypointed {outcome:${DOMAIN_STATEMENT}}`,
+            action: ({ outcome }) => {
+                const outcomeKey = outcome.map(step => step.in).join(' ');
+                this.getWorld().logger.debug(`waypointed: deprecated for outcome "${outcomeKey}". Outcomes are verified on each ensure, not cached.`);
+                const messageContext = { incident: EExecutionMessageType.ACTION, incidentDetails: { outcome: outcomeKey, deprecated: true } };
+                return actionOK({ messageContext });
+            },
+        },
+        showWaypoints: {
+            exact: 'show waypoints',
+            action: async (_args, featureStep) => {
+                // Show ensured waypoint instances with their current validity
+                const waypointResults = {};
+                // Check validity of all ensured instances
+                for (const [instanceKey, instanceData] of this.ensuredInstances.entries()) {
+                    this.getWorld().logger.debug(`show waypoints: verifying "${instanceKey}"`);
+                    try {
+                        // Re-verify the proof for this instance
+                        const resolvedSteps = [];
+                        for (let i = 0; i < instanceData.proof.length; i++) {
+                            const statement = instanceData.proof[i];
+                            const resolved = findFeatureStepsFromStatement(statement, this.steppers, this.getWorld(), featureStep.path, [...featureStep.seqPath, i], 1);
+                            // Add waypoint context to each proof step
+                            const contextualizedSteps = resolved.map(step => ({
+                                ...step,
+                                in: `[${instanceKey} proof] ${step.in}`
+                            }));
+                            resolvedSteps.push(...contextualizedSteps);
+                        }
+                        // Execute the proof statements with NO_CYCLES to check current validity
+                        const result = await executeSubFeatureSteps(featureStep, resolvedSteps, this.steppers, this.getWorld(), ExecMode.NO_CYCLES);
+                        waypointResults[instanceKey] = {
+                            proof: instanceData.proof.join('; '),
+                            currentlyValid: result.ok
+                        };
+                    }
+                    catch (error) {
+                        waypointResults[instanceKey] = {
+                            proof: instanceData.proof.join('; '),
+                            currentlyValid: false,
+                            error: error instanceof Error ? error.message : String(error)
+                        };
+                    }
+                }
+                this.getWorld().logger.info(`Waypoints (${Object.keys(waypointResults).length} ensured):\n${JSON.stringify(waypointResults, null, 2)}`);
+                return actionOK({ messageContext: { incident: EExecutionMessageType.ACTION, incidentDetails: { waypoints: waypointResults } } });
+            },
+        },
+    };
+    typedSteps = this.baseSteps;
+    steps = { ...this.baseSteps };
+    cycles = {
+        startFeature: (startFeature) => {
+            this.getWorld().logger.info(`ActivitiesStepper.startFeature: starting feature at path "${startFeature.resolvedFeature.path}"`);
+            // If we were running a different feature before, clear its outcomes
+            if (this.lastFeaturePath && this.lastFeaturePath !== startFeature.resolvedFeature.path) {
+                this.getWorld().logger.info(`ActivitiesStepper.startFeature: clearing outcomes from previous feature "${this.lastFeaturePath}"`);
+                const outcomesToClear = [];
+                for (const [outcome, featurePath] of this.outcomeToFeaturePath.entries()) {
+                    if (featurePath === this.lastFeaturePath) {
+                        outcomesToClear.push(outcome);
+                        delete this.steps[outcome];
+                        this.featureOutcomePatterns.delete(outcome);
+                    }
+                }
+                for (const outcome of outcomesToClear) {
+                    this.outcomeToFeaturePath.delete(outcome);
+                }
+                this.getWorld().logger.info(`ActivitiesStepper.startFeature: cleared ${outcomesToClear.length} outcomes from previous feature`);
+            }
+            this.currentFeaturePath = startFeature.resolvedFeature.path;
+        },
+        endFeature: async () => {
+            // Track this feature path so we can clean it up when the next feature starts
+            this.lastFeaturePath = this.currentFeaturePath;
+            // Clear ensured instances for next feature
+            this.ensuredInstances.clear();
+            return Promise.resolve();
+        }
+    };
+    async setWorld(world, steppers) {
+        await super.setWorld(world, steppers);
+        this.steppers = steppers;
+    }
+    /**
+     * Register a dynamic outcome step.
+     * This is called when parsing `waypoint` statements.
+     *
+     * @param outcome - The outcome pattern (e.g., "Is logged in as {user}")
+     * @param proofStatements - Array of statement strings from the DOMAIN_STATEMENT proof
+     * @param proofPath - The path of the feature containing the proof
+     * @param isBackground - Whether this outcome is defined in a background (persists across features)
+     * @param activityBlockSteps - Optional array of all steps in the containing activity block
+     */
+    registerOutcome(outcome, proofStatements, proofPath, isBackground, activityBlockSteps) {
+        // Prevent duplicate outcome registration
+        if (this.steps[outcome]) {
+            throw new Error(`Outcome "${outcome}" is already registered. Each outcome can only be defined once.`);
+        }
+        // Track whether this is a background or feature outcome
+        if (isBackground) {
+            this.backgroundOutcomePatterns.add(outcome);
+        }
+        else {
+            this.featureOutcomePatterns.add(outcome);
+            // Track which feature this outcome belongs to
+            this.outcomeToFeaturePath.set(outcome, proofPath);
+        }
+        this.getWorld().logger.info(`ActivitiesStepper: registerOutcome called with ${proofStatements.length} proof steps for "${outcome}"`);
+        this.getWorld().logger.info(`ActivitiesStepper: outcome is background=${isBackground}, will be added to ${isBackground ? 'backgroundOutcomePatterns' : 'featureOutcomePatterns'}`);
+        // Store proofStatements for later retrieval
+        const outcomeProofStatements = proofStatements;
+        this.steps[outcome] = {
+            gwta: outcome,
+            virtual: true, // Dynamically registered outcomes are virtual
+            description: `Outcome: ${outcome}. Proof: ${proofStatements.join('; ')}`,
+            action: async (args, featureStep) => {
+                this.getWorld().logger.debug(`ActivitiesStepper: executing recipe for outcome "${outcome}" with args ${JSON.stringify(args)}`);
+                // Helper to expand variables in statements
+                const expandStatements = (statements) => statements.map(statement => {
+                    let expanded = statement;
+                    for (const [key, value] of Object.entries(args)) {
+                        expanded = expanded.replace(new RegExp(`\\{${key}\\}`, 'g'), String(value));
+                    }
+                    return expanded;
+                });
+                // Helper to resolve and execute statements
+                const resolveAndExecute = async (statements, stepOffset = 0, execMode = ExecMode.NO_CYCLES) => {
+                    const expandedStatements = expandStatements(statements);
+                    const resolvedSteps = [];
+                    for (let i = 0; i < expandedStatements.length; i++) {
+                        const statement = expandedStatements[i];
+                        this.getWorld().logger.debug(`ActivitiesStepper: resolving statement ${i}: "${statement}"`);
+                        const resolved = findFeatureStepsFromStatement(statement, this.steppers, this.getWorld(), proofPath, [...featureStep.seqPath, stepOffset + i], 1);
+                        resolvedSteps.push(...resolved);
+                    }
+                    return await executeSubFeatureSteps(featureStep, resolvedSteps, this.steppers, this.getWorld(), execMode);
+                };
+                // ALWAYS-VERIFY SEMANTICS: Try proof first
+                // Use NO_CYCLES for proof checking to avoid triggering hooks
+                this.getWorld().logger.debug(`ActivitiesStepper: checking proof for outcome "${outcome}"`);
+                this.getWorld().logger.debug(`ActivitiesStepper: proof statements: ${JSON.stringify(proofStatements)}`);
+                const proofResult = await resolveAndExecute(proofStatements, 0, ExecMode.NO_CYCLES);
+                // If proof passes, we're done (waypoint already satisfied)
+                if (proofResult.ok) {
+                    this.getWorld().logger.debug(`ActivitiesStepper: proof passed for outcome "${outcome}", skipping activity body`);
+                    const interpolatedProof = expandStatements(outcomeProofStatements);
+                    return actionOK({
+                        messageContext: {
+                            incident: EExecutionMessageType.ACTION,
+                            incidentDetails: { proofStatements: interpolatedProof, proofSatisfied: true }
+                        }
+                    });
+                }
+                // Proof failed - execute activity body (WITHOUT waypoint line), then verify proof
+                // Flow: 1) Execute activity body steps, 2) Execute proof to verify, 3) Success or fail
+                if (activityBlockSteps && activityBlockSteps.length > 0) {
+                    this.getWorld().logger.debug(`ActivitiesStepper: proof failed for outcome "${outcome}", running activity body`);
+                    // Step 1: Execute activity body (does NOT include the waypoint line to avoid recursion)
+                    // Use WITH_CYCLES so that activity body steps can trigger hooks
+                    const activityResult = await resolveAndExecute(activityBlockSteps, 100, ExecMode.WITH_CYCLES);
+                    if (!activityResult.ok) {
+                        return actionNotOK(`ActivitiesStepper: activity body failed for outcome "${outcome}"`);
+                    }
+                    // Step 2: Activity body succeeded - now verify the proof passes
+                    // Use NO_CYCLES for proof verification to avoid triggering hooks
+                    this.getWorld().logger.debug(`ActivitiesStepper: verifying proof after activity body for outcome "${outcome}"`);
+                    const verifyResult = await resolveAndExecute(proofStatements, 200, ExecMode.NO_CYCLES);
+                    if (!verifyResult.ok) {
+                        return actionNotOK(`ActivitiesStepper: proof verification failed after activity body for outcome "${outcome}"`);
+                    }
+                    // Step 3: Success - proof now passes
+                    const interpolatedProof = expandStatements(outcomeProofStatements);
+                    return actionOK({
+                        messageContext: {
+                            incident: EExecutionMessageType.ACTION,
+                            incidentDetails: { proofStatements: interpolatedProof }
+                        }
+                    });
+                }
+                else {
+                    // No activity body, just proof - and it failed
+                    return actionNotOK(`ActivitiesStepper: proof failed and no activity body available for outcome "${outcome}"`);
+                }
+            }
+        };
+        this.getWorld().logger.info(`ActivitiesStepper: registered outcome pattern "${outcome}" with ${proofStatements.length} proof steps`);
+    }
+}
+export default ActivitiesStepper;
+//# sourceMappingURL=activities-stepper.js.map

package/build/steps/activities-stepper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"activities-stepper.js","sourceRoot":"","sources":["../../src/steps/activities-stepper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAiB,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAA0C,EAAE,EAAmD,MAAM,gBAAgB,CAAC;AAC7H,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,qCAAqC,CAAC;AAC5G,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAmB,MAAM,6BAA6B,CAAC;AAcrF;;;GAGG;AACH,MAAM,OAAO,iBAAkB,SAAQ,QAAQ;IACtC,QAAQ,GAAe,EAAE,CAAC;IAClC,uEAAuE;IAC/D,yBAAyB,GAAgB,IAAI,GAAG,EAAE,CAAC;IACnD,sBAAsB,GAAgB,IAAI,GAAG,EAAE,CAAC;IACxD,kFAAkF;IAC1E,oBAAoB,GAAwB,IAAI,GAAG,EAAE,CAAC;IAC9D,2CAA2C;IACnC,kBAAkB,GAAW,EAAE,CAAC;IACxC,oFAAoF;IAC5E,eAAe,GAAW,EAAE,CAAC;IACrC,kEAAkE;IAC1D,gBAAgB,GAAqD,IAAI,GAAG,EAAE,CAAC;IAEtE,SAAS,GAAG;QAC5B,QAAQ,EAAE;YACT,IAAI,EAAE,sBAAsB;YAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;SAChB;QAED,QAAQ,EAAE;YACT,IAAI,EAAE,kCAAkC,gBAAgB,GAAG;YAC3D,kBAAkB,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,OAAiB,EAAE,YAAuB,EAAE,QAAmB,EAAE,SAAkB,EAAE,EAAE;gBACvI,8DAA8D;gBAC9D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,EAAE,CAAC;oBAC/C,OAAO,KAAK,CAAC;gBACd,CAAC;gBAED,MAAM,iBAAiB,GAAG,OAA4B,CAAC;gBAEvD,uBAAuB;gBACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBAC/D,IAAI,CAAC,KAAK,EAAE,CAAC;oBACZ,OAAO,KAAK,CAAC;gBACd,CAAC;gBAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAEhC,qDAAqD;gBACrD,8EAA8E;gBAC9E,IAAI,iBAAiB,CAAC,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,iBAAiB,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACvH,OAAO,IAAI,CAAC;gBACb,CAAC;gBAED,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;gBACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAEjC,yEAAyE;gBACzE,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAE5F,6EAA6E;gBAC7E,IAAI,kBAAwC,CAAC;gBAE7C,IAAI,QAAQ,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBACzC,gEAAgE;oBAChE,IAAI,iBAAiB,GAAG,CAAC,CAAC,CAAC;oBAC3B,KAAK,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;wBACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC5C,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;4BACnC,iBAAiB,GAAG,CAAC,CAAC;4BACtB,MAAM;wBACP,CAAC;wBACD,8CAA8C;wBAC9C,IAAI,QAAQ,CAAC,KAAK,CAAC,kCAAkC,CAAC,EAAE,CAAC;4BACxD,MAAM;wBACP,CAAC;oBACF,CAAC;oBAED,IAAI,iBAAiB,KAAK,CAAC,CAAC,EAAE,CAAC;wBAC9B,6FAA6F;wBAC7F,MAAM,UAAU,GAAa,EAAE,CAAC;wBAChC,KAAK,IAAI,CAAC,GAAG,iBAAiB,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,CAAE,+CAA+C;4BACzG,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;4BAC5C,IAAI,QAAQ,EAAE,CAAC;gCACd,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;4BAC3B,CAAC;wBACF,CAAC;wBACD,kBAAkB,GAAG,UAAU,CAAC;oBACjC,CAAC;gBACF,CAAC;gBAED,gEAAgE;gBAChE,iBAAiB,CAAC,eAAe,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,kBAAkB,CAAC,CAAC;gBACtG,OAAO,IAAI,CAAC,CAAC,iEAAiE;YAC/E,CAAC;YACD,MAAM,EAAE,KAAK,EAAE,EAAE,KAAK,EAA6B,EAAE,WAAyB,EAAE,EAAE;gBACjF,uDAAuD;gBACvD,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,KAAK,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,CAAC;gBAE7F,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAEpH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBAChB,OAAO,WAAW,CAAC,yCAAyC,CAAC,CAAC;gBAC/D,CAAC;gBAED,OAAO,QAAQ,EAAE,CAAC;YACnB,CAAC;SACD;QAED,MAAM,EAAE;YACP,WAAW,EAAE,+JAA+J;YAC5K,IAAI,EAAE,mBAAmB,gBAAgB,GAAG;YAC5C,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,EAA+B,EAAE,WAAyB,EAAE,EAAE;gBACrF,oDAAoD;gBACpD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,+BAA+B,UAAU,GAAG,CAAC,CAAC;gBAE3E,uDAAuD;gBACvD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,IAAI,UAAU,CAAC;gBAE7D,kDAAkD;gBAClD,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,CAAC,kBAAkB,EAAE,CAAC;oBACzB,MAAM,cAAc,GAAoB;wBACvC,QAAQ,EAAE,qBAAqB,CAAC,MAAM;wBACtC,eAAe,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,yBAAyB,EAAE;qBAC3E,CAAC;oBACF,OAAO,WAAW,CAAC,qBAAqB,UAAU,eAAe,OAAO,sBAAsB,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;gBACrH,CAAC;gBAED,2EAA2E;gBAC3E,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAEtH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBAChB,MAAM,cAAc,GAAoB;wBACvC,QAAQ,EAAE,qBAAqB,CAAC,MAAM;wBACtC,eAAe,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE;qBAC1E,CAAC;oBACF,OAAO,WAAW,CAAC,qBAAqB,UAAU,0BAA0B,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;gBACnG,CAAC;gBAED,4DAA4D;gBAC5D,MAAM,eAAe,GAAI,MAAM,CAAC,gBAAgB,EAAE,cAAc,EAAE,eAAkD,EAAE,eAAe,CAAC;gBAEtI,8BAA8B;gBAC9B,IAAI,eAAe,EAAE,CAAC;oBACrB,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBAChF,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,UAAU,0BAA0B,CAAC,CAAC;gBAExF,MAAM,cAAc,GAAoB;oBACvC,QAAQ,EAAE,qBAAqB,CAAC,MAAM;oBACtC,eAAe,EAAE;wBAChB,QAAQ,EAAE,UAAU;wBACpB,SAAS,EAAE,IAAI;wBACf,eAAe;qBACf;iBACD,CAAC;gBACF,OAAO,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;YACrC,CAAC;SACD;QACD,MAAM,EAAE;YACP,WAAW,EAAE,iFAAiF;YAC9F,IAAI,EAAE,mBAAmB,gBAAgB,GAAG;YAC5C,MAAM,EAAE,CAAC,EAAE,OAAO,EAA+B,EAAE,WAAyB,EAAE,EAAE;gBAC/E,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,yCAAyC,UAAU,WAAW,WAAW,CAAC,EAAE,6DAA6D,CAAC,CAAC;gBAExK,MAAM,cAAc,GAAoB,EAAE,QAAQ,EAAE,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;gBAC/I,OAAO,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;YACrC,CAAC;SACD;QACD,UAAU,EAAE;YACX,WAAW,EAAE,8EAA8E;YAC3F,IAAI,EAAE,uBAAuB,gBAAgB,GAAG;YAChD,MAAM,EAAE,CAAC,EAAE,OAAO,EAA+B,EAAE,EAAE;gBACpD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,uCAAuC,UAAU,sDAAsD,CAAC,CAAC;gBAEtI,MAAM,cAAc,GAAoB,EAAE,QAAQ,EAAE,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;gBAC/I,OAAO,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;YACrC,CAAC;SACD;QAED,aAAa,EAAE;YACd,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAyB,EAAE,EAAE;gBAClD,8DAA8D;gBAC9D,MAAM,eAAe,GAIhB,EAAE,CAAC;gBAER,0CAA0C;gBAC1C,KAAK,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC3E,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,WAAW,GAAG,CAAC,CAAC;oBAC3E,IAAI,CAAC;wBACJ,wCAAwC;wBACxC,MAAM,aAAa,GAAmB,EAAE,CAAC;wBAEzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACpD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;4BACxC,MAAM,QAAQ,GAAG,6BAA6B,CAC7C,SAAS,EACT,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,QAAQ,EAAE,EACf,WAAW,CAAC,IAAI,EAChB,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC3B,CAAC,CACD,CAAC;4BACF,0CAA0C;4BAC1C,MAAM,mBAAmB,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gCACjD,GAAG,IAAI;gCACP,EAAE,EAAE,IAAI,WAAW,WAAW,IAAI,CAAC,EAAE,EAAE;6BACvC,CAAC,CAAC,CAAC;4BACJ,aAAa,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,CAAC;wBAC5C,CAAC;wBAED,wEAAwE;wBACxE,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;wBAE5H,eAAe,CAAC,WAAW,CAAC,GAAG;4BAC9B,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;4BACpC,cAAc,EAAE,MAAM,CAAC,EAAE;yBACzB,CAAC;oBACH,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBAChB,eAAe,CAAC,WAAW,CAAC,GAAG;4BAC9B,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;4BACpC,cAAc,EAAE,KAAK;4BACrB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;yBAC7D,CAAC;oBACH,CAAC;gBACF,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,eAAe,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxI,OAAO,QAAQ,CAAC,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC;YAClI,CAAC;SACD;KACwC,CAAC;IAElC,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC;IAErC,KAAK,GAA4B,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAEvD,MAAM,GAAmB;QACxB,YAAY,EAAE,CAAC,YAAY,EAAE,EAAE;YAC9B,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,6DAA6D,YAAY,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC;YAE/H,oEAAoE;YACpE,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,eAAe,KAAK,YAAY,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;gBACxF,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,4EAA4E,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC;gBACjI,MAAM,eAAe,GAAa,EAAE,CAAC;gBACrC,KAAK,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC1E,IAAI,WAAW,KAAK,IAAI,CAAC,eAAe,EAAE,CAAC;wBAC1C,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;wBAC3B,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC7C,CAAC;gBACF,CAAC;gBACD,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;oBACvC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC3C,CAAC;gBACD,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,2CAA2C,eAAe,CAAC,MAAM,iCAAiC,CAAC,CAAC;YACjI,CAAC;YAED,IAAI,CAAC,kBAAkB,GAAG,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC;QAC7D,CAAC;QACD,UAAU,EAAE,KAAK,IAAI,EAAE;YACtB,6EAA6E;YAC7E,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,kBAAkB,CAAC;YAC/C,2CAA2C;YAC3C,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;YAC9B,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;KACD,CAAA;IACD,KAAK,CAAC,QAAQ,CAAC,KAAa,EAAE,QAAoB;QACjD,MAAM,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC1B,CAAC;IAED;;;;;;;;;OASG;IACH,eAAe,CAAC,OAAe,EAAE,eAAyB,EAAE,SAAiB,EAAE,YAAsB,EAAE,kBAA6B;QACnI,yCAAyC;QACzC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,YAAY,OAAO,iEAAiE,CAAC,CAAC;QACvG,CAAC;QAED,wDAAwD;QACxD,IAAI,YAAY,EAAE,CAAC;YAClB,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,8CAA8C;YAC9C,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,kDAAkD,eAAe,CAAC,MAAM,qBAAqB,OAAO,GAAG,CAAC,CAAC;QACrI,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,4CAA4C,YAAY,sBAAsB,YAAY,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC,CAAC;QAEnL,4CAA4C;QAC5C,MAAM,sBAAsB,GAAG,eAAe,CAAC;QAE/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG;YACrB,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,IAAI,EAAG,8CAA8C;YAC9D,WAAW,EAAE,YAAY,OAAO,YAAY,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACxE,MAAM,EAAE,KAAK,EAAE,IAAe,EAAE,WAAyB,EAA0B,EAAE;gBACpF,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,oDAAoD,OAAO,eAAe,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAE/H,2CAA2C;gBAC3C,MAAM,gBAAgB,GAAG,CAAC,UAAoB,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;oBAC7E,IAAI,QAAQ,GAAG,SAAS,CAAC;oBACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBACjD,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC7E,CAAC;oBACD,OAAO,QAAQ,CAAC;gBACjB,CAAC,CAAC,CAAC;gBAEH,2CAA2C;gBAC3C,MAAM,iBAAiB,GAAG,KAAK,EAAE,UAAoB,EAAE,aAAqB,CAAC,EAAE,WAAqB,QAAQ,CAAC,SAAS,EAAE,EAAE;oBACzH,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;oBACxD,MAAM,aAAa,GAAmB,EAAE,CAAC;oBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBACpD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;wBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,0CAA0C,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;wBAC5F,MAAM,QAAQ,GAAG,6BAA6B,CAC7C,SAAS,EACT,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,QAAQ,EAAE,EACf,SAAS,EACT,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,CAAC,CAAC,EACxC,CAAC,CACD,CAAC;wBACF,aAAa,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;oBACjC,CAAC;oBACD,OAAO,MAAM,sBAAsB,CAAC,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,CAAC;gBAC3G,CAAC,CAAC;gBAEF,2CAA2C;gBAC3C,6DAA6D;gBAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,kDAAkD,OAAO,GAAG,CAAC,CAAC;gBAC3F,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,wCAAwC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;gBACxG,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAEpF,2DAA2D;gBAC3D,IAAI,WAAW,CAAC,EAAE,EAAE,CAAC;oBACpB,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,gDAAgD,OAAO,2BAA2B,CAAC,CAAC;oBACjH,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,CAAC;oBACnE,OAAO,QAAQ,CAAC;wBACf,cAAc,EAAE;4BACf,QAAQ,EAAE,qBAAqB,CAAC,MAAM;4BACtC,eAAe,EAAE,EAAE,eAAe,EAAE,iBAAiB,EAAE,cAAc,EAAE,IAAI,EAAE;yBAC7E;qBACD,CAAC,CAAC;gBACJ,CAAC;gBAED,kFAAkF;gBAClF,uFAAuF;gBACvF,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACzD,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,gDAAgD,OAAO,0BAA0B,CAAC,CAAC;oBAEhH,wFAAwF;oBACxF,gEAAgE;oBAChE,MAAM,cAAc,GAAG,MAAM,iBAAiB,CAAC,kBAAkB,EAAE,GAAG,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;oBAE9F,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;wBACxB,OAAO,WAAW,CAAC,wDAAwD,OAAO,GAAG,CAAC,CAAC;oBACxF,CAAC;oBAED,gEAAgE;oBAChE,iEAAiE;oBACjE,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,uEAAuE,OAAO,GAAG,CAAC,CAAC;oBAChH,MAAM,YAAY,GAAG,MAAM,iBAAiB,CAAC,eAAe,EAAE,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;oBAEvF,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;wBACtB,OAAO,WAAW,CAAC,iFAAiF,OAAO,GAAG,CAAC,CAAC;oBACjH,CAAC;oBAED,qCAAqC;oBACrC,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,CAAC;oBACnE,OAAO,QAAQ,CAAC;wBACf,cAAc,EAAE;4BACf,QAAQ,EAAE,qBAAqB,CAAC,MAAM;4BACtC,eAAe,EAAE,EAAE,eAAe,EAAE,iBAAiB,EAAE;yBACvD;qBACD,CAAC,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACP,+CAA+C;oBAC/C,OAAO,WAAW,CAAC,+EAA+E,OAAO,GAAG,CAAC,CAAC;gBAC/G,CAAC;YACF,CAAC;SACD,CAAC;QAEF,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,kDAAkD,OAAO,UAAU,eAAe,CAAC,MAAM,cAAc,CAAC,CAAC;IACtI,CAAC;CACD;AAED,eAAe,iBAAiB,CAAC"}

package/build/steps/conditions-stepper.d.ts

@@ -0,0 +1,27 @@
+import { AStepper } from '../lib/astepper.js';
+import { TStepperSteps } from '../lib/astepper.js';
+/**
+ * Virtual stepper that dynamically builds steps from `remember` statements.
+ * During pre-Resolve phase, this stepper is populated with conditions
+ * extracted from all `remember {condition} with {proof}` statements in features.
+ *
+ * When `ensure {condition}` is called, it will match against these conditions via
+ * normal GWTA resolution, check if already cached, and execute the recipe if needed.
+ */
+export declare class ConditionsStepper extends AStepper {
+    steps: TStepperSteps;
+    steppers: AStepper[];
+    forgetsMap: Record<string, string[]>;
+    /**
+     * Register a condition with its proof steps.
+     * This is called when parsing `remember` statements.
+     *
+     * @param condition - The condition (e.g., "Is logged in as {user}")
+     * @param proofStatements - Array of statement strings that prove this condition
+     * @param proofPath - The path of the feature containing the proof
+     * @param forgets - Optional condition that this condition forgets
+     */
+    registerCondition(condition: string, proofStatements: string[], proofPath: string, forgets?: string): void;
+}
+export default ConditionsStepper;
+//# sourceMappingURL=conditions-stepper.d.ts.map

package/build/steps/conditions-stepper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions-stepper.d.ts","sourceRoot":"","sources":["../../src/steps/conditions-stepper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAMnD;;;;;;;GAOG;AACH,qBAAa,iBAAkB,SAAQ,QAAQ;IAC7C,KAAK,EAAE,aAAa,CAAM;IAC1B,QAAQ,EAAE,QAAQ,EAAE,CAAM;IAG1B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAM;IAE1C;;;;;;;;OAQG;IACH,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM;CA0FpG;AAED,eAAe,iBAAiB,CAAC"}

package/build/steps/conditions-stepper.js

@@ -0,0 +1,99 @@
+import { AStepper } from '../lib/astepper.js';
+import { executeSubFeatureSteps, findFeatureStepsFromStatement } from '../lib/util/featureStep-executor.js';
+import { ExecMode } from '../lib/defs.js';
+import { actionOK, actionNotOK } from '../lib/util/index.js';
+/**
+ * Virtual stepper that dynamically builds steps from `remember` statements.
+ * During pre-Resolve phase, this stepper is populated with conditions
+ * extracted from all `remember {condition} with {proof}` statements in features.
+ *
+ * When `ensure {condition}` is called, it will match against these conditions via
+ * normal GWTA resolution, check if already cached, and execute the recipe if needed.
+ */
+export class ConditionsStepper extends AStepper {
+    steps = {};
+    steppers = [];
+    // Track which conditions cause other conditions to be forgotten
+    // Key: condition, Value: array of conditions to forget
+    forgetsMap = {};
+    /**
+     * Register a condition with its proof steps.
+     * This is called when parsing `remember` statements.
+     *
+     * @param condition - The condition (e.g., "Is logged in as {user}")
+     * @param proofStatements - Array of statement strings that prove this condition
+     * @param proofPath - The path of the feature containing the proof
+     * @param forgets - Optional condition that this condition forgets
+     */
+    registerCondition(condition, proofStatements, proofPath, forgets) {
+        // Prevent duplicate condition registration
+        if (this.steps[condition]) {
+            throw new Error(`Condition "${condition}" is already registered. Each condition can only be defined once.`);
+        }
+        // Store forgets relationship if provided
+        if (forgets) {
+            this.forgetsMap[condition] = [forgets];
+        }
+        this.getWorld().logger.info(`ConditionsStepper: registerCondition called with ${proofStatements.length} steps for "${condition}"`);
+        this.steps[condition] = {
+            gwta: condition,
+            description: `Condition: ${condition}. Proof: ${proofStatements.join('; ')}`,
+            action: async (args, featureStep) => {
+                this.getWorld().logger.debug(`ConditionsStepper: executing recipe for condition "${condition}" with args ${JSON.stringify(args)}`);
+                // If this condition forgets other conditions, handle that first
+                if (this.forgetsMap[condition]) {
+                    const satisfied = this.getWorld().runtime.satisfiedConditions;
+                    for (const forgottenCondition of this.forgetsMap[condition]) {
+                        // Build the forgotten key the same way ensure builds it: from resolved step.in
+                        // We need to resolve the forgotten condition with the same args
+                        let forgottenKey = forgottenCondition;
+                        // Replace placeholders with their values as they appear in featureStep.in
+                        // The args values already have quotes if they were quoted in the input
+                        for (const [key, value] of Object.entries(args)) {
+                            // Need to add quotes back since args are unquoted
+                            const quotedValue = typeof value === 'string' ? `"${value}"` : String(value);
+                            forgottenKey = forgottenKey.replace(new RegExp(`\\{${key}\\}`, 'g'), quotedValue);
+                        }
+                        // Delete the matching cache entry
+                        if (satisfied[forgottenKey]) {
+                            delete satisfied[forgottenKey];
+                            this.getWorld().logger.debug(`ConditionsStepper: auto-forgot "${forgottenKey}" due to forgets clause`);
+                        }
+                    }
+                }
+                // Expand variables in proof statements using the matched args
+                const expandedProofStatements = proofStatements.map(statement => {
+                    let expanded = statement;
+                    for (const [key, value] of Object.entries(args)) {
+                        expanded = expanded.replace(new RegExp(`\\{${key}\\}`, 'g'), String(value));
+                    }
+                    return expanded;
+                });
+                // Re-resolve the proof statements in the current execution context
+                const resolvedProofSteps = [];
+                for (let i = 0; i < expandedProofStatements.length; i++) {
+                    const statement = expandedProofStatements[i];
+                    this.getWorld().logger.debug(`ConditionsStepper: resolving proof statement ${i}: "${statement}"`);
+                    const resolved = findFeatureStepsFromStatement(statement, this.steppers, this.world, proofPath, [...featureStep.seqPath, i], 1);
+                    resolvedProofSteps.push(...resolved);
+                }
+                // Execute the re-resolved proof steps
+                const result = await executeSubFeatureSteps(featureStep, resolvedProofSteps, this.steppers, this.getWorld(), ExecMode.WITH_CYCLES);
+                if (!result.ok) {
+                    return actionNotOK(`ConditionsStepper: failed to satisfy condition "${condition}"`);
+                }
+                // Cache the satisfied condition with provenance
+                const conditionKey = featureStep.in;
+                this.getWorld().runtime.satisfiedConditions[conditionKey] = {
+                    seqPath: featureStep.seqPath,
+                    proof: expandedProofStatements
+                };
+                this.getWorld().logger.debug(`ConditionsStepper: cached condition "${conditionKey}" at ${JSON.stringify(featureStep.seqPath)}`);
+                return actionOK();
+            }
+        };
+        this.getWorld().logger.info(`ConditionsStepper: registered condition "${condition}" with ${proofStatements.length} proof steps`);
+    }
+}
+export default ConditionsStepper;
+//# sourceMappingURL=conditions-stepper.js.map