@rejot-dev/thalo 0.0.0

package/dist/ast/node-at-position.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-at-position.js","names":["current: SyntaxNode | null"],"sources":["../../src/ast/node-at-position.ts"],"sourcesContent":["import type { SyntaxNode, Point } from \"./ast-types.js\";\nimport type { ParsedDocument, ParsedBlock, GenericTree } from \"../parser.shared.js\";\nimport {\n  findBlockAtPosition,\n  positionToPoint,\n  type SourceMap,\n  type Position,\n} from \"../source-map.js\";\nimport type {\n  Link,\n  Tag,\n  Timestamp,\n  Key,\n  TypeExpression,\n  Identifier,\n  FieldName,\n  SectionName,\n  Location,\n} from \"./ast-types.js\";\nimport {\n  extractLink,\n  extractTag,\n  extractTimestamp,\n  extractKey,\n  extractTypeExpression,\n  extractIdentifier,\n  extractFieldName,\n  extractSectionName,\n} from \"./extract.js\";\n\n// ===================\n// Types\n// ===================\n\n/**\n * Context for a link node (^link-id)\n */\nexport interface LinkContext {\n  kind: \"link\";\n  linkId: string;\n  node: Link;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a tag node (#tag)\n */\nexport interface TagContext {\n  kind: \"tag\";\n  tagName: string;\n  node: Tag;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a timestamp node\n */\nexport interface TimestampContext {\n  kind: \"timestamp\";\n  value: string;\n  node: Timestamp;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a directive (create, update, define-entity, etc.)\n */\nexport interface DirectiveContext {\n  kind: \"directive\";\n  directive: string;\n  location: Location;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for an entity name in instance entries\n */\nexport interface EntityContext {\n  kind: \"entity\";\n  entityName: string;\n  location: Location;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for an entity name in schema entries (define-entity/alter-entity)\n */\nexport interface SchemaEntityContext {\n  kind: \"schema_entity\";\n  entityName: string;\n  node: Identifier;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a metadata key\n */\nexport interface MetadataKeyContext {\n  kind: \"metadata_key\";\n  key: string;\n  node: Key;\n  /** The entity type of the containing entry (if known) */\n  entityContext?: string;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a section header in content (# SectionName)\n */\nexport interface SectionHeaderContext {\n  kind: \"section_header\";\n  sectionName: string;\n  location: Location;\n  /** The entity type of the containing entry (if known) */\n  entityContext?: string;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a type expression in schema definitions\n */\nexport interface TypeContext {\n  kind: \"type\";\n  typeName: string;\n  node: TypeExpression;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a field name in schema definitions\n */\nexport interface FieldNameContext {\n  kind: \"field_name\";\n  fieldName: string;\n  node: FieldName;\n  /** The entity being defined/altered */\n  entityContext?: string;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a section name in schema definitions\n */\nexport interface SectionNameContext {\n  kind: \"section_name\";\n  sectionName: string;\n  node: SectionName;\n  /** The entity being defined/altered */\n  entityContext?: string;\n  sourceMap: SourceMap;\n}\n\n/**\n * Context for a title\n */\nexport interface TitleContext {\n  kind: \"title\";\n  title: string;\n  location: Location;\n  sourceMap: SourceMap;\n}\n\n/**\n * Unknown context - position doesn't map to a recognized element\n */\nexport interface UnknownContext {\n  kind: \"unknown\";\n}\n\n/**\n * All possible node contexts\n */\nexport type NodeContext =\n  | LinkContext\n  | TagContext\n  | TimestampContext\n  | DirectiveContext\n  | EntityContext\n  | SchemaEntityContext\n  | MetadataKeyContext\n  | SectionHeaderContext\n  | TypeContext\n  | FieldNameContext\n  | SectionNameContext\n  | TitleContext\n  | UnknownContext;\n\n// ===================\n// Helpers\n// ===================\n\n/**\n * Extract location from a syntax node\n */\nfunction extractLocation(node: SyntaxNode): Location {\n  return {\n    startIndex: node.startIndex,\n    endIndex: node.endIndex,\n    startPosition: node.startPosition,\n    endPosition: node.endPosition,\n  };\n}\n\n/**\n * Find the entry that contains a given node by walking up the tree\n */\nfunction findContainingEntry(node: SyntaxNode): SyntaxNode | null {\n  let current: SyntaxNode | null = node;\n  while (current) {\n    if (current.type === \"entry\") {\n      return current;\n    }\n    current = current.parent;\n  }\n  return null;\n}\n\n/**\n * Get the entity context (entity type name) from an entry node\n */\nfunction getEntityContextFromEntry(entryNode: SyntaxNode): string | undefined {\n  // entry contains one of: data_entry, schema_entry\n  const child = entryNode.namedChildren[0];\n  if (!child) {\n    return undefined;\n  }\n\n  if (child.type === \"data_entry\") {\n    // In the new grammar, header fields are directly on data_entry\n    // The directive tells us what kind of entry it is\n    const directiveNode = child.childForFieldName(\"directive\");\n    const directive = directiveNode?.text;\n\n    if (directive === \"define-synthesis\" || directive === \"actualize-synthesis\") {\n      return \"synthesis\";\n    }\n    // For create/update, the argument field is the entity (identifier)\n    const argumentNode = child.childForFieldName(\"argument\");\n    if (argumentNode?.type === \"identifier\") {\n      return argumentNode.text;\n    }\n  } else if (child.type === \"schema_entry\") {\n    // In the new grammar, header fields are directly on schema_entry\n    const argumentNode = child.childForFieldName(\"argument\");\n    if (argumentNode) {\n      return argumentNode.text;\n    }\n  }\n\n  return undefined;\n}\n\n/**\n * Check if position is within a node\n */\nfunction isPositionInNode(point: Point, node: SyntaxNode): boolean {\n  const start = node.startPosition;\n  const end = node.endPosition;\n\n  // Before start\n  if (point.row < start.row || (point.row === start.row && point.column < start.column)) {\n    return false;\n  }\n  // After end\n  if (point.row > end.row || (point.row === end.row && point.column > end.column)) {\n    return false;\n  }\n  return true;\n}\n\n// ===================\n// Directive detection\n// ===================\n\n/**\n * Check if position is on a directive keyword within an entry\n */\nfunction checkForDirective(\n  node: SyntaxNode,\n  point: Point,\n  sourceMap: SourceMap,\n): DirectiveContext | null {\n  // Walk up to find entry node (data_entry or schema_entry)\n  let current: SyntaxNode | null = node;\n  while (current) {\n    if (current.type === \"data_entry\" || current.type === \"schema_entry\") {\n      // In the new grammar, directive is directly on the entry node\n      const directiveNode = current.childForFieldName(\"directive\");\n      if (directiveNode && isPositionInNode(point, directiveNode)) {\n        return {\n          kind: \"directive\",\n          directive: directiveNode.text,\n          location: extractLocation(directiveNode),\n          sourceMap,\n        };\n      }\n      break;\n    }\n    current = current.parent;\n  }\n\n  return null;\n}\n\n// ===================\n// Main function\n// ===================\n\n/**\n * Find the semantic context of a node at a given position in a parsed document.\n *\n * This function handles both standalone .thalo files and embedded thalo blocks\n * in markdown files. It uses the source map to convert file-absolute positions\n * to block-relative positions before querying the AST.\n *\n * @param parsed - The parsed document (may contain multiple blocks for markdown)\n * @param position - File-absolute position (0-based line and column)\n * @returns The semantic context at the position, or { kind: \"unknown\" } if not recognized\n */\nexport function findNodeAtPosition(\n  parsed: ParsedDocument<GenericTree>,\n  position: Position,\n): NodeContext {\n  // Find which block contains the position\n  const match = findBlockAtPosition(parsed.blocks, position);\n  if (!match) {\n    return { kind: \"unknown\" };\n  }\n\n  const { block, blockPosition } = match;\n  const point = positionToPoint(blockPosition);\n\n  // Use tree-sitter to find the deepest node at this position\n  // Type assertion: both native and web tree-sitter rootNode have compatible interfaces\n  const rootNode = block.tree.rootNode as SyntaxNode;\n  let node = rootNode.descendantForPosition(point);\n\n  if (!node) {\n    return { kind: \"unknown\" };\n  }\n\n  // Handle edge case: position is at the exact end of a node\n  // In this case, descendantForPosition might return the parent node\n  // Try to find a child node that ends exactly at this position\n  const endMatchingChild = findChildEndingAt(node, point);\n  if (endMatchingChild) {\n    node = endMatchingChild;\n  }\n\n  return classifyNode(node, point, block);\n}\n\n/**\n * Find a child node that ends exactly at the given position.\n * This helps handle edge cases where cursor is right at the end of a token.\n */\nfunction findChildEndingAt(node: SyntaxNode, point: Point): SyntaxNode | null {\n  for (const child of node.namedChildren) {\n    if (!child) {\n      continue;\n    } // Skip nulls\n    const end = child.endPosition;\n    // Check if this child ends exactly at the point\n    if (end.row === point.row && end.column === point.column) {\n      // Recursively check for deeper matches\n      const deeper = findChildEndingAt(child, point);\n      return deeper || child;\n    }\n    // Check if point is within this child\n    if (isPositionInNode(point, child)) {\n      return findChildEndingAt(child, point);\n    }\n  }\n  return null;\n}\n\n/**\n * Check if a node is inside an ERROR context (parse error recovery)\n */\nfunction isInsideErrorNode(node: SyntaxNode): boolean {\n  let current: SyntaxNode | null = node;\n  while (current) {\n    if (current.type === \"ERROR\") {\n      return true;\n    }\n    current = current.parent;\n  }\n  return false;\n}\n\n/**\n * Classify a syntax node into a semantic context\n */\nfunction classifyNode(node: SyntaxNode, point: Point, block: ParsedBlock): NodeContext {\n  const { sourceMap } = block;\n\n  // Direct node type matches\n  switch (node.type) {\n    case \"link\":\n      return {\n        kind: \"link\",\n        linkId: extractLink(node).id,\n        node: extractLink(node),\n        sourceMap,\n      };\n\n    case \"tag\":\n      return {\n        kind: \"tag\",\n        tagName: extractTag(node).name,\n        node: extractTag(node),\n        sourceMap,\n      };\n\n    case \"timestamp\":\n      return {\n        kind: \"timestamp\",\n        value: extractTimestamp(node).value,\n        node: extractTimestamp(node),\n        sourceMap,\n      };\n\n    // Timestamp child nodes - delegate to parent timestamp\n    case \"timestamp_date\":\n    case \"timestamp_t\":\n    case \"timestamp_time\":\n    case \"timestamp_tz\": {\n      const parent = node.parent;\n      if (parent && parent.type === \"timestamp\") {\n        return {\n          kind: \"timestamp\",\n          value: extractTimestamp(parent).value,\n          node: extractTimestamp(parent),\n          sourceMap,\n        };\n      }\n      return { kind: \"unknown\" };\n    }\n\n    case \"key\":\n      return classifyKeyNode(node, sourceMap);\n\n    case \"primitive_type\":\n    case \"literal_type\":\n    case \"array_type\":\n    case \"union_type\": {\n      const typeExpr = extractTypeExpression(node.parent ?? node);\n      // Skip syntax errors (unknown types)\n      if (typeExpr.type === \"syntax_error\") {\n        return { kind: \"unknown\" };\n      }\n      return {\n        kind: \"type\",\n        typeName: node.type === \"primitive_type\" ? node.text : node.type,\n        node: typeExpr,\n        sourceMap,\n      };\n    }\n\n    case \"field_name\":\n      return classifyFieldNameNode(node, sourceMap);\n\n    case \"section_name\":\n      return classifySectionNameNode(node, sourceMap);\n\n    case \"title\": {\n      // Don't provide hover for titles inside ERROR contexts - they may be misidentified\n      // during error recovery (e.g., \"fact\" in `type: \"fact\"` without entry header)\n      if (isInsideErrorNode(node)) {\n        return { kind: \"unknown\" };\n      }\n      // Handle both closed (\"text\") and unclosed (\"text) titles\n      const text = node.text;\n      const hasClosingQuote = text.endsWith('\"') && text.length > 1;\n      const title = hasClosingQuote ? text.slice(1, -1) : text.slice(1);\n      return {\n        kind: \"title\",\n        title,\n        location: extractLocation(node),\n        sourceMap,\n      };\n    }\n\n    case \"identifier\":\n      // Could be entity name in schema header\n      return classifyIdentifierNode(node, sourceMap);\n\n    case \"markdown_header\":\n      // Section header in content\n      return classifyMarkdownHeader(node, sourceMap);\n  }\n\n  // Check if we're on a directive keyword\n  const directiveContext = checkForDirective(node, point, sourceMap);\n  if (directiveContext) {\n    return directiveContext;\n  }\n\n  // Check parent nodes for context\n  let current: SyntaxNode | null = node;\n  while (current) {\n    // Check for entity in data_entry (argument field for create/update)\n    if (current.type === \"data_entry\") {\n      const directiveNode = current.childForFieldName(\"directive\");\n      const directive = directiveNode?.text;\n\n      // For create/update directives, the argument is the entity name\n      if (directive === \"create\" || directive === \"update\") {\n        const argumentNode = current.childForFieldName(\"argument\");\n        if (\n          argumentNode &&\n          argumentNode.type === \"identifier\" &&\n          isPositionInNode(point, argumentNode)\n        ) {\n          return {\n            kind: \"entity\",\n            entityName: argumentNode.text,\n            location: extractLocation(argumentNode),\n            sourceMap,\n          };\n        }\n      }\n    }\n\n    // Check for entity_name in schema_entry (argument field for define-entity/alter-entity)\n    if (current.type === \"schema_entry\") {\n      const argumentNode = current.childForFieldName(\"argument\");\n      if (argumentNode && isPositionInNode(point, argumentNode)) {\n        return {\n          kind: \"schema_entity\",\n          entityName: argumentNode.text,\n          node: extractIdentifier(argumentNode),\n          sourceMap,\n        };\n      }\n    }\n\n    current = current.parent;\n  }\n\n  // Fallback: check if we're on text that looks like an entity position\n  // This handles cases where the parser couldn't match the entity (unknown entity names)\n  const entityFallback = checkForUnrecognizedEntity(node, point, sourceMap, block);\n  if (entityFallback) {\n    return entityFallback;\n  }\n\n  // Fallback: check if we're on a section header in content\n  const sectionFallback = checkForSectionHeader(node, point, sourceMap, block);\n  if (sectionFallback) {\n    return sectionFallback;\n  }\n\n  return { kind: \"unknown\" };\n}\n\n/**\n * Check if we're on text that looks like an entity name but wasn't recognized by parser.\n * This handles the case of unknown/invalid entity names.\n */\nfunction checkForUnrecognizedEntity(\n  _node: SyntaxNode,\n  point: Point,\n  sourceMap: SourceMap,\n  block: ParsedBlock,\n): EntityContext | null {\n  // Look for ERROR nodes or unrecognized text after \"create\" or \"update\"\n  const lineText = getLineTextFromBlock(block, point.row);\n  if (!lineText) {\n    return null;\n  }\n\n  // Check if line starts with timestamp + create/update pattern\n  const match = lineText.match(\n    /^(\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}(?:Z|[+-]\\d{2}:\\d{2}))\\s+(create|update)\\s+([a-z][a-zA-Z0-9\\-_]*)/,\n  );\n  if (!match) {\n    return null;\n  }\n\n  const [fullMatch, , , entityName] = match;\n  const entityStart = fullMatch.lastIndexOf(entityName);\n  const entityEnd = entityStart + entityName.length;\n\n  // Check if position is within the entity name\n  if (point.column >= entityStart && point.column <= entityEnd) {\n    return {\n      kind: \"entity\",\n      entityName,\n      location: {\n        startIndex: 0,\n        endIndex: 0,\n        startPosition: { row: point.row, column: entityStart },\n        endPosition: { row: point.row, column: entityEnd },\n      },\n      sourceMap,\n    };\n  }\n\n  return null;\n}\n\n/**\n * Get line text from a parsed block\n */\nfunction getLineTextFromBlock(block: ParsedBlock, lineNumber: number): string | null {\n  const lines = block.source.split(\"\\n\");\n  if (lineNumber >= 0 && lineNumber < lines.length) {\n    return lines[lineNumber];\n  }\n  return null;\n}\n\n/**\n * Check if we're on a section header in content (# SectionName)\n * This handles cases where the parser might not properly recognize content section headers\n */\nfunction checkForSectionHeader(\n  node: SyntaxNode,\n  point: Point,\n  sourceMap: SourceMap,\n  block: ParsedBlock,\n): SectionHeaderContext | null {\n  const lineText = getLineTextFromBlock(block, point.row);\n  if (!lineText) {\n    return null;\n  }\n\n  // Check for section header pattern: optional indent + # + section name\n  const match = lineText.match(/^(\\s*)#\\s*([A-Z][a-zA-Z0-9]*)/);\n  if (!match) {\n    return null;\n  }\n\n  const [fullMatch, indent, sectionName] = match;\n  const hashStart = indent.length;\n  const sectionStart = lineText.indexOf(sectionName, hashStart);\n  const sectionEnd = sectionStart + sectionName.length;\n\n  // Check if position is on the section name\n  if (point.column >= hashStart && point.column <= sectionEnd) {\n    // Find the entity context from the containing entry\n    const entry = findContainingEntry(node);\n    const entityContext = entry ? getEntityContextFromEntry(entry) : undefined;\n\n    return {\n      kind: \"section_header\",\n      sectionName,\n      location: {\n        startIndex: 0,\n        endIndex: 0,\n        startPosition: { row: point.row, column: hashStart },\n        endPosition: { row: point.row, column: fullMatch.length },\n      },\n      entityContext,\n      sourceMap,\n    };\n  }\n\n  return null;\n}\n\n/**\n * Classify a key node (metadata key)\n */\nfunction classifyKeyNode(node: SyntaxNode, sourceMap: SourceMap): MetadataKeyContext {\n  const entry = findContainingEntry(node);\n  const entityContext = entry ? getEntityContextFromEntry(entry) : undefined;\n\n  return {\n    kind: \"metadata_key\",\n    key: extractKey(node).value,\n    node: extractKey(node),\n    entityContext,\n    sourceMap,\n  };\n}\n\n/**\n * Classify a field_name node in schema definitions\n */\nfunction classifyFieldNameNode(node: SyntaxNode, sourceMap: SourceMap): FieldNameContext {\n  const entry = findContainingEntry(node);\n  const entityContext = entry ? getEntityContextFromEntry(entry) : undefined;\n\n  return {\n    kind: \"field_name\",\n    fieldName: extractFieldName(node).value,\n    node: extractFieldName(node),\n    entityContext,\n    sourceMap,\n  };\n}\n\n/**\n * Classify a section_name node in schema definitions\n */\nfunction classifySectionNameNode(node: SyntaxNode, sourceMap: SourceMap): SectionNameContext {\n  const entry = findContainingEntry(node);\n  const entityContext = entry ? getEntityContextFromEntry(entry) : undefined;\n\n  return {\n    kind: \"section_name\",\n    sectionName: extractSectionName(node).value,\n    node: extractSectionName(node),\n    entityContext,\n    sourceMap,\n  };\n}\n\n/**\n * Classify an identifier node\n */\nfunction classifyIdentifierNode(node: SyntaxNode, sourceMap: SourceMap): NodeContext {\n  const parent = node.parent;\n\n  // Check if this is the entity (argument) in a data_entry with create/update directive\n  if (parent?.type === \"data_entry\") {\n    const directiveNode = parent.childForFieldName(\"directive\");\n    const directive = directiveNode?.text;\n\n    if (directive === \"create\" || directive === \"update\") {\n      const argumentNode = parent.childForFieldName(\"argument\");\n      if (argumentNode && argumentNode.id === node.id) {\n        return {\n          kind: \"entity\",\n          entityName: node.text,\n          location: extractLocation(node),\n          sourceMap,\n        };\n      }\n    }\n  }\n\n  // Check if this is the entity_name (argument) in a schema_entry\n  if (parent?.type === \"schema_entry\") {\n    const argumentNode = parent.childForFieldName(\"argument\");\n    if (argumentNode && argumentNode.id === node.id) {\n      return {\n        kind: \"schema_entity\",\n        entityName: node.text,\n        node: extractIdentifier(node),\n        sourceMap,\n      };\n    }\n  }\n\n  return { kind: \"unknown\" };\n}\n\n/**\n * Classify a markdown_header node (section in content)\n */\nfunction classifyMarkdownHeader(node: SyntaxNode, sourceMap: SourceMap): SectionHeaderContext {\n  const entry = findContainingEntry(node);\n  const entityContext = entry ? getEntityContextFromEntry(entry) : undefined;\n\n  // Extract section name from \"# SectionName\" format\n  const text = node.text.trim();\n  const match = text.match(/^#\\s*([A-Z][a-zA-Z0-9]*)/);\n  const sectionName = match ? match[1] : text.replace(/^#\\s*/, \"\");\n\n  return {\n    kind: \"section_header\",\n    sectionName,\n    location: extractLocation(node),\n    entityContext,\n    sourceMap,\n  };\n}\n"],"mappings":";;;;;;;AAkMA,SAAS,gBAAgB,MAA4B;AACnD,QAAO;EACL,YAAY,KAAK;EACjB,UAAU,KAAK;EACf,eAAe,KAAK;EACpB,aAAa,KAAK;EACnB;;;;;AAMH,SAAS,oBAAoB,MAAqC;CAChE,IAAIA,UAA6B;AACjC,QAAO,SAAS;AACd,MAAI,QAAQ,SAAS,QACnB,QAAO;AAET,YAAU,QAAQ;;AAEpB,QAAO;;;;;AAMT,SAAS,0BAA0B,WAA2C;CAE5E,MAAM,QAAQ,UAAU,cAAc;AACtC,KAAI,CAAC,MACH;AAGF,KAAI,MAAM,SAAS,cAAc;EAI/B,MAAM,YADgB,MAAM,kBAAkB,YAAY,EACzB;AAEjC,MAAI,cAAc,sBAAsB,cAAc,sBACpD,QAAO;EAGT,MAAM,eAAe,MAAM,kBAAkB,WAAW;AACxD,MAAI,cAAc,SAAS,aACzB,QAAO,aAAa;YAEb,MAAM,SAAS,gBAAgB;EAExC,MAAM,eAAe,MAAM,kBAAkB,WAAW;AACxD,MAAI,aACF,QAAO,aAAa;;;;;;AAU1B,SAAS,iBAAiB,OAAc,MAA2B;CACjE,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,KAAK;AAGjB,KAAI,MAAM,MAAM,MAAM,OAAQ,MAAM,QAAQ,MAAM,OAAO,MAAM,SAAS,MAAM,OAC5E,QAAO;AAGT,KAAI,MAAM,MAAM,IAAI,OAAQ,MAAM,QAAQ,IAAI,OAAO,MAAM,SAAS,IAAI,OACtE,QAAO;AAET,QAAO;;;;;AAUT,SAAS,kBACP,MACA,OACA,WACyB;CAEzB,IAAIA,UAA6B;AACjC,QAAO,SAAS;AACd,MAAI,QAAQ,SAAS,gBAAgB,QAAQ,SAAS,gBAAgB;GAEpE,MAAM,gBAAgB,QAAQ,kBAAkB,YAAY;AAC5D,OAAI,iBAAiB,iBAAiB,OAAO,cAAc,CACzD,QAAO;IACL,MAAM;IACN,WAAW,cAAc;IACzB,UAAU,gBAAgB,cAAc;IACxC;IACD;AAEH;;AAEF,YAAU,QAAQ;;AAGpB,QAAO;;;;;;;;;;;;;AAkBT,SAAgB,mBACd,QACA,UACa;CAEb,MAAM,QAAQ,oBAAoB,OAAO,QAAQ,SAAS;AAC1D,KAAI,CAAC,MACH,QAAO,EAAE,MAAM,WAAW;CAG5B,MAAM,EAAE,OAAO,kBAAkB;CACjC,MAAM,QAAQ,gBAAgB,cAAc;CAK5C,IAAI,OADa,MAAM,KAAK,SACR,sBAAsB,MAAM;AAEhD,KAAI,CAAC,KACH,QAAO,EAAE,MAAM,WAAW;CAM5B,MAAM,mBAAmB,kBAAkB,MAAM,MAAM;AACvD,KAAI,iBACF,QAAO;AAGT,QAAO,aAAa,MAAM,OAAO,MAAM;;;;;;AAOzC,SAAS,kBAAkB,MAAkB,OAAiC;AAC5E,MAAK,MAAM,SAAS,KAAK,eAAe;AACtC,MAAI,CAAC,MACH;EAEF,MAAM,MAAM,MAAM;AAElB,MAAI,IAAI,QAAQ,MAAM,OAAO,IAAI,WAAW,MAAM,OAGhD,QADe,kBAAkB,OAAO,MAAM,IAC7B;AAGnB,MAAI,iBAAiB,OAAO,MAAM,CAChC,QAAO,kBAAkB,OAAO,MAAM;;AAG1C,QAAO;;;;;AAMT,SAAS,kBAAkB,MAA2B;CACpD,IAAIA,UAA6B;AACjC,QAAO,SAAS;AACd,MAAI,QAAQ,SAAS,QACnB,QAAO;AAET,YAAU,QAAQ;;AAEpB,QAAO;;;;;AAMT,SAAS,aAAa,MAAkB,OAAc,OAAiC;CACrF,MAAM,EAAE,cAAc;AAGtB,SAAQ,KAAK,MAAb;EACE,KAAK,OACH,QAAO;GACL,MAAM;GACN,QAAQ,YAAY,KAAK,CAAC;GAC1B,MAAM,YAAY,KAAK;GACvB;GACD;EAEH,KAAK,MACH,QAAO;GACL,MAAM;GACN,SAAS,WAAW,KAAK,CAAC;GAC1B,MAAM,WAAW,KAAK;GACtB;GACD;EAEH,KAAK,YACH,QAAO;GACL,MAAM;GACN,OAAO,iBAAiB,KAAK,CAAC;GAC9B,MAAM,iBAAiB,KAAK;GAC5B;GACD;EAGH,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,gBAAgB;GACnB,MAAM,SAAS,KAAK;AACpB,OAAI,UAAU,OAAO,SAAS,YAC5B,QAAO;IACL,MAAM;IACN,OAAO,iBAAiB,OAAO,CAAC;IAChC,MAAM,iBAAiB,OAAO;IAC9B;IACD;AAEH,UAAO,EAAE,MAAM,WAAW;;EAG5B,KAAK,MACH,QAAO,gBAAgB,MAAM,UAAU;EAEzC,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,cAAc;GACjB,MAAM,WAAW,sBAAsB,KAAK,UAAU,KAAK;AAE3D,OAAI,SAAS,SAAS,eACpB,QAAO,EAAE,MAAM,WAAW;AAE5B,UAAO;IACL,MAAM;IACN,UAAU,KAAK,SAAS,mBAAmB,KAAK,OAAO,KAAK;IAC5D,MAAM;IACN;IACD;;EAGH,KAAK,aACH,QAAO,sBAAsB,MAAM,UAAU;EAE/C,KAAK,eACH,QAAO,wBAAwB,MAAM,UAAU;EAEjD,KAAK,SAAS;AAGZ,OAAI,kBAAkB,KAAK,CACzB,QAAO,EAAE,MAAM,WAAW;GAG5B,MAAM,OAAO,KAAK;AAGlB,UAAO;IACL,MAAM;IACN,OAJsB,KAAK,SAAS,KAAI,IAAI,KAAK,SAAS,IAC5B,KAAK,MAAM,GAAG,GAAG,GAAG,KAAK,MAAM,EAAE;IAI/D,UAAU,gBAAgB,KAAK;IAC/B;IACD;;EAGH,KAAK,aAEH,QAAO,uBAAuB,MAAM,UAAU;EAEhD,KAAK,kBAEH,QAAO,uBAAuB,MAAM,UAAU;;CAIlD,MAAM,mBAAmB,kBAAkB,MAAM,OAAO,UAAU;AAClE,KAAI,iBACF,QAAO;CAIT,IAAIA,UAA6B;AACjC,QAAO,SAAS;AAEd,MAAI,QAAQ,SAAS,cAAc;GAEjC,MAAM,YADgB,QAAQ,kBAAkB,YAAY,EAC3B;AAGjC,OAAI,cAAc,YAAY,cAAc,UAAU;IACpD,MAAM,eAAe,QAAQ,kBAAkB,WAAW;AAC1D,QACE,gBACA,aAAa,SAAS,gBACtB,iBAAiB,OAAO,aAAa,CAErC,QAAO;KACL,MAAM;KACN,YAAY,aAAa;KACzB,UAAU,gBAAgB,aAAa;KACvC;KACD;;;AAMP,MAAI,QAAQ,SAAS,gBAAgB;GACnC,MAAM,eAAe,QAAQ,kBAAkB,WAAW;AAC1D,OAAI,gBAAgB,iBAAiB,OAAO,aAAa,CACvD,QAAO;IACL,MAAM;IACN,YAAY,aAAa;IACzB,MAAM,kBAAkB,aAAa;IACrC;IACD;;AAIL,YAAU,QAAQ;;CAKpB,MAAM,iBAAiB,2BAA2B,MAAM,OAAO,WAAW,MAAM;AAChF,KAAI,eACF,QAAO;CAIT,MAAM,kBAAkB,sBAAsB,MAAM,OAAO,WAAW,MAAM;AAC5E,KAAI,gBACF,QAAO;AAGT,QAAO,EAAE,MAAM,WAAW;;;;;;AAO5B,SAAS,2BACP,OACA,OACA,WACA,OACsB;CAEtB,MAAM,WAAW,qBAAqB,OAAO,MAAM,IAAI;AACvD,KAAI,CAAC,SACH,QAAO;CAIT,MAAM,QAAQ,SAAS,MACrB,mGACD;AACD,KAAI,CAAC,MACH,QAAO;CAGT,MAAM,CAAC,eAAe,cAAc;CACpC,MAAM,cAAc,UAAU,YAAY,WAAW;CACrD,MAAM,YAAY,cAAc,WAAW;AAG3C,KAAI,MAAM,UAAU,eAAe,MAAM,UAAU,UACjD,QAAO;EACL,MAAM;EACN;EACA,UAAU;GACR,YAAY;GACZ,UAAU;GACV,eAAe;IAAE,KAAK,MAAM;IAAK,QAAQ;IAAa;GACtD,aAAa;IAAE,KAAK,MAAM;IAAK,QAAQ;IAAW;GACnD;EACD;EACD;AAGH,QAAO;;;;;AAMT,SAAS,qBAAqB,OAAoB,YAAmC;CACnF,MAAM,QAAQ,MAAM,OAAO,MAAM,KAAK;AACtC,KAAI,cAAc,KAAK,aAAa,MAAM,OACxC,QAAO,MAAM;AAEf,QAAO;;;;;;AAOT,SAAS,sBACP,MACA,OACA,WACA,OAC6B;CAC7B,MAAM,WAAW,qBAAqB,OAAO,MAAM,IAAI;AACvD,KAAI,CAAC,SACH,QAAO;CAIT,MAAM,QAAQ,SAAS,MAAM,gCAAgC;AAC7D,KAAI,CAAC,MACH,QAAO;CAGT,MAAM,CAAC,WAAW,QAAQ,eAAe;CACzC,MAAM,YAAY,OAAO;CAEzB,MAAM,aADe,SAAS,QAAQ,aAAa,UAAU,GAC3B,YAAY;AAG9C,KAAI,MAAM,UAAU,aAAa,MAAM,UAAU,YAAY;EAE3D,MAAM,QAAQ,oBAAoB,KAAK;EACvC,MAAM,gBAAgB,QAAQ,0BAA0B,MAAM,GAAG;AAEjE,SAAO;GACL,MAAM;GACN;GACA,UAAU;IACR,YAAY;IACZ,UAAU;IACV,eAAe;KAAE,KAAK,MAAM;KAAK,QAAQ;KAAW;IACpD,aAAa;KAAE,KAAK,MAAM;KAAK,QAAQ,UAAU;KAAQ;IAC1D;GACD;GACA;GACD;;AAGH,QAAO;;;;;AAMT,SAAS,gBAAgB,MAAkB,WAA0C;CACnF,MAAM,QAAQ,oBAAoB,KAAK;CACvC,MAAM,gBAAgB,QAAQ,0BAA0B,MAAM,GAAG;AAEjE,QAAO;EACL,MAAM;EACN,KAAK,WAAW,KAAK,CAAC;EACtB,MAAM,WAAW,KAAK;EACtB;EACA;EACD;;;;;AAMH,SAAS,sBAAsB,MAAkB,WAAwC;CACvF,MAAM,QAAQ,oBAAoB,KAAK;CACvC,MAAM,gBAAgB,QAAQ,0BAA0B,MAAM,GAAG;AAEjE,QAAO;EACL,MAAM;EACN,WAAW,iBAAiB,KAAK,CAAC;EAClC,MAAM,iBAAiB,KAAK;EAC5B;EACA;EACD;;;;;AAMH,SAAS,wBAAwB,MAAkB,WAA0C;CAC3F,MAAM,QAAQ,oBAAoB,KAAK;CACvC,MAAM,gBAAgB,QAAQ,0BAA0B,MAAM,GAAG;AAEjE,QAAO;EACL,MAAM;EACN,aAAa,mBAAmB,KAAK,CAAC;EACtC,MAAM,mBAAmB,KAAK;EAC9B;EACA;EACD;;;;;AAMH,SAAS,uBAAuB,MAAkB,WAAmC;CACnF,MAAM,SAAS,KAAK;AAGpB,KAAI,QAAQ,SAAS,cAAc;EAEjC,MAAM,YADgB,OAAO,kBAAkB,YAAY,EAC1B;AAEjC,MAAI,cAAc,YAAY,cAAc,UAAU;GACpD,MAAM,eAAe,OAAO,kBAAkB,WAAW;AACzD,OAAI,gBAAgB,aAAa,OAAO,KAAK,GAC3C,QAAO;IACL,MAAM;IACN,YAAY,KAAK;IACjB,UAAU,gBAAgB,KAAK;IAC/B;IACD;;;AAMP,KAAI,QAAQ,SAAS,gBAAgB;EACnC,MAAM,eAAe,OAAO,kBAAkB,WAAW;AACzD,MAAI,gBAAgB,aAAa,OAAO,KAAK,GAC3C,QAAO;GACL,MAAM;GACN,YAAY,KAAK;GACjB,MAAM,kBAAkB,KAAK;GAC7B;GACD;;AAIL,QAAO,EAAE,MAAM,WAAW;;;;;AAM5B,SAAS,uBAAuB,MAAkB,WAA4C;CAC5F,MAAM,QAAQ,oBAAoB,KAAK;CACvC,MAAM,gBAAgB,QAAQ,0BAA0B,MAAM,GAAG;CAGjE,MAAM,OAAO,KAAK,KAAK,MAAM;CAC7B,MAAM,QAAQ,KAAK,MAAM,2BAA2B;AAGpD,QAAO;EACL,MAAM;EACN,aAJkB,QAAQ,MAAM,KAAK,KAAK,QAAQ,SAAS,GAAG;EAK9D,UAAU,gBAAgB,KAAK;EAC/B;EACA;EACD"}

