@nielspeter/eess 0.2.2 → 0.4.0

package/dist/index.d.ts

@@ -3,10 +3,16 @@ export type { Condition, ConditionContext } from './condition.js';
 export { not, and, or } from './combinators.js';
 export type { Matcher } from './combinators.js';
 export type { ArchViolation, ArchFix } from './violation.js';
+export { byCodepoint, severityFor, remedyRepeatsMessage } from './violation.js';
 export { applyFixes } from './apply-fixes.js';
 export type { ApplyResult } from './apply-fixes.js';
+export { UNSUPPRESSABLE } from './unsuppressable.js';
 export { RuleBuilder } from './rule-builder.js';
 export { TerminalBuilder } from './terminal-builder.js';
+export type { CollectResult } from './terminal-builder.js';
+export { marksAssertsCardinality, assertsCardinality } from './cardinality.js';
+export { registerCacheReset, clearRegisteredCaches } from './cache-registry.js';
+export { selectionMemo } from './selection-memo.js';
 export { ArchRuleError } from './errors.js';
 export type { RuleMetadata } from './rule-metadata.js';
 export type { RuleDescription } from './rule-description.js';
@@ -19,8 +25,8 @@ export { formatViolationsGitHub } from './format-github.js';
 export type { CheckOptions, OutputFormat, BaselineFilter, DiffFilterLike } from './check-options.js';
 export { detectFormat, isCI } from './environment.js';
 export { definePredicate, defineCondition } from './define.js';
-export { dispatchRule, validateOverrides, throwIfViolations } from './preset-dispatch.js';
-export { reportViolations, finishPreset } from './report.js';
+export { dispatchRule, validateOverrides, throwIfViolations, presetConstructsNothingViolation, } from './preset-dispatch.js';
+export { reportViolations, finishPreset, violationsEmittedCount } from './report.js';
 export type { ReportMode, ReportOptions, PresetReportOptions } from './report.js';
 export type { RuleSeverity, PresetBaseOptions } from './preset-dispatch.js';
 export { matchSelections } from './matching.js';
