@nielspeter/eess-ts 0.10.1 → 0.12.0

package/dist/core/disk-set.js

@@ -1,7 +1,7 @@
 import fs from 'node:fs';
 import path from 'node:path';
 import picomatch from 'picomatch';
-import { discoverIdentityRoot } from '@nielspeter/eess/internal';
+import { byCodepoint, discoverIdentityRoot } from '@nielspeter/eess/internal';
 import { readsRootRelativePath, rootFromTsConfigPath } from './project-relative.js';
 /**
  * Directories never worth walking.
@@ -27,6 +27,34 @@ const PRUNE = new Set([
     '.gradle',
     '.yarn',
     '.cache',
+    // Added for bug 0359. Pruning — not repository size — is what decides whether
+    // the walk finishes: measured on this repository, the list above removes
+    // **88.9%** of entries, and unpruned this small repo would sit at 41% of the
+    // old 50,000 budget by itself (spike 0368). The list named fourteen and missed
+    // the one that mattered — an adopter's `.wrangler` was **58% of their entries**
+    // in the monorepo that measured closest to the budget.
+    //
+    // Only the FIRST of these has a measured share; the rest are the same class of
+    // thing — build, cache and framework output no rule can usefully scope to — and
+    // are cheap to prune. Named individually rather than matched by a leading dot,
+    // because `.claude/`, `.changeset/` and `.github/` are content this repo's own
+    // corpus gate reads.
+    '.wrangler',
+    '.svelte-kit',
+    '.nuxt',
+    '.output',
+    '.parcel-cache',
+    '.vite',
+    '.astro',
+    '.docusaurus',
+    '.serverless',
+    '.terraform',
+    'storybook-static',
+    '.pnpm-store',
+    '.angular',
+    '.expo',
+    '.dart_tool',
+    '.sst',
 ]);
 /**
  * How many directory entries the walk will read before giving up.
@@ -46,7 +74,7 @@ const PRUNE = new Set([
  * was a licence to lower the budget on the belief that nothing but wording
  * depended on it.
  *
- * `absenceClaimIsContradicted` below consumes this classification to decide
+ * `contradictsAbsence` below is the policy that consumes this classification to decide
  * whether a cardinality rule (`.notExist()` and friends) reports at all. And the
  * degradation is **whole-set, not per-glob** — `build()` returns the single
  * `UNDETERMINED` object, whose `classify` answers `not-determined` for every
@@ -57,19 +85,60 @@ const PRUNE = new Set([
  * That is not a regression — before 0355 those rules were silent everywhere —
  * but it is an undisclosed limit on a fix, and nothing currently reports that
  * the walk gave up. Surfacing exhaustion is
- * [bug 0359](../../../../work/bugs/0359-a-disk-walk-that-gave-up-reports-nothing-and-now-decides-a-verdict.md).
+ * [bug 0359](../../../../work/bugs/fixed/0359-a-disk-walk-that-gave-up-reports-nothing-and-now-decides-a-verdict.md),
+ * and it is now surfaced: `exhaustion` on the returned `DiskSet` carries the
+ * fact and what consumed the walk, and the cardinality path reports it rather
+ * than going quiet.
+ *
+ * ## Why 500,000, and why the old 50,000 was far too low
+ *
+ * The justification above is a claim about TIME — a 5s vitest timeout. Measured
+ * at **2.09 µs/entry** (spike 0367; spike 0360 got 1.55 µs/entry by a different
+ * method, which is what makes either trustworthy), 50,000 entries is about
+ * **105 ms of work**. The cutoff fired roughly **48× below its own stated
+ * reason**, and silenced a gate to do it.
+ *
+ * 500,000 is 0.8–1.5s warm (spike 0360) and puts every repository measured so
+ * far far inside it: this one at ~2,300 entries after pruning, an adopter's
+ * 15-package monorepo at 16,770. **Not unbounded** — the cold-cache cost is
+ * still unmeasured, which is exactly why 0360 declined to recommend removing the
+ * bound, and raising it is supported by measurement where removing it is not.
  *
- * Anyone changing this number: it is the threshold at which a shipped gate
- * turns itself off silently. Measure before you lower it.
+ * Anyone changing this number: it is the threshold at which a shipped gate stops
+ * being able to answer. It no longer does so silently, which is the fix — but a
+ * reported degradation is still a degradation. Measure before you lower it.
  */
-const ENTRY_BUDGET = 50_000;
+const ENTRY_BUDGET = 500_000;
 // `.d.ts` and its `.d.mts`/`.d.cts` siblings count. They ARE TypeScript for
 // the question this set answers — "does this path contain TypeScript your
 // tsconfig is keeping out" — and excluding them made a `types/` directory of
 // pure declarations report "this path exists but contains no TypeScript",
 // which is false.
 const TS_FILE = /\.(m|c)?tsx?$/;