package/dist/ast/visitor.js

@@ -0,0 +1,232 @@
+//#region src/ast/visitor.ts
+/**
+* Get all child nodes of an AST node.
+*
+* This function knows the structure of each AST node type and returns
+* all child nodes in a consistent order.
+*/
+function getChildren(node) {
+	const children = [];
+	switch (node.type) {
+		case "source_file":
+			children.push(...node.entries);
+			break;
+		case "instance_entry": {
+			const n = node;
+			children.push(n.header);
+			children.push(...n.metadata);
+			if (n.content) children.push(n.content);
+			break;
+		}
+		case "schema_entry": {
+			const n = node;
+			children.push(n.header);
+			if (n.metadataBlock) children.push(n.metadataBlock);
+			if (n.sectionsBlock) children.push(n.sectionsBlock);
+			if (n.removeMetadataBlock) children.push(n.removeMetadataBlock);
+			if (n.removeSectionsBlock) children.push(n.removeSectionsBlock);
+			break;
+		}
+		case "synthesis_entry": {
+			const n = node;
+			children.push(n.header);
+			children.push(...n.metadata);
+			if (n.content) children.push(n.content);
+			break;
+		}
+		case "actualize_entry": {
+			const n = node;
+			children.push(n.header);
+			children.push(...n.metadata);
+			break;
+		}
+		case "instance_header": {
+			const n = node;
+			children.push(n.timestamp);
+			children.push(n.title);
+			if (n.link) children.push(n.link);
+			children.push(...n.tags);
+			break;
+		}
+		case "schema_header": {
+			const n = node;
+			children.push(n.timestamp);
+			children.push(n.entityName);
+			children.push(n.title);
+			if (n.link) children.push(n.link);
+			children.push(...n.tags);
+			break;
+		}
+		case "synthesis_header": {
+			const n = node;
+			children.push(n.timestamp);
+			children.push(n.title);
+			children.push(n.linkId);
+			children.push(...n.tags);
+			break;
+		}
+		case "actualize_header": {
+			const n = node;
+			children.push(n.timestamp);
+			children.push(n.target);
+			break;
+		}
+		case "metadata_block":
+			children.push(...node.fields);
+			break;
+		case "sections_block":
+			children.push(...node.sections);
+			break;
+		case "remove_metadata_block":
+			children.push(...node.fields);
+			break;
+		case "remove_sections_block":
+			children.push(...node.sections);
+			break;
+		case "field_definition": {
+			const n = node;
+			children.push(n.name);
+			children.push(n.typeExpr);
+			if (n.defaultValue) children.push(n.defaultValue);
+			if (n.description) children.push(n.description);
+			break;
+		}
+		case "field_removal": {
+			const n = node;
+			children.push(n.name);
+			if (n.reason) children.push(n.reason);
+			break;
+		}
+		case "section_definition": {
+			const n = node;
+			children.push(n.name);
+			if (n.description) children.push(n.description);
+			break;
+		}
+		case "section_removal": {
+			const n = node;
+			children.push(n.name);
+			if (n.reason) children.push(n.reason);
+			break;
+		}
+		case "array_type":
+			children.push(node.elementType);
+			break;
+		case "union_type":
+			children.push(...node.members);
+			break;
+		case "metadata": {
+			const n = node;
+			children.push(n.key);
+			children.push(n.value);
+			break;
+		}
+		case "content":
+			children.push(...node.children);
+			break;
+		case "timestamp": {
+			const n = node;
+			if (n.date) children.push(n.date);
+			if (n.time) children.push(n.time);
+			if (n.timezone) children.push(n.timezone);
+			break;
+		}
+		case "value": {
+			const n = node;
+			children.push(n.content);
+			break;
+		}
+		case "default_value": {
+			const n = node;
+			children.push(n.content);
+			break;
+		}
+		case "link_value":
+			children.push(node.link);
+			break;
+		case "query_value":
+			children.push(node.query);
+			break;
+		case "value_array":
+			children.push(...node.elements);
+			break;
+		case "query":
+			children.push(...node.conditions);
+			break;
+		case "primitive_type":
+		case "literal_type":
+		case "markdown_header":
+		case "content_line":
+		case "date_part":
+		case "time_part":
+		case "timezone_part":
+		case "title":
+		case "link":
+		case "tag":
+		case "identifier":
+		case "key":
+		case "field_name":
+		case "section_name":
+		case "description":
+		case "quoted_value":
+		case "datetime_value":
+		case "daterange":
+		case "number_value":
+		case "field_condition":
+		case "tag_condition":
+		case "link_condition":
+		case "syntax_error": break;
+	}
+	return children;
+}
+/**
+* Walk an AST with a callback for each node.
+*
+* This is a simpler alternative to creating a visitor class.
+*
+* @param node - The root node to start traversal from
+* @param callback - Called for each node in depth-first order
+*
+* @example
+* forEachNode(sourceFile, (node) => {
+*   if (node.type === "syntax_error") {
+*     console.log("Found error:", node);
+*   }
+* });
+*/
+function forEachNode(node, callback) {
+	callback(node);
+	const children = getChildren(node);
+	for (const child of children) forEachNode(child, callback);
+}
+/**
+* Collect all nodes of a specific type from an AST.
+*
+* @param node - The root node to search from
+* @param type - The node type to collect (e.g., "syntax_error", "link")
+* @returns Array of nodes matching the type
+*
+* @example
+* const links = collectNodes(sourceFile, "link");
+* const errors = collectNodes(sourceFile, "syntax_error");
+*/
+function collectNodes(root, type) {
+	const results = [];
+	forEachNode(root, (node) => {
+		if (node.type === type) results.push(node);
+	});
+	return results;
+}
+/**
+* Collect all syntax errors from an AST.
+*
+* @param root - The root node to search from
+* @returns Array of SyntaxErrorNode instances
+*/
+function collectSyntaxErrors(root) {
+	return collectNodes(root, "syntax_error");
+}
+
+//#endregion
+export { collectSyntaxErrors };
+//# sourceMappingURL=visitor.js.map

