@nielspeter/eess 0.4.0 → 0.5.0

package/README.md

@@ -12,6 +12,90 @@ This package is the engine every eess dialect runs on. It knows nothing about Ty
 - Baseline mode, diff-aware filtering, exclusions, and the terminal/GitHub/JSON formatters
 - `definePredicate` / `defineCondition` — extension points for advanced users
 
+## Two entry points
+
+`@nielspeter/eess` publishes two:
+
+| Specifier                   | What it is                                                                                                                                          |
+| --------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `@nielspeter/eess`          | The public API. Everything below is documented here, and a change to it is a versioned change.                                                      |
+| `@nielspeter/eess/internal` | Family plumbing the sibling dialects share — cache registries, stderr guards, suppression counters, identity hashing, glob-tree internals. Not API. |
+
+You want the root. `/internal` exists so the dialects can share one engine without
+each name they touch becoming a public commitment; it is published because npm has
+no way to ship a package-private module, not because it is for you. Nothing there is
+documented, and no dialect re-exports it _as its own API_. Two names — `DiskSet`
+and `OnDisk` — are also on `@nielspeter/eess-ts`'s root, where they are eess-ts's
+own types that happen to share a name; that is the whole of the overlap.
+
+Breaking something here is still a versioned change and still needs a changeset
+(ADR-011 clause 4). What you are not owed is migration guidance, because it is not
+API. See
+[ADR-011](https://github.com/nielspeter/eess/blob/main/adr/011-the-kernels-public-api-is-explicit.md).
+
+If a symbol you used disappeared from the root, it moved here — the import path is
+the only change.
+
+## Kernel API reference
+
+The fluent surface (`RuleBuilder`, `Predicate`, `Condition`, the combinators, the
+formatters) is covered in the [docs site](https://nielspeter.github.io/eess/). This
+section covers the supporting types you will meet in signatures.
+
+### Reporting and severity
+
+A preset never emits on its own — the caller owns emission (ADR-008).
+
+- **`ReportMode`** — `'throw' | 'return' | 'warn'`. What a finisher does with findings: raise an `ArchRuleError`, hand them back, or print them as advisory and continue.
+- **`ReportOptions`** — the emission controls: `format` (terminal/json/github) and `reason`, the rationale threaded into the output.
+- **`RuleSeverity`** — `'error' | 'warn' | 'off'`, the value of a per-rule override.
+- **`PresetBaseOptions`** — what every preset accepts: an `overrides` map of rule id → `RuleSeverity`, plus the reporting controls. Extend it when you write a preset so `{ report: 'return' }` works without your own plumbing.
+- **`RuleBuilderLike`** — the one-method shape (`violations()`) a preset needs from anything it dispatches, so a preset is not coupled to a dialect's builder class.
+- **`Dispatchable`** — what `dispatchRule` accepts: a builder that can produce violations _and_ name itself, so the dispatcher can apply a per-rule override to it. Strictly more than `RuleBuilderLike`; that one is the narrower shape used where only the findings matter.
+- **`isArchRuleError(err)`** — use this instead of `instanceof ArchRuleError` when catching. `instanceof` compares class identity, so it returns `false` whenever two copies of the package are on disk — a nested `node_modules`, or a rule file loaded through a separate module registry. The check is structural (the stamped `name` plus the `violations` array), so it survives that. The thrown shape itself — `violations: ArchViolation[]` — is public either way.
+- **`ArchConfigError`** / **`isArchConfigError(err)`** — thrown when a _rule_ is misconfigured (bad arguments to a condition, a malformed rule file), as opposed to `ArchRuleError`, which means the _architecture_ is wrong. Two different faults with two different audiences: one tells a rule author they mistyped something, the other tells a team their code drifted. Carries `subject` — the condition, predicate or file at fault — so a caller can route the failure without parsing the message. `isArchConfigError` is structural for the same two-copies-on-disk reason as `isArchRuleError`.
+- **`ArchFix`** — a machine-applicable edit on a violation: `file`, a `[start, end)` character span, and the `replacement` text. This is what `--fix` applies.
+
+### The JSON report
+
+`--format json` emits an **`ArchJsonReport`**: a `summary` (`total`, `errors`, `warnings`, `reason`), then **`ArchJsonViolation`** entries, plus **`ArchJsonSuppression`** for findings silenced by an `eess-exclude` comment and **`ArchJsonUntestedAllowlist`** for allowlists nothing exercised. Import these to type a tool that consumes eess output rather than re-declaring the shape.
+
+### Filtering a run
+
+- **`BaselineFilter`** — decides whether an already-accepted finding is suppressed by the baseline file.
+- **`DiffFilterLike`** — decides whether a finding falls inside the changed region, for `--changed` runs.
+
+Both are interfaces so a host can supply its own; the kernel ships implementations.
+
+### Correspondence
+
+`correspondence()` binds two `Selection`s and checks they agree in both directions.
+
+- **`CorrespondenceOptions`** — its argument: the `left` and `right` selections, a join strategy, and optional per-side `suggest` callbacks for the two-sided message.
+- **`KeyBy`** — the fast join: a key extracted per element, giving an O(n+m) match. Prefer it. The fallback `matchBy` predicate is O(n×m).
+- **`RelationSpec`** — what `preserveRelations()` takes: how to read edges from each side, so the check covers relationships and not just membership.
+- **`ElementInfo`** — the `name` / `file` / `line` a dialect reports for one element, which is what the message and the violation's location are built from.
+
+### Declaring globs (for custom predicates)
+
+A predicate written with `definePredicate` should declare the globs it matches on.
+Without that it is opaque, so a vacuity diagnosis cannot tell "matched nothing
+because the glob is dead" from "matched nothing because nothing was there" — and
+any `or()` containing it becomes undiagnosable too.
+
+- **`globNode(leaf)`** — wrap a single declared glob into a tree. The common case.
+- **`globAnyOf(globs, kind, base?)`** — declare several alternatives at once.
+- **`DeclaredGlob`** — one glob with its `kind` and `base`. **`GlobKind`** is what the glob matches against (`'file-path' | 'parent-dir' | 'import-target' | 'specifier' | 'literal'`) and **`GlobBase`** is what it is resolved against (`'absolute' | 'tsconfig-relative' | 'normalized'`).
+- **`GlobTree<L>`** — the `and`/`any` tree the declarations form; **`DeclaredGlobs`** is that tree over `DeclaredGlob`, and **`GlobLeaf<L>`** is one position in it.
+- **`OpaqueGlob`** — the explicit "this branch cannot be described" marker. Honest, and it is what keeps an undeclared predicate from silently reading as a dead one.
+- **`GlobSite`** — a declared glob plus where it was written; **`GlobPosition`** is that where (`'selector' | 'discovery' | 'condition' | 'exclusion'`), which is what lets a diagnosis point at the glob you actually got wrong.
+- **`GlobNode`** — the tree over `GlobSite`, i.e. a fully-stamped declaration ready to diagnose.
+
+### Coverage evidence
+
+- **`EdgeCoverage`** — one rule's evidence: how many `subjects` it saw, how many `edges` it actually tested, and a `reason` when that number is zero.
+- **`UntestedReason`** — why zero: `'no-edges'` (nothing to test, usually correct), `'all-filtered'` (edges existed and every one was filtered out), `'none-matched'` (edges existed and none matched the allowlist). The distinction is the point — a rule that tested nothing should say which of the three it was, per ADR-010.
+
 ## Who uses it
 
 You normally don't install this directly — you install a dialect:
@@ -19,7 +103,16 @@ You normally don't install this directly — you install a dialect:
 - [`@nielspeter/eess-ts`](https://www.npmjs.com/package/@nielspeter/eess-ts) — TypeScript
 - [`@nielspeter/eess-mermaid`](https://www.npmjs.com/package/@nielspeter/eess-mermaid) — Mermaid class diagrams
 
-Install `@nielspeter/eess` directly only when authoring a new dialect or a cross-dialect tool on top of the kernel.
+Install `@nielspeter/eess` directly only when authoring a new dialect or a cross-dialect
+tool on top of the kernel.
+
+**If that is you, `/internal` is your surface, not a wall.** The two sentences above look
+like they contradict each other — "not for you", then "install it if you are writing a
+dialect" — so to be explicit: a dialect author is exactly who `/internal` exists for, and
+the five in this repo import from it. What the root alone gives you is the rule-authoring
+vocabulary, not the engine. Nothing there is documented and it changes without migration
+notes, so treat it as a contract you re-check on each kernel bump; if you are building a
+dialect you intend to publish, open an issue and we will work out what belongs on the root.
 
 ## License
 

package/dist/baseline-generator.d.ts

@@ -5,6 +5,15 @@ import type { ArchViolation } from './violation.js';
  * Used to generate a baseline: run all rules, collect violations,
  * write them to a baseline file.
  *
+ * **This bypasses the evidence gate, deliberately and knowingly** — see ADR-014
+ * and proposal 011 ask C. Prefer a dialect's `baseline` command, which gates per
+ * rule file and refuses a builder that certified nothing.
+ *
+ * **Not the same function as `eess-ts`'s `collectViolations`.** This one takes
+ * builders with a throwing `check()` and harvests the `ArchRuleError`; the
+ * dialect's takes builders with a non-throwing `violations()`. Same name, same
+ * `@example`, different contract.
+ *
  * @example
  * const violations = collectViolations(
  *   classes(p).that().extend('Base').should().notContain(call('parseInt')),

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

@@ -1 +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"}
+{"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;;;;;;;;;;;;;;;;;;;;;GAqBG;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

@@ -5,6 +5,15 @@ import { ArchRuleError } from './errors.js';
  * Used to generate a baseline: run all rules, collect violations,
  * write them to a baseline file.
  *
+ * **This bypasses the evidence gate, deliberately and knowingly** — see ADR-014
+ * and proposal 011 ask C. Prefer a dialect's `baseline` command, which gates per
+ * rule file and refuses a builder that certified nothing.
+ *
+ * **Not the same function as `eess-ts`'s `collectViolations`.** This one takes
+ * builders with a throwing `check()` and harvests the `ArchRuleError`; the
+ * dialect's takes builders with a non-throwing `violations()`. Same name, same
+ * `@example`, different contract.
+ *
  * @example
  * const violations = collectViolations(
  *   classes(p).that().extend('Base').should().notContain(call('parseInt')),

package/dist/baseline-generator.js.map

@@ -1 +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"}
+{"version":3,"file":"baseline-generator.js","sourceRoot":"","sources":["../src/baseline-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;GAqBG;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

@@ -26,7 +26,7 @@ export interface BaselineEntry {
     /**
      * What {@link measured} counts — `code-lines`, `methods`, `complexity`.
      *
-     * Written since [bug 0171](../../../work/bugs/0171-a-metric-unit-change-silently-loosens-every-baselined-ratchet.md).
+     * Written since [bug 0171](../../../work/bugs/fixed/0171-a-metric-unit-change-silently-loosens-every-baselined-ratchet.md).
      * An accepted ceiling is a number IN A UNIT, and comparing across a change of
      * unit does not measure a regression — it moves the bar. Absent on entries
      * written before stamping, which {@link Baseline.isKnown} treats as "unknown

package/dist/cardinality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cardinality.d.ts","sourceRoot":"","sources":["../src/cardinality.ts"],"names":[],"mappings":"AA0BA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAGzE;AAED,yDAAyD;AACzD,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D"}
+{"version":3,"file":"cardinality.d.ts","sourceRoot":"","sources":["../src/cardinality.ts"],"names":[],"mappings":"AAyCA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAGzE;AAED,yDAAyD;AACzD,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D"}

package/dist/cardinality.js

@@ -16,11 +16,26 @@
  * empty-selection gate on any rule, permanently and invisibly. That is
  * `.allowEmpty()` wearing a different hat.
  *
- * This symbol is **not** re-exported from `src/index.ts`, and `package.json`'s
- * `exports` map has no wildcard subpath, so a consumer cannot import it to
- * name the key. The escape hatch users *do* get is `.expectEmpty()`, which is
- * an assertion that fails when the selection stops being empty — not a
- * silencer.
+ * **What actually stops a consumer doing this: not enough.** Say it plainly,
+ * because two earlier versions of this comment did not.
+ *
+ * The `WeakSet` below defends the KEY — membership cannot be read off an object,
+ * copied, or forged. It does not defend the CALL. Anyone holding
+ * `marksAssertsCardinality` can mark any condition, and it is reachable from
+ * `@nielspeter/eess/internal`. The first rationale here ("the exports map has no
+ * wildcard subpath") stopped being true when ADR-011 added the subpath; the
+ * second ("the `WeakSet` is the real defence") was simply wrong about which half
+ * it guards, and was written in the same branch that added the subpath.
+ *
+ * The honest position: this is narrower than it was — on `main` the marker was
+ * exported from the kernel ROOT and re-exported by eess-ts's root, so it sat on
+ * two published surfaces; it is now on one, named `/internal`, which no dialect
+ * re-exports. It is not closed. Closing it means validating at the registration
+ * site (accept only conditions from a sanctioned constructor), which is a design
+ * change, not a comment.
+ *
+ * The escape hatch users are *meant* to have is `.expectEmpty()` — an assertion
+ * that fails when the selection stops being empty, not a silencer.
  */
 const CARDINALITY_ASSERTERS = new WeakSet();
 /**

package/dist/cardinality.js.map

@@ -1 +1 @@
-{"version":3,"file":"cardinality.js","sourceRoot":"","sources":["../src/cardinality.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAAU,CAAA;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,uBAAuB,CAAmB,SAAY;IACpE,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACpC,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;AAC7C,CAAC"}
+{"version":3,"file":"cardinality.js","sourceRoot":"","sources":["../src/cardinality.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAAU,CAAA;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,uBAAuB,CAAmB,SAAY;IACpE,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACpC,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;AAC7C,CAAC"}

package/dist/cli-config.d.ts

@@ -0,0 +1,59 @@
+import type { OutputFormat } from './check-options.js';
+/**
+ * The parts of dialect CLI config handling that are the same everywhere.
+ *
+ * **Split along the kernel's existing seam, not behind a new injection point.**
+ * `PathUniverse` sets the pattern: the kernel takes materialized data and the
+ * dialect does the I/O. Here the pure halves are finding the config file and
+ * validating what a loaded module claims — both were byte-identical between
+ * `eess-ts` and `eess-mermaid` (`findConfigFile` scored 100%). The impure half,
+ * actually importing the file, stays in each dialect because it needs `jiti`,
+ * which the kernel cannot depend on.
+ *
+ * That leaves one genuinely shared subtlety in the impure half —
+ * {@link isModuleFormatRefusal} — so it lives here too. It is pure, and it is
+ * the part that is easy to get dangerously wrong.
+ */
+/** Config fields every dialect CLI understands. A dialect may add its own. */
+export interface SharedCliConfig {
+    rules?: string[];
+    format?: OutputFormat | 'auto';
+    watchDirs?: string[];
+}
+/** The first of `filenames` that exists in the working directory. */
+export declare function findConfigFile(filenames: readonly string[]): string | undefined;
+/**
+ * The shared config a loaded module claims, validated.
+ *
+ * Everything is checked rather than trusted: a config file is arbitrary user
+ * code and its default export can be any shape at all. An unrecognised `format`
+ * is dropped rather than passed through, so a typo falls back to the default
+ * instead of reaching a formatter that has no case for it.
+ */
+export declare function extractSharedConfig(mod: unknown): SharedCliConfig;
+/**
+ * Did Node refuse this file for its MODULE FORMAT, rather than for anything the
+ * file does?
+ *
+ * Narrow on purpose. A broad `catch` that fell back to a transpiling loader on
+ * any error would re-execute a rule file that had already run — doubling its
+ * output — and would hide a genuine syntax error behind a second,
+ * differently-worded failure.
+ *
+ * The condition it detects is bug 0074: the CONSUMER project is
+ * `"type": "commonjs"` (what `npm init -y` writes) and the config or rule file
+ * uses ESM syntax.
+ */
+export declare function isModuleFormatRefusal(error: unknown): boolean;
+/**
+ * Refuse a run that named no rule files, saying where to name them.
+ *
+ * Sets `process.exitCode` rather than throwing: the caller is a CLI entry point
+ * that still wants to return normally. Returns whether the run may proceed.
+ *
+ * `configName` is the dialect's own config filename, because "set them in
+ * config" is not an instruction — the two copies of this differed in exactly
+ * that word, one naming the file and one not.
+ */
+export declare function requireRuleFiles(ruleFiles: readonly string[], configName: string): boolean;
+//# sourceMappingURL=cli-config.d.ts.map

package/dist/cli-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli-config.d.ts","sourceRoot":"","sources":["../src/cli-config.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAGtD;;;;;;;;;;;;;;GAcG;AAEH,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,MAAM,EAAE,CAAA;IAChB,MAAM,CAAC,EAAE,YAAY,GAAG,MAAM,CAAA;IAC9B,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;CACrB;AAID,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,CAO/E;AAOD;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,eAAe,CAiBjE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAM7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAO1F"}

package/dist/cli-config.js

@@ -0,0 +1,84 @@
+import path from 'node:path';
+import fs from 'node:fs';
+import { isRecord } from './type-guards.js';
+const FORMATS = new Set(['terminal', 'json', 'github', 'auto']);
+/** The first of `filenames` that exists in the working directory. */
+export function findConfigFile(filenames) {
+    const cwd = process.cwd();
+    for (const name of filenames) {
+        const candidate = path.join(cwd, name);
+        if (fs.existsSync(candidate))
+            return candidate;
+    }
+    return undefined;
+}
+/** Strings from an unknown array, dropping anything that is not one. */
+function stringsOf(value) {
+    return Array.isArray(value) ? value.filter((v) => typeof v === 'string') : undefined;
+}
+/**
+ * The shared config a loaded module claims, validated.
+ *
+ * Everything is checked rather than trusted: a config file is arbitrary user
+ * code and its default export can be any shape at all. An unrecognised `format`
+ * is dropped rather than passed through, so a typo falls back to the default
+ * instead of reaching a formatter that has no case for it.
+ */
+export function extractSharedConfig(mod) {
+    if (!isRecord(mod) || !('default' in mod))
+        return {};
+    const defaultExport = mod.default;
+    if (!isRecord(defaultExport))
+        return {};
+    const config = {};
+    const format = defaultExport['format'];
+    if (typeof format === 'string' && FORMATS.has(format)) {
+        // Narrowed by the set above; the cast-free form is this re-check.
+        config.format =
+            format === 'terminal' || format === 'json' || format === 'github' ? format : 'auto';
+    }
+    const rules = stringsOf(defaultExport['rules']);
+    if (rules)
+        config.rules = rules;
+    const watchDirs = stringsOf(defaultExport['watchDirs']);
+    if (watchDirs)
+        config.watchDirs = watchDirs;
+    return config;
+}
+/**
+ * Did Node refuse this file for its MODULE FORMAT, rather than for anything the
+ * file does?
+ *
+ * Narrow on purpose. A broad `catch` that fell back to a transpiling loader on
+ * any error would re-execute a rule file that had already run — doubling its
+ * output — and would hide a genuine syntax error behind a second,
+ * differently-worded failure.
+ *
+ * The condition it detects is bug 0074: the CONSUMER project is
+ * `"type": "commonjs"` (what `npm init -y` writes) and the config or rule file
+ * uses ESM syntax.
+ */
+export function isModuleFormatRefusal(error) {
+    if (!(error instanceof SyntaxError))
+        return false;
+    return (error.message.includes('Cannot use import statement outside a module') ||
+        error.message.includes("Unexpected token 'export'"));
+}
+/**
+ * Refuse a run that named no rule files, saying where to name them.
+ *
+ * Sets `process.exitCode` rather than throwing: the caller is a CLI entry point
+ * that still wants to return normally. Returns whether the run may proceed.
+ *
+ * `configName` is the dialect's own config filename, because "set them in
+ * config" is not an instruction — the two copies of this differed in exactly
+ * that word, one naming the file and one not.
+ */
+export function requireRuleFiles(ruleFiles, configName) {
+    if (ruleFiles.length > 0)
+        return true;
+    console.error(`Error: No rule files specified. Pass rule files as arguments or set them in ${configName}.`);
+    process.exitCode = 1;
+    return false;
+}
+//# sourceMappingURL=cli-config.js.map

package/dist/cli-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli-config.js","sourceRoot":"","sources":["../src/cli-config.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,MAAM,SAAS,CAAA;AAExB,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAyB3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAA;AAE/D,qEAAqE;AACrE,MAAM,UAAU,cAAc,CAAC,SAA4B;IACzD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACzB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QACtC,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAA;IAChD,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,wEAAwE;AACxE,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACnG,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAY;IAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC;QAAE,OAAO,EAAE,CAAA;IACpD,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAA;IACjC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,CAAA;IAEvC,MAAM,MAAM,GAAoB,EAAE,CAAA;IAClC,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACtC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,kEAAkE;QAClE,MAAM,CAAC,MAAM;YACX,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAA;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/C,IAAI,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAA;IAC/B,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAA;IACvD,IAAI,SAAS;QAAE,MAAM,CAAC,SAAS,GAAG,SAAS,CAAA;IAC3C,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,IAAI,CAAC,CAAC,KAAK,YAAY,WAAW,CAAC;QAAE,OAAO,KAAK,CAAA;IACjD,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,8CAA8C,CAAC;QACtE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CACpD,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAA4B,EAAE,UAAkB;IAC/E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IACrC,OAAO,CAAC,KAAK,CACX,+EAA+E,UAAU,GAAG,CAC7F,CAAA;IACD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;IACpB,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/collect-result.d.ts

@@ -0,0 +1,94 @@
+import type { ArchViolation } from './violation.js';
+/**
+ * The receipt — [ADR-014](../../../adr/014-the-emitter-refuses-a-verdict-without-evidence.md).
+ *
+ * **An `ArchViolation[]` carrying its own evidence**, not an object wrapping
+ * one. That shape is load-bearing and the review measured why: a plain object
+ * turns every untyped consumer green, because `result.length` reads `undefined`
+ * and `undefined > 0` is `false`. An array keeps `.length`, iteration,
+ * `flatMap` and every existing `for…of` working and correct, so a JavaScript
+ * consumer who never reads `examined` still exits non-zero on violations.
+ * "`CollectResult`'s shape by name" is a tidiness argument and it loses to that.
+ *
+ * **The name stays `CollectResult`.** Plan 0235 calls it a "receipt" in prose;
+ * there is deliberately no second exported name for one concept.
+ *
+ * `JSON.stringify` drops an array's own properties, which is why
+ * `formatViolationsJson` carries `examined` across by hand — see the note there.
+ */
+export interface CollectResult extends Array<ArchViolation> {
+    /** Units this rule actually reached its assertion over. The denominator. */
+    readonly examined: number;
+    /** The source loaded nothing at all, before any selection ran. */
+    readonly sourceEmpty?: boolean;
+    /** A caller declared this set legitimately empty, and the claim can expire. */
+    readonly declaredEmpty?: boolean;
+    /**
+     * This rule was never run — explicitly disabled, not merely empty.
+     *
+     * A third state, and it has to be distinguishable from both. A rule that RAN
+     * and examined nothing is dead and the merge must say so. A rule turned off
+     * never ran, so it has no denominator to be suspicious about — and marking it
+     * `declaredEmpty` instead would mint the declaration ADR-014 §3's amendment
+     * refuses to infer from `overrides: { id: 'off' }`.
+     *
+     * **It is falsifiable, like every other declaration here.** A rule that never
+     * ran examined nothing and found nothing, so `notRun` beside a non-zero
+     * `examined` or a violation is `emitter/contradictory-evidence` — checked at
+     * the gate and in the merge. Without that check this would be the one
+     * suppressing flag in the vocabulary that nothing can contradict, which is the
+     * shape ADR-014 §3's amendment exists to refuse.
+     *
+     * The two are not interchangeable: without this, one disabled rule reddened a
+     * whole preset whose other rules examined plenty (measured — `adrEnforcement`
+     * with `adr/valid-tiers` off). With it, a preset where EVERY member is `notRun`
+     * still sums to zero examined with no declaration, so the all-off case reports
+     * exactly as §3 requires.
+     */
+    readonly notRun?: boolean;
+    /**
+     * A specific dead-glob explanation for a zero-examined rule, pre-formatted
+     * by the dialect that computed it (`RuleBuilder.deadGlobDiagnosis()`) — the
+     * kernel never touches picomatch or a project type to build this itself.
+     */
+    readonly deadGlob?: string;
+}
+/** Evidence a caller supplies alongside the violations. */
+export interface Evidence {
+    readonly examined: number;
+    readonly sourceEmpty?: boolean;
+    readonly declaredEmpty?: boolean;
+    readonly notRun?: boolean;
+    readonly deadGlob?: string;
+}
+/**
+ * The one constructor. Every terminal produces its receipt through this.
+ *
+ * **Stamps a FRESH array, deliberately.** `applyFilters` returns the *same
+ * reference* when no exclusion applies, so stamping `examined` onto what it
+ * hands back would mutate whatever a family memoized — a rule's evidence
+ * appearing on someone else's array, changing when it is re-read. The copy is
+ * the cost of not having that bug.
+ */
+export declare function collectResult(violations: readonly ArchViolation[], evidence: Evidence): CollectResult;
+/** Does this value carry evidence at all, or is it a bare array? */
+export declare function hasEvidence(value: readonly ArchViolation[]): value is CollectResult;
+/**
+ * The one merge — ADR-014 §7. Fail-closed, and each rule below is a rule a
+ * hand-rolled sum got wrong somewhere (bug 0205's class: four emitters
+ * restating one rule and disagreeing).
+ *
+ * - **`examined` sums.** Zero members sums to zero — an absent denominator is
+ *   not a large one.
+ * - **`declaredEmpty` requires EVERY zero-contributing member to declare.** A
+ *   `some()` here lets one declared part vouch for a hand-counted zero beside
+ *   it, which is the whole failure this merge exists to prevent.
+ * - **`sourceEmpty` on any member outranks every declaration.** ADR-010 §3's
+ *   precedence: a declaration asserts a fact about a loaded corpus, and over
+ *   an empty source it asserts nothing.
+ * - **A member with no evidence poisons the merge**, rather than being counted
+ *   as zero. A dead member must not be able to hide inside a healthy sum, so
+ *   the result carries no evidence either and the emitter says so.
+ */
+export declare function mergeCollectResults(parts: readonly (readonly ArchViolation[])[]): CollectResult;
+//# sourceMappingURL=collect-result.d.ts.map

package/dist/collect-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-result.d.ts","sourceRoot":"","sources":["../src/collect-result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAQnD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,aAAc,SAAQ,KAAK,CAAC,aAAa,CAAC;IACzD,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,kEAAkE;IAClE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;IAChC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED,2DAA2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,QAAQ,EAAE,QAAQ,GACjB,aAAa,CAWf;AAED,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,KAAK,IAAI,aAAa,CAGnF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,GAAG,aAAa,CA0G/F"}

package/dist/collect-result.js

@@ -0,0 +1,142 @@
+import { noReceiptViolation, passWithoutEvidenceViolation, contradictoryEvidenceViolation, sourceEmptyViolation, } from './emitter-findings.js';
+/**
+ * The one constructor. Every terminal produces its receipt through this.
+ *
+ * **Stamps a FRESH array, deliberately.** `applyFilters` returns the *same
+ * reference* when no exclusion applies, so stamping `examined` onto what it
+ * hands back would mutate whatever a family memoized — a rule's evidence
+ * appearing on someone else's array, changing when it is re-read. The copy is
+ * the cost of not having that bug.
+ */
+export function collectResult(violations, evidence) {
+    // `Object.assign` returns the intersection type, so no assertion is needed —
+    // ADR-005. An earlier cut wrote `[...violations] as ArchViolation[] & {…}` and
+    // the repo's own `check:arch` reported it, in the module this plan adds.
+    return Object.assign([...violations], {
+        examined: evidence.examined,
+        ...(evidence.sourceEmpty === true ? { sourceEmpty: true } : {}),
+        ...(evidence.declaredEmpty === true ? { declaredEmpty: true } : {}),
+        ...(evidence.notRun === true ? { notRun: true } : {}),
+        ...(evidence.deadGlob === undefined ? {} : { deadGlob: evidence.deadGlob }),
+    });
+}
+/** Does this value carry evidence at all, or is it a bare array? */
+export function hasEvidence(value) {
+    // `in` narrows without an assertion — ADR-005.
+    return 'examined' in value && typeof value.examined === 'number';
+}
+/**
+ * The one merge — ADR-014 §7. Fail-closed, and each rule below is a rule a
+ * hand-rolled sum got wrong somewhere (bug 0205's class: four emitters
+ * restating one rule and disagreeing).
+ *
+ * - **`examined` sums.** Zero members sums to zero — an absent denominator is
+ *   not a large one.
+ * - **`declaredEmpty` requires EVERY zero-contributing member to declare.** A
+ *   `some()` here lets one declared part vouch for a hand-counted zero beside
+ *   it, which is the whole failure this merge exists to prevent.
+ * - **`sourceEmpty` on any member outranks every declaration.** ADR-010 §3's
+ *   precedence: a declaration asserts a fact about a loaded corpus, and over
+ *   an empty source it asserts nothing.
+ * - **A member with no evidence poisons the merge**, rather than being counted
+ *   as zero. A dead member must not be able to hide inside a healthy sum, so
+ *   the result carries no evidence either and the emitter says so.
+ */
+export function mergeCollectResults(parts) {
+    const violations = parts.flat();
+    if (!parts.every(hasEvidence)) {
+        // A member with no evidence at all. The merge REPORTS it rather than
+        // returning an evidence-free value for the emitter to notice later: the
+        // guarantee is this function's, and deferring it was also the last `as` in
+        // this file (an evidence-free value is not a `CollectResult`).
+        return collectResult([...violations, noReceiptViolation()], { examined: 0 });
+    }
+    // **ADR-014 §7's headline guarantee, and it needs its own pass.** Summing
+    // alone lets a dead member hide: measured, a check examining 0 merged with one
+    // examining 900 produced `examined: 900` and no finding — nine checks in
+    // `check-corpus.mjs`, one of them with a `continue` planted at the top of its
+    // loop, and the total still reads healthy. That is the plan's own top success
+    // criterion, and the field failure proposal 009 records, reproduced inside the
+    // primitive built to prevent it.
+    //
+    // A member is dead when it examined nothing, said nothing, and declared
+    // nothing. One that carries its own finding has spoken; one that declared
+    // empty has been accounted for.
+    // A member that never RAN is not a dead check — it is an absent one, with no
+    // denominator to be suspicious about. Excluding it is what keeps ONE disabled
+    // rule from reddening a preset whose others examined plenty (measured:
+    // `adrEnforcement` with `adr/valid-tiers` off). The all-off case still
+    // reports: every member is then `notRun`, the sum is zero and nobody
+    // declared, which the emitter's own gate catches downstream.
+    // A member whose `notRun` contradicts its own evidence, checked HERE and not
+    // only at the gate: the merged receipt carries no `notRun`, so a contradictory
+    // member is invisible downstream — it would slip through the one door that
+    // could see it. `notRun` is also the flag that exempts a member from the dead
+    // filter below, so an unchecked one is a suppressor with no falsifier (the
+    // asymmetry with `declaredEmpty` an enforcement review found in plan 0235).
+    const contradictory = parts.find((p) => p.notRun === true && (p.examined > 0 || p.length > 0));
+    if (contradictory !== undefined) {
+        return collectResult([...violations, contradictoryEvidenceViolation(contradictory.examined, contradictory.length)], { examined: parts.reduce((n, p) => n + p.examined, 0) });
+    }
+    // **An empty source is a member-level fault, checked HERE for the same reason
+    // the contradictory `notRun` above is** — ADR-014 §4: "an empty source
+    // outranks any declaration and names the source."
+    //
+    // The dead filter below EXEMPTS a `sourceEmpty` member, which is right for
+    // "did this member contribute nothing without saying why" — it said why. But
+    // §4 makes that answer a fault rather than an excuse, so the exemption alone
+    // left the merge disagreeing with the gate about the same receipt: measured,
+    // `finishPreset` reds a `{ examined: 0, sourceEmpty: true, declaredEmpty: true }`
+    // member while `mergeCollectResults([thatMember, aHealthyOne])` was GREEN,
+    // because the healthy sibling's `examined` carries the merged receipt past the
+    // gate's own check. That is the `notRun` asymmetry this ADR already fixed once,
+    // recreated for `sourceEmpty` by the change that fixed it at the gate.
+    const emptySource = parts.find((p) => p.sourceEmpty === true && p.examined === 0);
+    if (emptySource !== undefined) {
+        const summed = parts.reduce((n, p) => n + p.examined, 0);
+        return collectResult([...violations, sourceEmptyViolation()], {
+            examined: summed,
+            // **Only when it is true of the WHOLE.** Stamping it unconditionally
+            // minted a receipt saying "the source loaded nothing" beside a non-zero
+            // sum from healthy siblings — and the gate then contradicted it, blaming a
+            // flag nobody set. Four reviewers measured that on this branch's own
+            // headline scenario. The member-level fact is already carried by the
+            // finding above; the flag describes the merged whole, and of the whole it
+            // is only true when nothing was examined anywhere.
+            sourceEmpty: summed === 0 ? true : undefined,
+        });
+    }
+    const dead = parts.filter((p) => p.examined === 0 &&
+        p.length === 0 &&
+        p.notRun !== true &&
+        p.declaredEmpty !== true &&
+        p.sourceEmpty !== true);
+    if (dead.length > 0 && parts.length > 1) {
+        return collectResult([...violations, passWithoutEvidenceViolation()], {
+            examined: parts.reduce((n, p) => n + p.examined, 0),
+        });
+    }
+    const examined = parts.reduce((n, p) => n + p.examined, 0);
+    const anySourceEmpty = parts.some((p) => p.sourceEmpty === true);
+    return collectResult(violations, {
+        examined,
+        sourceEmpty: anySourceEmpty ? true : undefined,
+        // **Only when the WHOLE verdict examined nothing.** A member's declaration
+        // is about that member: `honestyAtClose` merges three rules and one of them
+        // legitimately declares itself empty while the other two examine plenty.
+        // Propagating that up marked the merged verdict declared-empty over a
+        // non-zero total, and the emitter's expiry then fired on it — correctly,
+        // which is how this was found. The member's own declaration is already
+        // satisfied by its own zero; the merge has nothing to add.
+        //
+        // `every`, not `some`: one declared part must never vouch for a
+        // hand-counted zero beside it.
+        declaredEmpty: !anySourceEmpty &&
+            examined === 0 &&
+            parts.length > 0 &&
+            parts.every((p) => p.declaredEmpty === true)
+            ? true
+            : undefined,
+    });
+}
+//# sourceMappingURL=collect-result.js.map

package/dist/collect-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-result.js","sourceRoot":"","sources":["../src/collect-result.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,8BAA8B,EAC9B,oBAAoB,GACrB,MAAM,uBAAuB,CAAA;AAkE9B;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,UAAoC,EACpC,QAAkB;IAElB,6EAA6E;IAC7E,+EAA+E;IAC/E,yEAAyE;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE;QACpC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,CAAC,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,GAAG,CAAC,QAAQ,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;KAC5E,CAAC,CAAA;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAC,KAA+B;IACzD,+CAA+C;IAC/C,OAAO,UAAU,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA4C;IAC9E,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAA;IAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9B,qEAAqE;QACrE,wEAAwE;QACxE,2EAA2E;QAC3E,+DAA+D;QAC/D,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,kBAAkB,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC;IAED,0EAA0E;IAC1E,+EAA+E;IAC/E,yEAAyE;IACzE,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,iCAAiC;IACjC,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,gCAAgC;IAChC,6EAA6E;IAC7E,8EAA8E;IAC9E,uEAAuE;IACvE,uEAAuE;IACvE,qEAAqE;IACrE,6DAA6D;IAC7D,6EAA6E;IAC7E,+EAA+E;IAC/E,2EAA2E;IAC3E,8EAA8E;IAC9E,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAC9F,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,aAAa,CAClB,CAAC,GAAG,UAAU,EAAE,8BAA8B,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,EAC7F,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CACxD,CAAA;IACH,CAAC;IAED,8EAA8E;IAC9E,uEAAuE;IACvE,kDAAkD;IAClD,EAAE;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,kFAAkF;IAClF,2EAA2E;IAC3E,+EAA+E;IAC/E,gFAAgF;IAChF,uEAAuE;IACvE,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;IACjF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;QACxD,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,oBAAoB,EAAE,CAAC,EAAE;YAC5D,QAAQ,EAAE,MAAM;YAChB,qEAAqE;YACrE,wEAAwE;YACxE,2EAA2E;YAC3E,qEAAqE;YACrE,qEAAqE;YACrE,0EAA0E;YAC1E,mDAAmD;YACnD,WAAW,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;SAC7C,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,QAAQ,KAAK,CAAC;QAChB,CAAC,CAAC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,MAAM,KAAK,IAAI;QACjB,CAAC,CAAC,aAAa,KAAK,IAAI;QACxB,CAAC,CAAC,WAAW,KAAK,IAAI,CACzB,CAAA;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,4BAA4B,EAAE,CAAC,EAAE;YACpE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;SACpD,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC1D,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAA;IAChE,OAAO,aAAa,CAAC,UAAU,EAAE;QAC/B,QAAQ;QACR,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QAC9C,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,sEAAsE;QACtE,yEAAyE;QACzE,uEAAuE;QACvE,2DAA2D;QAC3D,EAAE;QACF,gEAAgE;QAChE,+BAA+B;QAC/B,aAAa,EACX,CAAC,cAAc;YACf,QAAQ,KAAK,CAAC;YACd,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC;YAC1C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,SAAS;KAChB,CAAC,CAAA;AACJ,CAAC"}