-const cache = new WeakMap();
+let cache = new WeakMap();
+/**
+ * Budget override for the MEMOIZED path. Tests only.
+ *
+ * `buildDiskSet` above already takes an injectable budget and is documented
+ * "exported for tests only" — but it bypasses the memo, and the production
+ * consumer of a classification is `deadSiteRoute` in `glob-diagnosis.ts`, which goes
+ * through `diskSet(project)`. So a test could construct an exhausted set and
+ * could not make a RULE see one, which left bug 0359's defect reachable only
+ * below the public entry point. A test that drives a stand-in instead of
+ * `violations()` is how a suite stays green while the defect survives.
+ *
+ * Reaching exhaustion honestly is not an option: the budget is 500,000 entries.
+ *
+ * This overrides the constant and clears the memo, so the walk really runs, the
+ * real `classify` answers, and the finding travels the real path — only the
+ * number differs from production.
+ */
+// eess-exclude eess/no-unused-exports: consumed by the test suite; the build tsconfig this gate reads excludes tests, so `src` is the only usage it can see
+export function setDiskWalkBudgetForTests(limit) {
+    budgetForTests = limit;
+    cache = new WeakMap();
+}
+let budgetForTests;
 /**
  * The project's disk set, walked at most once and only when asked.
  *
@@ -78,36 +147,6 @@ const cache = new WeakMap();
  * never touches the filesystem. An eager version would charge every `check()`
  * a recursive walk to answer a question no fault asked.
  */
-/**
- * Does the filesystem CONTRADICT a rule's claim that nothing matching this glob exists?
- *
- * The one owner of a policy two tools have to share — the gate's evidence floor
- * (`vacuity-diagnosis.ts`) and the preview (`diagnose.ts`). It is written here, beside the
- * classification it reads, because the pair has already grown two hand-maintained copies of one
- * rule and had them disagree: `isFaultPosition` was inverse lists in both files, differing over
- * exactly `discovery`, so `doctor` reported a dead layer glob and the build stayed green.
- *
- * ## Why only `holds-typescript`
- *
- * A rule asserting cardinality — `.notExist()` and friends — is SATISFIED by having no
- * subjects, so examining zero is normally the rule working. The trouble is that a holding
- * ratchet and a selector that silently stopped matching are identical from the glob and the
- * path universe: both match nothing. Only disk tells them apart.
- *
- * | classification     | verdict | why                                                              |
- * | ------------------ | ------- | ---------------------------------------------------------------- |
- * | `holds-typescript` | **contradicted** | the code being asserted away is right there, unexamined |
- * | `absent`           | consistent | the ratchet holding — the common case, and it must stay silent |
- * | `no-typescript`    | consistent | no TypeScript means no modules, which is what the rule asserts  |
- * | `not-determined`   | consistent | the walk could not answer; blaming the author for that is the confidently-wrong remedy this module exists not to give |
- *
- * [Bug 0355](../../../../work/bugs/fixed/0355-a-cardinality-rule-cannot-tell-none-exist-from-my-selector-broke.md)
- * for the gate half, [0357](../../../../work/bugs/fixed/0357-doctor-reports-a-healthy-ratchet-as-a-dead-glob.md)
- * for the preview.
- */
-function absenceClaimIsContradicted(project, glob) {
-    return contradictsAbsence(diskSet(project).classify(glob));
-}
 /**
  * The policy alone, as a TOTAL function on the four classifications.
  *
@@ -121,39 +160,14 @@ function absenceClaimIsContradicted(project, glob) {
  * Exhaustive by construction: `OnDisk` is a four-value union, so a test that enumerates it
  * cannot silently stop covering a case when a fifth is added — it stops compiling.
  */
-// eess-exclude eess/no-unused-exports: consumed by the test suite; the build tsconfig this gate reads excludes tests, so `src` is the only usage it can see
 export function contradictsAbsence(onDisk) {
     return onDisk === 'holds-typescript';
 }
-/**
- * Is a dead site on a CARDINALITY rule a real fault, given the glob and the disk?
- *
- * Two independent ways to be one, and the second was missing for a release:
- *
- * 1. **The glob is broken in every possible project** — a syntactic fault, decided from the
- *    text with no filesystem and no universe. `'./src/**'` is one character wrong and matches
- *    nothing anywhere.
- * 2. **The filesystem contradicts the absence claim** — `contradictsAbsence` above.
- *
- * Bug 0357 added the disk test and, by placing it after `isDeadSite`, dropped the first.
- * Measured on a healthy project with `src/a.ts` loaded: a `.notExist()` over `'./src/**'`
- * went green in `doctor` AND `check`, while the same glob on a positive-assertion rule
- * reported — so a ratchet broken by one character said nothing in either tool, and the
- * directory it names exists, is in the project, and holds TypeScript. Shipped in 0.10.0 and
- * caught by a review of the review's own fixes.
- *
- * `diagnose.ts` states the principle twice about itself — syntactic faults "are properties of
- * the glob text, not of what loaded", and survive even an empty project. They must survive
- * this narrowing too.
- */
-export function cardinalityDeadSiteIsAtFault(project, glob, hasSyntacticFault) {
-    return hasSyntacticFault || absenceClaimIsContradicted(project, glob);
-}
 export function diskSet(project) {
     const cached = cache.get(project);
     if (cached)
         return cached;
-    const built = build(project, ENTRY_BUDGET);
+    const built = build(project, budgetForTests ?? ENTRY_BUDGET);
     cache.set(project, built);
     return built;
 }
