@grafema/core 0.1.0-alpha.5 → 0.1.1-alpha

package/dist/core/nodes/ScopeNode.js

@@ -1,6 +1,14 @@
 /**
  * ScopeNode - contract for SCOPE node
+ *
+ * Supports two creation modes:
+ * 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
+ * 2. create() - LEGACY: Uses line-based IDs for backward compatibility
+ *
+ * Semantic ID format: {file}->{scope_path}->SCOPE->{scopeType}#N
+ * Example: src/app.js->handler->SCOPE->if#0
  */
+import { computeSemanticId } from '../SemanticId.js';
 export class ScopeNode {
     static TYPE = 'SCOPE';
     static REQUIRED = ['scopeType', 'file', 'line'];
@@ -31,6 +39,47 @@ export class ScopeNode {
             capturesFrom: options.capturesFrom
         };
     }
+    /**
+     * Create SCOPE node with semantic ID (NEW API)
+     *
+     * Uses ScopeContext from ScopeTracker for stable identifiers.
+     * Requires discriminator for multiple scopes of same type within parent scope.
+     *
+     * @param scopeType - Type of scope (if, else, try, catch, finally, for, while, switch)
+     * @param context - Scope context from ScopeTracker.getContext()
+     * @param location - Source location { line }
+     * @param options - Options including required discriminator
+     * @returns ScopeNodeRecord with semantic ID
+     */
+    static createWithContext(scopeType, context, location, options) {
+        // Validate required fields
+        if (!scopeType)
+            throw new Error('ScopeNode.createWithContext: scopeType is required');
+        if (!context.file)
+            throw new Error('ScopeNode.createWithContext: file is required');
+        if (location.line === undefined)
+            throw new Error('ScopeNode.createWithContext: line is required');
+        if (options.discriminator === undefined)
+            throw new Error('ScopeNode.createWithContext: discriminator is required');
+        // Compute semantic ID with discriminator
+        const id = computeSemanticId('SCOPE', scopeType, context, {
+            discriminator: options.discriminator
+        });
+        // Name includes the discriminator for display purposes
+        const name = `${scopeType}#${options.discriminator}`;
+        return {
+            id,
+            type: this.TYPE,
+            scopeType,
+            name,
+            file: context.file,
+            line: location.line,
+            conditional: options.conditional || false,
+            parentScopeId: options.parentScopeId,
+            parentFunctionId: options.parentFunctionId,
+            capturesFrom: options.capturesFrom
+        };
+    }
     static validate(node) {
         const errors = [];
         if (node.type !== this.TYPE) {

package/dist/core/nodes/TypeNode.d.ts

@@ -0,0 +1,36 @@
+/**
+ * TypeNode - contract for TYPE node
+ *
+ * Represents TypeScript type alias declarations.
+ *
+ * ID format: {file}:TYPE:{name}:{line}
+ * Example: /src/types.ts:TYPE:UserId:10
+ */
+import type { BaseNodeRecord } from '@grafema/types';
+interface TypeNodeRecord extends BaseNodeRecord {
+    type: 'TYPE';
+    column: number;
+    aliasOf?: string;
+}
+interface TypeNodeOptions {
+    aliasOf?: string;
+}
+export declare class TypeNode {
+    static readonly TYPE: "TYPE";
+    static readonly REQUIRED: readonly ["name", "file", "line"];
+    static readonly OPTIONAL: readonly ["column", "aliasOf"];
+    /**
+     * Create TYPE node
+     *
+     * @param name - Type alias name
+     * @param file - File path
+     * @param line - Line number
+     * @param column - Column position
+     * @param options - Optional type properties
+     * @returns TypeNodeRecord
+     */
+    static create(name: string, file: string, line: number, column: number, options?: TypeNodeOptions): TypeNodeRecord;
+    static validate(node: TypeNodeRecord): string[];
+}
+export type { TypeNodeRecord };
+//# sourceMappingURL=TypeNode.d.ts.map

package/dist/core/nodes/TypeNode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/TypeNode.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,cAAe,SAAQ,cAAc;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,UAAU,eAAe;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,QAAQ;IACnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAU;IAEvC,MAAM,CAAC,QAAQ,CAAC,QAAQ,oCAAqC;IAC7D,MAAM,CAAC,QAAQ,CAAC,QAAQ,iCAAkC;IAE1D;;;;;;;;;OASG;IACH,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAoB,GAC5B,cAAc;IAgBjB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,EAAE;CAgBhD;AAED,YAAY,EAAE,cAAc,EAAE,CAAC"}

package/dist/core/nodes/TypeNode.js

@@ -0,0 +1,53 @@
+/**
+ * TypeNode - contract for TYPE node
+ *
+ * Represents TypeScript type alias declarations.
+ *
+ * ID format: {file}:TYPE:{name}:{line}
+ * Example: /src/types.ts:TYPE:UserId:10
+ */
+export class TypeNode {
+    static TYPE = 'TYPE';
+    static REQUIRED = ['name', 'file', 'line'];
+    static OPTIONAL = ['column', 'aliasOf'];
+    /**
+     * Create TYPE node
+     *
+     * @param name - Type alias name
+     * @param file - File path
+     * @param line - Line number
+     * @param column - Column position
+     * @param options - Optional type properties
+     * @returns TypeNodeRecord
+     */
+    static create(name, file, line, column, options = {}) {
+        if (!name)
+            throw new Error('TypeNode.create: name is required');
+        if (!file)
+            throw new Error('TypeNode.create: file is required');
+        if (!line)
+            throw new Error('TypeNode.create: line is required');
+        return {
+            id: `${file}:TYPE:${name}:${line}`,
+            type: this.TYPE,
+            name,
+            file,
+            line,
+            column: column || 0,
+            aliasOf: options.aliasOf
+        };
+    }
+    static validate(node) {
+        const errors = [];
+        if (node.type !== this.TYPE) {
+            errors.push(`Expected type ${this.TYPE}, got ${node.type}`);
+        }
+        const nodeRecord = node;
+        for (const field of this.REQUIRED) {
+            if (!nodeRecord[field]) {
+                errors.push(`Missing required field: ${field}`);
+            }
+        }
+        return errors;
+    }
+}

package/dist/core/nodes/VariableDeclarationNode.d.ts

@@ -1,7 +1,15 @@
 /**
  * VariableDeclarationNode - contract for VARIABLE_DECLARATION node
+ *
+ * Supports two creation modes:
+ * 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
+ * 2. create() - LEGACY: Uses line-based IDs for backward compatibility
+ *
+ * Semantic ID format: {file}->{scope_path}->VARIABLE->{name}
+ * Example: src/app.js->handler->VARIABLE->result
  */
 import type { BaseNodeRecord } from '@grafema/types';
+import { type ScopeContext, type Location } from '../SemanticId.js';
 interface VariableDeclarationNodeRecord extends BaseNodeRecord {
     type: 'VARIABLE_DECLARATION';
     column: number;
@@ -11,11 +19,30 @@ interface VariableDeclarationNodeOptions {
     parentScopeId?: string;
     counter?: number;
 }
+/**
+ * Options for createWithContext
+ */
+interface VariableContextOptions {
+    parentScopeId?: string;
+}
 export declare class VariableDeclarationNode {
     static readonly TYPE: "VARIABLE_DECLARATION";
     static readonly REQUIRED: readonly ["name", "file", "line"];
     static readonly OPTIONAL: readonly ["column", "parentScopeId"];
     static create(name: string, file: string, line: number, column: number, options?: VariableDeclarationNodeOptions): VariableDeclarationNodeRecord;
+    /**
+     * Create VARIABLE_DECLARATION node with semantic ID (NEW API)
+     *
+     * Uses ScopeContext from ScopeTracker for stable identifiers.
+     * Variable names are unique within scope (handles shadowing naturally).
+     *
+     * @param name - Variable name
+     * @param context - Scope context from ScopeTracker.getContext()
+     * @param location - Source location { line, column }
+     * @param options - Optional variable properties
+     * @returns VariableDeclarationNodeRecord with semantic ID
+     */
+    static createWithContext(name: string, context: ScopeContext, location: Partial<Location>, options?: VariableContextOptions): VariableDeclarationNodeRecord;
     static validate(node: VariableDeclarationNodeRecord): string[];
 }
 export type { VariableDeclarationNodeRecord };

package/dist/core/nodes/VariableDeclarationNode.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"VariableDeclarationNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/VariableDeclarationNode.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,6BAA8B,SAAQ,cAAc;IAC5D,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,8BAA8B;IACtC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,uBAAuB;IAClC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,sBAAsB,CAAU;IAEvD,MAAM,CAAC,QAAQ,CAAC,QAAQ,oCAAqC;IAC7D,MAAM,CAAC,QAAQ,CAAC,QAAQ,uCAAwC;IAEhE,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,8BAAmC,GAC3C,6BAA6B;IAmBhC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,MAAM,EAAE;CAS/D;AAED,YAAY,EAAE,6BAA6B,EAAE,CAAC"}
+{"version":3,"file":"VariableDeclarationNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/VariableDeclarationNode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEvF,UAAU,6BAA8B,SAAQ,cAAc;IAC5D,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,8BAA8B;IACtC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,sBAAsB;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,qBAAa,uBAAuB;IAClC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,sBAAsB,CAAU;IAEvD,MAAM,CAAC,QAAQ,CAAC,QAAQ,oCAAqC;IAC7D,MAAM,CAAC,QAAQ,CAAC,QAAQ,uCAAwC;IAEhE,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,8BAAmC,GAC3C,6BAA6B;IAmBhC;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,iBAAiB,CACtB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAC3B,OAAO,GAAE,sBAA2B,GACnC,6BAA6B;IAoBhC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,MAAM,EAAE;CAS/D;AAED,YAAY,EAAE,6BAA6B,EAAE,CAAC"}

package/dist/core/nodes/VariableDeclarationNode.js

@@ -1,6 +1,14 @@
 /**
  * VariableDeclarationNode - contract for VARIABLE_DECLARATION node
+ *
+ * Supports two creation modes:
+ * 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
+ * 2. create() - LEGACY: Uses line-based IDs for backward compatibility
+ *
+ * Semantic ID format: {file}->{scope_path}->VARIABLE->{name}
+ * Example: src/app.js->handler->VARIABLE->result
  */
+import { computeSemanticId } from '../SemanticId.js';
 export class VariableDeclarationNode {
     static TYPE = 'VARIABLE_DECLARATION';
     static REQUIRED = ['name', 'file', 'line'];
@@ -24,6 +32,38 @@ export class VariableDeclarationNode {
             parentScopeId: options.parentScopeId
         };
     }
+    /**
+     * Create VARIABLE_DECLARATION node with semantic ID (NEW API)
+     *
+     * Uses ScopeContext from ScopeTracker for stable identifiers.
+     * Variable names are unique within scope (handles shadowing naturally).
+     *
+     * @param name - Variable name
+     * @param context - Scope context from ScopeTracker.getContext()
+     * @param location - Source location { line, column }
+     * @param options - Optional variable properties
+     * @returns VariableDeclarationNodeRecord with semantic ID
+     */
+    static createWithContext(name, context, location, options = {}) {
+        // Validate required fields
+        if (!name)
+            throw new Error('VariableDeclarationNode.createWithContext: name is required');
+        if (!context.file)
+            throw new Error('VariableDeclarationNode.createWithContext: file is required');
+        if (location.line === undefined)
+            throw new Error('VariableDeclarationNode.createWithContext: line is required');
+        // Compute semantic ID using 'VARIABLE' type for cleaner IDs
+        const id = computeSemanticId('VARIABLE', name, context);
+        return {
+            id,
+            type: this.TYPE,
+            name,
+            file: context.file,
+            line: location.line,
+            column: location.column ?? 0,
+            parentScopeId: options.parentScopeId
+        };
+    }
     static validate(node) {
         const errors = [];
         if (node.type !== this.TYPE)

package/dist/core/nodes/index.d.ts

@@ -14,12 +14,23 @@ export { MethodCallNode, type MethodCallNodeRecord } from './MethodCallNode.js';
 export { VariableDeclarationNode, type VariableDeclarationNodeRecord } from './VariableDeclarationNode.js';
 export { ConstantNode, type ConstantNodeRecord } from './ConstantNode.js';
 export { LiteralNode, type LiteralNodeRecord } from './LiteralNode.js';
-export { ImportNode, type ImportNodeRecord, type ImportKind } from './ImportNode.js';
+export { ObjectLiteralNode, type ObjectLiteralNodeRecord, type ObjectLiteralNodeOptions } from './ObjectLiteralNode.js';
+export { ArrayLiteralNode, type ArrayLiteralNodeRecord, type ArrayLiteralNodeOptions } from './ArrayLiteralNode.js';
+export { ImportNode, type ImportNodeRecord, type ImportBinding, type ImportType } from './ImportNode.js';
 export { ExportNode, type ExportNodeRecord, type ExportKind } from './ExportNode.js';
+export { ExternalModuleNode, type ExternalModuleNodeRecord } from './ExternalModuleNode.js';
+export { InterfaceNode, type InterfaceNodeRecord, type InterfacePropertyRecord } from './InterfaceNode.js';
+export { TypeNode, type TypeNodeRecord } from './TypeNode.js';
+export { EnumNode, type EnumNodeRecord, type EnumMemberRecord } from './EnumNode.js';
+export { DecoratorNode, type DecoratorNodeRecord, type DecoratorTargetType } from './DecoratorNode.js';
+export { ExpressionNode, type ExpressionNodeRecord, type ExpressionNodeOptions } from './ExpressionNode.js';
+export { ArgumentExpressionNode, type ArgumentExpressionNodeRecord, type ArgumentExpressionNodeOptions } from './ArgumentExpressionNode.js';
 export { ExternalStdioNode, type ExternalStdioNodeRecord } from './ExternalStdioNode.js';
+export { NetworkRequestNode, type NetworkRequestNodeRecord } from './NetworkRequestNode.js';
 export { EventListenerNode, type EventListenerNodeRecord } from './EventListenerNode.js';
 export { HttpRequestNode, type HttpRequestNodeRecord } from './HttpRequestNode.js';
 export { DatabaseQueryNode, type DatabaseQueryNodeRecord } from './DatabaseQueryNode.js';
 export { GuaranteeNode, type GuaranteeNodeRecord, type GuaranteePriority, type GuaranteeStatus, type GuaranteeType } from './GuaranteeNode.js';
+export { IssueNode, type IssueNodeRecord, type IssueSeverity, type IssueType } from './IssueNode.js';
 export { NODE_TYPE, NAMESPACED_TYPE, isNamespacedType, getNamespace, getBaseName, isEndpointType, isSideEffectType, matchesTypePattern, isGuaranteeType, type BaseNodeType, type NamespacedNodeType, type NodeType, } from './NodeKind.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/core/nodes/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,KAAK,iBAAiB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC/M,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGjE,OAAO,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,KAAK,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGvE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGrF,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,eAAe,EAAE,KAAK,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAGzF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAG/I,OAAO,EACL,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,KAAK,iBAAiB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC/M,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGjE,OAAO,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,KAAK,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,KAAK,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACxH,OAAO,EAAE,gBAAgB,EAAE,KAAK,sBAAsB,EAAE,KAAK,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAGpH,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,aAAa,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzG,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,KAAK,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAG5F,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC3G,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGvG,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,KAAK,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,EAAE,sBAAsB,EAAE,KAAK,4BAA4B,EAAE,KAAK,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAG5I,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,KAAK,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,eAAe,EAAE,KAAK,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAGzF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAG/I,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGrG,OAAO,EACL,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,eAAe,CAAC"}

package/dist/core/nodes/index.js

@@ -16,15 +16,29 @@ export { MethodCallNode } from './MethodCallNode.js';
 export { VariableDeclarationNode } from './VariableDeclarationNode.js';
 export { ConstantNode } from './ConstantNode.js';
 export { LiteralNode } from './LiteralNode.js';
+export { ObjectLiteralNode } from './ObjectLiteralNode.js';
+export { ArrayLiteralNode } from './ArrayLiteralNode.js';
 // Import/Export nodes
 export { ImportNode } from './ImportNode.js';
 export { ExportNode } from './ExportNode.js';
+export { ExternalModuleNode } from './ExternalModuleNode.js';
+// TypeScript declaration nodes
+export { InterfaceNode } from './InterfaceNode.js';
+export { TypeNode } from './TypeNode.js';
+export { EnumNode } from './EnumNode.js';
+export { DecoratorNode } from './DecoratorNode.js';
+// Expression nodes
+export { ExpressionNode } from './ExpressionNode.js';
+export { ArgumentExpressionNode } from './ArgumentExpressionNode.js';
 // External/IO nodes
 export { ExternalStdioNode } from './ExternalStdioNode.js';
+export { NetworkRequestNode } from './NetworkRequestNode.js';
 export { EventListenerNode } from './EventListenerNode.js';
 export { HttpRequestNode } from './HttpRequestNode.js';
 export { DatabaseQueryNode } from './DatabaseQueryNode.js';
 // Guarantee nodes (contract-based)
 export { GuaranteeNode } from './GuaranteeNode.js';
+// Issue nodes (detected problems)
+export { IssueNode } from './IssueNode.js';
 // Node type constants and helpers
 export { NODE_TYPE, NAMESPACED_TYPE, isNamespacedType, getNamespace, getBaseName, isEndpointType, isSideEffectType, matchesTypePattern, isGuaranteeType, } from './NodeKind.js';

package/dist/diagnostics/DiagnosticCollector.d.ts

@@ -0,0 +1,98 @@
+/**
+ * DiagnosticCollector - Collects and filters diagnostics from plugin execution
+ *
+ * The DiagnosticCollector aggregates errors from PluginResult.errors[],
+ * converting both GrafemaError instances (with rich info) and plain Error
+ * instances (treated as generic errors) into unified Diagnostic entries.
+ *
+ * Usage:
+ *   const collector = new DiagnosticCollector();
+ *   collector.addFromPluginResult('INDEXING', 'JSModuleIndexer', result);
+ *
+ *   if (collector.hasFatal()) {
+ *     throw new Error('Fatal error detected');
+ *   }
+ *
+ *   console.log(collector.toDiagnosticsLog());
+ */
+import type { PluginPhase, PluginResult } from '@grafema/types';
+/**
+ * Diagnostic entry - unified format for all errors/warnings
+ */
+export interface Diagnostic {
+    code: string;
+    severity: 'fatal' | 'error' | 'warning' | 'info';
+    message: string;
+    file?: string;
+    line?: number;
+    phase: PluginPhase;
+    plugin: string;
+    timestamp: number;
+    suggestion?: string;
+}
+/**
+ * Diagnostic input (without timestamp, which is auto-generated)
+ */
+export type DiagnosticInput = Omit<Diagnostic, 'timestamp'>;
+/**
+ * DiagnosticCollector - collects, filters, and formats diagnostics
+ */
+export declare class DiagnosticCollector {
+    private diagnostics;
+    /**
+     * Extract errors from PluginResult and add as diagnostics.
+     *
+     * GrafemaError instances provide rich info (code, severity, context, suggestion).
+     * Plain Error instances are treated as generic errors with code 'ERR_UNKNOWN'.
+     */
+    addFromPluginResult(phase: PluginPhase, plugin: string, result: PluginResult): void;
+    /**
+     * Add a diagnostic directly.
+     * Timestamp is set automatically.
+     */
+    add(diagnostic: DiagnosticInput): void;
+    /**
+     * Get all diagnostics.
+     * Returns a copy to prevent external modification.
+     */
+    getAll(): Diagnostic[];
+    /**
+     * Get diagnostics filtered by phase.
+     */
+    getByPhase(phase: PluginPhase): Diagnostic[];
+    /**
+     * Get diagnostics filtered by plugin name (case-sensitive).
+     */
+    getByPlugin(plugin: string): Diagnostic[];
+    /**
+     * Get diagnostics filtered by error code.
+     */
+    getByCode(code: string): Diagnostic[];
+    /**
+     * Check if any fatal diagnostic exists.
+     * Fatal errors require immediate stop of analysis.
+     */
+    hasFatal(): boolean;
+    /**
+     * Check if any error (including fatal) exists.
+     */
+    hasErrors(): boolean;
+    /**
+     * Check if any warning exists.
+     */
+    hasWarnings(): boolean;
+    /**
+     * Get total count of diagnostics.
+     */
+    count(): number;
+    /**
+     * Format diagnostics as JSON lines (one JSON object per line).
+     * Suitable for .grafema/diagnostics.log file.
+     */
+    toDiagnosticsLog(): string;
+    /**
+     * Clear all diagnostics.
+     */
+    clear(): void;
+}
+//# sourceMappingURL=DiagnosticCollector.d.ts.map

package/dist/diagnostics/DiagnosticCollector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DiagnosticCollector.d.ts","sourceRoot":"","sources":["../../src/diagnostics/DiagnosticCollector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAGhE;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACjD,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AAE5D;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAoB;IAEvC;;;;;OAKG;IACH,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI;IA0BnF;;;OAGG;IACH,GAAG,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI;IAOtC;;;OAGG;IACH,MAAM,IAAI,UAAU,EAAE;IAItB;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,WAAW,GAAG,UAAU,EAAE;IAI5C;;OAEG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE;IAIzC;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE;IAIrC;;;OAGG;IACH,QAAQ,IAAI,OAAO;IAInB;;OAEG;IACH,SAAS,IAAI,OAAO;IAIpB;;OAEG;IACH,WAAW,IAAI,OAAO;IAItB;;OAEG;IACH,KAAK,IAAI,MAAM;IAIf;;;OAGG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,KAAK,IAAI,IAAI;CAGd"}

package/dist/diagnostics/DiagnosticCollector.js

@@ -0,0 +1,129 @@
+/**
+ * DiagnosticCollector - Collects and filters diagnostics from plugin execution
+ *
+ * The DiagnosticCollector aggregates errors from PluginResult.errors[],
+ * converting both GrafemaError instances (with rich info) and plain Error
+ * instances (treated as generic errors) into unified Diagnostic entries.
+ *
+ * Usage:
+ *   const collector = new DiagnosticCollector();
+ *   collector.addFromPluginResult('INDEXING', 'JSModuleIndexer', result);
+ *
+ *   if (collector.hasFatal()) {
+ *     throw new Error('Fatal error detected');
+ *   }
+ *
+ *   console.log(collector.toDiagnosticsLog());
+ */
+import { GrafemaError } from '../errors/GrafemaError.js';
+/**
+ * DiagnosticCollector - collects, filters, and formats diagnostics
+ */
+export class DiagnosticCollector {
+    diagnostics = [];
+    /**
+     * Extract errors from PluginResult and add as diagnostics.
+     *
+     * GrafemaError instances provide rich info (code, severity, context, suggestion).
+     * Plain Error instances are treated as generic errors with code 'ERR_UNKNOWN'.
+     */
+    addFromPluginResult(phase, plugin, result) {
+        for (const error of result.errors) {
+            if (error instanceof GrafemaError) {
+                this.add({
+                    code: error.code,
+                    severity: error.severity,
+                    message: error.message,
+                    file: error.context.filePath,
+                    line: error.context.lineNumber,
+                    phase,
+                    plugin,
+                    suggestion: error.suggestion,
+                });
+            }
+            else {
+                // Plain Error - treat as generic error
+                this.add({
+                    code: 'ERR_UNKNOWN',
+                    severity: 'error',
+                    message: error.message,
+                    phase,
+                    plugin,
+                });
+            }
+        }
+    }
+    /**
+     * Add a diagnostic directly.
+     * Timestamp is set automatically.
+     */
+    add(diagnostic) {
+        this.diagnostics.push({
+            ...diagnostic,
+            timestamp: Date.now(),
+        });
+    }
+    /**
+     * Get all diagnostics.
+     * Returns a copy to prevent external modification.
+     */
+    getAll() {
+        return [...this.diagnostics];
+    }
+    /**
+     * Get diagnostics filtered by phase.
+     */
+    getByPhase(phase) {
+        return this.diagnostics.filter(d => d.phase === phase);
+    }
+    /**
+     * Get diagnostics filtered by plugin name (case-sensitive).
+     */
+    getByPlugin(plugin) {
+        return this.diagnostics.filter(d => d.plugin === plugin);
+    }
+    /**
+     * Get diagnostics filtered by error code.
+     */
+    getByCode(code) {
+        return this.diagnostics.filter(d => d.code === code);
+    }
+    /**
+     * Check if any fatal diagnostic exists.
+     * Fatal errors require immediate stop of analysis.
+     */
+    hasFatal() {
+        return this.diagnostics.some(d => d.severity === 'fatal');
+    }
+    /**
+     * Check if any error (including fatal) exists.
+     */
+    hasErrors() {
+        return this.diagnostics.some(d => d.severity === 'error' || d.severity === 'fatal');
+    }
+    /**
+     * Check if any warning exists.
+     */
+    hasWarnings() {
+        return this.diagnostics.some(d => d.severity === 'warning');
+    }
+    /**
+     * Get total count of diagnostics.
+     */
+    count() {
+        return this.diagnostics.length;
+    }
+    /**
+     * Format diagnostics as JSON lines (one JSON object per line).
+     * Suitable for .grafema/diagnostics.log file.
+     */
+    toDiagnosticsLog() {
+        return this.diagnostics.map(d => JSON.stringify(d)).join('\n');
+    }
+    /**
+     * Clear all diagnostics.
+     */
+    clear() {
+        this.diagnostics = [];
+    }
+}

package/dist/diagnostics/DiagnosticReporter.d.ts

@@ -0,0 +1,77 @@
+/**
+ * DiagnosticReporter - Formats diagnostics for output
+ *
+ * Supports multiple output formats:
+ * - text: Human-readable format with severity indicators
+ * - json: Machine-readable JSON format for CI integration
+ * - csv: Spreadsheet-compatible format
+ *
+ * Usage:
+ *   const reporter = new DiagnosticReporter(collector);
+ *   console.log(reporter.report({ format: 'text', includeSummary: true }));
+ *   console.log(reporter.summary());
+ */
+import type { DiagnosticCollector } from './DiagnosticCollector.js';
+/**
+ * Report output options
+ */
+export interface ReportOptions {
+    format: 'text' | 'json' | 'csv';
+    includeSummary?: boolean;
+    includeTrace?: boolean;
+}
+/**
+ * Summary statistics
+ */
+export interface SummaryStats {
+    total: number;
+    fatal: number;
+    errors: number;
+    warnings: number;
+    info: number;
+}
+/**
+ * DiagnosticReporter - formats diagnostics for different output formats
+ */
+export declare class DiagnosticReporter {
+    private collector;
+    constructor(collector: DiagnosticCollector);
+    /**
+     * Generate a formatted report of all diagnostics.
+     */
+    report(options: ReportOptions): string;
+    /**
+     * Generate a human-readable summary of diagnostic counts.
+     */
+    summary(): string;
+    /**
+     * Get diagnostic statistics by severity.
+     */
+    getStats(): SummaryStats;
+    /**
+     * Generate human-readable text report.
+     */
+    private textReport;
+    /**
+     * Generate JSON report.
+     */
+    private jsonReport;
+    /**
+     * Generate CSV report.
+     */
+    private csvReport;
+    /**
+     * Get severity indicator for text output.
+     */
+    private getSeverityIcon;
+    /**
+     * Format file location for display.
+     */
+    private formatLocation;
+    /**
+     * Escape a value for CSV output.
+     * Wraps in quotes and escapes internal quotes.
+     */
+    private csvEscape;
+}
+//# sourceMappingURL=DiagnosticReporter.d.ts.map

package/dist/diagnostics/DiagnosticReporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DiagnosticReporter.d.ts","sourceRoot":"","sources":["../../src/diagnostics/DiagnosticReporter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAc,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEhF;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC;IAChC,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,qBAAa,kBAAkB;IACjB,OAAO,CAAC,SAAS;gBAAT,SAAS,EAAE,mBAAmB;IAElD;;OAEG;IACH,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM;IAYtC;;OAEG;IACH,OAAO,IAAI,MAAM;IAsBjB;;OAEG;IACH,QAAQ,IAAI,YAAY;IAWxB;;OAEG;IACH,OAAO,CAAC,UAAU;IA0BlB;;OAEG;IACH,OAAO,CAAC,UAAU;IAelB;;OAEG;IACH,OAAO,CAAC,SAAS;IAiBjB;;OAEG;IACH,OAAO,CAAC,eAAe;IAevB;;OAEG;IACH,OAAO,CAAC,cAAc;IAUtB;;;OAGG;IACH,OAAO,CAAC,SAAS;CAKlB"}