@haibun/core 3.1.3 → 3.4.0

package/build/lib/core/flow-runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"flow-runner.d.ts","sourceRoot":"","sources":["../../../src/lib/core/flow-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAsB,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG1C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE5D,qBAAa,UAAU;IAGV,OAAO,CAAC,KAAK;IAAU,OAAO,CAAC,QAAQ;IAFnD,OAAO,CAAC,QAAQ,CAAW;gBAEP,KAAK,EAAE,MAAM,EAAU,QAAQ,EAAE,QAAQ,EAAE;IAIzD,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,GAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,UAAU,CAAC,EAAE,YAAY,CAAC;QAAC,OAAO,CAAC,EAAE,QAAQ,CAAA;KAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAkE9K,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,UAAU,CAAC,EAAE,YAAY,CAAA;KAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAY9J,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,OAAO,GAAE;QAAE,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,UAAU,CAAC,EAAE,YAAY,CAAA;KAAO,GAAG,OAAO,CAAC,UAAU,CAAC;CAgDjI"}
+{"version":3,"file":"flow-runner.d.ts","sourceRoot":"","sources":["../../../src/lib/core/flow-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAsB,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG1C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEvE,qBAAa,UAAU;IAGV,OAAO,CAAC,KAAK;IAAU,OAAO,CAAC,QAAQ;IAFnD,OAAO,CAAC,QAAQ,CAAW;gBAEP,KAAK,EAAE,MAAM,EAAU,QAAQ,EAAE,QAAQ,EAAE;IAIzD,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,EAAE,OAAO,GAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,UAAU,CAAC,EAAE,YAAY,CAAC;QAAC,OAAO,CAAC,EAAE,QAAQ,CAAA;KAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAmG3L,aAAa,CAAC,UAAU,EAAE,CAAC,MAAM,GAAG,UAAU,CAAC,EAAE,EAAE,OAAO,GAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,UAAU,CAAC,EAAE,YAAY,CAAA;KAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAY7K,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,OAAO,GAAE;QAAE,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,UAAU,CAAC,EAAE,YAAY,CAAA;KAAO,GAAG,OAAO,CAAC,UAAU,CAAC;CAiDjI"}

package/build/lib/core/flow-runner.js

@@ -11,44 +11,79 @@ export class FlowRunner {
     }
     async runStatement(statement, options = {}) {
         const { intent = { mode: 'authoritative' } } = options;
+        const stmtText = typeof statement === 'string' ? statement : statement.in;
         // Merge parent runtimeArgs with current args (current takes precedence)
         // This enables nested quantifiers: outer vars are visible to inner statements
         const allArgs = { ...options.parentStep?.runtimeArgs, ...options.args };
         // Interpolate {varName} patterns using merged args
-        let statementWithArgs = statement;
+        let statementWithArgs = stmtText;
         if (Object.keys(allArgs).length > 0) {
             for (const [key, value] of Object.entries(allArgs)) {
                 statementWithArgs = statementWithArgs.replace(new RegExp(`\\{${key}\\}`, 'g'), value);
             }
         }
+        // Resolve the action first - this gives us access to step metadata including source
         let action;
         try {
             action = this.resolver.findSingleStepAction(statementWithArgs);
         }
         catch (e) {
             if (intent.mode === 'speculative') {
-                return { kind: 'fail', message: e.message };
+                return { kind: 'fail', message: e instanceof Error ? e.message : String(e) };
             }
             throw e;
         }
+        // Derive source path: prefer resolved step's source, then parentStep, then input statement
+        const step = action.step;
+        let resolvedPath;
+        let resolvedLineNumber;
+        if (step?.source?.path) {
+            // Step definition has its own source (e.g., activity, waypoint)
+            resolvedPath = step.source.path;
+            resolvedLineNumber = step.source.lineNumber;
+        }
+        else if (options.parentStep?.source?.path) {
+            // Fall back to parent step's source (e.g., quantifier calling nested statement)
+            resolvedPath = options.parentStep.source.path;
+            resolvedLineNumber = options.parentStep.source.lineNumber;
+        }
+        else if (typeof statement !== 'string' && statement.source?.path) {
+            // Use input statement's source if provided
+            resolvedPath = statement.source.path;
+            resolvedLineNumber = statement.source.lineNumber;
+        }
+        else if (this.world.runtime.currentFeaturePath) {
+            // Fall back to current feature path (e.g., debugger executing ad-hoc statements)
+            resolvedPath = this.world.runtime.currentFeaturePath;
+        }
+        else {
+            // No source available - use placeholder for dynamic/ad-hoc statements (debugger, REPL, etc.)
+            resolvedPath = '<dynamic>';
+        }
+        // Compute seqPath for this statement
         let seqPath = options.seqPath;
         if (!seqPath) {
             if (options.parentStep) {
                 seqPath = incSeqPath(this.world.runtime.stepResults, [...options.parentStep.seqPath, 1], 1);
             }
             else {
-                throw new Error(`runStatement requires seqPath or parentStep. Statement: ${statement}`);
+                throw new Error(`runStatement requires seqPath or parentStep. Statement: ${stmtText}`);
             }
         }
         // Merge parent args with current args (current takes precedence)
         const mergedArgs = { ...options.parentStep?.runtimeArgs, ...options.args };
         const featureStep = {
-            path: options.parentStep?.path || this.world.runtime.feature || 'unknown',
+            source: {
+                path: resolvedPath,
+                lineNumber: resolvedLineNumber,
+            },
             in: statementWithArgs,
             seqPath,
             action,
             intent,
             isSubStep: !!options.parentStep,
+            // Propagate isAfterEveryStep from parent to prevent afterEvery recursion
+            isAfterEveryStep: options.parentStep?.isAfterEveryStep,
             runtimeArgs: Object.keys(mergedArgs).length > 0 ? mergedArgs : undefined
         };
         let result;
@@ -57,16 +92,16 @@ export class FlowRunner {
         }
         catch (e) {
             if (intent.mode === 'speculative') {
-                return { kind: 'fail', message: e.message };
+                return { kind: 'fail', message: e instanceof Error ? e.message : String(e) };
             }
             throw e;
         }
         if (result.ok) {
-            return { kind: 'ok', payload: result.stepActionResult };
+            return { kind: 'ok', topics: result.stepActionResult };
         }
         else {
             const msg = result.stepActionResult.message;
-            return { kind: 'fail', message: msg, payload: result.stepActionResult };
+            return { kind: 'fail', message: msg, topics: result.stepActionResult };
         }
     }
     async runStatements(statements, options = {}) {
@@ -78,7 +113,7 @@ export class FlowRunner {
             }
             lastResult = result;
         }
-        return { kind: 'ok', payload: lastResult?.payload };
+        return { kind: 'ok', topics: lastResult?.topics };
     }
     async runSteps(steps, options = {}) {
         const { intent = { mode: 'authoritative' }, parentStep } = options;
@@ -96,7 +131,7 @@ export class FlowRunner {
                 const baseSeqPath = [...parentStep.seqPath, 1];
                 const dir = intent.mode === 'speculative' ? -1 : 1;
                 const seqPath = incSeqPath(this.world.runtime.stepResults, baseSeqPath, dir);
-                mappedStep = { ...mappedStep, seqPath, isSubStep: true };
+                mappedStep = { ...mappedStep, seqPath, isSubStep: true, isAfterEveryStep: parentStep.isAfterEveryStep || mappedStep.isAfterEveryStep };
             }
             let result;
             try {
@@ -104,10 +139,14 @@ export class FlowRunner {
             }
             catch (e) {
                 if (intent.mode === 'speculative') {
-                    return { kind: 'fail', message: e.message };
+                    return { kind: 'fail', message: e instanceof Error ? e.message : String(e) };
                 }
                 throw e;
             }
+            if (!result.ok) {
+                const msg = result.stepActionResult.message;
+                return { kind: 'fail', message: msg, topics: result.stepActionResult };
+            }
             // If not using cycles (which doFeatureStep defaults to WITH_CYCLES), we might need to push results.
             // But doFeatureStep pushes results if WITH_CYCLES.
             // If we are in speculative mode, doFeatureStep might still push results if we don't change execMode.
@@ -116,13 +155,9 @@ export class FlowRunner {
             // If we want to avoid polluting stepResults in speculative mode, we might need to adjust FeatureExecutor or pass a flag.
             // But for now, to ensure incSeqPath works, we NEED results in stepResults.
             // So we accept that speculative steps might be in stepResults (which is probably fine for debugging).
-            if (!result.ok) {
-                const msg = result.stepActionResult.message;
-                return { kind: 'fail', message: msg, payload: result.stepActionResult };
-            }
-            lastResult = { kind: 'ok', payload: result.stepActionResult };
+            lastResult = { kind: 'ok', topics: result.stepActionResult };
         }
-        return { kind: 'ok', payload: lastResult?.payload };
+        return { kind: 'ok', topics: lastResult?.topics };
     }
 }
 //# sourceMappingURL=flow-runner.js.map

