@nielspeter/eess-ts 0.2.0 → 0.4.0

package/dist/presets/boundaries.js

@@ -2,8 +2,9 @@ import picomatch from 'picomatch';
 import { slices } from '../builders/slice-rule-builder.js';
 import { modules } from '../builders/module-rule-builder.js';
 import { smells } from '../smells/index.js';
-import { dispatchRule, validateOverrides, finishPreset } from './shared.js';
+import { atPath, collectRule, overrideFindings, validateOverrides, assertDiscovered, declaredEmptyFindings, deliver, } from './shared.js';
 const RULE_IDS = [
+    'preset/boundaries/shared-discovery',
     'preset/boundaries/no-cycles',
     'preset/boundaries/no-cross-boundary',
     'preset/boundaries/shared-isolation',
@@ -13,40 +14,56 @@ const RULE_IDS = [
 /**
  * Collect violations for shared-folder isolation rules.
  */
-function applySharedIsolation(p, sharedGlobs, boundaryFolders, overrides) {
-    const violations = [];
+function applySharedIsolation(p, sharedGlobs, boundaryFolders, config, constructed) {
+    const builders = [];
     for (const sharedGlob of sharedGlobs) {
         for (const dir of boundaryFolders) {
-            violations.push(...dispatchRule(modules(p).that().resideInFolder(sharedGlob).should().notImportFrom(`${dir}/**`), 'preset/boundaries/shared-isolation', 'error', overrides));
+            builders.push(...collectRule(modules(p)
+                .that()
+                .satisfy(atPath(sharedGlob, 'shared'))
+                .should()
+                .notImportFromWithOptions([`${dir}/**`], config.importOptions ?? {}), {
+                id: 'preset/boundaries/shared-isolation',
+                because: 'shared code is imported by every boundary, so a dependency from shared back into one of them couples all of them to it',
+                suggestion: 'Invert the dependency: move what shared needs into shared, or pass it in as a parameter or interface from the boundary that owns it.',
+                imperative: 'Do NOT import a boundary from shared code — invert the dependency',
+            }, 'error', config, constructed));
         }
     }
-    return violations;
+    return builders;
 }
 /**
  * Collect violations for test-isolation rules across boundaries.
  */
-function applyTestIsolation(p, boundaryFolders, overrides) {
-    const violations = [];
+function applyTestIsolation(p, boundaryFolders, config, constructed) {
+    const builders = [];
     for (const dir of boundaryFolders) {
         const testPattern = `${dir}/**/*.test.*`;
         const otherBoundaryTests = boundaryFolders
             .filter((d) => d !== dir)
             .map((d) => `${d}/**/*.test.*`);
         for (const otherTestGlob of otherBoundaryTests) {
-            violations.push(...dispatchRule(modules(p).that().resideInFile(testPattern).should().notImportFrom(otherTestGlob), 'preset/boundaries/test-isolation', 'error', overrides));
+            builders.push(...collectRule(modules(p)
+                .that()
+                .resideInFile(testPattern)
+                .should()
+                .notImportFromWithOptions([otherTestGlob], config.importOptions ?? {}), {
+                id: 'preset/boundaries/test-isolation',
+                because: "one boundary's tests reaching into another's makes the two impossible to move, delete or run independently",
+                suggestion: 'Duplicate the small fixture it needs, or promote the shared helper into a test-support module both boundaries may import.',
+                imperative: "Do NOT import another boundary's tests — duplicate the fixture or share it explicitly",
+            }, 'error', config, constructed));
         }
     }
-    return violations;
+    return builders;
 }
-/**
- * Enforce strict module boundaries: no cycles, no cross-boundary imports,
- * shared isolation, and optional copy-paste detection.
- */
 export function strictBoundaries(p, options) {
-    const overrides = options.overrides;
-    validateOverrides(overrides, [...RULE_IDS]);
+    const config = options;
+    const constructed = [];
+    validateOverrides(config.overrides, [...RULE_IDS]);
+    const overrideProblems = overrideFindings(config.overrides, RULE_IDS);
     const sharedGlobs = options.shared ?? [];
-    const violations = [];
+    const builders = [];
     // Discover boundary folders from the glob pattern
     const boundaryGlob = options.folders;
     const matcher = picomatch(boundaryGlob);
@@ -63,31 +80,123 @@ export function strictBoundaries(p, options) {
         const name = dir.split('/').pop() ?? dir;
         sliceDef[name] = `${dir}/**`;
     }
+    // --- Discovery guard: a boundaries preset that finds no boundaries is
+    //     misconfigured (globs match absolute paths — a project-relative glob
+    //     matches nothing). Fail loudly instead of generating zero rules
+    //     (the exact false green of ADR-008 / plan 0067), rather than the old
+    //     silent skip. ---
+    builders.push(...assertDiscovered(boundaryFolders, {
+        id: 'preset/boundaries/discovery',
+        glob: boundaryGlob,
+        remedy: `Boundary discovery matches absolute file paths, so '${boundaryGlob}' matched nothing. ` +
+            `Use a '**/'-prefixed glob (e.g. '**/${boundaryGlob.replace(/^[./]+/, '')}') or the absolute project path.`,
+    }));
+    // --- Discovery guard for `shared`, mirroring the one above for `folders` ---
+    //
+    // `shared` globs go RAW into `no-cross-boundary`'s allow list and are matched
+    // by picomatch against absolute resolved file paths. A glob that matches no
+    // file creates no allowance — and produced no finding at all, so the user
+    // learned about it only through false reds on the exact code the preset's own
+    // docs tell them to write. Measured on `boundaries-folder-level`:
+    //
+    //   shared: ['**/src/shared/**']    shared import passes, 0 config findings
+    //   shared: ['src/shared/**']       shared import FLAGGED, 0 config findings
+    //   shared: ['**/no-such-dir/**']   shared import FLAGGED, 0 config findings
+    //   folders: 'src/features/*'       0 rules,              1 config finding
+    //
+    // The last row is the contract `shared` was missing: `folders` fails loudly on
+    // a spelling that matches nothing, and the two options sat on one preset
+    // holding the caller to two different contracts (bug 0023). Note that the
+    // middle two rows are indistinguishable from outside — same violation count,
+    // no explanation — which is what the guard fixes.
+    //
+    // A GUARD, deliberately not normalization. `folders` is not normalized either;
+    // its remedy states the absolute-path contract and tells the caller how to
+    // spell it. Rewriting `shared` globs instead would make one option on this
+    // preset accept a spelling the other rejects, which is a worse asymmetry than
+    // the one being fixed.
+    //
+    // Matched against FILE paths, not `atPath`'s file-or-folder: the allow list is
+    // what this guard is about, and `onlyImportFrom` matches resolved file paths.
+    // `shared: ['**/src/shared']` — a folder glob with no `/**` — selects files for
+    // `shared-isolation` via `atPath` yet creates no allowance, so it is a genuine
+    // fault here and the guard must fire for it.
+    for (const sharedGlob of sharedGlobs) {
+        const matchesFile = picomatch(sharedGlob);
+        const matchedFiles = p.getSourceFiles().filter((sf) => matchesFile(sf.getFilePath()));
+        builders.push(...assertDiscovered(matchedFiles, {
+            id: 'preset/boundaries/shared-discovery',
+            glob: sharedGlob,
+            remedy: `A shared glob is matched against absolute file paths, so '${sharedGlob}' matched no file and ` +
+                `creates no allowance — every import of it is reported as a cross-boundary violation. ` +
+                `Use a '**/'-prefixed glob ending in '/**' (e.g. '**/${sharedGlob.replace(/^[./]+/, '').replace(/\/\*\*$/, '')}/**') or the absolute project path.`,
+        }));
+    }
     // --- No cycles between boundaries ---
     if (Object.keys(sliceDef).length > 0) {
-        violations.push(...dispatchRule(slices(p).assignedFrom(sliceDef).should().beFreeOfCycles(), 'preset/boundaries/no-cycles', 'error', overrides));
+        builders.push(...collectRule(slices(p).assignedFrom(sliceDef).should().beFreeOfCycles(options.importOptions), {
+            id: 'preset/boundaries/no-cycles',
+            because: 'boundaries in a cycle cannot be built, tested, released or reasoned about separately, which is the whole point of having them. Since v0.48.0 a cycle formed by `export … from` (a barrel) IS detected; dynamic `import()` still is not, deliberately, because it is lazy and is usually the fix rather than the fault.',
+            suggestion: 'Break the cycle at its weakest edge: move the shared type or helper into the shared module, or invert one direction with an interface owned by the depended-on side.',
+            imperative: 'Do NOT create an import cycle between boundaries',
+        }, 'error', config, constructed));
     }
     // --- No cross-boundary imports ---
     // Each boundary folder: modules in it can only import from itself + shared
     for (const dir of boundaryFolders) {
         const boundaryPattern = `${dir}/**`;
         const allowedGlobs = [boundaryPattern, ...sharedGlobs];
-        violations.push(...dispatchRule(modules(p)
+        builders.push(...collectRule(modules(p)
             .that()
             .resideInFolder(boundaryPattern)
             .should()
-            .onlyImportFrom(...allowedGlobs), 'preset/boundaries/no-cross-boundary', 'error', overrides));
+            // Forwarded, like `beFreeOfCycles`. Measured before the fix, a
+            // type-only cross-boundary edge failed this rule identically with and
+            // without `{ ignoreTypeImports: true }` — the option documented as
+            // reaching the isolation rules reached only the cycle rule.
+            .onlyImportFromWithOptions(allowedGlobs, options.importOptions ?? {}), {
+            id: 'preset/boundaries/no-cross-boundary',
+            // This rule is folder-level: the allow list is this boundary plus the
+            // shared globs, so ANY import from another boundary violates it,
+            // whichever file it names. The metadata used to describe
+            // entry-point-mediated access — a looser policy the rule does not
+            // implement — and its `Fix:` line said "import from the other
+            // boundary's entry point instead". Applied exactly, that reproduces
+            // the identical violation: measured, `reporting -> billing/index.ts`
+            // and `reporting -> billing/internal.ts` fail identically
+            // ([ts-archunit bug 0017](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0017-boundaries-no-cross-boundary-message-overclaims-entry-point-enforcement.md)).
+            // An agent obeying it loops, and its only exits are unsanctioned.
+            because: 'boundaries may only depend on themselves and the shared modules — an import from another boundary couples the two, whichever file it names',
+            // COMPUTED, because no fixed string is right in both configurations.
+            // `shared` defaults to `[]`, which is legal, and there the "move it
+            // into the shared module" clause names somewhere that does not exist:
+            // measured, a boundary importing `src/shared/**` with `shared`
+            // unconfigured is itself a violation of this rule.
+            suggestion: sharedGlobs.length > 0
+                ? `Move the code both boundaries need into a shared folder (${sharedGlobs.join(', ')}), or remove the dependency on the other boundary.`
+                : 'No shared folders are configured — add one to strictBoundaries({ shared }) and move the code both boundaries need there, or remove the dependency on the other boundary.',
+            imperative: 'Do NOT import a file outside this boundary or its shared modules',
+        }, 'error', config, constructed));
     }
     // --- Shared isolation: shared folders don't import from boundaries ---
-    violations.push(...applySharedIsolation(p, sharedGlobs, boundaryFolders, overrides));
+    builders.push(...applySharedIsolation(p, sharedGlobs, boundaryFolders, config, constructed));
     // --- Test isolation ---
     if (options.isolateTests) {
-        violations.push(...applyTestIsolation(p, boundaryFolders, overrides));
+        builders.push(...applyTestIsolation(p, boundaryFolders, config, constructed));
     }
     // --- No copy-paste across boundaries ---
     if (options.noCopyPaste) {
-        violations.push(...dispatchRule(smells.duplicateBodies(p), 'preset/boundaries/no-duplicate-bodies', 'warn', overrides));
+        builders.push(...collectRule(smells.duplicateBodies(p), {
+            id: 'preset/boundaries/no-duplicate-bodies',
+            because: 'the same body in two boundaries drifts independently, so a fix applied in one silently leaves the other wrong',
+            suggestion: 'Extract the shared logic into the shared module and call it from both. If the similarity is coincidental, raise withMinSimilarity() or exclude the pair.',
+            imperative: 'Do NOT copy a function body across boundaries — extract it into shared',
+        }, 'warn', config, constructed));
     }
-    return finishPreset(violations, options);
+    // Unknown override keys FIRST: they say the configuration is wrong, which
+    // the reader needs before any finding produced under it (bug 0038).
+    // Constructed, not merely known: a rule whose option was never enabled, or that
+    // was overridden `off`, is not built — so a declaration naming it is dead.
+    return deliver([...overrideProblems, ...declaredEmptyFindings(config.expectEmpty, constructed), ...builders], options);
 }
 //# sourceMappingURL=boundaries.js.map

package/dist/presets/boundaries.js.map

@@ -1 +1 @@
-{"version":3,"file":"boundaries.js","sourceRoot":"","sources":["../../src/presets/boundaries.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AAGjC,OAAO,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAA;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAa3E,MAAM,QAAQ,GAAG;IACf,6BAA6B;IAC7B,qCAAqC;IACrC,oCAAoC;IACpC,kCAAkC;IAClC,uCAAuC;CAC/B,CAAA;AAEV;;GAEG;AACH,SAAS,oBAAoB,CAC3B,CAAc,EACd,WAAqB,EACrB,eAAyB,EACzB,SAA+C;IAE/C,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC,aAAa,CAAC,GAAG,GAAG,KAAK,CAAC,EAChF,oCAAoC,EACpC,OAAO,EACP,SAAS,CACV,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,CAAc,EACd,eAAyB,EACzB,SAA+C;IAE/C,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,GAAG,GAAG,cAAc,CAAA;QACxC,MAAM,kBAAkB,GAAG,eAAe;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;QAEjC,KAAK,MAAM,aAAa,IAAI,kBAAkB,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,aAAa,CAAC,aAAa,CAAC,EACjF,kCAAkC,EAClC,OAAO,EACP,SAAS,CACV,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,CAAc,EACd,OAAgC;IAEhC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAA;IACnC,iBAAiB,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAA;IAE3C,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAA;IACxC,MAAM,UAAU,GAAoB,EAAE,CAAA;IAEtC,kDAAkD;IAClD,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAA;IACpC,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,CAAA;IACvC,MAAM,eAAe,GAAa,EAAE,CAAA;IACpC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;QACpD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAC3C,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAA;QACxC,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,KAAK,CAAA;IAC9B,CAAC;IAED,uCAAuC;IACvC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,cAAc,EAAE,EAC1D,6BAA6B,EAC7B,OAAO,EACP,SAAS,CACV,CACF,CAAA;IACH,CAAC;IAED,oCAAoC;IACpC,2EAA2E;IAC3E,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,eAAe,GAAG,GAAG,GAAG,KAAK,CAAA;QACnC,MAAM,YAAY,GAAG,CAAC,eAAe,EAAE,GAAG,WAAW,CAAC,CAAA;QAEtD,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,OAAO,CAAC,CAAC,CAAC;aACP,IAAI,EAAE;aACN,cAAc,CAAC,eAAe,CAAC;aAC/B,MAAM,EAAE;aACR,cAAc,CAAC,GAAG,YAAY,CAAC,EAClC,qCAAqC,EACrC,OAAO,EACP,SAAS,CACV,CACF,CAAA;IACH,CAAC;IAED,wEAAwE;IACxE,UAAU,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAA;IAEpF,yBAAyB;IACzB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,0CAA0C;IAC1C,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,EACzB,uCAAuC,EACvC,MAAM,EACN,SAAS,CACV,CACF,CAAA;IACH,CAAC;IAED,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC1C,CAAC"}
+{"version":3,"file":"boundaries.js","sourceRoot":"","sources":["../../src/presets/boundaries.ts"],"names":[],"mappings":"AAGA,OAAO,SAAS,MAAM,WAAW,CAAA;AAGjC,OAAO,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAA;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EACL,MAAM,EACN,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,OAAO,GACR,MAAM,aAAa,CAAA;AAsCpB,MAAM,QAAQ,GAAG;IACf,oCAAoC;IACpC,6BAA6B;IAC7B,qCAAqC;IACrC,oCAAoC;IACpC,kCAAkC;IAClC,uCAAuC;CAC/B,CAAA;AAEV;;GAEG;AACH,SAAS,oBAAoB,CAC3B,CAAc,EACd,WAAqB,EACrB,eAAyB,EACzB,MAA+B,EAC/B,WAAqB;IAErB,MAAM,QAAQ,GAAsB,EAAE,CAAA;IACtC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,OAAO,CAAC,CAAC,CAAC;iBACP,IAAI,EAAE;iBACN,OAAO,CAAC,MAAM,CAAa,UAAU,EAAE,QAAQ,CAAC,CAAC;iBACjD,MAAM,EAAE;iBACR,wBAAwB,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,EACtE;gBACE,EAAE,EAAE,oCAAoC;gBACxC,OAAO,EACL,wHAAwH;gBAC1H,UAAU,EACR,sIAAsI;gBACxI,UAAU,EAAE,mEAAmE;aAChF,EACD,OAAO,EACP,MAAM,EACN,WAAW,CACZ,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,CAAc,EACd,eAAyB,EACzB,MAA+B,EAC/B,WAAqB;IAErB,MAAM,QAAQ,GAAsB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,GAAG,GAAG,cAAc,CAAA;QACxC,MAAM,kBAAkB,GAAG,eAAe;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;QAEjC,KAAK,MAAM,aAAa,IAAI,kBAAkB,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,OAAO,CAAC,CAAC,CAAC;iBACP,IAAI,EAAE;iBACN,YAAY,CAAC,WAAW,CAAC;iBACzB,MAAM,EAAE;iBACR,wBAAwB,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,EACxE;gBACE,EAAE,EAAE,kCAAkC;gBACtC,OAAO,EACL,4GAA4G;gBAC9G,UAAU,EACR,2HAA2H;gBAC7H,UAAU,EACR,uFAAuF;aAC1F,EACD,OAAO,EACP,MAAM,EACN,WAAW,CACZ,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAuBD,MAAM,UAAU,gBAAgB,CAC9B,CAAc,EACd,OAAgC;IAEhC,MAAM,MAAM,GAAG,OAAO,CAAA;IACtB,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAA;IAClD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAErE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAA;IACxC,MAAM,QAAQ,GAAsB,EAAE,CAAA;IAEtC,kDAAkD;IAClD,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAA;IACpC,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,CAAA;IACvC,MAAM,eAAe,GAAa,EAAE,CAAA;IACpC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;QACpD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAC3C,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAA;QACxC,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,KAAK,CAAA;IAC9B,CAAC;IAED,uEAAuE;IACvE,0EAA0E;IAC1E,qEAAqE;IACrE,0EAA0E;IAC1E,uBAAuB;IACvB,QAAQ,CAAC,IAAI,CACX,GAAG,gBAAgB,CAAC,eAAe,EAAE;QACnC,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,YAAY;QAClB,MAAM,EACJ,uDAAuD,YAAY,qBAAqB;YACxF,uCAAuC,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,kCAAkC;KAC9G,CAAC,CACH,CAAA;IAED,8EAA8E;IAC9E,EAAE;IACF,8EAA8E;IAC9E,4EAA4E;IAC5E,0EAA0E;IAC1E,8EAA8E;IAC9E,kEAAkE;IAClE,EAAE;IACF,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,EAAE;IACF,+EAA+E;IAC/E,yEAAyE;IACzE,0EAA0E;IAC1E,6EAA6E;IAC7E,kDAAkD;IAClD,EAAE;IACF,+EAA+E;IAC/E,2EAA2E;IAC3E,2EAA2E;IAC3E,8EAA8E;IAC9E,uBAAuB;IACvB,EAAE;IACF,+EAA+E;IAC/E,8EAA8E;IAC9E,gFAAgF;IAChF,+EAA+E;IAC/E,6CAA6C;IAC7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;QACzC,MAAM,YAAY,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAA;QACrF,QAAQ,CAAC,IAAI,CACX,GAAG,gBAAgB,CAAC,YAAY,EAAE;YAChC,EAAE,EAAE,oCAAoC;YACxC,IAAI,EAAE,UAAU;YAChB,MAAM,EACJ,6DAA6D,UAAU,wBAAwB;gBAC/F,uFAAuF;gBACvF,uDAAuD,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,qCAAqC;SACtJ,CAAC,CACH,CAAA;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,aAAa,CAAC,EAC/E;YACE,EAAE,EAAE,6BAA6B;YACjC,OAAO,EACL,wTAAwT;YAC1T,UAAU,EACR,sKAAsK;YACxK,UAAU,EAAE,kDAAkD;SAC/D,EACD,OAAO,EACP,MAAM,EACN,WAAW,CACZ,CACF,CAAA;IACH,CAAC;IAED,oCAAoC;IACpC,2EAA2E;IAC3E,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,eAAe,GAAG,GAAG,GAAG,KAAK,CAAA;QACnC,MAAM,YAAY,GAAG,CAAC,eAAe,EAAE,GAAG,WAAW,CAAC,CAAA;QAEtD,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,OAAO,CAAC,CAAC,CAAC;aACP,IAAI,EAAE;aACN,cAAc,CAAC,eAAe,CAAC;aAC/B,MAAM,EAAE;YACT,+DAA+D;YAC/D,sEAAsE;YACtE,mEAAmE;YACnE,4DAA4D;aAC3D,yBAAyB,CAAC,YAAY,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,EACvE;YACE,EAAE,EAAE,qCAAqC;YACzC,sEAAsE;YACtE,iEAAiE;YACjE,yDAAyD;YACzD,kEAAkE;YAClE,8DAA8D;YAC9D,oEAAoE;YACpE,qEAAqE;YACrE,0DAA0D;YAC1D,4KAA4K;YAC5K,kEAAkE;YAClE,OAAO,EACL,4IAA4I;YAC9I,qEAAqE;YACrE,oEAAoE;YACpE,sEAAsE;YACtE,+DAA+D;YAC/D,mDAAmD;YACnD,UAAU,EACR,WAAW,CAAC,MAAM,GAAG,CAAC;gBACpB,CAAC,CAAC,4DAA4D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD;gBACxI,CAAC,CAAC,0KAA0K;YAChL,UAAU,EAAE,kEAAkE;SAC/E,EACD,OAAO,EACP,MAAM,EACN,WAAW,CACZ,CACF,CAAA;IACH,CAAC;IAED,wEAAwE;IACxE,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAA;IAE5F,yBAAyB;IACzB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAA;IAC/E,CAAC;IAED,0CAA0C;IAC1C,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,EACzB;YACE,EAAE,EAAE,uCAAuC;YAC3C,OAAO,EACL,+GAA+G;YACjH,UAAU,EACR,0JAA0J;YAC5J,UAAU,EAAE,wEAAwE;SACrF,EACD,MAAM,EACN,MAAM,EACN,WAAW,CACZ,CACF,CAAA;IACH,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IACpE,gFAAgF;IAChF,2EAA2E;IAC3E,OAAO,OAAO,CACZ,CAAC,GAAG,gBAAgB,EAAE,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,GAAG,QAAQ,CAAC,EAC7F,OAAO,CACR,CAAA;AACH,CAAC"}

package/dist/presets/data-layer.d.ts

@@ -1,7 +1,10 @@
+import type { ArchViolation } from '@nielspeter/eess';
 import type { ArchProject } from '../core/project.js';
-import type { ArchViolation } from '../core/violation.js';
+import type { RuleBuilderLike } from '@nielspeter/eess';
 import type { PresetBaseOptions } from './shared.js';
-export interface DataLayerIsolationOptions extends PresetBaseOptions {
+/** This preset's rule ids, derived from `RULE_IDS` so the two cannot drift. */
+type DataLayerIsolationRuleId = (typeof RULE_IDS)[number];
+export interface DataLayerIsolationOptions extends PresetBaseOptions<DataLayerIsolationRuleId> {
     /** Glob pattern for repository files */
     repositories: string;
     /** Base class that all repositories must extend */
@@ -9,6 +12,7 @@ export interface DataLayerIsolationOptions extends PresetBaseOptions {
     /** If true, repositories must throw typed errors, not generic Error */
     requireTypedErrors?: boolean;
 }
+declare const RULE_IDS: readonly ["preset/data/extend-base", "preset/data/typed-errors"];
 /**
  * Companion to `layeredArchitecture`. Enforces repository pattern:
  * base class extension and typed error throwing.
@@ -16,5 +20,21 @@ export interface DataLayerIsolationOptions extends PresetBaseOptions {
  * Does NOT duplicate layer ordering or import direction — those
  * are `layeredArchitecture`'s job.
  */
+/**
+ * `report` names a delivery mode; omitting it returns the un-executed builders.
+ *
+ * Overloaded so the common call keeps its exact type — a bare union would make
+ * every existing `.violations()` call site an error (26 test files, measured).
+ *
+ * **The reporting overload is declared FIRST, and that ordering is load-bearing.**
+ * `Parameters<typeof preset>[1]` resolves to the LAST overload, and several tests
+ * type their options helper that way; with the builder overload last, that helper
+ * keeps the shape callers actually use. Overload resolution still picks the
+ * reporting one for a call that names `report`, because it is the first match.
+ */
+export declare function dataLayerIsolation(p: ArchProject, options: DataLayerIsolationOptions & {
+    report: 'builders';
+}): RuleBuilderLike[];
 export declare function dataLayerIsolation(p: ArchProject, options: DataLayerIsolationOptions): ArchViolation[];
+export {};
 //# sourceMappingURL=data-layer.d.ts.map

package/dist/presets/data-layer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"data-layer.d.ts","sourceRoot":"","sources":["../../src/presets/data-layer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAGzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAGpD,MAAM,WAAW,yBAA0B,SAAQ,iBAAiB;IAClE,wCAAwC;IACxC,YAAY,EAAE,MAAM,CAAA;IACpB,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,uEAAuE;IACvE,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAC7B;AAID;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,yBAAyB,GACjC,aAAa,EAAE,CAmCjB"}
+{"version":3,"file":"data-layer.d.ts","sourceRoot":"","sources":["../../src/presets/data-layer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAErD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAGvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAWpD,+EAA+E;AAC/E,KAAK,wBAAwB,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;AAEzD,MAAM,WAAW,yBAA0B,SAAQ,iBAAiB,CAAC,wBAAwB,CAAC;IAC5F,wCAAwC;IACxC,YAAY,EAAE,MAAM,CAAA;IACpB,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,uEAAuE;IACvE,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAC7B;AAED,QAAA,MAAM,QAAQ,kEAAmE,CAAA;AAEjF;;;;;;GAMG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAChC,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,yBAAyB,GAAG;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GAC1D,eAAe,EAAE,CAAA;AACpB,wBAAgB,kBAAkB,CAChC,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,yBAAyB,GACjC,aAAa,EAAE,CAAA"}

package/dist/presets/data-layer.js

@@ -1,30 +1,72 @@
 import { classes } from '../builders/class-rule-builder.js';
 import { newExpr } from '../helpers/matchers.js';
-import { dispatchRule, validateOverrides, finishPreset } from './shared.js';
+import { atPath, collectRule, overrideFindings, validateOverrides, declaredEmptyFindings, assertEnabled, deliver, } from './shared.js';
 const RULE_IDS = ['preset/data/extend-base', 'preset/data/typed-errors'];
-/**
- * Companion to `layeredArchitecture`. Enforces repository pattern:
- * base class extension and typed error throwing.
- *
- * Does NOT duplicate layer ordering or import direction — those
- * are `layeredArchitecture`'s job.
- */
 export function dataLayerIsolation(p, options) {
-    const overrides = options.overrides;
-    validateOverrides(overrides, [...RULE_IDS]);
-    const violations = [];
+    const config = options;
+    const constructed = [];
+    validateOverrides(config.overrides, [...RULE_IDS]);
+    const overrideProblems = overrideFindings(config.overrides, RULE_IDS);
+    // Plan 0100's `attempted`: both rules sit behind an independent optional
+    // flag, so — unlike `strictBoundaries`/`layeredArchitecture`, which always
+    // construct at least one rule once discovery succeeds — this can
+    // legitimately be `[]`. Computed from the options directly, before
+    // `overrides` is consulted, same as `constructed` is computed after.
+    //
+    // Kept in step with the two `if` blocks below BY HAND — the same shape of
+    // fragility `constructed` already has here (review: nothing enforces
+    // `attempted.length === 0 ⟺` no rule gets built; it holds because both
+    // conditionals are copy-derived from the same two options).
+    const attempted = [];
+    if (options.baseClass)
+        attempted.push('preset/data/extend-base');
+    if (options.requireTypedErrors)
+        attempted.push('preset/data/typed-errors');
+    const builders = [];
     // --- Base class enforcement ---
     if (options.baseClass) {
-        violations.push(...dispatchRule(classes(p).that().resideInFolder(options.repositories).should().extend(options.baseClass), 'preset/data/extend-base', 'error', overrides));
+        builders.push(...collectRule(classes(p)
+            .that()
+            .satisfy(atPath(options.repositories, 'repositories'))
+            .should()
+            .extend(options.baseClass), {
+            id: 'preset/data/extend-base',
+            because: 'a repository that does not extend the base class silently opts out of whatever the base guarantees — connection handling, tenancy scoping, error translation',
+            suggestion: 'Extend the base repository. If this one genuinely cannot, exclude it by name and record why, rather than leaving it looking conformant.',
+            imperative: 'Do NOT define a repository that does not extend the base repository',
+        }, 'error', config, constructed));
     }
     // --- Typed errors ---
     if (options.requireTypedErrors) {
-        violations.push(...dispatchRule(classes(p)
+        builders.push(...collectRule(classes(p)
             .that()
-            .resideInFolder(options.repositories)
+            .satisfy(atPath(options.repositories, 'repositories'))
             .should()
-            .notContain(newExpr('Error')), 'preset/data/typed-errors', 'error', overrides));
+            .notContain(newExpr('Error')), {
+            id: 'preset/data/typed-errors',
+            because: 'a generic Error crossing the data layer loses the information callers need to distinguish not-found from conflict from a real failure',
+            suggestion: 'Throw a domain error type instead, so the caller can branch on it and the API layer can map it to a status code.',
+            imperative: 'Do NOT throw new Error() in a repository — throw a domain error type',
+        }, 'error', config, constructed));
     }
-    return finishPreset(violations, options);
+    // Unknown override keys FIRST: they say the configuration is wrong, which
+    // the reader needs before any finding produced under it (bug 0038).
+    // Constructed, not merely known: a rule whose option was never enabled, or that
+    // was overridden `off`, is not built — so a declaration naming it is dead.
+    const otherFindings = [
+        ...overrideProblems,
+        ...declaredEmptyFindings(config.expectEmpty, constructed),
+    ];
+    return deliver([
+        ...otherFindings,
+        // Plan 0100, LAST: only when nothing above already explains the empty
+        // result does "neither flag was ever set" get to be the diagnosis.
+        ...assertEnabled(attempted, otherFindings, {
+            id: 'preset/data/constructs-nothing',
+            presetName: 'dataLayerIsolation',
+            optionsHint: 'baseClass, requireTypedErrors',
+        }),
+        ...builders,
+    ], options);
 }
 //# sourceMappingURL=data-layer.js.map

package/dist/presets/data-layer.js.map

@@ -1 +1 @@
-{"version":3,"file":"data-layer.js","sourceRoot":"","sources":["../../src/presets/data-layer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,mCAAmC,CAAA;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAEhD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAW3E,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,0BAA0B,CAAU,CAAA;AAEjF;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,CAAc,EACd,OAAkC;IAElC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAA;IACnC,iBAAiB,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAA;IAE3C,MAAM,UAAU,GAAoB,EAAE,CAAA;IAEtC,iCAAiC;IACjC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EACzF,yBAAyB,EACzB,OAAO,EACP,SAAS,CACV,CACF,CAAA;IACH,CAAC;IAED,uBAAuB;IACvB,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC/B,UAAU,CAAC,IAAI,CACb,GAAG,YAAY,CACb,OAAO,CAAC,CAAC,CAAC;aACP,IAAI,EAAE;aACN,cAAc,CAAC,OAAO,CAAC,YAAY,CAAC;aACpC,MAAM,EAAE;aACR,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAC/B,0BAA0B,EAC1B,OAAO,EACP,SAAS,CACV,CACF,CAAA;IACH,CAAC;IAED,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC1C,CAAC"}
+{"version":3,"file":"data-layer.js","sourceRoot":"","sources":["../../src/presets/data-layer.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,MAAM,mCAAmC,CAAA;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAEhD,OAAO,EACL,MAAM,EACN,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,aAAa,EACb,OAAO,GACR,MAAM,aAAa,CAAA;AAcpB,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,0BAA0B,CAAU,CAAA;AA6BjF,MAAM,UAAU,kBAAkB,CAChC,CAAc,EACd,OAAkC;IAElC,MAAM,MAAM,GAAG,OAAO,CAAA;IACtB,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAA;IAClD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAErE,yEAAyE;IACzE,2EAA2E;IAC3E,iEAAiE;IACjE,mEAAmE;IACnE,qEAAqE;IACrE,EAAE;IACF,0EAA0E;IAC1E,qEAAqE;IACrE,uEAAuE;IACvE,4DAA4D;IAC5D,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,IAAI,OAAO,CAAC,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAA;IAChE,IAAI,OAAO,CAAC,kBAAkB;QAAE,SAAS,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;IAE1E,MAAM,QAAQ,GAAsB,EAAE,CAAA;IAEtC,iCAAiC;IACjC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,OAAO,CAAC,CAAC,CAAC;aACP,IAAI,EAAE;aACN,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;aACrD,MAAM,EAAE;aACR,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC5B;YACE,EAAE,EAAE,yBAAyB;YAC7B,OAAO,EACL,8JAA8J;YAChK,UAAU,EACR,yIAAyI;YAC3I,UAAU,EAAE,qEAAqE;SAClF,EACD,OAAO,EACP,MAAM,EACN,WAAW,CACZ,CACF,CAAA;IACH,CAAC;IAED,uBAAuB;IACvB,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC/B,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CACZ,OAAO,CAAC,CAAC,CAAC;aACP,IAAI,EAAE;aACN,OAAO,CAAC,MAAM,CAAmB,OAAO,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;aACvE,MAAM,EAAE;aACR,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAC/B;YACE,EAAE,EAAE,0BAA0B;YAC9B,OAAO,EACL,uIAAuI;YACzI,UAAU,EACR,kHAAkH;YACpH,UAAU,EAAE,sEAAsE;SACnF,EACD,OAAO,EACP,MAAM,EACN,WAAW,CACZ,CACF,CAAA;IACH,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IACpE,gFAAgF;IAChF,2EAA2E;IAC3E,MAAM,aAAa,GAAG;QACpB,GAAG,gBAAgB;QACnB,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC;KAC1D,CAAA;IACD,OAAO,OAAO,CACZ;QACE,GAAG,aAAa;QAChB,sEAAsE;QACtE,mEAAmE;QACnE,GAAG,aAAa,CAAC,SAAS,EAAE,aAAa,EAAE;YACzC,EAAE,EAAE,gCAAgC;YACpC,UAAU,EAAE,oBAAoB;YAChC,WAAW,EAAE,+BAA+B;SAC7C,CAAC;QACF,GAAG,QAAQ;KACZ,EACD,OAAO,CACR,CAAA;AACH,CAAC"}

package/dist/presets/index.d.ts

@@ -1,13 +1,15 @@
 export type { RuleSeverity, PresetBaseOptions } from './shared.js';
-export { dispatchRule, validateOverrides, throwIfViolations } from './shared.js';
-export type { RecommendedOptions } from './recommended.js';
-export { recommended } from './recommended.js';
-export type { AgentGuardrailsOptions } from './agent-guardrails.js';
-export { agentGuardrails } from './agent-guardrails.js';
+export { validateOverrides } from './shared.js';
 export type { LayeredArchitectureOptions } from './layered.js';
 export { layeredArchitecture } from './layered.js';
 export type { DataLayerIsolationOptions } from './data-layer.js';
 export { dataLayerIsolation } from './data-layer.js';
 export type { StrictBoundariesOptions } from './boundaries.js';
 export { strictBoundaries } from './boundaries.js';
+export type { AgentGuardrailsOptions } from './agent-guardrails.js';
+export { agentGuardrails } from './agent-guardrails.js';
+export type { RecommendedOptions } from './recommended.js';
+export { recommended } from './recommended.js';
+export { dispatchRule, throwIfViolations } from '@nielspeter/eess';
+export type { PresetDelivery } from './shared.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/presets/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAClE,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAEhF,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,YAAY,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,YAAY,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,YAAY,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAEpD,YAAY,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAE/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,YAAY,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAEpD,YAAY,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAElD,YAAY,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAO9C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAMlE,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA"}

package/dist/presets/index.js

@@ -1,7 +1,13 @@
-export { dispatchRule, validateOverrides, throwIfViolations } from './shared.js';
-export { recommended } from './recommended.js';
-export { agentGuardrails } from './agent-guardrails.js';
+export { validateOverrides } from './shared.js';
 export { layeredArchitecture } from './layered.js';
 export { dataLayerIsolation } from './data-layer.js';
 export { strictBoundaries } from './boundaries.js';
+export { agentGuardrails } from './agent-guardrails.js';
+export { recommended } from './recommended.js';
+// Published on the `/presets` subpath before the engine copy and dropped by it.
+// `restore-the-published-ts-surface` audited the ROOT barrel only, so a named
+// import of either from `@nielspeter/eess-ts/presets` was a link-time error that
+// no changeset declared. Found by an adopter review diffing every subpath, not
+// just `.`.
+export { dispatchRule, throwIfViolations } from '@nielspeter/eess';
 //# sourceMappingURL=index.js.map

package/dist/presets/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAGhF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAG9C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAGvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAGlD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAGpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAG/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAGlD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAGpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAGlD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAGvD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,gFAAgF;AAChF,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,YAAY;AACZ,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA"}

package/dist/presets/layered.d.ts

@@ -1,7 +1,11 @@
+import type { ArchViolation } from '@nielspeter/eess';
+import type { ImportOptions } from '../core/import-options.js';
 import type { ArchProject } from '../core/project.js';
-import type { ArchViolation } from '../core/violation.js';
+import type { RuleBuilderLike } from '@nielspeter/eess';
 import type { PresetBaseOptions } from './shared.js';
-export interface LayeredArchitectureOptions extends PresetBaseOptions {
+/** This preset's rule ids, derived from `RULE_IDS` so the two cannot drift. */
+type LayeredArchitectureRuleId = (typeof RULE_IDS)[number];
+export interface LayeredArchitectureOptions extends PresetBaseOptions<LayeredArchitectureRuleId> {
     /** Layer name → glob pattern mapping. Order = dependency direction (first depends on second, etc.) */
     layers: Record<string, string>;
     /** Glob patterns for shared/utility folders accessible by all layers */
@@ -12,10 +16,50 @@ export interface LayeredArchitectureOptions extends PresetBaseOptions {
     typeImportsAllowed?: string[];
     /** Package restriction: glob → list of npm package name patterns. Only those layers may import those packages. */
     restrictedPackages?: Record<string, string[]>;
+    /**
+     * This project's answer to "is a type-only edge a dependency?", applied to
+     * every rule this preset constructs **whose condition takes one** — plan 0089:
+     * `layer-order`, `no-cycles`, `innermost-isolation`, `restricted-packages`.
+     * `type-imports-only` is excluded because `onlyHaveTypeImportsFrom` asks about
+     * type imports *as its subject* — there is no answer for this bag to give it.
+     *
+     * The conditions disagree by default, deliberately: `beFreeOfCycles` ignores
+     * type-only imports because it asks whether the module is *evaluated*, and an
+     * erased import cannot contribute to an initialization cycle; the layer and
+     * boundary conditions count them because they ask whether the code is
+     * *coupled*. Holding a builder, that distinction is visible and you choose per
+     * condition. Through a preset it is invisible, and this option exists because
+     * a preset user could not align them even when their project wanted them
+     * aligned.
+     *
+     * So passing it moves exactly one side, and which side depends on the value:
+     * `{ ignoreTypeImports: true }` stops the layer rules counting type coupling
+     * (the cycle rule already ignored it); `{ ignoreTypeImports: false }` makes
+     * the cycle rule count type edges (the layer rules already did). `docs/presets.md`
+     * carries that table.
+     */
+    importOptions?: ImportOptions;
 }
+declare const RULE_IDS: readonly ["preset/layered/layer-order", "preset/layered/no-cycles", "preset/layered/innermost-isolation", "preset/layered/type-imports-only", "preset/layered/restricted-packages"];
 /**
  * Enforce a layered architecture: dependency direction, cycle freedom,
  * and optional package restrictions.
  */
+/**
+ * `report` names a delivery mode; omitting it returns the un-executed builders.
+ *
+ * Overloaded so the common call keeps its exact type — a bare union would make
+ * every existing `.violations()` call site an error (26 test files, measured).
+ *
+ * **The reporting overload is declared FIRST, and that ordering is load-bearing.**
+ * `Parameters<typeof preset>[1]` resolves to the LAST overload, and several tests
+ * type their options helper that way; with the builder overload last, that helper
+ * keeps the shape callers actually use. Overload resolution still picks the
+ * reporting one for a call that names `report`, because it is the first match.
+ */
+export declare function layeredArchitecture(p: ArchProject, options: LayeredArchitectureOptions & {
+    report: 'builders';
+}): RuleBuilderLike[];
 export declare function layeredArchitecture(p: ArchProject, options: LayeredArchitectureOptions): ArchViolation[];
+export {};
 //# sourceMappingURL=layered.d.ts.map

package/dist/presets/layered.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"layered.d.ts","sourceRoot":"","sources":["../../src/presets/layered.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAKzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAGpD,MAAM,WAAW,0BAA2B,SAAQ,iBAAiB;IACnE,sGAAsG;IACtG,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,wEAAwE;IACxE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,iEAAiE;IACjE,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,wFAAwF;IACxF,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC7B,kHAAkH;IAClH,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;CAC9C;AAiFD;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,0BAA0B,GAClC,aAAa,EAAE,CAsEjB"}
+{"version":3,"file":"layered.d.ts","sourceRoot":"","sources":["../../src/presets/layered.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAErD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAKvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AASpD,+EAA+E;AAC/E,KAAK,yBAAyB,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;AAE1D,MAAM,WAAW,0BAA2B,SAAQ,iBAAiB,CAAC,yBAAyB,CAAC;IAC9F,sGAAsG;IACtG,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,wEAAwE;IACxE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,iEAAiE;IACjE,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,wFAAwF;IACxF,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC7B,kHAAkH;IAClH,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IAC7C;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa,CAAC,EAAE,aAAa,CAAA;CAC9B;AAED,QAAA,MAAM,QAAQ,qLAMJ,CAAA;AAgGV;;;GAGG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,0BAA0B,GAAG;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GAC3D,eAAe,EAAE,CAAA;AACpB,wBAAgB,mBAAmB,CACjC,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,0BAA0B,GAClC,aAAa,EAAE,CAAA"}