@specship/specship-win32-arm64 0.24.0 → 0.28.0

package/lib/dist/graph/spec-coverage.d.ts

@@ -0,0 +1,142 @@
+/**
+ * Spec coverage rollup (REQ-VSTATE-006).
+ *
+ * Answers the one question nothing could answer before: which requirements and
+ * which individual acceptance criteria have PASSING TEST EVIDENCE.
+ *
+ * The rule that makes the number honest: a verdict derives ONLY from `tests`
+ * links. An `implements` link says code claims to satisfy the spec — it is not
+ * proof, so a criterion with implementation and no test reads `untested`
+ * (REQ-VSTATE-006.A3). This is the conflation the dashboard's
+ * implemented-counted-as-met display was built on.
+ */
+import type { Spec, SpecLink, SpecLinkState } from '../types';
+import type { SpecQueries } from '../db/spec-queries';
+import { type EvidenceKind } from '../spec-quality/evidence-kind';
+/**
+ * Coverage verdict for one spec node.
+ *
+ * - `untested`  no `tests` link at all (implementation alone lands here)
+ * - `tested`    tests are linked but none has a passing verification yet
+ * - `verified`  every linked test is `verified`
+ * - `broken`    at least one linked test is `broken` (worst state wins)
+ */
+export type CoverageVerdict = 'untested' | 'tested' | 'verified' | 'broken';
+/** Link counts by state for one link kind. */
+export interface LinkRollup {
+    count: number;
+    /** Per-state counts, e.g. `{ verified: 2, drifted: 1 }`. Only non-zero keys. */
+    states: Partial<Record<SpecLinkState, number>>;
+}
+/** Coverage for one acceptance criterion (or any leaf spec). */
+export interface CriterionCoverage {
+    specId: string;
+    title: string;
+    kind: Spec['kind'];
+    implementsLinks: LinkRollup;
+    testsLinks: LinkRollup;
+    verdict: CoverageVerdict;
+    /**
+     * The evidence kind this criterion requires (REQ-PIPETRUST-001) — declared
+     * inline or derived. Advisory alongside the verdict; never changes it.
+     */
+    requiredKind: EvidenceKind;
+    /** Kinds actually provided by the criterion's usable `tests` links (REQ-PIPETRUST-003). */
+    presentKinds: EvidenceKind[];
+    /** True when `presentKinds` includes `requiredKind`. */
+    kindSatisfied: boolean;
+}
+/** Per-criterion evidence-kind result (REQ-PIPETRUST-003). */
+export interface EvidenceKindResult {
+    requiredKind: EvidenceKind;
+    presentKinds: EvidenceKind[];
+    kindSatisfied: boolean;
+}
+export interface EvidenceKindOptions {
+    /** Implements links whose targets decide `linksUi` / `linksRoute`. */
+    implementsLinks?: SpecLink[];
+    /** Root that relative link target paths resolve against (default: cwd). */
+    projectRoot?: string;
+    /** Test-file classifier; defaults to reading the file. Injectable for caching. */
+    classify?: (absPath: string, relPath: string) => EvidenceKind;
+}
+export interface SpecCoverageOptions {
+    /** Project root for reading linked test files when classifying evidence kind. */
+    projectRoot?: string;
+}
+/** Coverage for one requirement plus each of its criteria. */
+export interface RequirementCoverage extends CriterionCoverage {
+    criteria: CriterionCoverage[];
+    /** Criteria whose verdict is `verified` / `tested` / `broken` / `untested`. */
+    criteriaTotals: Record<CoverageVerdict, number>;
+    /** Criteria carrying at least one `tests` link — the "N of M" numerator. */
+    criteriaWithTests: number;
+    /** Criteria counted, or 1 when the requirement has none (itself). */
+    criteriaCount: number;
+}
+export interface SpecCoverageReport {
+    /** The spec the report was scoped to, or null for the whole project. */
+    specId: string | null;
+    requirements: RequirementCoverage[];
+    totals: {
+        requirements: number;
+        criteria: number;
+        criteriaWithTests: number;
+        criteriaVerified: number;
+        criteriaBroken: number;
+    };
+    /** Evidence-kind rollup (REQ-PIPETRUST-003) — kept out of `totals` so its shape is unchanged. */
+    evidence: {
+        /** Criteria (requirements with none count as one) lacking their required kind. */
+        criteriaMissingKind: number;
+    };
+}
+/**
+ * Verdict from `tests` links alone (REQ-VSTATE-006.A1 / .A3). Links flagged as
+ * non-test evidence (a `verifies:` bullet aimed at a fixture — REQ-VSTATE-002.A4)
+ * are not counted: they cannot prove anything, so a criterion "covered" only by
+ * one stays `untested`.
+ */
+export declare function verdictFor(testsLinks: SpecLink[]): CoverageVerdict;
+/**
+ * Required vs present evidence kind for one criterion (REQ-PIPETRUST-003.A1).
+ *
+ * Required: {@link requiredEvidenceKind} over the criterion text, with
+ * `linksUi` / `linksRoute` read from the given implements links (a UI file
+ * extension, or a target node of kind `route`). Present: the kind of each
+ * usable `tests` link's target file — links flagged as non-test evidence are
+ * ignored, exactly as the verdict ignores them. Link state does not matter
+ * here: the verdict already says whether the tests pass.
+ */
+export declare function evidenceKindCoverage(criterionText: string, testsLinks: SpecLink[], opts?: EvidenceKindOptions): EvidenceKindResult;
+/**
+ * Compute the coverage rollup for one spec, or for every requirement in the
+ * project when `specId` is omitted.
+ *
+ * Scoping: a `document` id expands to its requirement children; a `requirement`
+ * id is itself; anything else (an acceptance criterion, a domain fact, a brief)
+ * is reported as a single entry with no children. An unknown id — or a spec with
+ * no children and no links — returns an empty-but-valid report, never an error
+ * (REQ-VSTATE-006.A4).
+ */
+export declare function computeSpecCoverage(sq: SpecQueries, specId?: string, options?: SpecCoverageOptions): SpecCoverageReport;
+/**
+ * Every in-scope criterion lacking its required evidence kind — the list
+ * `specship coverage` flags, as `{ specId, requiredKind, presentKinds }`. A
+ * requirement with no criteria stands in as its own single criterion.
+ */
+export declare function criteriaMissingKind(report: SpecCoverageReport): CriterionCoverage[];
+/**
+ * Exit code for `specship coverage --require-kinds` (REQ-PIPETRUST-003.A2):
+ * non-zero when any in-scope criterion lacks its required kind, else zero.
+ * Without the flag the command never fails on kinds.
+ */
+export declare function requireKindsExitCode(report: SpecCoverageReport, requireKinds: boolean): number;
+/**
+ * The single coverage line the implement workflow's human gate rests on
+ * (REQ-VSTATE-005.A2). Rendered here, from the same report `getSpecCoverage`
+ * returns, so the workflow's number and the API's number cannot disagree —
+ * previously an LLM counted it by eye.
+ */
+export declare function formatCoverageLine(report: SpecCoverageReport): string;
+//# sourceMappingURL=spec-coverage.d.ts.map

