@specship/specship-win32-arm64 0.24.0 → 0.25.0

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

@@ -0,0 +1,152 @@
+"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.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.verdictFor = verdictFor;
+exports.computeSpecCoverage = computeSpecCoverage;
+exports.formatCoverageLine = formatCoverageLine;
+const test_title_links_1 = require("../resolution/test-title-links");
+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';
+}
+function coverageOf(sq, spec) {
+    const links = sq.getLinksBySpec(spec.id);
+    const testsLinks = links.filter((l) => l.kind === 'tests');
+    return {
+        specId: spec.id,
+        title: spec.title,
+        kind: spec.kind,
+        implementsLinks: rollup(links.filter((l) => l.kind === 'implements')),
+        testsLinks: rollup(testsLinks),
+        verdict: verdictFor(testsLinks),
+    };
+}
+/**
+ * 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) {
+    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 },
+            };
+        }
+        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);
+        const criteria = sq
+            .getSpecsByParent(req.id)
+            .filter((c) => c.kind === 'acceptance')
+            .map((c) => coverageOf(sq, c));
+        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]),
+            criteria,
+            criteriaTotals,
+            criteriaWithTests,
+            criteriaCount,
+        };
+    });
+    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),
+        },
+    };
+}
+/**
+ * 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;;AAqEH,gCAMC;AAkCD,kDAsEC;AAQD,gDAIC;AA3LD,qEAAmE;AAqDnE,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,SAAS,UAAU,CAAC,EAAe,EAAE,IAAU;IAC7C,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,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACrE,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9B,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC;KAChC,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,mBAAmB,CAAC,EAAe,EAAE,MAAe;IAClE,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;aACvG,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,CAAC,CAAC;QAChC,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,CAAC,CAAC,CAAC;QAEjC,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,QAAQ;YACR,cAAc;YACd,iBAAiB;YACjB,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,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;KACF,CAAC;AACJ,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/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 } 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,11 @@ 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 { evaluateEnforcement, loadEnforceConfig, ENFORCE_CONFIG_FILE, normalizePath } from './enforce/enforce';
+export { changedFilesSince, InvalidRefError } from './enforce/changed-files';
 export { computeBehaviourSurface, renderBehaviourSurface, isUiNode } 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 +115,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 +175,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
@@ -263,11 +295,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 +345,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

package/lib/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,UAAU,EACV,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,OAAO,EACP,UAAU,EACV,SAAS,EACT,WAAW,EACX,mBAAmB,EACnB,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAWjB,OAAO,EAEL,aAAa,EACb,WAAW,EACX,UAAU,EAGX,MAAM,cAAc,CAAC;AAEtB,OAAO,EAGL,gBAAgB,EACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAmB,MAAM,iCAAiC,CAAC;AAC3G,OAAO,EAAqB,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAwB,aAAa,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EASL,aAAa,EACb,WAAW,EACX,QAAQ,EACR,aAAa,EACb,aAAa,EACb,YAAY,EACZ,WAAW,EACZ,MAAM,WAAW,CAAC;AACnB,OAAO,EAAwC,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC/E,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKlF,OAAO,EAIL,qBAAqB,EACrB,yBAAyB,EAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAGL,aAAa,EACb,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAGL,aAAa,EACb,aAAa,EAEd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAA2B,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAEL,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAAe,YAAY,EAAE,WAAW,EAAwB,MAAM,QAAQ,CAAC;AAGtF,cAAc,SAAS,CAAC;AAKxB,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,MAAM,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,aAAa,EACb,uBAAuB,EACvB,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAE,qBAAqB,EAAE,YAAY,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpK,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,UAAU,EACV,iBAAiB,EACjB,aAAa,EACb,SAAS,EACT,cAAc,EACd,WAAW,EACX,gBAAgB,GACjB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,aAAa,EACb,aAAa,EACb,WAAW,EACX,cAAc,GACf,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,OAAO,IAAI,cAAc,EACzB,KAAK,IAAI,YAAY,EACrB,YAAY,EACZ,eAAe,EACf,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,QAAQ,EACR,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EACd,aAAa,EACb,WAAW,GACZ,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,cAAc,EAAE,kBAAkB,EAAE,eAAe,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC/N,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAClL,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAElH,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE3F,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAEhG,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAC1G,YAAY,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAClH,YAAY,EACV,aAAa,EACb,UAAU,EACV,aAAa,EACb,WAAW,EACX,YAAY,EACZ,SAAS,EACT,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,WAAW,EACX,aAAa,EACb,UAAU,EACV,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,GACT,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,qBAAqB,EACrB,yBAAyB,EACzB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,aAAa,EACb,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,WAAW,EACX,WAAW,EACX,MAAM,EACN,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,GACd,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC/F,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,QAAQ,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAElC;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB,qCAAqC;IACrC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,IAAI,CAAC;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,gDAAgD;IAChD,IAAI,CAAC,EAAE,OAAO,CAAC;IAEf,uCAAuC;IACvC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,IAAI,CAAC;IAE/C,oCAAoC;IACpC,MAAM,CAAC,EAAE,WAAW,CAAC;IAErB,kEAAkE;IAClE,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,qBAAa,QAAQ;IACnB,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,OAAO,CAAe;IAC9B,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,YAAY,CAAyB;IAC7C,OAAO,CAAC,QAAQ,CAAoB;IACpC,OAAO,CAAC,gBAAgB,CAAmB;IAC3C,OAAO,CAAC,YAAY,CAAoB;IACxC,OAAO,CAAC,SAAS,CAAiB;IAClC,OAAO,CAAC,cAAc,CAAiB;IAGvC,OAAO,CAAC,UAAU,CAAe;IAGjC,OAAO,CAAC,QAAQ,CAAW;IAG3B,OAAO,CAAC,OAAO,CAA4B;IAE3C,OAAO;IAwBP,oFAAoF;IACpF,cAAc,IAAI,WAAW;IAI7B,wCAAwC;IACxC,mBAAmB,IAAI,gBAAgB;IAIvC;;;;;OAKG;IACH,aAAa,IAAI,UAAU;IAI3B;;;;;;OAMG;IACH,gBAAgB,IAAI,aAAa;IAIjC;;;;;;OAMG;IACH,kBAAkB,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,qBAAqB;IAQ1F;;;;;;OAMG;IACH,UAAU,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,GAAG,aAAa;IAIhD;;;;;;;OAOG;IACH,mBAAmB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,iBAAiB;IAI7E;;;;;;;OAOG;IACH,UAAU,CAAC,MAAM,CAAC,EAAE,aAAa,GAAG,aAAa;IAmBjD;;;;;;;;OAQG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAoBrD;;;OAGG;IACH,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE;IAsB3C,yEAAyE;IACzE,iBAAiB,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,EAAE;IAkBrD,OAAO,CAAC,cAAc;IAItB;;;;OAIG;IACH,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI7C,2EAA2E;IAC3E,cAAc,IAAI,aAAa;IAI/B;;;;OAIG;IACH,cAAc,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,QAAQ;IAInE;;;;;;;OAOG;IACH,oBAAoB,CAAC,KAAK,EAAE;QAC1B,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC;KACjC,GAAG,QAAQ;IASZ,8EAA8E;IAC9E,YAAY,IAAI,WAAW;IAI3B,8DAA8D;IAC9D,WAAW,CAAC,KAAK,CAAC,EAAE,aAAa,GAAG,QAAQ,EAAE;IAI9C,8CAA8C;IAC9C,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI;IAIzC,kFAAkF;IAClF,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;IAKlD,6EAA6E;IAC7E,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAU/C,4EAA4E;IAC5E,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IAQ7C,wFAAwF;IACxF,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAWrC;;;;;;;;OAQG;WACU,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IA2BpF;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ;IAmB9C;;;;;;OAMG;WACU,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IA8BpF;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ;IAsB9C;;OAEG;IACH,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO;IAIlD;;OAEG;IACH,KAAK,IAAI,IAAI;IAOb;;OAEG;IACH,cAAc,IAAI,MAAM;IAQxB;;;;OAIG;IACG,QAAQ,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,WAAW,CAAC;IAoGhE;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB;IAwB9B;;;;;;;;;;;OAWG;YACW,kBAAkB;IA2DhC;;;;;;;;;;;;;;;OAeG;IACG,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC1C,cAAc,EAAE,MAAM,CAAC;QACvB,YAAY,EAAE,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,aAAa,EAAE,qBAAqB,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IAqIF;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAWxB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAmBxB;;;;OAIG;IACG,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAe3D;;;;OAIG;IACG,IAAI,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,UAAU,CAAC;IAiI3D;;OAEG;IACH,UAAU,IAAI,OAAO;IAQrB;;;;;;;;OAQG;IACH,KAAK,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO;IAwB1C;;OAEG;IACH,OAAO,IAAI,IAAI;IAOf;;OAEG;IACH,UAAU,IAAI,OAAO;IAIrB;;;;;;;;;;;OAWG;IACH,eAAe,IAAI,WAAW,EAAE;IAIhC;;;;OAIG;IACH,qBAAqB,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxD;;OAEG;IACH,eAAe,IAAI;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;IAI7E;;;;OAIG;IACH,gBAAgB,IAAI,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAQrE;;;;;;;;OAQG;IACH,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAAG,gBAAgB;IAM1F;;;OAGG;IACG,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAIhH;;OAEG;IACH,qBAAqB,IAAI,MAAM,EAAE;IAIjC;;OAEG;IACH,oBAAoB,IAAI,IAAI;IAQ5B;;OAEG;IACH,QAAQ,IAAI,UAAU;IAMtB;;;;OAIG;IACH,UAAU,IAAI,OAAO,MAAM,EAAE,aAAa;IAI1C;;;;;OAKG;IACH,cAAc,IAAI,MAAM;IAQxB;;OAEG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI;IAIhC;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE;IAIxC;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE;IAI1C;;;;OAIG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE;IAIpC;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,EAAE;IAInE;;;;;;;OAOG;IACH,eAAe,IAAI;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAIvF;;;;;OAKG;IACH,kBAAkB,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG;QAClC,OAAO,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAChH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;QAC9B,mBAAmB,EAAE,MAAM,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;KACrB,GAAG,IAAI;IAQR;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAIxC;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAQxC;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI;IAI5C;;OAEG;IACH,QAAQ,IAAI,UAAU,EAAE;IAIxB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG;QAAE,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE;IAkCzG;;;;;;;;;OASG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAInC;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,QAAQ;IAI/D;;;;;;;;;OASG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,GAAE,MAAU,GAAG,QAAQ;IAIzD;;;;;;;;OAQG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ;IAI1C;;;;;;;;OAQG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IAI7D;;;;;;OAMG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAU,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IAInF;;;;;;OAMG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAU,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IAInF;;;;;;;;OAQG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAU,GAAG,QAAQ;IAI/D;;;;;;;OAOG;IACH,QAAQ,CACN,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GACzB,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAA;KAAE,CAAC,GAAG,IAAI;IAIlD;;;;;OAKG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAIpC;;;;;OAKG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAInC;;;;;OAKG;IACH,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAI/C;;;;;OAKG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAI7C;;;;OAIG;IACH,wBAAwB,IAAI,MAAM,EAAE,EAAE;IAItC;;;;;OAKG;IACH,YAAY,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE;IAI5C;;;;;OAKG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG;QAC9B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;KACf;IAQD;;;;;;;OAOG;IACG,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAIrD;;;;;;;;;OASG;IACG,mBAAmB,CACvB,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,0BAA0B,GACnC,OAAO,CAAC,QAAQ,CAAC;IAIpB;;;;;;;;;;;;OAYG;IACG,YAAY,CAChB,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,mBAAmB,GAC5B,OAAO,CAAC,WAAW,GAAG,MAAM,CAAC;IAQhC;;OAEG;IACH,QAAQ,IAAI,IAAI;IAIhB;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;;OAGG;IACH,OAAO,IAAI,IAAI;IAIf;;;;;OAKG;IACH,YAAY,IAAI,IAAI;CAIrB;AAGD,eAAe,QAAQ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,UAAU,EACV,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,OAAO,EACP,UAAU,EACV,SAAS,EACT,WAAW,EACX,mBAAmB,EACnB,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAWjB,OAAO,EAEL,aAAa,EACb,WAAW,EACX,UAAU,EAGX,MAAM,cAAc,CAAC;AAGtB,OAAO,EAGL,gBAAgB,EACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EAGtB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAqB,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAwB,aAAa,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAAuB,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAoB,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EASL,aAAa,EACb,WAAW,EACX,QAAQ,EACR,aAAa,EACb,aAAa,EACb,YAAY,EACZ,WAAW,EACZ,MAAM,WAAW,CAAC;AACnB,OAAO,EAAwC,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC/E,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKlF,OAAO,EAIL,qBAAqB,EACrB,yBAAyB,EAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAGL,aAAa,EACb,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAGL,aAAa,EACb,aAAa,EACb,YAAY,EAEb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAA2B,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAEL,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAAe,YAAY,EAAE,WAAW,EAAwB,MAAM,QAAQ,CAAC;AAGtF,cAAc,SAAS,CAAC;AAKxB,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,MAAM,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,aAAa,EACb,uBAAuB,EACvB,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAE,qBAAqB,EAAE,YAAY,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpK,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,UAAU,EACV,iBAAiB,EACjB,aAAa,EACb,SAAS,EACT,cAAc,EACd,WAAW,EACX,gBAAgB,GACjB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAC5F,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,UAAU,GACX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,eAAe,EACf,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAChG,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAC3G,YAAY,EACV,aAAa,EACb,aAAa,EACb,WAAW,EACX,cAAc,GACf,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,OAAO,IAAI,cAAc,EACzB,KAAK,IAAI,YAAY,EACrB,YAAY,EACZ,eAAe,EACf,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,QAAQ,EACR,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EACd,aAAa,EACb,WAAW,GACZ,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,cAAc,EAAE,kBAAkB,EAAE,eAAe,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC/N,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAClL,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAElH,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE3F,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE/G,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE7E,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAC1G,YAAY,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAClH,YAAY,EACV,aAAa,EACb,UAAU,EACV,aAAa,EACb,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,WAAW,EACX,aAAa,EACb,UAAU,EACV,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,QAAQ,GACT,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,qBAAqB,EACrB,yBAAyB,EACzB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,aAAa,EACb,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,WAAW,EACX,WAAW,EACX,MAAM,EACN,SAAS,EACT,SAAS,EACT,YAAY,EACZ,aAAa,GACd,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC/F,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,QAAQ,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAElC;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB,qCAAqC;IACrC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,IAAI,CAAC;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,gDAAgD;IAChD,IAAI,CAAC,EAAE,OAAO,CAAC;IAEf,uCAAuC;IACvC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,IAAI,CAAC;IAE/C,oCAAoC;IACpC,MAAM,CAAC,EAAE,WAAW,CAAC;IAErB,kEAAkE;IAClE,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,qBAAa,QAAQ;IACnB,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,OAAO,CAAe;IAC9B,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,YAAY,CAAyB;IAC7C,OAAO,CAAC,QAAQ,CAAoB;IACpC,OAAO,CAAC,gBAAgB,CAAmB;IAC3C,OAAO,CAAC,YAAY,CAAoB;IACxC,OAAO,CAAC,SAAS,CAAiB;IAClC,OAAO,CAAC,cAAc,CAAiB;IAGvC,OAAO,CAAC,UAAU,CAAe;IAGjC,OAAO,CAAC,QAAQ,CAAW;IAG3B,OAAO,CAAC,OAAO,CAA4B;IAE3C,OAAO;IA2BP,oFAAoF;IACpF,cAAc,IAAI,WAAW;IAI7B,wCAAwC;IACxC,mBAAmB,IAAI,gBAAgB;IAIvC;;;;;OAKG;IACH,aAAa,IAAI,UAAU;IAI3B;;;;;;;;;OASG;IACH,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,kBAAkB;IAIpD;;;;;OAKG;IACH,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,GAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,kBAAkB;IAI1F;;;;;;OAMG;IACH,gBAAgB,IAAI,aAAa;IAIjC;;;;;;OAMG;IACH,kBAAkB,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,qBAAqB;IAQ1F;;;;;;OAMG;IACH,UAAU,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,GAAG,aAAa;IAIhD;;;;;;;OAOG;IACH,mBAAmB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,iBAAiB;IAI7E;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,YAAY,GAAG,aAAa;IA0BvE;;;;;;;;OAQG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAoBrD;;;OAGG;IACH,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE;IAsB3C,yEAAyE;IACzE,iBAAiB,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,EAAE;IAkBrD,OAAO,CAAC,cAAc;IAItB;;;;OAIG;IACH,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI7C,2EAA2E;IAC3E,cAAc,IAAI,aAAa;IAI/B;;;;OAIG;IACH,cAAc,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,QAAQ;IAInE;;;;;;;OAOG;IACH,oBAAoB,CAAC,KAAK,EAAE;QAC1B,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC;KACjC,GAAG,QAAQ;IASZ,8EAA8E;IAC9E,YAAY,IAAI,WAAW;IAI3B,8DAA8D;IAC9D,WAAW,CAAC,KAAK,CAAC,EAAE,aAAa,GAAG,QAAQ,EAAE;IAI9C,8CAA8C;IAC9C,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI;IAIzC,kFAAkF;IAClF,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;IAKlD,6EAA6E;IAC7E,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAU/C,4EAA4E;IAC5E,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IAQ7C,wFAAwF;IACxF,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAWrC;;;;;;;;OAQG;WACU,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IA2BpF;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ;IAmB9C;;;;;;OAMG;WACU,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,GAAE,WAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IA8BpF;;OAEG;IACH,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ;IAsB9C;;OAEG;IACH,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO;IAIlD;;OAEG;IACH,KAAK,IAAI,IAAI;IAOb;;OAEG;IACH,cAAc,IAAI,MAAM;IAQxB;;;;OAIG;IACG,QAAQ,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,WAAW,CAAC;IAoGhE;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB;IAwB9B;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,OAAO,CAAC,mBAAmB;IA0B3B;;;;;;;;;;;;;OAaG;YACW,kBAAkB;IAgEhC;;;;;;;;;;;;;;;;;OAiBG;IACG,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC1C,cAAc,EAAE,MAAM,CAAC;QACvB,YAAY,EAAE,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,aAAa,EAAE,qBAAqB,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IAsIF;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAWxB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAmBxB;;;;OAIG;IACG,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAe3D;;;;OAIG;IACG,IAAI,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,UAAU,CAAC;IAoI3D;;OAEG;IACH,UAAU,IAAI,OAAO;IAQrB;;;;;;;;OAQG;IACH,KAAK,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO;IAwB1C;;OAEG;IACH,OAAO,IAAI,IAAI;IAOf;;OAEG;IACH,UAAU,IAAI,OAAO;IAIrB;;;;;;;;;;;OAWG;IACH,eAAe,IAAI,WAAW,EAAE;IAIhC;;;;OAIG;IACH,qBAAqB,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxD;;OAEG;IACH,eAAe,IAAI;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;IAI7E;;;;OAIG;IACH,gBAAgB,IAAI,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAQrE;;;;;;;;OAQG;IACH,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAAG,gBAAgB;IAM1F;;;OAGG;IACG,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAIhH;;OAEG;IACH,qBAAqB,IAAI,MAAM,EAAE;IAIjC;;OAEG;IACH,oBAAoB,IAAI,IAAI;IAQ5B;;OAEG;IACH,QAAQ,IAAI,UAAU;IAMtB;;;;OAIG;IACH,UAAU,IAAI,OAAO,MAAM,EAAE,aAAa;IAI1C;;;;;OAKG;IACH,cAAc,IAAI,MAAM;IAQxB;;OAEG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI;IAIhC;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE;IAIxC;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE;IAI1C;;;;OAIG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE;IAIpC;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,EAAE;IAInE;;;;;;;OAOG;IACH,eAAe,IAAI;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAIvF;;;;;OAKG;IACH,kBAAkB,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG;QAClC,OAAO,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAChH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;QAC9B,mBAAmB,EAAE,MAAM,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;KACrB,GAAG,IAAI;IAQR;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAIxC;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAQxC;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI;IAI5C;;OAEG;IACH,QAAQ,IAAI,UAAU,EAAE;IAIxB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG;QAAE,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE;IAkCzG;;;;;;;;;OASG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAInC;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,QAAQ;IAI/D;;;;;;;;;OASG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,GAAE,MAAU,GAAG,QAAQ;IAIzD;;;;;;;;OAQG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ;IAI1C;;;;;;;;OAQG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IAI7D;;;;;;OAMG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAU,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IAInF;;;;;;OAMG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAU,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC;IAInF;;;;;;;;OAQG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAU,GAAG,QAAQ;IAI/D;;;;;;;OAOG;IACH,QAAQ,CACN,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GACzB,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAA;KAAE,CAAC,GAAG,IAAI;IAIlD;;;;;OAKG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAIpC;;;;;OAKG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAInC;;;;;OAKG;IACH,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAI/C;;;;;OAKG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAI7C;;;;OAIG;IACH,wBAAwB,IAAI,MAAM,EAAE,EAAE;IAItC;;;;;OAKG;IACH,YAAY,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE;IAI5C;;;;;OAKG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG;QAC9B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;KACf;IAQD;;;;;;;OAOG;IACG,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAIrD;;;;;;;;;OASG;IACG,mBAAmB,CACvB,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,0BAA0B,GACnC,OAAO,CAAC,QAAQ,CAAC;IAIpB;;;;;;;;;;;;OAYG;IACG,YAAY,CAChB,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,mBAAmB,GAC5B,OAAO,CAAC,WAAW,GAAG,MAAM,CAAC;IAQhC;;OAEG;IACH,QAAQ,IAAI,IAAI;IAIhB;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;;OAGG;IACH,OAAO,IAAI,IAAI;IAIf;;;;;OAKG;IACH,YAAY,IAAI,IAAI;CAIrB;AAGD,eAAe,QAAQ,CAAC"}

package/lib/dist/index.js

@@ -42,8 +42,8 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.SpecShipError = exports.isUiNode = exports.renderBehaviourSurface = exports.computeBehaviourSurface = exports.ENFORCE_CONFIG_FILE = exports.loadEnforceConfig = exports.evaluateEnforcement = exports.FITNESS_CONFIG_FILE = exports.loadFitnessRules = exports.evaluateFitness = exports.DEFAULT_DIAGRAM_OPTIONS = exports.resolveDiagramConfig = exports.shouldAutoRefreshDiagram = exports.writeFlowDiagramIfChanged = exports.renderMermaidFlowchart = exports.collectFlows = exports.highPrecisionClean = exports.LOW_CONFIDENCE_CLASSES = exports.HIGH_PRECISION_CLASSES = exports.CONFIG_FILE_NAME = exports.DEFAULT_EXCLUDE = exports.DEFAULT_THRESHOLDS = exports.resolveExclude = exports.resolveThresholds = exports.computeMaintainability = exports.undoProposal = exports.applyProposal = exports.previewProposal = exports.ReflectStore = exports.reflectSweep = exports.reflectAnalyze = exports.computeDomainGapSeed = exports.findBriefsForSpec = exports.summarizeBriefFunnel = exports.resolveBriefLink = exports.computeSpecFunnel = exports.loadAllGrammars = exports.loadGrammarsForLanguages = exports.initGrammars = exports.getSupportedLanguages = exports.isGrammarLoaded = exports.isLanguageSupported = exports.detectLanguage = exports.SPECSHIP_DIR = exports.findNearestSpecShipRoot = exports.isInitialized = exports.getSpecShipDir = exports.QueryBuilder = exports.DatabaseConnection = exports.getDatabasePath = void 0;
-exports.SpecShip = exports.MCPServer = exports.LockUnavailableError = exports.FileWatcher = exports.MemoryMonitor = exports.throttle = exports.debounce = exports.processInBatches = exports.FileLock = exports.Mutex = exports.defaultLogger = exports.silentLogger = exports.getLogger = exports.setLogger = exports.ConfigError = exports.VectorError = exports.SearchError = exports.DatabaseError = exports.ParseError = exports.FileError = void 0;
+exports.DEFAULT_DIAGRAM_OPTIONS = exports.resolveDiagramConfig = exports.shouldAutoRefreshDiagram = exports.writeFlowDiagramIfChanged = exports.renderMermaidFlowchart = exports.collectFlows = exports.highPrecisionClean = exports.LOW_CONFIDENCE_CLASSES = exports.HIGH_PRECISION_CLASSES = exports.CONFIG_FILE_NAME = exports.DEFAULT_EXCLUDE = exports.DEFAULT_THRESHOLDS = exports.resolveExclude = exports.resolveThresholds = exports.computeMaintainability = exports.undoProposal = exports.applyProposal = exports.previewProposal = exports.ReflectStore = exports.reflectSweep = exports.reflectAnalyze = exports.scanTestTitleRefs = exports.isNonTestEvidence = exports.isRecognizedTestFile = exports.TestReportParseError = exports.caseMatchesLink = exports.parseVitestJsonReport = exports.ingestTestReport = exports.verdictFor = exports.formatCoverageLine = exports.computeSpecCoverage = exports.computeDomainGapSeed = exports.findBriefsForSpec = exports.summarizeBriefFunnel = exports.resolveBriefLink = exports.computeSpecFunnel = exports.loadAllGrammars = exports.loadGrammarsForLanguages = exports.initGrammars = exports.getSupportedLanguages = exports.isGrammarLoaded = exports.isLanguageSupported = exports.detectLanguage = exports.SPECSHIP_DIR = exports.findNearestSpecShipRoot = exports.isInitialized = exports.getSpecShipDir = exports.QueryBuilder = exports.DatabaseConnection = exports.getDatabasePath = void 0;
+exports.SpecShip = exports.MCPServer = exports.LockUnavailableError = exports.FileWatcher = exports.MemoryMonitor = exports.throttle = exports.debounce = exports.processInBatches = exports.FileLock = exports.Mutex = exports.defaultLogger = exports.silentLogger = exports.getLogger = exports.setLogger = exports.ConfigError = exports.VectorError = exports.SearchError = exports.DatabaseError = exports.ParseError = exports.FileError = exports.SpecShipError = exports.isUiNode = exports.renderBehaviourSurface = exports.computeBehaviourSurface = exports.InvalidRefError = exports.changedFilesSince = exports.normalizePath = exports.ENFORCE_CONFIG_FILE = exports.loadEnforceConfig = exports.evaluateEnforcement = exports.FITNESS_CONFIG_FILE = exports.loadFitnessRules = exports.evaluateFitness = void 0;
 const path = __importStar(require("path"));
 const db_1 = require("./db");
 const queries_1 = require("./db/queries");
@@ -55,6 +55,8 @@ const resolution_1 = require("./resolution");
 const spec_link_resolver_1 = require("./resolution/spec-link-resolver");
 const brief_link_resolver_1 = require("./resolution/brief-link-resolver");
 const domain_gap_seed_1 = require("./resolution/domain-gap-seed");
+const spec_coverage_1 = require("./graph/spec-coverage");
+const report_ingest_1 = require("./verify/report-ingest");
 const spec_queries_1 = require("./db/spec-queries");
 const reflect_1 = require("./reflect");
 const eta_1 = require("./workflows/eta");
@@ -101,6 +103,20 @@ Object.defineProperty(exports, "summarizeBriefFunnel", { enumerable: true, get:
 Object.defineProperty(exports, "findBriefsForSpec", { enumerable: true, get: function () { return brief_link_resolver_2.findBriefsForSpec; } });
 var domain_gap_seed_2 = require("./resolution/domain-gap-seed");
 Object.defineProperty(exports, "computeDomainGapSeed", { enumerable: true, get: function () { return domain_gap_seed_2.computeDomainGapSeed; } });
+// Spec coverage rollup + test-report ingestion (VSTATE-DOC).
+var spec_coverage_2 = require("./graph/spec-coverage");
+Object.defineProperty(exports, "computeSpecCoverage", { enumerable: true, get: function () { return spec_coverage_2.computeSpecCoverage; } });
+Object.defineProperty(exports, "formatCoverageLine", { enumerable: true, get: function () { return spec_coverage_2.formatCoverageLine; } });
+Object.defineProperty(exports, "verdictFor", { enumerable: true, get: function () { return spec_coverage_2.verdictFor; } });
+var report_ingest_2 = require("./verify/report-ingest");
+Object.defineProperty(exports, "ingestTestReport", { enumerable: true, get: function () { return report_ingest_2.ingestTestReport; } });
+Object.defineProperty(exports, "parseVitestJsonReport", { enumerable: true, get: function () { return report_ingest_2.parseVitestJsonReport; } });
+Object.defineProperty(exports, "caseMatchesLink", { enumerable: true, get: function () { return report_ingest_2.caseMatchesLink; } });
+Object.defineProperty(exports, "TestReportParseError", { enumerable: true, get: function () { return report_ingest_2.TestReportParseError; } });
+var test_title_links_1 = require("./resolution/test-title-links");
+Object.defineProperty(exports, "isRecognizedTestFile", { enumerable: true, get: function () { return test_title_links_1.isRecognizedTestFile; } });
+Object.defineProperty(exports, "isNonTestEvidence", { enumerable: true, get: function () { return test_title_links_1.isNonTestEvidence; } });
+Object.defineProperty(exports, "scanTestTitleRefs", { enumerable: true, get: function () { return test_title_links_1.scanTestTitleRefs; } });
 // Reflection engine (REFLECT-DOC) — proposals mined from transcripts.
 var reflect_2 = require("./reflect");
 Object.defineProperty(exports, "reflectAnalyze", { enumerable: true, get: function () { return reflect_2.analyze; } });
@@ -137,6 +153,11 @@ var enforce_2 = require("./enforce/enforce");
 Object.defineProperty(exports, "evaluateEnforcement", { enumerable: true, get: function () { return enforce_2.evaluateEnforcement; } });
 Object.defineProperty(exports, "loadEnforceConfig", { enumerable: true, get: function () { return enforce_2.loadEnforceConfig; } });
 Object.defineProperty(exports, "ENFORCE_CONFIG_FILE", { enumerable: true, get: function () { return enforce_2.ENFORCE_CONFIG_FILE; } });
+Object.defineProperty(exports, "normalizePath", { enumerable: true, get: function () { return enforce_2.normalizePath; } });
+// Change-scoped gating (REQ-AUTHG-006) — `specship check --since <ref>`.
+var changed_files_1 = require("./enforce/changed-files");
+Object.defineProperty(exports, "changedFilesSince", { enumerable: true, get: function () { return changed_files_1.changedFilesSince; } });
+Object.defineProperty(exports, "InvalidRefError", { enumerable: true, get: function () { return changed_files_1.InvalidRefError; } });
 // Behaviour surface (BEHAVIOUR-DOC / REQ-BEHAVIOUR-001).
 var behaviour_surface_2 = require("./behaviour/behaviour-surface");
 Object.defineProperty(exports, "computeBehaviourSurface", { enumerable: true, get: function () { return behaviour_surface_2.computeBehaviourSurface; } });
@@ -196,7 +217,10 @@ class SpecShip {
         this.fileLock = new utils_1.FileLock(path.join((0, directory_1.getSpecShipDir)(projectRoot), 'specship.lock'));
         this.orchestrator = new extraction_1.ExtractionOrchestrator(projectRoot, queries);
         this.resolver = (0, resolution_1.createResolver)(projectRoot, queries);
-        this.specLinkResolver = new spec_link_resolver_1.SpecLinkResolver(queries, this.specQueries);
+        this.specLinkResolver = new spec_link_resolver_1.SpecLinkResolver(queries, this.specQueries, {
+            // The test-title evidence pass reads test files from disk (REQ-VSTATE-002).
+            projectRoot,
+        });
         this.graphManager = new graph_1.GraphQueryManager(queries);
         this.traverser = new graph_1.GraphTraverser(queries);
         this.contextBuilder = (0, context_1.createContextBuilder)(projectRoot, queries, this.traverser);
@@ -218,6 +242,28 @@ class SpecShip {
     getSpecFunnel() {
         return (0, brief_link_resolver_1.computeSpecFunnel)(this.specQueries);
     }
+    /**
+     * 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) {
+        return (0, spec_coverage_1.computeSpecCoverage)(this.specQueries, specId);
+    }
+    /**
+     * 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, options = {}) {
+        return (0, report_ingest_1.ingestTestReport)(this.specQueries, this.projectRoot, reportPath, options);
+    }
     /**
      * 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.
@@ -266,21 +312,31 @@ 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) {
+    getEnforce(config, scope) {
         const cfg = config ?? (0, enforce_1.loadEnforceConfig)(this.projectRoot);
         const sq = this.specQueries;
         const drift = sq.getLinksByState(['drifted', 'broken', 'orphaned']);
         const requirements = sq.getSpecsByKind('requirement').map((req) => {
-            const testsLinks = sq.getLinksBySpec(req.id).filter((l) => l.kind === 'tests');
+            const ownLinks = sq.getLinksBySpec(req.id);
+            const testsLinks = ownLinks.filter((l) => l.kind === 'tests');
+            // Every link target, any kind — a change to implementation code brings
+            // its requirement into a scoped run, not just a change to its tests.
+            const linkedFiles = ownLinks.map((l) => l.targetFilePath);
             for (const child of sq.getSpecsByParent(req.id)) {
                 if (child.kind === 'acceptance') {
-                    testsLinks.push(...sq.getLinksBySpec(child.id).filter((l) => l.kind === 'tests'));
+                    const childLinks = sq.getLinksBySpec(child.id);
+                    testsLinks.push(...childLinks.filter((l) => l.kind === 'tests'));
+                    linkedFiles.push(...childLinks.map((l) => l.targetFilePath));
                 }
             }
-            return { id: req.id, title: req.title, testsLinks };
+            return { id: req.id, title: req.title, testsLinks, sourcePath: req.sourcePath, linkedFiles };
         });
-        return (0, enforce_1.evaluateEnforcement)({ drift, fitness: this.getFitness(), maintainability: this.getMaintainability(), requirements }, cfg);
+        return (0, enforce_1.evaluateEnforcement)({ drift, fitness: this.getFitness(), maintainability: this.getMaintainability(), requirements }, cfg, scope);
     }
     /**
      * The behaviour surface for a requirement (REQ-BEHAVIOUR-001): its linked code
@@ -696,11 +752,57 @@ class SpecShip {
             /* best-effort — never let a cache refresh affect indexing */
         }
     }