package/dist/ast/visitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.js","names":["children: AstNode[]","results: N[]"],"sources":["../../src/ast/visitor.ts"],"sourcesContent":["/**\n * AST Visitor Infrastructure\n *\n * Provides a visitor pattern for traversing and processing AST nodes.\n * Supports both void visitors (for side effects) and value-returning visitors.\n *\n * @example\n * // Collecting all syntax errors from an AST\n * class ErrorCollector extends BaseVisitor<void> {\n *   errors: SyntaxErrorNode[] = [];\n *\n *   visitSyntaxError(node: SyntaxErrorNode): void {\n *     this.errors.push(node);\n *   }\n * }\n *\n * const collector = new ErrorCollector();\n * walkAst(ast, collector);\n * console.log(collector.errors);\n */\n\nimport type {\n  AstNode,\n  SourceFile,\n  Entry,\n  InstanceEntry,\n  InstanceHeader,\n  SchemaEntry,\n  SchemaHeader,\n  SynthesisEntry,\n  SynthesisHeader,\n  ActualizeEntry,\n  ActualizeHeader,\n  MetadataBlock,\n  SectionsBlock,\n  RemoveMetadataBlock,\n  RemoveSectionsBlock,\n  FieldDefinition,\n  FieldRemoval,\n  SectionDefinition,\n  SectionRemoval,\n  TypeExpression,\n  PrimitiveType,\n  LiteralType,\n  ArrayType,\n  UnionType,\n  Metadata,\n  Content,\n  MarkdownHeader,\n  ContentLine,\n  DatePart,\n  TimePart,\n  TimezonePart,\n  Timestamp,\n  Title,\n  Link,\n  Tag,\n  Identifier,\n  Key,\n  Value,\n  QuotedValue,\n  LinkValue,\n  DatetimeValue,\n  DaterangeValue,\n  NumberValue,\n  QueryValue,\n  ValueArray,\n  Query,\n  FieldCondition,\n  TagCondition,\n  LinkCondition,\n  FieldName,\n  SectionName,\n  Description,\n  DefaultValue,\n  SyntaxErrorNode,\n} from \"./ast-types.js\";\n\n/**\n * Visitor interface with optional methods for each AST node type.\n *\n * Implement only the methods you need - unimplemented methods will\n * fall through to visitDefault (which visits children by default).\n */\nexport interface AstVisitor<T = void> {\n  /**\n   * Main entry point - dispatches to the appropriate visit method\n   */\n  visit(node: AstNode): T;\n\n  // Core nodes\n  visitSourceFile?(node: SourceFile): T;\n  visitEntry?(node: Entry): T;\n\n  // Entry types\n  visitInstanceEntry?(node: InstanceEntry): T;\n  visitSchemaEntry?(node: SchemaEntry): T;\n  visitSynthesisEntry?(node: SynthesisEntry): T;\n  visitActualizeEntry?(node: ActualizeEntry): T;\n\n  // Header types\n  visitInstanceHeader?(node: InstanceHeader): T;\n  visitSchemaHeader?(node: SchemaHeader): T;\n  visitSynthesisHeader?(node: SynthesisHeader): T;\n  visitActualizeHeader?(node: ActualizeHeader): T;\n\n  // Schema blocks\n  visitMetadataBlock?(node: MetadataBlock): T;\n  visitSectionsBlock?(node: SectionsBlock): T;\n  visitRemoveMetadataBlock?(node: RemoveMetadataBlock): T;\n  visitRemoveSectionsBlock?(node: RemoveSectionsBlock): T;\n\n  // Field and section definitions\n  visitFieldDefinition?(node: FieldDefinition): T;\n  visitFieldRemoval?(node: FieldRemoval): T;\n  visitSectionDefinition?(node: SectionDefinition): T;\n  visitSectionRemoval?(node: SectionRemoval): T;\n\n  // Type expressions\n  visitTypeExpression?(node: TypeExpression): T;\n  visitPrimitiveType?(node: PrimitiveType): T;\n  visitLiteralType?(node: LiteralType): T;\n  visitArrayType?(node: ArrayType): T;\n  visitUnionType?(node: UnionType): T;\n\n  // Instance entry components\n  visitMetadata?(node: Metadata): T;\n  visitContent?(node: Content): T;\n  visitMarkdownHeader?(node: MarkdownHeader): T;\n  visitContentLine?(node: ContentLine): T;\n\n  // Timestamp parts\n  visitDatePart?(node: DatePart): T;\n  visitTimePart?(node: TimePart): T;\n  visitTimezonePart?(node: TimezonePart): T;\n  visitTimestamp?(node: Timestamp): T;\n\n  // Terminal nodes\n  visitTitle?(node: Title): T;\n  visitLink?(node: Link): T;\n  visitTag?(node: Tag): T;\n  visitIdentifier?(node: Identifier): T;\n  visitKey?(node: Key): T;\n  visitValue?(node: Value): T;\n  visitFieldName?(node: FieldName): T;\n  visitSectionName?(node: SectionName): T;\n  visitDescription?(node: Description): T;\n  visitDefaultValue?(node: DefaultValue): T;\n\n  // Value types\n  visitQuotedValue?(node: QuotedValue): T;\n  visitLinkValue?(node: LinkValue): T;\n  visitDatetimeValue?(node: DatetimeValue): T;\n  visitDaterangeValue?(node: DaterangeValue): T;\n  visitNumberValue?(node: NumberValue): T;\n  visitQueryValue?(node: QueryValue): T;\n  visitValueArray?(node: ValueArray): T;\n\n  // Query types\n  visitQuery?(node: Query): T;\n  visitFieldCondition?(node: FieldCondition): T;\n  visitTagCondition?(node: TagCondition): T;\n  visitLinkCondition?(node: LinkCondition): T;\n\n  // Error nodes\n  visitSyntaxError?(node: SyntaxErrorNode): T;\n}\n\n/**\n * Convert a snake_case type name to PascalCase method name\n * e.g., \"source_file\" -> \"SourceFile\"\n */\nfunction toPascalCase(type: string): string {\n  return type\n    .split(\"_\")\n    .map((part) => part.charAt(0).toUpperCase() + part.slice(1))\n    .join(\"\");\n}\n\n/**\n * Get the visitor method name for a node type\n * e.g., \"source_file\" -> \"visitSourceFile\"\n */\nfunction getVisitorMethodName(type: string): string {\n  return `visit${toPascalCase(type)}`;\n}\n\n/**\n * Get all child nodes of an AST node.\n *\n * This function knows the structure of each AST node type and returns\n * all child nodes in a consistent order.\n */\nexport function getChildren(node: AstNode): AstNode[] {\n  const children: AstNode[] = [];\n\n  switch (node.type) {\n    case \"source_file\":\n      children.push(...(node as SourceFile).entries);\n      break;\n\n    case \"instance_entry\": {\n      const n = node as InstanceEntry;\n      children.push(n.header);\n      children.push(...n.metadata);\n      if (n.content) {\n        children.push(n.content);\n      }\n      break;\n    }\n\n    case \"schema_entry\": {\n      const n = node as SchemaEntry;\n      children.push(n.header);\n      if (n.metadataBlock) {\n        children.push(n.metadataBlock);\n      }\n      if (n.sectionsBlock) {\n        children.push(n.sectionsBlock);\n      }\n      if (n.removeMetadataBlock) {\n        children.push(n.removeMetadataBlock);\n      }\n      if (n.removeSectionsBlock) {\n        children.push(n.removeSectionsBlock);\n      }\n      break;\n    }\n\n    case \"synthesis_entry\": {\n      const n = node as SynthesisEntry;\n      children.push(n.header);\n      children.push(...n.metadata);\n      if (n.content) {\n        children.push(n.content);\n      }\n      break;\n    }\n\n    case \"actualize_entry\": {\n      const n = node as ActualizeEntry;\n      children.push(n.header);\n      children.push(...n.metadata);\n      break;\n    }\n\n    case \"instance_header\": {\n      const n = node as InstanceHeader;\n      children.push(n.timestamp);\n      children.push(n.title);\n      if (n.link) {\n        children.push(n.link);\n      }\n      children.push(...n.tags);\n      break;\n    }\n\n    case \"schema_header\": {\n      const n = node as SchemaHeader;\n      children.push(n.timestamp);\n      children.push(n.entityName);\n      children.push(n.title);\n      if (n.link) {\n        children.push(n.link);\n      }\n      children.push(...n.tags);\n      break;\n    }\n\n    case \"synthesis_header\": {\n      const n = node as SynthesisHeader;\n      children.push(n.timestamp);\n      children.push(n.title);\n      children.push(n.linkId);\n      children.push(...n.tags);\n      break;\n    }\n\n    case \"actualize_header\": {\n      const n = node as ActualizeHeader;\n      children.push(n.timestamp);\n      children.push(n.target);\n      break;\n    }\n\n    case \"metadata_block\":\n      children.push(...(node as MetadataBlock).fields);\n      break;\n\n    case \"sections_block\":\n      children.push(...(node as SectionsBlock).sections);\n      break;\n\n    case \"remove_metadata_block\":\n      children.push(...(node as RemoveMetadataBlock).fields);\n      break;\n\n    case \"remove_sections_block\":\n      children.push(...(node as RemoveSectionsBlock).sections);\n      break;\n\n    case \"field_definition\": {\n      const n = node as FieldDefinition;\n      children.push(n.name);\n      children.push(n.typeExpr);\n      if (n.defaultValue) {\n        children.push(n.defaultValue);\n      }\n      if (n.description) {\n        children.push(n.description);\n      }\n      break;\n    }\n\n    case \"field_removal\": {\n      const n = node as FieldRemoval;\n      children.push(n.name);\n      if (n.reason) {\n        children.push(n.reason);\n      }\n      break;\n    }\n\n    case \"section_definition\": {\n      const n = node as SectionDefinition;\n      children.push(n.name);\n      if (n.description) {\n        children.push(n.description);\n      }\n      break;\n    }\n\n    case \"section_removal\": {\n      const n = node as SectionRemoval;\n      children.push(n.name);\n      if (n.reason) {\n        children.push(n.reason);\n      }\n      break;\n    }\n\n    case \"array_type\":\n      children.push((node as ArrayType).elementType);\n      break;\n\n    case \"union_type\":\n      children.push(...(node as UnionType).members);\n      break;\n\n    case \"metadata\": {\n      const n = node as Metadata;\n      children.push(n.key);\n      children.push(n.value);\n      break;\n    }\n\n    case \"content\":\n      children.push(...(node as Content).children);\n      break;\n\n    case \"timestamp\": {\n      const n = node as Timestamp;\n      if (n.date) {\n        children.push(n.date);\n      }\n      if (n.time) {\n        children.push(n.time);\n      }\n      if (n.timezone) {\n        children.push(n.timezone);\n      }\n      break;\n    }\n\n    case \"value\": {\n      const n = node as Value;\n      children.push(n.content);\n      break;\n    }\n\n    case \"default_value\": {\n      const n = node as DefaultValue;\n      children.push(n.content);\n      break;\n    }\n\n    case \"link_value\":\n      children.push((node as LinkValue).link);\n      break;\n\n    case \"query_value\":\n      children.push((node as QueryValue).query);\n      break;\n\n    case \"value_array\":\n      children.push(...(node as ValueArray).elements);\n      break;\n\n    case \"query\":\n      children.push(...(node as Query).conditions);\n      break;\n\n    // Terminal nodes - no children\n    case \"primitive_type\":\n    case \"literal_type\":\n    case \"markdown_header\":\n    case \"content_line\":\n    case \"date_part\":\n    case \"time_part\":\n    case \"timezone_part\":\n    case \"title\":\n    case \"link\":\n    case \"tag\":\n    case \"identifier\":\n    case \"key\":\n    case \"field_name\":\n    case \"section_name\":\n    case \"description\":\n    case \"quoted_value\":\n    case \"datetime_value\":\n    case \"daterange\":\n    case \"number_value\":\n    case \"field_condition\":\n    case \"tag_condition\":\n    case \"link_condition\":\n    case \"syntax_error\":\n      // No children\n      break;\n  }\n\n  return children;\n}\n\n/**\n * Abstract base visitor with default dispatch behavior.\n *\n * Subclasses can override specific visit methods and call super.visit()\n * to continue traversal to children.\n *\n * @example\n * class CountNodes extends BaseVisitor<void> {\n *   count = 0;\n *\n *   protected visitDefault(node: AstNode): void {\n *     this.count++;\n *     super.visitDefault(node); // Continue to children\n *   }\n * }\n */\nexport abstract class BaseVisitor<T = void> implements AstVisitor<T> {\n  /**\n   * Main dispatch method - routes to the appropriate visit method based on node type.\n   */\n  visit(node: AstNode): T {\n    const methodName = getVisitorMethodName(node.type);\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    const method = (this as any)[methodName];\n\n    if (typeof method === \"function\") {\n      return method.call(this, node);\n    }\n\n    return this.visitDefault(node);\n  }\n\n  /**\n   * Default handler for nodes without a specific visit method.\n   * By default, visits all children.\n   *\n   * Override this to change the default behavior.\n   */\n  protected visitDefault(node: AstNode): T {\n    const children = getChildren(node);\n    for (const child of children) {\n      this.visit(child);\n    }\n    return undefined as T;\n  }\n}\n\n/**\n * Walk an AST with a visitor, starting from the given node.\n *\n * This is a convenience function that calls visitor.visit(node).\n *\n * @param node - The root node to start traversal from\n * @param visitor - The visitor to use for traversal\n * @returns The result of visiting the root node\n *\n * @example\n * const errorCollector = new ErrorCollector();\n * walkAst(sourceFile, errorCollector);\n */\nexport function walkAst<T>(node: AstNode, visitor: AstVisitor<T>): T {\n  return visitor.visit(node);\n}\n\n/**\n * Walk an AST with a callback for each node.\n *\n * This is a simpler alternative to creating a visitor class.\n *\n * @param node - The root node to start traversal from\n * @param callback - Called for each node in depth-first order\n *\n * @example\n * forEachNode(sourceFile, (node) => {\n *   if (node.type === \"syntax_error\") {\n *     console.log(\"Found error:\", node);\n *   }\n * });\n */\nexport function forEachNode(node: AstNode, callback: (node: AstNode) => void): void {\n  callback(node);\n  const children = getChildren(node);\n  for (const child of children) {\n    forEachNode(child, callback);\n  }\n}\n\n/**\n * Collect all nodes of a specific type from an AST.\n *\n * @param node - The root node to search from\n * @param type - The node type to collect (e.g., \"syntax_error\", \"link\")\n * @returns Array of nodes matching the type\n *\n * @example\n * const links = collectNodes(sourceFile, \"link\");\n * const errors = collectNodes(sourceFile, \"syntax_error\");\n */\nexport function collectNodes<N extends AstNode>(root: AstNode, type: string): N[] {\n  const results: N[] = [];\n  forEachNode(root, (node) => {\n    if (node.type === type) {\n      results.push(node as N);\n    }\n  });\n  return results;\n}\n\n/**\n * Collect all syntax errors from an AST.\n *\n * @param root - The root node to search from\n * @returns Array of SyntaxErrorNode instances\n */\nexport function collectSyntaxErrors(root: AstNode): SyntaxErrorNode[] {\n  return collectNodes<SyntaxErrorNode>(root, \"syntax_error\");\n}\n"],"mappings":";;;;;;;AAiMA,SAAgB,YAAY,MAA0B;CACpD,MAAMA,WAAsB,EAAE;AAE9B,SAAQ,KAAK,MAAb;EACE,KAAK;AACH,YAAS,KAAK,GAAI,KAAoB,QAAQ;AAC9C;EAEF,KAAK,kBAAkB;GACrB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,OAAO;AACvB,YAAS,KAAK,GAAG,EAAE,SAAS;AAC5B,OAAI,EAAE,QACJ,UAAS,KAAK,EAAE,QAAQ;AAE1B;;EAGF,KAAK,gBAAgB;GACnB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,OAAO;AACvB,OAAI,EAAE,cACJ,UAAS,KAAK,EAAE,cAAc;AAEhC,OAAI,EAAE,cACJ,UAAS,KAAK,EAAE,cAAc;AAEhC,OAAI,EAAE,oBACJ,UAAS,KAAK,EAAE,oBAAoB;AAEtC,OAAI,EAAE,oBACJ,UAAS,KAAK,EAAE,oBAAoB;AAEtC;;EAGF,KAAK,mBAAmB;GACtB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,OAAO;AACvB,YAAS,KAAK,GAAG,EAAE,SAAS;AAC5B,OAAI,EAAE,QACJ,UAAS,KAAK,EAAE,QAAQ;AAE1B;;EAGF,KAAK,mBAAmB;GACtB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,OAAO;AACvB,YAAS,KAAK,GAAG,EAAE,SAAS;AAC5B;;EAGF,KAAK,mBAAmB;GACtB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,UAAU;AAC1B,YAAS,KAAK,EAAE,MAAM;AACtB,OAAI,EAAE,KACJ,UAAS,KAAK,EAAE,KAAK;AAEvB,YAAS,KAAK,GAAG,EAAE,KAAK;AACxB;;EAGF,KAAK,iBAAiB;GACpB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,UAAU;AAC1B,YAAS,KAAK,EAAE,WAAW;AAC3B,YAAS,KAAK,EAAE,MAAM;AACtB,OAAI,EAAE,KACJ,UAAS,KAAK,EAAE,KAAK;AAEvB,YAAS,KAAK,GAAG,EAAE,KAAK;AACxB;;EAGF,KAAK,oBAAoB;GACvB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,UAAU;AAC1B,YAAS,KAAK,EAAE,MAAM;AACtB,YAAS,KAAK,EAAE,OAAO;AACvB,YAAS,KAAK,GAAG,EAAE,KAAK;AACxB;;EAGF,KAAK,oBAAoB;GACvB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,UAAU;AAC1B,YAAS,KAAK,EAAE,OAAO;AACvB;;EAGF,KAAK;AACH,YAAS,KAAK,GAAI,KAAuB,OAAO;AAChD;EAEF,KAAK;AACH,YAAS,KAAK,GAAI,KAAuB,SAAS;AAClD;EAEF,KAAK;AACH,YAAS,KAAK,GAAI,KAA6B,OAAO;AACtD;EAEF,KAAK;AACH,YAAS,KAAK,GAAI,KAA6B,SAAS;AACxD;EAEF,KAAK,oBAAoB;GACvB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,KAAK;AACrB,YAAS,KAAK,EAAE,SAAS;AACzB,OAAI,EAAE,aACJ,UAAS,KAAK,EAAE,aAAa;AAE/B,OAAI,EAAE,YACJ,UAAS,KAAK,EAAE,YAAY;AAE9B;;EAGF,KAAK,iBAAiB;GACpB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,KAAK;AACrB,OAAI,EAAE,OACJ,UAAS,KAAK,EAAE,OAAO;AAEzB;;EAGF,KAAK,sBAAsB;GACzB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,KAAK;AACrB,OAAI,EAAE,YACJ,UAAS,KAAK,EAAE,YAAY;AAE9B;;EAGF,KAAK,mBAAmB;GACtB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,KAAK;AACrB,OAAI,EAAE,OACJ,UAAS,KAAK,EAAE,OAAO;AAEzB;;EAGF,KAAK;AACH,YAAS,KAAM,KAAmB,YAAY;AAC9C;EAEF,KAAK;AACH,YAAS,KAAK,GAAI,KAAmB,QAAQ;AAC7C;EAEF,KAAK,YAAY;GACf,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,IAAI;AACpB,YAAS,KAAK,EAAE,MAAM;AACtB;;EAGF,KAAK;AACH,YAAS,KAAK,GAAI,KAAiB,SAAS;AAC5C;EAEF,KAAK,aAAa;GAChB,MAAM,IAAI;AACV,OAAI,EAAE,KACJ,UAAS,KAAK,EAAE,KAAK;AAEvB,OAAI,EAAE,KACJ,UAAS,KAAK,EAAE,KAAK;AAEvB,OAAI,EAAE,SACJ,UAAS,KAAK,EAAE,SAAS;AAE3B;;EAGF,KAAK,SAAS;GACZ,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,QAAQ;AACxB;;EAGF,KAAK,iBAAiB;GACpB,MAAM,IAAI;AACV,YAAS,KAAK,EAAE,QAAQ;AACxB;;EAGF,KAAK;AACH,YAAS,KAAM,KAAmB,KAAK;AACvC;EAEF,KAAK;AACH,YAAS,KAAM,KAAoB,MAAM;AACzC;EAEF,KAAK;AACH,YAAS,KAAK,GAAI,KAAoB,SAAS;AAC/C;EAEF,KAAK;AACH,YAAS,KAAK,GAAI,KAAe,WAAW;AAC5C;EAGF,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,eAEH;;AAGJ,QAAO;;;;;;;;;;;;;;;;;AAkFT,SAAgB,YAAY,MAAe,UAAyC;AAClF,UAAS,KAAK;CACd,MAAM,WAAW,YAAY,KAAK;AAClC,MAAK,MAAM,SAAS,SAClB,aAAY,OAAO,SAAS;;;;;;;;;;;;;AAehC,SAAgB,aAAgC,MAAe,MAAmB;CAChF,MAAMC,UAAe,EAAE;AACvB,aAAY,OAAO,SAAS;AAC1B,MAAI,KAAK,SAAS,KAChB,SAAQ,KAAK,KAAU;GAEzB;AACF,QAAO;;;;;;;;AAST,SAAgB,oBAAoB,MAAkC;AACpE,QAAO,aAA8B,MAAM,eAAe"}

