@nielspeter/eess 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Niels Peter
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,26 @@
+# @nielspeter/eess
+
+The dialect-independent **kernel** of the [eess](../../README.md) family — _Executable Enforceable Specification System._
+
+This package is the engine every eess dialect runs on. It knows nothing about TypeScript, Mermaid, or any specific artifact format; it is generic over the element type being validated.
+
+## What's in here
+
+- `RuleBuilder<T, P>` — the fluent `.that().should().check()` chain, generic over element type `T` and project handle `P`
+- `Predicate<T>`, `Condition<T>`, `Matcher<V>` — the interfaces dialects implement
+- `ArchViolation` — the violation model; each dialect supplies its own element→violation adapter
+- Baseline mode, diff-aware filtering, exclusions, and the terminal/GitHub/JSON formatters
+- `definePredicate` / `defineCondition` — extension points for advanced users
+
+## Who uses it
+
+You normally don't install this directly — you install a dialect:
+
+- [`@nielspeter/eess-ts`](../ts) — TypeScript
+- [`@nielspeter/eess-mermaid`](../mermaid) — Mermaid class diagrams
+
+Install `@nielspeter/eess` directly only when authoring a new dialect or a cross-dialect tool on top of the kernel.
+
+## License
+
+MIT

package/dist/ansi.d.ts

@@ -0,0 +1,7 @@
+export declare const bold: (text: string) => string;
+export declare const dim: (text: string) => string;
+export declare const red: (text: string) => string;
+export declare const yellow: (text: string) => string;
+export declare const cyan: (text: string) => string;
+export declare const gray: (text: string) => string;
+//# sourceMappingURL=ansi.d.ts.map

package/dist/ansi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ansi.d.ts","sourceRoot":"","sources":["../src/ansi.ts"],"names":[],"mappings":"AAWA,eAAO,MAAM,IAAI,SALsC,MAAM,KAAK,MAKnC,CAAA;AAC/B,eAAO,MAAM,GAAG,SANuC,MAAM,KAAK,MAMpC,CAAA;AAC9B,eAAO,MAAM,GAAG,SAPuC,MAAM,KAAK,MAOnC,CAAA;AAC/B,eAAO,MAAM,MAAM,SARoC,MAAM,KAAK,MAQhC,CAAA;AAClC,eAAO,MAAM,IAAI,SATsC,MAAM,KAAK,MASlC,CAAA;AAChC,eAAO,MAAM,IAAI,SAVsC,MAAM,KAAK,MAUlC,CAAA"}

package/dist/ansi.js

@@ -0,0 +1,16 @@
+const enabled = typeof process !== 'undefined' &&
+    !process.env['NO_COLOR'] &&
+    ((process.env['FORCE_COLOR'] !== undefined && process.env['FORCE_COLOR'] !== '0') ||
+        process.stdout?.isTTY === true);
+function wrap(code, resetCode) {
+    if (!enabled)
+        return (text) => text;
+    return (text) => `\x1b[${String(code)}m${text}\x1b[${String(resetCode)}m`;
+}
+export const bold = wrap(1, 22);
+export const dim = wrap(2, 22);
+export const red = wrap(31, 39);
+export const yellow = wrap(33, 39);
+export const cyan = wrap(36, 39);
+export const gray = wrap(90, 39);
+//# sourceMappingURL=ansi.js.map

package/dist/ansi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ansi.js","sourceRoot":"","sources":["../src/ansi.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,GACX,OAAO,OAAO,KAAK,WAAW;IAC9B,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,GAAG,CAAC;QAC/E,OAAO,CAAC,MAAM,EAAE,KAAK,KAAK,IAAI,CAAC,CAAA;AAEnC,SAAS,IAAI,CAAC,IAAY,EAAE,SAAiB;IAC3C,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;IACnC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,QAAQ,MAAM,CAAC,SAAS,CAAC,GAAG,CAAA;AAC3E,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAC/B,MAAM,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAC9B,MAAM,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AAC/B,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AAClC,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AAChC,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA"}

package/dist/apply-fixes.d.ts

