@nielspeter/eess-ts 0.2.1 → 0.5.0

package/dist/core/vacuity-diagnosis.js

@@ -0,0 +1,415 @@
+import { DECLARE_INSTEAD, isFaultPosition, UNSUPPRESSABLE } from '@nielspeter/eess/internal';
+import { diagnoseGlob, FAULT_ADVICE, ON_DISK_ADVICE } from './glob-diagnosis.js';
+import { globSitesOf, isDeadGlobTree, isDeadSite } from './glob-evaluator.js';
+import { pathUniverse } from './path-universe.js';
+import { diskSet } from './disk-set.js';
+import { emptyProjectAdvice, loadedNothing } from './empty-project-advice.js';
+/**
+ * The unit noun, singular when there is one of it — plan 0099.
+ *
+ * `n === 1` is the MOST likely expiry case: a declaration expires the day the
+ * first thing appears, so "it examined 1 subjects" is the sentence a reader is
+ * likeliest to meet. The zero-subjects sentence one method away already
+ * pluralises its file count correctly.
+ */
+function singularise(noun, n) {
+    if (n !== 1)
+        return noun;
+    return noun.endsWith('ies') ? `${noun.slice(0, -3)}y` : noun.replace(/s$/, '');
+}
+/**
+ * What a rule can be asked about itself, without running it.
+ *
+ * Every diagnosis in this module is a function of these and nothing else — none
+ * of them evaluates the rule. That is what let them leave `TerminalBuilder`:
+ * they were never terminal behaviour, they were explanations OF it, and keeping
+ * them on the class is most of why it carried 372 code lines.
+ */
+// Consumed by the test suite; the build tsconfig this gate reads excludes tests,
+// so `src` is the only usage it can see. The directive sits LAST because a
+// single-line waiver covers exactly the next line.
+// eess-exclude eess/no-unused-exports: test-only consumer
+export const ASSERTION_DOCS = 'https://github.com/nielspeter/eess/blob/main/docs/violation-reporting.md#a-rule-must-assert-something';
+/**
+ * The finding for a rule that states no assertion at all.
+ *
+ * Extracted from `collectWithAssertionGuard`, which was the assertion gate,
+ * the dead-selector gate, the evidence floor AND this constructor in one
+ * method — most of its branching was the reader having to hold all four.
+ */
+export function assertionLessFinding(facts) {
+    const described = facts.describeRule();
+    const name = described.id || described.rule || facts.ruleClass.name;
+    // ADR-009 rule 3: where there is deliberately no escape hatch, say so, and
+    // say what to do instead. Stated on the finding rather than inside
+    // `assertionAdvice()` so the seven per-shape remedies stay one sentence each
+    // and this stays one sentence in one place. Measured before it was added: a
+    // reader given only the remedy tries `.asSeverity('warn')`, `.excluding()`,
+    // the baseline and `--changed` — four CI cycles — because nothing told them
+    // those were refused.
+    const advice = `${facts.assertionAdvice()} ${UNSUPPRESSABLE}`;
+    return [
+        {
+            rule: name,
+            ruleId: described.id,
+            element: name,
+            file: '',
+            line: 0,
+            message: advice,
+            // Its own remedy, never the author's (bug 0021): their `suggestion`
+            // describes how to fix a violation of the rule, and this finding says
+            // the rule cannot produce one. Same for `docs` — the author's link is
+            // about their rule; this one is about the grammar the rule broke.
+            suggestion: advice,
+            docs: ASSERTION_DOCS,
+            bypassFilters: true,
+            // `ruleId` and `because` are deliberately NOT set here. `applyFilters`
+            // fills both from the rule's metadata for every finding that leaves
+            // them unset, and all three callers of this method go through it — so
+            // setting them here was two lines that read as load-bearing and were
+            // not: sabotage removed each with nothing failing. The remedy fields
+            // above are the opposite case, and must stay, because `applyFilters`
+            // deliberately refuses to supply those for a `bypassFilters` finding.
+        },
+    ];
+}
+/**
+ * Walk the glob trees and split the dead sites by position.
+ *
+ * Extracted from `deadSelectorFindings`, which is otherwise five guard clauses
+ * and this loop — the guards are the interesting part and the nesting was most
+ * of the branching.
+ */
+function deadSitesIn(facts, trees, project) {
+    const universe = pathUniverse(project);
+    const selector = [];
+    const discovery = [];
+    for (const tree of trees) {
+        // Only inside a tree that is dead as a whole: `or(dead, live)` is a
+        // working rule, and reporting its dead branch is the false red the tree
+        // model exists to prevent.
+        if (!isDeadGlobTree(tree, universe))
+            continue;
+        for (const site of globSitesOf(tree)) {
+            // `isFaultPosition`, shared with `diagnose()` — the two used inverse
+            // hand-maintained lists and disagreed about exactly `discovery`, which
+            // is why `doctor` reported a dead layer glob and the build did not.
+            if (!isFaultPosition(site.position))
+                continue;
+            if (!isDeadSite(site, universe))
+                continue;
+            const finding = deadSelectorViolation(facts, site, universe, project);
+            if (site.position === 'discovery')
+                discovery.push(finding);
+            else
+                selector.push(finding);
+        }
+    }
+    return { selector, discovery };
+}
+/**
+ * The finding for one dead selector glob.
+ *
+ * Carries the SAME cause and advice `doctor` prints, from the same two
+ * tables — a reader who ran the pre-flight must not be told something
+ * different by the build that fails. Bugs 0031 and 0032 are why the tables
+ * are worth reusing rather than paraphrasing: both were cases where the
+ * cause stated was wrong for the input, and both were fixed in one place.
+ *
+ * `bypassFilters` makes it a configuration finding: `error` severity
+ * regardless of `.asSeverity('warn')`, refused by `.excluding()`, and
+ * skipped by diff and baseline (ADR-009 rule 1). A rule that can never have
+ * subjects is not a violation you triage; it is a rule that does not work.
+ */
+function deadSelectorViolation(facts, site, universe, project) {
+    const described = facts.describeRule();
+    const name = described.id || described.rule || facts.ruleClass.name;
+    const diagnosis = diagnoseGlob(site, universe, diskSet(project));
+    const onDisk = diagnosis.onDisk === undefined ? '' : ON_DISK_ADVICE[diagnosis.onDisk];
+    const cause = onDisk === '' ? FAULT_ADVICE[diagnosis.fault] : onDisk;
+    // Position-aware in BOTH clauses, not just the noun (plan 0080).
+    //
+    // Admitting `discovery` globs made this sentence wrong twice over for them.
+    // The noun was the obvious half — a `smells.duplicateBodies().inFolder()` glob
+    // is not a "selector". The **consequence clause** was the part that actually
+    // lied: "it has no subjects and cannot fail" describes a rule that selects
+    // nothing, while a dead discovery glob means the rule discovered nothing to
+    // compare — there may be plenty of subjects. Review flagged that fixing the
+    // noun alone ships a grammatical sentence that is still false.
+    const isDiscovery = site.position === 'discovery';
+    const what = isDiscovery ? 'discovery glob' : 'selector';
+    const consequence = isDiscovery
+        ? 'so it discovers nothing to check and cannot fail'
+        : 'so it has no subjects and cannot fail';
+    const advice = `This rule's ${what} ${site.origin} can never match anything in this project, ` +
+        `${consequence} — ${cause}. ` +
+        `Correct the glob, or remove the rule. ${UNSUPPRESSABLE}`;
+    return {
+        rule: name,
+        ruleId: described.id,
+        element: site.glob,
+        file: '',
+        line: 0,
+        message: advice,
+        // Its own remedy, never the author's (bug 0021): their `suggestion` is
+        // for a violation of the rule, and this says the rule cannot produce one.
+        suggestion: advice,
+        bypassFilters: true,
+    };
+}
+/**
+ * ADR-010's floor: what to report when a family produced NOTHING from NOTHING.
+ *
+ * `undefined` means "no floor finding — carry on", which is not the same as
+ * an empty array (that is a deliberate pass, and `assertsCardinality()`
+ * returns one).
+ *
+ * A family that produced ANY finding passes through untouched. The floor
+ * fires only where a family produced nothing from nothing — bug 0066's shape.
+ * Each family's own empty-selection block stays as the better-attributed
+ * implementation; this is a floor beneath them, not a replacement.
+ *
+ * Precedence has already removed the other causes by the time this is reached:
+ * no dead selector glob, no missing assertion, no empty project, no cardinality
+ * assertion, no declaration. So the remedy names ONE cause without the hedging
+ * ADR-009 rule 2 forbids.
+ *
+ * Three defects in 0098's preview wording are fixed here, from its
+ * user-perspective review:
+ *
+ * - **It hedged where we hold the fact.** "including any default it applies
+ *   that you did not write" was printed as a hypothetical while the rule knew
+ *   the answer. We materialized the selection, so we know the project loaded N
+ *   files and the selection produced 0 — print the numbers.
+ * - **"can never fail" overstated.** For a `crossLayer` rule whose pairs do not
+ *   exist yet, or a folder empty in a young repository, the rule is correct and
+ *   matches nothing *today*. "never" made a true statement false.
+ * - **The ranking was wrong for the people most likely to adopt early.** It
+ *   called widening the fix and declaring "the exception… proves nothing". For
+ *   a team whose second layer is not built yet, widening is *impossible* — the
+ *   code does not exist — so the only available action was the one the message
+ *   disparaged. Both are now offered as peers, and the declaration is described
+ *   by what it does: it expires.
+ */
+export function evidenceFloor(facts, violations, examined) {
+    if (violations.length !== 0 || examined !== 0)
+        return undefined;
+    // The instrument outranks the selection. A declaration asserts a fact
+    // about a LOADED corpus; over zero loaded files it asserts nothing, and
+    // the expiry that justifies `.expectEmpty()` can never engage — so on a
+    // solution-style tsconfig a one-line declaration would restore bug 0066's
+    // 401-findings-reported-clean permanently, through the sanctioned door.
+    // This supersedes the precedence bug 0066's root-cause note endorsed:
+    // that ordering is right at SELECTION level and wrong at INSTRUMENT level.
+    //
+    // `getProject()` may be undefined and that is honest, not a gap:
+    // `crossProject` discards its project by documented design, and an
+    // ADR-010 dialect over a non-TypeScript element type has none. The
+    // instrument check is skipped; the zero-subjects floor below still holds.
+    const project = facts.getProject();
+    if (project !== undefined && loadedNothing(project)) {
+        return [emptyProjectViolation(facts, project)];
+    }
+    // `.notExist()` and friends examine zero BECAUSE that is what they
+    // assert. Exempt since 0.34.0, and `diagnose()` exempts it too — the two
+    // must agree or `doctor` and `check` disagree about a working rule.
+    if (facts.assertsCardinality())
+        return violations;
+    // The author said empty is the point. `declaresEmpty()` — not
+    // `_expectEmpty` — because `CrossProjectBuilder` declares per side and
+    // overrides this; asking a fully-declared crossProject to declare would
+    // be ADR-009 rule 2's loop, and the base implementation cannot express it.
+    if (!facts.declaresEmpty())
+        return [facts.zeroSubjectsViolation(project)];
+    return undefined;
+}
+/**
+ * The finding for a project that loaded no source files.
+ *
+ * Deliberately **not** `deadSelectorViolation` with different text: that one
+ * names a glob as its `element`, and here no glob is at fault. The element is
+ * the rule, matching how `diagnose()` reports this state.
+ *
+ * Carries the same advice `doctor` prints, from the one owner
+ * (`empty-project-advice.ts`) — the parity `deadSelectorViolation`'s docstring
+ * claims for the whole gate, which was false for this input until bug 0048.
+ */
+function emptyProjectViolation(facts, project) {
+    const described = facts.describeRule();
+    const name = described.id || described.rule || facts.ruleClass.name;
+    // `emptyProjectAdvice` deliberately returns a lowercase, period-less clause so
+    // each caller can frame it. Capitalised inline rather than via a shared helper:
+    // `slice-rule-builder.ts` has its own local `capitalize` and core has none, so
+    // importing across that boundary for one character would be the worse trade.
+    const shared = emptyProjectAdvice(project);
+    const advice = `${shared.charAt(0).toUpperCase()}${shared.slice(1)}. ${UNSUPPRESSABLE}`;
+    return {
+        rule: name,
+        ruleId: described.id,
+        element: name,
+        file: '',
+        line: 0,
+        message: advice,
+        // Its own remedy, never the author's (bug 0021).
+        suggestion: advice,
+        bypassFilters: true,
+    };
+}
+/**
+ * A declaration that has expired — plan 0099.
+ *
+ * The property that makes `.expectEmpty()` an assertion rather than
+ * `allowEmpty()`'s permission, which had no failing state and so stayed green
+ * forever. Here the number IS the finding: the author asserted zero and the
+ * answer is not zero.
+ *
+ * The remedy is DISTINCT from the message, because `format.ts` drops the `Fix:`
+ * line when the two are equal — a defect this producer's rule-builder ancestor
+ * shipped with, found in review of plan 0089.
+ */
+export function expiredDeclarationViolation(facts, examined) {
+    const described = facts.describeRule();
+    const name = described.id || described.rule || facts.ruleClass.name;
+    const declaration = facts.emptyDeclarationAdvice();
+    const message = `${declaration} asserted this rule examines nothing, and it examined ${String(examined)} ${singularise(facts.examinedUnitNoun(), examined)}.`;
+    const suggestion = `Remove ${declaration} and let the rule enforce itself — the thing you were waiting for has ` +
+        `appeared, and the rule now has something to check. If instead the selection is wider than you ` +
+        `meant, narrow it and keep the declaration. ` +
+        `The rule's own violations are reported as separate findings under the same rule id. ` +
+        UNSUPPRESSABLE;
+    return {
+        rule: name,
+        ruleId: described.id,
+        // The DESCRIPTION, not the id — and this is the one place in this file
+        // where that differs on purpose.
+        //
+        // `dedupeConfigFindings` keys on `(file, ruleId ?? rule, element)`. With
+        // `file: ''` and the id in both remaining slots, every instance of a
+        // fanned-out preset id collapses to one and picks up `affectedNote`'s
+        // "this one option generated N rules that cannot enforce anything".
+        //
+        // For `zeroSubjectsViolation` that collapse is CORRECT: those N rules
+        // genuinely cannot enforce, and they are one edit. Here it is false — a
+        // rule whose declaration expired enforces fine, and its violations are
+        // reported alongside. Measured in review of plan 0089: 4 findings became 3,
+        // the survivor claiming two rules could not enforce while both their real
+        // violations sat below it. `RuleBuilder.describeRule()` returns the chain
+        // description, which differs per instance and keeps them distinct.
+        element: described.rule || name,
+        file: '',
+        line: 0,
+        message,
+        suggestion,
+        bypassFilters: true,
+    };
+}
+/**
+ * A dead glob's findings, **split by whether the builder might own the message**.
+ *
+ * `selector` and `discovery` are both faults (`isFaultPosition`), but the caller
+ * treats them differently: a dead selector short-circuits before the AST walk,
+ * while a dead discovery glob defers to whatever the builder produced. An
+ * `ArchViolation` carries no position, so the split happens here rather than
+ * being recovered by inspecting findings downstream.
+ */
+export function deadSelectorFindings(facts) {
+    // Annotated: inferred, this is `{ selector: never[]; discovery: never[] }`,
+    // and it is returned from four early-exit paths. Nothing mutates it today —
+    // but a `push` onto a `never[]` is a type error whose message points at the
+    // literal rather than at the caller that meant to add a finding.
+    const empty = {
+        selector: [],
+        discovery: [],
+    };
+    const project = facts.getProject();
+    if (project === undefined)
+        return empty;
+    // A condition that asserts CARDINALITY is satisfied by having no subjects,
+    // so an unsatisfiable selector is this rule working rather than failing —
+    // the pre-emptive guard `.should().notExist()` expresses. Declared by the
+    // condition, never probed: evaluating any condition against `[]` returns no
+    // violations, so probing answers "satisfied" for all of them.
+    if (facts.assertsCardinality())
+        return empty;
+    const trees = facts.globs();
+    if (trees.length === 0)
+        return empty;
+    // The project loaded nothing, so no glob can match and none of them is at
+    // fault — [ts-archunit bug 0048](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0048-the-dead-glob-gate-blames-the-glob-when-the-project-is-empty.md).
+    //
+    // Without this the gate reported every selector glob dead and told the
+    // reader to *"Correct the glob, or remove the rule"*, which is a remedy for
+    // a fault that is not theirs: measured on an empty tsconfig, the glob was
+    // correct and the tsconfig had loaded 0 files. `diagnose()` short-circuited
+    // here (bug 0031) and `SliceRuleBuilder` had its own branch; this gate had
+    // neither, so the wrong remedy sat on the path every `modules()`,
+    // `classes()`, `functions()` and `types()` rule takes.
+    //
+    // One finding for the project, not one per glob — the identity of this fault
+    // is the tsconfig, which is what ADR-009 rule 4 asks be named, and it is why
+    // `diagnose()` dedupes by project too.
+    if (loadedNothing(project))
+        return { selector: [emptyProjectViolation(facts, project)], discovery: [] };
+    return deadSitesIn(facts, trees, project);
+}
+/** The value behind `TerminalBuilder.zeroSubjectsAdvice()`. */
+export function zeroSubjectsAdviceOf(facts) {
+    const project = facts.getProject();
+    const loaded = project === undefined ? undefined : project.getSourceFiles().length;
+    // The project file count is CONTEXT in parentheses, never a denominator: the
+    // rule did not examine files, and "0 of 616" reads as a glob problem when the
+    // glob may already match everything.
+    const context = loaded === undefined
+        ? ''
+        : ` (the project loaded ${String(loaded)} file${loaded === 1 ? '' : 's'})`;
+    const counted = `This rule examined 0 ${facts.examinedUnitNoun()}${context}`;
+    // Name the excluder when the family knows it; name the POSSIBILITY when it
+    // does not. Deleting the possibility was a measured regression: 0.58's
+    // preview said "including any default it applies that you did not write",
+    // this plan called that hedging, and the replacement printed numbers that
+    // disclose no cause — net information loss on the commonest real case.
+    // "removed them" asserts there was something to remove. On a corpus that
+    // never contained a single unit of this family's kind, nothing was removed
+    // and the true cause is upstream — `narrowingHint()`'s own docstring promises
+    // the caller "names the possibility rather than asserting a cause it cannot
+    // verify", and asserting removal breaks that promise.
+    const hint = facts.narrowingHint();
+    const cause = hint === undefined
+        ? ' Its own narrowing may have removed them — including any default it applies that you did not write.'
+        : ` ${hint}`;
+    return (`${counted}, so it enforces nothing as written today.${cause} ` +
+        `Either close the gap — widen the selector, or add the code it is waiting for — or declare ` +
+        `the empty state with ${facts.emptyDeclarationAdvice()} — a declaration is an assertion, not ` +
+        `a silencer: it fails the day something does match.`);
+}
+/** The value behind `TerminalBuilder.zeroSubjectsViolation()`. */
+export function zeroSubjectsViolationOf(facts, project) {
+    // The precedence lives HERE, not only at the call site, because this
+    // producer's docstring declares "no empty project" as a precondition and an
+    // assumed precondition is one a second caller forgets.
+    //
+    // Measured: `rule-builder`'s `emptySelectionViolation` called this directly,
+    // and `deadSelectorFindings` only catches a rule that DECLARES a glob — so
+    // `functions(p).that().haveNameMatching(/x/)` over a zero-file project was
+    // told "widen it, or declare the empty state". Both remedies are impossible
+    // on that input, and the sentence stated the instrument-level fact and then
+    // gave selection-level advice contradicting it.
+    if (project !== undefined && loadedNothing(project)) {
+        return emptyProjectViolation(facts, project);
+    }
+    const described = facts.describeRule();
+    const name = described.id || described.rule || facts.ruleClass.name;
+    const advice = `${facts.zeroSubjectsAdvice()} ${UNSUPPRESSABLE} ${DECLARE_INSTEAD}`;
+    return {
+        rule: name,
+        ruleId: described.id,
+        element: name,
+        file: '',
+        line: 0,
+        message: advice,
+        // Its own remedy, never the author's (bug 0021).
+        suggestion: advice,
+        bypassFilters: true,
+    };
+}
+//# sourceMappingURL=vacuity-diagnosis.js.map

