@nielspeter/eess-ts 0.2.1 → 0.4.0

package/dist/core/terminal-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-builder.js","sourceRoot":"","sources":["../../src/core/terminal-builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,IAAI,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEnF,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAA;AAGtF,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAOzD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAE/C;;;;;;;;;;;;;GAaG;AACH,MAAM,aAAa,GACjB,gFAAgF;IAChF,uFAAuF,CAAA;AAoBzF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAS,oBAAoB,CAAC,UAAoC;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAe,eAAe;IAClB,OAAO,CAAS;IAChB,SAAS,CAAe;IACxB,SAAS,CAAmB;IACtC;;;;;;OAMG;IACO,iBAAiB,CAAoB;IAC/C,8EAA8E;IAC9E,6EAA6E;IAC7E,4EAA4E;IAC5E,gDAAgD;IACtC,WAAW,GAAwB,EAAE,CAAA;IACrC,cAAc,GAAgB,IAAI,GAAG,EAAE,CAAA;IACjD;;;;;;;;;;;;;;;;;OAiBG;IACO,gBAAgB,GAAG,KAAK,CAAA;IACxB,YAAY,GAAG,KAAK,CAAA;IAE9B;;;;;;;OAOG;IACH,cAAc;QACZ,IAAI,IAAI,CAAC,YAAY;YAAE,MAAM,IAAI,SAAS,CAAC,aAAa,CAAC,CAAA;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,WAAW;QACT,IAAI,IAAI,CAAC,gBAAgB;YAAE,MAAM,IAAI,SAAS,CAAC,aAAa,CAAC,CAAA;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,CAAC,YAAY,GAAG,IAAI,CAAA;QACxB,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACH,aAAa;QACX,OAAO,IAAI,CAAC,YAAY,CAAA;IAC1B,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,sBAAsB;QACpB,8DAA8D;QAC9D,qEAAqE;QACrE,4EAA4E;QAC5E,4EAA4E;QAC5E,6EAA6E;QAC7E,2EAA2E;QAC3E,0CAA0C;QAC1C,OAAO,IAAI,CAAC,SAAS,EAAE,mBAAmB,IAAI,gBAAgB,CAAA;IAChE,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,MAAc;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;QACrB,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;OAKG;IACH,IAAI,CAAC,QAAsB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAA;QACzB,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;QACjC,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;IACH,SAAS,CAAC,GAAG,QAA+C;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAChC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACtD,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC1B,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;OAGG;IACH,YAAY;QACV,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,SAAS;YACrC,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE;YACtB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU;YACtC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI;YAC1B,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,IAAI,IAAI,CAAC,OAAO;SACvD,CAAA;IACH,CAAC;IAsBD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,KAAuB,EAAE,OAA0C;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAA;QACtB,IAAI,CAAC,iBAAiB,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;QACzE,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,gBAAgB;QACd,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,eAAe;QACb,OAAO,wFAAwF,CAAA;IACjG,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,KAAK;QACH,OAAO,EAAE,CAAA;IACX,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,UAAU;QACR,OAAO,SAAS,CAAA;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,kBAAkB;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACO,aAAa;QACrB,OAAO,SAAS,CAAA;IAClB,CAAC;IAED;;;;;;;;;OASG;IACO,gBAAgB;QACxB,OAAO,UAAU,CAAA;IACnB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACO,IAAI;QACZ,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAChC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAA;QAC5B,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;QACpE,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;;;;;;OASG;IACO,gBAAgB,CAAC,MAAuB;QAChD,IAAI,CAAC,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAA;QAC1C,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAA;IACtD,CAAC;CACF;AAED;;;;;;;;;;;GAWG;AACH,MAAM,OAAgB,eAAgB,SAAQ,eAAe;IAgD3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAsCG;IACO,sBAAsB;QAC9B,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,KAAuB;QAC9B,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,EAAE,CAAA;QACd,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,EAAE,CAAA;QACb,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACK,yBAAyB;QAC/B,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;IACnC,CAAC;IAED,0EAA0E;IAClE,KAAK;QACX,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;YACnB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE;YAC/C,sBAAsB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE;YAC3D,iBAAiB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE;SAClD,CAAA;IACH,CAAC;IAED;;;;;OAKG;IACK,aAAa;QAMnB,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,QAAQ,EAAE,IAAI,CAAC,SAAS;YACxB,UAAU,EAAE,IAAI,CAAC,WAAW;YAC5B,aAAa,EAAE,IAAI,CAAC,cAAc;SACnC,CAAA;IACH,CAAC;IAED,qEAAqE;IAC7D,KAAK;QACX,OAAO;YACL,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE;YAC1C,YAAY,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE;YACvC,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE;YAC7C,sBAAsB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE;YAC3D,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE;YAC/C,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE;YACzC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE;YACnC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE;YACzB,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE;YACnD,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE;YACzC,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE;YACnD,qBAAqB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC;SACxE,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,UAAU;QACR,MAAM,GAAG,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;QACxD,MAAM,GAAG,GAAqB,IAAI,CAAC,SAAS,IAAI,OAAO,CAAA;QACvD,oEAAoE;QACpE,sEAAsE;QACtE,4EAA4E;QAC5E,qEAAqE;QACrE,2EAA2E;QAC3E,MAAM,MAAM,GACV,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,IAAI,oBAAoB,CAAC,GAAG,CAAC,CAAA;QACrF,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1B,GAAG,CAAC;YACJ,QAAQ,EAAE,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SAC9E,CAAC,CAAC,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,mBAAmB,CAAC,CAAgB,EAAE,GAAqB;QACjE,IAAI,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS;YAAE,OAAO,GAAG,CAAA;QACtE,OAAO,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAA;IACzE,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,OAAsB;QAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACnD,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,OAAO,CAAC,CAAA;IACzD,CAAC;IAED;;;;;OAKG;IACH,IAAI,CAAC,OAAsB;QACzB,MAAM,UAAU,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACnD,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,OAAO,CAAC,CAAA;IACxD,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,qBAAqB;QACnB,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS;YAAE,OAAO,EAAE,CAAA;QAChF,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAA;QACzE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;QACrC,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAA;QACpE,IAAI,oBAAoB,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,EAAE,CAAC;YAC3D,OAAO,CACL,IAAI,IAAI,kFAAkF;gBAC1F,2FAA2F;gBAC3F,yFAAyF;gBACzF,0FAA0F;gBAC1F,6FAA6F;gBAC7F,kFAAkF;gBAClF,oFAAoF,CACrF,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;QACnD,OAAO,CACL,IAAI,IAAI,sCAAsC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU;YAC7F,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW;YAC9F,UAAU,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU;YAC9F,2FAA2F;YAC3F,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,0EAA0E;YAChG,qCAAqC,CACtC,CAAA;IACH,CAAC;IAED;;;;;;;;;OASG;IACH,kBAAkB;QAChB,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;IAC3C,CAAC;IAES,qBAAqB,CAAC,OAAgC;QAC9D,OAAO,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,OAAO,CAAC,CAAA;IACvD,CAAC;CACF"}

