circle-ir 3.8.4 → 3.9.8

package/dist/analysis/metrics/passes/coupling-metrics-pass.js

@@ -0,0 +1,94 @@
+/**
+ * Coupling Metrics Pass (CK Suite)
+ *
+ * Emits per-type CBO and RFC values, plus aggregate averages.
+ *
+ * CBO (Coupling Between Objects):
+ *   Number of distinct external (non-local) types referenced by a class,
+ *   counting both call receiver types and field types.
+ *
+ * RFC (Response For a Class):
+ *   Total number of methods in the class plus the number of distinct
+ *   external method names called.
+ */
+export class CouplingMetricsPass {
+    name = 'coupling-metrics';
+    run(ctx) {
+        const { ir } = ctx;
+        const results = [];
+        if (ir.types.length === 0)
+            return results;
+        const localTypes = new Set(ir.types.map(t => t.name));
+        let cboSum = 0;
+        let rfcSum = 0;
+        for (const type of ir.types) {
+            const { start_line, end_line } = type;
+            // --- CBO ---
+            const externalTypes = new Set();
+            // From call receiver_type
+            for (const call of ir.calls) {
+                const line = call.location.line;
+                if (line >= start_line && line <= end_line) {
+                    if (call.receiver_type && !localTypes.has(call.receiver_type)) {
+                        externalTypes.add(call.receiver_type);
+                    }
+                }
+            }
+            // From field types
+            for (const field of type.fields) {
+                if (field.type && !localTypes.has(field.type)) {
+                    externalTypes.add(field.type);
+                }
+            }
+            const cbo = externalTypes.size;
+            cboSum += cbo;
+            results.push({
+                name: 'CBO',
+                category: 'coupling',
+                value: cbo,
+                unit: 'count',
+                iso_25010: 'Maintainability.Modularity',
+                description: `type: ${type.name}`,
+            });
+            // --- RFC ---
+            const externalMethodNames = new Set();
+            for (const call of ir.calls) {
+                const line = call.location.line;
+                if (line >= start_line && line <= end_line) {
+                    if (call.receiver_type && !localTypes.has(call.receiver_type)) {
+                        externalMethodNames.add(call.method_name);
+                    }
+                }
+            }
+            const rfc = type.methods.length + externalMethodNames.size;
+            rfcSum += rfc;
+            results.push({
+                name: 'RFC',
+                category: 'coupling',
+                value: rfc,
+                unit: 'count',
+                iso_25010: 'Maintainability.Modularity',
+                description: `type: ${type.name}`,
+            });
+        }
+        const count = ir.types.length;
+        results.push({
+            name: 'CBO_avg',
+            category: 'coupling',
+            value: parseFloat((cboSum / count).toFixed(2)),
+            unit: 'count',
+            iso_25010: 'Maintainability.Modularity',
+            description: 'Average CBO across all types',
+        });
+        results.push({
+            name: 'RFC_avg',
+            category: 'coupling',
+            value: parseFloat((rfcSum / count).toFixed(2)),
+            unit: 'count',
+            iso_25010: 'Maintainability.Modularity',
+            description: 'Average RFC across all types',
+        });
+        return results;
+    }
+}
+//# sourceMappingURL=coupling-metrics-pass.js.map

package/dist/analysis/metrics/passes/coupling-metrics-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coupling-metrics-pass.js","sourceRoot":"","sources":["../../../../src/analysis/metrics/passes/coupling-metrics-pass.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,mBAAmB;IACrB,IAAI,GAAG,kBAAkB,CAAC;IAEnC,GAAG,CAAC,GAAkB;QACpB,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;QACnB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAE1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEtD,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,MAAM,GAAG,CAAC,CAAC;QAEf,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;YAEtC,cAAc;YACd,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;YACxC,0BAA0B;YAC1B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAChC,IAAI,IAAI,IAAI,UAAU,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;oBAC3C,IAAI,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;wBAC9D,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,mBAAmB;YACnB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9C,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YACD,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC;YAC/B,MAAM,IAAI,GAAG,CAAC;YAEd,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,UAAU;gBACpB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,4BAA4B;gBACvC,WAAW,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE;aAClC,CAAC,CAAC;YAEH,cAAc;YACd,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;YAC9C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAChC,IAAI,IAAI,IAAI,UAAU,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;oBAC3C,IAAI,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;wBAC9D,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC;YAC3D,MAAM,IAAI,GAAG,CAAC;YAEd,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,UAAU;gBACpB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,4BAA4B;gBACvC,WAAW,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE;aAClC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,UAAU;YACpB,KAAK,EAAE,UAAU,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,4BAA4B;YACvC,WAAW,EAAE,8BAA8B;SAC5C,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,UAAU;YACpB,KAAK,EAAE,UAAU,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,4BAA4B;YACvC,WAAW,EAAE,8BAA8B;SAC5C,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/analysis/metrics/passes/data-flow-metrics-pass.d.ts