@@ -0,0 +1,25 @@
+import type { ArchViolation } from './violation.js';
+/** Outcome of an `applyFixes` run. */
+export interface ApplyResult {
+    /** Number of fixes applied (or, in dry-run, that would apply). */
+    readonly applied: number;
+    /** Number of fixes skipped because they overlapped another fix. */
+    readonly skipped: number;
+    /** Absolute paths of the files edited (or that would be edited). */
+    readonly files: readonly string[];
+    /** One-line descriptions of the applied fixes, in file/offset order. */
+    readonly descriptions: readonly string[];
+}
+/**
+ * Apply the deterministic fixes carried by `violations` (plan 0066).
+ *
+ * Fixes are grouped by file and applied end-to-start so earlier offsets stay
+ * valid. Overlapping fixes on a file are **all skipped** — a fix is only ever
+ * applied when it is unambiguous, so a collision is reported, never guessed.
+ * With `write: false` (dry-run) nothing is written; the result still reports
+ * what would change.
+ */
+export declare function applyFixes(violations: readonly ArchViolation[], opts: {
+    write: boolean;
+}): ApplyResult;
+//# sourceMappingURL=apply-fixes.d.ts.map

package/dist/apply-fixes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-fixes.d.ts","sourceRoot":"","sources":["../src/apply-fixes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAW,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAE5D,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,wEAAwE;IACxE,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACzC;AAOD;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CACxB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,IAAI,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GACvB,WAAW,CAmCb"}

package/dist/apply-fixes.js

@@ -0,0 +1,52 @@
+import fs from 'node:fs';
+/** Do two spans on the same file overlap? Touching endpoints do not overlap. */
+function overlaps(a, b) {
+    return a.start < b.end && b.start < a.end;
+}
+/**
+ * Apply the deterministic fixes carried by `violations` (plan 0066).
+ *
+ * Fixes are grouped by file and applied end-to-start so earlier offsets stay
+ * valid. Overlapping fixes on a file are **all skipped** — a fix is only ever
+ * applied when it is unambiguous, so a collision is reported, never guessed.
+ * With `write: false` (dry-run) nothing is written; the result still reports
+ * what would change.
+ */
+export function applyFixes(violations, opts) {
+    const byFile = new Map();
+    for (const v of violations) {
+        if (v.fix === undefined)
+            continue;
+        const list = byFile.get(v.fix.file);
+        if (list)
+            list.push(v.fix);
+        else
+            byFile.set(v.fix.file, [v.fix]);
+    }
+    let applied = 0;
+    let skipped = 0;
+    const files = [];
+    const descriptions = [];
+    for (const [file, fixes] of byFile) {
+        // Drop any fix that overlaps another (skip both) — never write a guess.
+        const safe = fixes.filter((f) => !fixes.some((o) => o !== f && overlaps(f, o)));
+        skipped += fixes.length - safe.length;
+        if (safe.length === 0)
+            continue;
+        // Apply last-first so each edit's offsets remain valid.
+        const ordered = [...safe].sort((a, b) => b.start - a.start);
+        let content = fs.readFileSync(file, 'utf8');
+        for (const f of ordered) {
+            content = content.slice(0, f.start) + f.replacement + content.slice(f.end);
+        }
+        if (opts.write)
+            fs.writeFileSync(file, content);
+        files.push(file);
+        applied += safe.length;
+        // Report in forward (offset-ascending) order for readability.
+        for (const f of [...safe].sort((a, b) => a.start - b.start))
+            descriptions.push(f.describe);
+    }
+    return { applied, skipped, files, descriptions };
+}
+//# sourceMappingURL=apply-fixes.js.map

package/dist/apply-fixes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-fixes.js","sourceRoot":"","sources":["../src/apply-fixes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AAexB,gFAAgF;AAChF,SAAS,QAAQ,CAAC,CAAU,EAAE,CAAU;IACtC,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAA;AAC3C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CACxB,UAAoC,EACpC,IAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACnC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;;YACrB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACtC,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,YAAY,GAAa,EAAE,CAAA;IAEjC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,wEAAwE;QACxE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/E,OAAO,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAE/B,wDAAwD;QACxD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC3D,IAAI,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC5E,CAAC;QACD,IAAI,IAAI,CAAC,KAAK;YAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAE/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,OAAO,IAAI,IAAI,CAAC,MAAM,CAAA;QACtB,8DAA8D;QAC9D,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5F,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,CAAA;AAClD,CAAC"}