package/dist/core/vacuity-diagnosis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vacuity-diagnosis.js","sourceRoot":"","sources":["../../src/core/vacuity-diagnosis.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC5F,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE7E;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,IAAY,EAAE,CAAS;IAC1C,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACxB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AAChF,CAAC;AAED;;;;;;;GAOG;AACH,iFAAiF;AACjF,2EAA2E;AAC3E,mDAAmD;AACnD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GACzB,uGAAuG,CAAA;AAkBzG;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAgB;IACnD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAA;IACnE,2EAA2E;IAC3E,mEAAmE;IACnE,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,sBAAsB;IACtB,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,eAAe,EAAE,IAAI,cAAc,EAAE,CAAA;IAC7D,OAAO;QACL;YACE,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,SAAS,CAAC,EAAE;YACpB,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,MAAM;YACf,oEAAoE;YACpE,sEAAsE;YACtE,sEAAsE;YACtE,kEAAkE;YAClE,UAAU,EAAE,MAAM;YAClB,IAAI,EAAE,cAAc;YACpB,aAAa,EAAE,IAAI;YACnB,uEAAuE;YACvE,oEAAoE;YACpE,sEAAsE;YACtE,qEAAqE;YACrE,qEAAqE;YACrE,qEAAqE;YACrE,sEAAsE;SACvE;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAClB,KAAgB,EAChB,KAA0B,EAC1B,OAAoB;IAEpB,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IACtC,MAAM,QAAQ,GAAoB,EAAE,CAAA;IACpC,MAAM,SAAS,GAAoB,EAAE,CAAA;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,oEAAoE;QACpE,wEAAwE;QACxE,2BAA2B;QAC3B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,SAAQ;QAC7C,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,qEAAqE;YACrE,uEAAuE;YACvE,oEAAoE;YACpE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,SAAQ;YAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAAE,SAAQ;YACzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;YACrE,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW;gBAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;;gBACrD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAA;AAChC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,qBAAqB,CAC5B,KAAgB,EAChB,IAAc,EACd,QAAsB,EACtB,OAAoB;IAEpB,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAA;IACnE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IAChE,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;IACpE,iEAAiE;IACjE,EAAE;IACF,4EAA4E;IAC5E,+EAA+E;IAC/E,6EAA6E;IAC7E,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,+DAA+D;IAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAA;IACjD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAA;IACxD,MAAM,WAAW,GAAG,WAAW;QAC7B,CAAC,CAAC,kDAAkD;QACpD,CAAC,CAAC,uCAAuC,CAAA;IAC3C,MAAM,MAAM,GACV,eAAe,IAAI,IAAI,IAAI,CAAC,MAAM,6CAA6C;QAC/E,GAAG,WAAW,MAAM,KAAK,IAAI;QAC7B,yCAAyC,cAAc,EAAE,CAAA;IAC3D,OAAO;QACL,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,SAAS,CAAC,EAAE;QACpB,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,MAAM;QACf,uEAAuE;QACvE,0EAA0E;QAC1E,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAgB,EAChB,UAA2B,EAC3B,QAAgB;IAEhB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAC/D,sEAAsE;IACtE,wEAAwE;IACxE,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,EAAE;IACF,iEAAiE;IACjE,mEAAmE;IACnE,mEAAmE;IACnE,0EAA0E;IAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAA;IAClC,IAAI,OAAO,KAAK,SAAS,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,OAAO,CAAC,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAChD,CAAC;IACD,mEAAmE;IACnE,yEAAyE;IACzE,oEAAoE;IACpE,IAAI,KAAK,CAAC,kBAAkB,EAAE;QAAE,OAAO,UAAU,CAAA;IACjD,8DAA8D;IAC9D,uEAAuE;IACvE,wEAAwE;IACxE,2EAA2E;IAC3E,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE;QAAE,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAA;IACzE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,qBAAqB,CAAC,KAAgB,EAAE,OAAoB;IACnE,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAA;IACnE,+EAA+E;IAC/E,gFAAgF;IAChF,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,cAAc,EAAE,CAAA;IACvF,OAAO;QACL,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,SAAS,CAAC,EAAE;QACpB,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,MAAM;QACf,iDAAiD;QACjD,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAgB,EAAE,QAAgB;IAC5E,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAA;IACnE,MAAM,WAAW,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAA;IAClD,MAAM,OAAO,GAAG,GAAG,WAAW,yDAAyD,MAAM,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAA;IAC7J,MAAM,UAAU,GACd,UAAU,WAAW,wEAAwE;QAC7F,gGAAgG;QAChG,6CAA6C;QAC7C,sFAAsF;QACtF,cAAc,CAAA;IAChB,OAAO;QACL,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,SAAS,CAAC,EAAE;QACpB,uEAAuE;QACvE,iCAAiC;QACjC,EAAE;QACF,yEAAyE;QACzE,qEAAqE;QACrE,sEAAsE;QACtE,oEAAoE;QACpE,EAAE;QACF,sEAAsE;QACtE,wEAAwE;QACxE,uEAAuE;QACvE,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,mEAAmE;QACnE,OAAO,EAAE,SAAS,CAAC,IAAI,IAAI,IAAI;QAC/B,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO;QACP,UAAU;QACV,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAgB;IAInD,4EAA4E;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,KAAK,GAA8D;QACvE,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;KACd,CAAA;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAA;IAClC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACvC,2EAA2E;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,4EAA4E;IAC5E,8DAA8D;IAC9D,IAAI,KAAK,CAAC,kBAAkB,EAAE;QAAE,OAAO,KAAK,CAAA;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAA;IAC3B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEpC,0EAA0E;IAC1E,uKAAuK;IACvK,EAAE;IACF,uEAAuE;IACvE,4EAA4E;IAC5E,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,kEAAkE;IAClE,uDAAuD;IACvD,EAAE;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,uCAAuC;IACvC,IAAI,aAAa,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;IAE7E,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;AAC3C,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,oBAAoB,CAAC,KAAgB;IACnD,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAA;IAClC,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,MAAM,CAAA;IAClF,6EAA6E;IAC7E,8EAA8E;IAC9E,qCAAqC;IACrC,MAAM,OAAO,GACX,MAAM,KAAK,SAAS;QAClB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,wBAAwB,MAAM,CAAC,MAAM,CAAC,QAAQ,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAA;IAC9E,MAAM,OAAO,GAAG,wBAAwB,KAAK,CAAC,gBAAgB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC5E,2EAA2E;IAC3E,uEAAuE;IACvE,0EAA0E;IAC1E,0EAA0E;IAC1E,uEAAuE;IACvE,yEAAyE;IACzE,2EAA2E;IAC3E,8EAA8E;IAC9E,4EAA4E;IAC5E,sDAAsD;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,EAAE,CAAA;IAClC,MAAM,KAAK,GACT,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,qGAAqG;QACvG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAA;IAChB,OAAO,CACL,GAAG,OAAO,6CAA6C,KAAK,GAAG;QAC/D,4FAA4F;QAC5F,wBAAwB,KAAK,CAAC,sBAAsB,EAAE,wCAAwC;QAC9F,oDAAoD,CACrD,CAAA;AACH,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,uBAAuB,CACrC,KAAgB,EAChB,OAAgC;IAEhC,qEAAqE;IACrE,4EAA4E;IAC5E,uDAAuD;IACvD,EAAE;IACF,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,gDAAgD;IAChD,IAAI,OAAO,KAAK,SAAS,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,OAAO,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAC9C,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAA;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAA;IACnE,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,kBAAkB,EAAE,IAAI,cAAc,IAAI,eAAe,EAAE,CAAA;IACnF,OAAO;QACL,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,SAAS,CAAC,EAAE;QACpB,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,MAAM;QACf,iDAAiD;QACjD,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC"}