package/dist/checker/check.d.ts

@@ -0,0 +1,53 @@
+import { Location } from "../ast/ast-types.js";
+import { SourceMap } from "../source-map.js";
+import { Workspace } from "../model/workspace.js";
+import { Severity } from "./rules/rules.js";
+
+//#region src/checker/check.d.ts
+
+/**
+ * A diagnostic message from the checker
+ */
+interface Diagnostic {
+  /** The rule code that generated this diagnostic */
+  code: string;
+  /** Severity level */
+  severity: Exclude<Severity, "off">;
+  /** Human-readable message */
+  message: string;
+  /** File path where the issue was found */
+  file: string;
+  /** Location in the source (file-absolute) */
+  location: Location;
+  /** Additional data for the diagnostic (rule-specific) */
+  data?: Record<string, unknown>;
+}
+/**
+ * Partial diagnostic with optional sourceMap for position mapping
+ */
+interface PartialDiagnostic {
+  /** Human-readable message */
+  message: string;
+  /** File path where the issue was found */
+  file: string;
+  /** Location in the source (block-relative) */
+  location: Location;
+  /** Source map for converting block-relative to file-absolute positions */
+  sourceMap?: SourceMap;
+  /** Additional data for the diagnostic (rule-specific) */
+  data?: Record<string, unknown>;
+}
+/**
+ * Configuration for the checker
+ */
+interface CheckConfig {
+  /** Override severity for specific rules */
+  rules?: Partial<Record<string, Severity>>;
+}
+/**
+ * Check a single document for issues (alias for checkModel that gets model from workspace)
+ */
+declare function checkDocument(file: string, workspace: Workspace, config?: CheckConfig): Diagnostic[];
+//#endregion
+export { CheckConfig, Diagnostic, PartialDiagnostic, checkDocument };
+//# sourceMappingURL=check.d.ts.map