package/dist/baseline-generator.d.ts

@@ -0,0 +1,18 @@
+import type { ArchViolation } from './violation.js';
+/**
+ * Collect violations from rules WITHOUT throwing.
+ *
+ * Used to generate a baseline: run all rules, collect violations,
+ * write them to a baseline file.
+ *
+ * @example
+ * const violations = collectViolations(
+ *   classes(p).that().extend('Base').should().notContain(call('parseInt')),
+ *   classes(p).that().extend('Base').should().notContain(newExpr('Error')),
+ * )
+ * generateBaseline(violations, 'arch-baseline.json')
+ */
+export declare function collectViolations(...builders: Array<{
+    check: () => void;
+}>): ArchViolation[];
+//# sourceMappingURL=baseline-generator.d.ts.map

package/dist/baseline-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline-generator.d.ts","sourceRoot":"","sources":["../src/baseline-generator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAGnD;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,IAAI,CAAA;CAAE,CAAC,GAAG,aAAa,EAAE,CAc5F"}

package/dist/baseline-generator.js

@@ -0,0 +1,29 @@
+import { ArchRuleError } from './errors.js';
+/**
+ * Collect violations from rules WITHOUT throwing.
+ *
+ * Used to generate a baseline: run all rules, collect violations,
+ * write them to a baseline file.
+ *
+ * @example
+ * const violations = collectViolations(
+ *   classes(p).that().extend('Base').should().notContain(call('parseInt')),
+ *   classes(p).that().extend('Base').should().notContain(newExpr('Error')),
+ * )
+ * generateBaseline(violations, 'arch-baseline.json')
+ */
+export function collectViolations(...builders) {
+    const allViolations = [];
+    for (const builder of builders) {
+        try {
+            builder.check();
+        }
+        catch (error) {
+            if (error instanceof ArchRuleError) {
+                allViolations.push(...error.violations);
+            }
+        }
+    }
+    return allViolations;
+}
+//# sourceMappingURL=baseline-generator.js.map

package/dist/baseline-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline-generator.js","sourceRoot":"","sources":["../src/baseline-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAE3C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAG,QAAsC;IACzE,MAAM,aAAa,GAAoB,EAAE,CAAA;IAEzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,OAAO,CAAC,KAAK,EAAE,CAAA;QACjB,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,IAAI,KAAK,YAAY,aAAa,EAAE,CAAC;gBACnC,aAAa,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAA;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC"}

package/dist/baseline.d.ts