@@ -30,13 +36,45 @@ export type { Selection, ElementInfo, Direction, RelationSpec, CorrespondenceOpt
 export { applyFilters } from './execute-rule.js';
 export { escapeGitHub } from './format-github.js';
 export { hashViolation } from './baseline.js';
+export { discoverIdentityRoot, normalizeIdentityText } from './identity-root.js';
+export { writeStderr } from './stderr.js';
 export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
 export { parseExclusionComments, isExcludedByComment } from './exclusion-comments.js';
 export type { ExclusionComment, ExclusionWarning, ParseResult } from './exclusion-comments.js';
-export { silent } from './silent-exclusion.js';
+export { silent, isSilent } from './silent-exclusion.js';
 export type { SilentExclusion } from './silent-exclusion.js';
 export { withBaseline, generateBaseline, Baseline } from './baseline.js';
 export type { BaselineEntry, BaselineFile } from './baseline.js';
 export { collectViolations } from './baseline-generator.js';
 export { diffAware, DiffFilter } from './diff-aware.js';
+export { recordEdgeCoverage, untestedRules, edgeCoverageNotice, resetEdgeCoverage, } from './edge-coverage.js';
+export type { UntestedReason, EdgeCoverage } from './edge-coverage.js';
+export type { GlobKind, GlobPosition, GlobBase, DeclaredGlob, GlobSite, OpaqueGlob, GlobLeaf, GlobTree, DeclaredGlobs, GlobNode, } from './glob-site.js';
+export { isFaultPosition, countDeclaredGlobs, isGlobNode, isOpaqueGlob, globAnyOf, globNode, stampGlobs, negateGlobs, combineGlobs, } from './glob-site.js';
+export type { PathUniverse } from './path-universe.js';
+export { viewsFor } from './path-universe.js';
+export type { OnDisk, DiskSet } from './disk-set.js';
+export { isAnchored, isProjectRelative } from './project-relative.js';
+export { isRecord, isNullaryCallable } from './type-guards.js';
+export { shallowClone } from './shallow-clone.js';
+export { suppressionNotice, activeNotice, resetDiffDisclosureForTests } from './diff-disclosure.js';
+export { resetCommentSuppression, recordCommentSuppression, commentSuppressions, commentSuppressionNotice, } from './comment-suppression.js';
+export { dedupeConfigFindings } from './dedupe-config-findings.js';
+export { assertionLessViolation } from './terminal-builder.js';
+export { toPortablePath } from './identity-root.js';
+export type { Describable } from './rule-description.js';
+export { isDescribable } from './rule-description.js';
+export { resetStderrGuardForTests } from './stderr.js';
+export { DECLARE_INSTEAD } from './unsuppressable.js';
+export { UNSUPPRESSABLE_MECHANISMS } from './unsuppressable.js';
+export { subjectOf } from './violation.js';
+export { identityCollisions } from './violation.js';
+export { resetIdentityCollisions } from './violation.js';
+export { disambiguateIdentities } from './violation.js';
+export { isArchRuleError } from './errors.js';
+export type { ArchJsonViolation, ArchJsonSuppression, ArchJsonUntestedAllowlist, ArchJsonReport, } from './format-json.js';
+export type { CorrespondenceResult } from './correspondence-core.js';
+export { setCorrespondence } from './correspondence-core.js';
+export { marksOwnEmptyDiscovery, ownsEmptyDiscovery } from './owns-empty-discovery.js';
+export type { RuleBuilderLike } from './rule-builder-like.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAC/C,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAG/C,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACrE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAG3D,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACpG,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAGrD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAG9D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACzF,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC5D,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAG3E,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAGpE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3E,YAAY,EACV,SAAS,EACT,WAAW,EACX,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,KAAK,GACN,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAG9D,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC9F,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAC9C,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAC/C,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAG/C,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAGpD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,YAAY,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAC9E,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACrE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAG3D,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACpG,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAGrD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAG9D,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,gCAAgC,GACjC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpF,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAG3E,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAGpE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3E,YAAY,EACV,SAAS,EACT,WAAW,EACX,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,KAAK,GACN,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAChF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAG9D,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC9F,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACxD,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAGvD,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAMtE,YAAY,EACV,QAAQ,EACR,YAAY,EACZ,QAAQ,EACR,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,GACT,MAAM,gBAAgB,CAAA;AACvB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,EACX,YAAY,GACb,MAAM,gBAAgB,CAAA;AACvB,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAC7C,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACpD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAA;AACnG,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,YAAY,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,cAAc,GACf,MAAM,kBAAkB,CAAA;AACzB,YAAY,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAA;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AACtF,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA"}

package/dist/index.js

@@ -5,10 +5,15 @@
 // defineCondition extension points. Nothing here depends on ts-morph or any
 // dialect-specific parser.
 export { not, and, or } from './combinators.js';
+export { byCodepoint, severityFor, remedyRepeatsMessage } from './violation.js';
 export { applyFixes } from './apply-fixes.js';
+export { UNSUPPRESSABLE } from './unsuppressable.js';
 // Rule builder, terminal builder, error
 export { RuleBuilder } from './rule-builder.js';
 export { TerminalBuilder } from './terminal-builder.js';
+export { marksAssertsCardinality, assertsCardinality } from './cardinality.js';
+export { registerCacheReset, clearRegisteredCaches } from './cache-registry.js';
+export { selectionMemo } from './selection-memo.js';
 export { ArchRuleError } from './errors.js';
 // Code frame & formatting
 export { generateCodeFrame } from './code-frame.js';
@@ -19,8 +24,8 @@ export { detectFormat, isCI } from './environment.js';
 // Custom predicate/condition factories
 export { definePredicate, defineCondition } from './define.js';
 // Preset dispatch — generic per-rule severity/override infrastructure for presets
-export { dispatchRule, validateOverrides, throwIfViolations } from './preset-dispatch.js';
-export { reportViolations, finishPreset } from './report.js';
+export { dispatchRule, validateOverrides, throwIfViolations, presetConstructsNothingViolation, } from './preset-dispatch.js';
+export { reportViolations, finishPreset, violationsEmittedCount } from './report.js';
 // Matching engine — shared by correspondence() and eess-ts's crossLayer
 export { matchSelections } from './matching.js';
 // Cross-validation — bind two element Selections and assert they correspond
@@ -29,12 +34,37 @@ export { correspondence, CorrespondenceBuilder } from './correspondence.js';
 export { applyFilters } from './execute-rule.js';
 export { escapeGitHub } from './format-github.js';
 export { hashViolation } from './baseline.js';
+export { discoverIdentityRoot, normalizeIdentityText } from './identity-root.js';
+export { writeStderr } from './stderr.js';
 export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
 // Exclusions
 export { parseExclusionComments, isExcludedByComment } from './exclusion-comments.js';
-export { silent } from './silent-exclusion.js';
+export { silent, isSilent } from './silent-exclusion.js';
 // Baseline & diff-aware
 export { withBaseline, generateBaseline, Baseline } from './baseline.js';
 export { collectViolations } from './baseline-generator.js';
 export { diffAware, DiffFilter } from './diff-aware.js';
+// Edge coverage — allowlist conditions disclose when they tested nothing
+export { recordEdgeCoverage, untestedRules, edgeCoverageNotice, resetEdgeCoverage, } from './edge-coverage.js';
+export { isFaultPosition, countDeclaredGlobs, isGlobNode, isOpaqueGlob, globAnyOf, globNode, stampGlobs, negateGlobs, combineGlobs, } from './glob-site.js';
+export { viewsFor } from './path-universe.js';
+export { isAnchored, isProjectRelative } from './project-relative.js';
+export { isRecord, isNullaryCallable } from './type-guards.js';
+export { shallowClone } from './shallow-clone.js';
+export { suppressionNotice, activeNotice, resetDiffDisclosureForTests } from './diff-disclosure.js';
+export { resetCommentSuppression, recordCommentSuppression, commentSuppressions, commentSuppressionNotice, } from './comment-suppression.js';
+export { dedupeConfigFindings } from './dedupe-config-findings.js';
+export { assertionLessViolation } from './terminal-builder.js';
+export { toPortablePath } from './identity-root.js';
+export { isDescribable } from './rule-description.js';
+export { resetStderrGuardForTests } from './stderr.js';
+export { DECLARE_INSTEAD } from './unsuppressable.js';
+export { UNSUPPRESSABLE_MECHANISMS } from './unsuppressable.js';
+export { subjectOf } from './violation.js';
+export { identityCollisions } from './violation.js';
+export { resetIdentityCollisions } from './violation.js';
+export { disambiguateIdentities } from './violation.js';
+export { isArchRuleError } from './errors.js';
+export { setCorrespondence } from './correspondence-core.js';
+export { marksOwnEmptyDiscovery, ownsEmptyDiscovery } from './owns-empty-discovery.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,2BAA2B;AAK3B,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAK/C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,wCAAwC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAI3C,0BAA0B;AAC1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAEnD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AAErE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAI3D,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAErD,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE9D,kFAAkF;AAClF,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACzF,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAI5D,wEAAwE;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAG/C,4EAA4E;AAC5E,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAU3E,6EAA6E;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAE9D,aAAa;AACb,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAErF,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAG9C,wBAAwB;AACxB,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,2BAA2B;AAK3B,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAK/C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEpD,wCAAwC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAC9E,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAI3C,0BAA0B;AAC1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAEnD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AAErE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAI3D,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAErD,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE9D,kFAAkF;AAClF,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,gCAAgC,GACjC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAIpF,wEAAwE;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAG/C,4EAA4E;AAC5E,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAU3E,6EAA6E;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAChF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAE9D,aAAa;AACb,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAErF,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAGxD,wBAAwB;AACxB,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEvD,yEAAyE;AACzE,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,oBAAoB,CAAA;AAmB3B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,EACX,YAAY,GACb,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAE7C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAA;AACnG,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAEnD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAQ7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA"}

package/dist/owns-empty-discovery.d.ts

@@ -0,0 +1,5 @@
+/** Declare that this condition reports an empty discovery population itself. */
+export declare function marksOwnEmptyDiscovery<T extends object>(condition: T): T;
+/** Does this condition report an empty discovery population itself? */
+export declare function ownsEmptyDiscovery(condition: object): boolean;
+//# sourceMappingURL=owns-empty-discovery.d.ts.map

package/dist/owns-empty-discovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"owns-empty-discovery.d.ts","sourceRoot":"","sources":["../src/owns-empty-discovery.ts"],"names":[],"mappings":"AA4DA,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAGxE;AAED,uEAAuE;AACvE,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D"}