package/build/lib/core/flow-runner.js.map

@@ -1 +1 @@
-{"version":3,"file":"flow-runner.js","sourceRoot":"","sources":["../../../src/lib/core/flow-runner.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAGvE,MAAM,OAAO,UAAU;IAGF;IAAuB;IAFnC,QAAQ,CAAW;IAE3B,YAAoB,KAAa,EAAU,QAAoB;QAA3C,UAAK,GAAL,KAAK,CAAQ;QAAU,aAAQ,GAAR,QAAQ,CAAY;QAC9D,IAAI,CAAC,QAAQ,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,SAAiB,EAAE,UAAsH,EAAE;QAC7J,MAAM,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC;QAEvD,wEAAwE;QACxE,8EAA8E;QAC9E,MAAM,OAAO,GAAG,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAExE,mDAAmD;QACnD,IAAI,iBAAiB,GAAG,SAAS,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,iBAAiB,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACvF,CAAC;QACF,CAAC;QAGD,IAAI,MAAM,CAAC;QACX,IAAI,CAAC;YACJ,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACZ,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7C,CAAC;YACD,MAAM,CAAC,CAAC;QACT,CAAC;QAED,IAAI,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,OAAO,EAAE,CAAC;YACd,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACxB,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7F,CAAC;iBAAM,CAAC;gBACP,MAAM,IAAI,KAAK,CAAC,2DAA2D,SAAS,EAAE,CAAC,CAAC;YACzF,CAAC;QACF,CAAC;QAED,iEAAiE;QACjE,MAAM,UAAU,GAAG,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAE3E,MAAM,WAAW,GAAiB;YACjC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,IAAI,SAAS;YACzE,EAAE,EAAE,iBAAiB;YACrB,OAAO;YACP,MAAM;YACN,MAAM;YACN,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;YAC/B,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;SACxE,CAAC;QAEF,IAAI,MAAM,CAAC;QACX,IAAI,CAAC;YACJ,MAAM,GAAG,MAAM,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACZ,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7C,CAAC;YACD,MAAM,CAAC,CAAC;QACT,CAAC;QAED,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACzD,CAAC;aAAM,CAAC;YACP,MAAM,GAAG,GAAI,MAAM,CAAC,gBAAuC,CAAC,OAAO,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACzE,CAAC;IACF,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,UAAoB,EAAE,UAAkG,EAAE;QAC7I,IAAI,UAAkC,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC;YACf,CAAC;YACD,UAAU,GAAG,MAAM,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;IACrD,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,KAAqB,EAAE,UAAmE,EAAE;QAC1G,MAAM,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAEnE,IAAI,UAAkC,CAAC;QAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,UAAU,GAAiB;gBAC9B,GAAG,IAAI;gBACP,MAAM;gBACN,WAAW,EAAE,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE;aAChE,CAAC;YACF,IAAI,UAAU,EAAE,CAAC;gBAChB,uDAAuD;gBACvD,uFAAuF;gBACvF,mDAAmD;gBACnD,MAAM,WAAW,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC7E,UAAU,GAAG,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YAC1D,CAAC;YAED,IAAI,MAAM,CAAC;YACX,IAAI,CAAC;gBACJ,MAAM,GAAG,MAAM,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACrF,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACZ,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC7C,CAAC;gBACD,MAAM,CAAC,CAAC;YACT,CAAC;YAED,oGAAoG;YACpG,mDAAmD;YACnD,qGAAqG;YACrG,2FAA2F;YAC3F,yCAAyC;YACzC,yHAAyH;YACzH,2EAA2E;YAC3E,sGAAsG;YAEtG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBAChB,MAAM,GAAG,GAAI,MAAM,CAAC,gBAAuC,CAAC,OAAO,CAAC;gBACpE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACzE,CAAC;YACD,UAAU,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC/D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;IACrD,CAAC;CACD"}
+{"version":3,"file":"flow-runner.js","sourceRoot":"","sources":["../../../src/lib/core/flow-runner.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAGvE,MAAM,OAAO,UAAU;IAGF;IAAuB;IAFnC,QAAQ,CAAW;IAE3B,YAAoB,KAAa,EAAU,QAAoB;QAA3C,UAAK,GAAL,KAAK,CAAQ;QAAU,aAAQ,GAAR,QAAQ,CAAY;QAC9D,IAAI,CAAC,QAAQ,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,SAA8B,EAAE,UAAsH,EAAE;QAC1K,MAAM,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC;QAEvD,MAAM,QAAQ,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QAE1E,wEAAwE;QACxE,8EAA8E;QAC9E,MAAM,OAAO,GAAG,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAExE,mDAAmD;QACnD,IAAI,iBAAiB,GAAG,QAAQ,CAAC;QACjC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,iBAAiB,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACvF,CAAC;QACF,CAAC;QAED,oFAAoF;QACpF,IAAI,MAAM,CAAC;QACX,IAAI,CAAC;YACJ,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,CAAU,EAAE,CAAC;YACrB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,CAAC;YACD,MAAM,CAAC,CAAC;QACT,CAAC;QAED,2FAA2F;QAC3F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,IAAI,YAAoB,CAAC;QACzB,IAAI,kBAAsC,CAAC;QAE3C,IAAI,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACxB,gEAAgE;YAChE,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChC,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;QAC7C,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YAC7C,gFAAgF;YAChF,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;YAC9C,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;QAC3D,CAAC;aAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;YACpE,2CAA2C;YAC3C,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC;YACrC,kBAAkB,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;QAClD,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAClD,iFAAiF;YACjF,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACtD,CAAC;aAAM,CAAC;YACP,6FAA6F;YAC7F,YAAY,GAAG,WAAW,CAAC;QAC5B,CAAC;QAED,qCAAqC;QACrC,IAAI,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,OAAO,EAAE,CAAC;YACd,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACxB,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7F,CAAC;iBAAM,CAAC;gBACP,MAAM,IAAI,KAAK,CAAC,2DAA2D,QAAQ,EAAE,CAAC,CAAC;YACxF,CAAC;QACF,CAAC;QAED,iEAAiE;QACjE,MAAM,UAAU,GAAG,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAE3E,MAAM,WAAW,GAAiB;YACjC,MAAM,EAAE;gBACP,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,kBAAkB;aAC9B;YACD,EAAE,EAAE,iBAAiB;YACrB,OAAO;YACP,MAAM;YACN,MAAM;YACN,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;YAC/B,yEAAyE;YACzE,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,gBAAgB;YACtD,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;SACxE,CAAC;QAEF,IAAI,MAAM,CAAC;QACX,IAAI,CAAC;YACJ,MAAM,GAAG,MAAM,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;QAAC,OAAO,CAAU,EAAE,CAAC;YACrB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,CAAC;YACD,MAAM,CAAC,CAAC;QACT,CAAC;QAED,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACxD,CAAC;aAAM,CAAC;YACP,MAAM,GAAG,GAAI,MAAM,CAAC,gBAAuC,CAAC,OAAO,CAAC;YACpE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACxE,CAAC;IACF,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,UAAmC,EAAE,UAAkG,EAAE;QAC5J,IAAI,UAAkC,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC;YACf,CAAC;YACD,UAAU,GAAG,MAAM,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IACnD,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,KAAqB,EAAE,UAAmE,EAAE;QAC1G,MAAM,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAEnE,IAAI,UAAkC,CAAC;QAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,UAAU,GAAiB;gBAC9B,GAAG,IAAI;gBACP,MAAM;gBACN,WAAW,EAAE,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE;aAChE,CAAC;YACF,IAAI,UAAU,EAAE,CAAC;gBAChB,uDAAuD;gBACvD,uFAAuF;gBACvF,mDAAmD;gBACnD,MAAM,WAAW,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC7E,UAAU,GAAG,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,CAAC,gBAAgB,IAAI,UAAU,CAAC,gBAAgB,EAAE,CAAC;YACxI,CAAC;YAED,IAAI,MAAM,CAAC;YACX,IAAI,CAAC;gBACJ,MAAM,GAAG,MAAM,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACrF,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACZ,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9E,CAAC;gBACD,MAAM,CAAC,CAAC;YACT,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBAChB,MAAM,GAAG,GAAI,MAAM,CAAC,gBAAuC,CAAC,OAAO,CAAC;gBACpE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACxE,CAAC;YAED,oGAAoG;YACpG,mDAAmD;YACnD,qGAAqG;YACrG,2FAA2F;YAC3F,yCAAyC;YACzC,yHAAyH;YACzH,2EAA2E;YAC3E,sGAAsG;YAEtG,UAAU,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IACnD,CAAC;CACD"}

package/build/lib/core-domains.d.ts

@@ -1,3 +1,3 @@
-import { TWorld } from "./defs.js";
+import { TWorld } from './defs.js';
 export declare const getCoreDomains: (world: TWorld) => Record<string, import("./defs.js").TRegisteredDomain>;
 //# sourceMappingURL=core-domains.d.ts.map

package/build/lib/core-domains.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"core-domains.d.ts","sourceRoot":"","sources":["../../src/lib/core-domains.ts"],"names":[],"mappings":"AAEA,OAAO,EAA+C,MAAM,EAAE,MAAM,WAAW,CAAC;AA0DhF,eAAO,MAAM,cAAc,GAAI,OAAO,MAAM,0DAA6D,CAAC"}
+{"version":3,"file":"core-domains.d.ts","sourceRoot":"","sources":["../../src/lib/core-domains.ts"],"names":[],"mappings":"AAEA,OAAO,EAAmC,MAAM,EAAE,MAAM,WAAW,CAAC;AAgEpE,eAAO,MAAM,cAAc,GAAI,OAAO,MAAM,0DAA6D,CAAC"}

package/build/lib/core-domains.js

@@ -1,5 +1,5 @@
 import { z } from 'zod';
-import { DOMAIN_DATE, DOMAIN_JSON, DOMAIN_NUMBER, DOMAIN_STATEMENT, DOMAIN_STRING, mapDefinitionsToDomains } from './domain-types.js';
+import { DOMAIN_DATE, DOMAIN_JSON, DOMAIN_LINK, DOMAIN_NUMBER, DOMAIN_STATEMENT, DOMAIN_STRING, mapDefinitionsToDomains } from './domain-types.js';
 import { findFeatureStepsFromStatement } from "../phases/Resolver.js";
 const numberSchema = z.coerce.number({ error: 'invalid number' })
     .refine((value) => Number.isFinite(value), 'invalid number');
@@ -13,6 +13,11 @@ const getCoreDomainDefinitions = (world) => ([
         schema: stringSchema,
         description: 'Plain string literal captured from feature text.'
     },
+    {
+        selectors: [DOMAIN_LINK],
+        schema: stringSchema,
+        description: 'URI string representing a navigable link.'
+    },
     {
         selectors: [DOMAIN_NUMBER],
         schema: numberSchema,
@@ -49,7 +54,7 @@ const getCoreDomainDefinitions = (world) => ([
             }
             const label = statementSchema.parse(proto.value);
             const seqStart = featureStep.seqPath;
-            return findFeatureStepsFromStatement(label, steppers, world, featureStep.path, [...seqStart, 0], -1);
+            return findFeatureStepsFromStatement(label, steppers, world, featureStep.source.path, [...seqStart, 0], -1);
         }
     },
 ]);