@@ -0,0 +1,14 @@
+import type { MetricValue } from '../../../types/index.js';
+import type { MetricPass, MetricContext } from '../metric-pass.js';
+/**
+ * Data Flow Metrics Pass
+ *
+ * Emits: data_flow_complexity
+ *
+ * data_flow_complexity = number of DFG uses that have a reaching definition
+ * (def_id !== null). Measures how many data dependencies exist in the file.
+ */
+export declare class DataFlowMetricsPass implements MetricPass {
+    readonly name = "data-flow-metrics";
+    run(ctx: MetricContext): MetricValue[];
+}

package/dist/analysis/metrics/passes/data-flow-metrics-pass.js

@@ -0,0 +1,25 @@
+/**
+ * Data Flow Metrics Pass
+ *
+ * Emits: data_flow_complexity
+ *
+ * data_flow_complexity = number of DFG uses that have a reaching definition
+ * (def_id !== null). Measures how many data dependencies exist in the file.
+ */
+export class DataFlowMetricsPass {
+    name = 'data-flow-metrics';
+    run(ctx) {
+        const count = ctx.ir.dfg.uses.filter(u => u.def_id !== null).length;
+        return [
+            {
+                name: 'data_flow_complexity',
+                category: 'complexity',
+                value: count,
+                unit: 'count',
+                iso_25010: 'Maintainability.Analysability',
+                description: 'DFG use-def pairs (DFG uses with a reaching definition)',
+            },
+        ];
+    }
+}
+//# sourceMappingURL=data-flow-metrics-pass.js.map

package/dist/analysis/metrics/passes/data-flow-metrics-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data-flow-metrics-pass.js","sourceRoot":"","sources":["../../../../src/analysis/metrics/passes/data-flow-metrics-pass.ts"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AACH,MAAM,OAAO,mBAAmB;IACrB,IAAI,GAAG,mBAAmB,CAAC;IAEpC,GAAG,CAAC,GAAkB;QACpB,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;QACpE,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,yDAAyD;aACvE;SACF,CAAC;IACJ,CAAC;CACF"}

package/dist/analysis/metrics/passes/documentation-metrics-pass.d.ts

@@ -0,0 +1,15 @@
+import type { MetricValue } from '../../../types/index.js';
+import type { MetricPass, MetricContext } from '../metric-pass.js';
+/**
+ * Documentation Metrics Pass
+ *
+ * Emits: doc_coverage — ratio of types+methods preceded by a `/** ... *\/` doc block.
+ *
+ * Detection heuristic: a type or method is "documented" if the source line
+ * immediately preceding its `start_line` (1-indexed) is inside a doc comment
+ * block that closes with `*\/`.
+ */
+export declare class DocumentationMetricsPass implements MetricPass {
+    readonly name = "documentation-metrics";
+    run(ctx: MetricContext): MetricValue[];
+}

package/dist/analysis/metrics/passes/documentation-metrics-pass.js