package/dist/owns-empty-discovery.js

@@ -0,0 +1,77 @@
+/**
+ * A condition that diagnoses its own empty discovery population.
+ *
+ * [ts-archunit Plan 0081](https://github.com/nielspeter/ts-archunit/blob/main/plans/completed/0081-a-condition-declares-discovery-ownership.md). The
+ * dead-glob gate can see that a `.layer()` or `.inFolder()` glob matched nothing,
+ * but it short-circuits **before** the condition runs, so where a condition
+ * produces a better finding — one that names the dead layer, with a remedy
+ * pointing at the call the reader must edit — the gate would replace it with a
+ * generic message. This symbol is how a condition says "leave it to me".
+ *
+ * ## Why per condition, and not per builder
+ *
+ * It was per builder, and the granularity was load-bearing rather than cosmetic.
+ * At v0.45.0 `PairFinalBuilder` returned `true` unconditionally while its own
+ * docstring claimed *"All three now produce a finding naming the layer"* — and
+ * that claim was false: `haveMatchingCounterpart` checked for empty layers inside
+ * its pair loop, so a dead **final** layer produced no configuration finding at
+ * all. The coarse declaration suppressed the gate for exactly the case its
+ * declared owner did not handle, and the result was silence where the truth was
+ * one dead glob
+ * ([ts-archunit bug 0040](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0040-a-crosslayer-rule-reports-nothing-when-its-layer-resolves-nothing.md)).
+ *
+ * v0.45.1 fixed the condition, so the blanket claim became true again. It would
+ * have gone false again the moment a fourth condition reached that builder,
+ * because nothing forced the new condition to say anything. Now the claim is not
+ * a claim: the builder reads the tag off the condition it was given.
+ *
+ * **An untagged condition does not own it, so the gate covers it.** That default
+ * is the load-bearing half — under it, v0.45.0's hole would have degraded to a
+ * generic message rather than silence, and a generic message is recoverable. An
+ * agent reading "this glob matched nothing" fixes the glob; silence sends it to
+ * write files into a layer that will never match.
+ *
+ * ## Unreachable by construction — a registry, not a property
+ *
+ * The first version was a `unique symbol` keyed onto the condition object, copying
+ * `ASSERTS_CARDINALITY`. Review broke it in two lines:
+ *
+ * ```ts
+ * const stolen = Object.getOwnPropertySymbols(haveMatchingCounterpart())[0]
+ * const mine: PairCondition = { description: 'x', evaluate: () => [], [stolen]: true }
+ * ```
+ *
+ * Measured: **0 configuration findings** on a dead layer. `PairCondition` is a
+ * public type and all three condition factories are public exports, so the symbol
+ * was readable off any shipped condition — the one-line silent opt-out this file
+ * claimed could not exist, reachable through documented API.
+ *
+ * The `ASSERTS_CARDINALITY` precedent is stronger than the copy was, and that is
+ * why copying it was not enough: `defineCondition` is its *sanctioned constructor*,
+ * and a test asserts that constructor emits no own symbols. `PairCondition` has no
+ * sanctioned constructor, so there is nothing to make the analogous guarantee.
+ *
+ * A module-level `WeakSet` has no such hole. Membership is not a property of the
+ * object, so it cannot be read off one, copied, or forged — a caller would need
+ * this module's binding, and it is not exported. `WeakSet` rather than `Set` so a
+ * condition is not retained after its rule is discarded.
+ */
+const OWNERS = new WeakSet();
+/** Declare that this condition reports an empty discovery population itself. */
+export function marksOwnEmptyDiscovery(condition) {
+    OWNERS.add(condition);
+    return condition;
+}
+/** Does this condition report an empty discovery population itself? */
+export function ownsEmptyDiscovery(condition) {
+    return OWNERS.has(condition);
+}
+/*
+ * Not every builder needs this. `SliceRuleBuilder` declares ownership at the
+ * BUILDER level and correctly so: its reason — `assignedFrom` fanning out one glob
+ * tree per entry, where a single dead entry among populated siblings is a
+ * legitimate project shape — is identical for every condition reachable through
+ * it. Registry membership is for the case where ownership varies by condition,
+ * which is what made a blanket declaration wrong for cross-layer.
+ */
+//# sourceMappingURL=owns-empty-discovery.js.map