package/lib/dist/graph/spec-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-coverage.d.ts","sourceRoot":"","sources":["../../src/graph/spec-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGtD,OAAO,EAIL,KAAK,YAAY,EAClB,MAAM,+BAA+B,CAAC;AAKvC;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE5E,8CAA8C;AAC9C,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,gFAAgF;IAChF,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;CAChD;AAED,gEAAgE;AAChE,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,eAAe,EAAE,UAAU,CAAC;IAC5B,UAAU,EAAE,UAAU,CAAC;IACvB,OAAO,EAAE,eAAe,CAAC;IACzB;;;OAGG;IACH,YAAY,EAAE,YAAY,CAAC;IAC3B,2FAA2F;IAC3F,YAAY,EAAE,YAAY,EAAE,CAAC;IAC7B,wDAAwD;IACxD,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,8DAA8D;AAC9D,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,YAAY,CAAC;IAC3B,YAAY,EAAE,YAAY,EAAE,CAAC;IAC7B,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,sEAAsE;IACtE,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC7B,2EAA2E;IAC3E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kFAAkF;IAClF,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,YAAY,CAAC;CAC/D;AAED,MAAM,WAAW,mBAAmB;IAClC,iFAAiF;IACjF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,8DAA8D;AAC9D,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,+EAA+E;IAC/E,cAAc,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAChD,4EAA4E;IAC5E,iBAAiB,EAAE,MAAM,CAAC;IAC1B,qEAAqE;IACrE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,wEAAwE;IACxE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,MAAM,EAAE;QACN,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,gBAAgB,EAAE,MAAM,CAAC;QACzB,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,iGAAiG;IACjG,QAAQ,EAAE;QACR,kFAAkF;QAClF,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAQD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,eAAe,CAMlE;AAWD;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,QAAQ,EAAE,EACtB,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CAgBpB;AAsCD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,WAAW,EACf,MAAM,CAAC,EAAE,MAAM,EACf,OAAO,GAAE,mBAAwB,GAChC,kBAAkB,CAwFpB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,GAAG,iBAAiB,EAAE,CAOnF;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,OAAO,GAAG,MAAM,CAG9F;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,kBAAkB,GAAG,MAAM,CAIrE"}

package/lib/dist/graph/spec-coverage.js