@@ -0,0 +1,64 @@
+/**
+ * Documentation Metrics Pass
+ *
+ * Emits: doc_coverage — ratio of types+methods preceded by a `/** ... *\/` doc block.
+ *
+ * Detection heuristic: a type or method is "documented" if the source line
+ * immediately preceding its `start_line` (1-indexed) is inside a doc comment
+ * block that closes with `*\/`.
+ */
+export class DocumentationMetricsPass {
+    name = 'documentation-metrics';
+    run(ctx) {
+        const { ir, code } = ctx;
+        const lines = code.split('\n');
+        // Build set of line numbers (1-indexed) that are the last line of a /** */ block
+        // We need to know: for line N, is line N the closing "*/" of a doc comment?
+        const docBlockEndLines = new Set();
+        let inDocBlock = false;
+        for (let i = 0; i < lines.length; i++) {
+            const trimmed = lines[i].trim();
+            if (!inDocBlock && trimmed.startsWith('/**')) {
+                inDocBlock = true;
+                // single-line /** ... */
+                if (trimmed.endsWith('*/') && trimmed.length > 4) {
+                    docBlockEndLines.add(i + 1); // 1-indexed
+                    inDocBlock = false;
+                }
+            }
+            else if (inDocBlock) {
+                if (trimmed.endsWith('*/')) {
+                    docBlockEndLines.add(i + 1); // 1-indexed
+                    inDocBlock = false;
+                }
+            }
+        }
+        let documentable = 0;
+        let documented = 0;
+        for (const type of ir.types) {
+            documentable++;
+            // Check if the line before start_line is a doc block end
+            if (docBlockEndLines.has(type.start_line - 1)) {
+                documented++;
+            }
+            for (const method of type.methods) {
+                documentable++;
+                if (docBlockEndLines.has(method.start_line - 1)) {
+                    documented++;
+                }
+            }
+        }
+        const docCoverage = documentable === 0 ? 0 : documented / documentable;
+        return [
+            {
+                name: 'doc_coverage',
+                category: 'documentation',
+                value: parseFloat(docCoverage.toFixed(4)),
+                unit: 'ratio',
+                iso_25010: 'Maintainability.Analysability',
+                description: 'Ratio of types and methods with JSDoc/Javadoc comment blocks',
+            },
+        ];
+    }
+}
+//# sourceMappingURL=documentation-metrics-pass.js.map

package/dist/analysis/metrics/passes/documentation-metrics-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentation-metrics-pass.js","sourceRoot":"","sources":["../../../../src/analysis/metrics/passes/documentation-metrics-pass.ts"],"names":[],"mappings":"AAGA;;;;;;;;GAQG;AACH,MAAM,OAAO,wBAAwB;IAC1B,IAAI,GAAG,uBAAuB,CAAC;IAExC,GAAG,CAAC,GAAkB;QACpB,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE/B,iFAAiF;QACjF,4EAA4E;QAC5E,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,UAAU,GAAG,IAAI,CAAC;gBAClB,yBAAyB;gBACzB,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACjD,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY;oBACzC,UAAU,GAAG,KAAK,CAAC;gBACrB,CAAC;YACH,CAAC;iBAAM,IAAI,UAAU,EAAE,CAAC;gBACtB,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY;oBACzC,UAAU,GAAG,KAAK,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,UAAU,GAAK,CAAC,CAAC;QAErB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,YAAY,EAAE,CAAC;YACf,yDAAyD;YACzD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC9C,UAAU,EAAE,CAAC;YACf,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,YAAY,EAAE,CAAC;gBACf,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;oBAChD,UAAU,EAAE,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,YAAY,CAAC;QAEvE,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,eAAe;gBACzB,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACzC,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,8DAA8D;aAC5E;SACF,CAAC;IACJ,CAAC;CACF"}

package/dist/analysis/metrics/passes/halstead-metrics-pass.d.ts

@@ -0,0 +1,16 @@
+import type { MetricValue } from '../../../types/index.js';
+import type { MetricPass, MetricContext } from '../metric-pass.js';
+/**
+ * Halstead Metrics Pass
+ *
+ * Emits: halstead_volume, halstead_difficulty, halstead_effort, halstead_bugs
+ *
+ * Uses a regex-based tokenizer on the full source text.
+ * Operators = keywords + symbol characters
+ * Operands  = identifiers (excluding keywords) + numeric/string literals
+ */
+export declare class HalsteadMetricsPass implements MetricPass {
+    readonly name = "halstead-metrics";
+    run(ctx: MetricContext): MetricValue[];
+    private emitZero;
+}

package/dist/analysis/metrics/passes/halstead-metrics-pass.js