package/dist/owns-empty-discovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owns-empty-discovery.js","sourceRoot":"","sources":["../src/owns-empty-discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,MAAM,MAAM,GAAG,IAAI,OAAO,EAAU,CAAA;AAEpC,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAmB,SAAY;IACnE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACrB,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG"}

package/dist/path-universe.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Every path a glob could legitimately match in a project — the shape of the
+ * data, not how to build it.
+ *
+ * `PathUniverse` and `viewsFor` are pure: given the materialized string
+ * arrays, they need no `ArchProject`/ts-morph and stay in the kernel. Only
+ * the MATERIALIZER — walking a real project's source files into this shape —
+ * needs the dialect's own project type, and lives in that dialect (e.g.
+ * `packages/ts/src/core/path-universe.ts`'s `pathUniverse()`).
+ */
+export interface PathUniverse {
+    /** Absolute paths of every file in the project. */
+    readonly filePaths: readonly string[];
+    /**
+     * Immediate parent directories only.
+     *
+     * Not all ancestors. A directory-matching predicate typically tests
+     * `filePath.substring(0, filePath.lastIndexOf('/'))` — the immediate
+     * parent and nothing else — so an all-ancestors set is not a harmless
+     * over-approximation, it is a false green: many ancestors are no file's
+     * direct parent, so a glob naming one of those can never select anything
+     * while an all-ancestors universe would call it satisfiable.
+     */
+    readonly parentDirs: readonly string[];
+    /** `filePaths` relative to the tsconfig directory, for message wording. */
+    readonly tsconfigRelativeFilePaths: readonly string[];
+    /** `parentDirs` relative to the tsconfig directory, for message wording. */
+    readonly tsconfigRelativeParentDirs: readonly string[];
+}
+/**
+ * The views a glob of this kind is matched against.
+ *
+ * Satisfiability is taken against the **union** — a glob is unsatisfiable
+ * only when nothing in any view matches it. That is deliberately generous,
+ * so that a wrong `base` cannot make a glob look unmatched by accident. It
+ * does NOT make `base` message-only: the anchor check in `syntacticFault`
+ * consults it directly, and an unanchored `base: 'absolute'` glob is dead
+ * regardless of what any view holds — see `GlobBase`.
+ *
+ * `import-target`, `specifier` and `literal` are not path kinds and have no
+ * views, so they can never be found unsatisfiable here.
+ */
+export declare function viewsFor(universe: PathUniverse, kind: 'file-path' | 'parent-dir' | 'import-target' | 'specifier' | 'literal'): readonly (readonly string[])[];
+//# sourceMappingURL=path-universe.d.ts.map

