@descent-vtt/spec-guard 0.2.0 → 0.4.0

package/dist/scope.d.ts

@@ -0,0 +1,108 @@
+/**
+ * Search scope: what an assertion actually looked at.
+ *
+ * An assertion's answer is worth exactly as much as the set of files behind it.
+ * "`LegacyThing` appears nowhere in `src`" is a useful claim; "`LegacyThing`
+ * appears nowhere in the part of `src` we happened to walk" is not, and the two
+ * are indistinguishable in a report that only prints a count.
+ *
+ * So every file under a target lands in exactly one of three states, and the
+ * third one is never silent:
+ *
+ *   inspected  - read and searched.
+ *   excluded   - the assertion's own `exclude`/`glob` said so. Not reported:
+ *                the user asked for it and already knows.
+ *   skipped    - spec-guard decided. Always counted, always reported.
+ *
+ * Skips split further, because two very different things were being conflated:
+ *
+ *   policy      - `.git`, `node_modules`. Deliberate, uninteresting, and not a
+ *                 gap in the analysis. Reported as a total.
+ *   uncertainty - a file that could not be read, or whose bytes are not text.
+ *                 These are gaps: the file might contain the symbol and nobody
+ *                 knows. Reported individually, and `--strict` fails on them.
+ *
+ * The policy list is deliberately tiny. Every name on it is a place where the
+ * tool can be sure it is not looking at your code: version-control object
+ * stores, which hold compressed copies of code you already deleted, and
+ * dependency trees, which hold code you did not write. Names like `dist`,
+ * `build`, `out` and `coverage` are **not** on it, because spec-guard cannot
+ * tell a build output directory from a directory of build scripts, and a guess
+ * that goes the wrong way is exactly the silent false green this module exists
+ * to prevent. Narrowing scope is the assertion's job, through `exclude`.
+ */
+/** Why spec-guard, rather than the user, left a path out. */
+export type SkipReason = 'vcs' | 'dependencies' | 'unreadable' | 'binary';
+/**
+ * Reasons that represent a gap in the analysis rather than a deliberate
+ * omission. These are what `--strict` refuses to pass over.
+ */
+export declare const UNCERTAIN_REASONS: ReadonlySet<SkipReason>;
+/**
+ * Directory names skipped unless `--no-default-skips` is given.
+ *
+ * Four names, each one a place where anything found would be misleading rather
+ * than merely noisy: a version-control store answers "did this ever exist",
+ * not "does this exist", and a dependency tree answers for somebody else's
+ * code.
+ */
+export declare const DEFAULT_SKIPPED_DIRECTORIES: ReadonlyMap<string, SkipReason>;
+/**
+ * What a run is allowed to look at.
+ *
+ * One object, shared by both engines: the JavaScript walker consults it
+ * directly and the ripgrep arguments are derived from it, so the two cannot
+ * drift apart without a test noticing.
+ */
+export interface ScopePolicy {
+    /** Directory names to skip, and why. Empty under `--no-default-skips`. */
+    readonly skippedDirectories: ReadonlyMap<string, SkipReason>;
+}
+export declare const DEFAULT_SCOPE: ScopePolicy;
+/** A policy that walks everything, for when only certainty will do. */
+export declare const SCAN_EVERYTHING: ScopePolicy;
+export declare function createScope(useDefaultSkips: boolean): ScopePolicy;
+/** One path spec-guard declined to inspect, with the reason. */
+export interface SkippedPath {
+    /** Path relative to the run root, POSIX separators. */
+    readonly path: string;
+    readonly reason: SkipReason;
+    /**
+     * Matches found inside a file that was not counted.
+     *
+     * Only meaningful for `binary`: the bytes were searched, so we know whether
+     * ignoring the file mattered. A binary file with no match is a non-event; a
+     * binary file *with* one is the difference between a real pass and a lie.
+     */
+    readonly matches?: number;
+}
+/** How many paths were skipped, by reason, plus a sample for the report. */
+export interface ScopeLedger {
+    readonly skipped: readonly SkippedPath[];
+}
+export declare const EMPTY_LEDGER: ScopeLedger;
+/** Longest list of skipped paths a single result will carry. */
+export declare const MAX_LEDGER_ENTRIES = 100;
+/** Accumulates skips without letting a pathological tree exhaust memory. */
+export declare class LedgerBuilder {
+    private readonly entries;
+    private readonly counts;
+    add(path: string, reason: SkipReason, matches?: number): void;
+    /** How many paths carried this reason, including any beyond the sample cap. */
+    count(reason: SkipReason): number;
+    build(): ScopeLedger;
+}
+/** Totals per reason, computed from a ledger. */
+export declare function tallyLedger(ledger: ScopeLedger): Map<SkipReason, number>;
+/** Merges ledgers from several searches into one. */
+export declare function mergeLedgers(ledgers: readonly ScopeLedger[]): ScopeLedger;
+/**
+ * True when the bytes are not text.
+ *
+ * A NUL anywhere means binary, which is the same question ripgrep answers when
+ * it reports a `binary_offset` and stops. Checking only a prefix - the usual
+ * shortcut - would disagree with ripgrep on any file whose first NUL comes
+ * late, and disagreeing engines are the defect this module exists to remove.
+ */
+export declare function isBinary(buffer: Buffer): boolean;
+//# sourceMappingURL=scope.d.ts.map