@@ -0,0 +1,83 @@
+import type { ArchViolation } from './violation.js';
+/**
+ * A single entry in the baseline file.
+ *
+ * Violations are identified by rule + file + content hash.
+ * Line numbers are stored for human readability but NOT used for matching —
+ * they drift as code moves. The content hash (of the violation message +
+ * element name) provides stable identity.
+ */
+export interface BaselineEntry {
+    /** Rule description (from the fluent chain) */
+    rule: string;
+    /** Relative file path (relative to baseline file location) */
+    file: string;
+    /** Line number at time of baseline (informational, not used for matching) */
+    line: number;
+    /** Stable identity hash: sha256(rule + element + message) */
+    hash: string;
+}
+/**
+ * The baseline file structure.
+ */
+export interface BaselineFile {
+    /** ISO timestamp when the baseline was generated */
+    generatedAt: string;
+    /** Number of violations recorded */
+    count: number;
+    /** The violations */
+    violations: BaselineEntry[];
+}
+/**
+ * Compute a stable hash for a violation.
+ *
+ * Uses rule + element + message as identity. This survives:
+ * - Line number changes (code moved)
+ * - Unrelated code changes in the same file
+ *
+ * Does NOT survive:
+ * - Rule description changes (rewording .because())
+ * - Element renames (class renamed)
+ * - Message text changes (condition wording updated)
+ *
+ * This is intentional — if the rule or element changes,
+ * the violation should be re-evaluated.
+ */
+export declare function hashViolation(violation: ArchViolation): string;
+/**
+ * Load a baseline from a JSON file.
+ *
+ * @param baselinePath - Path to the baseline JSON file
+ * @returns A Baseline object for use with check(\{ baseline \})
+ */
+export declare function withBaseline(baselinePath: string): Baseline;
+/**
+ * Generate a baseline file from a list of violations.
+ *
+ * Call this to create/update the baseline:
+ * ```typescript
+ * const violations = collectAllViolations(rules)
+ * generateBaseline(violations, 'arch-baseline.json')
+ * ```
+ */
+export declare function generateBaseline(violations: ArchViolation[], outputPath: string): void;
+/**
+ * A loaded baseline. Passed to check(\{ baseline \}) to filter known violations.
+ */
+export declare class Baseline {
+    private readonly knownHashes;
+    private readonly baselineDir;
+    constructor(knownHashes: Set<string>, baselineDir: string);
+    /**
+     * Check if a violation is known (exists in the baseline).
+     * Known violations are filtered out — they don't cause failures.
+     */
+    isKnown(violation: ArchViolation): boolean;
+    /**
+     * Filter out known violations, returning only new ones.
+     */
+    filterNew(violations: ArchViolation[]): ArchViolation[];
+    /** Number of known violations in the baseline */
+    get size(): number;
+}
+//# sourceMappingURL=baseline.d.ts.map

package/dist/baseline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline.d.ts","sourceRoot":"","sources":["../src/baseline.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAA;IACZ,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAA;IACZ,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAA;IACZ,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAA;IACnB,oCAAoC;IACpC,KAAK,EAAE,MAAM,CAAA;IACb,qBAAqB;IACrB,UAAU,EAAE,aAAa,EAAE,CAAA;CAC5B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,CAG9D;AAUD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,CA6B3D;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,aAAa,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAmBtF;AAED;;GAEG;AACH,qBAAa,QAAQ;IAEjB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,WAAW;gBADX,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,EACxB,WAAW,EAAE,MAAM;IAGtC;;;OAGG;IACH,OAAO,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO;IAI1C;;OAEG;IACH,SAAS,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE;IAIvD,iDAAiD;IACjD,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF"}

package/dist/baseline.js