package/dist/checker/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","names":[],"sources":["../../src/checker/check.ts"],"sourcesContent":[],"mappings":";;;;;;;AAeA;;;AAUY,UAVK,UAAA,CAUL;EAEH;EAAM,IAAA,EAAA,MAAA;EAME;EAML,QAAA,EApBA,OAoBA,CApBQ,QAoBR,EAAA,KAAA,CAAA;EAEE;EAEL,OAAA,EAAA,MAAA;EAAM;EAME,IAAA,EAAA,MAAA;EAEgB;EAAf,QAAA,EA1BN,QA0BM;EAAR;EAAO,IAAA,CAAA,EAxBR,MAwBQ,CAAA,MAAA,EAAA,OAAA,CAAA;AAkGjB;;;;AAIa,UAxHI,iBAAA,CAwHJ;;;;;;YAlHD;;cAEE;;SAEL;;;;;UAMQ,WAAA;;UAEP,QAAQ,eAAe;;;;;iBAkGjB,aAAA,0BAEH,oBACH,cACP"}

package/dist/checker/check.js

@@ -0,0 +1,105 @@
+import { toFileLocation } from "../source-map.js";
+import { allRules } from "./rules/rules.js";
+import { collectSyntaxErrors } from "../ast/visitor.js";
+import { buildWorkspaceIndex } from "./workspace-index.js";
+import { runVisitors, runVisitorsOnModel } from "./visitor.js";
+
+//#region src/checker/check.ts
+/**
+* Get the effective severity for a rule given a config
+*/
+function getEffectiveSeverity(rule, config) {
+	return config.rules?.[rule.code] ?? rule.defaultSeverity;
+}
+const noop = () => {};
+/**
+* Collect syntax errors from an AST and convert them to diagnostics.
+* Includes both root-level parse errors and nested syntax errors within entries.
+*/
+function collectSyntaxErrors$1(ast, file, sourceMap) {
+	const diagnostics = [];
+	for (const error of ast.syntaxErrors) diagnostics.push({
+		code: `syntax-${error.code}`,
+		severity: "error",
+		message: error.message,
+		file,
+		location: sourceMap ? toFileLocation(sourceMap, error.location) : error.location
+	});
+	const nestedErrors = collectSyntaxErrors(ast);
+	for (const error of nestedErrors) diagnostics.push({
+		code: `syntax-${error.code}`,
+		severity: "error",
+		message: error.message,
+		file,
+		location: sourceMap ? toFileLocation(sourceMap, error.location) : error.location
+	});
+	return diagnostics;
+}
+/**
+* Check a workspace for issues using all configured rules
+*/
+function check(workspace, config = {}) {
+	const diagnostics = [];
+	for (const model of workspace.allModels()) diagnostics.push(...collectSyntaxErrors$1(model.ast, model.file, model.sourceMap));
+	const index = buildWorkspaceIndex(workspace);
+	runVisitors(allRules.filter((r) => getEffectiveSeverity(r, config) !== "off").map((rule) => createTrackedVisitor(rule, config, diagnostics)), workspace, index, noop);
+	return diagnostics;
+}
+/**
+* Check a single model for issues
+*/
+function checkModel(model, workspace, config = {}) {
+	const diagnostics = [];
+	diagnostics.push(...collectSyntaxErrors$1(model.ast, model.file, model.sourceMap));
+	const index = buildWorkspaceIndex(workspace);
+	runVisitorsOnModel(allRules.filter((r) => getEffectiveSeverity(r, config) !== "off").map((rule) => createTrackedVisitor(rule, config, diagnostics)), model, workspace, index, noop);
+	return diagnostics.filter((d) => d.file === model.file);
+}
+/**
+* Check a single document for issues (alias for checkModel that gets model from workspace)
+*/
+function checkDocument(file, workspace, config = {}) {
+	const model = workspace.getModel(file);
+	if (!model) return [];
+	return checkModel(model, workspace, config);
+}
+/**
+* Create a visitor that tracks diagnostics for a specific rule.
+* Assumes the rule has already been filtered to ensure severity !== "off".
+*/
+function createTrackedVisitor(rule, config, diagnostics) {
+	const severity = getEffectiveSeverity(rule, config);
+	const v = rule.visitor;
+	const wrapCtx = (ctx) => ({
+		...ctx,
+		report: (partial) => {
+			diagnostics.push(createDiagnostic(partial, rule.code, severity));
+		}
+	});
+	return {
+		beforeCheck: v.beforeCheck ? (ctx) => v.beforeCheck(wrapCtx(ctx)) : void 0,
+		visitInstanceEntry: v.visitInstanceEntry ? (entry, ctx) => v.visitInstanceEntry(entry, wrapCtx(ctx)) : void 0,
+		visitSchemaEntry: v.visitSchemaEntry ? (entry, ctx) => v.visitSchemaEntry(entry, wrapCtx(ctx)) : void 0,
+		visitSynthesisEntry: v.visitSynthesisEntry ? (entry, ctx) => v.visitSynthesisEntry(entry, wrapCtx(ctx)) : void 0,
+		visitActualizeEntry: v.visitActualizeEntry ? (entry, ctx) => v.visitActualizeEntry(entry, wrapCtx(ctx)) : void 0,
+		afterCheck: v.afterCheck ? (ctx) => v.afterCheck(wrapCtx(ctx)) : void 0
+	};
+}
+/**
+* Convert a partial diagnostic to a full diagnostic.
+*/
+function createDiagnostic(partial, code, severity) {
+	const location = partial.sourceMap ? toFileLocation(partial.sourceMap, partial.location) : partial.location;
+	return {
+		code,
+		severity,
+		message: partial.message,
+		file: partial.file,
+		location,
+		data: partial.data
+	};
+}
+
+//#endregion
+export { check, checkDocument };
+//# sourceMappingURL=check.js.map