package/dist/path-universe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-universe.d.ts","sourceRoot":"","sources":["../src/path-universe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;IACrC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IACtC,2EAA2E;IAC3E,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAA;IACrD,4EAA4E;IAC5E,QAAQ,CAAC,0BAA0B,EAAE,SAAS,MAAM,EAAE,CAAA;CACvD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,YAAY,EACtB,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,eAAe,GAAG,WAAW,GAAG,SAAS,GAC3E,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAIhC"}

package/dist/path-universe.js

@@ -0,0 +1,21 @@
+/**
+ * The views a glob of this kind is matched against.
+ *
+ * Satisfiability is taken against the **union** — a glob is unsatisfiable
+ * only when nothing in any view matches it. That is deliberately generous,
+ * so that a wrong `base` cannot make a glob look unmatched by accident. It
+ * does NOT make `base` message-only: the anchor check in `syntacticFault`
+ * consults it directly, and an unanchored `base: 'absolute'` glob is dead
+ * regardless of what any view holds — see `GlobBase`.
+ *
+ * `import-target`, `specifier` and `literal` are not path kinds and have no
+ * views, so they can never be found unsatisfiable here.
+ */
+export function viewsFor(universe, kind) {
+    if (kind === 'file-path')
+        return [universe.filePaths, universe.tsconfigRelativeFilePaths];
+    if (kind === 'parent-dir')
+        return [universe.parentDirs, universe.tsconfigRelativeParentDirs];
+    return [];
+}
+//# sourceMappingURL=path-universe.js.map

package/dist/path-universe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-universe.js","sourceRoot":"","sources":["../src/path-universe.ts"],"names":[],"mappings":"AA8BA;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CACtB,QAAsB,EACtB,IAA4E;IAE5E,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,yBAAyB,CAAC,CAAA;IACzF,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,0BAA0B,CAAC,CAAA;IAC5F,OAAO,EAAE,CAAA;AACX,CAAC"}

package/dist/predicate.d.ts

@@ -1,3 +1,4 @@
+import type { DeclaredGlobs } from './glob-site.js';
 /**
  * A predicate that tests whether an architectural element matches a condition.
  * Used in `.that()` clauses to filter elements before rule evaluation.
@@ -7,5 +8,37 @@ export interface Predicate<T> {
     readonly description: string;
     /** Returns true if the element matches this predicate. */
     test(element: T): boolean;
+    /**
+     * The path globs this predicate matches against, if any.
+     *
+     * Declaring them lets the builder answer "can this rule ever have subjects?"
+     * without running it (plan 0069). Optional: a predicate that matches on
+     * something other than a path — a name, a decorator, a type — declares
+     * nothing and is treated as opaque, which is never a fault.
+     *
+     * Leaves are `DeclaredGlob`, so a predicate cannot claim a `position`; the
+     * builder stamps that on according to where the predicate was registered.
+     */
+    readonly globs?: DeclaredGlobs;
+    /**
+     * What to call this predicate's globs in a **configuration finding**, when
+     * the call the user made is not the call the predicate makes.
+     *
+     * Plan 0074, the second consequence of 0069's appendix item 4: presets must
+     * thread the option name into the site's origin (`shared: "…"`, not
+     * `resideInFolder("…")`), or the message names a call the user never made.
+     *
+     * A preset option is one name that expands to several predicates —
+     * `shared: ['…']` becomes `atPath()`, which is `or(resideInFile,
+     * resideInFolder)`. Measured before this existed, the finding read "This
+     * rule's selector reside in file matching … or reside in folder matching …
+     * can never match anything", naming two calls the author never wrote and
+     * omitting the option they did.
+     *
+     * Deliberately **not** `description`, which is overloaded: that renders the
+     * human-readable rule text, and rewriting it would change every violation
+     * message the preset produces, not just the configuration finding.
+     */
+    readonly originLabel?: string;
 }
 //# sourceMappingURL=predicate.d.ts.map