package/build/lib/core-domains.js.map

@@ -1 +1 @@
-{"version":3,"file":"core-domains.js","sourceRoot":"","sources":["../../src/lib/core-domains.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AACtI,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAEtE,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;KAC/D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAC9D,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CAAC;AACrE,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAC,CAAC;AACvE,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,2BAA2B,CAAC,CAAC;AAC/G,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;AAE5D,MAAM,wBAAwB,GAAG,CAAC,KAAa,EAAuB,EAAE,CAAC,CAAC;IACzE;QACC,SAAS,EAAE,CAAC,aAAa,CAAC;QAC1B,MAAM,EAAE,YAAY;QACpB,WAAW,EAAE,kDAAkD;KAC/D;IACD;QACC,SAAS,EAAE,CAAC,aAAa,CAAC;QAC1B,MAAM,EAAE,YAAY;QACpB,WAAW,EAAE,wCAAwC;QACrD,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAE,KAAgB,GAAI,QAAmB;KACzE;IACD;QACC,SAAS,EAAE,CAAC,WAAW,CAAC;QACxB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,oEAAoE;QACjF,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAE,KAAc,CAAC,OAAO,EAAE,GAAI,QAAiB,CAAC,OAAO,EAAE;KACzF;IACD;QACC,SAAS,EAAE,CAAC,WAAW,CAAC;QACxB,MAAM,EAAE,gBAAgB;QACxB,WAAW,EAAE,mDAAmD;QAChE,MAAM,EAAE,CAAC,KAAiB,EAAE,EAAE;YAC7B,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,CAAC;gBACJ,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACR,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC;YAC1C,CAAC;QACF,CAAC;KACD;IACD;QACC,SAAS,EAAE,CAAC,gBAAgB,CAAC;QAC7B,MAAM,EAAE,eAAe;QACvB,WAAW,EAAE,wCAAwC;QACrD,MAAM,EAAE,CAAC,KAAiB,EAAE,WAAyB,EAAE,QAAoB,EAAE,EAAE;YAC9E,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACvE,CAAC;YACD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC;YACrC,OAAO,6BAA6B,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtG,CAAC;KACD;CACD,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,uBAAuB,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC"}
+{"version":3,"file":"core-domains.js","sourceRoot":"","sources":["../../src/lib/core-domains.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AACnJ,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAEtE,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;KAC/D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAC9D,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CAAC;AACrE,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAC,CAAC;AACvE,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,2BAA2B,CAAC,CAAC;AAC/G,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;AAE5D,MAAM,wBAAwB,GAAG,CAAC,KAAa,EAAuB,EAAE,CAAC,CAAC;IACzE;QACC,SAAS,EAAE,CAAC,aAAa,CAAC;QAC1B,MAAM,EAAE,YAAY;QACpB,WAAW,EAAE,kDAAkD;KAC/D;IACD;QACC,SAAS,EAAE,CAAC,WAAW,CAAC;QACxB,MAAM,EAAE,YAAY;QACpB,WAAW,EAAE,2CAA2C;KACxD;IACD;QACC,SAAS,EAAE,CAAC,aAAa,CAAC;QAC1B,MAAM,EAAE,YAAY;QACpB,WAAW,EAAE,wCAAwC;QACrD,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAE,KAAgB,GAAI,QAAmB;KACzE;IACD;QACC,SAAS,EAAE,CAAC,WAAW,CAAC;QACxB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,oEAAoE;QACjF,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAE,KAAc,CAAC,OAAO,EAAE,GAAI,QAAiB,CAAC,OAAO,EAAE;KACzF;IACD;QACC,SAAS,EAAE,CAAC,WAAW,CAAC;QACxB,MAAM,EAAE,gBAAgB;QACxB,WAAW,EAAE,mDAAmD;QAChE,MAAM,EAAE,CAAC,KAAiB,EAAE,EAAE;YAC7B,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,CAAC;gBACJ,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACR,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC;YAC1C,CAAC;QACF,CAAC;KACD;IACD;QACC,SAAS,EAAE,CAAC,gBAAgB,CAAC;QAC7B,MAAM,EAAE,eAAe;QACvB,WAAW,EAAE,wCAAwC;QACrD,MAAM,EAAE,CAAC,KAAiB,EAAE,WAAyB,EAAE,QAAoB,EAAE,EAAE;YAC9E,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACvE,CAAC;YACD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC;YACrC,OAAO,6BAA6B,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7G,CAAC;KACD;CACD,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,uBAAuB,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC"}

package/build/lib/defs.d.ts

@@ -1,22 +1,35 @@
 import { AStepper } from './astepper.js';
-import { ILogger, TArtifact, TMessageContext } from './interfaces/logger.js';
 import { TAnyFixme } from './fixme.js';
-import { Timer } from './Timer.js';
 import { TTag } from './ttag.js';
 import { FeatureVariables } from './feature-variables.js';
 import { Prompter } from './prompter.js';
+import { IEventLogger } from './EventLogger.js';
 import type { ZodTypeAny } from 'zod';
-import { SystemMessage, ExecutionIntent } from './core/protocol.js';
-import { IEventLogger, THaibunEvent } from '../lib/EventLogger.js';
-export type TSpecl = {
-    steppers: string[];
-    refs?: {
-        docs: {
-            [name: string]: {
-                src: string;
-            };
-        };
-    };
+import { ExecutionIntent, TSeqPath, TStepResult, TFeatureResult, TExecutorResult, TStepActionResult, TStepArgs, TStepValueValue, TStepValue, Timer, THaibunEvent, TActionResult, CONTINUE_AFTER_ERROR } from '../schema/protocol.js';
+export type TWorld = {
+    tag: TTag;
+    shared: FeatureVariables;
+    runtime: TRuntime;
+    prompter: Prompter;
+    options: TBaseOptions;
+    moduleOptions: TModuleOptions;
+    timer: Timer;
+    bases: TBase;
+    domains: Record<string, TRegisteredDomain>;
+    eventLogger: IEventLogger;
+};
+export type TRuntime = {
+    backgrounds?: TFeature[];
+    scenario?: string;
+    feature?: string;
+    /** Current feature file path (for dynamic statement execution) */
+    currentFeaturePath?: string;
+    stepResults: TStepResult[];
+    /** Generic storage for observation data, cleared between features */
+    observations: Map<string, TAnyFixme>;
+    /** If non-empty, execution was aborted due to exhaustion (description explains why). */
+    exhaustionError?: string;
+    [name: string]: TAnyFixme;
 };
 export type TBaseOptions = {
     DEST: string;
@@ -33,7 +46,6 @@ export type TBaseOptions = {
 export type TEnvVariables = {
     [name: string]: string;
 };
-export type TOptionValue = TAnyFixme;
 export type TModuleOptions = {
     [name: string]: string;
 };
@@ -42,18 +54,15 @@ export type TProtoOptions = {
     moduleOptions: TModuleOptions;
 };
 export type TBase = string[];
-export type TWorld = {
-    tag: TTag;
-    shared: FeatureVariables;
-    runtime: TRuntime;
-    logger: ILogger;
-    prompter: Prompter;
-    options: TBaseOptions;
-    moduleOptions: TModuleOptions;
-    timer: Timer;
-    bases: TBase;
-    domains: Record<string, TRegisteredDomain>;
-    eventLogger: IEventLogger;
+export type TSpecl = {
+    steppers: string[];
+    refs?: {
+        docs: {
+            [name: string]: {
+                src: string;
+            };
+        };
+    };
 };
 export type TFeatureMeta = {
     base: string;
@@ -61,37 +70,56 @@ export type TFeatureMeta = {
     path: string;
 };
 export type TFeature = TFeatureMeta & {
-    name: string;
     content: string;
+    /** For kireji files: maps BDD line number (1-indexed) to TypeScript step index (0-indexed) */
+    kirejiLineMap?: Map<number, number>;
 };
+export type TFeatures = TFeature[];
 export type TExpandedFeature = TFeatureMeta & {
-    name: string;
     expanded: TExpandedLine[];
 };
 export type TExpandedLine = {
     line: string;
+    rawLine?: string;
+    lineNumber?: number;
     feature: TFeature;
 };
-export type TFeatures = TFeature[];
+export interface TSourceLocation {
+    source: {
+        /** Absolute path to the source file */
+        path: string;
+        /** 1-indexed line number in the source file */
+        lineNumber?: number;
+    };
+}
+/** A statement with its source location */
+export type TStepInput = TSourceLocation & {
+    in: string;
+};
 export type TResolvedFeature = {
     path: string;
     base: string;
     name: string;
     featureSteps: TFeatureStep[];
 };
-export type TFeatureStep = {
-    path: string;
+export type TFeatureStep = TSourceLocation & {
     in: string;
     seqPath: TSeqPath;
     action: TStepAction;
     isSubStep?: boolean;
+    /** True if this step was triggered by an afterEvery hook (prevents recursive afterEvery) */
+    isAfterEveryStep?: boolean;
     intent?: ExecutionIntent;
     /** Runtime args for variable binding in nested quantifier calls */
     runtimeArgs?: Record<string, string>;
 };
-export type TSeqPath = number[];
-export type TStepArgs = Record<string, TStepValueValue>;
-export type TAction = (args: TStepArgs, featureStep: TFeatureStep) => Promise<TActionResult> | TActionResult;
+export type TStepAction = {
+    actionName: string;
+    stepperName: string;
+    step: TStepperStep;
+    stepValuesMap?: TStepValuesMap;
+};
+export type TStepValuesMap = Record<string, TStepValue>;
 export type TStepperStep = {
     handlesUndefined?: true | string[];
     description?: string;
@@ -100,18 +128,53 @@ export type TStepperStep = {
     fallback?: boolean;
     expose?: boolean;
     virtual?: boolean;
+    /** For dynamically generated steps (like waypoints): source location metadata */
+    source?: {
+        path: string;
+        lineNumber?: number;
+    };
     match?: RegExp;
     gwta?: string;
     exact?: string;
-    resolveFeatureLine?(line: string, path: string, stepper: AStepper, backgrounds: TFeatures, allLines?: string[], lineIndex?: number): boolean | void;
+    resolveFeatureLine?(line: string, path: string, stepper: AStepper, backgrounds: TFeatures, allLines?: string[], lineIndex?: number, actualSourcePath?: string): boolean | void;
     action(args: TStepArgs, featureStep?: TFeatureStep): Promise<TActionResult> | TActionResult;
 };
 export interface CStepper {
     new (): AStepper;
 }
-export type TSteppers = {
-    [name: string]: AStepper;
-};
+export interface IStepperWhen {
+    startExecution?: number;
+    startFeature?: number;
+}
+/**
+ * Observation source for the 'observed in' quantifier pattern.
+ * Provides ephemeral iteration over runtime metrics.
+ */
+export interface IObservationSource {
+    name: string;
+    observe(world: TWorld): {
+        items: string[];
+        metrics: Record<string, Record<string, unknown>>;
+    };
+}
+export interface IStepperConcerns {
+    domains?: TDomainDefinition[];
+    sources?: IObservationSource[];
+}
+export interface IStepperCycles {
+    getConcerns?(): IStepperConcerns;
+    startExecution?(features: TStartExecution): Promise<void> | void;
+    startFeature?(startFeature: TStartFeature): Promise<void> | void;
+    startScenario?(startScenario: TStartScenario): Promise<void>;
+    beforeStep?(beforeStep: TBeforeStep): Promise<void>;
+    afterStep?(afterStep: TAfterStep): Promise<TAfterStepResult>;
+    endScenario?(): Promise<void>;
+    endFeature?(endedWith?: TEndFeature): Promise<void>;
+    onFailure?(result: TFailureArgs): Promise<void>;
+    endExecution?(results: TExecutorResult): Promise<void>;
+    onEvent?(event: THaibunEvent): Promise<void> | void;
+}
+export type TStartExecution = TResolvedFeature[];
 export type TEndFeature = {
     shouldClose: boolean;
     isLast: boolean;
@@ -124,7 +187,6 @@ export type TStartFeature = {
     resolvedFeature: TResolvedFeature;
     index: number;
 };
-export type TStartExecution = TResolvedFeature[];
 export type TStartScenario = {
     scopedVars: FeatureVariables;
 };
@@ -144,23 +206,6 @@ export type TAfterStepResult = {
     nextStep?: boolean;
     failed: boolean;
 };
-export interface IStepperCycles {
-    getDomains?(): TDomainDefinition[];
-    startExecution?(features: TStartExecution): Promise<void> | void;
-    startFeature?(startFeature: TStartFeature): Promise<void> | void;
-    startScenario?(startScenario: TStartScenario): Promise<void>;
-    beforeStep?(beforeStep: TBeforeStep): Promise<void>;
-    afterStep?(afterStep: TAfterStep): Promise<TAfterStepResult>;
-    endScenario?(): Promise<void>;
-    endFeature?(endedWith?: TEndFeature): Promise<void>;
-    onFailure?(result: TFailureArgs): Promise<void | TMessageContext>;
-    endExecution?(results: TExecutorResult): Promise<void>;
-    onEvent?(event: THaibunEvent): Promise<void> | void;
-}
-export interface IStepperWhen {
-    startExecution?: number;
-    startFeature?: number;
-}
 export declare const CycleWhen: {
     FIRST: number;
     LAST: number;
@@ -183,153 +228,13 @@ export type TRegisteredDomain = {
     values?: string[];
     description?: string;
 };
-export type StepperMethodArgs = {
-    [K in keyof IStepperCycles]: Parameters<NonNullable<IStepperCycles[K]>>[0];
-};
-export type TStepValuesMap = Record<string, TStepValue>;
-export type TStepAction = {
-    actionName: string;
-    stepperName: string;
-    step: TStepperStep;
-    stepValuesMap?: TStepValuesMap;
-};
-export declare enum Origin {
-    defined = "defined",
-    var = "var",
-    env = "env",
-    quoted = "quoted",
-    statement = "statement"
-}
-export type TOrigin = keyof typeof Origin;
-export type TProvenanceIdentifier = {
-    in?: string;
-    seq: number[];
-    when: string;
-};
-export type TStepValueValue = unknown;
-export type TStepValue = {
-    term: string;
-    domain: string;
-    value?: TStepValueValue;
-    origin: TOrigin;
-    provenance?: TProvenanceIdentifier[];
-    readonly?: boolean;
-};
-export declare const OK: TOKActionResult;
-export type TExecutorResultError = {
-    details: {
-        [name: string]: TAnyFixme;
-    };
-    message: string;
-};
-export type TExecutorResult = {
-    ok: boolean;
-    tag: TTag;
-    shared: FeatureVariables;
-    featureResults?: TFeatureResult[];
-    failure?: {
-        stage: string;
-        error: TExecutorResultError;
-    };
-    steppers: AStepper[];
-};
-export type TOKActionResult = {
-    ok: true;
-    messageContext?: TMessageContext;
-    artifact?: TArtifact;
-    protocol?: SystemMessage;
-};
-export type TNotOKActionResult = {
-    ok: false;
-    message: string;
-    messageContext?: TMessageContext;
-    artifact?: TArtifact;
-    protocol?: SystemMessage;
-};
-export type TTrace = {
-    [name: string]: {
-        url: string;
-        since: number;
-        trace: TAnyFixme;
-    };
-};
-export type TTraces = {
-    start?: number;
-    end?: number;
-    traces?: TTrace[];
-};
-export type TTraceOptions = {
-    [event: string]: {
-        listener: TAnyFixme;
-    };
-};
-export type TActionResult = TOKActionResult | TNotOKActionResult;
-export type TStepActionResult = (TNotOkStepActionResult | TOKStepActionResult) & TTraces;
-type TNamedStepActionResult = {
-    name: string;
-};
-export type TNotOkStepActionResult = TNotOKActionResult & TNamedStepActionResult;
-export type TOKStepActionResult = TOKActionResult & TNamedStepActionResult;
-export type TFeatureResult = {
-    skip?: boolean;
-    path: string;
-    ok: boolean;
-    stepResults: TStepResult[];
-    failure?: TFeatureResultFailure;
-};
-export type TFeatureResultFailure = {
-    message: string;
-    error: TAnyFixme;
-    expected?: TAnyFixme;
-};
-export type TStepResult = {
-    ok: boolean;
-    stepActionResult: TStepActionResult;
-    in: string;
-    path: string;
-    seqPath: TSeqPath;
-    intent?: ExecutionIntent;
-};
-export type TProvenOutcome = {
-    proofResult: TStepResult;
-    proofSteps: TFeatureStep[];
-    pattern: string;
-};
-export type TRuntime = {
-    backgrounds?: TFeature[];
-    scenario?: string;
-    feature?: string;
-    stepResults: TStepResult[];
-    /** If non-empty, execution was aborted due to exhaustion (description explains why). */
-    exhaustionError?: string;
-    [name: string]: TAnyFixme;
-};
-export declare const HAIBUN = "HAIBUN";
-export declare const BASE_PREFIX = "HAIBUN_";
-export declare const CAPTURE = "capture";
-export declare const BASE_DOMAINS: {
-    name: string;
-    resolve: (inp: string) => string;
-}[];
-export declare const STAY_ALWAYS = "always";
-export declare const STAY_FAILURE = "failure";
-export declare const STAY = "STAY";
-export declare const CHECK_YES = "\u2705";
-export declare const CHECK_NO = "\u274C";
-export declare const CHECK_YIELD = "\uD83D\uDD00";
-export declare const MAYBE_CHECK_YES = "\u2713";
-export declare const MAYBE_CHECK_NO = "\u2717";
-export declare const STEP_DELAY = "STEP_DELAY";
-export declare const DEFAULT_DEST = "default";
-export declare const TEST_BASE = "test_base";
-export declare const CONTINUE_AFTER_ERROR = "CONTINUE_AFTER_ERROR";
-export declare const SCENARIO_START = "scenario";
-export declare const FEATURE_START = "feature";
-export declare const HAPPENING_START = "happening";
 export declare enum ExecMode {
     WITH_CYCLES = "WITH_CYCLES",
     NO_CYCLES = "NO_CYCLES",
     PROMPT = "PROMPT"
 }
-export {};
+export type TOptionValue = TAnyFixme;
+export type StepperMethodArgs = {
+    [K in keyof IStepperCycles]: Parameters<NonNullable<IStepperCycles[K]>>[0];
+};
 //# sourceMappingURL=defs.d.ts.map