@nielspeter/eess-ts 0.2.1 → 0.4.0

package/dist/predicates/module.js

@@ -1,40 +1,76 @@
 import picomatch from 'picomatch';
-import { getDependencyDecls, resolveDependencyPath, isTypeOnlyDependency, } from '../core/module-dependencies.js';
+import { globAnyOf } from '@nielspeter/eess';
+import { splitGlobArgs } from '../core/import-options.js';
+import { candidatesFor } from '../core/import-candidates.js';
+import { edgesOf, FORWARD_EDGE_KINDS } from '../core/module-edges.js';
+import { rootOf } from '../core/project-relative.js';
 /**
- * Resolve the dependency paths for a source file — `import … from` plus
- * `export … from` re-exports (both are dependency edges) — optionally filtering
- * out type-only edges. Returns absolute paths for resolvable targets, raw
- * specifiers for external packages.
+ * Which edge kinds these predicates see.
+ *
+ * The **same set as the conditions** (`DEPENDENCY_KINDS` in
+ * `conditions/dependency.ts`), and it has to be: `notImportFrom` is one
+ * identifier with two definitions chosen by chain position, so a predicate that
+ * disagreed with its own condition about what an import is would be this plan's
+ * Problem statement inside one method name.
+ */
+const PREDICATE_KINDS = FORWARD_EDGE_KINDS;
+/**
+ * Every string a glob may be matched against, across every edge in the file.
+ *
+ * Flattened rather than grouped per edge: these predicates only ask "does ANY
+ * edge match", so which edge a candidate came from is not needed. See
+ * `candidatesFor` for why one edge can contribute two strings.
+ *
+ * **Two consumers, moving subjects in opposite directions** (plan 0071 §3), which
+ * is why widening this is in scope rather than an implementation detail:
+ *
+ * - `notImportFrom` is **anti-monotone** — a file with a matching re-export now
+ *   fails the predicate and drops out of the selection, so rules select FEWER
+ *   subjects and report FEWER findings. Losing findings is the one direction this
+ *   release claims cannot happen, so it is asserted by identity.
+ * - `importFrom` is **monotone-increasing** — more files match, more subjects,
+ *   more findings.
+ *
+ * The condition-layer measurement ("0 findings lost") cannot see either: this
+ * repo's own rules use `notImportFrom` in condition position 16 times and
+ * predicate position zero, so the corpus structurally cannot show the loss.
  */
