@step-forge/step-forge 0.0.25-alpha.3 → 0.0.25-alpha.5

package/dist/step-forge.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"step-forge.cjs","names":["_","captureDefinitionSite"],"sources":["../../src/builderTypeUtils.ts","../../src/parsers.ts","../../src/utils.ts","../../src/common.ts","../../src/given.ts","../../src/when.ts","../../src/then.ts","../../src/init.ts","../../src/hooks.ts","../../src/index.ts"],"sourcesContent":["/* eslint-disable @typescript-eslint/no-explicit-any */\nexport type StepType = \"given\" | \"when\" | \"then\";\n\n/** A dependency declaration: each key of a phase's state marked required/optional. */\nexport type RequiredOrOptional<T> = {\n  [K in keyof T]?: \"required\" | \"optional\";\n};\n\n/** The dependency map for a single phase, keyed by state property name. */\nexport type DepMap = Record<string, \"required\" | \"optional\">;\n\n/** The fully-resolved dependency declaration passed to `addStep` at runtime. */\nexport type FullDependencies = {\n  given: DepMap;\n  when: DepMap;\n  then: DepMap;\n};\n\n/**\n * Narrows a phase's full state to only the keys named in a dependency map.\n * Optional dependencies widen to `| undefined`; keys not present in the state\n * are dropped. This is the shape a step function sees for `given`/`when`/`then`.\n */\nexport type Restrict<State, Deps extends RequiredOrOptional<State>> = {\n  [K in keyof State as K extends keyof Deps\n    ? K\n    : never]: Deps[K] extends \"optional\" ? State[K] | undefined : State[K];\n};\n\nexport type GetFunctionArgs<T> = T extends (...args: infer A) => any\n  ? A\n  : never;\n\nexport const isString = (\n  statement: string | ((...args: [...any]) => string)\n): statement is string => typeof statement === \"string\";\n","/**\n * A Parser is a typed cucumber-expression *parameter type*: it declares how a\n * value is recognised in a Gherkin step (`regexp`) and how the matched text is\n * turned into a TypeScript value (`parse`). The step expression uses `{name}`\n * as the placeholder.\n *\n * The engine folds each parser straight into the cucumber-expression matcher —\n * `parse` is the parameter type's transform, so coercion happens exactly once,\n * during matching (no second pass). This is also what lets a parser introduce a\n * brand-new placeholder like `{color}`: it is registered as a real parameter\n * type, so text that doesn't match `regexp` simply doesn't match the step.\n *\n * The four built-ins below reuse cucumber-expressions' own built-in parameter\n * types (`{int}`, `{float}`, `{string}`) — those names are already registered,\n * so the library performs the match + coercion and each parser's `regexp`/\n * `parse` serve to document intent and to drive TypeScript inference of the\n * variable type. `booleanParser` has no built-in equivalent, so it is a genuine\n * custom parameter type whose `parse` runs at match time.\n */\nexport type Parser<T> = {\n  /** Parameter-type name; the step expression uses `{name}` as the placeholder. */\n  name: string;\n  /** How cucumber-expressions recognises the value in the step text. */\n  regexp: RegExp | RegExp[];\n  /** Transform the matched text into the typed value. */\n  parse: (value: string) => T;\n};\n\n/** Matches a quoted string (`{string}`) and strips the surrounding quotes. */\nexport const stringParser: Parser<string> = {\n  name: \"string\",\n  regexp: [/\"([^\"\\\\]*(\\\\.[^\"\\\\]*)*)\"/, /'([^'\\\\]*(\\\\.[^'\\\\]*)*)'/],\n  parse: value => {\n    const match = /^\"([\\s\\S]*)\"$/.exec(value) ?? /^'([\\s\\S]*)'$/.exec(value);\n    return match ? match[1].replace(/\\\\([\"'])/g, \"$1\") : value;\n  },\n};\n\n/** Matches an unquoted integer (`{int}`). */\nexport const intParser: Parser<number> = {\n  name: \"int\",\n  regexp: /-?\\d+/,\n  parse: value => parseInt(value, 10),\n};\n\n/** Matches an unquoted floating point number (`{float}`). */\nexport const numberParser: Parser<number> = {\n  name: \"float\",\n  regexp: /-?\\d*\\.?\\d+/,\n  parse: value => parseFloat(value),\n};\n\n/**\n * Matches an unquoted `true`/`false` word (`{boolean}`) and parses it to a\n * boolean. Unlike the others this is a genuine custom parameter type — cucumber\n * has no built-in `boolean` — so its `regexp`/`parse` are what the matcher uses.\n */\nexport const booleanParser: Parser<boolean> = {\n  name: \"boolean\",\n  regexp: /true|false/,\n  parse: value => value === \"true\",\n};\n","import { MergeableWorld } from \"./world\";\n\nexport const requireFromGiven = <G>(\n  keys: (keyof G)[],\n  world: MergeableWorld<G, unknown, unknown>\n) => {\n  keys.forEach(key => {\n    if (!world.given[key]) {\n      throw new Error(`Key ${String(key)} is required in given state`);\n    }\n  });\n  return keys.reduce(\n    (acc, key) => {\n      return {\n        ...acc,\n        [key]: world.given[key],\n      };\n    },\n    {} as { [key in keyof G]: G[key] }\n  );\n};\nexport const requireFromWhen = <W>(\n  keys: (keyof W)[],\n  world: MergeableWorld<unknown, W, unknown>\n) => {\n  keys.forEach(key => {\n    if (!world.when[key]) {\n      throw new Error(`Key ${String(key)} is required in when state`);\n    }\n  });\n  return keys.reduce(\n    (acc, key) => {\n      return {\n        ...acc,\n        [key]: world.when[key],\n      };\n    },\n    {} as { [key in keyof W]: W[key] }\n  );\n};\nexport const requireFromThen = <T>(\n  keys: (keyof T)[],\n  world: MergeableWorld<unknown, unknown, T>\n) => {\n  keys.forEach(key => {\n    if (!world.then[key]) {\n      throw new Error(`Key ${String(key)} is required in then state`);\n    }\n  });\n  return keys.reduce(\n    (acc, key) => {\n      return {\n        ...acc,\n        [key]: world.then[key],\n      };\n    },\n    {} as { [key in keyof T]: T[key] }\n  );\n};\n","/* eslint-disable @typescript-eslint/no-explicit-any */\nimport _ from \"lodash\";\n\nimport { DepMap, FullDependencies, StepType } from \"./builderTypeUtils\";\nimport { Parser, stringParser } from \"./parsers\";\nimport { globalRegistry } from \"./runtime/registry\";\nimport { captureDefinitionSite } from \"./sourceLocation\";\nimport { requireFromGiven, requireFromThen, requireFromWhen } from \"./utils\";\nimport { MergeableWorld } from \"./world\";\n\n/**\n * The runtime core of the builder chain. `addStep` is deliberately phase-agnostic:\n * the calling builder (given/when/then) has already computed the exact type of the\n * step function via its two type parameters:\n *\n * - `StepFnInput`  — the `{ variables, given, when, then }` object the step receives,\n *   with each phase already narrowed to its declared dependencies.\n * - `StepFnOutput` — the phase-appropriate return type (`Partial<State>`, or `void`).\n *\n * Everything else is plain runtime data (a statement function, the step type, the\n * dependency map, the parsers), so `addStep` carries no generics for them.\n */\nexport const addStep =\n  <StepFnInput, StepFnOutput>(\n    statement: (...args: any[]) => string,\n    stepType: StepType,\n    dependencies: FullDependencies = {\n      given: {},\n      when: {},\n      then: {},\n    },\n    declaredParsers?: Parser<any>[]\n  ) =>\n  (stepFunction: (input: StepFnInput) => StepFnOutput) => {\n    const {\n      given: givenDependencies,\n      when: whenDependencies,\n      then: thenDependencies,\n    } = dependencies;\n    // Resolve the parsers up front, defaulting every variable to `stringParser`\n    // (the `{string}` placeholder, value passed through unchanged) when none are\n    // provided. Numeric/boolean values are opt-in via explicit parsers.\n    const argCount = statement.length;\n    const parsers =\n      declaredParsers ?? Array.from({ length: argCount }, () => stringParser);\n    const expression = statement(...parsers.map(parser => `{${parser.name}}`));\n    // The fully-wired step body, decoupled from any test runner: takes an\n    // explicit world plus the values captured from a Gherkin step, validates +\n    // narrows dependencies, runs the user's step, and merges the result. The\n    // captured values arrive already coerced — each parser is registered as the\n    // cucumber-expression parameter type, so `parse` runs during matching, not\n    // here.\n    const execute = async (\n      world: MergeableWorld<any, any, any>,\n      capturedArgs: unknown[]\n    ) => {\n      const requiredKeys = (deps: DepMap) =>\n        Object.entries(deps)\n          .filter(([, value]) => value === \"required\")\n          .map(([key]) => key);\n      const narrowedGiven = {\n        ..._.pick(world.given, Object.keys(givenDependencies)),\n        ...requireFromGiven(requiredKeys(givenDependencies), world),\n      };\n      const narrowedWhen = {\n        ..._.pick(world.when, Object.keys(whenDependencies)),\n        ...requireFromWhen(requiredKeys(whenDependencies), world),\n      };\n      const narrowedThen = {\n        ..._.pick(world.then, Object.keys(thenDependencies)),\n        ...requireFromThen(requiredKeys(thenDependencies), world),\n      };\n      const result = await stepFunction({\n        variables: capturedArgs,\n        given: narrowedGiven,\n        when: narrowedWhen,\n        then: narrowedThen,\n      } as StepFnInput);\n      world[stepType].merge({\n        ...(result as any),\n      });\n    };\n\n    // Registration is the terminal action of the builder chain: calling\n    // `.step(fn)` makes the step matchable and executable by the runtime. We\n    // capture *this* call site (the user's `.step(...)` line) so reporters can\n    // show where a failing step is defined, Cucumber-style.\n    const source = captureDefinitionSite();\n    globalRegistry.add({ stepType, expression, parsers, execute, source });\n\n    return {\n      statement,\n      expression,\n      dependencies,\n      stepType,\n      stepFunction,\n    };\n  };\n","/* eslint-disable @typescript-eslint/no-explicit-any */\n\nimport {\n  FullDependencies,\n  GetFunctionArgs,\n  isString,\n  RequiredOrOptional,\n  Restrict,\n  StepType,\n} from \"./builderTypeUtils\";\nimport { addStep } from \"./common\";\nimport { Parser } from \"./parsers\";\n\nconst GIVEN: StepType = \"given\";\n\n// The `{ variables, given, when, then }` object a given step receives. Only\n// `given` is reachable — when/then are `never`, enforcing phase restriction.\n// `Given` is the state already narrowed to declared dependencies (`never` when\n// no dependencies were declared).\ntype GivenInput<Variables, Given> = {\n  variables: Variables;\n  given: Given;\n  when: never;\n  then: never;\n};\ntype GivenOutput<GivenState> =\n  | Partial<GivenState>\n  | Promise<Partial<GivenState>>;\n\nconst givenDependencies =\n  <Variables, GivenState>(\n    statement: (...args: any[]) => string,\n    parsers?: Parser<any>[]\n  ) =>\n  <GivenDeps extends RequiredOrOptional<GivenState>>(dependencies: {\n    given: GivenDeps;\n  }) => ({\n    step: addStep<\n      GivenInput<Variables, Restrict<GivenState, GivenDeps>>,\n      GivenOutput<GivenState>\n    >(\n      statement,\n      GIVEN,\n      { ...dependencies, when: {}, then: {} } as FullDependencies,\n      parsers\n    ),\n  });\n\nconst givenParsers =\n  <Variables extends any[], GivenState>(\n    statement: (...args: any[]) => string\n  ) =>\n  <Parsers extends { [K in keyof Variables]: Parser<Variables[K]> }>(\n    parsers: Parsers\n  ) => ({\n    dependencies: givenDependencies<Variables, GivenState>(\n      statement,\n      parsers as unknown as Parser<any>[]\n    ),\n    step: addStep<GivenInput<Variables, never>, GivenOutput<GivenState>>(\n      statement,\n      GIVEN,\n      undefined,\n      parsers as unknown as Parser<any>[]\n    ),\n  });\n\nconst givenStatement =\n  <GivenState>() =>\n  <Statement extends ((...args: [...any]) => string) | string>(\n    statement: Statement\n  ) => {\n    const normalizedStatement: (...args: any[]) => string = isString(statement)\n      ? () => statement\n      : (statement as (...args: any[]) => string);\n\n    type Variables = Statement extends string ? [] : GetFunctionArgs<Statement>;\n    return {\n      dependencies: givenDependencies<Variables, GivenState>(\n        normalizedStatement\n      ),\n      parsers: givenParsers<Variables, GivenState>(normalizedStatement),\n      step: addStep<GivenInput<Variables, never>, GivenOutput<GivenState>>(\n        normalizedStatement,\n        GIVEN\n      ),\n    };\n  };\n\nexport const givenBuilder = <GivenState>() => ({\n  statement: givenStatement<GivenState>(),\n});\n","/* eslint-disable @typescript-eslint/no-explicit-any */\n\nimport {\n  FullDependencies,\n  GetFunctionArgs,\n  isString,\n  RequiredOrOptional,\n  Restrict,\n  StepType,\n} from \"./builderTypeUtils\";\nimport { addStep } from \"./common\";\nimport { Parser } from \"./parsers\";\n\nconst WHEN: StepType = \"when\";\n\n// The object a when step receives: `given` and `when` are reachable (narrowed to\n// declared dependencies, or `never` when none), `then` is always out of reach.\ntype WhenInput<Variables, Given, When> = {\n  variables: Variables;\n  given: Given;\n  when: When;\n  then: never;\n};\ntype WhenOutput<WhenState> = Partial<WhenState> | Promise<Partial<WhenState>>;\n\nconst whenDependencies =\n  <Variables, GivenState, WhenState>(\n    statement: (...args: any[]) => string,\n    parsers?: Parser<any>[]\n  ) =>\n  <\n    GivenDeps extends RequiredOrOptional<GivenState>,\n    WhenDeps extends RequiredOrOptional<WhenState>,\n  >(dependencies: {\n    given?: GivenDeps;\n    when?: WhenDeps;\n  }) => ({\n    step: addStep<\n      WhenInput<\n        Variables,\n        Restrict<GivenState, GivenDeps>,\n        Restrict<WhenState, WhenDeps>\n      >,\n      WhenOutput<WhenState>\n    >(\n      statement,\n      WHEN,\n      {\n        given: dependencies.given ?? {},\n        when: dependencies.when ?? {},\n        then: {},\n      } as FullDependencies,\n      parsers\n    ),\n  });\n\nconst whenParsers =\n  <Variables extends any[], GivenState, WhenState>(\n    statement: (...args: any[]) => string\n  ) =>\n  <Parsers extends { [K in keyof Variables]: Parser<Variables[K]> }>(\n    parsers: Parsers\n  ) => ({\n    dependencies: whenDependencies<Variables, GivenState, WhenState>(\n      statement,\n      parsers as unknown as Parser<any>[]\n    ),\n    step: addStep<WhenInput<Variables, never, never>, WhenOutput<WhenState>>(\n      statement,\n      WHEN,\n      undefined,\n      parsers as unknown as Parser<any>[]\n    ),\n  });\n\nconst whenStatement =\n  <GivenState, WhenState>() =>\n  <Statement extends ((...args: [...any]) => string) | string>(\n    statement: Statement\n  ) => {\n    const normalizedStatement: (...args: any[]) => string = isString(statement)\n      ? () => statement\n      : (statement as (...args: any[]) => string);\n\n    type Variables = Statement extends string ? [] : GetFunctionArgs<Statement>;\n    return {\n      dependencies: whenDependencies<Variables, GivenState, WhenState>(\n        normalizedStatement\n      ),\n      parsers: whenParsers<Variables, GivenState, WhenState>(\n        normalizedStatement\n      ),\n      step: addStep<WhenInput<Variables, never, never>, WhenOutput<WhenState>>(\n        normalizedStatement,\n        WHEN\n      ),\n    };\n  };\n\nexport const whenBuilder = <GivenState, WhenState>() => ({\n  statement: whenStatement<GivenState, WhenState>(),\n});\n","/* eslint-disable @typescript-eslint/no-explicit-any */\n\nimport {\n  FullDependencies,\n  GetFunctionArgs,\n  isString,\n  RequiredOrOptional,\n  Restrict,\n  StepType,\n} from \"./builderTypeUtils\";\nimport { addStep } from \"./common\";\nimport { Parser } from \"./parsers\";\n\nconst THEN: StepType = \"then\";\n\n// The object a then step receives: all three phases are reachable (each narrowed\n// to declared dependencies, or `never` when none). Then steps may also return\n// nothing (assertion-only), hence the `void` in the output type.\ntype ThenInput<Variables, Given, When, Then> = {\n  variables: Variables;\n  given: Given;\n  when: When;\n  then: Then;\n};\ntype ThenOutput<ThenState> =\n  | Partial<ThenState>\n  | Promise<Partial<ThenState>>\n  | void\n  | Promise<void>;\n\nconst thenDependencies =\n  <Variables, GivenState, WhenState, ThenState>(\n    statement: (...args: any[]) => string,\n    parsers?: Parser<any>[]\n  ) =>\n  <\n    GivenDeps extends RequiredOrOptional<GivenState>,\n    WhenDeps extends RequiredOrOptional<WhenState>,\n    ThenDeps extends RequiredOrOptional<ThenState>,\n  >(dependencies: {\n    given?: GivenDeps;\n    when?: WhenDeps;\n    then?: ThenDeps;\n  }) => ({\n    step: addStep<\n      ThenInput<\n        Variables,\n        Restrict<GivenState, GivenDeps>,\n        Restrict<WhenState, WhenDeps>,\n        Restrict<ThenState, ThenDeps>\n      >,\n      ThenOutput<ThenState>\n    >(\n      statement,\n      THEN,\n      {\n        given: dependencies.given ?? {},\n        when: dependencies.when ?? {},\n        then: dependencies.then ?? {},\n      } as FullDependencies,\n      parsers\n    ),\n  });\n\nconst thenParsers =\n  <Variables extends any[], GivenState, WhenState, ThenState>(\n    statement: (...args: any[]) => string\n  ) =>\n  <Parsers extends { [K in keyof Variables]: Parser<Variables[K]> }>(\n    parsers: Parsers\n  ) => ({\n    dependencies: thenDependencies<Variables, GivenState, WhenState, ThenState>(\n      statement,\n      parsers as unknown as Parser<any>[]\n    ),\n    step: addStep<\n      ThenInput<Variables, never, never, never>,\n      ThenOutput<ThenState>\n    >(statement, THEN, undefined, parsers as unknown as Parser<any>[]),\n  });\n\nconst thenStatement =\n  <GivenState, WhenState, ThenState>() =>\n  <Statement extends ((...args: [...any]) => string) | string>(\n    statement: Statement\n  ) => {\n    const normalizedStatement: (...args: any[]) => string = isString(statement)\n      ? () => statement\n      : (statement as (...args: any[]) => string);\n\n    type Variables = Statement extends string ? [] : GetFunctionArgs<Statement>;\n    return {\n      dependencies: thenDependencies<\n        Variables,\n        GivenState,\n        WhenState,\n        ThenState\n      >(normalizedStatement),\n      parsers: thenParsers<Variables, GivenState, WhenState, ThenState>(\n        normalizedStatement\n      ),\n      step: addStep<\n        ThenInput<Variables, never, never, never>,\n        ThenOutput<ThenState>\n      >(normalizedStatement, THEN),\n    };\n  };\n\nexport const thenBuilder = <GivenState, WhenState, ThenState>() => ({\n  statement: thenStatement<GivenState, WhenState, ThenState>(),\n});\n","import { givenBuilder } from \"./given\";\nimport { thenBuilder } from \"./then\";\nimport { whenBuilder } from \"./when\";\n\nexport const createBuilders = <GivenState, WhenState, ThenState>() => {\n  return {\n    Given: givenBuilder<GivenState>().statement,\n    When: whenBuilder<GivenState, WhenState>().statement,\n    Then: thenBuilder<GivenState, WhenState, ThenState>().statement,\n  };\n};\n","/* eslint-disable @typescript-eslint/no-explicit-any */\nimport {\n  globalHookRegistry,\n  PlainHookFn,\n  ScenarioHookFn,\n  ScenarioInfo,\n} from \"./runtime/hooks\";\nimport { MergeableWorld } from \"./world\";\n\n/**\n * Run before every scenario, with access to that scenario's fresh world. For\n * side effects only (reset a mock, seed an external system) — return values are\n * ignored; seed test *state* with given steps so the dependency graph stays the\n * single source of truth.\n */\nexport function beforeScenario<\n  World extends MergeableWorld<any, any, any> = MergeableWorld<any, any, any>,\n>(\n  fn: (context: {\n    world: World;\n    scenario: ScenarioInfo;\n  }) => void | Promise<void>\n): void {\n  globalHookRegistry.add({\n    scope: \"scenario\",\n    timing: \"before\",\n    fn: fn as ScenarioHookFn,\n  });\n}\n\n/**\n * Run after every scenario (even when a step failed), with access to that\n * scenario's world. Runs in reverse registration order so teardown unwinds\n * setup. For cleanup side effects only.\n */\nexport function afterScenario<\n  World extends MergeableWorld<any, any, any> = MergeableWorld<any, any, any>,\n>(\n  fn: (context: {\n    world: World;\n    scenario: ScenarioInfo;\n  }) => void | Promise<void>\n): void {\n  globalHookRegistry.add({\n    scope: \"scenario\",\n    timing: \"after\",\n    fn: fn as ScenarioHookFn,\n  });\n}\n\n/** Run once at the start of each feature file. No world exists at this boundary. */\nexport function beforeFeature(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"feature\", timing: \"before\", fn });\n}\n\n/** Run once at the end of each feature file (reverse registration order). */\nexport function afterFeature(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"feature\", timing: \"after\", fn });\n}\n\n/**\n * Run once before the entire run, ahead of any scenario (and before\n * concurrency starts). Multiple `beforeAll` hooks run **in parallel** with no\n * ordering between them — if a step of setup must precede another, sequence both\n * inside a single hook.\n */\nexport function beforeAll(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"global\", timing: \"before\", fn });\n}\n\n/**\n * Run once after the entire run, once every scenario is done. Multiple\n * `afterAll` hooks run **in parallel** with no ordering between them — sequence\n * dependent teardown inside a single hook.\n */\nexport function afterAll(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"global\", timing: \"after\", fn });\n}\n","import { givenBuilder } from \"./given\";\nimport { whenBuilder } from \"./when\";\nimport { thenBuilder } from \"./then\";\nimport { BasicWorld } from \"./world\";\nimport {\n  stringParser,\n  intParser,\n  numberParser,\n  booleanParser,\n} from \"./parsers\";\nimport type { Parser } from \"./parsers\";\nimport {\n  analyze,\n  extractStepDefinitions,\n  parseFeatureFiles,\n  parseFeatureContent,\n  matchScenarioSteps,\n  findMatchingDefinitions,\n  defaultRules,\n} from \"./analyzer/index\";\nimport type {\n  AnalyzerConfig,\n  AnalyzeOptions,\n  AnalysisRule,\n  Diagnostic,\n  StepDefinitionMeta,\n  ParsedScenario,\n  ParsedStep,\n  MatchedStep,\n} from \"./analyzer/index\";\nimport { createBuilders } from \"./init\";\nimport {\n  beforeScenario,\n  afterScenario,\n  beforeFeature,\n  afterFeature,\n  beforeAll,\n  afterAll,\n} from \"./hooks\";\n\nexport {\n  givenBuilder,\n  whenBuilder,\n  thenBuilder,\n  BasicWorld,\n  stringParser,\n  intParser,\n  numberParser,\n  booleanParser,\n  createBuilders,\n  beforeScenario,\n  afterScenario,\n  beforeFeature,\n  afterFeature,\n  beforeAll,\n  afterAll,\n};\n\nexport type { Parser };\nexport type {\n  ScenarioInfo,\n  PlainHookFn,\n  ScenarioHookFn,\n} from \"./runtime/hooks\";\nexport type { StateFromDependencies } from \"./typeHelpers\";\n// Re-exported from the main entry so consumers can type their\n// `step-forge.config.ts` with a plain `@step-forge/step-forge` import.\nexport type { RunnerOptions } from \"./runtime/config\";\n\nexport const analyzer = {\n  analyze,\n  extractStepDefinitions,\n  parseFeatureFiles,\n  parseFeatureContent,\n  matchScenarioSteps,\n  findMatchingDefinitions,\n  defaultRules,\n};\n\nexport type {\n  AnalyzerConfig,\n  AnalyzeOptions,\n  AnalysisRule,\n  Diagnostic,\n  StepDefinitionMeta,\n  ParsedScenario,\n  ParsedStep,\n  MatchedStep,\n};\n"],"mappings":";;;;;;;AAiCA,MAAa,YACX,cACwB,OAAO,cAAc;;;;ACN/C,MAAa,eAA+B;CAC1C,MAAM;CACN,QAAQ,CAAC,4BAA4B,0BAA0B;CAC/D,QAAO,UAAS;EACd,MAAM,QAAQ,gBAAgB,KAAK,KAAK,KAAK,gBAAgB,KAAK,KAAK;EACvE,OAAO,QAAQ,MAAM,EAAE,CAAC,QAAQ,aAAa,IAAI,IAAI;CACvD;AACF;;AAGA,MAAa,YAA4B;CACvC,MAAM;CACN,QAAQ;CACR,QAAO,UAAS,SAAS,OAAO,EAAE;AACpC;;AAGA,MAAa,eAA+B;CAC1C,MAAM;CACN,QAAQ;CACR,QAAO,UAAS,WAAW,KAAK;AAClC;;;;;;AAOA,MAAa,gBAAiC;CAC5C,MAAM;CACN,QAAQ;CACR,QAAO,UAAS,UAAU;AAC5B;;;AC3DA,MAAa,oBACX,MACA,UACG;CACH,KAAK,SAAQ,QAAO;EAClB,IAAI,CAAC,MAAM,MAAM,MACf,MAAM,IAAI,MAAM,OAAO,OAAO,GAAG,EAAE,4BAA4B;CAEnE,CAAC;CACD,OAAO,KAAK,QACT,KAAK,QAAQ;EACZ,OAAO;GACL,GAAG;IACF,MAAM,MAAM,MAAM;EACrB;CACF,GACA,CAAC,CACH;AACF;AACA,MAAa,mBACX,MACA,UACG;CACH,KAAK,SAAQ,QAAO;EAClB,IAAI,CAAC,MAAM,KAAK,MACd,MAAM,IAAI,MAAM,OAAO,OAAO,GAAG,EAAE,2BAA2B;CAElE,CAAC;CACD,OAAO,KAAK,QACT,KAAK,QAAQ;EACZ,OAAO;GACL,GAAG;IACF,MAAM,MAAM,KAAK;EACpB;CACF,GACA,CAAC,CACH;AACF;AACA,MAAa,mBACX,MACA,UACG;CACH,KAAK,SAAQ,QAAO;EAClB,IAAI,CAAC,MAAM,KAAK,MACd,MAAM,IAAI,MAAM,OAAO,OAAO,GAAG,EAAE,2BAA2B;CAElE,CAAC;CACD,OAAO,KAAK,QACT,KAAK,QAAQ;EACZ,OAAO;GACL,GAAG;IACF,MAAM,MAAM,KAAK;EACpB;CACF,GACA,CAAC,CACH;AACF;;;;;;;;;;;;;;;ACpCA,MAAa,WAET,WACA,UACA,eAAiC;CAC/B,OAAO,CAAC;CACR,MAAM,CAAC;CACP,MAAM,CAAC;AACT,GACA,qBAED,iBAAuD;CACtD,MAAM,EACJ,OAAO,mBACP,MAAM,kBACN,MAAM,qBACJ;CAIJ,MAAM,WAAW,UAAU;CAC3B,MAAM,UACJ,mBAAmB,MAAM,KAAK,EAAE,QAAQ,SAAS,SAAS,YAAY;CACxE,MAAM,aAAa,UAAU,GAAG,QAAQ,KAAI,WAAU,IAAI,OAAO,KAAK,EAAE,CAAC;CAOzE,MAAM,UAAU,OACd,OACA,iBACG;EACH,MAAM,gBAAgB,SACpB,OAAO,QAAQ,IAAI,CAAC,CACjB,QAAQ,GAAG,WAAW,UAAU,UAAU,CAAC,CAC3C,KAAK,CAAC,SAAS,GAAG;EAavB,MAAM,SAAS,MAAM,aAAa;GAChC,WAAW;GACX,OAAO;IAbP,GAAGA,OAAAA,QAAE,KAAK,MAAM,OAAO,OAAO,KAAK,iBAAiB,CAAC;IACrD,GAAG,iBAAiB,aAAa,iBAAiB,GAAG,KAAK;GAYvC;GACnB,MAAM;IAVN,GAAGA,OAAAA,QAAE,KAAK,MAAM,MAAM,OAAO,KAAK,gBAAgB,CAAC;IACnD,GAAG,gBAAgB,aAAa,gBAAgB,GAAG,KAAK;GASvC;GACjB,MAAM;IAPN,GAAGA,OAAAA,QAAE,KAAK,MAAM,MAAM,OAAO,KAAK,gBAAgB,CAAC;IACnD,GAAG,gBAAgB,aAAa,gBAAgB,GAAG,KAAK;GAMvC;EACnB,CAAgB;EAChB,MAAM,SAAS,CAAC,MAAM,EACpB,GAAI,OACN,CAAC;CACH;CAMA,MAAM,SAASC,sBAAAA,sBAAsB;CACrC,cAAA,eAAe,IAAI;EAAE;EAAU;EAAY;EAAS;EAAS;CAAO,CAAC;CAErE,OAAO;EACL;EACA;EACA;EACA;EACA;CACF;AACF;;;ACpFF,MAAM,QAAkB;AAgBxB,MAAM,qBAEF,WACA,aAEiD,kBAE5C,EACL,MAAM,QAIJ,WACA,OACA;CAAE,GAAG;CAAc,MAAM,CAAC;CAAG,MAAM,CAAC;AAAE,GACtC,OACF,EACF;AAEF,MAAM,gBAEF,eAGA,aACI;CACJ,cAAc,kBACZ,WACA,OACF;CACA,MAAM,QACJ,WACA,OACA,KAAA,GACA,OACF;AACF;AAEF,MAAM,wBAGF,cACG;CACH,MAAM,sBAAkD,SAAS,SAAS,UAChE,YACL;CAGL,OAAO;EACL,cAAc,kBACZ,mBACF;EACA,SAAS,aAAoC,mBAAmB;EAChE,MAAM,QACJ,qBACA,KACF;CACF;AACF;AAEF,MAAa,sBAAkC,EAC7C,WAAW,eAA2B,EACxC;;;AC9EA,MAAM,OAAiB;AAYvB,MAAM,oBAEF,WACA,aAKA,kBAGK,EACL,MAAM,QAQJ,WACA,MACA;CACE,OAAO,aAAa,SAAS,CAAC;CAC9B,MAAM,aAAa,QAAQ,CAAC;CAC5B,MAAM,CAAC;AACT,GACA,OACF,EACF;AAEF,MAAM,eAEF,eAGA,aACI;CACJ,cAAc,iBACZ,WACA,OACF;CACA,MAAM,QACJ,WACA,MACA,KAAA,GACA,OACF;AACF;AAEF,MAAM,uBAGF,cACG;CACH,MAAM,sBAAkD,SAAS,SAAS,UAChE,YACL;CAGL,OAAO;EACL,cAAc,iBACZ,mBACF;EACA,SAAS,YACP,mBACF;EACA,MAAM,QACJ,qBACA,IACF;CACF;AACF;AAEF,MAAa,qBAA4C,EACvD,WAAW,cAAqC,EAClD;;;ACxFA,MAAM,OAAiB;AAiBvB,MAAM,oBAEF,WACA,aAMA,kBAIK,EACL,MAAM,QASJ,WACA,MACA;CACE,OAAO,aAAa,SAAS,CAAC;CAC9B,MAAM,aAAa,QAAQ,CAAC;CAC5B,MAAM,aAAa,QAAQ,CAAC;AAC9B,GACA,OACF,EACF;AAEF,MAAM,eAEF,eAGA,aACI;CACJ,cAAc,iBACZ,WACA,OACF;CACA,MAAM,QAGJ,WAAW,MAAM,KAAA,GAAW,OAAmC;AACnE;AAEF,MAAM,uBAGF,cACG;CACH,MAAM,sBAAkD,SAAS,SAAS,UAChE,YACL;CAGL,OAAO;EACL,cAAc,iBAKZ,mBAAmB;EACrB,SAAS,YACP,mBACF;EACA,MAAM,QAGJ,qBAAqB,IAAI;CAC7B;AACF;AAEF,MAAa,qBAAuD,EAClE,WAAW,cAAgD,EAC7D;;;AC1GA,MAAa,uBAAyD;CACpE,OAAO;EACL,OAAO,aAAyB,CAAC,CAAC;EAClC,MAAM,YAAmC,CAAC,CAAC;EAC3C,MAAM,YAA8C,CAAC,CAAC;CACxD;AACF;;;;;;;;;ACKA,SAAgB,eAGd,IAIM;CACN,cAAA,mBAAmB,IAAI;EACrB,OAAO;EACP,QAAQ;EACJ;CACN,CAAC;AACH;;;;;;AAOA,SAAgB,cAGd,IAIM;CACN,cAAA,mBAAmB,IAAI;EACrB,OAAO;EACP,QAAQ;EACJ;CACN,CAAC;AACH;;AAGA,SAAgB,cAAc,IAAuB;CACnD,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAW,QAAQ;EAAU;CAAG,CAAC;AACnE;;AAGA,SAAgB,aAAa,IAAuB;CAClD,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAW,QAAQ;EAAS;CAAG,CAAC;AAClE;;;;;;;AAQA,SAAgB,UAAU,IAAuB;CAC/C,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAU,QAAQ;EAAU;CAAG,CAAC;AAClE;;;;;;AAOA,SAAgB,SAAS,IAAuB;CAC9C,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAU,QAAQ;EAAS;CAAG,CAAC;AACjE;;;ACRA,MAAa,WAAW;CACtB,SAAA,iBAAA;CACA,wBAAA,iBAAA;CACA,mBAAA,sBAAA;CACA,qBAAA,sBAAA;CACA,oBAAA,iBAAA;CACA,yBAAA,iBAAA;CACA,cAAA,iBAAA;AACF"}
+{"version":3,"file":"step-forge.cjs","names":["_","captureDefinitionSite","ts","globFiles","parseFeatureFiles"],"sources":["../../src/builderTypeUtils.ts","../../src/parsers.ts","../../src/utils.ts","../../src/common.ts","../../src/given.ts","../../src/when.ts","../../src/then.ts","../../src/analyzer/stepExtractor.ts","../../src/analyzer/stepMatcher.ts","../../src/analyzer/rules/ambiguousStepRule.ts","../../src/analyzer/rules/dependencyRule.ts","../../src/analyzer/rules/undefinedStepRule.ts","../../src/analyzer/rules/index.ts","../../src/analyzer/index.ts","../../src/init.ts","../../src/hooks.ts","../../src/index.ts"],"sourcesContent":["/* eslint-disable @typescript-eslint/no-explicit-any */\nexport type StepType = \"given\" | \"when\" | \"then\";\n\n/** A dependency declaration: each key of a phase's state marked required/optional. */\nexport type RequiredOrOptional<T> = {\n  [K in keyof T]?: \"required\" | \"optional\";\n};\n\n/** The dependency map for a single phase, keyed by state property name. */\nexport type DepMap = Record<string, \"required\" | \"optional\">;\n\n/** The fully-resolved dependency declaration passed to `addStep` at runtime. */\nexport type FullDependencies = {\n  given: DepMap;\n  when: DepMap;\n  then: DepMap;\n};\n\n/**\n * Narrows a phase's full state to only the keys named in a dependency map.\n * Optional dependencies widen to `| undefined`; keys not present in the state\n * are dropped. This is the shape a step function sees for `given`/`when`/`then`.\n */\nexport type Restrict<State, Deps extends RequiredOrOptional<State>> = {\n  [\n    K in keyof State as K extends keyof Deps ? K : never\n  ]: Deps[K] extends \"optional\" ? State[K] | undefined : State[K];\n};\n\nexport type GetFunctionArgs<T> = T extends (...args: infer A) => any\n  ? A\n  : never;\n\nexport const isString = (\n  statement: string | ((...args: [...any]) => string)\n): statement is string => typeof statement === \"string\";\n","/**\n * A Parser is a typed cucumber-expression *parameter type*: it declares how a\n * value is recognised in a Gherkin step (`regexp`) and how the matched text is\n * turned into a TypeScript value (`parse`). The step expression uses `{name}`\n * as the placeholder.\n *\n * The engine folds each parser straight into the cucumber-expression matcher —\n * `parse` is the parameter type's transform, so coercion happens exactly once,\n * during matching (no second pass). This is also what lets a parser introduce a\n * brand-new placeholder like `{color}`: it is registered as a real parameter\n * type, so text that doesn't match `regexp` simply doesn't match the step.\n *\n * The four built-ins below reuse cucumber-expressions' own built-in parameter\n * types (`{int}`, `{float}`, `{string}`) — those names are already registered,\n * so the library performs the match + coercion and each parser's `regexp`/\n * `parse` serve to document intent and to drive TypeScript inference of the\n * variable type. `booleanParser` has no built-in equivalent, so it is a genuine\n * custom parameter type whose `parse` runs at match time.\n */\nexport type Parser<T> = {\n  /** Parameter-type name; the step expression uses `{name}` as the placeholder. */\n  name: string;\n  /** How cucumber-expressions recognises the value in the step text. */\n  regexp: RegExp | RegExp[];\n  /** Transform the matched text into the typed value. */\n  parse: (value: string) => T;\n};\n\n/** Matches a quoted string (`{string}`) and strips the surrounding quotes. */\nexport const stringParser: Parser<string> = {\n  name: \"string\",\n  regexp: [/\"([^\"\\\\]*(\\\\.[^\"\\\\]*)*)\"/, /'([^'\\\\]*(\\\\.[^'\\\\]*)*)'/],\n  parse: value => {\n    const match = /^\"([\\s\\S]*)\"$/.exec(value) ?? /^'([\\s\\S]*)'$/.exec(value);\n    return match ? match[1].replace(/\\\\([\"'])/g, \"$1\") : value;\n  },\n};\n\n/** Matches an unquoted integer (`{int}`). */\nexport const intParser: Parser<number> = {\n  name: \"int\",\n  regexp: /-?\\d+/,\n  parse: value => parseInt(value, 10),\n};\n\n/** Matches an unquoted floating point number (`{float}`). */\nexport const numberParser: Parser<number> = {\n  name: \"float\",\n  regexp: /-?\\d*\\.?\\d+/,\n  parse: value => parseFloat(value),\n};\n\n/**\n * Matches an unquoted `true`/`false` word (`{boolean}`) and parses it to a\n * boolean. Unlike the others this is a genuine custom parameter type — cucumber\n * has no built-in `boolean` — so its `regexp`/`parse` are what the matcher uses.\n */\nexport const booleanParser: Parser<boolean> = {\n  name: \"boolean\",\n  regexp: /true|false/,\n  parse: value => value === \"true\",\n};\n","import { MergeableWorld } from \"./world\";\n\nexport const requireFromGiven = <G>(\n  keys: (keyof G)[],\n  world: MergeableWorld<G, unknown, unknown>\n) => {\n  keys.forEach(key => {\n    if (!world.given[key]) {\n      throw new Error(`Key ${String(key)} is required in given state`);\n    }\n  });\n  return keys.reduce(\n    (acc, key) => {\n      return {\n        ...acc,\n        [key]: world.given[key],\n      };\n    },\n    {} as { [key in keyof G]: G[key] }\n  );\n};\nexport const requireFromWhen = <W>(\n  keys: (keyof W)[],\n  world: MergeableWorld<unknown, W, unknown>\n) => {\n  keys.forEach(key => {\n    if (!world.when[key]) {\n      throw new Error(`Key ${String(key)} is required in when state`);\n    }\n  });\n  return keys.reduce(\n    (acc, key) => {\n      return {\n        ...acc,\n        [key]: world.when[key],\n      };\n    },\n    {} as { [key in keyof W]: W[key] }\n  );\n};\nexport const requireFromThen = <T>(\n  keys: (keyof T)[],\n  world: MergeableWorld<unknown, unknown, T>\n) => {\n  keys.forEach(key => {\n    if (!world.then[key]) {\n      throw new Error(`Key ${String(key)} is required in then state`);\n    }\n  });\n  return keys.reduce(\n    (acc, key) => {\n      return {\n        ...acc,\n        [key]: world.then[key],\n      };\n    },\n    {} as { [key in keyof T]: T[key] }\n  );\n};\n","/* eslint-disable @typescript-eslint/no-explicit-any */\nimport _ from \"lodash\";\n\nimport { DepMap, FullDependencies, StepType } from \"./builderTypeUtils\";\nimport { Parser, stringParser } from \"./parsers\";\nimport { globalRegistry } from \"./runtime/registry\";\nimport { captureDefinitionSite } from \"./sourceLocation\";\nimport { requireFromGiven, requireFromThen, requireFromWhen } from \"./utils\";\nimport { MergeableWorld } from \"./world\";\n\n/**\n * The runtime core of the builder chain. `addStep` is deliberately phase-agnostic:\n * the calling builder (given/when/then) has already computed the exact type of the\n * step function via its two type parameters:\n *\n * - `StepFnInput`  — the `{ variables, given, when, then }` object the step receives,\n *   with each phase already narrowed to its declared dependencies.\n * - `StepFnOutput` — the phase-appropriate return type (`Partial<State>`, or `void`).\n *\n * Everything else is plain runtime data (a statement function, the step type, the\n * dependency map, the parsers), so `addStep` carries no generics for them.\n */\nexport const addStep =\n  <StepFnInput, StepFnOutput>(\n    statement: (...args: any[]) => string,\n    stepType: StepType,\n    dependencies: FullDependencies = {\n      given: {},\n      when: {},\n      then: {},\n    },\n    declaredParsers?: Parser<any>[]\n  ) =>\n  (stepFunction: (input: StepFnInput) => StepFnOutput) => {\n    const {\n      given: givenDependencies,\n      when: whenDependencies,\n      then: thenDependencies,\n    } = dependencies;\n    // Resolve the parsers up front, defaulting every variable to `stringParser`\n    // (the `{string}` placeholder, value passed through unchanged) when none are\n    // provided. Numeric/boolean values are opt-in via explicit parsers.\n    const argCount = statement.length;\n    const parsers =\n      declaredParsers ?? Array.from({ length: argCount }, () => stringParser);\n    const expression = statement(...parsers.map(parser => `{${parser.name}}`));\n    // The fully-wired step body, decoupled from any test runner: takes an\n    // explicit world plus the values captured from a Gherkin step, validates +\n    // narrows dependencies, runs the user's step, and merges the result. The\n    // captured values arrive already coerced — each parser is registered as the\n    // cucumber-expression parameter type, so `parse` runs during matching, not\n    // here.\n    const execute = async (\n      world: MergeableWorld<any, any, any>,\n      capturedArgs: unknown[]\n    ) => {\n      const requiredKeys = (deps: DepMap) =>\n        Object.entries(deps)\n          .filter(([, value]) => value === \"required\")\n          .map(([key]) => key);\n      const narrowedGiven = {\n        ..._.pick(world.given, Object.keys(givenDependencies)),\n        ...requireFromGiven(requiredKeys(givenDependencies), world),\n      };\n      const narrowedWhen = {\n        ..._.pick(world.when, Object.keys(whenDependencies)),\n        ...requireFromWhen(requiredKeys(whenDependencies), world),\n      };\n      const narrowedThen = {\n        ..._.pick(world.then, Object.keys(thenDependencies)),\n        ...requireFromThen(requiredKeys(thenDependencies), world),\n      };\n      const result = await stepFunction({\n        variables: capturedArgs,\n        given: narrowedGiven,\n        when: narrowedWhen,\n        then: narrowedThen,\n      } as StepFnInput);\n      world[stepType].merge({\n        ...(result as any),\n      });\n    };\n\n    // Registration is the terminal action of the builder chain: calling\n    // `.step(fn)` makes the step matchable and executable by the runtime. We\n    // capture *this* call site (the user's `.step(...)` line) so reporters can\n    // show where a failing step is defined, Cucumber-style.\n    const source = captureDefinitionSite();\n    globalRegistry.add({ stepType, expression, parsers, execute, source });\n\n    return {\n      statement,\n      expression,\n      dependencies,\n      stepType,\n      stepFunction,\n    };\n  };\n","/* eslint-disable @typescript-eslint/no-explicit-any */\n\nimport {\n  FullDependencies,\n  GetFunctionArgs,\n  isString,\n  RequiredOrOptional,\n  Restrict,\n  StepType,\n} from \"./builderTypeUtils\";\nimport { addStep } from \"./common\";\nimport { Parser } from \"./parsers\";\n\nconst GIVEN: StepType = \"given\";\n\n// The `{ variables, given, when, then }` object a given step receives. Only\n// `given` is reachable — when/then are `never`, enforcing phase restriction.\n// `Given` is the state already narrowed to declared dependencies (`never` when\n// no dependencies were declared).\ntype GivenInput<Variables, Given> = {\n  variables: Variables;\n  given: Given;\n  when: never;\n  then: never;\n};\ntype GivenOutput<GivenState> =\n  Partial<GivenState> | Promise<Partial<GivenState>>;\n\nconst givenDependencies =\n  <Variables, GivenState>(\n    statement: (...args: any[]) => string,\n    parsers?: Parser<any>[]\n  ) =>\n  <GivenDeps extends RequiredOrOptional<GivenState>>(dependencies: {\n    given: GivenDeps;\n  }) => ({\n    step: addStep<\n      GivenInput<Variables, Restrict<GivenState, GivenDeps>>,\n      GivenOutput<GivenState>\n    >(\n      statement,\n      GIVEN,\n      { ...dependencies, when: {}, then: {} } as FullDependencies,\n      parsers\n    ),\n  });\n\nconst givenParsers =\n  <Variables extends any[], GivenState>(\n    statement: (...args: any[]) => string\n  ) =>\n  <Parsers extends { [K in keyof Variables]: Parser<Variables[K]> }>(\n    parsers: Parsers\n  ) => ({\n    dependencies: givenDependencies<Variables, GivenState>(\n      statement,\n      parsers as unknown as Parser<any>[]\n    ),\n    step: addStep<GivenInput<Variables, never>, GivenOutput<GivenState>>(\n      statement,\n      GIVEN,\n      undefined,\n      parsers as unknown as Parser<any>[]\n    ),\n  });\n\nconst givenStatement =\n  <GivenState>() =>\n  <Statement extends ((...args: [...any]) => string) | string>(\n    statement: Statement\n  ) => {\n    const normalizedStatement: (...args: any[]) => string = isString(statement)\n      ? () => statement\n      : (statement as (...args: any[]) => string);\n\n    type Variables = Statement extends string ? [] : GetFunctionArgs<Statement>;\n    return {\n      dependencies: givenDependencies<Variables, GivenState>(\n        normalizedStatement\n      ),\n      parsers: givenParsers<Variables, GivenState>(normalizedStatement),\n      step: addStep<GivenInput<Variables, never>, GivenOutput<GivenState>>(\n        normalizedStatement,\n        GIVEN\n      ),\n    };\n  };\n\nexport const givenBuilder = <GivenState>() => ({\n  statement: givenStatement<GivenState>(),\n});\n","/* eslint-disable @typescript-eslint/no-explicit-any */\n\nimport {\n  FullDependencies,\n  GetFunctionArgs,\n  isString,\n  RequiredOrOptional,\n  Restrict,\n  StepType,\n} from \"./builderTypeUtils\";\nimport { addStep } from \"./common\";\nimport { Parser } from \"./parsers\";\n\nconst WHEN: StepType = \"when\";\n\n// The object a when step receives: `given` and `when` are reachable (narrowed to\n// declared dependencies, or `never` when none), `then` is always out of reach.\ntype WhenInput<Variables, Given, When> = {\n  variables: Variables;\n  given: Given;\n  when: When;\n  then: never;\n};\ntype WhenOutput<WhenState> = Partial<WhenState> | Promise<Partial<WhenState>>;\n\nconst whenDependencies =\n  <Variables, GivenState, WhenState>(\n    statement: (...args: any[]) => string,\n    parsers?: Parser<any>[]\n  ) =>\n  <\n    GivenDeps extends RequiredOrOptional<GivenState>,\n    WhenDeps extends RequiredOrOptional<WhenState>,\n  >(dependencies: {\n    given?: GivenDeps;\n    when?: WhenDeps;\n  }) => ({\n    step: addStep<\n      WhenInput<\n        Variables,\n        Restrict<GivenState, GivenDeps>,\n        Restrict<WhenState, WhenDeps>\n      >,\n      WhenOutput<WhenState>\n    >(\n      statement,\n      WHEN,\n      {\n        given: dependencies.given ?? {},\n        when: dependencies.when ?? {},\n        then: {},\n      } as FullDependencies,\n      parsers\n    ),\n  });\n\nconst whenParsers =\n  <Variables extends any[], GivenState, WhenState>(\n    statement: (...args: any[]) => string\n  ) =>\n  <Parsers extends { [K in keyof Variables]: Parser<Variables[K]> }>(\n    parsers: Parsers\n  ) => ({\n    dependencies: whenDependencies<Variables, GivenState, WhenState>(\n      statement,\n      parsers as unknown as Parser<any>[]\n    ),\n    step: addStep<WhenInput<Variables, never, never>, WhenOutput<WhenState>>(\n      statement,\n      WHEN,\n      undefined,\n      parsers as unknown as Parser<any>[]\n    ),\n  });\n\nconst whenStatement =\n  <GivenState, WhenState>() =>\n  <Statement extends ((...args: [...any]) => string) | string>(\n    statement: Statement\n  ) => {\n    const normalizedStatement: (...args: any[]) => string = isString(statement)\n      ? () => statement\n      : (statement as (...args: any[]) => string);\n\n    type Variables = Statement extends string ? [] : GetFunctionArgs<Statement>;\n    return {\n      dependencies: whenDependencies<Variables, GivenState, WhenState>(\n        normalizedStatement\n      ),\n      parsers: whenParsers<Variables, GivenState, WhenState>(\n        normalizedStatement\n      ),\n      step: addStep<WhenInput<Variables, never, never>, WhenOutput<WhenState>>(\n        normalizedStatement,\n        WHEN\n      ),\n    };\n  };\n\nexport const whenBuilder = <GivenState, WhenState>() => ({\n  statement: whenStatement<GivenState, WhenState>(),\n});\n","/* eslint-disable @typescript-eslint/no-explicit-any */\n\nimport {\n  FullDependencies,\n  GetFunctionArgs,\n  isString,\n  RequiredOrOptional,\n  Restrict,\n  StepType,\n} from \"./builderTypeUtils\";\nimport { addStep } from \"./common\";\nimport { Parser } from \"./parsers\";\n\nconst THEN: StepType = \"then\";\n\n// The object a then step receives: all three phases are reachable (each narrowed\n// to declared dependencies, or `never` when none). Then steps may also return\n// nothing (assertion-only), hence the `void` in the output type.\ntype ThenInput<Variables, Given, When, Then> = {\n  variables: Variables;\n  given: Given;\n  when: When;\n  then: Then;\n};\ntype ThenOutput<ThenState> =\n  Partial<ThenState> | Promise<Partial<ThenState>> | void | Promise<void>;\n\nconst thenDependencies =\n  <Variables, GivenState, WhenState, ThenState>(\n    statement: (...args: any[]) => string,\n    parsers?: Parser<any>[]\n  ) =>\n  <\n    GivenDeps extends RequiredOrOptional<GivenState>,\n    WhenDeps extends RequiredOrOptional<WhenState>,\n    ThenDeps extends RequiredOrOptional<ThenState>,\n  >(dependencies: {\n    given?: GivenDeps;\n    when?: WhenDeps;\n    then?: ThenDeps;\n  }) => ({\n    step: addStep<\n      ThenInput<\n        Variables,\n        Restrict<GivenState, GivenDeps>,\n        Restrict<WhenState, WhenDeps>,\n        Restrict<ThenState, ThenDeps>\n      >,\n      ThenOutput<ThenState>\n    >(\n      statement,\n      THEN,\n      {\n        given: dependencies.given ?? {},\n        when: dependencies.when ?? {},\n        then: dependencies.then ?? {},\n      } as FullDependencies,\n      parsers\n    ),\n  });\n\nconst thenParsers =\n  <Variables extends any[], GivenState, WhenState, ThenState>(\n    statement: (...args: any[]) => string\n  ) =>\n  <Parsers extends { [K in keyof Variables]: Parser<Variables[K]> }>(\n    parsers: Parsers\n  ) => ({\n    dependencies: thenDependencies<Variables, GivenState, WhenState, ThenState>(\n      statement,\n      parsers as unknown as Parser<any>[]\n    ),\n    step: addStep<\n      ThenInput<Variables, never, never, never>,\n      ThenOutput<ThenState>\n    >(statement, THEN, undefined, parsers as unknown as Parser<any>[]),\n  });\n\nconst thenStatement =\n  <GivenState, WhenState, ThenState>() =>\n  <Statement extends ((...args: [...any]) => string) | string>(\n    statement: Statement\n  ) => {\n    const normalizedStatement: (...args: any[]) => string = isString(statement)\n      ? () => statement\n      : (statement as (...args: any[]) => string);\n\n    type Variables = Statement extends string ? [] : GetFunctionArgs<Statement>;\n    return {\n      dependencies: thenDependencies<\n        Variables,\n        GivenState,\n        WhenState,\n        ThenState\n      >(normalizedStatement),\n      parsers: thenParsers<Variables, GivenState, WhenState, ThenState>(\n        normalizedStatement\n      ),\n      step: addStep<\n        ThenInput<Variables, never, never, never>,\n        ThenOutput<ThenState>\n      >(normalizedStatement, THEN),\n    };\n  };\n\nexport const thenBuilder = <GivenState, WhenState, ThenState>() => ({\n  statement: thenStatement<GivenState, WhenState, ThenState>(),\n});\n","import ts from \"typescript\";\nimport { StepDefinitionMeta } from \"./types.js\";\n\ntype StepType = \"given\" | \"when\" | \"then\";\n\nconst BUILDER_NAMES: Record<string, StepType> = {\n  givenBuilder: \"given\",\n  whenBuilder: \"when\",\n  thenBuilder: \"then\",\n};\n\n/**\n * Threaded through the AST walk. `checker` is `null` on the parse-only fast\n * path; a step that genuinely needs type information sets `needsChecker`, which\n * triggers a one-time retry with a real type-checked `Program`.\n */\ninterface ExtractCtx {\n  checker: ts.TypeChecker | null;\n  needsChecker: boolean;\n}\n\nexport function extractStepDefinitions(\n  filePaths: string[],\n  tsConfigPath?: string\n): StepDefinitionMeta[] {\n  // Fast path: parse each file with `createSourceFile` (tokenize + parse only,\n  // no type resolution — ~1ms/file) and walk the AST. Building a full\n  // type-checked `Program` loads `lib.*.d.ts` and resolves every import (~150ms)\n  // and is only needed for two uncommon shapes: a `.step()` whose return isn't a\n  // plain object literal, or the re-exported-builder pattern. Those set\n  // `needsChecker`, and we retry once with a real Program below.\n  const sources = filePaths\n    .map(parseSourceFile)\n    .filter((s): s is ts.SourceFile => s !== null);\n  const fast = extractWithSources(sources, null);\n  if (!fast.needsChecker) return fast.results;\n\n  // Slow path: some step needs type information. Build the program once and\n  // re-extract from *its* source files — the checker only understands nodes it\n  // bound itself, so the parse-only ASTs above can't be reused here.\n  const program = ts.createProgram(\n    filePaths,\n    resolveCompilerOptions(tsConfigPath)\n  );\n  const checker = program.getTypeChecker();\n  const checkedSources = filePaths\n    .map(fp => program.getSourceFile(fp))\n    .filter((s): s is ts.SourceFile => s !== undefined);\n  return extractWithSources(checkedSources, checker).results;\n}\n\n/** Parse a single file into an AST with no type resolution. */\nfunction parseSourceFile(filePath: string): ts.SourceFile | null {\n  const text = ts.sys.readFile(filePath);\n  if (text === undefined) return null;\n  const scriptKind = filePath.endsWith(\".tsx\")\n    ? ts.ScriptKind.TSX\n    : ts.ScriptKind.TS;\n  // setParentNodes: true — the extractor relies on `.getText()`/`.getStart()`,\n  // which walk parent pointers up to the SourceFile.\n  return ts.createSourceFile(\n    filePath,\n    text,\n    ts.ScriptTarget.ESNext,\n    true,\n    scriptKind\n  );\n}\n\n/** Resolve compiler options from tsconfig (fallback to sane defaults). */\nfunction resolveCompilerOptions(tsConfigPath?: string): ts.CompilerOptions {\n  const configPath =\n    tsConfigPath ?? ts.findConfigFile(process.cwd(), ts.sys.fileExists);\n  let compilerOptions: ts.CompilerOptions = {\n    target: ts.ScriptTarget.ESNext,\n    module: ts.ModuleKind.ESNext,\n    moduleResolution: ts.ModuleResolutionKind.Node10,\n    strict: true,\n    esModuleInterop: true,\n  };\n\n  if (configPath) {\n    const configFile = ts.readConfigFile(configPath, ts.sys.readFile);\n    if (!configFile.error) {\n      const parsed = ts.parseJsonConfigFileContent(\n        configFile.config,\n        ts.sys,\n        configPath.replace(/[/\\\\][^/\\\\]+$/, \"\")\n      );\n      compilerOptions = parsed.options;\n    }\n  }\n\n  // Ensure noEmit so we don't write files\n  compilerOptions.noEmit = true;\n  return compilerOptions;\n}\n\nfunction extractWithSources(\n  sources: ts.SourceFile[],\n  checker: ts.TypeChecker | null\n): { results: StepDefinitionMeta[]; needsChecker: boolean } {\n  const ctx: ExtractCtx = { checker, needsChecker: false };\n  const results: StepDefinitionMeta[] = [];\n  for (const sourceFile of sources) {\n    results.push(...extractFromSourceFile(sourceFile, ctx));\n  }\n  return { results, needsChecker: ctx.needsChecker };\n}\n\nfunction extractFromSourceFile(\n  sourceFile: ts.SourceFile,\n  ctx: ExtractCtx\n): StepDefinitionMeta[] {\n  const results: StepDefinitionMeta[] = [];\n\n  function visit(node: ts.Node) {\n    // The chain now terminates at `.step(...)`, which is the registration\n    // point (there is no `.register()` anymore).\n    if (\n      ts.isCallExpression(node) &&\n      ts.isPropertyAccessExpression(node.expression) &&\n      node.expression.name.text === \"step\"\n    ) {\n      const meta = extractFromRegisterCall(node, sourceFile, ctx);\n      if (meta) {\n        results.push(meta);\n      }\n    }\n    ts.forEachChild(node, visit);\n  }\n\n  visit(sourceFile);\n  return results;\n}\n\nfunction extractFromRegisterCall(\n  registerCall: ts.CallExpression,\n  sourceFile: ts.SourceFile,\n  ctx: ExtractCtx\n): StepDefinitionMeta | null {\n  // Walk backwards through the method chain to find all parts\n  // Pattern: builder().statement(...).dependencies?(...).step(...).register()\n  // Or: Variable(\"...\").dependencies?(...).step(...).register()\n\n  const chain = collectCallChain(registerCall);\n\n  let stepType: StepType | null = null;\n  let expression: string | null = null;\n  let dependencies: StepDefinitionMeta[\"dependencies\"] = {\n    given: {},\n    when: {},\n    then: {},\n  };\n  let produces: string[] = [];\n\n  for (const link of chain) {\n    const name = getCallName(link);\n    if (!name) continue;\n\n    if (name === \"register\") {\n      // Already at register, continue\n      continue;\n    }\n\n    if (name === \"step\") {\n      produces = extractProducedKeys(link, ctx);\n      continue;\n    }\n\n    if (name === \"dependencies\") {\n      dependencies = extractDependencies(link);\n      continue;\n    }\n\n    if (name === \"statement\") {\n      expression = extractExpression(link);\n      // Try to find the builder type by continuing up the chain\n      continue;\n    }\n\n    // Check if this is a builder call like givenBuilder()\n    if (BUILDER_NAMES[name]) {\n      stepType = BUILDER_NAMES[name];\n      continue;\n    }\n  }\n\n  // If we didn't find the builder or expression in the chain, try the \"re-exported\" pattern:\n  // const Given = givenBuilder<T>().statement;\n  // Given(\"foo\").step(...).register()\n  if (!stepType || !expression) {\n    const reExport = resolveReExportedCall(chain, ctx);\n    if (reExport) {\n      if (!stepType) stepType = reExport.stepType;\n      if (!expression) expression = reExport.expression;\n    }\n  }\n\n  if (!stepType || !expression) {\n    return null;\n  }\n\n  const line =\n    sourceFile.getLineAndCharacterOfPosition(registerCall.getStart()).line + 1;\n\n  return {\n    stepType,\n    expression,\n    dependencies,\n    produces,\n    sourceFile: sourceFile.fileName,\n    line,\n  };\n}\n\n/**\n * Collect all call expressions in the method chain, from register() back to the origin.\n */\nfunction collectCallChain(call: ts.CallExpression): ts.CallExpression[] {\n  const chain: ts.CallExpression[] = [call];\n  let current: ts.Expression = call.expression;\n\n  // Walk through PropertyAccessExpression to find the next call\n  if (ts.isPropertyAccessExpression(current)) {\n    current = current.expression;\n  }\n\n  while (ts.isCallExpression(current)) {\n    chain.push(current);\n    current = current.expression;\n    if (ts.isPropertyAccessExpression(current)) {\n      current = current.expression;\n    }\n  }\n\n  return chain;\n}\n\nfunction getCallName(call: ts.CallExpression): string | null {\n  const expr = call.expression;\n\n  // .method() pattern\n  if (ts.isPropertyAccessExpression(expr)) {\n    return expr.name.text;\n  }\n\n  // direct call: functionName()\n  if (ts.isIdentifier(expr)) {\n    return expr.text;\n  }\n\n  return null;\n}\n\nfunction extractExpression(statementCall: ts.CallExpression): string | null {\n  const arg = statementCall.arguments[0];\n  if (!arg) return null;\n\n  // String literal: .statement(\"a user\")\n  if (ts.isStringLiteral(arg)) {\n    return arg.text;\n  }\n\n  // Arrow function with template literal: .statement((name: string) => `a user named ${name}`)\n  if (ts.isArrowFunction(arg)) {\n    return extractExpressionFromArrowFunction(arg);\n  }\n\n  return null;\n}\n\nfunction extractExpressionFromArrowFunction(\n  fn: ts.ArrowFunction\n): string | null {\n  const params = fn.parameters.map(p => p.name.getText());\n\n  // The body should be a template expression or string literal\n  let body = fn.body;\n\n  // If wrapped in a block with a return, unwrap\n  if (ts.isBlock(body)) {\n    const returnStmt = body.statements.find(ts.isReturnStatement);\n    if (returnStmt?.expression) {\n      body = returnStmt.expression;\n    } else {\n      return null;\n    }\n  }\n\n  if (ts.isTemplateExpression(body)) {\n    return reconstructExpressionFromTemplate(body, params);\n  }\n\n  if (ts.isNoSubstitutionTemplateLiteral(body)) {\n    return body.text;\n  }\n\n  return null;\n}\n\nfunction reconstructExpressionFromTemplate(\n  template: ts.TemplateExpression,\n  paramNames: string[]\n): string {\n  let result = template.head.text;\n\n  for (const span of template.templateSpans) {\n    if (\n      ts.isIdentifier(span.expression) &&\n      paramNames.includes(span.expression.text)\n    ) {\n      result += \"{string}\";\n    } else {\n      // Non-parameter expression, use {string} as fallback\n      result += \"{string}\";\n    }\n    result += span.literal.text;\n  }\n\n  return result;\n}\n\nfunction extractDependencies(\n  depsCall: ts.CallExpression\n): StepDefinitionMeta[\"dependencies\"] {\n  const deps: StepDefinitionMeta[\"dependencies\"] = {\n    given: {},\n    when: {},\n    then: {},\n  };\n\n  const arg = depsCall.arguments[0];\n  if (!arg || !ts.isObjectLiteralExpression(arg)) return deps;\n\n  for (const prop of arg.properties) {\n    if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name)) continue;\n\n    const phase = prop.name.text as \"given\" | \"when\" | \"then\";\n    if (!deps[phase]) continue;\n\n    if (ts.isObjectLiteralExpression(prop.initializer)) {\n      for (const innerProp of prop.initializer.properties) {\n        if (\n          ts.isPropertyAssignment(innerProp) &&\n          ts.isIdentifier(innerProp.name) &&\n          ts.isStringLiteral(innerProp.initializer)\n        ) {\n          const val = innerProp.initializer.text;\n          if (val === \"required\" || val === \"optional\") {\n            deps[phase][innerProp.name.text] = val;\n          }\n        }\n      }\n    }\n  }\n\n  return deps;\n}\n\nfunction extractProducedKeys(\n  stepCall: ts.CallExpression,\n  ctx: ExtractCtx\n): string[] {\n  const callback = stepCall.arguments[0];\n  if (!callback) return [];\n\n  // Try to get the return type of the callback by analyzing its body\n  if (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) {\n    return extractProducedKeysFromCallback(callback, ctx);\n  }\n\n  return [];\n}\n\nfunction extractProducedKeysFromCallback(\n  callback: ts.ArrowFunction | ts.FunctionExpression,\n  ctx: ExtractCtx\n): string[] {\n  const body = callback.body;\n\n  // Concise arrow: () => ({ key: value })\n  if (!ts.isBlock(body)) {\n    return extractKeysFromExpression(body, ctx);\n  }\n\n  // Block body: look at return statements\n  const keys = new Set<string>();\n  function visitReturn(node: ts.Node) {\n    if (ts.isReturnStatement(node) && node.expression) {\n      for (const key of extractKeysFromExpression(node.expression, ctx)) {\n        keys.add(key);\n      }\n    }\n    ts.forEachChild(node, visitReturn);\n  }\n  visitReturn(body);\n  return [...keys];\n}\n\nfunction extractKeysFromExpression(\n  expr: ts.Expression,\n  ctx: ExtractCtx\n): string[] {\n  // Unwrap parenthesized expressions\n  while (ts.isParenthesizedExpression(expr)) {\n    expr = expr.expression;\n  }\n\n  // Object literal: { user: ..., token: ... }\n  if (ts.isObjectLiteralExpression(expr)) {\n    return expr.properties\n      .filter(\n        (p): p is ts.PropertyAssignment | ts.ShorthandPropertyAssignment =>\n          ts.isPropertyAssignment(p) || ts.isShorthandPropertyAssignment(p)\n      )\n      .map(p => p.name.getText())\n      .filter(Boolean);\n  }\n\n  // Non-literal return (a variable, a spread-only object, a function call): the\n  // keys can only come from the type checker. On the parse-only pass we have\n  // none — flag it so the caller retries with a real Program.\n  if (!ctx.checker) {\n    ctx.needsChecker = true;\n    return [];\n  }\n  try {\n    const type = ctx.checker.getTypeAtLocation(expr);\n    return type\n      .getProperties()\n      .map(p => p.name)\n      .filter(n => n !== \"merge\");\n  } catch {\n    return [];\n  }\n}\n\ninterface ReExportResult {\n  stepType: StepType;\n  expression: string | null;\n}\n\nfunction resolveReExportedCall(\n  chain: ts.CallExpression[],\n  ctx: ExtractCtx\n): ReExportResult | null {\n  // Look for the pattern: Variable(\"...\")... where Variable was assigned from builderType().statement\n  // The last call in the chain (furthest from register) should be the variable call\n\n  const lastCall = chain[chain.length - 1];\n  if (!lastCall) return null;\n\n  const expr = lastCall.expression;\n\n  // If it's an identifier (like \"Given\", \"When\", \"Then\"), trace its declaration\n  let identifier: ts.Identifier | null = null;\n  if (ts.isIdentifier(expr)) {\n    identifier = expr;\n  } else if (\n    ts.isPropertyAccessExpression(expr) &&\n    ts.isIdentifier(expr.expression)\n  ) {\n    identifier = expr.expression;\n  }\n\n  if (!identifier) return null;\n\n  // Tracing the re-exported builder's declaration needs symbol resolution,\n  // which only a real Program provides. Flag for the checked retry.\n  if (!ctx.checker) {\n    ctx.needsChecker = true;\n    return null;\n  }\n\n  const symbol = ctx.checker.getSymbolAtLocation(identifier);\n  if (!symbol) return null;\n\n  const decl = symbol.valueDeclaration;\n  if (!decl || !ts.isVariableDeclaration(decl) || !decl.initializer)\n    return null;\n\n  // Check if initializer is builderType<T>().statement\n  const init = decl.initializer;\n\n  // Pattern: givenBuilder<T>().statement  (PropertyAccessExpression)\n  if (ts.isPropertyAccessExpression(init) && init.name.text === \"statement\") {\n    const callExpr = init.expression;\n    if (ts.isCallExpression(callExpr)) {\n      const callee = callExpr.expression;\n      if (ts.isIdentifier(callee) && BUILDER_NAMES[callee.text]) {\n        // The lastCall IS the statement call — extract expression from it\n        const expression = extractExpression(lastCall);\n        return {\n          stepType: BUILDER_NAMES[callee.text],\n          expression,\n        };\n      }\n    }\n  }\n\n  return null;\n}\n","import { MatchedStep, ParsedScenario, StepDefinitionMeta } from \"./types.js\";\n\ninterface CompiledPattern {\n  regex: RegExp;\n  definition: StepDefinitionMeta;\n}\n\nfunction compileDefinitions(\n  definitions: StepDefinitionMeta[]\n): CompiledPattern[] {\n  const compiled: CompiledPattern[] = [];\n  for (const def of definitions) {\n    try {\n      // Replace {paramType} placeholders with (.+) to match any value,\n      // regardless of which parser placeholder ({string}, {int}, ...) the\n      // step definition declared.\n      const placeholder = \"###PLACEHOLDER###\";\n      const regexStr = def.expression\n        .replace(/\\{[^}]+\\}/g, placeholder)\n        .replace(/[.*+?^$()|[\\]\\\\]/g, \"\\\\$&\")\n        .replace(new RegExp(placeholder, \"g\"), \"(.+)\");\n      compiled.push({\n        regex: new RegExp(`^${regexStr}$`, \"i\"),\n        definition: def,\n      });\n    } catch {\n      // Skip definitions with invalid expressions\n    }\n  }\n  return compiled;\n}\n\nexport function matchScenarioSteps(\n  scenario: ParsedScenario,\n  definitions: StepDefinitionMeta[]\n): MatchedStep[] {\n  const compiled = compileDefinitions(definitions);\n\n  return scenario.steps.map(step => {\n    const matches = findMatches(step.text, step.effectiveKeyword, compiled);\n    return {\n      ...step,\n      definitions: matches,\n    };\n  });\n}\n\nexport function findMatchingDefinitions(\n  text: string,\n  effectiveKeyword: \"Given\" | \"When\" | \"Then\",\n  definitions: StepDefinitionMeta[]\n): StepDefinitionMeta[] {\n  const compiled = compileDefinitions(definitions);\n  return findMatches(text, effectiveKeyword, compiled);\n}\n\nfunction findMatches(\n  text: string,\n  effectiveKeyword: \"Given\" | \"When\" | \"Then\",\n  compiled: CompiledPattern[]\n): StepDefinitionMeta[] {\n  const keywordToStepType: Record<string, string> = {\n    Given: \"given\",\n    When: \"when\",\n    Then: \"then\",\n  };\n  const expectedStepType = keywordToStepType[effectiveKeyword];\n\n  // First try to match with the correct step type\n  const typedMatches: StepDefinitionMeta[] = [];\n  for (const { regex, definition } of compiled) {\n    if (definition.stepType !== expectedStepType) continue;\n    if (regex.test(text)) typedMatches.push(definition);\n  }\n\n  if (typedMatches.length > 0) return typedMatches;\n\n  // Fallback: match any step type\n  const fallbackMatches: StepDefinitionMeta[] = [];\n  for (const { regex, definition } of compiled) {\n    if (regex.test(text)) fallbackMatches.push(definition);\n  }\n\n  return fallbackMatches;\n}\n","import {\n  AnalysisRule,\n  Diagnostic,\n  MatchedStep,\n  ParsedScenario,\n} from \"../types.js\";\n\nexport const ambiguousStepRule: AnalysisRule = {\n  name: \"ambiguous-step\",\n\n  check(scenario: ParsedScenario, matchedSteps: MatchedStep[]): Diagnostic[] {\n    return matchedSteps\n      .filter(step => step.definitions.length > 1)\n      .map(step => {\n        const locations = step.definitions\n          .map(d => `${d.sourceFile}:${d.line}`)\n          .join(\", \");\n        return {\n          file: scenario.file,\n          range: {\n            startLine: step.line,\n            startColumn: step.column,\n            endLine: step.line,\n            endColumn: step.column + step.text.length,\n          },\n          severity: \"error\" as const,\n          message: `Step \"${step.text}\" matches multiple step definitions: ${locations}`,\n          rule: \"ambiguous-step\",\n          source: \"step-forge\" as const,\n        };\n      });\n  },\n};\n","import {\n  AnalysisRule,\n  Diagnostic,\n  MatchedStep,\n  ParsedScenario,\n} from \"../types.js\";\n\nexport const dependencyRule: AnalysisRule = {\n  name: \"dependency-check\",\n\n  check(scenario: ParsedScenario, matchedSteps: MatchedStep[]): Diagnostic[] {\n    const diagnostics: Diagnostic[] = [];\n    const produced = {\n      given: new Set<string>(),\n      when: new Set<string>(),\n      then: new Set<string>(),\n    };\n\n    for (const step of matchedSteps) {\n      if (step.definitions.length !== 1) continue;\n\n      const { dependencies, produces, stepType } = step.definitions[0];\n\n      // Collect all missing required dependencies for this step\n      const missing: Record<string, string[]> = {};\n      for (const phase of [\"given\", \"when\", \"then\"] as const) {\n        for (const [key, requirement] of Object.entries(dependencies[phase])) {\n          if (requirement === \"required\" && !produced[phase].has(key)) {\n            if (!missing[phase]) {\n              missing[phase] = [];\n            }\n            missing[phase].push(key);\n          }\n        }\n      }\n\n      if (Object.keys(missing).length > 0) {\n        const lines = Object.entries(missing).map(\n          ([phase, keys]) =>\n            `${phase.charAt(0).toUpperCase() + phase.slice(1)}: ${keys.map(k => `${phase}.${k}`).join(\", \")}`\n        );\n        const message = \"Missing required dependencies:\\n\" + lines.join(\"\\n\");\n\n        diagnostics.push({\n          file: scenario.file,\n          range: {\n            startLine: step.line,\n            startColumn: step.column,\n            endLine: step.line,\n            endColumn: step.column + step.text.length,\n          },\n          severity: \"error\",\n          message,\n          rule: \"dependency-check\",\n          source: \"step-forge\",\n        });\n      }\n\n      // Add produced keys for this step\n      for (const key of produces) {\n        produced[stepType].add(key);\n      }\n    }\n\n    return diagnostics;\n  },\n};\n","import {\n  AnalysisRule,\n  Diagnostic,\n  MatchedStep,\n  ParsedScenario,\n} from \"../types.js\";\n\nexport const undefinedStepRule: AnalysisRule = {\n  name: \"undefined-step\",\n\n  check(scenario: ParsedScenario, matchedSteps: MatchedStep[]): Diagnostic[] {\n    return matchedSteps\n      .filter(step => step.definitions.length === 0)\n      .map(step => ({\n        file: scenario.file,\n        range: {\n          startLine: step.line,\n          startColumn: step.column,\n          endLine: step.line,\n          endColumn: step.column + step.text.length,\n        },\n        severity: \"error\" as const,\n        message: `Step \"${step.text}\" does not match any step definition`,\n        rule: \"undefined-step\",\n        source: \"step-forge\" as const,\n      }));\n  },\n};\n","import {\n  AnalysisRule,\n  Diagnostic,\n  MatchedStep,\n  ParsedScenario,\n} from \"../types.js\";\nimport { ambiguousStepRule } from \"./ambiguousStepRule.js\";\nimport { dependencyRule } from \"./dependencyRule.js\";\nimport { undefinedStepRule } from \"./undefinedStepRule.js\";\n\nexport const defaultRules: AnalysisRule[] = [\n  undefinedStepRule,\n  ambiguousStepRule,\n  dependencyRule,\n];\n\nexport function runRules(\n  rules: AnalysisRule[],\n  scenario: ParsedScenario,\n  matchedSteps: MatchedStep[]\n): Diagnostic[] {\n  return rules.flatMap(rule => rule.check(scenario, matchedSteps));\n}\n","import { globFiles } from \"../globFiles.js\";\nimport { extractStepDefinitions } from \"./stepExtractor.js\";\nimport { parseFeatureFiles, parseFeatureContent } from \"./gherkinParser.js\";\nimport { matchScenarioSteps, findMatchingDefinitions } from \"./stepMatcher.js\";\nimport { defaultRules, runRules } from \"./rules/index.js\";\nimport type {\n  AnalyzerConfig,\n  AnalysisRule,\n  Diagnostic,\n  StepDefinitionMeta,\n  ParsedScenario,\n  MatchedStep,\n  ParsedStep,\n} from \"./types.js\";\n\nexport type {\n  AnalyzerConfig,\n  AnalysisRule,\n  Diagnostic,\n  StepDefinitionMeta,\n  ParsedScenario,\n  MatchedStep,\n  ParsedStep,\n};\n\nexport {\n  extractStepDefinitions,\n  parseFeatureFiles,\n  parseFeatureContent,\n  matchScenarioSteps,\n  findMatchingDefinitions,\n  defaultRules,\n};\n\nexport interface AnalyzeOptions {\n  rules?: AnalysisRule[];\n}\n\nexport async function analyze(\n  config: AnalyzerConfig,\n  options?: AnalyzeOptions\n): Promise<Diagnostic[]> {\n  const rules = options?.rules ?? defaultRules;\n\n  // 1. Resolve file globs to paths\n  const stepFilePaths = await globFiles(config.stepFiles);\n  const featureFilePaths = await globFiles(config.featureFiles);\n\n  if (stepFilePaths.length === 0) {\n    return [];\n  }\n  if (featureFilePaths.length === 0) {\n    return [];\n  }\n\n  // 2. Extract step metadata from step files\n  const stepDefinitions = extractStepDefinitions(\n    stepFilePaths,\n    config.tsConfigPath\n  );\n\n  // 3. Parse feature files\n  const scenarios = parseFeatureFiles(featureFilePaths);\n\n  // 4. For each scenario, match steps and run rules\n  const diagnostics: Diagnostic[] = [];\n  for (const scenario of scenarios) {\n    const matchedSteps = matchScenarioSteps(scenario, stepDefinitions);\n    const scenarioDiags = runRules(rules, scenario, matchedSteps);\n    diagnostics.push(...scenarioDiags);\n  }\n\n  return diagnostics;\n}\n","import { givenBuilder } from \"./given\";\nimport { thenBuilder } from \"./then\";\nimport { whenBuilder } from \"./when\";\n\nexport const createBuilders = <GivenState, WhenState, ThenState>() => {\n  return {\n    Given: givenBuilder<GivenState>().statement,\n    When: whenBuilder<GivenState, WhenState>().statement,\n    Then: thenBuilder<GivenState, WhenState, ThenState>().statement,\n  };\n};\n","/* eslint-disable @typescript-eslint/no-explicit-any */\nimport {\n  globalHookRegistry,\n  PlainHookFn,\n  ScenarioHookFn,\n  ScenarioInfo,\n} from \"./runtime/hooks\";\nimport { MergeableWorld } from \"./world\";\n\n/**\n * Run before every scenario, with access to that scenario's fresh world. For\n * side effects only (reset a mock, seed an external system) — return values are\n * ignored; seed test *state* with given steps so the dependency graph stays the\n * single source of truth.\n */\nexport function beforeScenario<\n  World extends MergeableWorld<any, any, any> = MergeableWorld<any, any, any>,\n>(\n  fn: (context: {\n    world: World;\n    scenario: ScenarioInfo;\n  }) => void | Promise<void>\n): void {\n  globalHookRegistry.add({\n    scope: \"scenario\",\n    timing: \"before\",\n    fn: fn as ScenarioHookFn,\n  });\n}\n\n/**\n * Run after every scenario (even when a step failed), with access to that\n * scenario's world. Runs in reverse registration order so teardown unwinds\n * setup. For cleanup side effects only.\n */\nexport function afterScenario<\n  World extends MergeableWorld<any, any, any> = MergeableWorld<any, any, any>,\n>(\n  fn: (context: {\n    world: World;\n    scenario: ScenarioInfo;\n  }) => void | Promise<void>\n): void {\n  globalHookRegistry.add({\n    scope: \"scenario\",\n    timing: \"after\",\n    fn: fn as ScenarioHookFn,\n  });\n}\n\n/** Run once at the start of each feature file. No world exists at this boundary. */\nexport function beforeFeature(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"feature\", timing: \"before\", fn });\n}\n\n/** Run once at the end of each feature file (reverse registration order). */\nexport function afterFeature(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"feature\", timing: \"after\", fn });\n}\n\n/**\n * Run once before the entire run, ahead of any scenario (and before\n * concurrency starts). Multiple `beforeAll` hooks run **in parallel** with no\n * ordering between them — if a step of setup must precede another, sequence both\n * inside a single hook.\n */\nexport function beforeAll(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"global\", timing: \"before\", fn });\n}\n\n/**\n * Run once after the entire run, once every scenario is done. Multiple\n * `afterAll` hooks run **in parallel** with no ordering between them — sequence\n * dependent teardown inside a single hook.\n */\nexport function afterAll(fn: PlainHookFn): void {\n  globalHookRegistry.add({ scope: \"global\", timing: \"after\", fn });\n}\n","import { givenBuilder } from \"./given\";\nimport { whenBuilder } from \"./when\";\nimport { thenBuilder } from \"./then\";\nimport { BasicWorld } from \"./world\";\nimport {\n  stringParser,\n  intParser,\n  numberParser,\n  booleanParser,\n} from \"./parsers\";\nimport type { Parser } from \"./parsers\";\nimport {\n  analyze,\n  extractStepDefinitions,\n  parseFeatureFiles,\n  parseFeatureContent,\n  matchScenarioSteps,\n  findMatchingDefinitions,\n  defaultRules,\n} from \"./analyzer/index\";\nimport type {\n  AnalyzerConfig,\n  AnalyzeOptions,\n  AnalysisRule,\n  Diagnostic,\n  StepDefinitionMeta,\n  ParsedScenario,\n  ParsedStep,\n  MatchedStep,\n} from \"./analyzer/index\";\nimport { createBuilders } from \"./init\";\nimport {\n  beforeScenario,\n  afterScenario,\n  beforeFeature,\n  afterFeature,\n  beforeAll,\n  afterAll,\n} from \"./hooks\";\n\nexport {\n  givenBuilder,\n  whenBuilder,\n  thenBuilder,\n  BasicWorld,\n  stringParser,\n  intParser,\n  numberParser,\n  booleanParser,\n  createBuilders,\n  beforeScenario,\n  afterScenario,\n  beforeFeature,\n  afterFeature,\n  beforeAll,\n  afterAll,\n};\n\nexport type { Parser };\nexport type {\n  ScenarioInfo,\n  PlainHookFn,\n  ScenarioHookFn,\n} from \"./runtime/hooks\";\nexport type { StateFromDependencies } from \"./typeHelpers\";\n// Re-exported from the main entry so consumers can type their\n// `step-forge.config.ts` with a plain `@step-forge/step-forge` import.\nexport type { RunnerOptions } from \"./runtime/config\";\n\nexport const analyzer = {\n  analyze,\n  extractStepDefinitions,\n  parseFeatureFiles,\n  parseFeatureContent,\n  matchScenarioSteps,\n  findMatchingDefinitions,\n  defaultRules,\n};\n\nexport type {\n  AnalyzerConfig,\n  AnalyzeOptions,\n  AnalysisRule,\n  Diagnostic,\n  StepDefinitionMeta,\n  ParsedScenario,\n  ParsedStep,\n  MatchedStep,\n};\n"],"mappings":";;;;;;;;AAiCA,MAAa,YACX,cACwB,OAAO,cAAc;;;;ACN/C,MAAa,eAA+B;CAC1C,MAAM;CACN,QAAQ,CAAC,4BAA4B,0BAA0B;CAC/D,QAAO,UAAS;EACd,MAAM,QAAQ,gBAAgB,KAAK,KAAK,KAAK,gBAAgB,KAAK,KAAK;EACvE,OAAO,QAAQ,MAAM,EAAE,CAAC,QAAQ,aAAa,IAAI,IAAI;CACvD;AACF;;AAGA,MAAa,YAA4B;CACvC,MAAM;CACN,QAAQ;CACR,QAAO,UAAS,SAAS,OAAO,EAAE;AACpC;;AAGA,MAAa,eAA+B;CAC1C,MAAM;CACN,QAAQ;CACR,QAAO,UAAS,WAAW,KAAK;AAClC;;;;;;AAOA,MAAa,gBAAiC;CAC5C,MAAM;CACN,QAAQ;CACR,QAAO,UAAS,UAAU;AAC5B;;;AC3DA,MAAa,oBACX,MACA,UACG;CACH,KAAK,SAAQ,QAAO;EAClB,IAAI,CAAC,MAAM,MAAM,MACf,MAAM,IAAI,MAAM,OAAO,OAAO,GAAG,EAAE,4BAA4B;CAEnE,CAAC;CACD,OAAO,KAAK,QACT,KAAK,QAAQ;EACZ,OAAO;GACL,GAAG;IACF,MAAM,MAAM,MAAM;EACrB;CACF,GACA,CAAC,CACH;AACF;AACA,MAAa,mBACX,MACA,UACG;CACH,KAAK,SAAQ,QAAO;EAClB,IAAI,CAAC,MAAM,KAAK,MACd,MAAM,IAAI,MAAM,OAAO,OAAO,GAAG,EAAE,2BAA2B;CAElE,CAAC;CACD,OAAO,KAAK,QACT,KAAK,QAAQ;EACZ,OAAO;GACL,GAAG;IACF,MAAM,MAAM,KAAK;EACpB;CACF,GACA,CAAC,CACH;AACF;AACA,MAAa,mBACX,MACA,UACG;CACH,KAAK,SAAQ,QAAO;EAClB,IAAI,CAAC,MAAM,KAAK,MACd,MAAM,IAAI,MAAM,OAAO,OAAO,GAAG,EAAE,2BAA2B;CAElE,CAAC;CACD,OAAO,KAAK,QACT,KAAK,QAAQ;EACZ,OAAO;GACL,GAAG;IACF,MAAM,MAAM,KAAK;EACpB;CACF,GACA,CAAC,CACH;AACF;;;;;;;;;;;;;;;ACpCA,MAAa,WAET,WACA,UACA,eAAiC;CAC/B,OAAO,CAAC;CACR,MAAM,CAAC;CACP,MAAM,CAAC;AACT,GACA,qBAED,iBAAuD;CACtD,MAAM,EACJ,OAAO,mBACP,MAAM,kBACN,MAAM,qBACJ;CAIJ,MAAM,WAAW,UAAU;CAC3B,MAAM,UACJ,mBAAmB,MAAM,KAAK,EAAE,QAAQ,SAAS,SAAS,YAAY;CACxE,MAAM,aAAa,UAAU,GAAG,QAAQ,KAAI,WAAU,IAAI,OAAO,KAAK,EAAE,CAAC;CAOzE,MAAM,UAAU,OACd,OACA,iBACG;EACH,MAAM,gBAAgB,SACpB,OAAO,QAAQ,IAAI,CAAC,CACjB,QAAQ,GAAG,WAAW,UAAU,UAAU,CAAC,CAC3C,KAAK,CAAC,SAAS,GAAG;EAavB,MAAM,SAAS,MAAM,aAAa;GAChC,WAAW;GACX,OAAO;IAbP,GAAGA,OAAAA,QAAE,KAAK,MAAM,OAAO,OAAO,KAAK,iBAAiB,CAAC;IACrD,GAAG,iBAAiB,aAAa,iBAAiB,GAAG,KAAK;GAYvC;GACnB,MAAM;IAVN,GAAGA,OAAAA,QAAE,KAAK,MAAM,MAAM,OAAO,KAAK,gBAAgB,CAAC;IACnD,GAAG,gBAAgB,aAAa,gBAAgB,GAAG,KAAK;GASvC;GACjB,MAAM;IAPN,GAAGA,OAAAA,QAAE,KAAK,MAAM,MAAM,OAAO,KAAK,gBAAgB,CAAC;IACnD,GAAG,gBAAgB,aAAa,gBAAgB,GAAG,KAAK;GAMvC;EACnB,CAAgB;EAChB,MAAM,SAAS,CAAC,MAAM,EACpB,GAAI,OACN,CAAC;CACH;CAMA,MAAM,SAASC,sBAAAA,sBAAsB;CACrC,cAAA,eAAe,IAAI;EAAE;EAAU;EAAY;EAAS;EAAS;CAAO,CAAC;CAErE,OAAO;EACL;EACA;EACA;EACA;EACA;CACF;AACF;;;ACpFF,MAAM,QAAkB;AAexB,MAAM,qBAEF,WACA,aAEiD,kBAE5C,EACL,MAAM,QAIJ,WACA,OACA;CAAE,GAAG;CAAc,MAAM,CAAC;CAAG,MAAM,CAAC;AAAE,GACtC,OACF,EACF;AAEF,MAAM,gBAEF,eAGA,aACI;CACJ,cAAc,kBACZ,WACA,OACF;CACA,MAAM,QACJ,WACA,OACA,KAAA,GACA,OACF;AACF;AAEF,MAAM,wBAGF,cACG;CACH,MAAM,sBAAkD,SAAS,SAAS,UAChE,YACL;CAGL,OAAO;EACL,cAAc,kBACZ,mBACF;EACA,SAAS,aAAoC,mBAAmB;EAChE,MAAM,QACJ,qBACA,KACF;CACF;AACF;AAEF,MAAa,sBAAkC,EAC7C,WAAW,eAA2B,EACxC;;;AC7EA,MAAM,OAAiB;AAYvB,MAAM,oBAEF,WACA,aAKA,kBAGK,EACL,MAAM,QAQJ,WACA,MACA;CACE,OAAO,aAAa,SAAS,CAAC;CAC9B,MAAM,aAAa,QAAQ,CAAC;CAC5B,MAAM,CAAC;AACT,GACA,OACF,EACF;AAEF,MAAM,eAEF,eAGA,aACI;CACJ,cAAc,iBACZ,WACA,OACF;CACA,MAAM,QACJ,WACA,MACA,KAAA,GACA,OACF;AACF;AAEF,MAAM,uBAGF,cACG;CACH,MAAM,sBAAkD,SAAS,SAAS,UAChE,YACL;CAGL,OAAO;EACL,cAAc,iBACZ,mBACF;EACA,SAAS,YACP,mBACF;EACA,MAAM,QACJ,qBACA,IACF;CACF;AACF;AAEF,MAAa,qBAA4C,EACvD,WAAW,cAAqC,EAClD;;;ACxFA,MAAM,OAAiB;AAcvB,MAAM,oBAEF,WACA,aAMA,kBAIK,EACL,MAAM,QASJ,WACA,MACA;CACE,OAAO,aAAa,SAAS,CAAC;CAC9B,MAAM,aAAa,QAAQ,CAAC;CAC5B,MAAM,aAAa,QAAQ,CAAC;AAC9B,GACA,OACF,EACF;AAEF,MAAM,eAEF,eAGA,aACI;CACJ,cAAc,iBACZ,WACA,OACF;CACA,MAAM,QAGJ,WAAW,MAAM,KAAA,GAAW,OAAmC;AACnE;AAEF,MAAM,uBAGF,cACG;CACH,MAAM,sBAAkD,SAAS,SAAS,UAChE,YACL;CAGL,OAAO;EACL,cAAc,iBAKZ,mBAAmB;EACrB,SAAS,YACP,mBACF;EACA,MAAM,QAGJ,qBAAqB,IAAI;CAC7B;AACF;AAEF,MAAa,qBAAuD,EAClE,WAAW,cAAgD,EAC7D;;;ACtGA,MAAM,gBAA0C;CAC9C,cAAc;CACd,aAAa;CACb,aAAa;AACf;AAYA,SAAgB,uBACd,WACA,cACsB;CAUtB,MAAM,OAAO,mBAHG,UACb,IAAI,eAAe,CAAC,CACpB,QAAQ,MAA0B,MAAM,IACL,GAAG,IAAI;CAC7C,IAAI,CAAC,KAAK,cAAc,OAAO,KAAK;CAKpC,MAAM,UAAUC,WAAAA,QAAG,cACjB,WACA,uBAAuB,YAAY,CACrC;CACA,MAAM,UAAU,QAAQ,eAAe;CAIvC,OAAO,mBAHgB,UACpB,KAAI,OAAM,QAAQ,cAAc,EAAE,CAAC,CAAC,CACpC,QAAQ,MAA0B,MAAM,KAAA,CACJ,GAAG,OAAO,CAAC,CAAC;AACrD;;AAGA,SAAS,gBAAgB,UAAwC;CAC/D,MAAM,OAAOA,WAAAA,QAAG,IAAI,SAAS,QAAQ;CACrC,IAAI,SAAS,KAAA,GAAW,OAAO;CAC/B,MAAM,aAAa,SAAS,SAAS,MAAM,IACvCA,WAAAA,QAAG,WAAW,MACdA,WAAAA,QAAG,WAAW;CAGlB,OAAOA,WAAAA,QAAG,iBACR,UACA,MACAA,WAAAA,QAAG,aAAa,QAChB,MACA,UACF;AACF;;AAGA,SAAS,uBAAuB,cAA2C;CACzE,MAAM,aACJ,gBAAgBA,WAAAA,QAAG,eAAe,QAAQ,IAAI,GAAGA,WAAAA,QAAG,IAAI,UAAU;CACpE,IAAI,kBAAsC;EACxC,QAAQA,WAAAA,QAAG,aAAa;EACxB,QAAQA,WAAAA,QAAG,WAAW;EACtB,kBAAkBA,WAAAA,QAAG,qBAAqB;EAC1C,QAAQ;EACR,iBAAiB;CACnB;CAEA,IAAI,YAAY;EACd,MAAM,aAAaA,WAAAA,QAAG,eAAe,YAAYA,WAAAA,QAAG,IAAI,QAAQ;EAChE,IAAI,CAAC,WAAW,OAMd,kBALeA,WAAAA,QAAG,2BAChB,WAAW,QACXA,WAAAA,QAAG,KACH,WAAW,QAAQ,iBAAiB,EAAE,CAEjB,CAAC,CAAC;CAE7B;CAGA,gBAAgB,SAAS;CACzB,OAAO;AACT;AAEA,SAAS,mBACP,SACA,SAC0D;CAC1D,MAAM,MAAkB;EAAE;EAAS,cAAc;CAAM;CACvD,MAAM,UAAgC,CAAC;CACvC,KAAK,MAAM,cAAc,SACvB,QAAQ,KAAK,GAAG,sBAAsB,YAAY,GAAG,CAAC;CAExD,OAAO;EAAE;EAAS,cAAc,IAAI;CAAa;AACnD;AAEA,SAAS,sBACP,YACA,KACsB;CACtB,MAAM,UAAgC,CAAC;CAEvC,SAAS,MAAM,MAAe;EAG5B,IACEA,WAAAA,QAAG,iBAAiB,IAAI,KACxBA,WAAAA,QAAG,2BAA2B,KAAK,UAAU,KAC7C,KAAK,WAAW,KAAK,SAAS,QAC9B;GACA,MAAM,OAAO,wBAAwB,MAAM,YAAY,GAAG;GAC1D,IAAI,MACF,QAAQ,KAAK,IAAI;EAErB;EACA,WAAA,QAAG,aAAa,MAAM,KAAK;CAC7B;CAEA,MAAM,UAAU;CAChB,OAAO;AACT;AAEA,SAAS,wBACP,cACA,YACA,KAC2B;CAK3B,MAAM,QAAQ,iBAAiB,YAAY;CAE3C,IAAI,WAA4B;CAChC,IAAI,aAA4B;CAChC,IAAI,eAAmD;EACrD,OAAO,CAAC;EACR,MAAM,CAAC;EACP,MAAM,CAAC;CACT;CACA,IAAI,WAAqB,CAAC;CAE1B,KAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,OAAO,YAAY,IAAI;EAC7B,IAAI,CAAC,MAAM;EAEX,IAAI,SAAS,YAEX;EAGF,IAAI,SAAS,QAAQ;GACnB,WAAW,oBAAoB,MAAM,GAAG;GACxC;EACF;EAEA,IAAI,SAAS,gBAAgB;GAC3B,eAAe,oBAAoB,IAAI;GACvC;EACF;EAEA,IAAI,SAAS,aAAa;GACxB,aAAa,kBAAkB,IAAI;GAEnC;EACF;EAGA,IAAI,cAAc,OAAO;GACvB,WAAW,cAAc;GACzB;EACF;CACF;CAKA,IAAI,CAAC,YAAY,CAAC,YAAY;EAC5B,MAAM,WAAW,sBAAsB,OAAO,GAAG;EACjD,IAAI,UAAU;GACZ,IAAI,CAAC,UAAU,WAAW,SAAS;GACnC,IAAI,CAAC,YAAY,aAAa,SAAS;EACzC;CACF;CAEA,IAAI,CAAC,YAAY,CAAC,YAChB,OAAO;CAGT,MAAM,OACJ,WAAW,8BAA8B,aAAa,SAAS,CAAC,CAAC,CAAC,OAAO;CAE3E,OAAO;EACL;EACA;EACA;EACA;EACA,YAAY,WAAW;EACvB;CACF;AACF;;;;AAKA,SAAS,iBAAiB,MAA8C;CACtE,MAAM,QAA6B,CAAC,IAAI;CACxC,IAAI,UAAyB,KAAK;CAGlC,IAAIA,WAAAA,QAAG,2BAA2B,OAAO,GACvC,UAAU,QAAQ;CAGpB,OAAOA,WAAAA,QAAG,iBAAiB,OAAO,GAAG;EACnC,MAAM,KAAK,OAAO;EAClB,UAAU,QAAQ;EAClB,IAAIA,WAAAA,QAAG,2BAA2B,OAAO,GACvC,UAAU,QAAQ;CAEtB;CAEA,OAAO;AACT;AAEA,SAAS,YAAY,MAAwC;CAC3D,MAAM,OAAO,KAAK;CAGlB,IAAIA,WAAAA,QAAG,2BAA2B,IAAI,GACpC,OAAO,KAAK,KAAK;CAInB,IAAIA,WAAAA,QAAG,aAAa,IAAI,GACtB,OAAO,KAAK;CAGd,OAAO;AACT;AAEA,SAAS,kBAAkB,eAAiD;CAC1E,MAAM,MAAM,cAAc,UAAU;CACpC,IAAI,CAAC,KAAK,OAAO;CAGjB,IAAIA,WAAAA,QAAG,gBAAgB,GAAG,GACxB,OAAO,IAAI;CAIb,IAAIA,WAAAA,QAAG,gBAAgB,GAAG,GACxB,OAAO,mCAAmC,GAAG;CAG/C,OAAO;AACT;AAEA,SAAS,mCACP,IACe;CACf,MAAM,SAAS,GAAG,WAAW,KAAI,MAAK,EAAE,KAAK,QAAQ,CAAC;CAGtD,IAAI,OAAO,GAAG;CAGd,IAAIA,WAAAA,QAAG,QAAQ,IAAI,GAAG;EACpB,MAAM,aAAa,KAAK,WAAW,KAAKA,WAAAA,QAAG,iBAAiB;EAC5D,IAAI,YAAY,YACd,OAAO,WAAW;OAElB,OAAO;CAEX;CAEA,IAAIA,WAAAA,QAAG,qBAAqB,IAAI,GAC9B,OAAO,kCAAkC,MAAM,MAAM;CAGvD,IAAIA,WAAAA,QAAG,gCAAgC,IAAI,GACzC,OAAO,KAAK;CAGd,OAAO;AACT;AAEA,SAAS,kCACP,UACA,YACQ;CACR,IAAI,SAAS,SAAS,KAAK;CAE3B,KAAK,MAAM,QAAQ,SAAS,eAAe;EACzC,IACEA,WAAAA,QAAG,aAAa,KAAK,UAAU,KAC/B,WAAW,SAAS,KAAK,WAAW,IAAI,GAExC,UAAU;OAGV,UAAU;EAEZ,UAAU,KAAK,QAAQ;CACzB;CAEA,OAAO;AACT;AAEA,SAAS,oBACP,UACoC;CACpC,MAAM,OAA2C;EAC/C,OAAO,CAAC;EACR,MAAM,CAAC;EACP,MAAM,CAAC;CACT;CAEA,MAAM,MAAM,SAAS,UAAU;CAC/B,IAAI,CAAC,OAAO,CAACA,WAAAA,QAAG,0BAA0B,GAAG,GAAG,OAAO;CAEvD,KAAK,MAAM,QAAQ,IAAI,YAAY;EACjC,IAAI,CAACA,WAAAA,QAAG,qBAAqB,IAAI,KAAK,CAACA,WAAAA,QAAG,aAAa,KAAK,IAAI,GAAG;EAEnE,MAAM,QAAQ,KAAK,KAAK;EACxB,IAAI,CAAC,KAAK,QAAQ;EAElB,IAAIA,WAAAA,QAAG,0BAA0B,KAAK,WAAW;QAC1C,MAAM,aAAa,KAAK,YAAY,YACvC,IACEA,WAAAA,QAAG,qBAAqB,SAAS,KACjCA,WAAAA,QAAG,aAAa,UAAU,IAAI,KAC9BA,WAAAA,QAAG,gBAAgB,UAAU,WAAW,GACxC;IACA,MAAM,MAAM,UAAU,YAAY;IAClC,IAAI,QAAQ,cAAc,QAAQ,YAChC,KAAK,MAAM,CAAC,UAAU,KAAK,QAAQ;GAEvC;;CAGN;CAEA,OAAO;AACT;AAEA,SAAS,oBACP,UACA,KACU;CACV,MAAM,WAAW,SAAS,UAAU;CACpC,IAAI,CAAC,UAAU,OAAO,CAAC;CAGvB,IAAIA,WAAAA,QAAG,gBAAgB,QAAQ,KAAKA,WAAAA,QAAG,qBAAqB,QAAQ,GAClE,OAAO,gCAAgC,UAAU,GAAG;CAGtD,OAAO,CAAC;AACV;AAEA,SAAS,gCACP,UACA,KACU;CACV,MAAM,OAAO,SAAS;CAGtB,IAAI,CAACA,WAAAA,QAAG,QAAQ,IAAI,GAClB,OAAO,0BAA0B,MAAM,GAAG;CAI5C,MAAM,uBAAO,IAAI,IAAY;CAC7B,SAAS,YAAY,MAAe;EAClC,IAAIA,WAAAA,QAAG,kBAAkB,IAAI,KAAK,KAAK,YACrC,KAAK,MAAM,OAAO,0BAA0B,KAAK,YAAY,GAAG,GAC9D,KAAK,IAAI,GAAG;EAGhB,WAAA,QAAG,aAAa,MAAM,WAAW;CACnC;CACA,YAAY,IAAI;CAChB,OAAO,CAAC,GAAG,IAAI;AACjB;AAEA,SAAS,0BACP,MACA,KACU;CAEV,OAAOA,WAAAA,QAAG,0BAA0B,IAAI,GACtC,OAAO,KAAK;CAId,IAAIA,WAAAA,QAAG,0BAA0B,IAAI,GACnC,OAAO,KAAK,WACT,QACE,MACCA,WAAAA,QAAG,qBAAqB,CAAC,KAAKA,WAAAA,QAAG,8BAA8B,CAAC,CACpE,CAAC,CACA,KAAI,MAAK,EAAE,KAAK,QAAQ,CAAC,CAAC,CAC1B,OAAO,OAAO;CAMnB,IAAI,CAAC,IAAI,SAAS;EAChB,IAAI,eAAe;EACnB,OAAO,CAAC;CACV;CACA,IAAI;EAEF,OADa,IAAI,QAAQ,kBAAkB,IACjC,CAAC,CACR,cAAc,CAAC,CACf,KAAI,MAAK,EAAE,IAAI,CAAC,CAChB,QAAO,MAAK,MAAM,OAAO;CAC9B,QAAQ;EACN,OAAO,CAAC;CACV;AACF;AAOA,SAAS,sBACP,OACA,KACuB;CAIvB,MAAM,WAAW,MAAM,MAAM,SAAS;CACtC,IAAI,CAAC,UAAU,OAAO;CAEtB,MAAM,OAAO,SAAS;CAGtB,IAAI,aAAmC;CACvC,IAAIA,WAAAA,QAAG,aAAa,IAAI,GACtB,aAAa;MACR,IACLA,WAAAA,QAAG,2BAA2B,IAAI,KAClCA,WAAAA,QAAG,aAAa,KAAK,UAAU,GAE/B,aAAa,KAAK;CAGpB,IAAI,CAAC,YAAY,OAAO;CAIxB,IAAI,CAAC,IAAI,SAAS;EAChB,IAAI,eAAe;EACnB,OAAO;CACT;CAEA,MAAM,SAAS,IAAI,QAAQ,oBAAoB,UAAU;CACzD,IAAI,CAAC,QAAQ,OAAO;CAEpB,MAAM,OAAO,OAAO;CACpB,IAAI,CAAC,QAAQ,CAACA,WAAAA,QAAG,sBAAsB,IAAI,KAAK,CAAC,KAAK,aACpD,OAAO;CAGT,MAAM,OAAO,KAAK;CAGlB,IAAIA,WAAAA,QAAG,2BAA2B,IAAI,KAAK,KAAK,KAAK,SAAS,aAAa;EACzE,MAAM,WAAW,KAAK;EACtB,IAAIA,WAAAA,QAAG,iBAAiB,QAAQ,GAAG;GACjC,MAAM,SAAS,SAAS;GACxB,IAAIA,WAAAA,QAAG,aAAa,MAAM,KAAK,cAAc,OAAO,OAAO;IAEzD,MAAM,aAAa,kBAAkB,QAAQ;IAC7C,OAAO;KACL,UAAU,cAAc,OAAO;KAC/B;IACF;GACF;EACF;CACF;CAEA,OAAO;AACT;;;AC/eA,SAAS,mBACP,aACmB;CACnB,MAAM,WAA8B,CAAC;CACrC,KAAK,MAAM,OAAO,aAChB,IAAI;EAIF,MAAM,cAAc;EACpB,MAAM,WAAW,IAAI,WAClB,QAAQ,cAAc,WAAW,CAAC,CAClC,QAAQ,qBAAqB,MAAM,CAAC,CACpC,QAAQ,IAAI,OAAO,aAAa,GAAG,GAAG,MAAM;EAC/C,SAAS,KAAK;GACZ,OAAO,IAAI,OAAO,IAAI,SAAS,IAAI,GAAG;GACtC,YAAY;EACd,CAAC;CACH,QAAQ,CAER;CAEF,OAAO;AACT;AAEA,SAAgB,mBACd,UACA,aACe;CACf,MAAM,WAAW,mBAAmB,WAAW;CAE/C,OAAO,SAAS,MAAM,KAAI,SAAQ;EAChC,MAAM,UAAU,YAAY,KAAK,MAAM,KAAK,kBAAkB,QAAQ;EACtE,OAAO;GACL,GAAG;GACH,aAAa;EACf;CACF,CAAC;AACH;AAEA,SAAgB,wBACd,MACA,kBACA,aACsB;CAEtB,OAAO,YAAY,MAAM,kBADR,mBAAmB,WACc,CAAC;AACrD;AAEA,SAAS,YACP,MACA,kBACA,UACsB;CAMtB,MAAM,mBAAmB;EAJvB,OAAO;EACP,MAAM;EACN,MAAM;CAEiC,EAAE;CAG3C,MAAM,eAAqC,CAAC;CAC5C,KAAK,MAAM,EAAE,OAAO,gBAAgB,UAAU;EAC5C,IAAI,WAAW,aAAa,kBAAkB;EAC9C,IAAI,MAAM,KAAK,IAAI,GAAG,aAAa,KAAK,UAAU;CACpD;CAEA,IAAI,aAAa,SAAS,GAAG,OAAO;CAGpC,MAAM,kBAAwC,CAAC;CAC/C,KAAK,MAAM,EAAE,OAAO,gBAAgB,UAClC,IAAI,MAAM,KAAK,IAAI,GAAG,gBAAgB,KAAK,UAAU;CAGvD,OAAO;AACT;;;AI1EA,MAAa,eAA+B;CAC1C;EDHA,MAAM;EAEN,MAAM,UAA0B,cAA2C;GACzE,OAAO,aACJ,QAAO,SAAQ,KAAK,YAAY,WAAW,CAAC,CAAC,CAC7C,KAAI,UAAS;IACZ,MAAM,SAAS;IACf,OAAO;KACL,WAAW,KAAK;KAChB,aAAa,KAAK;KAClB,SAAS,KAAK;KACd,WAAW,KAAK,SAAS,KAAK,KAAK;IACrC;IACA,UAAU;IACV,SAAS,SAAS,KAAK,KAAK;IAC5B,MAAM;IACN,QAAQ;GACV,EAAE;EACN;CCfA;CACA;EHJA,MAAM;EAEN,MAAM,UAA0B,cAA2C;GACzE,OAAO,aACJ,QAAO,SAAQ,KAAK,YAAY,SAAS,CAAC,CAAC,CAC3C,KAAI,SAAQ;IACX,MAAM,YAAY,KAAK,YACpB,KAAI,MAAK,GAAG,EAAE,WAAW,GAAG,EAAE,MAAM,CAAC,CACrC,KAAK,IAAI;IACZ,OAAO;KACL,MAAM,SAAS;KACf,OAAO;MACL,WAAW,KAAK;MAChB,aAAa,KAAK;MAClB,SAAS,KAAK;MACd,WAAW,KAAK,SAAS,KAAK,KAAK;KACrC;KACA,UAAU;KACV,SAAS,SAAS,KAAK,KAAK,uCAAuC;KACnE,MAAM;KACN,QAAQ;IACV;GACF,CAAC;EACL;CGnBA;CACA;EFLA,MAAM;EAEN,MAAM,UAA0B,cAA2C;GACzE,MAAM,cAA4B,CAAC;GACnC,MAAM,WAAW;IACf,uBAAO,IAAI,IAAY;IACvB,sBAAM,IAAI,IAAY;IACtB,sBAAM,IAAI,IAAY;GACxB;GAEA,KAAK,MAAM,QAAQ,cAAc;IAC/B,IAAI,KAAK,YAAY,WAAW,GAAG;IAEnC,MAAM,EAAE,cAAc,UAAU,aAAa,KAAK,YAAY;IAG9D,MAAM,UAAoC,CAAC;IAC3C,KAAK,MAAM,SAAS;KAAC;KAAS;KAAQ;IAAM,GAC1C,KAAK,MAAM,CAAC,KAAK,gBAAgB,OAAO,QAAQ,aAAa,MAAM,GACjE,IAAI,gBAAgB,cAAc,CAAC,SAAS,MAAM,CAAC,IAAI,GAAG,GAAG;KAC3D,IAAI,CAAC,QAAQ,QACX,QAAQ,SAAS,CAAC;KAEpB,QAAQ,MAAM,CAAC,KAAK,GAAG;IACzB;IAIJ,IAAI,OAAO,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG;KAKnC,MAAM,UAAU,qCAJF,OAAO,QAAQ,OAAO,CAAC,CAAC,KACnC,CAAC,OAAO,UACP,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,MAAM,MAAM,CAAC,EAAE,IAAI,KAAK,KAAI,MAAK,GAAG,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,GAEzC,CAAC,CAAC,KAAK,IAAI;KAEpE,YAAY,KAAK;MACf,MAAM,SAAS;MACf,OAAO;OACL,WAAW,KAAK;OAChB,aAAa,KAAK;OAClB,SAAS,KAAK;OACd,WAAW,KAAK,SAAS,KAAK,KAAK;MACrC;MACA,UAAU;MACV;MACA,MAAM;MACN,QAAQ;KACV,CAAC;IACH;IAGA,KAAK,MAAM,OAAO,UAChB,SAAS,SAAS,CAAC,IAAI,GAAG;GAE9B;GAEA,OAAO;EACT;CEpDA;AACF;AAEA,SAAgB,SACd,OACA,UACA,cACc;CACd,OAAO,MAAM,SAAQ,SAAQ,KAAK,MAAM,UAAU,YAAY,CAAC;AACjE;;;ACgBA,eAAsB,QACpB,QACA,SACuB;CACvB,MAAM,QAAQ,SAAS,SAAS;CAGhC,MAAM,gBAAgB,MAAMC,sBAAAA,UAAU,OAAO,SAAS;CACtD,MAAM,mBAAmB,MAAMA,sBAAAA,UAAU,OAAO,YAAY;CAE5D,IAAI,cAAc,WAAW,GAC3B,OAAO,CAAC;CAEV,IAAI,iBAAiB,WAAW,GAC9B,OAAO,CAAC;CAIV,MAAM,kBAAkB,uBACtB,eACA,OAAO,YACT;CAGA,MAAM,YAAYC,sBAAAA,kBAAkB,gBAAgB;CAGpD,MAAM,cAA4B,CAAC;CACnC,KAAK,MAAM,YAAY,WAAW;EAEhC,MAAM,gBAAgB,SAAS,OAAO,UADjB,mBAAmB,UAAU,eACS,CAAC;EAC5D,YAAY,KAAK,GAAG,aAAa;CACnC;CAEA,OAAO;AACT;;;ACrEA,MAAa,uBAAyD;CACpE,OAAO;EACL,OAAO,aAAyB,CAAC,CAAC;EAClC,MAAM,YAAmC,CAAC,CAAC;EAC3C,MAAM,YAA8C,CAAC,CAAC;CACxD;AACF;;;;;;;;;ACKA,SAAgB,eAGd,IAIM;CACN,cAAA,mBAAmB,IAAI;EACrB,OAAO;EACP,QAAQ;EACJ;CACN,CAAC;AACH;;;;;;AAOA,SAAgB,cAGd,IAIM;CACN,cAAA,mBAAmB,IAAI;EACrB,OAAO;EACP,QAAQ;EACJ;CACN,CAAC;AACH;;AAGA,SAAgB,cAAc,IAAuB;CACnD,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAW,QAAQ;EAAU;CAAG,CAAC;AACnE;;AAGA,SAAgB,aAAa,IAAuB;CAClD,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAW,QAAQ;EAAS;CAAG,CAAC;AAClE;;;;;;;AAQA,SAAgB,UAAU,IAAuB;CAC/C,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAU,QAAQ;EAAU;CAAG,CAAC;AAClE;;;;;;AAOA,SAAgB,SAAS,IAAuB;CAC9C,cAAA,mBAAmB,IAAI;EAAE,OAAO;EAAU,QAAQ;EAAS;CAAG,CAAC;AACjE;;;ACRA,MAAa,WAAW;CACtB;CACA;CACA,mBAAA,sBAAA;CACA,qBAAA,sBAAA;CACA;CACA;CACA;AACF"}