@@ -0,0 +1,276 @@
+"use strict";
+/**
+ * Spec coverage rollup (REQ-VSTATE-006).
+ *
+ * Answers the one question nothing could answer before: which requirements and
+ * which individual acceptance criteria have PASSING TEST EVIDENCE.
+ *
+ * The rule that makes the number honest: a verdict derives ONLY from `tests`
+ * links. An `implements` link says code claims to satisfy the spec — it is not
+ * proof, so a criterion with implementation and no test reads `untested`
+ * (REQ-VSTATE-006.A3). This is the conflation the dashboard's
+ * implemented-counted-as-met display was built on.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.verdictFor = verdictFor;
+exports.evidenceKindCoverage = evidenceKindCoverage;
+exports.computeSpecCoverage = computeSpecCoverage;
+exports.criteriaMissingKind = criteriaMissingKind;
+exports.requireKindsExitCode = requireKindsExitCode;
+exports.formatCoverageLine = formatCoverageLine;
+const test_title_links_1 = require("../resolution/test-title-links");
+const path = __importStar(require("path"));
+const evidence_kind_1 = require("../spec-quality/evidence-kind");
+/** Matches behaviour-surface's `UI_FILE`: a direct link to one of these is UI code. */
+const UI_FILE = /\.(tsx|jsx|vue|svelte|astro)$/i;
+function rollup(links) {
+    const states = {};
+    for (const l of links)
+        states[l.state] = (states[l.state] ?? 0) + 1;
+    return { count: links.length, states };
+}
+/**
+ * Verdict from `tests` links alone (REQ-VSTATE-006.A1 / .A3). Links flagged as
+ * non-test evidence (a `verifies:` bullet aimed at a fixture — REQ-VSTATE-002.A4)
+ * are not counted: they cannot prove anything, so a criterion "covered" only by
+ * one stays `untested`.
+ */
+function verdictFor(testsLinks) {
+    const usable = testsLinks.filter((l) => !(0, test_title_links_1.isNonTestEvidence)(l));
+    if (usable.length === 0)
+        return 'untested';
+    if (usable.some((l) => l.state === 'broken'))
+        return 'broken';
+    if (usable.every((l) => l.state === 'verified'))
+        return 'verified';
+    return 'tested';
+}
+/** Worst-wins merge, so a rollup never reads better than its worst part. */
+function mergeVerdicts(verdicts) {
+    if (verdicts.length === 0)
+        return 'untested';
+    if (verdicts.includes('broken'))
+        return 'broken';
+    if (verdicts.includes('untested'))
+        return 'untested';
+    if (verdicts.every((v) => v === 'verified'))
+        return 'verified';
+    return 'tested';
+}
+/**
+ * Required vs present evidence kind for one criterion (REQ-PIPETRUST-003.A1).
+ *
+ * Required: {@link requiredEvidenceKind} over the criterion text, with
+ * `linksUi` / `linksRoute` read from the given implements links (a UI file
+ * extension, or a target node of kind `route`). Present: the kind of each
+ * usable `tests` link's target file — links flagged as non-test evidence are
+ * ignored, exactly as the verdict ignores them. Link state does not matter
+ * here: the verdict already says whether the tests pass.
+ */
+function evidenceKindCoverage(criterionText, testsLinks, opts = {}) {
+    const impl = opts.implementsLinks ?? [];
+    const requiredKind = (0, evidence_kind_1.requiredEvidenceKind)(criterionText, {
+        linksUi: impl.some((l) => UI_FILE.test(l.targetFilePath ?? '')),
+        linksRoute: impl.some((l) => l.targetNodeKind === 'route'),
+    });
+    const classify = opts.classify ?? ((abs) => (0, evidence_kind_1.classifyTestEvidence)(abs));
+    const present = new Set();
+    for (const l of testsLinks) {
+        if (l.kind !== 'tests' || (0, test_title_links_1.isNonTestEvidence)(l) || !l.targetFilePath)
+            continue;
+        const rel = l.targetFilePath;
+        const abs = path.isAbsolute(rel) || !opts.projectRoot ? rel : path.join(opts.projectRoot, rel);
+        present.add(classify(abs, rel));
+    }
+    const presentKinds = evidence_kind_1.EVIDENCE_KINDS.filter((k) => present.has(k));
+    return { requiredKind, presentKinds, kindSatisfied: present.has(requiredKind) };
+}
+/** Classify each test file once per report, keyed by absolute path. */
+function cachedClassifier() {
+    const cache = new Map();
+    return (abs) => {
+        let k = cache.get(abs);
+        if (!k) {
+            k = (0, evidence_kind_1.classifyTestEvidence)(abs);
+            cache.set(abs, k);
+        }
+        return k;
+    };
+}
+function coverageOf(sq, spec, kindOpts) {
+    const links = sq.getLinksBySpec(spec.id);
+    const testsLinks = links.filter((l) => l.kind === 'tests');
+    const implementsLinks = links.filter((l) => l.kind === 'implements');
+    const kinds = evidenceKindCoverage(spec.body ?? spec.title, testsLinks, {
+        ...kindOpts,
+        implementsLinks: [...(kindOpts.extraImplements ?? []), ...implementsLinks],
+    });
+    return {
+        specId: spec.id,
+        title: spec.title,
+        kind: spec.kind,
+        implementsLinks: rollup(implementsLinks),
+        testsLinks: rollup(testsLinks),
+        verdict: verdictFor(testsLinks),
+        ...kinds,
+    };
+}
+/**
+ * Compute the coverage rollup for one spec, or for every requirement in the
+ * project when `specId` is omitted.
+ *
+ * Scoping: a `document` id expands to its requirement children; a `requirement`
+ * id is itself; anything else (an acceptance criterion, a domain fact, a brief)
+ * is reported as a single entry with no children. An unknown id — or a spec with
+ * no children and no links — returns an empty-but-valid report, never an error
+ * (REQ-VSTATE-006.A4).
+ */
+function computeSpecCoverage(sq, specId, options = {}) {
+    const kindOpts = {
+        projectRoot: options.projectRoot,
+        classify: cachedClassifier(),
+    };
+    let roots;
+    if (specId) {
+        const spec = sq.getSpecById(specId);
+        if (!spec) {
+            return {
+                specId,
+                requirements: [],
+                totals: { requirements: 0, criteria: 0, criteriaWithTests: 0, criteriaVerified: 0, criteriaBroken: 0 },
+                evidence: { criteriaMissingKind: 0 },
+            };
+        }
+        roots =
+            spec.kind === 'document'
+                ? sq.getSpecsByParent(spec.id).filter((s) => s.kind === 'requirement')
+                : [spec];
+    }
+    else {
+        roots = sq.getAllSpecs().filter((s) => s.kind === 'requirement');
+    }
+    const requirements = roots.map((req) => {
+        const own = coverageOf(sq, req, kindOpts);
+        // A criterion inherits the requirement's direct implements links when
+        // deciding UI / route (REQ-PIPETRUST-001.A2 — "a requirement linked to…").
+        const reqImplements = sq.getLinksBySpec(req.id).filter((l) => l.kind === 'implements');
+        const criteria = sq
+            .getSpecsByParent(req.id)
+            .filter((c) => c.kind === 'acceptance')
+            .map((c) => coverageOf(sq, c, { ...kindOpts, extraImplements: reqImplements }));
+        const criteriaTotals = {
+            untested: 0,
+            tested: 0,
+            verified: 0,
+            broken: 0,
+        };
+        for (const c of criteria)
+            criteriaTotals[c.verdict]++;
+        // A requirement with no acceptance children IS its own single criterion —
+        // the same convention the workflow coverage line has always used.
+        const criteriaCount = criteria.length > 0 ? criteria.length : 1;
+        // "has linked tests" means USABLE test evidence — `untested` is exactly the
+        // verdict for "no tests link that could ever prove this".
+        const criteriaWithTests = criteria.length > 0
+            ? criteria.filter((c) => c.verdict !== 'untested').length
+            : own.verdict === 'untested'
+                ? 0
+                : 1;
+        if (criteria.length === 0)
+            criteriaTotals[own.verdict]++;
+        return {
+            ...own,
+            verdict: mergeVerdicts(criteria.length > 0 ? criteria.map((c) => c.verdict) : [own.verdict]),
+            // A requirement's kind is satisfied only when every criterion's is; with
+            // no criteria it is its own single criterion.
+            kindSatisfied: criteria.length > 0 ? criteria.every((c) => c.kindSatisfied) : own.kindSatisfied,
+            criteria,
+            criteriaTotals,
+            criteriaWithTests,
+            criteriaCount,
+        };
+    });
+    const criteriaMissingKind = requirements.reduce((n, r) => n + (r.criteria.length > 0 ? r.criteria.filter((c) => !c.kindSatisfied).length : r.kindSatisfied ? 0 : 1), 0);
+    return {
+        specId: specId ?? null,
+        requirements,
+        totals: {
+            requirements: requirements.length,
+            criteria: requirements.reduce((n, r) => n + r.criteriaCount, 0),
+            criteriaWithTests: requirements.reduce((n, r) => n + r.criteriaWithTests, 0),
+            criteriaVerified: requirements.reduce((n, r) => n + r.criteriaTotals.verified, 0),
+            criteriaBroken: requirements.reduce((n, r) => n + r.criteriaTotals.broken, 0),
+        },
+        evidence: { criteriaMissingKind },
+    };
+}
+/**
+ * Every in-scope criterion lacking its required evidence kind — the list
+ * `specship coverage` flags, as `{ specId, requiredKind, presentKinds }`. A
+ * requirement with no criteria stands in as its own single criterion.
+ */
+function criteriaMissingKind(report) {
+    const out = [];
+    for (const r of report.requirements) {
+        if (r.criteria.length > 0)
+            out.push(...r.criteria.filter((c) => !c.kindSatisfied));
+        else if (!r.kindSatisfied)
+            out.push(r);
+    }
+    return out;
+}
+/**
+ * Exit code for `specship coverage --require-kinds` (REQ-PIPETRUST-003.A2):
+ * non-zero when any in-scope criterion lacks its required kind, else zero.
+ * Without the flag the command never fails on kinds.
+ */
+function requireKindsExitCode(report, requireKinds) {
+    if (!requireKinds)
+        return 0;
+    return criteriaMissingKind(report).length > 0 ? 1 : 0;
+}
+/**
+ * The single coverage line the implement workflow's human gate rests on
+ * (REQ-VSTATE-005.A2). Rendered here, from the same report `getSpecCoverage`
+ * returns, so the workflow's number and the API's number cannot disagree —
+ * previously an LLM counted it by eye.
+ */
+function formatCoverageLine(report) {
+    const subject = report.specId ?? 'the project';
+    const { criteriaWithTests, criteria } = report.totals;
+    return `${criteriaWithTests} of ${criteria} acceptance criteria for ${subject} have linked tests.`;
+}
+//# sourceMappingURL=spec-coverage.js.map