@@ -0,0 +1,115 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import { createHash } from 'node:crypto';
+/**
+ * Compute a stable hash for a violation.
+ *
+ * Uses rule + element + message as identity. This survives:
+ * - Line number changes (code moved)
+ * - Unrelated code changes in the same file
+ *
+ * Does NOT survive:
+ * - Rule description changes (rewording .because())
+ * - Element renames (class renamed)
+ * - Message text changes (condition wording updated)
+ *
+ * This is intentional — if the rule or element changes,
+ * the violation should be re-evaluated.
+ */
+export function hashViolation(violation) {
+    const content = `${violation.rule}::${violation.element}::${violation.message}`;
+    return createHash('sha256').update(content).digest('hex').slice(0, 16);
+}
+/**
+ * Convert an absolute file path to a path relative to the baseline file.
+ * Baseline files store relative paths so they're portable across machines.
+ */
+function toRelativePath(absolutePath, baselineDir) {
+    return path.relative(baselineDir, absolutePath);
+}
+/**
+ * Load a baseline from a JSON file.
+ *
+ * @param baselinePath - Path to the baseline JSON file
+ * @returns A Baseline object for use with check(\{ baseline \})
+ */
+export function withBaseline(baselinePath) {
+    const resolved = path.resolve(baselinePath);
+    const baselineDir = path.dirname(resolved);
+    if (!fs.existsSync(resolved)) {
+        // No baseline file = no known violations = all violations are new
+        return new Baseline(new Set(), baselineDir);
+    }
+    const raw = fs.readFileSync(resolved, 'utf-8');
+    const parsed = JSON.parse(raw);
+    if (!parsed ||
+        typeof parsed !== 'object' ||
+        !('violations' in parsed) ||
+        !Array.isArray(parsed.violations)) {
+        console.warn(`[eess] Invalid baseline file format at ${resolved} — treating as empty`);
+        return new Baseline(new Set(), baselineDir);
+    }
+    const violations = parsed.violations;
+    const hashes = new Set();
+    for (const entry of violations) {
+        if (entry && typeof entry === 'object' && 'hash' in entry && typeof entry.hash === 'string') {
+            hashes.add(entry.hash);
+        }
+    }
+    return new Baseline(hashes, baselineDir);
+}
+/**
+ * Generate a baseline file from a list of violations.
+ *
+ * Call this to create/update the baseline:
+ * ```typescript
+ * const violations = collectAllViolations(rules)
+ * generateBaseline(violations, 'arch-baseline.json')
+ * ```
+ */
+export function generateBaseline(violations, outputPath) {
+    const resolved = path.resolve(outputPath);
+    const baselineDir = path.dirname(resolved);
+    const entries = violations.map((v) => ({
+        rule: v.rule,
+        file: toRelativePath(v.file, baselineDir),
+        line: v.line,
+        hash: hashViolation(v),
+    }));
+    const baseline = {
+        generatedAt: new Date().toISOString(),
+        count: entries.length,
+        violations: entries,
+    };
+    fs.mkdirSync(path.dirname(resolved), { recursive: true });
+    fs.writeFileSync(resolved, JSON.stringify(baseline, null, 2) + '\n');
+}
+/**
+ * A loaded baseline. Passed to check(\{ baseline \}) to filter known violations.
+ */
+export class Baseline {
+    knownHashes;
+    baselineDir;
+    constructor(knownHashes, baselineDir) {
+        this.knownHashes = knownHashes;
+        this.baselineDir = baselineDir;
+    }
+    /**
+     * Check if a violation is known (exists in the baseline).
+     * Known violations are filtered out — they don't cause failures.
+     */
+    isKnown(violation) {
+        return this.knownHashes.has(hashViolation(violation));
+    }
+    /**
+     * Filter out known violations, returning only new ones.
+     */
+    filterNew(violations) {
+        return violations.filter((v) => !this.isKnown(v));
+    }
+    /** Number of known violations in the baseline */
+    get size() {
+        return this.knownHashes.size;
+    }
+}
+//# sourceMappingURL=baseline.js.map

package/dist/baseline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline.js","sourceRoot":"","sources":["../src/baseline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAkCxC;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,aAAa,CAAC,SAAwB;IACpD,MAAM,OAAO,GAAG,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO,EAAE,CAAA;IAC/E,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,YAAoB,EAAE,WAAmB;IAC/D,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,YAAoB;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IAE1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,kEAAkE;QAClE,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,EAAE,EAAE,WAAW,CAAC,CAAA;IAC7C,CAAC;IAED,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC9C,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvC,IACE,CAAC,MAAM;QACP,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,CAAC,YAAY,IAAI,MAAM,CAAC;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EACjC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,0CAA0C,QAAQ,sBAAsB,CAAC,CAAA;QACtF,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,EAAE,EAAE,WAAW,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,UAAU,GAAc,MAAM,CAAC,UAAU,CAAA;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5F,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAA2B,EAAE,UAAkB;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IACzC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IAE1C,MAAM,OAAO,GAAoB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC;QACzC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;KACvB,CAAC,CAAC,CAAA;IAEH,MAAM,QAAQ,GAAiB;QAC7B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,UAAU,EAAE,OAAO;KACpB,CAAA;IAED,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;AACtE,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,QAAQ;IAEA;IACA;IAFnB,YACmB,WAAwB,EACxB,WAAmB;QADnB,gBAAW,GAAX,WAAW,CAAa;QACxB,gBAAW,GAAX,WAAW,CAAQ;IACnC,CAAC;IAEJ;;;OAGG;IACH,OAAO,CAAC,SAAwB;QAC9B,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAA;IACvD,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,UAA2B;QACnC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC;IAED,iDAAiD;IACjD,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAA;IAC9B,CAAC;CACF"}

package/dist/check-options.d.ts