package/dist/step-forge.js

@@ -1,7 +1,7 @@
-import { a as matchScenarioSteps, i as findMatchingDefinitions, o as extractStepDefinitions, r as defaultRules, t as analyze } from "./analyzer-DnfK54Dw.js";
 import { n as globalHookRegistry, o as globalRegistry } from "./hooks-BDCMKeNq.js";
-import { a as BasicWorld, n as parseFeatureContent, o as captureDefinitionSite, r as parseFeatureFiles } from "./gherkinParser-i-Q7M6mi.js";
+import { a as BasicWorld, i as globFiles, n as parseFeatureContent, o as captureDefinitionSite, r as parseFeatureFiles } from "./gherkinParser-i-Q7M6mi.js";
 import _ from "lodash";
+import ts from "typescript";
 //#region src/builderTypeUtils.ts
 const isString = (statement) => typeof statement === "string";
 //#endregion
@@ -194,6 +194,396 @@ const thenStatement = () => (statement) => {
 };
 const thenBuilder = () => ({ statement: thenStatement() });
 //#endregion
+//#region src/analyzer/stepExtractor.ts
+const BUILDER_NAMES = {
+	givenBuilder: "given",
+	whenBuilder: "when",
+	thenBuilder: "then"
+};
+function extractStepDefinitions(filePaths, tsConfigPath) {
+	const fast = extractWithSources(filePaths.map(parseSourceFile).filter((s) => s !== null), null);
+	if (!fast.needsChecker) return fast.results;
+	const program = ts.createProgram(filePaths, resolveCompilerOptions(tsConfigPath));
+	const checker = program.getTypeChecker();
+	return extractWithSources(filePaths.map((fp) => program.getSourceFile(fp)).filter((s) => s !== void 0), checker).results;
+}
+/** Parse a single file into an AST with no type resolution. */
+function parseSourceFile(filePath) {
+	const text = ts.sys.readFile(filePath);
+	if (text === void 0) return null;
+	const scriptKind = filePath.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS;
+	return ts.createSourceFile(filePath, text, ts.ScriptTarget.ESNext, true, scriptKind);
+}
+/** Resolve compiler options from tsconfig (fallback to sane defaults). */
+function resolveCompilerOptions(tsConfigPath) {
+	const configPath = tsConfigPath ?? ts.findConfigFile(process.cwd(), ts.sys.fileExists);
+	let compilerOptions = {
+		target: ts.ScriptTarget.ESNext,
+		module: ts.ModuleKind.ESNext,
+		moduleResolution: ts.ModuleResolutionKind.Node10,
+		strict: true,
+		esModuleInterop: true
+	};
+	if (configPath) {
+		const configFile = ts.readConfigFile(configPath, ts.sys.readFile);
+		if (!configFile.error) compilerOptions = ts.parseJsonConfigFileContent(configFile.config, ts.sys, configPath.replace(/[/\\][^/\\]+$/, "")).options;
+	}
+	compilerOptions.noEmit = true;
+	return compilerOptions;
+}
+function extractWithSources(sources, checker) {
+	const ctx = {
+		checker,
+		needsChecker: false
+	};
+	const results = [];
+	for (const sourceFile of sources) results.push(...extractFromSourceFile(sourceFile, ctx));
+	return {
+		results,
+		needsChecker: ctx.needsChecker
+	};
+}
+function extractFromSourceFile(sourceFile, ctx) {
+	const results = [];
+	function visit(node) {
+		if (ts.isCallExpression(node) && ts.isPropertyAccessExpression(node.expression) && node.expression.name.text === "step") {
+			const meta = extractFromRegisterCall(node, sourceFile, ctx);
+			if (meta) results.push(meta);
+		}
+		ts.forEachChild(node, visit);
+	}
+	visit(sourceFile);
+	return results;
+}
+function extractFromRegisterCall(registerCall, sourceFile, ctx) {
+	const chain = collectCallChain(registerCall);
+	let stepType = null;
+	let expression = null;
+	let dependencies = {
+		given: {},
+		when: {},
+		then: {}
+	};
+	let produces = [];
+	for (const link of chain) {
+		const name = getCallName(link);
+		if (!name) continue;
+		if (name === "register") continue;
+		if (name === "step") {
+			produces = extractProducedKeys(link, ctx);
+			continue;
+		}
+		if (name === "dependencies") {
+			dependencies = extractDependencies(link);
+			continue;
+		}
+		if (name === "statement") {
+			expression = extractExpression(link);
+			continue;
+		}
+		if (BUILDER_NAMES[name]) {
+			stepType = BUILDER_NAMES[name];
+			continue;
+		}
+	}
+	if (!stepType || !expression) {
+		const reExport = resolveReExportedCall(chain, ctx);
+		if (reExport) {
+			if (!stepType) stepType = reExport.stepType;
+			if (!expression) expression = reExport.expression;
+		}
+	}
+	if (!stepType || !expression) return null;
+	const line = sourceFile.getLineAndCharacterOfPosition(registerCall.getStart()).line + 1;
+	return {
+		stepType,
+		expression,
+		dependencies,
+		produces,
+		sourceFile: sourceFile.fileName,
+		line
+	};
+}
+/**
+* Collect all call expressions in the method chain, from register() back to the origin.
+*/
+function collectCallChain(call) {
+	const chain = [call];
+	let current = call.expression;
+	if (ts.isPropertyAccessExpression(current)) current = current.expression;
+	while (ts.isCallExpression(current)) {
+		chain.push(current);
+		current = current.expression;
+		if (ts.isPropertyAccessExpression(current)) current = current.expression;
+	}
+	return chain;
+}
+function getCallName(call) {
+	const expr = call.expression;
+	if (ts.isPropertyAccessExpression(expr)) return expr.name.text;
+	if (ts.isIdentifier(expr)) return expr.text;
+	return null;
+}
+function extractExpression(statementCall) {
+	const arg = statementCall.arguments[0];
+	if (!arg) return null;
+	if (ts.isStringLiteral(arg)) return arg.text;
+	if (ts.isArrowFunction(arg)) return extractExpressionFromArrowFunction(arg);
+	return null;
+}
+function extractExpressionFromArrowFunction(fn) {
+	const params = fn.parameters.map((p) => p.name.getText());
+	let body = fn.body;
+	if (ts.isBlock(body)) {
+		const returnStmt = body.statements.find(ts.isReturnStatement);
+		if (returnStmt?.expression) body = returnStmt.expression;
+		else return null;
+	}
+	if (ts.isTemplateExpression(body)) return reconstructExpressionFromTemplate(body, params);
+	if (ts.isNoSubstitutionTemplateLiteral(body)) return body.text;
+	return null;
+}
+function reconstructExpressionFromTemplate(template, paramNames) {
+	let result = template.head.text;
+	for (const span of template.templateSpans) {
+		if (ts.isIdentifier(span.expression) && paramNames.includes(span.expression.text)) result += "{string}";
+		else result += "{string}";
+		result += span.literal.text;
+	}
+	return result;
+}
+function extractDependencies(depsCall) {
+	const deps = {
+		given: {},
+		when: {},
+		then: {}
+	};
+	const arg = depsCall.arguments[0];
+	if (!arg || !ts.isObjectLiteralExpression(arg)) return deps;
+	for (const prop of arg.properties) {
+		if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name)) continue;
+		const phase = prop.name.text;
+		if (!deps[phase]) continue;
+		if (ts.isObjectLiteralExpression(prop.initializer)) {
+			for (const innerProp of prop.initializer.properties) if (ts.isPropertyAssignment(innerProp) && ts.isIdentifier(innerProp.name) && ts.isStringLiteral(innerProp.initializer)) {
+				const val = innerProp.initializer.text;
+				if (val === "required" || val === "optional") deps[phase][innerProp.name.text] = val;
+			}
+		}
+	}
+	return deps;
+}
+function extractProducedKeys(stepCall, ctx) {
+	const callback = stepCall.arguments[0];
+	if (!callback) return [];
+	if (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) return extractProducedKeysFromCallback(callback, ctx);
+	return [];
+}
+function extractProducedKeysFromCallback(callback, ctx) {
+	const body = callback.body;
+	if (!ts.isBlock(body)) return extractKeysFromExpression(body, ctx);
+	const keys = /* @__PURE__ */ new Set();
+	function visitReturn(node) {
+		if (ts.isReturnStatement(node) && node.expression) for (const key of extractKeysFromExpression(node.expression, ctx)) keys.add(key);
+		ts.forEachChild(node, visitReturn);
+	}
+	visitReturn(body);
+	return [...keys];
+}
+function extractKeysFromExpression(expr, ctx) {
+	while (ts.isParenthesizedExpression(expr)) expr = expr.expression;
+	if (ts.isObjectLiteralExpression(expr)) return expr.properties.filter((p) => ts.isPropertyAssignment(p) || ts.isShorthandPropertyAssignment(p)).map((p) => p.name.getText()).filter(Boolean);
+	if (!ctx.checker) {
+		ctx.needsChecker = true;
+		return [];
+	}
+	try {
+		return ctx.checker.getTypeAtLocation(expr).getProperties().map((p) => p.name).filter((n) => n !== "merge");
+	} catch {
+		return [];
+	}
+}
+function resolveReExportedCall(chain, ctx) {
+	const lastCall = chain[chain.length - 1];
+	if (!lastCall) return null;
+	const expr = lastCall.expression;
+	let identifier = null;
+	if (ts.isIdentifier(expr)) identifier = expr;
+	else if (ts.isPropertyAccessExpression(expr) && ts.isIdentifier(expr.expression)) identifier = expr.expression;
+	if (!identifier) return null;
+	if (!ctx.checker) {
+		ctx.needsChecker = true;
+		return null;
+	}
+	const symbol = ctx.checker.getSymbolAtLocation(identifier);
+	if (!symbol) return null;
+	const decl = symbol.valueDeclaration;
+	if (!decl || !ts.isVariableDeclaration(decl) || !decl.initializer) return null;
+	const init = decl.initializer;
+	if (ts.isPropertyAccessExpression(init) && init.name.text === "statement") {
+		const callExpr = init.expression;
+		if (ts.isCallExpression(callExpr)) {
+			const callee = callExpr.expression;
+			if (ts.isIdentifier(callee) && BUILDER_NAMES[callee.text]) {
+				const expression = extractExpression(lastCall);
+				return {
+					stepType: BUILDER_NAMES[callee.text],
+					expression
+				};
+			}
+		}
+	}
+	return null;
+}
+//#endregion
+//#region src/analyzer/stepMatcher.ts
+function compileDefinitions(definitions) {
+	const compiled = [];
+	for (const def of definitions) try {
+		const placeholder = "###PLACEHOLDER###";
+		const regexStr = def.expression.replace(/\{[^}]+\}/g, placeholder).replace(/[.*+?^$()|[\]\\]/g, "\\$&").replace(new RegExp(placeholder, "g"), "(.+)");
+		compiled.push({
+			regex: new RegExp(`^${regexStr}$`, "i"),
+			definition: def
+		});
+	} catch {}
+	return compiled;
+}
+function matchScenarioSteps(scenario, definitions) {
+	const compiled = compileDefinitions(definitions);
+	return scenario.steps.map((step) => {
+		const matches = findMatches(step.text, step.effectiveKeyword, compiled);
+		return {
+			...step,
+			definitions: matches
+		};
+	});
+}
+function findMatchingDefinitions(text, effectiveKeyword, definitions) {
+	return findMatches(text, effectiveKeyword, compileDefinitions(definitions));
+}
+function findMatches(text, effectiveKeyword, compiled) {
+	const expectedStepType = {
+		Given: "given",
+		When: "when",
+		Then: "then"
+	}[effectiveKeyword];
+	const typedMatches = [];
+	for (const { regex, definition } of compiled) {
+		if (definition.stepType !== expectedStepType) continue;
+		if (regex.test(text)) typedMatches.push(definition);
+	}
+	if (typedMatches.length > 0) return typedMatches;
+	const fallbackMatches = [];
+	for (const { regex, definition } of compiled) if (regex.test(text)) fallbackMatches.push(definition);
+	return fallbackMatches;
+}
+//#endregion
+//#region src/analyzer/rules/index.ts
+const defaultRules = [
+	{
+		name: "undefined-step",
+		check(scenario, matchedSteps) {
+			return matchedSteps.filter((step) => step.definitions.length === 0).map((step) => ({
+				file: scenario.file,
+				range: {
+					startLine: step.line,
+					startColumn: step.column,
+					endLine: step.line,
+					endColumn: step.column + step.text.length
+				},
+				severity: "error",
+				message: `Step "${step.text}" does not match any step definition`,
+				rule: "undefined-step",
+				source: "step-forge"
+			}));
+		}
+	},
+	{
+		name: "ambiguous-step",
+		check(scenario, matchedSteps) {
+			return matchedSteps.filter((step) => step.definitions.length > 1).map((step) => {
+				const locations = step.definitions.map((d) => `${d.sourceFile}:${d.line}`).join(", ");
+				return {
+					file: scenario.file,
+					range: {
+						startLine: step.line,
+						startColumn: step.column,
+						endLine: step.line,
+						endColumn: step.column + step.text.length
+					},
+					severity: "error",
+					message: `Step "${step.text}" matches multiple step definitions: ${locations}`,
+					rule: "ambiguous-step",
+					source: "step-forge"
+				};
+			});
+		}
+	},
+	{
+		name: "dependency-check",
+		check(scenario, matchedSteps) {
+			const diagnostics = [];
+			const produced = {
+				given: /* @__PURE__ */ new Set(),
+				when: /* @__PURE__ */ new Set(),
+				then: /* @__PURE__ */ new Set()
+			};
+			for (const step of matchedSteps) {
+				if (step.definitions.length !== 1) continue;
+				const { dependencies, produces, stepType } = step.definitions[0];
+				const missing = {};
+				for (const phase of [
+					"given",
+					"when",
+					"then"
+				]) for (const [key, requirement] of Object.entries(dependencies[phase])) if (requirement === "required" && !produced[phase].has(key)) {
+					if (!missing[phase]) missing[phase] = [];
+					missing[phase].push(key);
+				}
+				if (Object.keys(missing).length > 0) {
+					const message = "Missing required dependencies:\n" + Object.entries(missing).map(([phase, keys]) => `${phase.charAt(0).toUpperCase() + phase.slice(1)}: ${keys.map((k) => `${phase}.${k}`).join(", ")}`).join("\n");
+					diagnostics.push({
+						file: scenario.file,
+						range: {
+							startLine: step.line,
+							startColumn: step.column,
+							endLine: step.line,
+							endColumn: step.column + step.text.length
+						},
+						severity: "error",
+						message,
+						rule: "dependency-check",
+						source: "step-forge"
+					});
+				}
+				for (const key of produces) produced[stepType].add(key);
+			}
+			return diagnostics;
+		}
+	}
+];
+function runRules(rules, scenario, matchedSteps) {
+	return rules.flatMap((rule) => rule.check(scenario, matchedSteps));
+}
+//#endregion
+//#region src/analyzer/index.ts
+async function analyze(config, options) {
+	const rules = options?.rules ?? defaultRules;
+	const stepFilePaths = await globFiles(config.stepFiles);
+	const featureFilePaths = await globFiles(config.featureFiles);
+	if (stepFilePaths.length === 0) return [];
+	if (featureFilePaths.length === 0) return [];
+	const stepDefinitions = extractStepDefinitions(stepFilePaths, config.tsConfigPath);
+	const scenarios = parseFeatureFiles(featureFilePaths);
+	const diagnostics = [];
+	for (const scenario of scenarios) {
+		const scenarioDiags = runRules(rules, scenario, matchScenarioSteps(scenario, stepDefinitions));
+		diagnostics.push(...scenarioDiags);
+	}
+	return diagnostics;
+}
+//#endregion
 //#region src/init.ts
 const createBuilders = () => {
 	return {