@haibun/core 3.0.3 → 3.1.0

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

@@ -1,27 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,99 +0,0 @@
-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

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

@@ -1 +0,0 @@
-{"version":3,"file":"conditions-stepper.js","sourceRoot":"","sources":["../../src/steps/conditions-stepper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,qCAAqC,CAAC;AAC5G,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,OAAO,iBAAkB,SAAQ,QAAQ;IAC7C,KAAK,GAAkB,EAAE,CAAC;IAC1B,QAAQ,GAAe,EAAE,CAAC;IAC1B,gEAAgE;IAChE,uDAAuD;IACvD,UAAU,GAA6B,EAAE,CAAC;IAE1C;;;;;;;;OAQG;IACH,iBAAiB,CAAC,SAAiB,EAAE,eAAyB,EAAE,SAAiB,EAAE,OAAgB;QACjG,2CAA2C;QAC3C,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,cAAc,SAAS,mEAAmE,CAAC,CAAC;QAC9G,CAAC;QAED,yCAAyC;QACzC,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,oDAAoD,eAAe,CAAC,MAAM,eAAe,SAAS,GAAG,CAAC,CAAC;QAEnI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG;YACtB,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,cAAc,SAAS,YAAY,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC5E,MAAM,EAAE,KAAK,EAAE,IAAe,EAAE,WAAyB,EAA0B,EAAE;gBACnF,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,sDAAsD,SAAS,eAAe,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAEnI,gEAAgE;gBAChE,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC;oBAE9D,KAAK,MAAM,kBAAkB,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;wBAC5D,+EAA+E;wBAC/E,gEAAgE;wBAChE,IAAI,YAAY,GAAG,kBAAkB,CAAC;wBAEtC,0EAA0E;wBAC1E,uEAAuE;wBACvE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;4BAChD,kDAAkD;4BAClD,MAAM,WAAW,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;4BAC7E,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;wBACpF,CAAC;wBAED,kCAAkC;wBAClC,IAAI,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;4BAC5B,OAAO,SAAS,CAAC,YAAY,CAAC,CAAC;4BAC/B,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,mCAAmC,YAAY,yBAAyB,CAAC,CAAC;wBACzG,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,8DAA8D;gBAC9D,MAAM,uBAAuB,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;oBAC9D,IAAI,QAAQ,GAAG,SAAS,CAAC;oBACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChD,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC9E,CAAC;oBACD,OAAO,QAAQ,CAAC;gBAClB,CAAC,CAAC,CAAC;gBAEH,mEAAmE;gBACnE,MAAM,kBAAkB,GAAmB,EAAE,CAAC;gBAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,uBAAuB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxD,MAAM,SAAS,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;oBAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,gDAAgD,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;oBAClG,MAAM,QAAQ,GAAG,6BAA6B,CAC5C,SAAS,EACT,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,KAAK,EACV,SAAS,EACT,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC3B,CAAC,CACF,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;gBACvC,CAAC;gBAED,sCAAsC;gBACtC,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,kBAAkB,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;gBAEnI,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,OAAO,WAAW,CAAC,mDAAmD,SAAS,GAAG,CAAC,CAAC;gBACtF,CAAC;gBAED,gDAAgD;gBAChD,MAAM,YAAY,GAAG,WAAW,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,mBAAoB,CAAC,YAAY,CAAC,GAAG;oBAC3D,OAAO,EAAE,WAAW,CAAC,OAAO;oBAC5B,KAAK,EAAE,uBAAuB;iBAC/B,CAAC;gBACF,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,wCAAwC,YAAY,QAAQ,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAEhI,OAAO,QAAQ,EAAE,CAAC;YACpB,CAAC;SACF,CAAC;QAEF,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,4CAA4C,SAAS,UAAU,eAAe,CAAC,MAAM,cAAc,CAAC,CAAC;IACnI,CAAC;CACF;AAED,eAAe,iBAAiB,CAAC"}