package/dist/checker/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","names":["collectSyntaxErrors","diagnostics: Diagnostic[]","collectSyntaxErrorNodes"],"sources":["../../src/checker/check.ts"],"sourcesContent":["import type { Workspace, InvalidationResult } from \"../model/workspace.js\";\nimport type { SemanticModel } from \"../semantic/analyzer.js\";\nimport type { Entry, SourceFile } from \"../ast/ast-types.js\";\nimport type { Rule, Severity } from \"./rules/rules.js\";\nimport { allRules } from \"./rules/rules.js\";\nimport { toFileLocation, type SourceMap } from \"../source-map.js\";\nimport { collectSyntaxErrors as collectSyntaxErrorNodes } from \"../ast/visitor.js\";\nimport { buildWorkspaceIndex } from \"./workspace-index.js\";\nimport { runVisitors, runVisitorsOnModel, runVisitorsOnEntries } from \"./visitor.js\";\nimport type { RuleVisitor } from \"./visitor.js\";\nimport type { Location } from \"../ast/ast-types.js\";\n\n/**\n * A diagnostic message from the checker\n */\nexport interface Diagnostic {\n  /** The rule code that generated this diagnostic */\n  code: string;\n  /** Severity level */\n  severity: Exclude<Severity, \"off\">;\n  /** Human-readable message */\n  message: string;\n  /** File path where the issue was found */\n  file: string;\n  /** Location in the source (file-absolute) */\n  location: Location;\n  /** Additional data for the diagnostic (rule-specific) */\n  data?: Record<string, unknown>;\n}\n\n/**\n * Partial diagnostic with optional sourceMap for position mapping\n */\nexport interface PartialDiagnostic {\n  /** Human-readable message */\n  message: string;\n  /** File path where the issue was found */\n  file: string;\n  /** Location in the source (block-relative) */\n  location: Location;\n  /** Source map for converting block-relative to file-absolute positions */\n  sourceMap?: SourceMap;\n  /** Additional data for the diagnostic (rule-specific) */\n  data?: Record<string, unknown>;\n}\n\n/**\n * Configuration for the checker\n */\nexport interface CheckConfig {\n  /** Override severity for specific rules */\n  rules?: Partial<Record<string, Severity>>;\n}\n\n/**\n * Get the effective severity for a rule given a config\n */\nexport function getEffectiveSeverity(rule: Rule, config: CheckConfig): Severity {\n  return config.rules?.[rule.code] ?? rule.defaultSeverity;\n}\n\n// eslint-disable-next-line @typescript-eslint/no-empty-function\nconst noop = () => {};\n\n/**\n * Collect syntax errors from an AST and convert them to diagnostics.\n * Includes both root-level parse errors and nested syntax errors within entries.\n */\nfunction collectSyntaxErrors(ast: SourceFile, file: string, sourceMap?: SourceMap): Diagnostic[] {\n  const diagnostics: Diagnostic[] = [];\n\n  // Collect root-level syntax errors (malformed entries)\n  for (const error of ast.syntaxErrors) {\n    diagnostics.push({\n      code: `syntax-${error.code}`,\n      severity: \"error\" as const,\n      message: error.message,\n      file,\n      location: sourceMap ? toFileLocation(sourceMap, error.location) : error.location,\n    });\n  }\n\n  // Collect nested syntax errors within valid entries\n  const nestedErrors = collectSyntaxErrorNodes(ast);\n  for (const error of nestedErrors) {\n    diagnostics.push({\n      code: `syntax-${error.code}`,\n      severity: \"error\" as const,\n      message: error.message,\n      file,\n      location: sourceMap ? toFileLocation(sourceMap, error.location) : error.location,\n    });\n  }\n\n  return diagnostics;\n}\n\n/**\n * Check a workspace for issues using all configured rules\n */\nexport function check(workspace: Workspace, config: CheckConfig = {}): Diagnostic[] {\n  const diagnostics: Diagnostic[] = [];\n\n  // Collect syntax errors from all models\n  for (const model of workspace.allModels()) {\n    diagnostics.push(...collectSyntaxErrors(model.ast, model.file, model.sourceMap));\n  }\n\n  // Build workspace index for efficient rule execution\n  const index = buildWorkspaceIndex(workspace);\n\n  // Get active rules and their visitors\n  const activeRules = allRules.filter((r) => getEffectiveSeverity(r, config) !== \"off\");\n  const visitors = activeRules.map((rule) => createTrackedVisitor(rule, config, diagnostics));\n\n  // Run all visitors in a single pass (report handled by wrapped visitors)\n  runVisitors(visitors, workspace, index, noop);\n\n  return diagnostics;\n}\n\n/**\n * Check a single model for issues\n */\nexport function checkModel(\n  model: SemanticModel,\n  workspace: Workspace,\n  config: CheckConfig = {},\n): Diagnostic[] {\n  const diagnostics: Diagnostic[] = [];\n\n  diagnostics.push(...collectSyntaxErrors(model.ast, model.file, model.sourceMap));\n\n  // Build workspace index\n  const index = buildWorkspaceIndex(workspace);\n\n  // Get active rules and their visitors\n  const activeRules = allRules.filter((r) => getEffectiveSeverity(r, config) !== \"off\");\n  const visitors = activeRules.map((rule) => createTrackedVisitor(rule, config, diagnostics));\n\n  // Run visitors on this model only\n  runVisitorsOnModel(visitors, model, workspace, index, noop);\n\n  return diagnostics.filter((d) => d.file === model.file);\n}\n\n/**\n * Check a single document for issues (alias for checkModel that gets model from workspace)\n */\nexport function checkDocument(\n  file: string,\n  workspace: Workspace,\n  config: CheckConfig = {},\n): Diagnostic[] {\n  const model = workspace.getModel(file);\n  if (!model) {\n    return [];\n  }\n  return checkModel(model, workspace, config);\n}\n\n/**\n * Perform incremental checking based on what changed.\n *\n * Only runs rules that are affected by the changes, and only on\n * the affected scope (entry, document, or workspace).\n */\nexport function checkIncremental(\n  workspace: Workspace,\n  changedFile: string,\n  changedEntries: Entry[],\n  invalidation: InvalidationResult,\n  config: CheckConfig = {},\n): Diagnostic[] {\n  const diagnostics: Diagnostic[] = [];\n  const model = workspace.getModel(changedFile);\n  if (!model) {\n    return diagnostics;\n  }\n\n  // Always collect syntax errors\n  diagnostics.push(...collectSyntaxErrors(model.ast, model.file, model.sourceMap));\n\n  // Build index\n  const index = buildWorkspaceIndex(workspace);\n\n  // Partition rules by scope and dependencies\n  const { entryRules, documentRules, workspaceRules } = partitionRulesByScope(\n    allRules,\n    config,\n    invalidation,\n  );\n\n  // Run entry-scoped rules on changed entries only\n  if (entryRules.length > 0 && changedEntries.length > 0) {\n    const visitors = entryRules.map((rule) => createTrackedVisitor(rule, config, diagnostics));\n    runVisitorsOnEntries(visitors, changedEntries, model, workspace, index, noop);\n  }\n\n  // Run document-scoped rules on the full document\n  if (documentRules.length > 0) {\n    const visitors = documentRules.map((rule) => createTrackedVisitor(rule, config, diagnostics));\n    runVisitorsOnModel(visitors, model, workspace, index, noop);\n  }\n\n  // Run workspace-scoped rules\n  if (workspaceRules.length > 0) {\n    const visitors = workspaceRules.map((rule) => createTrackedVisitor(rule, config, diagnostics));\n    runVisitors(visitors, workspace, index, noop);\n  }\n\n  // Filter to only diagnostics for the changed file\n  return diagnostics.filter((d) => d.file === changedFile);\n}\n\n/**\n * Create a visitor that tracks diagnostics for a specific rule.\n * Assumes the rule has already been filtered to ensure severity !== \"off\".\n */\nfunction createTrackedVisitor(\n  rule: Rule,\n  config: CheckConfig,\n  diagnostics: Diagnostic[],\n): RuleVisitor {\n  // Safe: callers filter out rules with severity === \"off\" before calling this function\n  const severity = getEffectiveSeverity(rule, config) as Exclude<Severity, \"off\">;\n  const v = rule.visitor;\n\n  const wrapCtx = <T extends object>(ctx: T) => ({\n    ...ctx,\n    report: (partial: PartialDiagnostic) => {\n      diagnostics.push(createDiagnostic(partial, rule.code, severity));\n    },\n  });\n\n  return {\n    beforeCheck: v.beforeCheck ? (ctx) => v.beforeCheck!(wrapCtx(ctx)) : undefined,\n    visitInstanceEntry: v.visitInstanceEntry\n      ? (entry, ctx) => v.visitInstanceEntry!(entry, wrapCtx(ctx))\n      : undefined,\n    visitSchemaEntry: v.visitSchemaEntry\n      ? (entry, ctx) => v.visitSchemaEntry!(entry, wrapCtx(ctx))\n      : undefined,\n    visitSynthesisEntry: v.visitSynthesisEntry\n      ? (entry, ctx) => v.visitSynthesisEntry!(entry, wrapCtx(ctx))\n      : undefined,\n    visitActualizeEntry: v.visitActualizeEntry\n      ? (entry, ctx) => v.visitActualizeEntry!(entry, wrapCtx(ctx))\n      : undefined,\n    afterCheck: v.afterCheck ? (ctx) => v.afterCheck!(wrapCtx(ctx)) : undefined,\n  };\n}\n\n/**\n * Partition rules by scope, filtering based on invalidation.\n */\nfunction partitionRulesByScope(\n  rules: Rule[],\n  config: CheckConfig,\n  invalidation: InvalidationResult,\n): { entryRules: Rule[]; documentRules: Rule[]; workspaceRules: Rule[] } {\n  const entryRules: Rule[] = [];\n  const documentRules: Rule[] = [];\n  const workspaceRules: Rule[] = [];\n\n  for (const rule of rules) {\n    const severity = getEffectiveSeverity(rule, config);\n    if (severity === \"off\") {\n      continue;\n    }\n\n    const deps = rule.dependencies;\n    const scope = deps.scope;\n\n    if (scope === \"workspace\") {\n      // Only run if relevant dependencies changed\n      if (deps.schemas && invalidation.schemasChanged) {\n        workspaceRules.push(rule);\n      } else if (deps.links && invalidation.linksChanged) {\n        workspaceRules.push(rule);\n      } else if (!deps.schemas && !deps.links) {\n        workspaceRules.push(rule);\n      }\n    } else if (scope === \"document\") {\n      documentRules.push(rule);\n    } else {\n      entryRules.push(rule);\n    }\n  }\n\n  return { entryRules, documentRules, workspaceRules };\n}\n\n/**\n * Convert a partial diagnostic to a full diagnostic.\n */\nfunction createDiagnostic(\n  partial: PartialDiagnostic,\n  code: string,\n  severity: Exclude<Severity, \"off\">,\n): Diagnostic {\n  const location = partial.sourceMap\n    ? toFileLocation(partial.sourceMap, partial.location)\n    : partial.location;\n\n  return {\n    code,\n    severity,\n    message: partial.message,\n    file: partial.file,\n    location,\n    data: partial.data,\n  };\n}\n"],"mappings":";;;;;;;;;;AAyDA,SAAgB,qBAAqB,MAAY,QAA+B;AAC9E,QAAO,OAAO,QAAQ,KAAK,SAAS,KAAK;;AAI3C,MAAM,aAAa;;;;;AAMnB,SAASA,sBAAoB,KAAiB,MAAc,WAAqC;CAC/F,MAAMC,cAA4B,EAAE;AAGpC,MAAK,MAAM,SAAS,IAAI,aACtB,aAAY,KAAK;EACf,MAAM,UAAU,MAAM;EACtB,UAAU;EACV,SAAS,MAAM;EACf;EACA,UAAU,YAAY,eAAe,WAAW,MAAM,SAAS,GAAG,MAAM;EACzE,CAAC;CAIJ,MAAM,eAAeC,oBAAwB,IAAI;AACjD,MAAK,MAAM,SAAS,aAClB,aAAY,KAAK;EACf,MAAM,UAAU,MAAM;EACtB,UAAU;EACV,SAAS,MAAM;EACf;EACA,UAAU,YAAY,eAAe,WAAW,MAAM,SAAS,GAAG,MAAM;EACzE,CAAC;AAGJ,QAAO;;;;;AAMT,SAAgB,MAAM,WAAsB,SAAsB,EAAE,EAAgB;CAClF,MAAMD,cAA4B,EAAE;AAGpC,MAAK,MAAM,SAAS,UAAU,WAAW,CACvC,aAAY,KAAK,GAAGD,sBAAoB,MAAM,KAAK,MAAM,MAAM,MAAM,UAAU,CAAC;CAIlF,MAAM,QAAQ,oBAAoB,UAAU;AAO5C,aAJoB,SAAS,QAAQ,MAAM,qBAAqB,GAAG,OAAO,KAAK,MAAM,CACxD,KAAK,SAAS,qBAAqB,MAAM,QAAQ,YAAY,CAAC,EAGrE,WAAW,OAAO,KAAK;AAE7C,QAAO;;;;;AAMT,SAAgB,WACd,OACA,WACA,SAAsB,EAAE,EACV;CACd,MAAMC,cAA4B,EAAE;AAEpC,aAAY,KAAK,GAAGD,sBAAoB,MAAM,KAAK,MAAM,MAAM,MAAM,UAAU,CAAC;CAGhF,MAAM,QAAQ,oBAAoB,UAAU;AAO5C,oBAJoB,SAAS,QAAQ,MAAM,qBAAqB,GAAG,OAAO,KAAK,MAAM,CACxD,KAAK,SAAS,qBAAqB,MAAM,QAAQ,YAAY,CAAC,EAG9D,OAAO,WAAW,OAAO,KAAK;AAE3D,QAAO,YAAY,QAAQ,MAAM,EAAE,SAAS,MAAM,KAAK;;;;;AAMzD,SAAgB,cACd,MACA,WACA,SAAsB,EAAE,EACV;CACd,MAAM,QAAQ,UAAU,SAAS,KAAK;AACtC,KAAI,CAAC,MACH,QAAO,EAAE;AAEX,QAAO,WAAW,OAAO,WAAW,OAAO;;;;;;AA6D7C,SAAS,qBACP,MACA,QACA,aACa;CAEb,MAAM,WAAW,qBAAqB,MAAM,OAAO;CACnD,MAAM,IAAI,KAAK;CAEf,MAAM,WAA6B,SAAY;EAC7C,GAAG;EACH,SAAS,YAA+B;AACtC,eAAY,KAAK,iBAAiB,SAAS,KAAK,MAAM,SAAS,CAAC;;EAEnE;AAED,QAAO;EACL,aAAa,EAAE,eAAe,QAAQ,EAAE,YAAa,QAAQ,IAAI,CAAC,GAAG;EACrE,oBAAoB,EAAE,sBACjB,OAAO,QAAQ,EAAE,mBAAoB,OAAO,QAAQ,IAAI,CAAC,GAC1D;EACJ,kBAAkB,EAAE,oBACf,OAAO,QAAQ,EAAE,iBAAkB,OAAO,QAAQ,IAAI,CAAC,GACxD;EACJ,qBAAqB,EAAE,uBAClB,OAAO,QAAQ,EAAE,oBAAqB,OAAO,QAAQ,IAAI,CAAC,GAC3D;EACJ,qBAAqB,EAAE,uBAClB,OAAO,QAAQ,EAAE,oBAAqB,OAAO,QAAQ,IAAI,CAAC,GAC3D;EACJ,YAAY,EAAE,cAAc,QAAQ,EAAE,WAAY,QAAQ,IAAI,CAAC,GAAG;EACnE;;;;;AA8CH,SAAS,iBACP,SACA,MACA,UACY;CACZ,MAAM,WAAW,QAAQ,YACrB,eAAe,QAAQ,WAAW,QAAQ,SAAS,GACnD,QAAQ;AAEZ,QAAO;EACL;EACA;EACA,SAAS,QAAQ;EACjB,MAAM,QAAQ;EACd;EACA,MAAM,QAAQ;EACf"}