package/dist/scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../src/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,cAAc,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE1E;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,UAAU,CAAiD,CAAC;AAExG;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAKtE,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,0EAA0E;IAC1E,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAC9D;AAED,eAAO,MAAM,aAAa,EAAE,WAAiE,CAAC;AAE9F,uEAAuE;AACvE,eAAO,MAAM,eAAe,EAAE,WAA+C,CAAC;AAE9E,wBAAgB,WAAW,CAAC,eAAe,EAAE,OAAO,GAAG,WAAW,CAEjE;AAED,gEAAgE;AAChE,MAAM,WAAW,WAAW;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,4EAA4E;AAC5E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C;AAED,eAAO,MAAM,YAAY,EAAE,WAA6B,CAAC;AAEzD,gEAAgE;AAChE,eAAO,MAAM,kBAAkB,MAAM,CAAC;AAEtC,4EAA4E;AAC5E,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAqB;IAC7C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAiC;IAExD,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAK5D;IAED,+EAA+E;IAC/E,KAAK,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAEhC;IAED,KAAK,IAAI,WAAW,CAEnB;CACF;AAED,iDAAiD;AACjD,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAMxE;AAED,qDAAqD;AACrD,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,WAAW,CAYzE;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEhD"}

package/dist/scope.js

@@ -0,0 +1,115 @@
+/**
+ * Search scope: what an assertion actually looked at.
+ *
+ * An assertion's answer is worth exactly as much as the set of files behind it.
+ * "`LegacyThing` appears nowhere in `src`" is a useful claim; "`LegacyThing`
+ * appears nowhere in the part of `src` we happened to walk" is not, and the two
+ * are indistinguishable in a report that only prints a count.
+ *
+ * So every file under a target lands in exactly one of three states, and the
+ * third one is never silent:
+ *
+ *   inspected  - read and searched.
+ *   excluded   - the assertion's own `exclude`/`glob` said so. Not reported:
+ *                the user asked for it and already knows.
+ *   skipped    - spec-guard decided. Always counted, always reported.
+ *
+ * Skips split further, because two very different things were being conflated:
+ *
+ *   policy      - `.git`, `node_modules`. Deliberate, uninteresting, and not a
+ *                 gap in the analysis. Reported as a total.
+ *   uncertainty - a file that could not be read, or whose bytes are not text.
+ *                 These are gaps: the file might contain the symbol and nobody
+ *                 knows. Reported individually, and `--strict` fails on them.
+ *
+ * The policy list is deliberately tiny. Every name on it is a place where the
+ * tool can be sure it is not looking at your code: version-control object
+ * stores, which hold compressed copies of code you already deleted, and
+ * dependency trees, which hold code you did not write. Names like `dist`,
+ * `build`, `out` and `coverage` are **not** on it, because spec-guard cannot
+ * tell a build output directory from a directory of build scripts, and a guess
+ * that goes the wrong way is exactly the silent false green this module exists
+ * to prevent. Narrowing scope is the assertion's job, through `exclude`.
+ */
+/**
+ * Reasons that represent a gap in the analysis rather than a deliberate
+ * omission. These are what `--strict` refuses to pass over.
+ */
+export const UNCERTAIN_REASONS = new Set(['unreadable', 'binary']);
+/**
+ * Directory names skipped unless `--no-default-skips` is given.
+ *
+ * Four names, each one a place where anything found would be misleading rather
+ * than merely noisy: a version-control store answers "did this ever exist",
+ * not "does this exist", and a dependency tree answers for somebody else's
+ * code.
+ */
+export const DEFAULT_SKIPPED_DIRECTORIES = new Map([
+    ['.git', 'vcs'],
+    ['.hg', 'vcs'],
+    ['.svn', 'vcs'],
+    ['node_modules', 'dependencies'],
+]);
+export const DEFAULT_SCOPE = { skippedDirectories: DEFAULT_SKIPPED_DIRECTORIES };
+/** A policy that walks everything, for when only certainty will do. */
+export const SCAN_EVERYTHING = { skippedDirectories: new Map() };
+export function createScope(useDefaultSkips) {
+    return useDefaultSkips ? DEFAULT_SCOPE : SCAN_EVERYTHING;
+}
+export const EMPTY_LEDGER = { skipped: [] };
+/** Longest list of skipped paths a single result will carry. */
+export const MAX_LEDGER_ENTRIES = 100;
+/** Accumulates skips without letting a pathological tree exhaust memory. */
+export class LedgerBuilder {
+    entries = [];
+    counts = new Map();
+    add(path, reason, matches) {
+        this.counts.set(reason, (this.counts.get(reason) ?? 0) + 1);
+        if (this.entries.length < MAX_LEDGER_ENTRIES) {
+            this.entries.push(matches === undefined ? { path, reason } : { path, reason, matches });
+        }
+    }
+    /** How many paths carried this reason, including any beyond the sample cap. */
+    count(reason) {
+        return this.counts.get(reason) ?? 0;
+    }
+    build() {
+        return { skipped: this.entries };
+    }
+}
+/** Totals per reason, computed from a ledger. */
+export function tallyLedger(ledger) {
+    const totals = new Map();
+    for (const entry of ledger.skipped) {
+        totals.set(entry.reason, (totals.get(entry.reason) ?? 0) + 1);
+    }
+    return totals;
+}
+/** Merges ledgers from several searches into one. */
+export function mergeLedgers(ledgers) {
+    const seen = new Set();
+    const skipped = [];
+    for (const ledger of ledgers) {
+        for (const entry of ledger.skipped) {
+            const key = `${entry.reason}:${entry.path}`;
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            if (skipped.length < MAX_LEDGER_ENTRIES)
+                skipped.push(entry);
+        }
+    }
+    return { skipped };
+}
+/**
+ * True when the bytes are not text.
+ *
+ * A NUL anywhere means binary, which is the same question ripgrep answers when
+ * it reports a `binary_offset` and stops. Checking only a prefix - the usual
+ * shortcut - would disagree with ripgrep on any file whose first NUL comes
+ * late, and disagreeing engines are the defect this module exists to remove.
+ */
+export function isBinary(buffer) {
+    return buffer.includes(0);
+}
+//# sourceMappingURL=scope.js.map