package/dist/predicate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,0DAA0D;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAA;CAC1B"}
+{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,0DAA0D;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAA;IACzB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;IAE9B;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B"}

package/dist/preset-dispatch.d.ts

@@ -36,6 +36,25 @@ export declare function dispatchRule(builder: Dispatchable, rule: string | (Rule
  * (likely typos).
  */
 export declare function validateOverrides(overrides: Record<string, RuleSeverity> | undefined, knownIds: string[]): void;
+/**
+ * A configuration finding for a preset call that constructed **zero** rules —
+ * every optional capability was left off, or a required discovery pattern
+ * (a folder glob, a repositories glob) matched nothing, so the call checked
+ * nothing and would otherwise pass silently. The vacuity matrix
+ * (`scripts/vacuity-matrix.mjs`) is what proves a preset needs this: it
+ * probes every published preset at its minimal type-correct call, and a
+ * preset reaching `fail-open` there is exactly this shape.
+ *
+ * Unsuppressable (ADR-010) for the same reason a zero-examined rule is: the
+ * caller's mistake is in how the preset was configured, not in the code the
+ * preset would have checked, and `.excluding()`/a baseline/`--changed` all
+ * aim at the latter.
+ *
+ * @param presetName - The preset's own name, e.g. `'agentGuardrails'`.
+ * @param optionsHint - The option names that would enable a rule, for the
+ *   remedy — e.g. `'noGenericErrors, noStubs, noEmptyBodies'`.
+ */
+export declare function presetConstructsNothingViolation(presetName: string, optionsHint: string): ArchViolation;
 /**
  * Emit (stderr text) and throw a single `ArchRuleError` with all aggregated
  * violations, if any. Kept for backward compatibility; it is now `finishPreset`

package/dist/preset-dispatch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"preset-dispatch.d.ts","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEpE,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAA;AAEnD;;;;GAIG;AACH,MAAM,WAAW,iBAAkB,SAAQ,mBAAmB;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACzC;AAED;;;GAGG;AACH,UAAU,YAAY;IACpB,IAAI,CAAC,CAAC,EAAE,YAAY,GAAG;QAAE,UAAU,IAAI,aAAa,EAAE,CAAA;KAAE,CAAA;IACxD,UAAU,IAAI,aAAa,EAAE,CAAA;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,CAAC,YAAY,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,EAC9C,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,GAClD,aAAa,EAAE,CAmBjB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,EACnD,QAAQ,EAAE,MAAM,EAAE,GACjB,IAAI,CAWN;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,CAEnE"}
+{"version":3,"file":"preset-dispatch.d.ts","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAIpE,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAA;AAEnD;;;;GAIG;AACH,MAAM,WAAW,iBAAkB,SAAQ,mBAAmB;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACzC;AAED;;;GAGG;AACH,UAAU,YAAY;IACpB,IAAI,CAAC,CAAC,EAAE,YAAY,GAAG;QAAE,UAAU,IAAI,aAAa,EAAE,CAAA;KAAE,CAAA;IACxD,UAAU,IAAI,aAAa,EAAE,CAAA;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,CAAC,YAAY,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,EAC9C,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,GAClD,aAAa,EAAE,CAwBjB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,EACnD,QAAQ,EAAE,MAAM,EAAE,GACjB,IAAI,CAWN;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gCAAgC,CAC9C,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GAClB,aAAa,CAcf;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,CAEnE"}

package/dist/preset-dispatch.js

@@ -1,5 +1,8 @@
+import { severityFor } from './violation.js';
 import { formatViolations } from './format.js';
 import { finishPreset } from './report.js';
+import { writeStderr } from './stderr.js';
+import { UNSUPPRESSABLE } from './unsuppressable.js';
 /**
  * Dispatch a single rule within a preset.
  *
@@ -19,9 +22,14 @@ export function dispatchRule(builder, rule, defaultSeverity, overrides) {
     const violations = builder.rule(meta).violations();
     if (effective === 'warn') {
         if (violations.length > 0) {
-            console.warn(formatViolations(violations));
+            writeStderr(formatViolations(violations));
         }
-        return [];
+        // `bypassFilters` outranks a per-rule `overrides: { id: 'warn' }` — see
+        // `severityFor`. A config finding like `presetConstructsNothingViolation`
+        // is `UNSUPPRESSABLE` by its own text; silently dropping it here just
+        // because its OWN rule was downgraded is exactly the suppression path
+        // that text promises does not exist.
+        return violations.filter((v) => severityFor(v, 'warn') === 'error');
     }
     return violations;
 }
@@ -35,11 +43,43 @@ export function validateOverrides(overrides, knownIds) {
     const knownSet = new Set(knownIds);
     for (const key of Object.keys(overrides)) {
         if (!knownSet.has(key)) {
-            console.warn(`[eess] Override key '${key}' does not match any rule in this preset. ` +
+            writeStderr(`[eess] Override key '${key}' does not match any rule in this preset. ` +
                 `Available rules: ${knownIds.join(', ')}`);
         }
     }
 }
+/**
+ * A configuration finding for a preset call that constructed **zero** rules —
+ * every optional capability was left off, or a required discovery pattern
+ * (a folder glob, a repositories glob) matched nothing, so the call checked
+ * nothing and would otherwise pass silently. The vacuity matrix
+ * (`scripts/vacuity-matrix.mjs`) is what proves a preset needs this: it
+ * probes every published preset at its minimal type-correct call, and a
+ * preset reaching `fail-open` there is exactly this shape.
+ *
+ * Unsuppressable (ADR-010) for the same reason a zero-examined rule is: the
+ * caller's mistake is in how the preset was configured, not in the code the
+ * preset would have checked, and `.excluding()`/a baseline/`--changed` all
+ * aim at the latter.
+ *
+ * @param presetName - The preset's own name, e.g. `'agentGuardrails'`.
+ * @param optionsHint - The option names that would enable a rule, for the
+ *   remedy — e.g. `'noGenericErrors, noStubs, noEmptyBodies'`.
+ */
+export function presetConstructsNothingViolation(presetName, optionsHint) {
+    const message = `${presetName}(...) constructed zero rules at this call — no capability of this ` +
+        `preset was enabled, or a discovery pattern matched nothing, so it checks nothing ` +
+        `and passes silently. Enable at least one option (${optionsHint}), or remove the call.`;
+    return {
+        rule: presetName,
+        element: presetName,
+        file: '',
+        line: 0,
+        message,
+        suggestion: `${message} ${UNSUPPRESSABLE}`,
+        bypassFilters: true,
+    };
+}
 /**
  * Emit (stderr text) and throw a single `ArchRuleError` with all aggregated
  * violations, if any. Kept for backward compatibility; it is now `finishPreset`

package/dist/preset-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"preset-dispatch.js","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,YAAY,EAA4B,MAAM,aAAa,CAAA;AAuBpE;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAqB,EACrB,IAA8C,EAC9C,eAA6B,EAC7B,SAAmD;IAEnD,8EAA8E;IAC9E,gFAAgF;IAChF,6EAA6E;IAC7E,2BAA2B;IAC3B,MAAM,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IAC3D,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,eAAe,CAAA;IACzD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,EAAE,CAAA;IAElC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAElD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAA;QAC5C,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAmD,EACnD,QAAkB;IAElB,IAAI,CAAC,SAAS;QAAE,OAAM;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,IAAI,CACV,wBAAwB,GAAG,4CAA4C;gBACrE,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5C,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA2B;IAC3D,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;AAC/C,CAAC"}
+{"version":3,"file":"preset-dispatch.js","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,YAAY,EAA4B,MAAM,aAAa,CAAA;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAuBpD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAqB,EACrB,IAA8C,EAC9C,eAA6B,EAC7B,SAAmD;IAEnD,8EAA8E;IAC9E,gFAAgF;IAChF,6EAA6E;IAC7E,2BAA2B;IAC3B,MAAM,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IAC3D,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,eAAe,CAAA;IACzD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,EAAE,CAAA;IAElC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAElD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,wEAAwE;QACxE,0EAA0E;QAC1E,sEAAsE;QACtE,sEAAsE;QACtE,qCAAqC;QACrC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,CAAA;IACrE,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAmD,EACnD,QAAkB;IAElB,IAAI,CAAC,SAAS;QAAE,OAAM;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,WAAW,CACT,wBAAwB,GAAG,4CAA4C;gBACrE,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5C,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gCAAgC,CAC9C,UAAkB,EAClB,WAAmB;IAEnB,MAAM,OAAO,GACX,GAAG,UAAU,oEAAoE;QACjF,mFAAmF;QACnF,oDAAoD,WAAW,wBAAwB,CAAA;IACzF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,UAAU;QACnB,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO;QACP,UAAU,EAAE,GAAG,OAAO,IAAI,cAAc,EAAE;QAC1C,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA2B;IAC3D,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;AAC/C,CAAC"}

package/dist/project-relative.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Whether a glob can already match an absolute path.
+ *
+ * Extracted from ts-archunit's larger `project-relative.ts`, most of which
+ * (`rootOf`/`relativeToRoot`, workspace multi-root awareness) needs
+ * `ArchProject`/ts-morph and stays deferred — this one predicate is pure
+ * string syntax with no dependency on either, and `glob-diagnosis.ts` needs
+ * it to be kernel-eligible at all, so it gets its own small home here rather
+ * than waiting on the ts-morph-blocked half of the file it came from.
+ *
+ * Covers POSIX-absolute and Windows drive-absolute globs as well as an
+ * explicit globstar.
+ */
+export declare function isAnchored(glob: string): boolean;
+/**
+ * Does this glob name a location relative to the project root?
+ *
+ * Only an **unanchored, relative** glob is normalized. `'**\/x'` is explicitly
+ * "anywhere" and must keep meaning that; `'/abs/x'` is already absolute. So
+ * this is the same population `syntacticFault` calls `unanchored`, which is
+ * what makes the two consistent: a glob stops being reported dead for being
+ * unanchored exactly when it starts working.
+ */
+export declare function isProjectRelative(glob: string): boolean;
+//# sourceMappingURL=project-relative.d.ts.map

package/dist/project-relative.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-relative.d.ts","sourceRoot":"","sources":["../src/project-relative.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEhD;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAyBvD"}

package/dist/project-relative.js

@@ -0,0 +1,54 @@
+/**
+ * Whether a glob can already match an absolute path.
+ *
+ * Extracted from ts-archunit's larger `project-relative.ts`, most of which
+ * (`rootOf`/`relativeToRoot`, workspace multi-root awareness) needs
+ * `ArchProject`/ts-morph and stays deferred — this one predicate is pure
+ * string syntax with no dependency on either, and `glob-diagnosis.ts` needs
+ * it to be kernel-eligible at all, so it gets its own small home here rather
+ * than waiting on the ts-morph-blocked half of the file it came from.
+ *
+ * Covers POSIX-absolute and Windows drive-absolute globs as well as an
+ * explicit globstar.
+ */
+export function isAnchored(glob) {
+    return glob.startsWith('**/') || glob.startsWith('/') || /^[A-Za-z]:\//.test(glob);
+}
+/**
+ * Does this glob name a location relative to the project root?
+ *
+ * Only an **unanchored, relative** glob is normalized. `'**\/x'` is explicitly
+ * "anywhere" and must keep meaning that; `'/abs/x'` is already absolute. So
+ * this is the same population `syntacticFault` calls `unanchored`, which is
+ * what makes the two consistent: a glob stops being reported dead for being
+ * unanchored exactly when it starts working.
+ */
+export function isProjectRelative(glob) {
+    // A `./` segment is excluded, and that exclusion is load-bearing rather than
+    // fussy. `syntacticFault` reports `dot-segment` for a `./` anywhere in a
+    // glob, so normalizing one would make the rule MATCH at runtime while the
+    // gate still reported it dead — two derivations disagreeing about the same
+    // glob, which is the failure this project spends most of its guards on.
+    //
+    // `./` is a mistake in both worlds — it never occurs in an absolute path and
+    // it says nothing extra in a relative one — so the honest fix is to leave it
+    // failing, with advice that says to remove it.
+    // `..` is not relative-to-the-root in any usable sense: containment returns
+    // `undefined` for anything above the root, deliberately, so a `../`
+    // glob would normalize to nothing and be reported dead with three false
+    // causes. Excluded alongside `./` — both are mistakes in both readings.
+    if (/(?:^|\/)\.\.?\//.test(glob))
+        return false;
+    // Derived from `isAnchored`, not restated — two lists that disagree is the
+    // failure this file spends most of its guards on. `isAnchored` covers `/x`,
+    // `**/x` and a drive-absolute `C:/x`.
+    if (isAnchored(glob))
+        return false;
+    // `*/x/**` is deliberately NOT normalized, even though it is unanchored.
+    // Normalizing it would make it match, which sounds like an improvement until
+    // you notice it is the LAST reachable `unanchored` fault for a path glob —
+    // the anchor advice would become unreachable. Left failing, with a remedy
+    // that works: `'**/x/**'`.
+    return !glob.startsWith('*/');
+}
+//# sourceMappingURL=project-relative.js.map

package/dist/project-relative.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-relative.js","sourceRoot":"","sources":["../src/project-relative.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACpF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,6EAA6E;IAC7E,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,EAAE;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,+CAA+C;IAC/C,4EAA4E;IAC5E,oEAAoE;IACpE,wEAAwE;IACxE,wEAAwE;IACxE,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC9C,2EAA2E;IAC3E,4EAA4E;IAC5E,sCAAsC;IACtC,IAAI,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAClC,yEAAyE;IACzE,6EAA6E;IAC7E,2EAA2E;IAC3E,0EAA0E;IAC1E,2BAA2B;IAC3B,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;AAC/B,CAAC"}

package/dist/report.d.ts

@@ -20,12 +20,18 @@ export interface PresetReportOptions extends ReportOptions {
     readonly report?: ReportMode;
 }
 /**
- * The single place that knows how to *emit* violations — text (stderr), JSON,
- * or GitHub annotations (stdout). No throw, no filtering, no control flow: just
- * emission. `executeCheck` (the `.check()` path) and `finishPreset` (the preset
- * path) both delegate here, so the two reporting paths can no longer diverge
- * (plan 0070). Emits nothing for an empty set.
+ * How many violations this module has actually WRITTEN, ever.
+ *
+ * Read as a delta by a caller that aggregates reporting, to answer one question it
+ * cannot otherwise answer: *did something emit while I was loading that module?*
+ *
+ * The alternative a caller might reach for — counting the writes it SUPPRESSED and
+ * inferring "then nothing was written" — is a double negative and is unsound: a
+ * module that suppresses one terminal and leaks through another satisfies it while
+ * leaking. Measured on `eess-ts`, which shipped that inference and fell into
+ * exactly that case. Count emissions, not silences.
  */
+export declare function violationsEmittedCount(): number;
 export declare function reportViolations(violations: ArchViolation[], options?: ReportOptions): void;
 /**
  * Finish a preset: deliver its aggregated violations per the requested mode