@@ -0,0 +1,95 @@
+const KEYWORDS = new Set([
+    'if', 'else', 'for', 'while', 'do', 'switch', 'case', 'return', 'new', 'delete',
+    'typeof', 'instanceof', 'void', 'in', 'of', 'and', 'or', 'not', 'def', 'class',
+    'fn', 'let', 'const', 'var', 'function', 'import', 'export', 'async', 'await',
+    'try', 'catch', 'throw', 'finally', 'yield', 'break', 'continue', 'default',
+    'public', 'private', 'protected', 'static', 'final', 'abstract', 'extends',
+    'implements', 'interface', 'enum', 'this', 'super', 'null', 'true', 'false',
+    'undefined', 'from', 'as', 'type', 'struct', 'impl', 'trait', 'use', 'mod',
+    'pub', 'mut', 'match', 'where', 'with', 'pass', 'lambda', 'del', 'global',
+    'nonlocal', 'assert', 'except', 'raise', 'elif', 'is', 'None', 'True', 'False',
+]);
+const KEYWORD_RE = /\b(if|else|for|while|do|switch|case|return|new|delete|typeof|instanceof|void|in|of|and|or|not|def|class|fn|let|const|var|function|import|export|async|await|try|catch|throw|finally|yield|break|continue|default|public|private|protected|static|final|abstract|extends|implements|interface|enum|this|super|null|true|false|undefined|from|as|type|struct|impl|trait|use|mod|pub|mut|match|where|with|pass|lambda|del|global|nonlocal|assert|except|raise|elif|is|None|True|False)\b/g;
+const SYMBOL_RE = /[+\-*/%&|^~<>=!?:;.,[\]{}()]/g;
+const IDENT_RE = /\b[a-zA-Z_$][a-zA-Z0-9_$]*\b/g;
+const LITERAL_RE = /\b\d+(?:\.\d+)?\b|"[^"]*"|'[^']*'|`[^`]*`/g;
+/**
+ * Halstead Metrics Pass
+ *
+ * Emits: halstead_volume, halstead_difficulty, halstead_effort, halstead_bugs
+ *
+ * Uses a regex-based tokenizer on the full source text.
+ * Operators = keywords + symbol characters
+ * Operands  = identifiers (excluding keywords) + numeric/string literals
+ */
+export class HalsteadMetricsPass {
+    name = 'halstead-metrics';
+    run(ctx) {
+        const { code } = ctx;
+        // Collect operators
+        const allKeywords = Array.from(code.matchAll(KEYWORD_RE), m => m[0]);
+        const allSymbols = Array.from(code.matchAll(SYMBOL_RE), m => m[0]);
+        // Collect operands: identifiers that are not keywords + literals
+        const allIdents = Array.from(code.matchAll(IDENT_RE), m => m[0])
+            .filter(t => !KEYWORDS.has(t));
+        const allLiterals = Array.from(code.matchAll(LITERAL_RE), m => m[0]);
+        const operators = [...allKeywords, ...allSymbols];
+        const operands = [...allIdents, ...allLiterals];
+        const N1 = operators.length;
+        const N2 = operands.length;
+        const n1 = new Set(operators).size;
+        const n2 = new Set(operands).size;
+        const n = n1 + n2;
+        const N = N1 + N2;
+        if (n === 0 || n2 === 0) {
+            return this.emitZero();
+        }
+        const V = N * Math.log2(n); // volume
+        const D = (n1 / 2) * (N2 / n2); // difficulty
+        const E = D * V; // effort
+        const B = Math.pow(E, 2 / 3) / 3000; // bugs estimate
+        return [
+            {
+                name: 'halstead_volume',
+                category: 'complexity',
+                value: parseFloat(V.toFixed(2)),
+                unit: 'bits',
+                iso_25010: 'Maintainability.Analysability',
+                description: 'Halstead Volume (V = N × log₂ n)',
+            },
+            {
+                name: 'halstead_difficulty',
+                category: 'complexity',
+                value: parseFloat(D.toFixed(2)),
+                unit: 'count',
+                iso_25010: 'Maintainability.Analysability',
+                description: 'Halstead Difficulty (D = (n1/2) × (N2/n2))',
+            },
+            {
+                name: 'halstead_effort',
+                category: 'complexity',
+                value: parseFloat(E.toFixed(2)),
+                unit: 'count',
+                iso_25010: 'Maintainability.Analysability',
+                description: 'Halstead Effort (E = D × V)',
+            },
+            {
+                name: 'halstead_bugs',
+                category: 'complexity',
+                value: parseFloat(B.toFixed(4)),
+                unit: 'count',
+                iso_25010: 'Maintainability.Faultlessness',
+                description: 'Halstead Bug Estimate (B = E^(2/3) / 3000)',
+            },
+        ];
+    }
+    emitZero() {
+        return [
+            { name: 'halstead_volume', category: 'complexity', value: 0, unit: 'bits' },
+            { name: 'halstead_difficulty', category: 'complexity', value: 0, unit: 'count' },
+            { name: 'halstead_effort', category: 'complexity', value: 0, unit: 'count' },
+            { name: 'halstead_bugs', category: 'complexity', value: 0, unit: 'count' },
+        ];
+    }
+}
+//# sourceMappingURL=halstead-metrics-pass.js.map