package/dist/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../src/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAKH;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA4B,IAAI,GAAG,CAAa,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExG;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAoC,IAAI,GAAG,CAAqB;IACtG,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,cAAc,EAAE,cAAc,CAAC;CACjC,CAAC,CAAC;AAcH,MAAM,CAAC,MAAM,aAAa,GAAgB,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,CAAC;AAE9F,uEAAuE;AACvE,MAAM,CAAC,MAAM,eAAe,GAAgB,EAAE,kBAAkB,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAE9E,MAAM,UAAU,WAAW,CAAC,eAAwB;IAClD,OAAO,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC;AAC3D,CAAC;AAsBD,MAAM,CAAC,MAAM,YAAY,GAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAEzD,gEAAgE;AAChE,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAEtC,4EAA4E;AAC5E,MAAM,OAAO,aAAa;IACP,OAAO,GAAkB,EAAE,CAAC;IAC5B,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAExD,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAE,OAAgB;QACpD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;YAC7C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,KAAK,CAAC,MAAkB;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAED,KAAK;QACH,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC;CACF;AAED,iDAAiD;AACjD,MAAM,UAAU,WAAW,CAAC,MAAmB;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,YAAY,CAAC,OAA+B;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC"}

package/dist/types.d.ts

@@ -1,3 +1,4 @@
+import type { ScopeLedger, ScopePolicy } from './scope.js';
 /**
  * Shared types for spec-guard.
  *
@@ -5,7 +6,14 @@
  *   parser -> Directive[]  ->  runner (+ engine) -> AssertionResult[]  ->  reporter
  */
 /** The three assertion kinds understood by the parser. */