package/dist/core/terminal-execution.d.ts

@@ -0,0 +1,23 @@
+import type { ArchViolation } from '@nielspeter/eess';
+import type { RuleFacts } from './vacuity-diagnosis.js';
+/** A rule, reduced to what running it needs. */
+export interface RuleRun {
+    readonly facts: RuleFacts;
+    readonly expectsEmpty: boolean;
+    assertsSomething(): boolean;
+    ownsDiscoveryDiagnosis(): boolean;
+    collectViolations(): {
+        violations: ArchViolation[];
+        examined: number;
+    };
+}
+/**
+ * Run the rule, but let the gates speak first.
+ *
+ * Split from `TerminalBuilder` with the diagnoses it calls. The class kept the
+ * ORDER of the gates — assertion, then dead selector, then the evidence floor —
+ * tangled with the fluent surface that configures them; the order is the whole
+ * content of this function and now reads as such.
+ */
+export declare function collectWithAssertionGuard(run: RuleRun): ArchViolation[];
+//# sourceMappingURL=terminal-execution.d.ts.map

package/dist/core/terminal-execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-execution.d.ts","sourceRoot":"","sources":["../../src/core/terminal-execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AAQvD,gDAAgD;AAChD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;IAC9B,gBAAgB,IAAI,OAAO,CAAA;IAC3B,sBAAsB,IAAI,OAAO,CAAA;IACjC,iBAAiB,IAAI;QAAE,UAAU,EAAE,aAAa,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CACvE;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,EAAE,CA4DvE"}

package/dist/core/terminal-execution.js