@@ -0,0 +1,47 @@
+import type { ArchViolation } from './violation.js';
+/**
+ * Output format for violations.
+ *
+ * - 'terminal' (default): ANSI-colored output with code frames
+ * - 'json': Machine-readable JSON
+ * - 'github': GitHub Actions annotation commands
+ */
+export type OutputFormat = 'terminal' | 'json' | 'github';
+/**
+ * A filter that removes known violations (e.g. from a baseline file).
+ * Implemented by `Baseline` in `../helpers/baseline.js`.
+ */
+export interface BaselineFilter {
+    /** Filter out known violations, returning only new ones. */
+    filterNew(violations: ArchViolation[]): ArchViolation[];
+}
+/**
+ * A filter that restricts violations to changed files (e.g. from git diff).
+ * Implemented by `DiffFilter` in `../helpers/diff-aware.js`.
+ */
+export interface DiffFilterLike {
+    /** Filter violations to only those in changed files. */
+    filterToChanged(violations: ArchViolation[]): ArchViolation[];
+}
+/**
+ * Options passed to .check() and .warn() to filter violations.
+ *
+ * @example
+ * // Baseline only
+ * .check(\{ baseline \})
+ *
+ * // Diff-aware only
+ * .check(\{ diff: diffAware('main') \})
+ *
+ * // Both
+ * .check(\{ baseline, diff: diffAware('main') \})
+ */
+export interface CheckOptions {
+    /** Filter out known violations from a baseline file */
+    baseline?: BaselineFilter;
+    /** Filter to only violations in changed files */
+    diff?: DiffFilterLike;
+    /** Output format for violations. Default: 'terminal' */
+    format?: OutputFormat;
+}
+//# sourceMappingURL=check-options.d.ts.map

package/dist/check-options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-options.d.ts","sourceRoot":"","sources":["../src/check-options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,CAAA;AAEzD;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,4DAA4D;IAC5D,SAAS,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE,CAAA;CACxD;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,wDAAwD;IACxD,eAAe,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE,CAAA;CAC9D;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB,iDAAiD;IACjD,IAAI,CAAC,EAAE,cAAc,CAAA;IACrB,wDAAwD;IACxD,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB"}

package/dist/check-options.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=check-options.js.map

package/dist/check-options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-options.js","sourceRoot":"","sources":["../src/check-options.ts"],"names":[],"mappings":""}

package/dist/code-frame.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Options for code frame generation.
+ */
+export interface CodeFrameOptions {
+    /** Number of context lines before and after the target line. Default: 3 */
+    contextLines?: number;
+}
+/**
+ * Generate a code frame showing source context around a target line.
+ *
+ * @param sourceText - Full source file text
+ * @param targetLine - 1-based line number to highlight
+ * @param options - Context line count
+ * @returns Formatted code frame string, or empty string if targetLine is out of range
+ */
+export declare function generateCodeFrame(sourceText: string, targetLine: number, options?: CodeFrameOptions): string;
+//# sourceMappingURL=code-frame.d.ts.map

package/dist/code-frame.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-frame.d.ts","sourceRoot":"","sources":["../src/code-frame.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,2EAA2E;IAC3E,YAAY,CAAC,EAAE,MAAM,CAAA;CACtB;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,gBAAgB,GACzB,MAAM,CA4BR"}

package/dist/code-frame.js

@@ -0,0 +1,32 @@
+/**
+ * Generate a code frame showing source context around a target line.
+ *
+ * @param sourceText - Full source file text
+ * @param targetLine - 1-based line number to highlight
+ * @param options - Context line count
+ * @returns Formatted code frame string, or empty string if targetLine is out of range
+ */
+export function generateCodeFrame(sourceText, targetLine, options) {
+    const contextLines = options?.contextLines ?? 3;
+    if (sourceText === '') {
+        return '';
+    }
+    const lines = sourceText.split('\n');
+    if (targetLine < 1 || targetLine > lines.length) {
+        return '';
+    }
+    const start = Math.max(0, targetLine - 1 - contextLines);
+    const end = Math.min(lines.length, targetLine + contextLines);
+    // Determine gutter width from the largest line number in the range
+    const gutterWidth = String(end).length;
+    const frameLines = [];
+    for (let i = start; i < end; i++) {
+        const lineNum = i + 1;
+        const isTarget = lineNum === targetLine;
+        const marker = isTarget ? '>' : ' ';
+        const paddedNum = String(lineNum).padStart(gutterWidth);
+        frameLines.push(`  ${marker} ${paddedNum} | ${lines[i]}`);
+    }
+    return frameLines.join('\n');
+}
+//# sourceMappingURL=code-frame.js.map