-export type DirectiveKind = 'assert-absence' | 'assert-count' | 'assert-present';
+export type DirectiveKind = 'assert-absence' | 'assert-count' | 'assert-present' | 'assert-import-absence' | 'assert-import-count';
+/** Extra scope carried by the import assertions. */
+export interface ImportQuery {
+    /** Module patterns, matched with gitignore-style rules. */
+    modules: string[];
+    /** Whether `import type` / `export type` count as dependencies. */
+    includeTypes: boolean;
+}
 /** Source location of a directive inside a spec file. */
 export interface SourceLocation {
     /** Absolute path to the spec file. */
@@ -45,6 +53,26 @@ export interface SearchOptions {
     ignoreCase: boolean;
     /** Include-only glob filters, e.g. `*.ts`. Empty means "every file". */
     globs: string[];
+    /**
+     * Paths to leave out, gitignore-style: a bare name matches any segment, so
+     * `tests` excludes that directory wherever it appears.
+     */
+    excludeGlobs: string[];
+    /**
+     * Skip matches that sit inside comments.
+     *
+     * On by default: the comment recording that a symbol was removed should not
+     * be what proves the symbol is still there.
+     */
+    ignoreComments: boolean;
+    /**
+     * What the walk is allowed to look at.
+     *
+     * Lives on the options, not on the engine, because both engines read it: the
+     * scanner consults it while walking and the ripgrep arguments are derived
+     * from it. One policy, so the two cannot drift.
+     */
+    scope: ScopePolicy;
     /** Absolute file paths to exclude from results (the spec files themselves). */
     excludeFiles: ReadonlySet<string>;
 }
@@ -69,6 +97,12 @@ export interface MatchLocation {
 export interface SearchResult {
     /** Total number of matched occurrences (not lines). */
     count: number;
+    /** Matches excluded because they were inside comments. */
+    commentMatches: number;
+    /** Files whose language has no known comment syntax, so nothing was excluded. */
+    unclassifiedFiles: number;
+    /** What was not inspected, and why. Never empty for a reason nobody stated. */
+    scope: ScopeLedger;
     /** Up to `maxSnippets` match locations, in file order. */
     matches: MatchLocation[];
     /** Engine that produced this result. */
@@ -91,6 +125,8 @@ export interface Assertion {
     files: string[];
     bounds: Bounds;
     search?: SearchOptions;
+    /** Present on the import assertions. */
+    imports?: ImportQuery;
     /** Targets that do not exist on disk. */
     missingTargets: string[];
 }
@@ -110,6 +146,16 @@ export interface AssertionResult {
     message: string;
     matches: MatchLocation[];
     warnings: string[];
+    /**
+     * Matches that were found but not counted because they sat inside comments.
+     * Reported rather than discarded: comment exclusion is the only thing that
+     * can turn a failure into a pass without anyone touching code.
+     */
+    commentMatches: number;
+    /** Matching files whose language is unknown, so their comments counted as code. */
+    unclassifiedFiles: number;
+    /** What this assertion did not inspect, and why. */
+    scope: ScopeLedger;
     engine?: EngineName;
     durationMs: number;
 }

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,0DAA0D;AAC1D,MAAM,MAAM,aAAa,GAAG,gBAAgB,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAEjF,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,YAAY,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,oEAAoE;AACpE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7C,QAAQ,EAAE,cAAc,CAAC;IACzB,uDAAuD;IACvD,GAAG,EAAE,MAAM,CAAC;CACb;AAED,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,MAAM,EAAE,cAAc,EAAE,CAAC;CAC1B;AAED,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,0EAA0E;IAC1E,KAAK,EAAE,OAAO,CAAC;IACf,iEAAiE;IACjE,IAAI,EAAE,OAAO,CAAC;IACd,iCAAiC;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,wEAAwE;IACxE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,+EAA+E;IAC/E,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACnC;AAED,qDAAqD;AACrD,MAAM,WAAW,MAAM;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,yDAAyD;AACzD,MAAM,WAAW,aAAa;IAC5B,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,wCAAwC;IACxC,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,YAAY,CAAC;AAElD,kDAAkD;AAClD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,cAAc,CAAC;IACzB,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8DAA8D;IAC9D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB,yCAAyC;IACzC,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,cAAc,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,UAAU,CAAC;IACpB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,oEAAoE;IACpE,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,kDAAkD;IAClD,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;GAKG;AAEH,0DAA0D;AAC1D,MAAM,MAAM,aAAa,GACrB,gBAAgB,GAChB,cAAc,GACd,gBAAgB,GAChB,uBAAuB,GACvB,qBAAqB,CAAC;AAE1B,oDAAoD;AACpD,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,mEAAmE;IACnE,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,YAAY,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,oEAAoE;AACpE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7C,QAAQ,EAAE,cAAc,CAAC;IACzB,uDAAuD;IACvD,GAAG,EAAE,MAAM,CAAC;CACb;AAED,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,MAAM,EAAE,cAAc,EAAE,CAAC;CAC1B;AAED,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,0EAA0E;IAC1E,KAAK,EAAE,OAAO,CAAC;IACf,iEAAiE;IACjE,IAAI,EAAE,OAAO,CAAC;IACd,iCAAiC;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,wEAAwE;IACxE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB;;;OAGG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;OAKG;IACH,cAAc,EAAE,OAAO,CAAC;IACxB;;;;;;OAMG;IACH,KAAK,EAAE,WAAW,CAAC;IACnB,+EAA+E;IAC/E,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACnC;AAED,qDAAqD;AACrD,MAAM,WAAW,MAAM;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,yDAAyD;AACzD,MAAM,WAAW,aAAa;IAC5B,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,cAAc,EAAE,MAAM,CAAC;IACvB,iFAAiF;IACjF,iBAAiB,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,KAAK,EAAE,WAAW,CAAC;IACnB,0DAA0D;IAC1D,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,wCAAwC;IACxC,MAAM,EAAE,UAAU,CAAC;CACpB;AAED,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,YAAY,CAAC;AAElD,kDAAkD;AAClD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,cAAc,CAAC;IACzB,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8DAA8D;IAC9D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB,wCAAwC;IACxC,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,yCAAyC;IACzC,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,cAAc,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;;OAIG;IACH,cAAc,EAAE,MAAM,CAAC;IACvB,mFAAmF;IACnF,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oDAAoD;IACpD,KAAK,EAAE,WAAW,CAAC;IACnB,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,UAAU,CAAC;IACpB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,oEAAoE;IACpE,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,kDAAkD;IAClD,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB"}

package/dist/types.js

@@ -1,8 +1,2 @@
-/**
- * Shared types for spec-guard.
- *
- * The pipeline is deliberately linear and side-effect free until the very edge:
- *   parser -> Directive[]  ->  runner (+ engine) -> AssertionResult[]  ->  reporter
- */
 export {};
 //# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@descent-vtt/spec-guard",
-  "version": "0.2.0",
+  "version": "0.4.0",
   "description": "Executable architecture assertions for Markdown specs & ADRs.",
   "keywords": [
     "adr",
@@ -32,6 +32,7 @@
   "files": [
     "bin",
     "dist",
+    "CHANGELOG.md",
     "README.md",
     "LICENSE"
   ],