@@ -0,0 +1,71 @@
+import { assertionLessFinding, deadSelectorFindings, evidenceFloor, expiredDeclarationViolation, } from './vacuity-diagnosis.js';
+/**
+ * Run the rule, but let the gates speak first.
+ *
+ * Split from `TerminalBuilder` with the diagnoses it calls. The class kept the
+ * ORDER of the gates — assertion, then dead selector, then the evidence floor —
+ * tangled with the fluent surface that configures them; the order is the whole
+ * content of this function and now reads as such.
+ */
+export function collectWithAssertionGuard(run) {
+    if (run.assertsSomething()) {
+        // Plan 0074 (R3b). AFTER the assertion gate, deliberately: a rule with a
+        // dead glob AND no condition reports the missing assertion only, which is
+        // the right root cause — no selector makes an assertion-less rule capable
+        // of failing. The comment above already committed to that ordering; this
+        // is the branch that honours it.
+        //
+        // Gate-first for a dead SELECTOR, before `collectViolations()`: a rule whose
+        // selector cannot match will walk the whole AST to select nothing.
+        //
+        // But NOT gate-first for a dead **discovery** glob, and that asymmetry is
+        // plan 0080's whole design. Admitting discovery globs to the gate without
+        // it is destructive rather than additive: this early return means the gate
+        // REPLACES a builder's own finding rather than adding to it, and the slice
+        // builders already produce a better one (`emptyDiscoveryViolation`). Review
+        // measured the cost of getting this wrong — **15 slice tests, 13 of them
+        // the whole bug-0009 remedy corpus**, whose stated subject is that each
+        // branch's advice is true. Trading a rule 1 defect for a rule 2 defect.
+        //
+        // So the owner **declares itself** — `ownsDiscoveryDiagnosis()` — rather than
+        // the gate naming who to skip. An "except slice" list would be the same
+        // unchecked claim about who owns what that this file used to carry in a
+        // comment, and that comment being wrong is what plan 0080 exists to fix.
+        // The precedent is `assertsCardinality()` directly above: knowledge lives
+        // with the builder that has it.
+        //
+        // A first attempt derived it instead — run `collectViolations()` and prefer
+        // any `bypassFilters` finding it produced. That cannot work, and slice is
+        // the counterexample: for a **partially** empty `assignedFrom` it produces
+        // nothing *deliberately* (a slice with no files yet is legitimate, and that
+        // guard was withdrawn before release for firing on real projects). So
+        // "prefer what it produced" reads silence as "no opinion" when it is in
+        // fact the opinion.
+        const dead = deadSelectorFindings(run.facts);
+        if (dead.selector.length > 0)
+            return dead.selector;
+        if (dead.discovery.length > 0 && !run.ownsDiscoveryDiagnosis())
+            return dead.discovery;
+        // Plan 0099: the floor. 0098 produced this evidence and discarded it here;
+        // this is where discarding stops.
+        const { violations, examined } = run.collectViolations();
+        // ADR-010's floor: four branches that all answer one question — is a pass
+        // here CONSTRUCTED from evidence, or defaulted? See `evidenceFloor`.
+        const floor = evidenceFloor(run.facts, violations, examined);
+        if (floor !== undefined)
+            return floor;
+        // The expiry half, and it is the ROOT's alone — `rule-builder.ts` used to
+        // carry its own, so keeping both double-reported one fault.
+        //
+        // `_expectEmpty`, NOT `declaresEmpty()`: `.notExist()` over a non-empty
+        // selection is the condition doing its job, never an expired declaration,
+        // and on `CrossProjectBuilder` `declaresEmpty()` is an all-sides
+        // conjunction whose per-side expiry that class reports itself.
+        if (examined > 0 && run.expectsEmpty) {
+            return [expiredDeclarationViolation(run.facts, examined), ...violations];
+        }
+        return violations;
+    }
+    return assertionLessFinding(run.facts);
+}
+//# sourceMappingURL=terminal-execution.js.map

package/dist/core/terminal-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-execution.js","sourceRoot":"","sources":["../../src/core/terminal-execution.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,aAAa,EACb,2BAA2B,GAC5B,MAAM,wBAAwB,CAAA;AAW/B;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAY;IACpD,IAAI,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC3B,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,iCAAiC;QACjC,EAAE;QACF,6EAA6E;QAC7E,mEAAmE;QACnE,EAAE;QACF,0EAA0E;QAC1E,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,wEAAwE;QACxE,wEAAwE;QACxE,EAAE;QACF,8EAA8E;QAC9E,wEAAwE;QACxE,wEAAwE;QACxE,yEAAyE;QACzE,0EAA0E;QAC1E,gCAAgC;QAChC,EAAE;QACF,4EAA4E;QAC5E,0EAA0E;QAC1E,2EAA2E;QAC3E,4EAA4E;QAC5E,sEAAsE;QACtE,wEAAwE;QACxE,oBAAoB;QACpB,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAA;QAClD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE;YAAE,OAAO,IAAI,CAAC,SAAS,CAAA;QACrF,2EAA2E;QAC3E,kCAAkC;QAClC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAA;QAExD,0EAA0E;QAC1E,qEAAqE;QACrE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;QAC5D,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QAErC,0EAA0E;QAC1E,4DAA4D;QAC5D,EAAE;QACF,wEAAwE;QACxE,0EAA0E;QAC1E,iEAAiE;QACjE,+DAA+D;QAC/D,IAAI,QAAQ,GAAG,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACrC,OAAO,CAAC,2BAA2B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,GAAG,UAAU,CAAC,CAAA;QAC1E,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IAED,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACxC,CAAC"}