-function getImportPaths(sourceFile, ignoreTypeImports = false) {
-    return getDependencyDecls(sourceFile)
-        .filter((decl) => (ignoreTypeImports ? !isTypeOnlyDependency(decl) : true))
-        .map(resolveDependencyPath);
+function importCandidatePaths(sourceFile, ignoreTypeImports = false) {
+    return (edgesOf(sourceFile)
+        .filter((edge) => {
+        if (!PREDICATE_KINDS[edge.kind])
+            return false;
+        if (!ignoreTypeImports)
+            return true;
+        return !edge.typeOnly;
+    })
+        // The importing file's root, so a project-relative import glob works here
+        // exactly as it does in the condition family (bugs 0037, 0036). Measured
+        // before this: `importFrom('src/domain/**')` selected 0 modules where the
+        // anchored spelling selected 5.
+        .flatMap((edge) => [...candidatesFor(edge.specifier, edge.resolvedPath, rootOf(sourceFile))]));
 }
 export function importFrom(...args) {
-    // ADR-005: as casts required — TS cannot narrow tuple union rest params after Array.isArray
-    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — TS cannot narrow [string[], ImportOptions] | string[] to string[] from Array.isArray(args[0])
-    const globs = Array.isArray(args[0]) ? args[0] : args;
-    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — args[1] is ImportOptions only in the [globs, options] overload
-    const options = Array.isArray(args[0]) && args.length > 1 ? args[1] : undefined;
+    const { globs, options } = splitGlobArgs(args);
     const ignoreType = options?.ignoreTypeImports === true;
     const matchers = globs.map((g) => picomatch(g));
     return {
+        globs: globAnyOf(globs, 'import-target'),
         description: 'import from ' + globs.map((g) => `"${g}"`).join(', '),
-        test: (sourceFile) => getImportPaths(sourceFile, ignoreType).some((p) => matchers.some((m) => m(p))),
+        test: (sourceFile) => importCandidatePaths(sourceFile, ignoreType).some((p) => matchers.some((m) => m(p))),
     };
 }
 export function notImportFrom(...args) {
-    // ADR-005: as casts required — TS cannot narrow tuple union rest params after Array.isArray
-    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — TS cannot narrow [string[], ImportOptions] | string[] to string[] from Array.isArray(args[0])
-    const globs = Array.isArray(args[0]) ? args[0] : args;
-    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — args[1] is ImportOptions only in the [globs, options] overload
-    const options = Array.isArray(args[0]) && args.length > 1 ? args[1] : undefined;
+    const { globs, options } = splitGlobArgs(args);
     const ignoreType = options?.ignoreTypeImports === true;
     const matchers = globs.map((g) => picomatch(g));
     return {
+        // `import-target` is never checked against the path universe: an installed
+        // package resolves into node_modules, which is outside the project by
+        // construction, so checking it would fail every correct dependency rule.
+        globs: globAnyOf(globs, 'import-target'),
         description: 'not import from ' + globs.map((g) => `"${g}"`).join(', '),
-        test: (sourceFile) => !getImportPaths(sourceFile, ignoreType).some((p) => matchers.some((m) => m(p))),
+        test: (sourceFile) => !importCandidatePaths(sourceFile, ignoreType).some((p) => matchers.some((m) => m(p))),
     };
 }
 /**
@@ -51,20 +87,4 @@ export function exportSymbolNamed(name) {
         test: (sourceFile) => sourceFile.getExportedDeclarations().has(name),
     };
 }
-/**
- * Matches modules whose file path matches the given glob.
- *
- * Similar to resideInFile but semantically clearer for modules —
- * "modules that have path matching" vs "elements that reside in file".
- *
- * @example
- * modules(p).that().havePathMatching('** /services/*.ts')
- */
-export function havePathMatching(glob) {
-    const isMatch = picomatch(glob);
-    return {
-        description: `have path matching "${glob}"`,
-        test: (sourceFile) => isMatch(sourceFile.getFilePath()),
-    };
-}
 //# sourceMappingURL=module.js.map

package/dist/predicates/module.js.map

@@ -1 +1 @@
-{"version":3,"file":"module.js","sourceRoot":"","sources":["../../src/predicates/module.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AAIjC,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,gCAAgC,CAAA;AAEvC;;;;;GAKG;AACH,SAAS,cAAc,CAAC,UAAsB,EAAE,iBAAiB,GAAG,KAAK;IACvE,OAAO,kBAAkB,CAAC,UAAU,CAAC;SAClC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC1E,GAAG,CAAC,qBAAqB,CAAC,CAAA;AAC/B,CAAC;AAcD,MAAM,UAAU,UAAU,CAAC,GAAG,IAA0C;IACtE,4FAA4F;IAC5F,sKAAsK;IACtK,MAAM,KAAK,GAAa,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,IAAiB,CAAA;IAC7E,uIAAuI;IACvI,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,OAAO;QACL,WAAW,EAAE,cAAc,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnE,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CACnB,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACjF,CAAA;AACH,CAAC;AAWD,MAAM,UAAU,aAAa,CAC3B,GAAG,IAA0C;IAE7C,4FAA4F;IAC5F,sKAAsK;IACtK,MAAM,KAAK,GAAa,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,IAAiB,CAAA;IAC7E,uIAAuI;IACvI,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,OAAO;QACL,WAAW,EAAE,kBAAkB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACvE,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CACnB,CAAC,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAClF,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO;QACL,WAAW,EAAE,wBAAwB,IAAI,GAAG;QAC5C,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;KACrE,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC/B,OAAO;QACL,WAAW,EAAE,uBAAuB,IAAI,GAAG;QAC3C,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;KACxD,CAAA;AACH,CAAC"}
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../../src/predicates/module.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AAGjC,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAE5C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAA;AAEpD;;;;;;;;GAQG;AACH,MAAM,eAAe,GAAG,kBAAkB,CAAA;AAE1C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,oBAAoB,CAAC,UAAsB,EAAE,iBAAiB,GAAG,KAAK;IAC7E,OAAO,CACL,OAAO,CAAC,UAAU,CAAC;SAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAA;QAC7C,IAAI,CAAC,iBAAiB;YAAE,OAAO,IAAI,CAAA;QACnC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAA;IACvB,CAAC,CAAC;QACF,0EAA0E;QAC1E,yEAAyE;QACzE,0EAA0E;QAC1E,gCAAgC;SAC/B,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAChG,CAAA;AACH,CAAC;AAgBD,MAAM,UAAU,UAAU,CAAC,GAAG,IAA0C;IACtE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,eAAe,CAAC;QACxC,WAAW,EAAE,cAAc,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnE,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CACnB,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACvF,CAAA;AACH,CAAC;AAWD,MAAM,UAAU,aAAa,CAC3B,GAAG,IAA0C;IAE7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,OAAO;QACL,2EAA2E;QAC3E,sEAAsE;QACtE,yEAAyE;QACzE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,eAAe,CAAC;QACxC,WAAW,EAAE,kBAAkB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACvE,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CACnB,CAAC,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACxF,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO;QACL,WAAW,EAAE,wBAAwB,IAAI,GAAG;QAC5C,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;KACrE,CAAA;AACH,CAAC"}

package/dist/presets/agent-guardrails.d.ts

@@ -1,7 +1,15 @@
+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 AgentGuardrailsOptions extends PresetBaseOptions {
+/**
+ * This preset's rule ids. The `no-inline-logic` arm is a **template literal**
+ * because those ids are built from the caller's own `noInlineLogic` entries, so
+ * the set is not closed. A typo in the API name is therefore still accepted by
+ * the type — the runtime finding is what covers that arm.
+ */
+type AgentGuardrailsRuleId = `preset/agent/no-inline-logic/${string}` | 'preset/agent/no-generic-errors' | 'preset/agent/no-stubs' | 'preset/agent/no-empty-bodies' | 'preset/agent/no-copy-paste';
+export interface AgentGuardrailsOptions extends PresetBaseOptions<AgentGuardrailsRuleId> {
     /** Glob for the source files the rules apply to. */
     src: string;
     /** Banned call names — one rule generated per entry (e.g. `['parseInt', 'eval']`). */
@@ -12,21 +20,20 @@ export interface AgentGuardrailsOptions extends PresetBaseOptions {
     noCopyPaste?: boolean;
 }
 /**
- * Preset targeting the mistakes AI coding agents make most often — inline
- * logic, generic errors, stub comments, empty bodies, copy-paste.
+ * `report` names a delivery mode; omitting it returns the un-executed builders.
  *
- * Returns `ArchViolation[]` (the eager ADR-008 form) and ends in `finishPreset`,
- * so an agent's rules file / harness can `agentGuardrails(p, { report: 'return',
- * format: 'json' })` and own emission of the error-severity violations. The
- * copy-paste rule defaults to **warn**: warns are reported to stderr but are
- * NOT aggregated into the returned array or the thrown error — override it to
- * `'error'` (`overrides: { 'preset/agent/no-copy-paste': 'error' }`) to include
- * it in the returned/JSON set. Each rule carries agent-facing `because` /
- * `suggestion` / `imperative` metadata so `explain --format agent` and the check
- * JSON give the agent an actionable fix.
+ * 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).
  *
- * Uses function-variant rules so standalone functions, arrow functions, and
- * class methods are all covered.
+ * **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 agentGuardrails(p: ArchProject, options: AgentGuardrailsOptions & {
+    report: 'builders';
+}): RuleBuilderLike[];
 export declare function agentGuardrails(p: ArchProject, options: AgentGuardrailsOptions): ArchViolation[];
+export {};
 //# sourceMappingURL=agent-guardrails.d.ts.map

package/dist/presets/agent-guardrails.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-guardrails.d.ts","sourceRoot":"","sources":["../../src/presets/agent-guardrails.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAMzD,OAAO,KAAK,EAAE,iBAAiB,EAAgB,MAAM,aAAa,CAAA;AAGlE,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,oDAAoD;IACpD,GAAG,EAAE,MAAM,CAAA;IACX,sFAAsF;IACtF,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,WAAW,CAAC,EAAE,OAAO,CAAA;CACtB;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,sBAAsB,GAAG,aAAa,EAAE,CA8EhG"}
+{"version":3,"file":"agent-guardrails.d.ts","sourceRoot":"","sources":["../../src/presets/agent-guardrails.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AASrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAYpD;;;;;GAKG;AACH,KAAK,qBAAqB,GACtB,gCAAgC,MAAM,EAAE,GACxC,gCAAgC,GAChC,uBAAuB,GACvB,8BAA8B,GAC9B,4BAA4B,CAAA;AAEhC,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB,CAAC,qBAAqB,CAAC;IACtF,oDAAoD;IACpD,GAAG,EAAE,MAAM,CAAA;IACX,sFAAsF;IACtF,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,WAAW,CAAC,EAAE,OAAO,CAAA;CACtB;AAwBD;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,sBAAsB,GAAG;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GACvD,eAAe,EAAE,CAAA;AACpB,wBAAgB,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,sBAAsB,GAAG,aAAa,EAAE,CAAA"}

package/dist/presets/agent-guardrails.js

@@ -3,32 +3,59 @@ import { call } from '../helpers/matchers.js';
 import { functionNoGenericErrors } from '../rules/errors.js';
 import { noStubComments, noEmptyBodies } from '../rules/hygiene.js';
 import { smells } from '../smells/index.js';
-import { dispatchRule, validateOverrides, finishPreset } from './shared.js';
+import { overrideFindings, validateOverrides, declareEmptyIfListed, presetDeclarationSpelling, declaredEmptyFindings, assertEnabled, deliver, } from './shared.js';
 /**
  * Preset targeting the mistakes AI coding agents make most often — inline
  * logic, generic errors, stub comments, empty bodies, copy-paste.
  *
- * Returns `ArchViolation[]` (the eager ADR-008 form) and ends in `finishPreset`,
- * so an agent's rules file / harness can `agentGuardrails(p, { report: 'return',
- * format: 'json' })` and own emission of the error-severity violations. The
- * copy-paste rule defaults to **warn**: warns are reported to stderr but are
- * NOT aggregated into the returned array or the thrown error — override it to
- * `'error'` (`overrides: { 'preset/agent/no-copy-paste': 'error' }`) to include
- * it in the returned/JSON set. Each rule carries agent-facing `because` /
- * `suggestion` / `imperative` metadata so `explain --format agent` and the check
- * JSON give the agent an actionable fix.
+ * Returns severity-carrying builders (the returning form, plan 0060), so an
+ * agent's rules file does `export default [...agentGuardrails(p, { ... })]` and
+ * `eess-ts check --format json` surfaces every violation, including the
+ * copy-paste **warn**. Each rule carries agent-facing `because` / `suggestion` /
+ * `imperative` metadata so `explain --format agent` and the check JSON give the
+ * agent an actionable fix.
  *
  * Uses function-variant rules so standalone functions, arrow functions, and
  * class methods are all covered.
  */
+// Presets collect object-literal functions unconditionally. `functions()`
+// keeps it opt-in because widening a selector the USER wrote silently changes
+// their rule; a preset's subject set is the preset's own, and this one already
+// promises "standalone functions, arrow functions, and class methods are all
+// covered". A handler map — the shape agents generate most — was none of the
+// three, so `{ POST: () => {} }` slipped every guardrail (bug 0013).
+const COLLECT_ALL = { includeObjectLiteralFunctions: true };
 export function agentGuardrails(p, options) {
-    validateOverrides(options.overrides, collectRuleIds(options));
-    const violations = [];
+    // Plan 0100's `attempted`: the ids the caller's OPTIONS ask for, before any
+    // override is consulted — every rule this preset can build sits behind an
+    // optional flag, so this can legitimately be `[]` (nothing was ever enabled).
+    // NOT what override validation uses below — see `knownOverrideIds`'s own doc.
+    const attempted = collectRuleIds(options);
+    const knownIds = knownOverrideIds(options);
+    validateOverrides(options.overrides, knownIds);
+    const overrideProblems = overrideFindings(options.overrides, knownIds);
+    const builders = [];
+    // Recorded HERE, at the one place a rule is actually built — the same argument
+    // `collectRule` makes for its `constructed` parameter ("the known-id list
+    // cannot answer this"). Deriving it instead from `collectRuleIds()` filtered by
+    // severity restates the construction conditionals a second time; the two agree
+    // today only because they are kept in step by hand, and the first rule added to
+    // one and not the other makes a declaration bind to a rule that was never built.
+    const constructed = [];
     const push = (builder, meta, def) => {
-        violations.push(...dispatchRule(builder, meta, def, options.overrides));
+        const sev = lookup(options.overrides, meta.id) ?? def;
+        // Plan 0089's carrier, applied here as well as in `collectRule` — this
+        // preset builds through its own helper, and a carrier that reached only the
+        // shared path would cover the families someone remembered.
+        if (sev !== 'off') {
+            constructed.push(meta.id);
+            builders.push(declareEmptyIfListed(builder
+                .rule({ ...meta, declarationSpelling: presetDeclarationSpelling(meta.id) })
+                .asSeverity(sev), meta.id, options));
+        }
     };
     for (const api of options.noInlineLogic ?? []) {
-        push(functions(p).that().resideInFile(options.src).should().notContain(call(api)), {
+        push(functions(p, COLLECT_ALL).that().resideInFile(options.src).should().notContain(call(api)), {
             id: `preset/agent/no-inline-logic/${api}`,
             because: `${api} inline in a function is logic that belongs behind a named helper`,
             suggestion: `extract the ${api} call into a named helper function`,
@@ -36,7 +63,11 @@ export function agentGuardrails(p, options) {
         }, 'error');
     }
     if (options.noGenericErrors) {
-        push(functions(p).that().resideInFile(options.src).should().satisfy(functionNoGenericErrors()), {
+        push(functions(p, COLLECT_ALL)
+            .that()
+            .resideInFile(options.src)
+            .should()
+            .satisfy(functionNoGenericErrors()), {
             id: 'preset/agent/no-generic-errors',
             because: 'a generic Error loses the type/context callers need to handle it',
             suggestion: 'throw a domain-specific error (NotFoundError, ValidationError, …)',
@@ -44,7 +75,7 @@ export function agentGuardrails(p, options) {
         }, 'error');
     }
     if (options.noStubs) {
-        push(functions(p).that().resideInFile(options.src).should().satisfy(noStubComments()), {
+        push(functions(p, COLLECT_ALL).that().resideInFile(options.src).should().satisfy(noStubComments()), {
             id: 'preset/agent/no-stubs',
             because: 'stub comments (TODO/FIXME/"not implemented") ship unfinished work',
             suggestion: 'implement the body or remove the stub before committing',
@@ -52,7 +83,7 @@ export function agentGuardrails(p, options) {
         }, 'error');
     }
     if (options.noEmptyBodies) {
-        push(functions(p).that().resideInFile(options.src).should().satisfy(noEmptyBodies()), {
+        push(functions(p, COLLECT_ALL).that().resideInFile(options.src).should().satisfy(noEmptyBodies()), {
             id: 'preset/agent/no-empty-bodies',
             because: 'an empty function body is almost always an unfinished stub',
             suggestion: 'implement the body — every function must have at least one statement',
@@ -67,9 +98,83 @@ export function agentGuardrails(p, options) {
             imperative: 'Do NOT duplicate a function body — extract the shared logic',
         }, 'warn');
     }
-    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` is recorded at the `push` site above, not re-derived here.
+    const otherFindings = [
+        ...overrideProblems,
+        ...declaredEmptyFindings(options.expectEmpty, constructed),
+    ];
+    return deliver([
+        ...otherFindings,
+        // Plan 0100, LAST of the config-findings: only when nothing else above
+        // already explains the empty result (an unknown override key, an unbound
+        // `expectEmpty`) does "no rule was ever enabled" get to be the diagnosis.
+        ...assertEnabled(attempted, otherFindings, {
+            id: 'preset/agent/constructs-nothing',
+            presetName: 'agentGuardrails',
+            optionsHint: 'noInlineLogic, noGenericErrors, noStubs, noEmptyBodies, noCopyPaste',
+        }),
+        ...builders,
+    ], options);
 }
-/** All rule ids the given options would generate (for override validation). */
+/**
+ * Widen the typed override map for a lookup by a runtime-built id.
+ *
+ * `no-inline-logic/${api}` ids are constructed from the caller's own options, so
+ * the key here is a `string` and the map is keyed by a literal union. The
+ * widening is confined to this one function rather than loosening the option
+ * type, which is what makes the typo a compile error for every other key.
+ */
+function lookup(overrides, id) {
+    const widened = overrides;
+    return widened?.[id];
+}
+/**
+ * The four ids this preset can construct regardless of whether their flag is
+ * currently set — fixed, matching `AgentGuardrailsRuleId`'s own closed union
+ * members (everything but the open `no-inline-logic/${string}` arm).
+ */
+const STATIC_RULE_IDS = [
+    'preset/agent/no-generic-errors',
+    'preset/agent/no-stubs',
+    'preset/agent/no-empty-bodies',
+    'preset/agent/no-copy-paste',
+];
+/**
+ * Rule ids the given options WOULD generate if every flag were on — for
+ * override-key validation. Static ids are always known (a key for a rule not
+ * yet enabled is still a real rule, not a typo); `no-inline-logic/${api}` ids
+ * stay scoped to what `noInlineLogic` actually named, because that arm is open
+ * by construction and the only way to catch a typo in it is to compare against
+ * what the caller wrote.
+ *
+ * Deliberately NOT `attempted` below, which is flag-gated. Reusing `attempted`
+ * here was the bug plan 0100's review found: `overrides: { 'preset/agent/no-
+ * generic-errors': 'off' } }` with `noGenericErrors` unset reported "matches no
+ * rule in this preset" with an EMPTY enumeration — a real, correctly-spelled id
+ * misdiagnosed as unknown, and `otherFindings.length > 0` from that wrong
+ * finding then silently suppressed the correct `constructs-nothing` finding
+ * `assertEnabled` would otherwise have reported. `dataLayerIsolation` never had
+ * this bug: it already validates against the full static `RULE_IDS`, not its
+ * flag-gated `attempted`.
+ */
+function knownOverrideIds(options) {
+    const ids = [...STATIC_RULE_IDS];
+    for (const api of options.noInlineLogic ?? [])
+        ids.push(`preset/agent/no-inline-logic/${api}`);
+    return ids;
+}
+/**
+ * Ids plan 0100's `attempted` needs: the ones the caller's OPTIONS actually
+ * ask for, flag-gated — `assertEnabled` fires when this is empty. NOT for
+ * override validation; see {@link knownOverrideIds}.
+ *
+ * Kept in step with the five `if (options.x)` blocks in `agentGuardrails`
+ * itself BY HAND — same shape of fragility this file already notes for
+ * `constructed` (review: nothing enforces the two stay copy-identical as
+ * flags are added).
+ */
 function collectRuleIds(options) {
     const ids = [];
     for (const api of options.noInlineLogic ?? [])

package/dist/presets/agent-guardrails.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-guardrails.js","sourceRoot":"","sources":["../../src/presets/agent-guardrails.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAA;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAA;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAmB3E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,eAAe,CAAC,CAAc,EAAE,OAA+B;IAC7E,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;IAE7D,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,CACX,OAAqB,EACrB,IAAmC,EACnC,GAAiB,EACX,EAAE;QACR,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;IACzE,CAAC,CAAA;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,CACF,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAC5E;YACE,EAAE,EAAE,gCAAgC,GAAG,EAAE;YACzC,OAAO,EAAE,GAAG,GAAG,mEAAmE;YAClF,UAAU,EAAE,eAAe,GAAG,oCAAoC;YAClE,UAAU,EAAE,eAAe,GAAG,4CAA4C;SAC3E,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5B,IAAI,CACF,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,uBAAuB,EAAE,CAAC,EACzF;YACE,EAAE,EAAE,gCAAgC;YACpC,OAAO,EAAE,kEAAkE;YAC3E,UAAU,EAAE,mEAAmE;YAC/E,UAAU,EAAE,gEAAgE;SAC7E,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,IAAI,CACF,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,EAChF;YACE,EAAE,EAAE,uBAAuB;YAC3B,OAAO,EAAE,mEAAmE;YAC5E,UAAU,EAAE,yDAAyD;YACrE,UAAU,EAAE,8EAA8E;SAC3F,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,IAAI,CACF,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAC/E;YACE,EAAE,EAAE,8BAA8B;YAClC,OAAO,EAAE,4DAA4D;YACrE,UAAU,EAAE,sEAAsE;YAClF,UAAU,EAAE,oCAAoC;SACjD,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,IAAI,CACF,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAChD;YACE,EAAE,EAAE,4BAA4B;YAChC,OAAO,EAAE,uDAAuD;YAChE,UAAU,EAAE,4CAA4C;YACxD,UAAU,EAAE,6DAA6D;SAC1E,EACD,MAAM,CACP,CAAA;IACH,CAAC;IAED,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC1C,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,OAA+B;IACrD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,gCAAgC,GAAG,EAAE,CAAC,CAAA;IAC9F,IAAI,OAAO,CAAC,eAAe;QAAE,GAAG,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAA;IACvE,IAAI,OAAO,CAAC,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IACtD,IAAI,OAAO,CAAC,aAAa;QAAE,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;IACnE,IAAI,OAAO,CAAC,WAAW;QAAE,GAAG,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;IAC/D,OAAO,GAAG,CAAA;AACZ,CAAC"}
+{"version":3,"file":"agent-guardrails.js","sourceRoot":"","sources":["../../src/presets/agent-guardrails.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAA;AAEhE,OAAO,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAA;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAI3C,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,oBAAoB,EACpB,yBAAyB,EACzB,qBAAqB,EACrB,aAAa,EACb,OAAO,GACR,MAAM,aAAa,CAAA;AA2BpB;;;;;;;;;;;;;GAaG;AACH,0EAA0E;AAC1E,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,qEAAqE;AACrE,MAAM,WAAW,GAAG,EAAE,6BAA6B,EAAE,IAAI,EAAW,CAAA;AAmBpE,MAAM,UAAU,eAAe,CAC7B,CAAc,EACd,OAA+B;IAE/B,4EAA4E;IAC5E,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;IAC1C,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAC9C,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAEtE,MAAM,QAAQ,GAAsB,EAAE,CAAA;IACtC,+EAA+E;IAC/E,0EAA0E;IAC1E,gFAAgF;IAChF,+EAA+E;IAC/E,gFAAgF;IAChF,iFAAiF;IACjF,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,MAAM,IAAI,GAAG,CACX,OAAqD,EACrD,IAAmC,EACnC,GAAqB,EACf,EAAE;QACR,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,CAAA;QACrD,uEAAuE;QACvE,4EAA4E;QAC5E,2DAA2D;QAC3D,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACzB,QAAQ,CAAC,IAAI,CACX,oBAAoB,CAClB,OAAO;iBACJ,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,mBAAmB,EAAE,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;iBAC1E,UAAU,CAAC,GAAG,CAAC,EAClB,IAAI,CAAC,EAAE,EACP,OAAO,CACR,CACF,CAAA;QACH,CAAC;IACH,CAAC,CAAA;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,CACF,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EACzF;YACE,EAAE,EAAE,gCAAgC,GAAG,EAAE;YACzC,OAAO,EAAE,GAAG,GAAG,mEAAmE;YAClF,UAAU,EAAE,eAAe,GAAG,oCAAoC;YAClE,UAAU,EAAE,eAAe,GAAG,4CAA4C;SAC3E,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5B,IAAI,CACF,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC;aACtB,IAAI,EAAE;aACN,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC;aACzB,MAAM,EAAE;aACR,OAAO,CAAC,uBAAuB,EAAE,CAAC,EACrC;YACE,EAAE,EAAE,gCAAgC;YACpC,OAAO,EAAE,kEAAkE;YAC3E,UAAU,EAAE,mEAAmE;YAC/E,UAAU,EAAE,gEAAgE;SAC7E,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,IAAI,CACF,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,EAC7F;YACE,EAAE,EAAE,uBAAuB;YAC3B,OAAO,EAAE,mEAAmE;YAC5E,UAAU,EAAE,yDAAyD;YACrE,UAAU,EAAE,8EAA8E;SAC3F,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,IAAI,CACF,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAC5F;YACE,EAAE,EAAE,8BAA8B;YAClC,OAAO,EAAE,4DAA4D;YACrE,UAAU,EAAE,sEAAsE;YAClF,UAAU,EAAE,oCAAoC;SACjD,EACD,OAAO,CACR,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,IAAI,CACF,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAChD;YACE,EAAE,EAAE,4BAA4B;YAChC,OAAO,EAAE,uDAAuD;YAChE,UAAU,EAAE,4CAA4C;YACxD,UAAU,EAAE,6DAA6D;SAC1E,EACD,MAAM,CACP,CAAA;IACH,CAAC;IAED,0EAA0E;IAC1E,oEAAoE;IACpE,2EAA2E;IAC3E,MAAM,aAAa,GAAG;QACpB,GAAG,gBAAgB;QACnB,GAAG,qBAAqB,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC;KAC3D,CAAA;IACD,OAAO,OAAO,CACZ;QACE,GAAG,aAAa;QAChB,uEAAuE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,GAAG,aAAa,CAAC,SAAS,EAAE,aAAa,EAAE;YACzC,EAAE,EAAE,iCAAiC;YACrC,UAAU,EAAE,iBAAiB;YAC7B,WAAW,EAAE,qEAAqE;SACnF,CAAC;QACF,GAAG,QAAQ;KACZ,EACD,OAAO,CACR,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CACb,SAA2E,EAC3E,EAAU;IAEV,MAAM,OAAO,GAAsD,SAAS,CAAA;IAC5E,OAAO,OAAO,EAAE,CAAC,EAAE,CAAC,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,eAAe,GAAG;IACtB,gCAAgC;IAChC,uBAAuB;IACvB,8BAA8B;IAC9B,4BAA4B;CACpB,CAAA;AAEV;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,gBAAgB,CAAC,OAA+B;IACvD,MAAM,GAAG,GAAa,CAAC,GAAG,eAAe,CAAC,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,gCAAgC,GAAG,EAAE,CAAC,CAAA;IAC9F,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,cAAc,CAAC,OAA+B;IACrD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,gCAAgC,GAAG,EAAE,CAAC,CAAA;IAC9F,IAAI,OAAO,CAAC,eAAe;QAAE,GAAG,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAA;IACvE,IAAI,OAAO,CAAC,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IACtD,IAAI,OAAO,CAAC,aAAa;QAAE,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;IACnE,IAAI,OAAO,CAAC,WAAW;QAAE,GAAG,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;IAC/D,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/presets/boundaries.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 StrictBoundariesOptions extends PresetBaseOptions {
+/** This preset's rule ids, derived from `RULE_IDS` so the two cannot drift. */
+type StrictBoundariesRuleId = (typeof RULE_IDS)[number];
+export interface StrictBoundariesOptions extends PresetBaseOptions<StrictBoundariesRuleId> {
     /** Glob pattern for boundary folders (e.g., 'src/features/*') */
     folders: string;
     /** Glob patterns for shared folders accessible by all boundaries */
@@ -10,10 +14,49 @@ export interface StrictBoundariesOptions extends PresetBaseOptions {
     isolateTests?: boolean;
     /** If true, warn on copy-pasted function bodies across boundaries */
     noCopyPaste?: boolean;
+    /**
+     * 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:
+     * `no-cycles`, `no-cross-boundary`, `shared-isolation`, `test-isolation`.
+     * `no-duplicate-bodies` is excluded because it compares function bodies, not imports.
+     *
+     * 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/boundaries/shared-discovery", "preset/boundaries/no-cycles", "preset/boundaries/no-cross-boundary", "preset/boundaries/shared-isolation", "preset/boundaries/test-isolation", "preset/boundaries/no-duplicate-bodies"];
 /**
  * Enforce strict module boundaries: no cycles, no cross-boundary imports,
  * shared isolation, and optional copy-paste detection.
  */
+/**
+ * `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 strictBoundaries(p: ArchProject, options: StrictBoundariesOptions & {
+    report: 'builders';
+}): RuleBuilderLike[];
 export declare function strictBoundaries(p: ArchProject, options: StrictBoundariesOptions): ArchViolation[];
+export {};
 //# sourceMappingURL=boundaries.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"boundaries.d.ts","sourceRoot":"","sources":["../../src/presets/boundaries.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAIzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAGpD,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB;IAChE,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAA;IACf,oEAAoE;IACpE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,qEAAqE;IACrE,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,qEAAqE;IACrE,WAAW,CAAC,EAAE,OAAO,CAAA;CACtB;AAgED;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,uBAAuB,GAC/B,aAAa,EAAE,CA8EjB"}
+{"version":3,"file":"boundaries.d.ts","sourceRoot":"","sources":["../../src/presets/boundaries.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAErD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAIvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAWpD,+EAA+E;AAC/E,KAAK,sBAAsB,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;AAEvD,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB,CAAC,sBAAsB,CAAC;IACxF,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAA;IACf,oEAAoE;IACpE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,qEAAqE;IACrE,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,qEAAqE;IACrE,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,aAAa,CAAC,EAAE,aAAa,CAAA;CAC9B;AAED,QAAA,MAAM,QAAQ,0OAOJ,CAAA;AAmFV;;;GAGG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,WAAW,EACd,OAAO,EAAE,uBAAuB,GAAG;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GACxD,eAAe,EAAE,CAAA;AACpB,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,uBAAuB,GAAG,aAAa,EAAE,CAAA"}