@@ -185,6 +199,23 @@ function build(project, budgetLimit) {
     const root = discoverIdentityRoot(path.dirname(project.tsConfigPath));
     if (!fs.existsSync(root))
         return UNDETERMINED;
+    // The FILESYSTEM root is never a project root, and walking it is never
+    // meaningful. `discoverIdentityRoot` falls back to its own argument when it
+    // finds no marker, so a tsconfig path with nothing above it resolves to `/`
+    // and this walked the entire disk.
+    //
+    // Found by bug 0359's own fix: that walk always happened, exhausted, and
+    // returned the silent `UNDETERMINED`, so nobody could see it. The moment
+    // exhaustion started reporting, every in-memory double in this suite surfaced a
+    // finding — 0359's thesis landing in a second place. `not-determined` was the
+    // right answer all along; it now arrives without reading the whole disk first.
+    //
+    // Narrow on purpose. A first draft refused any root without a `.git` or
+    // `package.json` and reddened two legitimate fixtures: a bare directory holding
+    // only a tsconfig IS a project, and eess must not require a manifest it never
+    // asked for. The pathology is reaching `/`, not lacking a marker.
+    if (path.dirname(root) === root)
+        return UNDETERMINED;
     const files = [];
     /** Every file, TypeScript or not — so `absent` means absent, not "not TypeScript". */
     const everyFile = [];
@@ -199,8 +230,28 @@ function build(project, budgetLimit) {
      * beginning "a path segment is misspelled".
      */
     const pruned = [];
+    /**
+     * Entries whose KIND the walk declined to resolve — symlinks.
+     *
+     * `Dirent.isDirectory()` is false for a symlink under `withFileTypes`, so a symlinked
+     * DIRECTORY is recorded as a file. That trade is deliberate and documented below: following
+     * the link risks a walk that never terminates, and for `classify` being wrong this way only
+     * weakens a message.
+     *
+     * `matchesOnlyFiles` cannot live with it, because it asserts "and NO directory" — and a
+     * symlink's kind is precisely what was not resolved. Kept as its own list rather than
+     * changing what `everyFile` holds, so `classify`'s documented behaviour is untouched.
+     */
+    const kindUnknown = [];
     let budget = budgetLimit;
     let exhausted = false;
+    /**
+     * Entries read per top-level subtree of `root`, so exhaustion can name what
+     * consumed the walk instead of blaming the repository's size (spike 0368).
+     * Attributed to the FIRST segment below `root` and no deeper: the remedy is
+     * "stop walking this tree", which is a decision about a top-level directory.
+     */
+    const perSubtree = new Map();
     const walk = (dir) => {
         if (exhausted)
             return;
@@ -212,6 +263,13 @@ function build(project, budgetLimit) {
             void err; // unreadable or gone: not a finding, just not walkable
             return;
         }
+        // Count BEFORE the budget check, so the subtree that pushed the walk over
+        // is the one the finding names. Counting after would attribute the
+        // decisive read to nobody — the directory that exhausted the budget would
+        // be missing from the list of what exhausted it.
+        const rel = path.relative(root, dir).replaceAll('\\', '/');
+        const top = rel === '' ? '.' : (rel.split('/')[0] ?? '.');
+        perSubtree.set(top, (perSubtree.get(top) ?? 0) + entries.length);
         budget -= entries.length;
         if (budget < 0) {
             exhausted = true;
@@ -250,6 +308,8 @@ function build(project, budgetLimit) {
                 walk(full);
             }
             else {
+                if (entry.isSymbolicLink())
+                    kindUnknown.push(full);
                 everyFile.push(full);
                 if (TS_FILE.test(entry.name))
                     files.push(full);
@@ -257,8 +317,14 @@ function build(project, budgetLimit) {
         }
     };
     walk(root.replaceAll('\\', '/'));
+    // NOT the shared `UNDETERMINED` constant. It is deliberately identity-free so
+    // it can be returned from the guards above, where there is nothing to say; a
+    // walk that gave up has something to say, and bug 0359 is that it said
+    // nothing. `classify` still answers `not-determined` for every glob — the
+    // classification is unchanged and still honest. What changes is that the
+    // caller can now discover WHY.
     if (exhausted)
-        return UNDETERMINED;
+        return exhaustedDiskSet(root, budgetLimit, perSubtree);
     // Containment is TRANSITIVE, and that is load-bearing. Using each file's
     // immediate parent instead labels `docs/` "contains no TypeScript" while
     // `docs/.vitepress/config.ts` sits one level below it — a false statement in
@@ -299,10 +365,69 @@ function build(project, budgetLimit) {
     const prefixes = [root, rootFromTsConfigPath(project.tsConfigPath)]
         .filter((r) => r !== undefined)
         .map((r) => (r === '/' ? '/' : `${r.replaceAll('\\', '/')}/`));
+    /**
+     * Does this glob reach ground the walk refused to enter?
+     *
+     * Shared by `classify` and `matchesOnlyFiles`, deliberately: both have to refuse to answer
+     * over a pruned path, and this module already records what happened the last time one fact
+     * grew two hand-maintained copies.
+     */
+    const matchesPruned = (glob) => {
+        // Deliberately NOT guarded by `readsRootRelativePath`, unlike the two consumers below.
+        // Being liberal here makes this answer `true` more often, and `true` means "refuse to
+        // answer" — so the error direction is fail-closed. The guard exists to stop a liberal view
+        // manufacturing a false POSITIVE claim; this one manufactures a false abstention.
+        const isMatch = picomatch(glob);
+        return pruned.some((dir) => isMatch(dir) ||
+            namedFromARoot(dir).some((view) => isMatch(view)) ||
+            glob.includes(dir.slice(root.length + 1)));
+    };
     const namedFromARoot = (candidate) => prefixes
         .filter((prefix) => candidate.startsWith(prefix))
         .map((prefix) => candidate.slice(prefix.length));
     return {
+        /**
+         * Files yes, directories no — the kind-aware answer `classify` cannot give.
+         *
+         * Both root views, exactly as `classify` does: a single view left this answering about a
+         * monorepo package's `'src/**'` from the wrong prefix, which is bug 0339's shape in the
+         * one producer whose whole defence is that it states only facts.
+         */
+        matchesOnlyFiles(glob) {
+            const isMatch = picomatch(glob);
+            // The SAME guard `classify` applies below, and for the same reason (bug 0339): the
+            // root-relative view is only consulted for a glob that actually reads root-relative
+            // paths. Applying it unconditionally made this predicate more liberal than `classify`
+            // about the same paths — two derivations of one question, which is the defect this whole
+            // change exists to remove. Product review flagged the asymmetry without constructing an
+            // input; mirroring the guard costs one line and removes the question.
+            const readsRootRelative = readsRootRelativePath(glob);
+            const hits = (candidates) => candidates.some((candidate) => {
+                if (isMatch(candidate))
+                    return true;
+                if (!readsRootRelative)
+                    return false;
+                return namedFromARoot(candidate).some((view) => isMatch(view));
+            });
+            // A directory match means the glob is usable as a `parent-dir` glob, whatever else it
+            // also matches — so this is "files and NO directory", not "more files than directories".
+            //
+            // And NOT SEEN IS NOT NOT THERE. A pruned entry is recorded before `isDirectory()` is
+            // asked, so it is in neither `dirs` nor `everyFile` — reading its absence from `dirs` as
+            // evidence of "no directory" is exactly the inference `classify` refuses ten lines below.
+            // Measured by enforcement review: a glob naming `.../dist/**`, a real directory holding
+            // real TypeScript, was told it "matches a FILE but is used where a directory is read"
+            // because `dist` is pruned. This claim is a universal negative; a bounded walk cannot
+            // earn one over ground it declined to look at.
+            // Two ways the walk cannot witness "no directory", and both must refuse rather than
+            // answer. Pruned: the entry was recorded before `isDirectory()` was asked, so it is in
+            // neither list. Symlinked: the kind was never resolved and the entry sits in `everyFile`
+            // looking like a file — measured, a symlinked directory holding TypeScript was told
+            // "this matches a FILE but is used where a directory is read".
+            if (matchesPruned(glob) || hits(kindUnknown))
+                return false;
+            return hits(everyFile) && !hits(dirs);
+        },
         classify(glob) {
             const isMatch = picomatch(glob);
             // Both views of each path, as every rule-facing matcher does since bug
@@ -326,9 +451,7 @@ function build(project, budgetLimit) {
             const matched = everything.filter((candidate) => hits(candidate));
             if (matched.length === 0) {
                 // Not seen is not the same as not there.
-                return pruned.some((dir) => hits(dir) || glob.includes(dir.slice(root.length + 1)))
-                    ? 'not-determined'
-                    : 'absent';
+                return matchesPruned(glob) ? 'not-determined' : 'absent';
             }
             // Per GLOB, not per path: one glob routinely matches paths in both
             // categories — `**/tests/**` matched 44 directories of mixed kind on the
@@ -342,5 +465,38 @@ function build(project, budgetLimit) {
 }
 const UNDETERMINED = {
     classify: () => 'not-determined',
+    // Not "no files" — "no evidence". The caller must not read a confident shape out of a
+    // walk that did not happen.
+    matchesOnlyFiles: () => false,
 };
+/**
+ * How many consuming directories the exhaustion finding names.
+ *
+ * Four, not all of them: the finding is a sentence an agent acts on, and a list
+ * of forty directories is the ADR-009 rule 4 noise problem moved inside one
+ * message. Four was enough to cover 91% of this repository's entries when
+ * measured (spike 0368), and the total is reported alongside so the reader can
+ * tell a dominated walk from an evenly-spread one.
+ */
+export const NAMED_CONSUMERS = 4;
+/**
+ * The walk gave up, and says what it read.
+ *
+ * Its own object rather than the shared `UNDETERMINED`, because the consumers
+ * differ per project and a shared constant cannot carry them.
+ */
+function exhaustedDiskSet(root, budget, perSubtree) {
+    const consumers = [...perSubtree]
+        .map(([dir, entries]) => ({ dir, entries }))
+        // NOT `localeCompare`: this order decides which directories the message names,
+        // the message reaches a baseline identity, and the host locale would make the
+        // same finding hash differently on a laptop and in CI. The repo's own
+        // `scan-locale-ordering` gate caught this.
+        .sort((a, b) => b.entries - a.entries || byCodepoint(a.dir, b.dir));
+    return {
+        classify: () => 'not-determined',
+        matchesOnlyFiles: () => false,
+        exhaustion: { root, budget, consumers },
+    };
+}
 //# sourceMappingURL=disk-set.js.map

package/dist/core/disk-set.js.map

@@ -1 +1 @@
-{"version":3,"file":"disk-set.js","sourceRoot":"","sources":["../../src/core/disk-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,SAAS,MAAM,WAAW,CAAA;AAEjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAEnF;;;;;;;;GAQG;AACH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;IACpB,cAAc;IACd,MAAM;IACN,MAAM;IACN,OAAO;IACP,KAAK;IACL,UAAU;IACV,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;CACT,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,YAAY,GAAG,MAAM,CAAA;AAE3B,4EAA4E;AAC5E,0EAA0E;AAC1E,6EAA6E;AAC7E,0EAA0E;AAC1E,kBAAkB;AAClB,MAAM,OAAO,GAAG,eAAe,CAAA;AA+B/B,MAAM,KAAK,GAAG,IAAI,OAAO,EAAwB,CAAA;AAEjD;;;;;;;GAOG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAS,0BAA0B,CAAC,OAAoB,EAAE,IAAY;IACpE,OAAO,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,4JAA4J;AAC5J,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO,MAAM,KAAK,kBAAkB,CAAA;AACtC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAAoB,EACpB,IAAY,EACZ,iBAA0B;IAE1B,OAAO,iBAAiB,IAAI,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;AACvE,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAoB;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACjC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IAC1C,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACzB,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,4JAA4J;AAC5J,MAAM,UAAU,YAAY,CAAC,OAAoB,EAAE,WAAW,GAAG,YAAY;IAC3E,OAAO,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;AACpC,CAAC;AAED,SAAS,KAAK,CAAC,OAAoB,EAAE,WAAmB;IACtD,6EAA6E;IAC7E,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,8EAA8E;IAC9E,kEAAkE;IAClE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC;QAAE,OAAO,YAAY,CAAA;IAC/D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACrE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAA;IAE7C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,sFAAsF;IACtF,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB;;;;;;;;OAQG;IACH,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,MAAM,GAAG,WAAW,CAAA;IACxB,IAAI,SAAS,GAAG,KAAK,CAAA;IAErB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAQ,EAAE;QACjC,IAAI,SAAS;YAAE,OAAM;QACrB,IAAI,OAAoB,CAAA;QACxB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;QACxD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,GAAG,CAAA,CAAC,uDAAuD;YAChE,OAAM;QACR,CAAC;QACD,MAAM,IAAI,OAAO,CAAC,MAAM,CAAA;QACxB,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,CAAA;YAChB,OAAM;QACR,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC7D,0DAA0D;YAC1D,EAAE;YACF,8JAA8J;YAC9J,gEAAgE;YAChE,mEAAmE;YACnE,wEAAwE;YACxE,uEAAuE;YACvE,oEAAoE;YACpE,sEAAsE;YACtE,gCAAgC;YAChC,EAAE;YACF,qEAAqE;YACrE,qDAAqD;YACrD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACjB,SAAQ;YACV,CAAC;YACD,uEAAuE;YACvE,qEAAqE;YACrE,uCAAuC;YACvC,EAAE;YACF,yEAAyE;YACzE,0EAA0E;YAC1E,0EAA0E;YAC1E,0EAA0E;YAC1E,cAAc;YACd,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACf,IAAI,CAAC,IAAI,CAAC,CAAA;YACZ,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACpB,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;IAChC,IAAI,SAAS;QAAE,OAAO,YAAY,CAAA;IAElC,yEAAyE;IACzE,yEAAyE;IACzE,6EAA6E;IAC7E,qEAAqE;IACrE,6EAA6E;IAC7E,YAAY;IACZ,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC5B,OAAO,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAChC,IAAI,MAAM,KAAK,GAAG;gBAAE,MAAK;YACzB,GAAG,GAAG,MAAM,CAAA;QACd,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,4EAA4E;IAC5E,wEAAwE;IACxE,oEAAoE;IACpE,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,IAAI,CAAC,CAAA;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IACjC,8EAA8E;IAC9E,2EAA2E;IAC3E,8EAA8E;IAC9E,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,EAAE;IACF,2EAA2E;IAC3E,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,oBAAoB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;SAChE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IAChE,MAAM,cAAc,GAAG,CAAC,SAAiB,EAAY,EAAE,CACrD,QAAQ;SACL,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;SAChD,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACpD,OAAO;QACL,QAAQ,CAAC,IAAY;YACnB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;YAC/B,uEAAuE;YACvE,0EAA0E;YAC1E,qEAAqE;YACrE,2EAA2E;YAC3E,wEAAwE;YACxE,wEAAwE;YACxE,2EAA2E;YAC3E,iEAAiE;YACjE,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;YACrD,MAAM,IAAI,GAAG,CAAC,SAAiB,EAAW,EAAE;gBAC1C,IAAI,OAAO,CAAC,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAA;gBACnC,IAAI,CAAC,iBAAiB;oBAAE,OAAO,KAAK,CAAA;gBACpC,OAAO,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;YAClE,CAAC,CAAA;YACD,wEAAwE;YACxE,wEAAwE;YACxE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;YACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,yCAAyC;gBACzC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;oBACjF,CAAC,CAAC,gBAAgB;oBAClB,CAAC,CAAC,QAAQ,CAAA;YACd,CAAC;YACD,mEAAmE;YACnE,yEAAyE;YACzE,uEAAuE;YACvE,8CAA8C;YAC9C,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAC3E;gBACC,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,eAAe,CAAA;QACrB,CAAC;KACF,CAAA;AACH,CAAC;AAED,MAAM,YAAY,GAAY;IAC5B,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB;CACjC,CAAA"}
+{"version":3,"file":"disk-set.js","sourceRoot":"","sources":["../../src/core/disk-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,SAAS,MAAM,WAAW,CAAA;AAEjC,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAEnF;;;;;;;;GAQG;AACH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;IACpB,cAAc;IACd,MAAM;IACN,MAAM;IACN,OAAO;IACP,KAAK;IACL,UAAU;IACV,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,8EAA8E;IAC9E,yEAAyE;IACzE,6EAA6E;IAC7E,+EAA+E;IAC/E,gFAAgF;IAChF,uDAAuD;IACvD,EAAE;IACF,+EAA+E;IAC/E,gFAAgF;IAChF,+EAA+E;IAC/E,+EAA+E;IAC/E,qBAAqB;IACrB,WAAW;IACX,aAAa;IACb,OAAO;IACP,SAAS;IACT,eAAe;IACf,OAAO;IACP,QAAQ;IACR,aAAa;IACb,aAAa;IACb,YAAY;IACZ,kBAAkB;IAClB,aAAa;IACb,UAAU;IACV,OAAO;IACP,YAAY;IACZ,MAAM;CACP,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,MAAM,YAAY,GAAG,OAAO,CAAA;AAE5B,4EAA4E;AAC5E,0EAA0E;AAC1E,6EAA6E;AAC7E,0EAA0E;AAC1E,kBAAkB;AAClB,MAAM,OAAO,GAAG,eAAe,CAAA;AAiF/B,IAAI,KAAK,GAAG,IAAI,OAAO,EAAwB,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,4JAA4J;AAC5J,MAAM,UAAU,yBAAyB,CAAC,KAAyB;IACjE,cAAc,GAAG,KAAK,CAAA;IACtB,KAAK,GAAG,IAAI,OAAO,EAAE,CAAA;AACvB,CAAC;AAED,IAAI,cAAkC,CAAA;AAEtC;;;;;;;GAOG;AACH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO,MAAM,KAAK,kBAAkB,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAoB;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACjC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,cAAc,IAAI,YAAY,CAAC,CAAA;IAC5D,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACzB,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,4JAA4J;AAC5J,MAAM,UAAU,YAAY,CAAC,OAAoB,EAAE,WAAW,GAAG,YAAY;IAC3E,OAAO,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;AACpC,CAAC;AAED,SAAS,KAAK,CAAC,OAAoB,EAAE,WAAmB;IACtD,6EAA6E;IAC7E,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,8EAA8E;IAC9E,kEAAkE;IAClE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC;QAAE,OAAO,YAAY,CAAA;IAC/D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACrE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAA;IAC7C,uEAAuE;IACvE,4EAA4E;IAC5E,4EAA4E;IAC5E,mCAAmC;IACnC,EAAE;IACF,yEAAyE;IACzE,yEAAyE;IACzE,gFAAgF;IAChF,8EAA8E;IAC9E,+EAA+E;IAC/E,EAAE;IACF,wEAAwE;IACxE,gFAAgF;IAChF,8EAA8E;IAC9E,kEAAkE;IAClE,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,YAAY,CAAA;IAEpD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,sFAAsF;IACtF,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB;;;;;;;;OAQG;IACH,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B;;;;;;;;;;;OAWG;IACH,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,IAAI,MAAM,GAAG,WAAW,CAAA;IACxB,IAAI,SAAS,GAAG,KAAK,CAAA;IACrB;;;;;OAKG;IACH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE5C,MAAM,IAAI,GAAG,CAAC,GAAW,EAAQ,EAAE;QACjC,IAAI,SAAS;YAAE,OAAM;QACrB,IAAI,OAAoB,CAAA;QACxB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;QACxD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,GAAG,CAAA,CAAC,uDAAuD;YAChE,OAAM;QACR,CAAC;QACD,0EAA0E;QAC1E,mEAAmE;QACnE,0EAA0E;QAC1E,iDAAiD;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC1D,MAAM,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;QACzD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QAChE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAA;QACxB,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,CAAA;YAChB,OAAM;QACR,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC7D,0DAA0D;YAC1D,EAAE;YACF,8JAA8J;YAC9J,gEAAgE;YAChE,mEAAmE;YACnE,wEAAwE;YACxE,uEAAuE;YACvE,oEAAoE;YACpE,sEAAsE;YACtE,gCAAgC;YAChC,EAAE;YACF,qEAAqE;YACrE,qDAAqD;YACrD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACjB,SAAQ;YACV,CAAC;YACD,uEAAuE;YACvE,qEAAqE;YACrE,uCAAuC;YACvC,EAAE;YACF,yEAAyE;YACzE,0EAA0E;YAC1E,0EAA0E;YAC1E,0EAA0E;YAC1E,cAAc;YACd,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACf,IAAI,CAAC,IAAI,CAAC,CAAA;YACZ,CAAC;iBAAM,CAAC;gBACN,IAAI,KAAK,CAAC,cAAc,EAAE;oBAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACpB,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;IAChC,8EAA8E;IAC9E,6EAA6E;IAC7E,uEAAuE;IACvE,0EAA0E;IAC1E,yEAAyE;IACzE,+BAA+B;IAC/B,IAAI,SAAS;QAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAA;IAErE,yEAAyE;IACzE,yEAAyE;IACzE,6EAA6E;IAC7E,qEAAqE;IACrE,6EAA6E;IAC7E,YAAY;IACZ,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC5B,OAAO,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAChC,IAAI,MAAM,KAAK,GAAG;gBAAE,MAAK;YACzB,GAAG,GAAG,MAAM,CAAA;QACd,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,4EAA4E;IAC5E,wEAAwE;IACxE,oEAAoE;IACpE,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,IAAI,CAAC,CAAA;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IACjC,8EAA8E;IAC9E,2EAA2E;IAC3E,8EAA8E;IAC9E,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,EAAE;IACF,2EAA2E;IAC3E,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,oBAAoB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;SAChE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IAChE;;;;;;OAMG;IACH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE;QAC9C,uFAAuF;QACvF,sFAAsF;QACtF,2FAA2F;QAC3F,kFAAkF;QAClF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;QAC/B,OAAO,MAAM,CAAC,IAAI,CAChB,CAAC,GAAG,EAAE,EAAE,CACN,OAAO,CAAC,GAAG,CAAC;YACZ,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAC5C,CAAA;IACH,CAAC,CAAA;IACD,MAAM,cAAc,GAAG,CAAC,SAAiB,EAAY,EAAE,CACrD,QAAQ;SACL,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;SAChD,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACpD,OAAO;QACL;;;;;;WAMG;QACH,gBAAgB,CAAC,IAAY;YAC3B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;YAC/B,mFAAmF;YACnF,oFAAoF;YACpF,sFAAsF;YACtF,yFAAyF;YACzF,wFAAwF;YACxF,sEAAsE;YACtE,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;YACrD,MAAM,IAAI,GAAG,CAAC,UAA6B,EAAW,EAAE,CACtD,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;gBAC5B,IAAI,OAAO,CAAC,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAA;gBACnC,IAAI,CAAC,iBAAiB;oBAAE,OAAO,KAAK,CAAA;gBACpC,OAAO,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;YAChE,CAAC,CAAC,CAAA;YACJ,sFAAsF;YACtF,yFAAyF;YACzF,EAAE;YACF,sFAAsF;YACtF,yFAAyF;YACzF,0FAA0F;YAC1F,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+CAA+C;YAC/C,oFAAoF;YACpF,uFAAuF;YACvF,yFAAyF;YACzF,oFAAoF;YACpF,+DAA+D;YAC/D,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC;gBAAE,OAAO,KAAK,CAAA;YAC1D,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC;QACD,QAAQ,CAAC,IAAY;YACnB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;YAC/B,uEAAuE;YACvE,0EAA0E;YAC1E,qEAAqE;YACrE,2EAA2E;YAC3E,wEAAwE;YACxE,wEAAwE;YACxE,2EAA2E;YAC3E,iEAAiE;YACjE,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;YACrD,MAAM,IAAI,GAAG,CAAC,SAAiB,EAAW,EAAE;gBAC1C,IAAI,OAAO,CAAC,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAA;gBACnC,IAAI,CAAC,iBAAiB;oBAAE,OAAO,KAAK,CAAA;gBACpC,OAAO,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;YAClE,CAAC,CAAA;YACD,wEAAwE;YACxE,wEAAwE;YACxE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;YACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,yCAAyC;gBACzC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAA;YAC1D,CAAC;YACD,mEAAmE;YACnE,yEAAyE;YACzE,uEAAuE;YACvE,8CAA8C;YAC9C,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAC3E;gBACC,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,eAAe,CAAA;QACrB,CAAC;KACF,CAAA;AACH,CAAC;AAED,MAAM,YAAY,GAAY;IAC5B,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB;IAChC,sFAAsF;IACtF,4BAA4B;IAC5B,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK;CAC9B,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAA;AAEhC;;;;;GAKG;AACH,SAAS,gBAAgB,CACvB,IAAY,EACZ,MAAc,EACd,UAAuC;IAEvC,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,CAAC;SAC9B,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5C,+EAA+E;QAC/E,8EAA8E;QAC9E,sEAAsE;QACtE,2CAA2C;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACrE,OAAO;QACL,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB;QAChC,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK;QAC7B,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE;KACxC,CAAA;AACH,CAAC"}

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

@@ -60,22 +60,56 @@ export declare function syntacticFault(glob: string, kind: GlobSite['kind'], bas
  */
 export declare function diagnoseGlob(site: GlobSite, universe: PathUniverse, diskSet?: DiskSet): GlobDiagnosis;
 /**
- * The remedy for each fault, or an honest list of causes where no remedy is
- * verifiable.
+ * WHY a dead site on a cardinality rule is a real fault — the route, not a boolean.
+ *
+ * One owner, consulted by the admission gate AND by both tools' messages, so the reason a
+ * finding was admitted and the reason its message gives cannot be two different derivations.
+ * Before this, the gate asked `classify(glob)` directly while the message read
+ * `diagnosis.onDisk`, and the two disagree for `file-not-folder`: the gate admitted the
+ * finding *because the disk contradicted the claim* and the message then offered to widen a
+ * tsconfig `include`, which can never make a glob naming a FILE match a directory read
+ * ([bug 0363](../../../../work/bugs/fixed/0363-a-remedy-that-cannot-remediate-survives-one-input-over.md)).
+ *
+ * `undefined` means "not a fault" — a holding ratchet, which is the common case and must stay
+ * green. Exhaustive over `GlobFault` **by the `never` witness in the default branch**, not by
+ * the shape of the switch — a distinction that was got wrong here and measured by architecture
+ * review. Because `undefined` is a legal return value, a switch missing a case falls off the end
+ * and **compiles**, so a fifth fault became silently "not a fault"; the module reddened at
+ * `FAULT_ADVICE` instead, a different line with a different fix. `isFaultPosition`
+ * (`packages/core/src/glob-site.ts:86`) carries the same witness for the same reason.
+ *
+ * _`contradictsAbsence` was cited here as a model and should not have been: it also compiles
+ * clean against a fifth `OnDisk`. What is exhaustive there is the TEST enumerating the union,
+ * not the function._
  */
+export type DeadSiteRoute = 'syntactic' | 'names-a-file' | 'contradicted-by-disk';
+export declare function deadSiteRoute(diagnosis: GlobDiagnosis): DeadSiteRoute | undefined;
 /**
- * Is this fault a property of the glob TEXT, decidable with no filesystem and no project?
+ * The remedy a CARDINALITY rule gets on each route, owned once.
+ *
+ * `check` puts this in `suggestion` (the `Fix:` line) and `doctor` appends it to its own
+ * advice, so the two cannot drift — which is
+ * [bug 0364](../../../../work/bugs/fixed/0364-doctor-states-the-cause-and-never-the-remedy.md):
+ * three rounds of work on what this sentence must say reached only the tool an adopter
+ * reaches second.
  *
- * The same question `syntacticFault` answers about a raw glob, asked of a diagnosis that
- * has already answered it — so callers holding a `GlobDiagnosis` stop re-deriving it from
- * `(glob, kind, base)` and cannot drift by being handed a different `kind` or `base`. That
- * drift is not hypothetical: the same question was being asked at four separate sites
- * before this existed.
+ * **None of them offers deletion.** On a finding no filter can suppress, deletion is the only
+ * achievable exit, and the rule is the thing that noticed — so an instruction to delete it is
+ * the ADR-009 rule 2 defect this family has already shipped once.
+ */
+export declare const CARDINALITY_REMEDY: Readonly<Record<DeadSiteRoute, string>>;
+/**
+ * Does the route's fault hold in EVERY project, or only in this one?
  *
- * Exhaustive by construction, like `contradictsAbsence` and `isFaultPosition`: a fifth
- * `GlobFault` stops this compiling rather than falling into a default that guesses.
+ * A property of the glob text for the syntactic and file-naming routes, and of this project's
+ * `include` for the disk route. "in this project" understates the first two by exactly the
+ * scope that invites a tsconfig reading.
+ */
+export declare const ROUTE_HOLDS_IN_ANY_PROJECT: Readonly<Record<DeadSiteRoute, boolean>>;
+/**
+ * The remedy for each fault, or an honest list of causes where no remedy is
+ * verifiable.
  */
-export declare function isSyntacticFault(fault: GlobFault): boolean;
 export declare const FAULT_ADVICE: Readonly<Record<GlobFault, string>>;
 /**
  * What the filesystem adds, when it adds anything.

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

@@ -1 +1 @@
-{"version":3,"file":"glob-diagnosis.d.ts","sourceRoot":"","sources":["../../src/core/glob-diagnosis.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAEpD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,YAAY,GAAG,iBAAiB,GAAG,UAAU,CAAA;AAErF,UAAU,aAAa;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,2EAA2E;AAC3E,eAAO,MAAM,SAAS,gEAAgE,CAAA;AAEtF;;;;;;;;;;GAUG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAGlD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EACtB,IAAI,GAAE,QAAQ,CAAC,MAAM,CAAc,GAClC,aAAa,GAAG,YAAY,GAAG,SAAS,CAiB1C;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,EACd,QAAQ,EAAE,YAAY,EACtB,OAAO,CAAC,EAAE,OAAO,GAChB,aAAa,CAiBf;AAED;;;GAGG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAS1D;AAED,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAS5D,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAoC3D,CAAA"}
+{"version":3,"file":"glob-diagnosis.d.ts","sourceRoot":"","sources":["../../src/core/glob-diagnosis.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAGpD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,YAAY,GAAG,iBAAiB,GAAG,UAAU,CAAA;AAErF,UAAU,aAAa;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,2EAA2E;AAC3E,eAAO,MAAM,SAAS,gEAAgE,CAAA;AAEtF;;;;;;;;;;GAUG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAGlD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EACtB,IAAI,GAAE,QAAQ,CAAC,MAAM,CAAc,GAClC,aAAa,GAAG,YAAY,GAAG,SAAS,CAiB1C;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,EACd,QAAQ,EAAE,YAAY,EACtB,OAAO,CAAC,EAAE,OAAO,GAChB,aAAa,CA0Bf;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,cAAc,GAAG,sBAAsB,CAAA;AAEjF,wBAAgB,aAAa,CAAC,SAAS,EAAE,aAAa,GAAG,aAAa,GAAG,SAAS,CAsBjF;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CA4BtE,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,CAY/E,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAgB5D,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAoC3D,CAAA"}