package/dist/analysis/metrics/passes/halstead-metrics-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"halstead-metrics-pass.js","sourceRoot":"","sources":["../../../../src/analysis/metrics/passes/halstead-metrics-pass.ts"],"names":[],"mappings":"AAGA,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ;IAC/E,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO;IAC9E,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO;IAC7E,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS;IAC3E,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS;IAC1E,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;IAC3E,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK;IAC1E,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ;IACzE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;CAC/E,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,wdAAwd,CAAC;AAE5e,MAAM,SAAS,GAAG,+BAA+B,CAAC;AAElD,MAAM,QAAQ,GAAG,+BAA+B,CAAC;AAEjD,MAAM,UAAU,GAAG,4CAA4C,CAAC;AAEhE;;;;;;;;GAQG;AACH,MAAM,OAAO,mBAAmB;IACrB,IAAI,GAAG,kBAAkB,CAAC;IAEnC,GAAG,CAAC,GAAkB;QACpB,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QAErB,oBAAoB;QACpB,MAAM,WAAW,GAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,UAAU,GAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/E,iEAAiE;QACjE,MAAM,SAAS,GAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACvE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,WAAW,GAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/E,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAI,CAAC,GAAG,SAAS,EAAE,GAAG,WAAW,CAAC,CAAC;QAEjD,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC;QAC5B,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC;QACnC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;QAElC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QAElB,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzB,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAsB,SAAS;QAC1D,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAiB,aAAa;QAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAiC,SAAS;QAC1D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAY,gBAAgB;QAEhE,OAAO;YACL;gBACE,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,EAAE,MAAM;gBACZ,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,kCAAkC;aAChD;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,4CAA4C;aAC1D;YACD;gBACE,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,6BAA6B;aAC3C;YACD;gBACE,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,4CAA4C;aAC1D;SACF,CAAC;IACJ,CAAC;IAEO,QAAQ;QACd,OAAO;YACL,EAAE,IAAI,EAAE,iBAAiB,EAAM,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/E,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YAChF,EAAE,IAAI,EAAE,iBAAiB,EAAM,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YAChF,EAAE,IAAI,EAAE,eAAe,EAAQ,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;SACjF,CAAC;IACJ,CAAC;CACF"}

package/dist/analysis/metrics/passes/inheritance-metrics-pass.d.ts

@@ -0,0 +1,18 @@
+import type { MetricValue } from '../../../types/index.js';
+import type { MetricPass, MetricContext } from '../metric-pass.js';
+/**
+ * Inheritance Metrics Pass (CK Suite)
+ *
+ * Emits per-type DIT and NOC values, plus DIT_max and NOC_total aggregates.
+ *
+ * DIT (Depth of Inheritance Tree):
+ *   Number of ancestor classes/interfaces in the inheritance chain.
+ *   Only counts ancestors that are defined within the same file.
+ *
+ * NOC (Number of Children):
+ *   Count of types in the file that directly extend or implement this type.
+ */
+export declare class InheritanceMetricsPass implements MetricPass {
+    readonly name = "inheritance-metrics";
+    run(ctx: MetricContext): MetricValue[];
+}