package/dist/core/violation.d.ts

@@ -1,19 +1,24 @@
 import { Node } from 'ts-morph';
-import { type ArchViolation } from '@nielspeter/eess';
-export type { ArchViolation };
+import type { ArchViolation } from '@nielspeter/eess';
+export declare function getElementName(node: Node): string;
 /**
- * Extract a human-readable name from a ts-morph Node.
+ * The structural name of the nearest ENCLOSING declaration — always an ancestor
+ * walk, never the node's own name.
  *
- * If the node itself is a named declaration (class, function, method, etc.),
- * returns its name directly. Otherwise, walks up the AST ancestors to find
- * the nearest named declaration and builds a qualified name like
- * "ClassName.methodName". This ensures that inner nodes (e.g., AsExpression,
- * CallExpression) produce meaningful element names for `.excluding()` matching.
+ * Split out of `getElementName`, which returns the node's own name when it has
+ * one and only walks ancestors otherwise. That difference is invisible until
+ * something needs "what encloses this?" rather than "what is this called?", and
+ * then it is a defect: a metric identity built on `getElementName` as if it were
+ * a scope left method-shorthand object-literal functions (`{ build() {} }`)
+ * unqualified, because a `MethodDeclaration` has its own name — so two factories
+ * each returning `{ build() {} }` shared one identity while the arrow spelling
+ * of the same code did not.
  *
- * Falls back to the node's kind name only if no named ancestor is found
- * (e.g., top-level expressions in a module).
+ * Returns `undefined` when no named declaration encloses the node, which is a
+ * real answer — a literal passed as a call argument at module level has no scope
+ * — and not a value to substitute a kind name for.
  */
