@wix/web5-core 1.56.0

package/dist/esm/patternValidator/matcher.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["buildAutomaton","parseListFromElement","element","elementStr","startsWith","listMatch","match","content","items","i","length","depth","itemContent","elements","split","map","e","trim","filter","push","findAllListPatterns","node","listPatterns","Map","traverse","n","kind","key","has","set","children","forEach","choices","pattern","validateListItems","itemCount","itemStructure","enrichedItems","min","max","Infinity","minStr","toString","maxStr","rangeStr","valid","error","startIndex","endIndex","enrichedItem","result","validateItemStructure","item","itemIndex","automaton","isValid","matchResult","matchSimple","patternStr","formatPatternNode","join","formatQuantifier","quantifier","type","undefined","epsilonClosure","stateIds","closure","Set","stack","Array","from","state","pop","transition","transitions","condition","to","add","getNextStates","currentStates","nextStates","matchesCondition","startState","size","acceptStates","validateLinkAttributes","metadata","requiredAttrs","availableAttrs","url","protocol","web5Type","entityType","entityId","attr","value","operator","_attr$value","toLowerCase","includes","endsWith","validateImageAttributes","src","alt","validateHtmlCommentAttributes","elementMatchesStop","enrichedElement","stop","elementType","htmlCommentAttrs","htmlCommentMetadata","linkAttrs","linkMetadata","imageAttrs","imageMetadata","ast","patternNode","_patternNode","findAllPatternNodesForElement","results","child","choice","findPatternNodeForElement","matchingNodes","defaultListPattern","get","elementIndex","lastValidIndex","lastAcceptStateIndex","isInAcceptState","wasInAcceptStateBefore","listItems","validationResult","listItemsEnriched","listPatternNode","astNodeIndex","elementPatternNode"],"sources":["../../../src/patternValidator/matcher.ts"],"sourcesContent":["import type {\n  Automaton,\n  BlockElement,\n  TransitionCondition,\n  PatternNode,\n  EnrichedBlockElement,\n  HtmlCommentAttribute,\n  LinkAttribute,\n  ImageAttribute,\n  LinkMetadata,\n  ImageMetadata,\n  StopCondition,\n} from './types';\nimport { buildAutomaton } from './automaton';\n\nexport type MatchResult = {\n  valid: boolean;\n  error?: string;\n  startIndex: number;\n  endIndex: number;\n};\n\nfunction parseListFromElement(element: BlockElement): string[][] | null {\n  const elementStr = element as string;\n  if (!elementStr.startsWith('list{')) {\n    return null;\n  }\n\n  const listMatch = elementStr.match(/^list\\{(.+)\\}$/);\n  if (!listMatch) {\n    return null;\n  }\n\n  const content = listMatch[1];\n  const items: string[][] = [];\n  let i = 0;\n\n  // Handle double bracket format: [[item1], [item2]]\n  while (i < content.length) {\n    if (content[i] === '[') {\n      i++; // skip first [\n      let depth = 1;\n      let itemContent = '';\n\n      while (i < content.length && depth > 0) {\n        if (content[i] === '[') {\n          depth++;\n        }\n        if (content[i] === ']') {\n          depth--;\n        }\n        if (depth > 0) {\n          itemContent += content[i];\n        }\n        i++;\n      }\n\n      const elements = itemContent\n        .split(',')\n        .map((e) => e.trim())\n        .filter((e) => e);\n      if (elements.length > 0) {\n        items.push(elements);\n      }\n    } else {\n      i++;\n    }\n  }\n\n  return items.length > 0 ? items : null;\n}\n\nfunction findAllListPatterns(\n  node: PatternNode,\n): Map<string, PatternNode & { kind: 'list' }> {\n  // Create a map of list element signatures to their pattern nodes\n  // This handles lists that appear multiple times due to quantifiers\n  const listPatterns = new Map<string, PatternNode & { kind: 'list' }>();\n\n  function traverse(n: PatternNode): void {\n    if (n.kind === 'list') {\n      // Use the list structure as a key (simplified - in reality all lists use same structure)\n      const key = 'list';\n      if (!listPatterns.has(key)) {\n        listPatterns.set(key, n);\n      }\n    } else if (n.kind === 'sequence') {\n      n.children.forEach(traverse);\n    } else if (n.kind === 'alternation') {\n      n.choices.forEach(traverse);\n    } else if (n.kind === 'group') {\n      traverse(n.pattern);\n    }\n  }\n\n  traverse(node);\n  return listPatterns;\n}\n\nfunction validateListItems(\n  items: string[][],\n  itemCount?: { min?: number; max?: number },\n  itemStructure?: PatternNode,\n  enrichedItems?: EnrichedBlockElement[][],\n): MatchResult {\n  // Validate item count\n  if (itemCount) {\n    const min = itemCount.min ?? 0;\n    const max = itemCount.max ?? Infinity;\n    if (items.length < min || items.length > max) {\n      const minStr = min === 0 ? '0' : min.toString();\n      const maxStr = max === Infinity ? 'unlimited' : max.toString();\n      const rangeStr =\n        min === max ? `exactly ${min}` : `between ${minStr} and ${maxStr}`;\n      return {\n        valid: false,\n        error: `Expected ${rangeStr} items in list, but got ${items.length} items`,\n        startIndex: 0,\n        endIndex: -1,\n      };\n    }\n  }\n\n  // Validate each item structure\n  if (itemStructure) {\n    for (let i = 0; i < items.length; i++) {\n      const enrichedItem = enrichedItems?.[i];\n      const result = validateItemStructure(\n        items[i],\n        itemStructure,\n        i,\n        enrichedItem,\n      );\n      if (!result.valid) {\n        return result;\n      }\n    }\n  }\n\n  return {\n    valid: true,\n    startIndex: 0,\n    endIndex: items.length > 0 ? items.length - 1 : -1,\n  };\n}\n\nfunction validateItemStructure(\n  item: string[],\n  pattern: PatternNode,\n  itemIndex: number,\n  enrichedItem?: EnrichedBlockElement[],\n): MatchResult {\n  // Build automaton for the item pattern\n  const automaton = buildAutomaton(pattern);\n\n  let isValid: boolean;\n  if (enrichedItem) {\n    // Use full match with metadata for attribute checking (e.g., link[entityType=\"solution\"])\n    const matchResult = match(automaton, enrichedItem, pattern);\n    // Require full match: all elements must be consumed (no extra trailing elements)\n    isValid =\n      matchResult.valid && matchResult.endIndex === enrichedItem.length - 1;\n  } else {\n    // Fallback: use simple matching without metadata\n    isValid = matchSimple(automaton, item as BlockElement[]);\n  }\n\n  if (!isValid) {\n    const patternStr = formatPatternNode(pattern);\n    return {\n      valid: false,\n      error: `Item #${itemIndex + 1} [${item.join(\n        ', ',\n      )}] does not match expected pattern: ${patternStr}`,\n      startIndex: 0,\n      endIndex: -1,\n    };\n  }\n\n  return {\n    valid: true,\n    startIndex: 0,\n    endIndex: item.length > 0 ? item.length - 1 : -1,\n  };\n}\n\nfunction formatPatternNode(node: PatternNode): string {\n  switch (node.kind) {\n    case 'element':\n      return node.element + formatQuantifier(node.quantifier);\n    case 'sequence':\n      return node.children.map(formatPatternNode).join(' > ');\n    case 'alternation':\n      return node.choices.map(formatPatternNode).join(' | ');\n    case 'group':\n      return (\n        '(' +\n        formatPatternNode(node.pattern) +\n        ')' +\n        formatQuantifier(node.quantifier)\n      );\n    case 'list':\n      return 'list{...}';\n    default:\n      return '?';\n  }\n}\n\nfunction formatQuantifier(quantifier?: {\n  type: string;\n  min?: number;\n  max?: number;\n}): string {\n  if (!quantifier) {\n    return '';\n  }\n  switch (quantifier.type) {\n    case 'star':\n      return '*';\n    case 'plus':\n      return '+';\n    case 'optional':\n      return '?';\n    case 'exact':\n      return `[${quantifier.min}]`;\n    case 'range':\n      if (quantifier.min === undefined) {\n        return `[-${quantifier.max}]`;\n      }\n      if (quantifier.max === undefined) {\n        return `[${quantifier.min}-]`;\n      }\n      return `[${quantifier.min}-${quantifier.max}]`;\n    default:\n      return '';\n  }\n}\n\nfunction matchSimple(automaton: Automaton, elements: BlockElement[]): boolean {\n  function epsilonClosure(stateIds: Set<string>): Set<string> {\n    const closure = new Set(stateIds);\n    const stack = Array.from(stateIds);\n\n    while (stack.length > 0) {\n      const state = stack.pop()!;\n      for (const transition of automaton.transitions) {\n        if (\n          transition.from === state &&\n          transition.condition.type === 'epsilon' &&\n          !closure.has(transition.to)\n        ) {\n          closure.add(transition.to);\n          stack.push(transition.to);\n        }\n      }\n    }\n\n    return closure;\n  }\n\n  function getNextStates(\n    currentStates: Set<string>,\n    element: BlockElement,\n  ): Set<string> {\n    const nextStates = new Set<string>();\n\n    for (const state of currentStates) {\n      for (const transition of automaton.transitions) {\n        if (\n          transition.from === state &&\n          matchesCondition(transition.condition, element)\n        ) {\n          nextStates.add(transition.to);\n        }\n      }\n    }\n\n    return nextStates;\n  }\n\n  function matchesCondition(\n    condition: TransitionCondition,\n    element: BlockElement,\n  ): boolean {\n    if (condition.type === 'element') {\n      return condition.element === element;\n    }\n    return false;\n  }\n\n  let currentStates = epsilonClosure(new Set([automaton.startState]));\n\n  for (const element of elements) {\n    const nextStates = getNextStates(currentStates, element);\n    if (nextStates.size === 0) {\n      return false;\n    }\n    currentStates = epsilonClosure(nextStates);\n  }\n\n  for (const state of currentStates) {\n    if (automaton.acceptStates.has(state)) {\n      return true;\n    }\n  }\n\n  return false;\n}\n\nfunction validateLinkAttributes(\n  metadata: LinkMetadata | undefined,\n  requiredAttrs: LinkAttribute[],\n): boolean {\n  if (!metadata) {\n    // If metadata is missing but attributes are required, return false\n    return requiredAttrs.length === 0;\n  }\n\n  // Build a record of all available attributes from LinkMetadata\n  const availableAttrs: Record<string, string | undefined> = {\n    url: metadata.url,\n    protocol: metadata.protocol,\n    web5Type: metadata.web5Type,\n    entityType: metadata.entityType,\n    entityId: metadata.entityId,\n  };\n\n  // Validate each required attribute\n  for (const attr of requiredAttrs) {\n    const value = availableAttrs[attr.key];\n\n    switch (attr.operator) {\n      case 'exists':\n        // Check if key exists and has a non-undefined value\n        if (value === undefined) {\n          return false;\n        }\n        break;\n      case 'equals':\n        // Case-insensitive comparison for entityType, exact match for others\n        if (attr.key === 'entityType') {\n          if (value?.toLowerCase() !== attr.value?.toLowerCase()) {\n            return false;\n          }\n        } else if (value !== attr.value) {\n          return false;\n        }\n        break;\n      case 'contains':\n        // Check if value contains substring\n        if (value === undefined || !attr.value || !value.includes(attr.value)) {\n          return false;\n        }\n        break;\n      case 'startsWith':\n        // Check if value starts with prefix\n        if (\n          value === undefined ||\n          !attr.value ||\n          !value.startsWith(attr.value)\n        ) {\n          return false;\n        }\n        break;\n      case 'endsWith':\n        // Check if value ends with suffix\n        if (value === undefined || !attr.value || !value.endsWith(attr.value)) {\n          return false;\n        }\n        break;\n    }\n  }\n\n  return true;\n}\n\nfunction validateImageAttributes(\n  metadata: ImageMetadata | undefined,\n  requiredAttrs: ImageAttribute[],\n): boolean {\n  if (!metadata) {\n    return requiredAttrs.length === 0;\n  }\n\n  const availableAttrs: Record<string, string | undefined> = {\n    src: metadata.src,\n    alt: metadata.alt,\n    type: metadata.type,\n  };\n\n  for (const attr of requiredAttrs) {\n    const value = availableAttrs[attr.key];\n\n    switch (attr.operator) {\n      case 'exists':\n        if (value === undefined) {\n          return false;\n        }\n        break;\n      case 'equals':\n        if (value !== attr.value) {\n          return false;\n        }\n        break;\n      case 'contains':\n        if (value === undefined || !attr.value || !value.includes(attr.value)) {\n          return false;\n        }\n        break;\n      case 'startsWith':\n        if (\n          value === undefined ||\n          !attr.value ||\n          !value.startsWith(attr.value)\n        ) {\n          return false;\n        }\n        break;\n      case 'endsWith':\n        if (value === undefined || !attr.value || !value.endsWith(attr.value)) {\n          return false;\n        }\n        break;\n    }\n  }\n\n  return true;\n}\n\nfunction validateHtmlCommentAttributes(\n  metadata: Record<string, string> | undefined,\n  requiredAttrs: HtmlCommentAttribute[],\n): boolean {\n  if (!metadata) {\n    // If metadata is missing, no attributes can exist\n    return requiredAttrs.length === 0;\n  }\n\n  // Validate each required attribute\n  for (const attr of requiredAttrs) {\n    const value = metadata[attr.key];\n\n    switch (attr.operator) {\n      case 'exists':\n        // Check if key exists in metadata\n        if (!(attr.key in metadata)) {\n          return false;\n        }\n        break;\n      case 'equals':\n        // Check if value equals exactly\n        if (value !== attr.value) {\n          return false;\n        }\n        break;\n      case 'contains':\n        // Check if value contains substring\n        if (!value || !attr.value || !value.includes(attr.value)) {\n          return false;\n        }\n        break;\n      case 'startsWith':\n        // Check if value starts with prefix\n        if (!value || !attr.value || !value.startsWith(attr.value)) {\n          return false;\n        }\n        break;\n      case 'endsWith':\n        // Check if value ends with suffix\n        if (!value || !attr.value || !value.endsWith(attr.value)) {\n          return false;\n        }\n        break;\n    }\n  }\n\n  return true;\n}\n\n/**\n * Checks whether an enriched block element satisfies a pattern's `~` stop\n * condition (element type plus optional attribute selectors).\n */\nexport function elementMatchesStop(\n  enrichedElement: EnrichedBlockElement,\n  stop: StopCondition,\n): boolean {\n  // List elements may carry an inline structure (e.g. 'list{[t],[t]}')\n  const elementType = (enrichedElement.element as string).startsWith('list')\n    ? 'list'\n    : enrichedElement.element;\n\n  if (elementType !== stop.element) {\n    return false;\n  }\n\n  if (stop.htmlCommentAttrs) {\n    return validateHtmlCommentAttributes(\n      enrichedElement.htmlCommentMetadata,\n      stop.htmlCommentAttrs,\n    );\n  }\n  if (stop.linkAttrs) {\n    return validateLinkAttributes(enrichedElement.linkMetadata, stop.linkAttrs);\n  }\n  if (stop.imageAttrs) {\n    return validateImageAttributes(\n      enrichedElement.imageMetadata,\n      stop.imageAttrs,\n    );\n  }\n\n  return true;\n}\n\nexport function match(\n  automaton: Automaton,\n  elements: EnrichedBlockElement[],\n  ast?: PatternNode,\n): MatchResult {\n  function epsilonClosure(stateIds: Set<string>): Set<string> {\n    const closure = new Set(stateIds);\n    const stack = Array.from(stateIds);\n\n    while (stack.length > 0) {\n      const state = stack.pop()!;\n      for (const transition of automaton.transitions) {\n        if (\n          transition.from === state &&\n          transition.condition.type === 'epsilon' &&\n          !closure.has(transition.to)\n        ) {\n          closure.add(transition.to);\n          stack.push(transition.to);\n        }\n      }\n    }\n\n    return closure;\n  }\n\n  function getNextStates(\n    currentStates: Set<string>,\n    enrichedElement: EnrichedBlockElement,\n    patternNode?: PatternNode,\n  ): Set<string> {\n    const nextStates = new Set<string>();\n\n    for (const state of currentStates) {\n      for (const transition of automaton.transitions) {\n        if (\n          transition.from === state &&\n          matchesCondition(transition.condition, enrichedElement, patternNode)\n        ) {\n          nextStates.add(transition.to);\n        }\n      }\n    }\n\n    return nextStates;\n  }\n\n  function matchesCondition(\n    condition: TransitionCondition,\n    enrichedElement: EnrichedBlockElement,\n    _patternNode?: PatternNode,\n  ): boolean {\n    if (condition.type === 'element') {\n      const element = enrichedElement.element;\n\n      // Check if element type matches\n      if (condition.element !== element) {\n        return false;\n      }\n\n      // If this is an html_comment element, check HTML comment attributes from the transition\n      if (element === 'html_comment' && condition.htmlCommentAttrs) {\n        return validateHtmlCommentAttributes(\n          enrichedElement.htmlCommentMetadata,\n          condition.htmlCommentAttrs,\n        );\n      }\n\n      // If this is a link element, check link attributes from the transition\n      if (element === 'link' && condition.linkAttrs) {\n        return validateLinkAttributes(\n          enrichedElement.linkMetadata,\n          condition.linkAttrs,\n        );\n      }\n\n      // If this is an image element, check image attributes from the transition\n      if (element === 'image' && condition.imageAttrs) {\n        return validateImageAttributes(\n          enrichedElement.imageMetadata,\n          condition.imageAttrs,\n        );\n      }\n\n      return true;\n    }\n    return false;\n  }\n\n  // Helper function to find all pattern nodes for a given element type\n  function findAllPatternNodesForElement(\n    elementType: BlockElement,\n    pattern: PatternNode,\n  ): PatternNode[] {\n    const results: PatternNode[] = [];\n    function traverse(node: PatternNode): void {\n      if (node.kind === 'element' && node.element === elementType) {\n        results.push(node);\n      }\n      if (node.kind === 'sequence') {\n        for (const child of node.children) {\n          traverse(child);\n        }\n      }\n      if (node.kind === 'alternation') {\n        for (const choice of node.choices) {\n          traverse(choice);\n        }\n      }\n      if (node.kind === 'group') {\n        traverse(node.pattern);\n      }\n    }\n    traverse(pattern);\n    return results;\n  }\n\n  // Helper function to find the first matching pattern node for an element\n  // If multiple exist, we check them all and return the first that matches attributes (if any)\n  function findPatternNodeForElement(\n    elementType: BlockElement,\n    pattern: PatternNode,\n    enrichedElement: EnrichedBlockElement,\n  ): PatternNode | undefined {\n    const matchingNodes = findAllPatternNodesForElement(elementType, pattern);\n    if (matchingNodes.length === 0) {\n      return undefined;\n    }\n    if (matchingNodes.length === 1) {\n      return matchingNodes[0];\n    }\n    // If multiple pattern nodes exist, find one that matches attributes (if element has attributes)\n    if (elementType === 'html_comment' && enrichedElement.htmlCommentMetadata) {\n      for (const node of matchingNodes) {\n        if (node.kind === 'element' && node.htmlCommentAttrs) {\n          if (\n            validateHtmlCommentAttributes(\n              enrichedElement.htmlCommentMetadata,\n              node.htmlCommentAttrs,\n            )\n          ) {\n            return node;\n          }\n        }\n      }\n    }\n    // If multiple pattern nodes exist for link, find one that matches link attributes\n    if (elementType === 'link' && enrichedElement.linkMetadata) {\n      for (const node of matchingNodes) {\n        if (node.kind === 'element' && node.linkAttrs) {\n          if (\n            validateLinkAttributes(enrichedElement.linkMetadata, node.linkAttrs)\n          ) {\n            return node;\n          }\n        }\n      }\n    }\n    // If multiple pattern nodes exist for image, find one that matches image attributes\n    if (elementType === 'image' && enrichedElement.imageMetadata) {\n      for (const node of matchingNodes) {\n        if (node.kind === 'element' && node.imageAttrs) {\n          if (\n            validateImageAttributes(\n              enrichedElement.imageMetadata,\n              node.imageAttrs,\n            )\n          ) {\n            return node;\n          }\n        }\n      }\n    }\n    // Return first matching node if no attribute match found\n    return matchingNodes[0];\n  }\n\n  // Extract list patterns from AST if provided\n  // Use a map so the same pattern applies to all list instances\n  const listPatterns = ast ? findAllListPatterns(ast) : new Map();\n  const defaultListPattern = listPatterns.get('list');\n\n  let currentStates = epsilonClosure(new Set([automaton.startState]));\n  let elementIndex = 0;\n  let lastValidIndex = -1; // Track the last successfully matched element index\n  let lastAcceptStateIndex = -1; // Track when we were last in an accept state\n\n  // Handle empty array case\n  if (elements.length === 0) {\n    // Check if empty array is acceptable (pattern allows zero elements)\n    for (const state of currentStates) {\n      if (automaton.acceptStates.has(state)) {\n        return { valid: true, startIndex: 0, endIndex: -1 };\n      }\n    }\n    return {\n      valid: false,\n      error: 'Empty array does not match pattern',\n      startIndex: 0,\n      endIndex: -1,\n    };\n  }\n\n  for (const enrichedElement of elements) {\n    // Check if we're already in an accept state before processing this element\n    // If so, this element is extra and we can accept it\n    let isInAcceptState = false;\n    for (const state of currentStates) {\n      if (automaton.acceptStates.has(state)) {\n        isInAcceptState = true;\n        break;\n      }\n    }\n\n    // Also check if we were in an accept state before starting to match incomplete elements\n    // This handles cases where we matched some elements after being in an accept state,\n    // but those elements didn't complete the pattern\n    const wasInAcceptStateBefore =\n      lastAcceptStateIndex >= 0 && elementIndex > lastAcceptStateIndex;\n\n    const element = enrichedElement.element;\n    // Check if this is a list element\n    const listItems = parseListFromElement(element);\n    if (listItems !== null && defaultListPattern) {\n      // Validate list items using the pattern\n      const validationResult = validateListItems(\n        listItems,\n        defaultListPattern.itemCount,\n        defaultListPattern.itemStructure,\n        enrichedElement.listItemsEnriched,\n      );\n      if (!validationResult.valid) {\n        return {\n          valid: false,\n          error: `List at position ${elementIndex + 1} failed validation: ${\n            validationResult.error\n          }`,\n          startIndex: 0,\n          endIndex: lastValidIndex,\n        };\n      }\n\n      // Continue matching with 'list' as element type\n      const listPatternNode = ast\n        ? findPatternNodeForElement('list', ast, {\n            element: 'list',\n            astNodeIndex: enrichedElement.astNodeIndex,\n          })\n        : undefined;\n      const nextStates = getNextStates(\n        currentStates,\n        { element: 'list', astNodeIndex: enrichedElement.astNodeIndex },\n        listPatternNode,\n      );\n      if (nextStates.size === 0) {\n        // No transitions - if we were already in accept state, extra elements are OK\n        if (isInAcceptState || wasInAcceptStateBefore) {\n          // Pattern was fully matched, extra elements are OK\n          return {\n            valid: true,\n            startIndex: 0,\n            endIndex:\n              lastAcceptStateIndex >= 0 ? lastAcceptStateIndex : lastValidIndex,\n          };\n        }\n\n        return {\n          valid: false,\n          error: `Unexpected list at position ${\n            elementIndex + 1\n          }. Pattern does not expect a list here.`,\n          startIndex: 0,\n          endIndex: lastValidIndex,\n        };\n      }\n      currentStates = epsilonClosure(nextStates);\n      // Successfully matched this element\n      lastValidIndex = elementIndex;\n\n      // Check if we're now in an accept state (after matching list)\n      for (const state of currentStates) {\n        if (automaton.acceptStates.has(state)) {\n          lastAcceptStateIndex = elementIndex;\n          break;\n        }\n      }\n    } else if (listItems !== null) {\n      // List without validation pattern - just match as 'list'\n      const listPatternNode = ast\n        ? findPatternNodeForElement('list', ast, {\n            element: 'list',\n            astNodeIndex: enrichedElement.astNodeIndex,\n          })\n        : undefined;\n      const nextStates = getNextStates(\n        currentStates,\n        { element: 'list', astNodeIndex: enrichedElement.astNodeIndex },\n        listPatternNode,\n      );\n      if (nextStates.size === 0) {\n        // No transitions - if we were already in accept state, extra elements are OK\n        if (isInAcceptState || wasInAcceptStateBefore) {\n          // Pattern was fully matched, extra elements are OK\n          return {\n            valid: true,\n            startIndex: 0,\n            endIndex:\n              lastAcceptStateIndex >= 0 ? lastAcceptStateIndex : lastValidIndex,\n          };\n        }\n\n        return {\n          valid: false,\n          error: `Unexpected list at position ${\n            elementIndex + 1\n          }. Pattern does not expect a list here.`,\n          startIndex: 0,\n          endIndex: lastValidIndex,\n        };\n      }\n      currentStates = epsilonClosure(nextStates);\n      // Successfully matched this element\n      lastValidIndex = elementIndex;\n\n      // Check if we're now in an accept state (after matching list without pattern)\n      for (const state of currentStates) {\n        if (automaton.acceptStates.has(state)) {\n          lastAcceptStateIndex = elementIndex;\n          break;\n        }\n      }\n    } else {\n      // Regular element matching\n      const elementPatternNode = ast\n        ? findPatternNodeForElement(element, ast, enrichedElement)\n        : undefined;\n      const nextStates = getNextStates(\n        currentStates,\n        enrichedElement,\n        elementPatternNode,\n      );\n\n      if (nextStates.size === 0) {\n        // No transitions - if we were already in accept state, extra elements are OK\n        if (isInAcceptState || wasInAcceptStateBefore) {\n          // Pattern was fully matched, extra elements are OK\n          return {\n            valid: true,\n            startIndex: 0,\n            endIndex:\n              lastAcceptStateIndex >= 0 ? lastAcceptStateIndex : lastValidIndex,\n          };\n        }\n\n        return {\n          valid: false,\n          error: `Unexpected element '${element}' at position ${\n            elementIndex + 1\n          }. Pattern does not match.`,\n          startIndex: 0,\n          endIndex: lastValidIndex,\n        };\n      }\n\n      // If we're in an accept state and the element matches, check if matching it\n      // leads to a state that can eventually complete the pattern\n      if (isInAcceptState) {\n        // Check if any of the next states are accept states, or can reach accept states\n        // via epsilon transitions (which we already did with epsilonClosure)\n        // If matching this element doesn't immediately lead to an accept state,\n        // it might still be valid if it's part of a larger pattern. But if we're\n        // already in an accept state and this element starts a new pattern that\n        // can't complete, we should treat it as extra.\n        // For now, we'll continue matching and let the pattern fail naturally if incomplete.\n        // The key is that we're in an accept state, so if matching fails, we can backtrack.\n        void epsilonClosure(nextStates);\n      }\n\n      currentStates = epsilonClosure(nextStates);\n      // Successfully matched this element\n      lastValidIndex = elementIndex;\n\n      // Check if we're now in an accept state (after matching list or any element)\n      for (const state of currentStates) {\n        if (automaton.acceptStates.has(state)) {\n          lastAcceptStateIndex = elementIndex;\n          break;\n        }\n      }\n    }\n\n    elementIndex++;\n  }\n\n  // Check if any current state is an accept state\n  for (const state of currentStates) {\n    if (automaton.acceptStates.has(state)) {\n      // Complete match - all elements matched\n      return {\n        valid: true,\n        startIndex: 0,\n        endIndex: elements.length - 1,\n      };\n    }\n  }\n\n  // Incomplete match - pattern expects more elements but we've processed all\n  // If we were in an accept state at some point, and the incomplete part started\n  // after that point, treat the incomplete part as extra elements\n  if (lastAcceptStateIndex >= 0 && lastValidIndex > lastAcceptStateIndex) {\n    // We were in an accept state, then matched more elements that didn't complete\n    // Treat this as a complete match with extra elements\n    return {\n      valid: true,\n      startIndex: 0,\n      endIndex: lastAcceptStateIndex,\n    };\n  }\n\n  return {\n    valid: false,\n    error: `Pattern matching incomplete. Expected more elements after position ${elementIndex}.`,\n    startIndex: 0,\n    endIndex: lastValidIndex,\n  };\n}\n"],"mappings":"AAaA,SAASA,cAAc,QAAQ,aAAa;AAS5C,SAASC,oBAAoBA,CAACC,OAAqB,EAAqB;EACtE,MAAMC,UAAU,GAAGD,OAAiB;EACpC,IAAI,CAACC,UAAU,CAACC,UAAU,CAAC,OAAO,CAAC,EAAE;IACnC,OAAO,IAAI;EACb;EAEA,MAAMC,SAAS,GAAGF,UAAU,CAACG,KAAK,CAAC,gBAAgB,CAAC;EACpD,IAAI,CAACD,SAAS,EAAE;IACd,OAAO,IAAI;EACb;EAEA,MAAME,OAAO,GAAGF,SAAS,CAAC,CAAC,CAAC;EAC5B,MAAMG,KAAiB,GAAG,EAAE;EAC5B,IAAIC,CAAC,GAAG,CAAC;;EAET;EACA,OAAOA,CAAC,GAAGF,OAAO,CAACG,MAAM,EAAE;IACzB,IAAIH,OAAO,CAACE,CAAC,CAAC,KAAK,GAAG,EAAE;MACtBA,CAAC,EAAE,CAAC,CAAC;MACL,IAAIE,KAAK,GAAG,CAAC;MACb,IAAIC,WAAW,GAAG,EAAE;MAEpB,OAAOH,CAAC,GAAGF,OAAO,CAACG,MAAM,IAAIC,KAAK,GAAG,CAAC,EAAE;QACtC,IAAIJ,OAAO,CAACE,CAAC,CAAC,KAAK,GAAG,EAAE;UACtBE,KAAK,EAAE;QACT;QACA,IAAIJ,OAAO,CAACE,CAAC,CAAC,KAAK,GAAG,EAAE;UACtBE,KAAK,EAAE;QACT;QACA,IAAIA,KAAK,GAAG,CAAC,EAAE;UACbC,WAAW,IAAIL,OAAO,CAACE,CAAC,CAAC;QAC3B;QACAA,CAAC,EAAE;MACL;MAEA,MAAMI,QAAQ,GAAGD,WAAW,CACzBE,KAAK,CAAC,GAAG,CAAC,CACVC,GAAG,CAAEC,CAAC,IAAKA,CAAC,CAACC,IAAI,CAAC,CAAC,CAAC,CACpBC,MAAM,CAAEF,CAAC,IAAKA,CAAC,CAAC;MACnB,IAAIH,QAAQ,CAACH,MAAM,GAAG,CAAC,EAAE;QACvBF,KAAK,CAACW,IAAI,CAACN,QAAQ,CAAC;MACtB;IACF,CAAC,MAAM;MACLJ,CAAC,EAAE;IACL;EACF;EAEA,OAAOD,KAAK,CAACE,MAAM,GAAG,CAAC,GAAGF,KAAK,GAAG,IAAI;AACxC;AAEA,SAASY,mBAAmBA,CAC1BC,IAAiB,EAC4B;EAC7C;EACA;EACA,MAAMC,YAAY,GAAG,IAAIC,GAAG,CAAyC,CAAC;EAEtE,SAASC,QAAQA,CAACC,CAAc,EAAQ;IACtC,IAAIA,CAAC,CAACC,IAAI,KAAK,MAAM,EAAE;MACrB;MACA,MAAMC,GAAG,GAAG,MAAM;MAClB,IAAI,CAACL,YAAY,CAACM,GAAG,CAACD,GAAG,CAAC,EAAE;QAC1BL,YAAY,CAACO,GAAG,CAACF,GAAG,EAAEF,CAAC,CAAC;MAC1B;IACF,CAAC,MAAM,IAAIA,CAAC,CAACC,IAAI,KAAK,UAAU,EAAE;MAChCD,CAAC,CAACK,QAAQ,CAACC,OAAO,CAACP,QAAQ,CAAC;IAC9B,CAAC,MAAM,IAAIC,CAAC,CAACC,IAAI,KAAK,aAAa,EAAE;MACnCD,CAAC,CAACO,OAAO,CAACD,OAAO,CAACP,QAAQ,CAAC;IAC7B,CAAC,MAAM,IAAIC,CAAC,CAACC,IAAI,KAAK,OAAO,EAAE;MAC7BF,QAAQ,CAACC,CAAC,CAACQ,OAAO,CAAC;IACrB;EACF;EAEAT,QAAQ,CAACH,IAAI,CAAC;EACd,OAAOC,YAAY;AACrB;AAEA,SAASY,iBAAiBA,CACxB1B,KAAiB,EACjB2B,SAA0C,EAC1CC,aAA2B,EAC3BC,aAAwC,EAC3B;EACb;EACA,IAAIF,SAAS,EAAE;IACb,MAAMG,GAAG,GAAGH,SAAS,CAACG,GAAG,IAAI,CAAC;IAC9B,MAAMC,GAAG,GAAGJ,SAAS,CAACI,GAAG,IAAIC,QAAQ;IACrC,IAAIhC,KAAK,CAACE,MAAM,GAAG4B,GAAG,IAAI9B,KAAK,CAACE,MAAM,GAAG6B,GAAG,EAAE;MAC5C,MAAME,MAAM,GAAGH,GAAG,KAAK,CAAC,GAAG,GAAG,GAAGA,GAAG,CAACI,QAAQ,CAAC,CAAC;MAC/C,MAAMC,MAAM,GAAGJ,GAAG,KAAKC,QAAQ,GAAG,WAAW,GAAGD,GAAG,CAACG,QAAQ,CAAC,CAAC;MAC9D,MAAME,QAAQ,GACZN,GAAG,KAAKC,GAAG,GAAG,WAAWD,GAAG,EAAE,GAAG,WAAWG,MAAM,QAAQE,MAAM,EAAE;MACpE,OAAO;QACLE,KAAK,EAAE,KAAK;QACZC,KAAK,EAAE,YAAYF,QAAQ,2BAA2BpC,KAAK,CAACE,MAAM,QAAQ;QAC1EqC,UAAU,EAAE,CAAC;QACbC,QAAQ,EAAE,CAAC;MACb,CAAC;IACH;EACF;;EAEA;EACA,IAAIZ,aAAa,EAAE;IACjB,KAAK,IAAI3B,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGD,KAAK,CAACE,MAAM,EAAED,CAAC,EAAE,EAAE;MACrC,MAAMwC,YAAY,GAAGZ,aAAa,oBAAbA,aAAa,CAAG5B,CAAC,CAAC;MACvC,MAAMyC,MAAM,GAAGC,qBAAqB,CAClC3C,KAAK,CAACC,CAAC,CAAC,EACR2B,aAAa,EACb3B,CAAC,EACDwC,YACF,CAAC;MACD,IAAI,CAACC,MAAM,CAACL,KAAK,EAAE;QACjB,OAAOK,MAAM;MACf;IACF;EACF;EAEA,OAAO;IACLL,KAAK,EAAE,IAAI;IACXE,UAAU,EAAE,CAAC;IACbC,QAAQ,EAAExC,KAAK,CAACE,MAAM,GAAG,CAAC,GAAGF,KAAK,CAACE,MAAM,GAAG,CAAC,GAAG,CAAC;EACnD,CAAC;AACH;AAEA,SAASyC,qBAAqBA,CAC5BC,IAAc,EACdnB,OAAoB,EACpBoB,SAAiB,EACjBJ,YAAqC,EACxB;EACb;EACA,MAAMK,SAAS,GAAGtD,cAAc,CAACiC,OAAO,CAAC;EAEzC,IAAIsB,OAAgB;EACpB,IAAIN,YAAY,EAAE;IAChB;IACA,MAAMO,WAAW,GAAGlD,KAAK,CAACgD,SAAS,EAAEL,YAAY,EAAEhB,OAAO,CAAC;IAC3D;IACAsB,OAAO,GACLC,WAAW,CAACX,KAAK,IAAIW,WAAW,CAACR,QAAQ,KAAKC,YAAY,CAACvC,MAAM,GAAG,CAAC;EACzE,CAAC,MAAM;IACL;IACA6C,OAAO,GAAGE,WAAW,CAACH,SAAS,EAAEF,IAAsB,CAAC;EAC1D;EAEA,IAAI,CAACG,OAAO,EAAE;IACZ,MAAMG,UAAU,GAAGC,iBAAiB,CAAC1B,OAAO,CAAC;IAC7C,OAAO;MACLY,KAAK,EAAE,KAAK;MACZC,KAAK,EAAE,SAASO,SAAS,GAAG,CAAC,KAAKD,IAAI,CAACQ,IAAI,CACzC,IACF,CAAC,sCAAsCF,UAAU,EAAE;MACnDX,UAAU,EAAE,CAAC;MACbC,QAAQ,EAAE,CAAC;IACb,CAAC;EACH;EAEA,OAAO;IACLH,KAAK,EAAE,IAAI;IACXE,UAAU,EAAE,CAAC;IACbC,QAAQ,EAAEI,IAAI,CAAC1C,MAAM,GAAG,CAAC,GAAG0C,IAAI,CAAC1C,MAAM,GAAG,CAAC,GAAG,CAAC;EACjD,CAAC;AACH;AAEA,SAASiD,iBAAiBA,CAACtC,IAAiB,EAAU;EACpD,QAAQA,IAAI,CAACK,IAAI;IACf,KAAK,SAAS;MACZ,OAAOL,IAAI,CAACnB,OAAO,GAAG2D,gBAAgB,CAACxC,IAAI,CAACyC,UAAU,CAAC;IACzD,KAAK,UAAU;MACb,OAAOzC,IAAI,CAACS,QAAQ,CAACf,GAAG,CAAC4C,iBAAiB,CAAC,CAACC,IAAI,CAAC,KAAK,CAAC;IACzD,KAAK,aAAa;MAChB,OAAOvC,IAAI,CAACW,OAAO,CAACjB,GAAG,CAAC4C,iBAAiB,CAAC,CAACC,IAAI,CAAC,KAAK,CAAC;IACxD,KAAK,OAAO;MACV,OACE,GAAG,GACHD,iBAAiB,CAACtC,IAAI,CAACY,OAAO,CAAC,GAC/B,GAAG,GACH4B,gBAAgB,CAACxC,IAAI,CAACyC,UAAU,CAAC;IAErC,KAAK,MAAM;MACT,OAAO,WAAW;IACpB;MACE,OAAO,GAAG;EACd;AACF;AAEA,SAASD,gBAAgBA,CAACC,UAIzB,EAAU;EACT,IAAI,CAACA,UAAU,EAAE;IACf,OAAO,EAAE;EACX;EACA,QAAQA,UAAU,CAACC,IAAI;IACrB,KAAK,MAAM;MACT,OAAO,GAAG;IACZ,KAAK,MAAM;MACT,OAAO,GAAG;IACZ,KAAK,UAAU;MACb,OAAO,GAAG;IACZ,KAAK,OAAO;MACV,OAAO,IAAID,UAAU,CAACxB,GAAG,GAAG;IAC9B,KAAK,OAAO;MACV,IAAIwB,UAAU,CAACxB,GAAG,KAAK0B,SAAS,EAAE;QAChC,OAAO,KAAKF,UAAU,CAACvB,GAAG,GAAG;MAC/B;MACA,IAAIuB,UAAU,CAACvB,GAAG,KAAKyB,SAAS,EAAE;QAChC,OAAO,IAAIF,UAAU,CAACxB,GAAG,IAAI;MAC/B;MACA,OAAO,IAAIwB,UAAU,CAACxB,GAAG,IAAIwB,UAAU,CAACvB,GAAG,GAAG;IAChD;MACE,OAAO,EAAE;EACb;AACF;AAEA,SAASkB,WAAWA,CAACH,SAAoB,EAAEzC,QAAwB,EAAW;EAC5E,SAASoD,cAAcA,CAACC,QAAqB,EAAe;IAC1D,MAAMC,OAAO,GAAG,IAAIC,GAAG,CAACF,QAAQ,CAAC;IACjC,MAAMG,KAAK,GAAGC,KAAK,CAACC,IAAI,CAACL,QAAQ,CAAC;IAElC,OAAOG,KAAK,CAAC3D,MAAM,GAAG,CAAC,EAAE;MACvB,MAAM8D,KAAK,GAAGH,KAAK,CAACI,GAAG,CAAC,CAAE;MAC1B,KAAK,MAAMC,UAAU,IAAIpB,SAAS,CAACqB,WAAW,EAAE;QAC9C,IACED,UAAU,CAACH,IAAI,KAAKC,KAAK,IACzBE,UAAU,CAACE,SAAS,CAACb,IAAI,KAAK,SAAS,IACvC,CAACI,OAAO,CAACvC,GAAG,CAAC8C,UAAU,CAACG,EAAE,CAAC,EAC3B;UACAV,OAAO,CAACW,GAAG,CAACJ,UAAU,CAACG,EAAE,CAAC;UAC1BR,KAAK,CAAClD,IAAI,CAACuD,UAAU,CAACG,EAAE,CAAC;QAC3B;MACF;IACF;IAEA,OAAOV,OAAO;EAChB;EAEA,SAASY,aAAaA,CACpBC,aAA0B,EAC1B9E,OAAqB,EACR;IACb,MAAM+E,UAAU,GAAG,IAAIb,GAAG,CAAS,CAAC;IAEpC,KAAK,MAAMI,KAAK,IAAIQ,aAAa,EAAE;MACjC,KAAK,MAAMN,UAAU,IAAIpB,SAAS,CAACqB,WAAW,EAAE;QAC9C,IACED,UAAU,CAACH,IAAI,KAAKC,KAAK,IACzBU,gBAAgB,CAACR,UAAU,CAACE,SAAS,EAAE1E,OAAO,CAAC,EAC/C;UACA+E,UAAU,CAACH,GAAG,CAACJ,UAAU,CAACG,EAAE,CAAC;QAC/B;MACF;IACF;IAEA,OAAOI,UAAU;EACnB;EAEA,SAASC,gBAAgBA,CACvBN,SAA8B,EAC9B1E,OAAqB,EACZ;IACT,IAAI0E,SAAS,CAACb,IAAI,KAAK,SAAS,EAAE;MAChC,OAAOa,SAAS,CAAC1E,OAAO,KAAKA,OAAO;IACtC;IACA,OAAO,KAAK;EACd;EAEA,IAAI8E,aAAa,GAAGf,cAAc,CAAC,IAAIG,GAAG,CAAC,CAACd,SAAS,CAAC6B,UAAU,CAAC,CAAC,CAAC;EAEnE,KAAK,MAAMjF,OAAO,IAAIW,QAAQ,EAAE;IAC9B,MAAMoE,UAAU,GAAGF,aAAa,CAACC,aAAa,EAAE9E,OAAO,CAAC;IACxD,IAAI+E,UAAU,CAACG,IAAI,KAAK,CAAC,EAAE;MACzB,OAAO,KAAK;IACd;IACAJ,aAAa,GAAGf,cAAc,CAACgB,UAAU,CAAC;EAC5C;EAEA,KAAK,MAAMT,KAAK,IAAIQ,aAAa,EAAE;IACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;MACrC,OAAO,IAAI;IACb;EACF;EAEA,OAAO,KAAK;AACd;AAEA,SAASc,sBAAsBA,CAC7BC,QAAkC,EAClCC,aAA8B,EACrB;EACT,IAAI,CAACD,QAAQ,EAAE;IACb;IACA,OAAOC,aAAa,CAAC9E,MAAM,KAAK,CAAC;EACnC;;EAEA;EACA,MAAM+E,cAAkD,GAAG;IACzDC,GAAG,EAAEH,QAAQ,CAACG,GAAG;IACjBC,QAAQ,EAAEJ,QAAQ,CAACI,QAAQ;IAC3BC,QAAQ,EAAEL,QAAQ,CAACK,QAAQ;IAC3BC,UAAU,EAAEN,QAAQ,CAACM,UAAU;IAC/BC,QAAQ,EAAEP,QAAQ,CAACO;EACrB,CAAC;;EAED;EACA,KAAK,MAAMC,IAAI,IAAIP,aAAa,EAAE;IAChC,MAAMQ,KAAK,GAAGP,cAAc,CAACM,IAAI,CAACpE,GAAG,CAAC;IAEtC,QAAQoE,IAAI,CAACE,QAAQ;MACnB,KAAK,QAAQ;QACX;QACA,IAAID,KAAK,KAAKhC,SAAS,EAAE;UACvB,OAAO,KAAK;QACd;QACA;MACF,KAAK,QAAQ;QACX;QACA,IAAI+B,IAAI,CAACpE,GAAG,KAAK,YAAY,EAAE;UAAA,IAAAuE,WAAA;UAC7B,IAAI,CAAAF,KAAK,oBAALA,KAAK,CAAEG,WAAW,CAAC,CAAC,QAAAD,WAAA,GAAKH,IAAI,CAACC,KAAK,qBAAVE,WAAA,CAAYC,WAAW,CAAC,CAAC,GAAE;YACtD,OAAO,KAAK;UACd;QACF,CAAC,MAAM,IAAIH,KAAK,KAAKD,IAAI,CAACC,KAAK,EAAE;UAC/B,OAAO,KAAK;QACd;QACA;MACF,KAAK,UAAU;QACb;QACA,IAAIA,KAAK,KAAKhC,SAAS,IAAI,CAAC+B,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAACI,QAAQ,CAACL,IAAI,CAACC,KAAK,CAAC,EAAE;UACrE,OAAO,KAAK;QACd;QACA;MACF,KAAK,YAAY;QACf;QACA,IACEA,KAAK,KAAKhC,SAAS,IACnB,CAAC+B,IAAI,CAACC,KAAK,IACX,CAACA,KAAK,CAAC5F,UAAU,CAAC2F,IAAI,CAACC,KAAK,CAAC,EAC7B;UACA,OAAO,KAAK;QACd;QACA;MACF,KAAK,UAAU;QACb;QACA,IAAIA,KAAK,KAAKhC,SAAS,IAAI,CAAC+B,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAACK,QAAQ,CAACN,IAAI,CAACC,KAAK,CAAC,EAAE;UACrE,OAAO,KAAK;QACd;QACA;IACJ;EACF;EAEA,OAAO,IAAI;AACb;AAEA,SAASM,uBAAuBA,CAC9Bf,QAAmC,EACnCC,aAA+B,EACtB;EACT,IAAI,CAACD,QAAQ,EAAE;IACb,OAAOC,aAAa,CAAC9E,MAAM,KAAK,CAAC;EACnC;EAEA,MAAM+E,cAAkD,GAAG;IACzDc,GAAG,EAAEhB,QAAQ,CAACgB,GAAG;IACjBC,GAAG,EAAEjB,QAAQ,CAACiB,GAAG;IACjBzC,IAAI,EAAEwB,QAAQ,CAACxB;EACjB,CAAC;EAED,KAAK,MAAMgC,IAAI,IAAIP,aAAa,EAAE;IAChC,MAAMQ,KAAK,GAAGP,cAAc,CAACM,IAAI,CAACpE,GAAG,CAAC;IAEtC,QAAQoE,IAAI,CAACE,QAAQ;MACnB,KAAK,QAAQ;QACX,IAAID,KAAK,KAAKhC,SAAS,EAAE;UACvB,OAAO,KAAK;QACd;QACA;MACF,KAAK,QAAQ;QACX,IAAIgC,KAAK,KAAKD,IAAI,CAACC,KAAK,EAAE;UACxB,OAAO,KAAK;QACd;QACA;MACF,KAAK,UAAU;QACb,IAAIA,KAAK,KAAKhC,SAAS,IAAI,CAAC+B,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAACI,QAAQ,CAACL,IAAI,CAACC,KAAK,CAAC,EAAE;UACrE,OAAO,KAAK;QACd;QACA;MACF,KAAK,YAAY;QACf,IACEA,KAAK,KAAKhC,SAAS,IACnB,CAAC+B,IAAI,CAACC,KAAK,IACX,CAACA,KAAK,CAAC5F,UAAU,CAAC2F,IAAI,CAACC,KAAK,CAAC,EAC7B;UACA,OAAO,KAAK;QACd;QACA;MACF,KAAK,UAAU;QACb,IAAIA,KAAK,KAAKhC,SAAS,IAAI,CAAC+B,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAACK,QAAQ,CAACN,IAAI,CAACC,KAAK,CAAC,EAAE;UACrE,OAAO,KAAK;QACd;QACA;IACJ;EACF;EAEA,OAAO,IAAI;AACb;AAEA,SAASS,6BAA6BA,CACpClB,QAA4C,EAC5CC,aAAqC,EAC5B;EACT,IAAI,CAACD,QAAQ,EAAE;IACb;IACA,OAAOC,aAAa,CAAC9E,MAAM,KAAK,CAAC;EACnC;;EAEA;EACA,KAAK,MAAMqF,IAAI,IAAIP,aAAa,EAAE;IAChC,MAAMQ,KAAK,GAAGT,QAAQ,CAACQ,IAAI,CAACpE,GAAG,CAAC;IAEhC,QAAQoE,IAAI,CAACE,QAAQ;MACnB,KAAK,QAAQ;QACX;QACA,IAAI,EAAEF,IAAI,CAACpE,GAAG,IAAI4D,QAAQ,CAAC,EAAE;UAC3B,OAAO,KAAK;QACd;QACA;MACF,KAAK,QAAQ;QACX;QACA,IAAIS,KAAK,KAAKD,IAAI,CAACC,KAAK,EAAE;UACxB,OAAO,KAAK;QACd;QACA;MACF,KAAK,UAAU;QACb;QACA,IAAI,CAACA,KAAK,IAAI,CAACD,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAACI,QAAQ,CAACL,IAAI,CAACC,KAAK,CAAC,EAAE;UACxD,OAAO,KAAK;QACd;QACA;MACF,KAAK,YAAY;QACf;QACA,IAAI,CAACA,KAAK,IAAI,CAACD,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAAC5F,UAAU,CAAC2F,IAAI,CAACC,KAAK,CAAC,EAAE;UAC1D,OAAO,KAAK;QACd;QACA;MACF,KAAK,UAAU;QACb;QACA,IAAI,CAACA,KAAK,IAAI,CAACD,IAAI,CAACC,KAAK,IAAI,CAACA,KAAK,CAACK,QAAQ,CAACN,IAAI,CAACC,KAAK,CAAC,EAAE;UACxD,OAAO,KAAK;QACd;QACA;IACJ;EACF;EAEA,OAAO,IAAI;AACb;;AAEA;AACA;AACA;AACA;AACA,OAAO,SAASU,kBAAkBA,CAChCC,eAAqC,EACrCC,IAAmB,EACV;EACT;EACA,MAAMC,WAAW,GAAIF,eAAe,CAACzG,OAAO,CAAYE,UAAU,CAAC,MAAM,CAAC,GACtE,MAAM,GACNuG,eAAe,CAACzG,OAAO;EAE3B,IAAI2G,WAAW,KAAKD,IAAI,CAAC1G,OAAO,EAAE;IAChC,OAAO,KAAK;EACd;EAEA,IAAI0G,IAAI,CAACE,gBAAgB,EAAE;IACzB,OAAOL,6BAA6B,CAClCE,eAAe,CAACI,mBAAmB,EACnCH,IAAI,CAACE,gBACP,CAAC;EACH;EACA,IAAIF,IAAI,CAACI,SAAS,EAAE;IAClB,OAAO1B,sBAAsB,CAACqB,eAAe,CAACM,YAAY,EAAEL,IAAI,CAACI,SAAS,CAAC;EAC7E;EACA,IAAIJ,IAAI,CAACM,UAAU,EAAE;IACnB,OAAOZ,uBAAuB,CAC5BK,eAAe,CAACQ,aAAa,EAC7BP,IAAI,CAACM,UACP,CAAC;EACH;EAEA,OAAO,IAAI;AACb;AAEA,OAAO,SAAS5G,KAAKA,CACnBgD,SAAoB,EACpBzC,QAAgC,EAChCuG,GAAiB,EACJ;EACb,SAASnD,cAAcA,CAACC,QAAqB,EAAe;IAC1D,MAAMC,OAAO,GAAG,IAAIC,GAAG,CAACF,QAAQ,CAAC;IACjC,MAAMG,KAAK,GAAGC,KAAK,CAACC,IAAI,CAACL,QAAQ,CAAC;IAElC,OAAOG,KAAK,CAAC3D,MAAM,GAAG,CAAC,EAAE;MACvB,MAAM8D,KAAK,GAAGH,KAAK,CAACI,GAAG,CAAC,CAAE;MAC1B,KAAK,MAAMC,UAAU,IAAIpB,SAAS,CAACqB,WAAW,EAAE;QAC9C,IACED,UAAU,CAACH,IAAI,KAAKC,KAAK,IACzBE,UAAU,CAACE,SAAS,CAACb,IAAI,KAAK,SAAS,IACvC,CAACI,OAAO,CAACvC,GAAG,CAAC8C,UAAU,CAACG,EAAE,CAAC,EAC3B;UACAV,OAAO,CAACW,GAAG,CAACJ,UAAU,CAACG,EAAE,CAAC;UAC1BR,KAAK,CAAClD,IAAI,CAACuD,UAAU,CAACG,EAAE,CAAC;QAC3B;MACF;IACF;IAEA,OAAOV,OAAO;EAChB;EAEA,SAASY,aAAaA,CACpBC,aAA0B,EAC1B2B,eAAqC,EACrCU,WAAyB,EACZ;IACb,MAAMpC,UAAU,GAAG,IAAIb,GAAG,CAAS,CAAC;IAEpC,KAAK,MAAMI,KAAK,IAAIQ,aAAa,EAAE;MACjC,KAAK,MAAMN,UAAU,IAAIpB,SAAS,CAACqB,WAAW,EAAE;QAC9C,IACED,UAAU,CAACH,IAAI,KAAKC,KAAK,IACzBU,gBAAgB,CAACR,UAAU,CAACE,SAAS,EAAE+B,eAAe,EAAEU,WAAW,CAAC,EACpE;UACApC,UAAU,CAACH,GAAG,CAACJ,UAAU,CAACG,EAAE,CAAC;QAC/B;MACF;IACF;IAEA,OAAOI,UAAU;EACnB;EAEA,SAASC,gBAAgBA,CACvBN,SAA8B,EAC9B+B,eAAqC,EACrCW,YAA0B,EACjB;IACT,IAAI1C,SAAS,CAACb,IAAI,KAAK,SAAS,EAAE;MAChC,MAAM7D,OAAO,GAAGyG,eAAe,CAACzG,OAAO;;MAEvC;MACA,IAAI0E,SAAS,CAAC1E,OAAO,KAAKA,OAAO,EAAE;QACjC,OAAO,KAAK;MACd;;MAEA;MACA,IAAIA,OAAO,KAAK,cAAc,IAAI0E,SAAS,CAACkC,gBAAgB,EAAE;QAC5D,OAAOL,6BAA6B,CAClCE,eAAe,CAACI,mBAAmB,EACnCnC,SAAS,CAACkC,gBACZ,CAAC;MACH;;MAEA;MACA,IAAI5G,OAAO,KAAK,MAAM,IAAI0E,SAAS,CAACoC,SAAS,EAAE;QAC7C,OAAO1B,sBAAsB,CAC3BqB,eAAe,CAACM,YAAY,EAC5BrC,SAAS,CAACoC,SACZ,CAAC;MACH;;MAEA;MACA,IAAI9G,OAAO,KAAK,OAAO,IAAI0E,SAAS,CAACsC,UAAU,EAAE;QAC/C,OAAOZ,uBAAuB,CAC5BK,eAAe,CAACQ,aAAa,EAC7BvC,SAAS,CAACsC,UACZ,CAAC;MACH;MAEA,OAAO,IAAI;IACb;IACA,OAAO,KAAK;EACd;;EAEA;EACA,SAASK,6BAA6BA,CACpCV,WAAyB,EACzB5E,OAAoB,EACL;IACf,MAAMuF,OAAsB,GAAG,EAAE;IACjC,SAAShG,QAAQA,CAACH,IAAiB,EAAQ;MACzC,IAAIA,IAAI,CAACK,IAAI,KAAK,SAAS,IAAIL,IAAI,CAACnB,OAAO,KAAK2G,WAAW,EAAE;QAC3DW,OAAO,CAACrG,IAAI,CAACE,IAAI,CAAC;MACpB;MACA,IAAIA,IAAI,CAACK,IAAI,KAAK,UAAU,EAAE;QAC5B,KAAK,MAAM+F,KAAK,IAAIpG,IAAI,CAACS,QAAQ,EAAE;UACjCN,QAAQ,CAACiG,KAAK,CAAC;QACjB;MACF;MACA,IAAIpG,IAAI,CAACK,IAAI,KAAK,aAAa,EAAE;QAC/B,KAAK,MAAMgG,MAAM,IAAIrG,IAAI,CAACW,OAAO,EAAE;UACjCR,QAAQ,CAACkG,MAAM,CAAC;QAClB;MACF;MACA,IAAIrG,IAAI,CAACK,IAAI,KAAK,OAAO,EAAE;QACzBF,QAAQ,CAACH,IAAI,CAACY,OAAO,CAAC;MACxB;IACF;IACAT,QAAQ,CAACS,OAAO,CAAC;IACjB,OAAOuF,OAAO;EAChB;;EAEA;EACA;EACA,SAASG,yBAAyBA,CAChCd,WAAyB,EACzB5E,OAAoB,EACpB0E,eAAqC,EACZ;IACzB,MAAMiB,aAAa,GAAGL,6BAA6B,CAACV,WAAW,EAAE5E,OAAO,CAAC;IACzE,IAAI2F,aAAa,CAAClH,MAAM,KAAK,CAAC,EAAE;MAC9B,OAAOsD,SAAS;IAClB;IACA,IAAI4D,aAAa,CAAClH,MAAM,KAAK,CAAC,EAAE;MAC9B,OAAOkH,aAAa,CAAC,CAAC,CAAC;IACzB;IACA;IACA,IAAIf,WAAW,KAAK,cAAc,IAAIF,eAAe,CAACI,mBAAmB,EAAE;MACzE,KAAK,MAAM1F,IAAI,IAAIuG,aAAa,EAAE;QAChC,IAAIvG,IAAI,CAACK,IAAI,KAAK,SAAS,IAAIL,IAAI,CAACyF,gBAAgB,EAAE;UACpD,IACEL,6BAA6B,CAC3BE,eAAe,CAACI,mBAAmB,EACnC1F,IAAI,CAACyF,gBACP,CAAC,EACD;YACA,OAAOzF,IAAI;UACb;QACF;MACF;IACF;IACA;IACA,IAAIwF,WAAW,KAAK,MAAM,IAAIF,eAAe,CAACM,YAAY,EAAE;MAC1D,KAAK,MAAM5F,IAAI,IAAIuG,aAAa,EAAE;QAChC,IAAIvG,IAAI,CAACK,IAAI,KAAK,SAAS,IAAIL,IAAI,CAAC2F,SAAS,EAAE;UAC7C,IACE1B,sBAAsB,CAACqB,eAAe,CAACM,YAAY,EAAE5F,IAAI,CAAC2F,SAAS,CAAC,EACpE;YACA,OAAO3F,IAAI;UACb;QACF;MACF;IACF;IACA;IACA,IAAIwF,WAAW,KAAK,OAAO,IAAIF,eAAe,CAACQ,aAAa,EAAE;MAC5D,KAAK,MAAM9F,IAAI,IAAIuG,aAAa,EAAE;QAChC,IAAIvG,IAAI,CAACK,IAAI,KAAK,SAAS,IAAIL,IAAI,CAAC6F,UAAU,EAAE;UAC9C,IACEZ,uBAAuB,CACrBK,eAAe,CAACQ,aAAa,EAC7B9F,IAAI,CAAC6F,UACP,CAAC,EACD;YACA,OAAO7F,IAAI;UACb;QACF;MACF;IACF;IACA;IACA,OAAOuG,aAAa,CAAC,CAAC,CAAC;EACzB;;EAEA;EACA;EACA,MAAMtG,YAAY,GAAG8F,GAAG,GAAGhG,mBAAmB,CAACgG,GAAG,CAAC,GAAG,IAAI7F,GAAG,CAAC,CAAC;EAC/D,MAAMsG,kBAAkB,GAAGvG,YAAY,CAACwG,GAAG,CAAC,MAAM,CAAC;EAEnD,IAAI9C,aAAa,GAAGf,cAAc,CAAC,IAAIG,GAAG,CAAC,CAACd,SAAS,CAAC6B,UAAU,CAAC,CAAC,CAAC;EACnE,IAAI4C,YAAY,GAAG,CAAC;EACpB,IAAIC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC;EACzB,IAAIC,oBAAoB,GAAG,CAAC,CAAC,CAAC,CAAC;;EAE/B;EACA,IAAIpH,QAAQ,CAACH,MAAM,KAAK,CAAC,EAAE;IACzB;IACA,KAAK,MAAM8D,KAAK,IAAIQ,aAAa,EAAE;MACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;QACrC,OAAO;UAAE3B,KAAK,EAAE,IAAI;UAAEE,UAAU,EAAE,CAAC;UAAEC,QAAQ,EAAE,CAAC;QAAE,CAAC;MACrD;IACF;IACA,OAAO;MACLH,KAAK,EAAE,KAAK;MACZC,KAAK,EAAE,oCAAoC;MAC3CC,UAAU,EAAE,CAAC;MACbC,QAAQ,EAAE,CAAC;IACb,CAAC;EACH;EAEA,KAAK,MAAM2D,eAAe,IAAI9F,QAAQ,EAAE;IACtC;IACA;IACA,IAAIqH,eAAe,GAAG,KAAK;IAC3B,KAAK,MAAM1D,KAAK,IAAIQ,aAAa,EAAE;MACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;QACrC0D,eAAe,GAAG,IAAI;QACtB;MACF;IACF;;IAEA;IACA;IACA;IACA,MAAMC,sBAAsB,GAC1BF,oBAAoB,IAAI,CAAC,IAAIF,YAAY,GAAGE,oBAAoB;IAElE,MAAM/H,OAAO,GAAGyG,eAAe,CAACzG,OAAO;IACvC;IACA,MAAMkI,SAAS,GAAGnI,oBAAoB,CAACC,OAAO,CAAC;IAC/C,IAAIkI,SAAS,KAAK,IAAI,IAAIP,kBAAkB,EAAE;MAC5C;MACA,MAAMQ,gBAAgB,GAAGnG,iBAAiB,CACxCkG,SAAS,EACTP,kBAAkB,CAAC1F,SAAS,EAC5B0F,kBAAkB,CAACzF,aAAa,EAChCuE,eAAe,CAAC2B,iBAClB,CAAC;MACD,IAAI,CAACD,gBAAgB,CAACxF,KAAK,EAAE;QAC3B,OAAO;UACLA,KAAK,EAAE,KAAK;UACZC,KAAK,EAAE,oBAAoBiF,YAAY,GAAG,CAAC,uBACzCM,gBAAgB,CAACvF,KAAK,EACtB;UACFC,UAAU,EAAE,CAAC;UACbC,QAAQ,EAAEgF;QACZ,CAAC;MACH;;MAEA;MACA,MAAMO,eAAe,GAAGnB,GAAG,GACvBO,yBAAyB,CAAC,MAAM,EAAEP,GAAG,EAAE;QACrClH,OAAO,EAAE,MAAM;QACfsI,YAAY,EAAE7B,eAAe,CAAC6B;MAChC,CAAC,CAAC,GACFxE,SAAS;MACb,MAAMiB,UAAU,GAAGF,aAAa,CAC9BC,aAAa,EACb;QAAE9E,OAAO,EAAE,MAAM;QAAEsI,YAAY,EAAE7B,eAAe,CAAC6B;MAAa,CAAC,EAC/DD,eACF,CAAC;MACD,IAAItD,UAAU,CAACG,IAAI,KAAK,CAAC,EAAE;QACzB;QACA,IAAI8C,eAAe,IAAIC,sBAAsB,EAAE;UAC7C;UACA,OAAO;YACLtF,KAAK,EAAE,IAAI;YACXE,UAAU,EAAE,CAAC;YACbC,QAAQ,EACNiF,oBAAoB,IAAI,CAAC,GAAGA,oBAAoB,GAAGD;UACvD,CAAC;QACH;QAEA,OAAO;UACLnF,KAAK,EAAE,KAAK;UACZC,KAAK,EAAE,+BACLiF,YAAY,GAAG,CAAC,wCACsB;UACxChF,UAAU,EAAE,CAAC;UACbC,QAAQ,EAAEgF;QACZ,CAAC;MACH;MACAhD,aAAa,GAAGf,cAAc,CAACgB,UAAU,CAAC;MAC1C;MACA+C,cAAc,GAAGD,YAAY;;MAE7B;MACA,KAAK,MAAMvD,KAAK,IAAIQ,aAAa,EAAE;QACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;UACrCyD,oBAAoB,GAAGF,YAAY;UACnC;QACF;MACF;IACF,CAAC,MAAM,IAAIK,SAAS,KAAK,IAAI,EAAE;MAC7B;MACA,MAAMG,eAAe,GAAGnB,GAAG,GACvBO,yBAAyB,CAAC,MAAM,EAAEP,GAAG,EAAE;QACrClH,OAAO,EAAE,MAAM;QACfsI,YAAY,EAAE7B,eAAe,CAAC6B;MAChC,CAAC,CAAC,GACFxE,SAAS;MACb,MAAMiB,UAAU,GAAGF,aAAa,CAC9BC,aAAa,EACb;QAAE9E,OAAO,EAAE,MAAM;QAAEsI,YAAY,EAAE7B,eAAe,CAAC6B;MAAa,CAAC,EAC/DD,eACF,CAAC;MACD,IAAItD,UAAU,CAACG,IAAI,KAAK,CAAC,EAAE;QACzB;QACA,IAAI8C,eAAe,IAAIC,sBAAsB,EAAE;UAC7C;UACA,OAAO;YACLtF,KAAK,EAAE,IAAI;YACXE,UAAU,EAAE,CAAC;YACbC,QAAQ,EACNiF,oBAAoB,IAAI,CAAC,GAAGA,oBAAoB,GAAGD;UACvD,CAAC;QACH;QAEA,OAAO;UACLnF,KAAK,EAAE,KAAK;UACZC,KAAK,EAAE,+BACLiF,YAAY,GAAG,CAAC,wCACsB;UACxChF,UAAU,EAAE,CAAC;UACbC,QAAQ,EAAEgF;QACZ,CAAC;MACH;MACAhD,aAAa,GAAGf,cAAc,CAACgB,UAAU,CAAC;MAC1C;MACA+C,cAAc,GAAGD,YAAY;;MAE7B;MACA,KAAK,MAAMvD,KAAK,IAAIQ,aAAa,EAAE;QACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;UACrCyD,oBAAoB,GAAGF,YAAY;UACnC;QACF;MACF;IACF,CAAC,MAAM;MACL;MACA,MAAMU,kBAAkB,GAAGrB,GAAG,GAC1BO,yBAAyB,CAACzH,OAAO,EAAEkH,GAAG,EAAET,eAAe,CAAC,GACxD3C,SAAS;MACb,MAAMiB,UAAU,GAAGF,aAAa,CAC9BC,aAAa,EACb2B,eAAe,EACf8B,kBACF,CAAC;MAED,IAAIxD,UAAU,CAACG,IAAI,KAAK,CAAC,EAAE;QACzB;QACA,IAAI8C,eAAe,IAAIC,sBAAsB,EAAE;UAC7C;UACA,OAAO;YACLtF,KAAK,EAAE,IAAI;YACXE,UAAU,EAAE,CAAC;YACbC,QAAQ,EACNiF,oBAAoB,IAAI,CAAC,GAAGA,oBAAoB,GAAGD;UACvD,CAAC;QACH;QAEA,OAAO;UACLnF,KAAK,EAAE,KAAK;UACZC,KAAK,EAAE,uBAAuB5C,OAAO,iBACnC6H,YAAY,GAAG,CAAC,2BACS;UAC3BhF,UAAU,EAAE,CAAC;UACbC,QAAQ,EAAEgF;QACZ,CAAC;MACH;;MAEA;MACA;MACA,IAAIE,eAAe,EAAE;QACnB;QACA;QACA;QACA;QACA;QACA;QACA;QACA;QACA,KAAKjE,cAAc,CAACgB,UAAU,CAAC;MACjC;MAEAD,aAAa,GAAGf,cAAc,CAACgB,UAAU,CAAC;MAC1C;MACA+C,cAAc,GAAGD,YAAY;;MAE7B;MACA,KAAK,MAAMvD,KAAK,IAAIQ,aAAa,EAAE;QACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;UACrCyD,oBAAoB,GAAGF,YAAY;UACnC;QACF;MACF;IACF;IAEAA,YAAY,EAAE;EAChB;;EAEA;EACA,KAAK,MAAMvD,KAAK,IAAIQ,aAAa,EAAE;IACjC,IAAI1B,SAAS,CAAC+B,YAAY,CAACzD,GAAG,CAAC4C,KAAK,CAAC,EAAE;MACrC;MACA,OAAO;QACL3B,KAAK,EAAE,IAAI;QACXE,UAAU,EAAE,CAAC;QACbC,QAAQ,EAAEnC,QAAQ,CAACH,MAAM,GAAG;MAC9B,CAAC;IACH;EACF;;EAEA;EACA;EACA;EACA,IAAIuH,oBAAoB,IAAI,CAAC,IAAID,cAAc,GAAGC,oBAAoB,EAAE;IACtE;IACA;IACA,OAAO;MACLpF,KAAK,EAAE,IAAI;MACXE,UAAU,EAAE,CAAC;MACbC,QAAQ,EAAEiF;IACZ,CAAC;EACH;EAEA,OAAO;IACLpF,KAAK,EAAE,KAAK;IACZC,KAAK,EAAE,sEAAsEiF,YAAY,GAAG;IAC5FhF,UAAU,EAAE,CAAC;IACbC,QAAQ,EAAEgF;EACZ,CAAC;AACH","ignoreList":[]}