package/dist/analysis/metrics/passes/inheritance-metrics-pass.js

@@ -0,0 +1,73 @@
+/**
+ * Inheritance Metrics Pass (CK Suite)
+ *
+ * Emits per-type DIT and NOC values, plus DIT_max and NOC_total aggregates.
+ *
+ * DIT (Depth of Inheritance Tree):
+ *   Number of ancestor classes/interfaces in the inheritance chain.
+ *   Only counts ancestors that are defined within the same file.
+ *
+ * NOC (Number of Children):
+ *   Count of types in the file that directly extend or implement this type.
+ */
+export class InheritanceMetricsPass {
+    name = 'inheritance-metrics';
+    run(ctx) {
+        const { ir } = ctx;
+        const results = [];
+        if (ir.types.length === 0)
+            return results;
+        const nameMap = new Map(ir.types.map(t => [t.name, t]));
+        let ditMax = 0;
+        let nocTotal = 0;
+        for (const type of ir.types) {
+            // --- DIT ---
+            let depth = 0;
+            let current = type.extends;
+            const visited = new Set();
+            while (current && nameMap.has(current) && !visited.has(current)) {
+                visited.add(current);
+                depth++;
+                current = nameMap.get(current)?.extends ?? null;
+            }
+            ditMax = Math.max(ditMax, depth);
+            results.push({
+                name: 'DIT',
+                category: 'inheritance',
+                value: depth,
+                unit: 'count',
+                iso_25010: 'Maintainability.Reusability',
+                description: `type: ${type.name}`,
+            });
+            // --- NOC ---
+            const children = ir.types.filter(t => t !== type && t.extends === type.name).length;
+            nocTotal += children;
+            results.push({
+                name: 'NOC',
+                category: 'inheritance',
+                value: children,
+                unit: 'count',
+                iso_25010: 'Maintainability.Reusability',
+                description: `type: ${type.name}`,
+            });
+        }
+        results.push({
+            name: 'DIT_max',
+            category: 'inheritance',
+            value: ditMax,
+            unit: 'count',
+            iso_25010: 'Maintainability.Reusability',
+            description: 'Maximum depth of inheritance tree across all types',
+        });
+        results.push({
+            name: 'NOC_total',
+            category: 'inheritance',
+            value: nocTotal,
+            unit: 'count',
+            iso_25010: 'Maintainability.Reusability',
+            description: 'Total number of direct child relationships across all types',
+        });
+        return results;
+    }
+}
+//# sourceMappingURL=inheritance-metrics-pass.js.map

package/dist/analysis/metrics/passes/inheritance-metrics-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inheritance-metrics-pass.js","sourceRoot":"","sources":["../../../../src/analysis/metrics/passes/inheritance-metrics-pass.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,sBAAsB;IACxB,IAAI,GAAG,qBAAqB,CAAC;IAEtC,GAAG,CAAC,GAAkB;QACpB,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;QACnB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAE1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,QAAQ,GAAG,CAAC,CAAC;QAEjB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,cAAc;YACd,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,IAAI,OAAO,GAAkB,IAAI,CAAC,OAAO,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,OAAO,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACrB,KAAK,EAAE,CAAC;gBACR,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,IAAI,IAAI,CAAC;YAClD,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAEjC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,aAAa;gBACvB,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,6BAA6B;gBACxC,WAAW,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE;aAClC,CAAC,CAAC;YAEH,cAAc;YACd,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,CAC3C,CAAC,MAAM,CAAC;YACT,QAAQ,IAAI,QAAQ,CAAC;YAErB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,aAAa;gBACvB,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,6BAA6B;gBACxC,WAAW,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE;aAClC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,aAAa;YACvB,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,6BAA6B;YACxC,WAAW,EAAE,oDAAoD;SAClE,CAAC,CAAC;QAEH,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,aAAa;YACvB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,6BAA6B;YACxC,WAAW,EAAE,6DAA6D;SAC3E,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/analysis/metrics/passes/size-metrics-pass.d.ts