package/dist/checker/rules/actualize-missing-updated.js

@@ -0,0 +1,34 @@
+import { formatTimestamp } from "../../formatters.js";
+
+//#region src/checker/rules/actualize-missing-updated.ts
+const category = "metadata";
+const visitor = { visitActualizeEntry(entry, ctx) {
+	const target = entry.header.target.id;
+	const timestamp = formatTimestamp(entry.header.timestamp);
+	if (!entry.metadata.find((m) => m.key.value === "checkpoint")) ctx.report({
+		message: `Actualize entry is missing checkpoint. Add 'checkpoint: "ts:${timestamp}"' or 'checkpoint: "git:<hash>"' to track when this synthesis was last run.`,
+		file: ctx.file,
+		location: entry.location,
+		sourceMap: ctx.sourceMap,
+		data: {
+			target,
+			suggestedTimestamp: timestamp
+		}
+	});
+} };
+/**
+* Check that actualize-synthesis entries have a checkpoint field for tracking
+*/
+const actualizeMissingUpdatedRule = {
+	code: "actualize-missing-updated",
+	name: "Actualize Missing Checkpoint",
+	description: "An actualize-synthesis entry must have a 'checkpoint:' field for tracking",
+	category,
+	defaultSeverity: "error",
+	dependencies: { scope: "entry" },
+	visitor
+};
+
+//#endregion
+export { actualizeMissingUpdatedRule };
+//# sourceMappingURL=actualize-missing-updated.js.map