-export declare function getElementName(node: Node): string;
+export declare function enclosingScopeName(node: Node): string | undefined;
 /**
  * Get the absolute file path for a ts-morph Node.
  */

package/dist/core/violation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"violation.d.ts","sourceRoot":"","sources":["../../src/core/violation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAKxE,YAAY,EAAE,aAAa,EAAE,CAAA;AAgE7B;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyBjD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAEjD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAEjD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,GACA,aAAa,CAef"}
+{"version":3,"file":"violation.d.ts","sourceRoot":"","sources":["../../src/core/violation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AA8ErD,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAIjD;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAsBjE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAEjD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAEjD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,GACA,aAAa,CAef"}

package/dist/core/violation.js

@@ -1,5 +1,17 @@
 import { Node } from 'ts-morph';
 import { generateCodeFrame } from '@nielspeter/eess';
+/**
+ * The ts-morph half of violation construction — plan 0165 Phase 2.
+ *
+ * Everything here takes a `Node`, which is why it cannot live in the kernel:
+ * `@nielspeter/eess` is engine-independent by charter (ADR-007), and the five
+ * dialects that sit on it have no AST in common. The pure half — the
+ * `ArchViolation` shape itself, `severityFor`, `remedyRepeatsMessage`,
+ * `byCodepoint`, `subjectOf` and the identity-collision machinery — is the
+ * kernel's, and there is now exactly ONE copy of it at runtime rather than two.
+ * Two copies is not a tidiness complaint: Phase 1 measured a comment-suppression
+ * registry written by one and read by the other.
+ */
 /**
  * Check if a node is a named declaration and return its name, or undefined.
  * Constructors return "constructor" since they have no getName().
@@ -55,22 +67,30 @@ function isTopLevelDeclaration(node) {
         Node.isEnumDeclaration(node) ||
         Node.isFunctionDeclaration(node));
 }
-/**
- * Extract a human-readable name from a ts-morph Node.
- *
- * If the node itself is a named declaration (class, function, method, etc.),
- * returns its name directly. Otherwise, walks up the AST ancestors to find
- * the nearest named declaration and builds a qualified name like
- * "ClassName.methodName". This ensures that inner nodes (e.g., AsExpression,
- * CallExpression) produce meaningful element names for `.excluding()` matching.
- *
- * Falls back to the node's kind name only if no named ancestor is found
- * (e.g., top-level expressions in a module).
- */
 export function getElementName(node) {
     const directName = getNodeName(node);
     if (directName !== undefined)
         return directName;
+    return enclosingScopeName(node) ?? node.getKindName();
+}
+/**
+ * The structural name of the nearest ENCLOSING declaration — always an ancestor
+ * walk, never the node's own name.
+ *
+ * Split out of `getElementName`, which returns the node's own name when it has
+ * one and only walks ancestors otherwise. That difference is invisible until
+ * something needs "what encloses this?" rather than "what is this called?", and
+ * then it is a defect: a metric identity built on `getElementName` as if it were
+ * a scope left method-shorthand object-literal functions (`{ build() {} }`)
+ * unqualified, because a `MethodDeclaration` has its own name — so two factories
+ * each returning `{ build() {} }` shared one identity while the arrow spelling
+ * of the same code did not.
+ *
+ * Returns `undefined` when no named declaration encloses the node, which is a
+ * real answer — a literal passed as a call argument at module level has no scope
+ * — and not a value to substitute a kind name for.
+ */
+export function enclosingScopeName(node) {
     // Walk up ancestors collecting structural names: method/constructor/accessor
     // at the member level, class/function at the top level. Skips variables,
     // properties, and expressions — those are implementation detail.
@@ -91,7 +111,7 @@ export function getElementName(node) {
         }
         current = current.getParent();
     }
-    return parts.length > 0 ? parts.join('.') : node.getKindName();
+    return parts.length > 0 ? parts.join('.') : undefined;
 }
 /**
  * Get the absolute file path for a ts-morph Node.

package/dist/core/violation.js.map

@@ -1 +1 @@
-{"version":3,"file":"violation.js","sourceRoot":"","sources":["../../src/core/violation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAE,iBAAiB,EAAsB,MAAM,kBAAkB,CAAA;AAOxE;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAA;IAC7D,IACE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAU;IACnC,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAA;IAC7D,IACE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,oEAAoE;IACpE,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAA;QAC/B,IAAI,MAAM,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,OAAO,MAAM,CAAC,OAAO,EAAE,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,IAAU;IACvC,OAAO,CACL,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CACjC,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,UAAU,CAAA;IAE/C,6EAA6E;IAC7E,yEAAyE;IACzE,iEAAiE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,OAAO,GAAqB,IAAI,CAAC,SAAS,EAAE,CAAA;IAChD,OAAO,OAAO,EAAE,CAAC;QACf,gDAAgD;QAChD,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YAC3C,MAAK;QACP,CAAC;QACD,6EAA6E;QAC7E,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAC3B,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE,CAAA;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;AAChE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAA;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAU,EACV,OAAe,EACf,OAMC;IAED,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IACjC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;IACrD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC;QAC1B,IAAI;QACJ,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC;KAC/C,CAAA;AACH,CAAC"}
+{"version":3,"file":"violation.js","sourceRoot":"","sources":["../../src/core/violation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAE/B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAEpD;;;;;;;;;;;GAWG;AAEH;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAA;IAC7D,IACE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAU;IACnC,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAA;IAC7D,IACE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,oEAAoE;IACpE,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAA;QAC/B,IAAI,MAAM,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,OAAO,MAAM,CAAC,OAAO,EAAE,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,IAAU;IACvC,OAAO,CACL,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CACjC,CAAA;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,UAAU,CAAA;IAC/C,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAA;AACvD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC3C,6EAA6E;IAC7E,yEAAyE;IACzE,iEAAiE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,OAAO,GAAqB,IAAI,CAAC,SAAS,EAAE,CAAA;IAChD,OAAO,OAAO,EAAE,CAAC;QACf,gDAAgD;QAChD,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YAC3C,MAAK;QACP,CAAC;QACD,6EAA6E;QAC7E,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAC3B,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE,CAAA;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAA;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAU,EACV,OAAe,EACf,OAMC;IAED,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IACjC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAA;IACrD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC;QAC1B,IAAI;QACJ,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC;KAC/C,CAAA;AACH,CAAC"}