package/dist/core/vacuity-diagnosis.d.ts

@@ -0,0 +1,103 @@
+import type { ArchViolation } from '@nielspeter/eess';
+import type { ArchProject } from './project.js';
+import type { GlobNode, RuleDescription } from '@nielspeter/eess';
+/**
+ * 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.
+ */
+export declare const ASSERTION_DOCS = "https://github.com/nielspeter/eess/blob/main/docs/violation-reporting.md#a-rule-must-assert-something";
+export interface RuleFacts {
+    /** The builder's own class, for naming the rule in a finding. */
+    readonly ruleClass: {
+        name: string;
+    };
+    describeRule(): RuleDescription;
+    assertionAdvice(): string;
+    emptyDeclarationAdvice(): string;
+    examinedUnitNoun(): string;
+    narrowingHint(): string | undefined;
+    getProject(): ArchProject | undefined;
+    globs(): readonly GlobNode[];
+    assertsCardinality(): boolean;
+    declaresEmpty(): boolean;
+    zeroSubjectsAdvice(): string;
+    zeroSubjectsViolation(project: ArchProject | undefined): ArchViolation;
+}
+/**
+ * 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 declare function assertionLessFinding(facts: RuleFacts): ArchViolation[];
+/**
+ * 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 declare function evidenceFloor(facts: RuleFacts, violations: ArchViolation[], examined: number): ArchViolation[] | undefined;
+/**
+ * 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 declare function expiredDeclarationViolation(facts: RuleFacts, examined: number): ArchViolation;
+/**
+ * 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 declare function deadSelectorFindings(facts: RuleFacts): {
+    selector: ArchViolation[];
+    discovery: ArchViolation[];
+};
+/** The value behind `TerminalBuilder.zeroSubjectsAdvice()`. */
+export declare function zeroSubjectsAdviceOf(facts: RuleFacts): string;
+/** The value behind `TerminalBuilder.zeroSubjectsViolation()`. */
+export declare function zeroSubjectsViolationOf(facts: RuleFacts, project: ArchProject | undefined): ArchViolation;
+//# sourceMappingURL=vacuity-diagnosis.d.ts.map

package/dist/core/vacuity-diagnosis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vacuity-diagnosis.d.ts","sourceRoot":"","sources":["../../src/core/vacuity-diagnosis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAY,eAAe,EAAE,MAAM,kBAAkB,CAAA;AA2B3E;;;;;;;GAOG;AAKH,eAAO,MAAM,cAAc,0GAC8E,CAAA;AAEzG,MAAM,WAAW,SAAS;IACxB,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;IACpC,YAAY,IAAI,eAAe,CAAA;IAC/B,eAAe,IAAI,MAAM,CAAA;IACzB,sBAAsB,IAAI,MAAM,CAAA;IAChC,gBAAgB,IAAI,MAAM,CAAA;IAC1B,aAAa,IAAI,MAAM,GAAG,SAAS,CAAA;IACnC,UAAU,IAAI,WAAW,GAAG,SAAS,CAAA;IACrC,KAAK,IAAI,SAAS,QAAQ,EAAE,CAAA;IAC5B,kBAAkB,IAAI,OAAO,CAAA;IAC7B,aAAa,IAAI,OAAO,CAAA;IACxB,kBAAkB,IAAI,MAAM,CAAA;IAC5B,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,GAAG,aAAa,CAAA;CACvE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG,aAAa,EAAE,CAmCtE;AA6FD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,aAAa,EAAE,EAC3B,QAAQ,EAAE,MAAM,GACf,aAAa,EAAE,GAAG,SAAS,CA4B7B;AAmCD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,aAAa,CAoC7F;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG;IACtD,QAAQ,EAAE,aAAa,EAAE,CAAA;IACzB,SAAS,EAAE,aAAa,EAAE,CAAA;CAC3B,CAsCA;AAED,+DAA+D;AAC/D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAgC7D;AAED,kEAAkE;AAClE,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,WAAW,GAAG,SAAS,GAC/B,aAAa,CA4Bf"}

package/dist/core/vacuity-diagnosis.js

@@ -0,0 +1,415 @@
+import { DECLARE_INSTEAD, isFaultPosition, UNSUPPRESSABLE } from '@nielspeter/eess';
+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