package/dist/checker/rules/actualize-missing-updated.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actualize-missing-updated.js","names":["category: RuleCategory","visitor: RuleVisitor","actualizeMissingUpdatedRule: Rule"],"sources":["../../../src/checker/rules/actualize-missing-updated.ts"],"sourcesContent":["import type { Rule, RuleCategory } from \"../rules/rules.js\";\nimport type { RuleVisitor } from \"../visitor.js\";\nimport { formatTimestamp } from \"../../formatters.js\";\n\nconst category: RuleCategory = \"metadata\";\n\nconst visitor: RuleVisitor = {\n  visitActualizeEntry(entry, ctx) {\n    const target = entry.header.target.id;\n    const timestamp = formatTimestamp(entry.header.timestamp);\n    const checkpointField = entry.metadata.find((m) => m.key.value === \"checkpoint\");\n\n    if (!checkpointField) {\n      ctx.report({\n        message: `Actualize entry is missing checkpoint. Add 'checkpoint: \"ts:${timestamp}\"' or 'checkpoint: \"git:<hash>\"' to track when this synthesis was last run.`,\n        file: ctx.file,\n        location: entry.location,\n        sourceMap: ctx.sourceMap,\n        data: { target, suggestedTimestamp: timestamp },\n      });\n    }\n  },\n};\n\n/**\n * Check that actualize-synthesis entries have a checkpoint field for tracking\n */\nexport const actualizeMissingUpdatedRule: Rule = {\n  code: \"actualize-missing-updated\",\n  name: \"Actualize Missing Checkpoint\",\n  description: \"An actualize-synthesis entry must have a 'checkpoint:' field for tracking\",\n  category,\n  defaultSeverity: \"error\",\n  dependencies: { scope: \"entry\" },\n  visitor,\n};\n"],"mappings":";;;AAIA,MAAMA,WAAyB;AAE/B,MAAMC,UAAuB,EAC3B,oBAAoB,OAAO,KAAK;CAC9B,MAAM,SAAS,MAAM,OAAO,OAAO;CACnC,MAAM,YAAY,gBAAgB,MAAM,OAAO,UAAU;AAGzD,KAAI,CAFoB,MAAM,SAAS,MAAM,MAAM,EAAE,IAAI,UAAU,aAAa,CAG9E,KAAI,OAAO;EACT,SAAS,+DAA+D,UAAU;EAClF,MAAM,IAAI;EACV,UAAU,MAAM;EAChB,WAAW,IAAI;EACf,MAAM;GAAE;GAAQ,oBAAoB;GAAW;EAChD,CAAC;GAGP;;;;AAKD,MAAaC,8BAAoC;CAC/C,MAAM;CACN,MAAM;CACN,aAAa;CACb;CACA,iBAAiB;CACjB,cAAc,EAAE,OAAO,SAAS;CAChC;CACD"}

package/dist/checker/rules/actualize-unresolved-target.js

@@ -0,0 +1,42 @@
+//#region src/checker/rules/actualize-unresolved-target.ts
+const category = "link";
+const visitor = { visitActualizeEntry(entry, ctx) {
+	const targetId = entry.header.target.id;
+	const targetDef = ctx.workspace.getLinkDefinition(targetId);
+	if (!targetDef) ctx.report({
+		message: `Actualize references undefined synthesis '^${targetId}'. Define a synthesis with this link ID first.`,
+		file: ctx.file,
+		location: entry.location,
+		sourceMap: ctx.sourceMap,
+		data: { target: targetId }
+	});
+	else if (targetDef.entry.type !== "synthesis_entry") ctx.report({
+		message: `Actualize target '^${targetId}' is not a synthesis definition (found '${targetDef.entry.type}' entry).`,
+		file: ctx.file,
+		location: entry.location,
+		sourceMap: ctx.sourceMap,
+		data: {
+			target: targetId,
+			actualKind: targetDef.entry.type
+		}
+	});
+} };
+/**
+* Check that actualize-synthesis entries reference a valid synthesis definition
+*/
+const actualizeUnresolvedTargetRule = {
+	code: "actualize-unresolved-target",
+	name: "Actualize Unresolved Target",
+	description: "An actualize-synthesis must reference a defined synthesis",
+	category,
+	defaultSeverity: "error",
+	dependencies: {
+		scope: "entry",
+		links: true
+	},
+	visitor
+};
+
+//#endregion
+export { actualizeUnresolvedTargetRule };
+//# sourceMappingURL=actualize-unresolved-target.js.map

package/dist/checker/rules/actualize-unresolved-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actualize-unresolved-target.js","names":["category: RuleCategory","visitor: RuleVisitor","actualizeUnresolvedTargetRule: Rule"],"sources":["../../../src/checker/rules/actualize-unresolved-target.ts"],"sourcesContent":["import type { Rule, RuleCategory } from \"../rules/rules.js\";\nimport type { RuleVisitor } from \"../visitor.js\";\n\nconst category: RuleCategory = \"link\";\n\nconst visitor: RuleVisitor = {\n  visitActualizeEntry(entry, ctx) {\n    const targetId = entry.header.target.id;\n    const targetDef = ctx.workspace.getLinkDefinition(targetId);\n\n    if (!targetDef) {\n      ctx.report({\n        message: `Actualize references undefined synthesis '^${targetId}'. Define a synthesis with this link ID first.`,\n        file: ctx.file,\n        location: entry.location,\n        sourceMap: ctx.sourceMap,\n        data: { target: targetId },\n      });\n    } else if (targetDef.entry.type !== \"synthesis_entry\") {\n      ctx.report({\n        message: `Actualize target '^${targetId}' is not a synthesis definition (found '${targetDef.entry.type}' entry).`,\n        file: ctx.file,\n        location: entry.location,\n        sourceMap: ctx.sourceMap,\n        data: { target: targetId, actualKind: targetDef.entry.type },\n      });\n    }\n  },\n};\n\n/**\n * Check that actualize-synthesis entries reference a valid synthesis definition\n */\nexport const actualizeUnresolvedTargetRule: Rule = {\n  code: \"actualize-unresolved-target\",\n  name: \"Actualize Unresolved Target\",\n  description: \"An actualize-synthesis must reference a defined synthesis\",\n  category,\n  defaultSeverity: \"error\",\n  dependencies: { scope: \"entry\", links: true },\n  visitor,\n};\n"],"mappings":";AAGA,MAAMA,WAAyB;AAE/B,MAAMC,UAAuB,EAC3B,oBAAoB,OAAO,KAAK;CAC9B,MAAM,WAAW,MAAM,OAAO,OAAO;CACrC,MAAM,YAAY,IAAI,UAAU,kBAAkB,SAAS;AAE3D,KAAI,CAAC,UACH,KAAI,OAAO;EACT,SAAS,8CAA8C,SAAS;EAChE,MAAM,IAAI;EACV,UAAU,MAAM;EAChB,WAAW,IAAI;EACf,MAAM,EAAE,QAAQ,UAAU;EAC3B,CAAC;UACO,UAAU,MAAM,SAAS,kBAClC,KAAI,OAAO;EACT,SAAS,sBAAsB,SAAS,0CAA0C,UAAU,MAAM,KAAK;EACvG,MAAM,IAAI;EACV,UAAU,MAAM;EAChB,WAAW,IAAI;EACf,MAAM;GAAE,QAAQ;GAAU,YAAY,UAAU,MAAM;GAAM;EAC7D,CAAC;GAGP;;;;AAKD,MAAaC,gCAAsC;CACjD,MAAM;CACN,MAAM;CACN,aAAa;CACb;CACA,iBAAiB;CACjB,cAAc;EAAE,OAAO;EAAS,OAAO;EAAM;CAC7C;CACD"}