package/lib/dist/graph/spec-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-coverage.js","sourceRoot":"","sources":["../../src/graph/spec-coverage.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkHH,gCAMC;AAqBD,oDAoBC;AAgDD,kDA4FC;AAOD,kDAOC;AAOD,oDAGC;AAQD,gDAIC;AA7UD,qEAAmE;AACnE,2CAA6B;AAC7B,iEAKuC;AAEvC,uFAAuF;AACvF,MAAM,OAAO,GAAG,gCAAgC,CAAC;AAwFjD,SAAS,MAAM,CAAC,KAAiB;IAC/B,MAAM,MAAM,GAA2C,EAAE,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACpE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,SAAgB,UAAU,CAAC,UAAsB;IAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,oCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC9D,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACnE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,SAAS,aAAa,CAAC,QAA2B;IAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC7C,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IACjD,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACrD,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,oBAAoB,CAClC,aAAqB,EACrB,UAAsB,EACtB,OAA4B,EAAE;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;IACxC,MAAM,YAAY,GAAG,IAAA,oCAAoB,EAAC,aAAa,EAAE;QACvD,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;QAC/D,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,OAAO,CAAC;KAC3D,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,IAAA,oCAAoB,EAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,IAAA,oCAAiB,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc;YAAE,SAAS;QAC9E,MAAM,GAAG,GAAG,CAAC,CAAC,cAAc,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC/F,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,YAAY,GAAG,8BAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,uEAAuE;AACvE,SAAS,gBAAgB;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,OAAO,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,GAAG,IAAA,oCAAoB,EAAC,GAAG,CAAC,CAAC;YAC9B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,EAAe,EACf,IAAU,EACV,QAAgE;IAEhE,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE;QACtE,GAAG,QAAQ;QACX,eAAe,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,GAAG,eAAe,CAAC;KAC3E,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC;QACxC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC;QAC/B,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,mBAAmB,CACjC,EAAe,EACf,MAAe,EACf,UAA+B,EAAE;IAEjC,MAAM,QAAQ,GAAwB;QACpC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,QAAQ,EAAE,gBAAgB,EAAE;KAC7B,CAAC;IACF,IAAI,KAAa,CAAC;IAClB,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;gBACL,MAAM;gBACN,YAAY,EAAE,EAAE;gBAChB,MAAM,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;gBACtG,QAAQ,EAAE,EAAE,mBAAmB,EAAE,CAAC,EAAE;aACrC,CAAC;QACJ,CAAC;QACD,KAAK;YACH,IAAI,CAAC,IAAI,KAAK,UAAU;gBACtB,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;gBACtE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;SAAM,CAAC;QACN,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,YAAY,GAA0B,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5D,MAAM,GAAG,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC1C,sEAAsE;QACtE,2EAA2E;QAC3E,MAAM,aAAa,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACvF,MAAM,QAAQ,GAAG,EAAE;aAChB,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;QAElF,MAAM,cAAc,GAAoC;YACtD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;YACT,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;SACV,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAEtD,0EAA0E;QAC1E,kEAAkE;QAClE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,4EAA4E;QAC5E,0DAA0D;QAC1D,MAAM,iBAAiB,GACrB,QAAQ,CAAC,MAAM,GAAG,CAAC;YACjB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM;YACzD,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,UAAU;gBAC1B,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC,CAAC;QACV,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAEzD,OAAO;YACL,GAAG,GAAG;YACN,OAAO,EAAE,aAAa,CACpB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CACrE;YACD,yEAAyE;YACzE,8CAA8C;YAC9C,aAAa,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa;YAC/F,QAAQ;YACR,cAAc;YACd,iBAAiB;YACjB,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,mBAAmB,GAAG,YAAY,CAAC,MAAM,CAC7C,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3G,CAAC,CACF,CAAC;IAEF,OAAO;QACL,MAAM,EAAE,MAAM,IAAI,IAAI;QACtB,YAAY;QACZ,MAAM,EAAE;YACN,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;YAC/D,iBAAiB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC;YAC5E,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjF,cAAc,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;SAC9E;QACD,QAAQ,EAAE,EAAE,mBAAmB,EAAE;KAClC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,MAA0B;IAC5D,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;aAC9E,IAAI,CAAC,CAAC,CAAC,aAAa;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,oBAAoB,CAAC,MAA0B,EAAE,YAAqB;IACpF,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,CAAC;IAC5B,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,kBAAkB,CAAC,MAA0B;IAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,IAAI,aAAa,CAAC;IAC/C,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;IACtD,OAAO,GAAG,iBAAiB,OAAO,QAAQ,4BAA4B,OAAO,qBAAqB,CAAC;AACrG,CAAC"}