@@ -0,0 +1,11 @@
+import type { MetricValue } from '../../../types/index.js';
+import type { MetricPass, MetricContext } from '../metric-pass.js';
+/**
+ * Size Metrics Pass
+ *
+ * Emits: LOC, NLOC, comment_density, function_count
+ */
+export declare class SizeMetricsPass implements MetricPass {
+    readonly name = "size-metrics";
+    run(ctx: MetricContext): MetricValue[];
+}

package/dist/analysis/metrics/passes/size-metrics-pass.js

@@ -0,0 +1,64 @@
+/**
+ * Size Metrics Pass
+ *
+ * Emits: LOC, NLOC, comment_density, function_count
+ */
+export class SizeMetricsPass {
+    name = 'size-metrics';
+    run(ctx) {
+        const lines = ctx.code.split('\n');
+        const loc = lines.length;
+        let commentLines = 0;
+        let nonBlankNonComment = 0;
+        for (const rawLine of lines) {
+            const trimmed = rawLine.trim();
+            if (trimmed.length === 0)
+                continue;
+            if (trimmed.startsWith('//') ||
+                trimmed.startsWith('#') ||
+                trimmed.startsWith('*') ||
+                trimmed.startsWith('/*') ||
+                trimmed.startsWith('*/')) {
+                commentLines++;
+            }
+            else {
+                nonBlankNonComment++;
+            }
+        }
+        const nloc = nonBlankNonComment;
+        const commentDensity = loc > 0 ? commentLines / loc : 0;
+        const functionCount = ctx.ir.types.reduce((sum, t) => sum + t.methods.length, 0);
+        return [
+            {
+                name: 'LOC',
+                category: 'size',
+                value: loc,
+                unit: 'lines',
+                iso_25010: 'Maintainability.Analysability',
+            },
+            {
+                name: 'NLOC',
+                category: 'size',
+                value: nloc,
+                unit: 'lines',
+                iso_25010: 'Maintainability.Analysability',
+            },
+            {
+                name: 'comment_density',
+                category: 'size',
+                value: parseFloat(commentDensity.toFixed(4)),
+                unit: 'ratio',
+                iso_25010: 'Maintainability.Analysability',
+                description: 'Ratio of comment lines to total lines',
+            },
+            {
+                name: 'function_count',
+                category: 'size',
+                value: functionCount,
+                unit: 'count',
+                iso_25010: 'Maintainability.Analysability',
+            },
+        ];
+    }
+}
+//# sourceMappingURL=size-metrics-pass.js.map

package/dist/analysis/metrics/passes/size-metrics-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"size-metrics-pass.js","sourceRoot":"","sources":["../../../../src/analysis/metrics/passes/size-metrics-pass.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,MAAM,OAAO,eAAe;IACjB,IAAI,GAAG,cAAc,CAAC;IAE/B,GAAG,CAAC,GAAkB;QACpB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;QAEzB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,kBAAkB,GAAG,CAAC,CAAC;QAE3B,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACnC,IACE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;gBACxB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;gBACvB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;gBACvB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;gBACxB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EACxB,CAAC;gBACD,YAAY,EAAE,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,kBAAkB,EAAE,CAAC;YACvB,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,cAAc,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAEjF,OAAO;YACL;gBACE,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,MAAM;gBAChB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;aAC3C;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,MAAM;gBAChB,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;aAC3C;YACD;gBACE,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,MAAM;gBAChB,KAAK,EAAE,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;gBAC1C,WAAW,EAAE,uCAAuC;aACrD;YACD;gBACE,IAAI,EAAE,gBAAgB;gBACtB,QAAQ,EAAE,MAAM;gBAChB,KAAK,EAAE,aAAa;gBACpB,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,+BAA+B;aAC3C;SACF,CAAC;IACJ,CAAC;CACF"}

package/dist/analysis/passes/circular-dependency-pass.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Pass #68: circular-dependency (project-level)
+ *
+ * Detects cycles in the module import graph using Tarjan's SCC algorithm.
+ * Circular dependencies create tight coupling, hamper tree-shaking, and can
+ * cause subtle initialization-order bugs.
+ *
+ * This is a project-level pass — it does NOT extend AnalysisPass.
+ * It is invoked from analyzeProject() after all per-file analyses are complete.
+ *
+ * Category: architecture | Severity: medium | Level: warning | CWE-1047
+ */
+import type { SastFinding } from '../../types/index.js';
+import type { ProjectGraph } from '../../graph/project-graph.js';
+import type { ImportGraph } from '../../graph/import-graph.js';
+export declare class CircularDependencyPass {
+    run(_projectGraph: ProjectGraph, importGraph: ImportGraph): SastFinding[];
+}