package/dist/esm/patternValidator/parser.js

@@ -0,0 +1,531 @@
+/**
+ * Parses a pattern, returning only the structural pattern node.
+ * A trailing `~ <element>` stop clause is validated but discarded —
+ * callers that only care about pattern structure stay compatible
+ * with patterns that use a stop clause.
+ */
+export function parse(tokens) {
+  return parseWithStop(tokens).pattern;
+}
+export function parseWithStop(tokens) {
+  let position = 0;
+  function current() {
+    return tokens[position];
+  }
+  function peek(offset) {
+    if (offset === void 0) {
+      offset = 1;
+    }
+    return tokens[position + offset] || {
+      type: 'EOF'
+    };
+  }
+  function consume(expected) {
+    if (expected && current().type !== expected) {
+      throw new Error(`Expected ${expected}, got ${current().type}`);
+    }
+    return tokens[position++];
+  }
+
+  // Check if the current LBRACKET starts a quantifier (e.g., [2], [1-3], [-5])
+  // vs an attribute selector (e.g., [entityType], [entityType="value"])
+  function isQuantifierBracket() {
+    if (current().type !== 'LBRACKET') {
+      return false;
+    }
+    const nextToken = peek(1);
+    // Quantifier brackets start with NUMBER or DASH
+    return nextToken.type === 'NUMBER' || nextToken.type === 'DASH';
+  }
+  function parseQuantifier() {
+    if (current().type === 'STAR') {
+      consume('STAR');
+      return {
+        type: 'star',
+        min: 0,
+        max: undefined
+      };
+    }
+    if (current().type === 'PLUS') {
+      consume('PLUS');
+      return {
+        type: 'plus',
+        min: 1,
+        max: undefined
+      };
+    }
+    if (current().type === 'QUESTION') {
+      consume('QUESTION');
+      return {
+        type: 'optional',
+        min: 0,
+        max: 1
+      };
+    }
+    if (current().type === 'LBRACKET') {
+      consume('LBRACKET');
+      if (current().type === 'DASH') {
+        // [-M] means 0 to M
+        consume('DASH');
+        const max = parseInt(consume('NUMBER').value, 10);
+        consume('RBRACKET');
+        return {
+          type: 'range',
+          min: 0,
+          max
+        };
+      }
+      const first = parseInt(consume('NUMBER').value, 10);
+      if (current().type === 'DASH') {
+        consume('DASH');
+        if (current().type === 'RBRACKET') {
+          // [N-] means N or more (open-ended)
+          consume('RBRACKET');
+          return {
+            type: 'range',
+            min: first,
+            max: undefined
+          };
+        }
+        // [N-M] means between N and M
+        const second = parseInt(consume('NUMBER').value, 10);
+        consume('RBRACKET');
+        return {
+          type: 'range',
+          min: first,
+          max: second
+        };
+      }
+      consume('RBRACKET');
+      return {
+        type: 'exact',
+        min: first,
+        max: first
+      };
+    }
+    throw new Error('Expected quantifier');
+  }
+  function parseHtmlCommentAttributes() {
+    const attributes = [];
+
+    // Parse one or more attribute selectors: [key], [key=value], [key*=value], etc.
+    // Stop when we encounter a quantifier bracket (e.g., [2], [1-3])
+    while (current().type === 'LBRACKET' && !isQuantifierBracket()) {
+      consume('LBRACKET');
+
+      // Parse attribute key (identifier or element)
+      let key = '';
+      if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER') {
+        key = current().value;
+        consume();
+      } else {
+        throw new Error(`Expected attribute key, got ${current().type}`);
+      }
+
+      // Check for operator
+      if (current().type === 'EQUALS') {
+        consume('EQUALS');
+        // Check for wildcard
+        if (current().type === 'STAR') {
+          consume('STAR');
+          attributes.push({
+            key,
+            operator: 'exists'
+          });
+        } else {
+          // Parse value (identifier, element, or string)
+          let value = '';
+          if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+            value = current().value;
+            consume();
+          } else {
+            throw new Error(`Expected attribute value, got ${current().type}`);
+          }
+          attributes.push({
+            key,
+            operator: 'equals',
+            value
+          });
+        }
+      } else if (current().type === 'CONTAINS_OP') {
+        consume('CONTAINS_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'contains',
+          value
+        });
+      } else if (current().type === 'STARTS_WITH_OP') {
+        consume('STARTS_WITH_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'startsWith',
+          value
+        });
+      } else if (current().type === 'ENDS_WITH_OP') {
+        consume('ENDS_WITH_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'endsWith',
+          value
+        });
+      } else {
+        // No operator means "exists"
+        attributes.push({
+          key,
+          operator: 'exists'
+        });
+      }
+      consume('RBRACKET');
+    }
+    return attributes;
+  }
+  function parseLinkAttributes() {
+    const attributes = [];
+
+    // Parse one or more attribute selectors: [key], [key=value], [key*=value], etc.
+    // Stop when we encounter a quantifier bracket (e.g., [2], [1-3])
+    while (current().type === 'LBRACKET' && !isQuantifierBracket()) {
+      consume('LBRACKET');
+
+      // Parse attribute key (identifier or element)
+      let key = '';
+      if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER') {
+        key = current().value;
+        consume();
+      } else {
+        throw new Error(`Expected attribute key, got ${current().type}`);
+      }
+
+      // Check for operator
+      if (current().type === 'EQUALS') {
+        consume('EQUALS');
+        // Check for wildcard
+        if (current().type === 'STAR') {
+          consume('STAR');
+          attributes.push({
+            key,
+            operator: 'exists'
+          });
+        } else {
+          // Parse value (identifier, element, or string)
+          let value = '';
+          if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+            value = current().value;
+            consume();
+          } else {
+            throw new Error(`Expected attribute value, got ${current().type}`);
+          }
+          attributes.push({
+            key,
+            operator: 'equals',
+            value
+          });
+        }
+      } else if (current().type === 'CONTAINS_OP') {
+        consume('CONTAINS_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'contains',
+          value
+        });
+      } else if (current().type === 'STARTS_WITH_OP') {
+        consume('STARTS_WITH_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'startsWith',
+          value
+        });
+      } else if (current().type === 'ENDS_WITH_OP') {
+        consume('ENDS_WITH_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'endsWith',
+          value
+        });
+      } else {
+        // No operator means "exists"
+        attributes.push({
+          key,
+          operator: 'exists'
+        });
+      }
+      consume('RBRACKET');
+    }
+    return attributes;
+  }
+  function parseImageAttributes() {
+    const attributes = [];
+    while (current().type === 'LBRACKET' && !isQuantifierBracket()) {
+      consume('LBRACKET');
+      let key = '';
+      if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER') {
+        key = current().value;
+        consume();
+      } else {
+        throw new Error(`Expected attribute key, got ${current().type}`);
+      }
+      if (current().type === 'EQUALS') {
+        consume('EQUALS');
+        if (current().type === 'STAR') {
+          consume('STAR');
+          attributes.push({
+            key,
+            operator: 'exists'
+          });
+        } else {
+          let value = '';
+          if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+            value = current().value;
+            consume();
+          } else {
+            throw new Error(`Expected attribute value, got ${current().type}`);
+          }
+          attributes.push({
+            key,
+            operator: 'equals',
+            value
+          });
+        }
+      } else if (current().type === 'CONTAINS_OP') {
+        consume('CONTAINS_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'contains',
+          value
+        });
+      } else if (current().type === 'STARTS_WITH_OP') {
+        consume('STARTS_WITH_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'startsWith',
+          value
+        });
+      } else if (current().type === 'ENDS_WITH_OP') {
+        consume('ENDS_WITH_OP');
+        let value = '';
+        if (current().type === 'ELEMENT' || current().type === 'IDENTIFIER' || current().type === 'STRING') {
+          value = current().value;
+          consume();
+        } else {
+          throw new Error(`Expected attribute value, got ${current().type}`);
+        }
+        attributes.push({
+          key,
+          operator: 'endsWith',
+          value
+        });
+      } else {
+        attributes.push({
+          key,
+          operator: 'exists'
+        });
+      }
+      consume('RBRACKET');
+    }
+    return attributes;
+  }
+  function parseElement() {
+    const token = consume('ELEMENT');
+    const node = {
+      kind: 'element',
+      element: token.value
+    };
+
+    // Check if this is html_comment and if it has attribute selectors
+    if (node.element === 'html_comment' && current().type === 'LBRACKET') {
+      node.htmlCommentAttrs = parseHtmlCommentAttributes();
+    }
+
+    // Check if this is link and if it has attribute selectors
+    if (node.element === 'link' && current().type === 'LBRACKET') {
+      node.linkAttrs = parseLinkAttributes();
+    }
+
+    // Check if this is image and if it has attribute selectors
+    if (node.element === 'image' && current().type === 'LBRACKET') {
+      node.imageAttrs = parseImageAttributes();
+    }
+    if (['STAR', 'PLUS', 'QUESTION', 'LBRACKET'].includes(current().type)) {
+      node.quantifier = parseQuantifier();
+    }
+    return node;
+  }
+  function parseGroup() {
+    consume('LPAREN');
+    const pattern = parseSequence();
+    consume('RPAREN');
+    const node = {
+      kind: 'group',
+      pattern
+    };
+    if (['STAR', 'PLUS', 'QUESTION', 'LBRACKET'].includes(current().type)) {
+      node.quantifier = parseQuantifier();
+    }
+    return node;
+  }
+  function parseList() {
+    consume('KEYWORD'); // consume 'list'
+    const node = {
+      kind: 'list'
+    };
+    if (current().type === 'LBRACE') {
+      consume('LBRACE');
+      if (current().type === 'KEYWORD' && current().value === 'item') {
+        consume('KEYWORD'); // consume 'item'
+
+        // Check for quantifier on item: item+, item*, item?, item[N], item[N-M]
+        if (['STAR', 'PLUS', 'QUESTION', 'LBRACKET'].includes(current().type)) {
+          node.itemCount = parseQuantifier();
+        }
+        if (current().type === 'COLON') {
+          consume('COLON');
+          node.itemStructure = parseSequence();
+        }
+      }
+      consume('RBRACE');
+    }
+    if (['STAR', 'PLUS', 'QUESTION', 'LBRACKET'].includes(current().type)) {
+      node.quantifier = parseQuantifier();
+    }
+    return node;
+  }
+  function parsePrimary() {
+    if (current().type === 'LPAREN') {
+      return parseGroup();
+    }
+    if (current().type === 'KEYWORD' && current().value === 'list') {
+      return parseList();
+    }
+    if (current().type === 'ELEMENT') {
+      return parseElement();
+    }
+    if (current().type === 'IDENTIFIER') {
+      throw new Error(`Invalid element: ${current().value}`);
+    }
+    throw new Error(`Unexpected token: ${current().type}`);
+  }
+  function parseAlternation() {
+    const choices = [parsePrimary()];
+    while (current().type === 'PIPE') {
+      consume('PIPE');
+      choices.push(parsePrimary());
+    }
+    if (choices.length === 1) {
+      return choices[0];
+    }
+    const node = {
+      kind: 'alternation',
+      choices
+    };
+    if (['STAR', 'PLUS', 'QUESTION', 'LBRACKET'].includes(current().type)) {
+      node.quantifier = parseQuantifier();
+    }
+    return node;
+  }
+  function parseSequence() {
+    const children = [parseAlternation()];
+    while (current().type === 'ARROW') {
+      consume('ARROW');
+      children.push(parseAlternation());
+    }
+    if (children.length === 1) {
+      return children[0];
+    }
+    return {
+      kind: 'sequence',
+      children
+    };
+  }
+  function parseStopCondition() {
+    if (current().type !== 'ELEMENT') {
+      throw new Error(`Expected a single element after '~', got ${current().type}`);
+    }
+    const token = consume('ELEMENT');
+    const stop = {
+      element: token.value
+    };
+    if (stop.element === 'html_comment' && current().type === 'LBRACKET') {
+      stop.htmlCommentAttrs = parseHtmlCommentAttributes();
+    }
+    if (stop.element === 'link' && current().type === 'LBRACKET') {
+      stop.linkAttrs = parseLinkAttributes();
+    }
+    if (stop.element === 'image' && current().type === 'LBRACKET') {
+      stop.imageAttrs = parseImageAttributes();
+    }
+    if (['STAR', 'PLUS', 'QUESTION'].includes(current().type) || isQuantifierBracket()) {
+      throw new Error("Quantifiers are not allowed on the '~' stop element");
+    }
+    return stop;
+  }
+  const result = parseSequence();
+  let stopAt;
+  if (current().type === 'TILDE') {
+    consume('TILDE');
+    stopAt = parseStopCondition();
+  }
+  if (current().type !== 'EOF') {
+    throw new Error('Unexpected token after pattern');
+  }
+  return {
+    pattern: result,
+    stopAt
+  };
+}
+//# sourceMappingURL=parser.js.map