package/lib/dist/health/smoke-check.js

@@ -57,8 +57,8 @@ const path = __importStar(require("path"));
 const child_process_1 = require("child_process");
 const sqlite_adapter_1 = require("../db/sqlite-adapter");
 const directory_1 = require("../directory");
-const FTS5_REMEDIATION = 'Use the published bundle (node 24 with FTS5) or, when running from source, ' +
-    '`npm install --save-dev better-sqlite3` so FTS5 works on a host Node built without it.';
+const FTS5_REMEDIATION = 'Run on Node 24 (its built-in node:sqlite ships FTS5) or install better-sqlite3 ' +
+    '(`npm install --save-dev better-sqlite3`) so FTS5 works on a host Node built without it.';
 /** Open a throwaway SQLite db, hand it to `fn`, then clean up the file + WAL/SHM. */
 function withTempDb(fn) {
     const tmp = path.join(os.tmpdir(), `specship-smoke-${process.pid}-${process.hrtime.bigint()}.db`);

package/lib/dist/health/smoke-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"smoke-check.js","sourceRoot":"","sources":["../../src/health/smoke-check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkEH,oCAMC;AAGD,8BAUC;AAOD,oCA8CC;AAGD,kDAkBC;AAeD,sCAmDC;AAGD,wCAEC;AApOD,uCAAyB;AACzB,uCAAyB;AACzB,2CAA6B;AAC7B,iDAAsC;AACtC,yDAAsD;AACtD,4CAA6C;AA+B7C,MAAM,gBAAgB,GACpB,6EAA6E;IAC7E,wFAAwF,CAAC;AAE3F,qFAAqF;AACrF,SAAS,UAAU,CAAI,EAAgD;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,kBAAkB,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClG,IAAI,OAAsD,CAAC;IAC3D,IAAI,CAAC;QACH,OAAO,GAAG,IAAA,+BAAc,EAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC;QACtB,CAAC;QAAC,MAAM,CAAC;YACP,iBAAiB;QACnB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC;gBACH,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAChC,CAAC;YAAC,MAAM,CAAC;gBACP,iBAAiB;YACnB,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,6CAA6C;AAC7C,SAAgB,YAAY;IAC1B,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACzG,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAgB,SAAS;IACvB,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YACpC,EAAE,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YACxD,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YAChC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,OAAO,GAAG,EAAE,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACzG,CAAC;AACH,CAAC;AAED;;;;GAIG;AACI,KAAK,UAAU,YAAY,CAAC,IAA+C;IAChF,MAAM,GAAG,GAAG,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IAC9E,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,MAAM,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,EAAE;QAC5C,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,KAAK,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;YAC/E,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,EAAE;YAC5B,IAAI,OAAO;gBAAE,OAAO;YACpB,OAAO,GAAG,IAAI,CAAC;YACf,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,CAAC;gBACH,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,iBAAiB;YACnB,CAAC;YACD,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC,CAAC;QACvE,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YAC5B,GAAG,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1F,MAAM,CAAC,IAAI,CAAC,CAAC;YACf,CAAC;QACH,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,MAAM,IAAI,GACR,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE;gBACN,eAAe,EAAE,YAAY;gBAC7B,YAAY,EAAE,EAAE;gBAChB,UAAU,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE;aACrD;SACF,CAAC,GAAG,IAAI,CAAC;QACZ,IAAI,CAAC;YACH,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AAChF,KAAK,UAAU,mBAAmB,CACvC,WAAmB;IAEnB,IAAI,CAAC,IAAA,yBAAa,EAAC,WAAW,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC;IAC5G,CAAC;IACD,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,GAAG,wDAAa,UAAU,GAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAClC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC7D,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,OAAO,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3H,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,WAAmB;IACxC,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE;QAC7B,cAAc,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;KACvD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,aAAa,CAAC,IAGnC;IACC,MAAM,WAAW,GAAG,IAAI,EAAE,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACvD,MAAM,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC;IAE7D,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,cAAc,EAAE,CAAC;IAEvC,MAAM,KAAK,GAAqB;QAC9B;YACE,EAAE,EAAE,SAAS;YACb,KAAK,EAAE,gBAAgB;YACvB,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2DAA2D;SAClG;QACD;YACE,EAAE,EAAE,MAAM;YACV,KAAK,EAAE,yBAAyB;YAChC,EAAE,EAAE,GAAG,CAAC,EAAE;YACV,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB;SACnD;QACD;YACE,EAAE,EAAE,UAAU;YACd,KAAK,EAAE,kBAAkB;YACzB,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,0CAA0C;YACtG,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gFAAgF;SACjH;QACD;YACE,EAAE,EAAE,OAAO;YACX,KAAK,EAAE,yBAAyB;YAChC,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,yEAAyE;YACzE,mDAAmD;YACnD,QAAQ,EAAE,KAAK,CAAC,UAAU;YAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2CAA2C;SAChF;KACF,CAAC;IAEF,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC;AACnE,CAAC;AAED,mFAAmF;AACnF,SAAgB,cAAc,CAAC,MAAwB;IACrD,OAAO,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC"}
+{"version":3,"file":"smoke-check.js","sourceRoot":"","sources":["../../src/health/smoke-check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkEH,oCAMC;AAGD,8BAUC;AAOD,oCA8CC;AAGD,kDAkBC;AAeD,sCAmDC;AAGD,wCAEC;AApOD,uCAAyB;AACzB,uCAAyB;AACzB,2CAA6B;AAC7B,iDAAsC;AACtC,yDAAsD;AACtD,4CAA6C;AA+B7C,MAAM,gBAAgB,GACpB,iFAAiF;IACjF,0FAA0F,CAAC;AAE7F,qFAAqF;AACrF,SAAS,UAAU,CAAI,EAAgD;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,kBAAkB,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClG,IAAI,OAAsD,CAAC;IAC3D,IAAI,CAAC;QACH,OAAO,GAAG,IAAA,+BAAc,EAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC;QACtB,CAAC;QAAC,MAAM,CAAC;YACP,iBAAiB;QACnB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC;gBACH,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAChC,CAAC;YAAC,MAAM,CAAC;gBACP,iBAAiB;YACnB,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,6CAA6C;AAC7C,SAAgB,YAAY;IAC1B,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACzG,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAgB,SAAS;IACvB,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YACpC,EAAE,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YACxD,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YAChC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,OAAO,GAAG,EAAE,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACzG,CAAC;AACH,CAAC;AAED;;;;GAIG;AACI,KAAK,UAAU,YAAY,CAAC,IAA+C;IAChF,MAAM,GAAG,GAAG,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IAC9E,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,MAAM,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,EAAE;QAC5C,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,KAAK,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;YAC/E,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,EAAE;YAC5B,IAAI,OAAO;gBAAE,OAAO;YACpB,OAAO,GAAG,IAAI,CAAC;YACf,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,CAAC;gBACH,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,iBAAiB;YACnB,CAAC;YACD,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC,CAAC;QACvE,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YAC5B,GAAG,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1F,MAAM,CAAC,IAAI,CAAC,CAAC;YACf,CAAC;QACH,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,MAAM,IAAI,GACR,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,KAAK;YACd,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE;gBACN,eAAe,EAAE,YAAY;gBAC7B,YAAY,EAAE,EAAE;gBAChB,UAAU,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE;aACrD;SACF,CAAC,GAAG,IAAI,CAAC;QACZ,IAAI,CAAC;YACH,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AAChF,KAAK,UAAU,mBAAmB,CACvC,WAAmB;IAEnB,IAAI,CAAC,IAAA,yBAAa,EAAC,WAAW,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC;IAC5G,CAAC;IACD,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,GAAG,wDAAa,UAAU,GAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAClC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC7D,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,OAAO,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3H,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,WAAmB;IACxC,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE;QAC7B,cAAc,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC;KACvD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,aAAa,CAAC,IAGnC;IACC,MAAM,WAAW,GAAG,IAAI,EAAE,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACvD,MAAM,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC;IAE7D,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,cAAc,EAAE,CAAC;IAEvC,MAAM,KAAK,GAAqB;QAC9B;YACE,EAAE,EAAE,SAAS;YACb,KAAK,EAAE,gBAAgB;YACvB,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2DAA2D;SAClG;QACD;YACE,EAAE,EAAE,MAAM;YACV,KAAK,EAAE,yBAAyB;YAChC,EAAE,EAAE,GAAG,CAAC,EAAE;YACV,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB;SACnD;QACD;YACE,EAAE,EAAE,UAAU;YACd,KAAK,EAAE,kBAAkB;YACzB,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,0CAA0C;YACtG,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gFAAgF;SACjH;QACD;YACE,EAAE,EAAE,OAAO;YACX,KAAK,EAAE,yBAAyB;YAChC,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,yEAAyE;YACzE,mDAAmD;YACnD,QAAQ,EAAE,KAAK,CAAC,UAAU;YAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2CAA2C;SAChF;KACF,CAAC;IAEF,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC;AACnE,CAAC;AAED,mFAAmF;AACnF,SAAgB,cAAc,CAAC,MAAwB;IACrD,OAAO,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC"}

package/lib/dist/index.d.ts

@@ -10,13 +10,15 @@ import { ResolutionResult } from './resolution';
 import { SpecLinkResolver, SpecLinkResolverStats } from './resolution/spec-link-resolver';
 import { SpecFunnel } from './resolution/brief-link-resolver';
 import { DomainGapSeed } from './resolution/domain-gap-seed';
+import { SpecCoverageReport } from './graph/spec-coverage';
+import { VerifyReportResult } from './verify/report-ingest';
 import { SpecQueries } from './db/spec-queries';
 import { AnalyzeResult, SweepResult, Proposal, ProposalState, PreviewResult, ApplyOutcome, UndoOutcome } from './reflect';
 import { RunEta } from './workflows/eta';
 export type { RunEta, RunEtaAvailable, RunEtaUnavailable } from './workflows/eta';
 import { MaintainabilityReport, MaintainabilityThresholds } from './graph/maintainability';
 import { FitnessReport, FitnessRule } from './fitness/fitness';
-import { EnforceConfig, EnforceReport } from './enforce/enforce';
+import { EnforceConfig, EnforceReport, EnforceScope } from './enforce/enforce';
 import { BehaviourSurface } from './behaviour/behaviour-surface';
 import { FlowDiagramOptions, FlowDiagramResult } from './diagram/flow-diagram';
 import { WatchOptions, PendingFile } from './sync';
@@ -30,6 +32,11 @@ export { ResolutionResult } from './resolution';
 export { computeSpecFunnel, resolveBriefLink, summarizeBriefFunnel, findBriefsForSpec, } from './resolution/brief-link-resolver';
 export type { SpecFunnel, SpecFunnelSummary, SpecFunnelDoc, BriefLink, BriefLinkState, BriefRollup, BriefFunnelEntry, } from './resolution/brief-link-resolver';
 export { computeDomainGapSeed } from './resolution/domain-gap-seed';
+export { computeSpecCoverage, formatCoverageLine, verdictFor, evidenceKindCoverage, criteriaMissingKind, requireKindsExitCode, } from './graph/spec-coverage';
+export type { SpecCoverageReport, RequirementCoverage, CriterionCoverage, CoverageVerdict, LinkRollup, } from './graph/spec-coverage';
+export { ingestTestReport, parseVitestJsonReport, caseMatchesLink, TestReportParseError, } from './verify/report-ingest';
+export type { VerifyReportResult, ReportedTestCase, LinkOutcome } from './verify/report-ingest';
+export { isRecognizedTestFile, isNonTestEvidence, scanTestTitleRefs } from './resolution/test-title-links';
 export type { DomainGapSeed, GapSeedEntity, GapSeedSpec, DomainCoverage, } from './resolution/domain-gap-seed';
 export { analyze as reflectAnalyze, sweep as reflectSweep, ReflectStore, previewProposal, applyProposal, undoProposal, } from './reflect';
 export type { Proposal, ProposalType, ProposalSeverity, ProposalState, TargetKind, ProposalEvidence, ProposalPayload, PreviewResult, ApplyOutcome, UndoOutcome, ReflectContext, AnalyzeResult, SweepResult, } from './reflect';
@@ -37,10 +44,15 @@ export { computeMaintainability, resolveThresholds, resolveExclude, DEFAULT_THRE
 export { collectFlows, renderMermaidFlowchart, writeFlowDiagramIfChanged, shouldAutoRefreshDiagram, resolveDiagramConfig, DEFAULT_DIAGRAM_OPTIONS } from './diagram/flow-diagram';
 export type { FlowDiagramOptions, FlowDiagramConfig, FlowDiagramResult, FlowGraph } from './diagram/flow-diagram';
 export { evaluateFitness, loadFitnessRules, FITNESS_CONFIG_FILE } from './fitness/fitness';
-export { evaluateEnforcement, loadEnforceConfig, ENFORCE_CONFIG_FILE } from './enforce/enforce';
-export { computeBehaviourSurface, renderBehaviourSurface, isUiNode } from './behaviour/behaviour-surface';
+export { evaluateEnforcement, loadEnforceConfig, ENFORCE_CONFIG_FILE, normalizePath } from './enforce/enforce';
+export { changedFilesSince, InvalidRefError, workingTreeDiffText } from './enforce/changed-files';
+export { scanDisableComments, formatSuppressionFinding } from './enforce/suppressions';
+export type { SuppressionFinding } from './enforce/suppressions';
+export { parseMutationReport, loadMutationDeps, DEFAULT_MUTATION_THRESHOLD, DEFAULT_MUTATION_REPORT } from './enforce/mutation';
+export type { MutationConfig, MutationDeps, MutationFileStats } from './enforce/mutation';
+export { computeBehaviourSurface, renderBehaviourSurface, isUiNode, classifyCriterionShape, propertyFramework } from './behaviour/behaviour-surface';
 export type { BehaviourSurface, BehaviourFlowElement, BehaviourSurfaceDeps } from './behaviour/behaviour-surface';
-export type { EnforceConfig, GateConfig, EnforceReport, EnforceDeps, CheckOutcome, CheckName, RequirementVerification, } from './enforce/enforce';
+export type { EnforceConfig, GateConfig, EnforceReport, EnforceDeps, EnforceScope, CheckOutcome, CheckName, RequirementVerification, } from './enforce/enforce';
 export type { FitnessRule, ForbiddenRule, LayersRule, IsolationRule, FitnessReport, FitnessViolation, FitnessConfigError, Selector, } from './fitness/fitness';
 export type { MaintainabilityReport, MaintainabilityThresholds, CouplingFinding, OversizedFinding, GodFileFinding, CycleFinding, DeadCodeFinding, } from './graph/maintainability';
 export { SpecShipError, FileError, ParseError, DatabaseError, SearchError, VectorError, ConfigError, Logger, setLogger, getLogger, silentLogger, defaultLogger, } from './errors';
@@ -107,6 +119,26 @@ export declare class SpecShip {
      * package (it calls this on the dynamically-loaded SpecShip).
      */
     getSpecFunnel(): SpecFunnel;
+    /**
+     * The spec coverage rollup (REQ-VSTATE-006): per requirement AND per
+     * acceptance criterion, the implements/tests link counts and states plus a
+     * verdict derived from `tests` links alone. Scoped to one spec id (a document
+     * expands to its requirements) or the whole project when omitted.
+     *
+     * Exposed on the instance so the MCP tool, the CLI and the desktop server all
+     * read the SAME numbers — the coverage line a human approves in the implement
+     * workflow is this function's output, not an LLM's count (REQ-VSTATE-005.A2).
+     */
+    getSpecCoverage(specId?: string): SpecCoverageReport;
+    /**
+     * Ingest a test report (vitest JSON) and move `tests` links accordingly
+     * (REQ-VSTATE-004): a case that passed promotes its link to `verified` with
+     * the run recorded as evidence; a failure demotes it to `broken`. A malformed
+     * report throws {@link TestReportParseError} having changed nothing.
+     */
+    verifyFromReport(reportPath: string, options?: {
+        runId?: string;
+    }): VerifyReportResult;
     /**
      * The domain gap-seed (REQ-DOMAIN-003): the structural code entities and
      * non-domain specs that no domain fact yet covers, plus a coverage tally.
@@ -147,8 +179,12 @@ export declare class SpecShip {
      * explicit override); with no config every check is advisory and the run
      * passes. The behaviour chain reads `tests`-kind spec-links on each requirement
      * and its acceptance criteria (verified = passing, broken = ran-and-failed).
+     *
+     * `scope` narrows the link-scoped checks to a set of changed files
+     * (REQ-AUTHG-006) — `specship check --since <ref>` supplies it. Omitted, the
+     * gate evaluates the whole repository exactly as before.
      */
-    getEnforce(config?: EnforceConfig): EnforceReport;
+    getEnforce(config?: EnforceConfig, scope?: EnforceScope): EnforceReport;
     /**
      * The behaviour surface for a requirement (REQ-BEHAVIOUR-001): its linked code
      * plus the 1-hop route / component / handler neighbourhood, grouped UI vs
@@ -183,6 +219,7 @@ export declare class SpecShip {
     reflectCapture(input: {
         title: string;
         content: string;
+        lane?: 'skill' | 'style' | 'domain';
     }): Proposal;
     /**
      * Explicitly capture a lesson / anti-pattern as a human-gated `memory_rule`
@@ -263,11 +300,40 @@ export declare class SpecShip {
      * errors and this wrapper guards the data-gathering too.
      */
     private refreshStatuslineCache;
+    /**
+     * Re-extract ONE spec file without ever deleting the specs it still declares
+     * (REQ-VSTATE-001).
+     *
+     * `spec_links.spec_id` is `ON DELETE CASCADE`, so the delete-then-reinsert
+     * shape that spec indexing used to have destroyed every link the file did not
+     * re-declare — every agent-asserted `tests` link, every verification record —
+     * on any edit to any part of the file. Which also meant the sticky-state and
+     * spec-axis-drift machinery never ran on the real edit path: there was
+     * nothing left to transition.
+     *
+     * The fix is to make the destructive window not exist rather than to repair
+     * it afterwards: `insertSpec` upserts, so a surviving spec's row (and every
+     * link hanging off it) is never deleted, and `sweepRemovedSpecs` deletes only
+     * the ids the author actually removed (A3). Nothing is snapshotted, so
+     * nothing can be lost in a round-trip.
+     *
+     * Surviving specs keep their links, which makes the file's OWN declarations
+     * the other half of the contract: a `verifies:` / `implementations:` bullet
+     * the author deleted must take its link with it, or removing a declaration
+     * would silently mean nothing. `reconcileDeclaredLinks` drops exactly those —
+     * `spec-declaration` provenance only, never a link the file cannot re-create.
+     *
+     * The caller then applies the file's own declarations and runs the spec-axis
+     * drift rule over the surviving rows.
+     */
+    private replaceSpecsForFile;
     /**
      * Internal spec indexing — does NOT take the indexMutex (caller already holds it)
      * and does NOT take the fileLock. Used by indexAll and sync, which manage locks
      * themselves. Returns the links that transitioned into `drifted` during the
-     * pass (spec-side and code-side) so sync can push them (REQ-DRIFT-PUSH-001).
+     * pass (spec-side and code-side) so sync can push them (REQ-DRIFT-PUSH-001),
+     * plus the extraction error/warning counts over the files it reparsed so the
+     * caller can surface them the way `indexSpecs` does (REQ-REVINT-002.A2).
      *
      * The per-file content-hash guard makes re-runs cheap; the comment-link scan
      * + full link re-resolution at the end runs only when a spec file actually
@@ -284,7 +350,9 @@ export declare class SpecShip {
      *
      * Pipeline per file:
      *   1. Hash file content; skip if `spec_files.content_hash` matches.
-     *   2. Delete prior specs for this file (cascade-deletes children, links).
+     *   2. Replace prior specs for this file, restoring their links afterwards
+     *      (REQ-VSTATE-001) — only links of spec ids the file no longer declares
+     *      are swept.
      *   3. Run MarkdownSpecExtractor → insert specs + virtual node projections.
      *   4. Apply `spec-declaration` link candidates from `implementations:`.
      *   5. Mark previously-linked specs as drifted (drift_axis='spec') when