package/dist/analysis/passes/circular-dependency-pass.js

@@ -0,0 +1,39 @@
+/**
+ * Pass #68: circular-dependency (project-level)
+ *
+ * Detects cycles in the module import graph using Tarjan's SCC algorithm.
+ * Circular dependencies create tight coupling, hamper tree-shaking, and can
+ * cause subtle initialization-order bugs.
+ *
+ * This is a project-level pass — it does NOT extend AnalysisPass.
+ * It is invoked from analyzeProject() after all per-file analyses are complete.
+ *
+ * Category: architecture | Severity: medium | Level: warning | CWE-1047
+ */
+export class CircularDependencyPass {
+    run(_projectGraph, importGraph) {
+        const findings = [];
+        const cycles = importGraph.findCycles();
+        for (const cycle of cycles) {
+            // Sort for determinism; use alphabetically-first file as anchor
+            const sorted = [...cycle].sort();
+            const anchor = sorted[0];
+            const finding = {
+                id: `circular-dependency-${anchor.replace(/[^a-z0-9]/gi, '-')}`,
+                pass: 'circular-dependency',
+                category: 'architecture',
+                rule_id: 'circular-dependency',
+                cwe: 'CWE-1047',
+                severity: 'medium',
+                level: 'warning',
+                message: `Circular import dependency detected involving ${cycle.size} modules: ${sorted.join(' → ')}.`,
+                file: anchor,
+                line: 1,
+                evidence: { cycle: sorted, size: cycle.size },
+            };
+            findings.push(finding);
+        }
+        return findings;
+    }
+}
+//# sourceMappingURL=circular-dependency-pass.js.map

package/dist/analysis/passes/circular-dependency-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"circular-dependency-pass.js","sourceRoot":"","sources":["../../../src/analysis/passes/circular-dependency-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH,MAAM,OAAO,sBAAsB;IACjC,GAAG,CAAC,aAA2B,EAAE,WAAwB;QACvD,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,CAAC;QAExC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,gEAAgE;YAChE,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAEzB,MAAM,OAAO,GAAgB;gBAC3B,EAAE,EAAQ,uBAAuB,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE;gBACrE,IAAI,EAAM,qBAAqB;gBAC/B,QAAQ,EAAE,cAAc;gBACxB,OAAO,EAAG,qBAAqB;gBAC/B,GAAG,EAAO,UAAU;gBACpB,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAK,SAAS;gBACnB,OAAO,EAAG,iDAAiD,KAAK,CAAC,IAAI,aAAa,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;gBACvG,IAAI,EAAM,MAAM;gBAChB,IAAI,EAAM,CAAC;gBACX,QAAQ,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;aAC9C,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}

package/dist/analysis/passes/constant-propagation-pass.d.ts

@@ -0,0 +1,22 @@
+/**
+ * ConstantPropagationPass
+ *
+ * Runs constant propagation + dead-code detection over the AST.
+ *
+ * Depends on: taint-matcher (to extract inter-procedural tainted parameters
+ * before propagation, so method-parameter taint is seeded correctly).
+ *
+ * Receives the parsed Tree via constructor because it needs the raw AST for
+ * node-level analysis — the CodeGraph contains only extracted IR.
+ */
+import type { Tree } from 'web-tree-sitter';
+import type { AnalysisPass, PassContext } from '../../graph/analysis-pass.js';
+import { type ConstantPropagatorResult } from '../constant-propagation.js';
+export type { ConstantPropagatorResult };
+export declare class ConstantPropagationPass implements AnalysisPass<ConstantPropagatorResult> {
+    private readonly tree;
+    readonly name = "constant-propagation";
+    readonly category: "security";
+    constructor(tree: Tree);
+    run(ctx: PassContext): ConstantPropagatorResult;
+}