package/dist/code-frame.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-frame.js","sourceRoot":"","sources":["../src/code-frame.ts"],"names":[],"mappings":"AAQA;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAAkB,EAClB,UAAkB,EAClB,OAA0B;IAE1B,MAAM,YAAY,GAAG,OAAO,EAAE,YAAY,IAAI,CAAC,CAAA;IAC/C,IAAI,UAAU,KAAK,EAAE,EAAE,CAAC;QACtB,OAAO,EAAE,CAAA;IACX,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAEpC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAChD,OAAO,EAAE,CAAA;IACX,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,GAAG,YAAY,CAAC,CAAA;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,CAAC,CAAA;IAE7D,mEAAmE;IACnE,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;IAEtC,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAA;QACrB,MAAM,QAAQ,GAAG,OAAO,KAAK,UAAU,CAAA;QACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;QACnC,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QACvD,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC3D,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC"}

package/dist/combinators.d.ts

@@ -0,0 +1,55 @@
+import type { Predicate } from './predicate.js';
+/**
+ * A function that tests a value against a condition.
+ *
+ * Dialect-independent generalization of a matcher. The TS dialect's
+ * `TypeMatcher = (type: Type) => boolean` is structurally a `Matcher<Type>`, so
+ * it composes with `not`/`and`/`or` without the kernel knowing about ts-morph.
+ */
+export type Matcher<V> = (value: V) => boolean;
+/**
+ * Negates a predicate or matcher.
+ *
+ * Accepts both `Predicate<T>` objects (used in `.that()` chains) and
+ * `Matcher<V>` functions (e.g. type matchers used in `.should()` arguments).
+ *
+ * @example
+ * // Negate a predicate:
+ * functions(p).that(not(areAsync())).should()...
+ *
+ * // Negate a type matcher:
+ * .should().haveReturnTypeMatching(not(matching(/void/)))
+ */
+export declare function not<T>(input: Predicate<T>): Predicate<T>;
+export declare function not<V>(input: Matcher<V>): Matcher<V>;
+/**
+ * Combines predicates or matchers with AND logic.
+ *
+ * All inputs must be the same kind: either all `Predicate<T>` or all
+ * `Matcher<V>`. Requires at least one argument.
+ *
+ * @example
+ * // Combine predicates:
+ * functions(p).that(and(areAsync(), areExported())).should()...
+ *
+ * // Combine type matchers:
+ * .should().haveReturnTypeMatching(and(matching(/Promise/), not(matching(/void/))))
+ */
+export declare function and<T>(...predicates: Predicate<T>[]): Predicate<T>;
+export declare function and<V>(...matchers: Matcher<V>[]): Matcher<V>;
+/**
+ * Combines predicates or matchers with OR logic.
+ *
+ * All inputs must be the same kind: either all `Predicate<T>` or all
+ * `Matcher<V>`. Requires at least one argument.
+ *
+ * @example
+ * // Combine predicates:
+ * functions(p).that(or(areAsync(), areExported())).should()...
+ *
+ * // Combine type matchers:
+ * .should().haveReturnTypeMatching(or(matching(/Promise/), matching(/Collection/)))
+ */
+export declare function or<T>(...predicates: Predicate<T>[]): Predicate<T>;
+export declare function or<V>(...matchers: Matcher<V>[]): Matcher<V>;
+//# sourceMappingURL=combinators.d.ts.map

package/dist/combinators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"combinators.d.ts","sourceRoot":"","sources":["../src/combinators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/C;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;AAE9C;;;;;;;;;;;;GAYG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AACzD,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAmBrD;;;;;;;;;;;;GAYG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AACnE,wBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAe7D;;;;;;;;;;;;GAYG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAClE,wBAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA"}