+    /**
+     * 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.
+     */
+    replaceSpecsForFile(rel, source, stats) {
+        const result = new markdown_spec_extractor_1.MarkdownSpecExtractor(rel, source).extract();
+        this.specQueries.insertSpecsBatch(result.specs);
+        this.specQueries.sweepRemovedSpecs(rel, result.specs.map((s) => s.id));
+        // Canonicalized exactly as applyDeclarationCandidates canonicalizes before
+        // upserting, so a surviving declaration matches its own row instead of
+        // being dropped and re-created every pass.
+        const reconciled = this.specQueries.reconcileDeclaredLinks(rel, result.linkCandidates.map((c) => ({
+            specId: c.specId,
+            targetFilePath: c.targetFilePath,
+            targetQualifiedName: (0, spec_link_resolver_1.canonicalQualifiedName)(c.targetQualifiedName),
+            kind: c.kind,
+        })));
+        if (stats && reconciled > 0) {
+            stats.declarationsReconciled = (stats.declarationsReconciled ?? 0) + reconciled;
+        }
+        return result;
+    }
     /**
      * 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
@@ -710,6 +812,8 @@ class SpecShip {
      */
     async indexSpecsInternal(forceResolve = true) {
         const transitions = [];
+        let totalErrors = 0;
+        let totalWarnings = 0;
         const specStats = {
             scanned: 0, reresolved: 0, orphaned: 0, driftedCode: 0,
             candidatesApplied: 0, commentLinksApplied: 0, reattached: 0, transitions,
@@ -717,7 +821,7 @@ class SpecShip {
         let specFilesChanged = 0;
         const specRoots = this.defaultSpecRoots();
         if (specRoots.length === 0)
-            return transitions;
+            return { transitions, errors: totalErrors, warnings: totalWarnings };
         const specFiles = [];
         for (const root of specRoots) {
             this.collectSpecFiles(root, specFiles);
@@ -738,9 +842,9 @@ class SpecShip {
             if (existing && existing.contentHash === hashHex)
                 continue;
             specFilesChanged++;
-            this.specQueries.deleteSpecsByFile(rel);
-            const result = new markdown_spec_extractor_1.MarkdownSpecExtractor(rel, source).extract();
-            this.specQueries.insertSpecsBatch(result.specs);
+            const result = this.replaceSpecsForFile(rel, source, specStats);
+            totalErrors += result.errors.filter((e) => e.severity === 'error').length;
+            totalWarnings += result.errors.filter((e) => e.severity === 'warning').length;
             this.specQueries.upsertSpecFile({
                 path: rel,
                 contentHash: hashHex,
@@ -760,10 +864,11 @@ class SpecShip {
         if (specFilesChanged > 0 || forceResolve) {
             const allFiles = this.queries.getAllFiles().map((f) => f.path);
             this.specLinkResolver.applyCodeCommentLinks(allFiles);
+            this.specLinkResolver.applyTestTitleLinks(allFiles, specStats);
             const resolveStats = this.specLinkResolver.resolveAll();
             transitions.push(...resolveStats.transitions);
         }
-        return transitions;
+        return { transitions, errors: totalErrors, warnings: totalWarnings };
     }
     /**
      * Index spec files (Markdown only in v1).
@@ -773,7 +878,9 @@ 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
@@ -845,11 +952,10 @@ class SpecShip {
                         skipped++;
                         continue;
                     }
-                    // Replace prior specs for this file. CASCADE removes children +
-                    // spec_links FK'd on spec_id.
-                    this.specQueries.deleteSpecsByFile(rel);
-                    const result = new markdown_spec_extractor_1.MarkdownSpecExtractor(rel, source).extract();
-                    this.specQueries.insertSpecsBatch(result.specs);
+                    // Replace prior specs for this file, preserving their links
+                    // (REQ-VSTATE-001) — the CASCADE would otherwise take every link the
+                    // file doesn't re-declare with it.
+                    const result = this.replaceSpecsForFile(rel, source, stats);
                     this.specQueries.upsertSpecFile({
                         path: rel,
                         contentHash: hashHex,
@@ -879,6 +985,9 @@ class SpecShip {
                 // node count is bounded and the scan is O(N) regex over docstrings).
                 const allFiles = this.queries.getAllFiles().map((f) => f.path);
                 this.specLinkResolver.applyCodeCommentLinks(allFiles, stats);
+                // Spec ids inside `it()` titles in test files → `tests` links
+                // (REQ-VSTATE-002).
+                this.specLinkResolver.applyTestTitleLinks(allFiles, stats);
                 // Re-resolve all links (post-extraction).
                 const resolveStats = this.specLinkResolver.resolveAll();
                 stats.scanned += resolveStats.scanned;
@@ -1037,7 +1146,10 @@ class SpecShip {
                     const codeChanged = result.filesAdded > 0 || result.filesModified > 0 || result.filesRemoved > 0;
                     this.fileLock.release();
                     try {
-                        result.driftedTransitions = await this.indexSpecsInternal(codeChanged);
+                        const specPass = await this.indexSpecsInternal(codeChanged);
+                        result.driftedTransitions = specPass.transitions;
+                        result.specErrors = specPass.errors;
+                        result.specWarnings = specPass.warnings;
                     }
                     catch {
                         // Non-fatal; the next full index catches up.