@specship/specship-win32-arm64 0.24.0 → 0.28.0

package/lib/dist/spec-quality/evidence-kind.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Evidence kinds (PIPETRUST-DOC, REQ-PIPETRUST-001 / REQ-PIPETRUST-002).
+ *
+ * Coverage used to count "a test" without asking what kind. Every acceptance
+ * criterion now resolves to exactly one REQUIRED kind of evidence, and every
+ * test file classifies to the kind it actually PROVIDES — both
+ * deterministically, so coverage can compare the two.
+ *
+ * - required: an inline `(evidence: <kind>)` tag wins; otherwise derived from
+ *   the criterion's shape (invariant phrasing → property) and the
+ *   requirement's direct links (UI → e2e, route → contract), else unit.
+ * - present: read from the test file alone — library imports and path
+ *   segments. Never throws; anything unreadable is `unit`.
+ */
+export type EvidenceKind = 'unit' | 'property' | 'e2e' | 'contract';
+/** The four kinds, in the order reports list them. */
+export declare const EVIDENCE_KINDS: readonly EvidenceKind[];
+/**
+ * Read an inline `(evidence: <kind>)` tag from an acceptance bullet
+ * (REQ-PIPETRUST-001.A1). No tag → `{}`; a known kind → `{ kind }`; an
+ * unknown kind → `{ invalid: <what was written> }` (a lint error, A3).
+ */
+export declare function parseDeclaredEvidenceKind(text: string): {
+    kind?: EvidenceKind;
+    invalid?: string;
+};
+export interface EvidenceKindContext {
+    /** The requirement is directly linked (implements) to UI code. */
+    linksUi?: boolean;
+    /** The requirement is directly linked (implements) to a `route` node. */
+    linksRoute?: boolean;
+}
+/**
+ * The single evidence kind a criterion requires (REQ-PIPETRUST-001.A1/.A2).
+ * Precedence: declared tag → invariant phrasing (property) → UI link (e2e) →
+ * route link (contract) → unit. An invalid declared kind falls through to the
+ * derived kind — the lint reports it; resolution never fails.
+ */
+export declare function requiredEvidenceKind(criterionText: string, ctx?: EvidenceKindContext): EvidenceKind;
+/**
+ * Remove block comments, `//` line comments and `#` line comments (Python /
+ * shell test files). Deliberately simple: a `//` inside a string literal also
+ * ends the line's code, which can only make classification more conservative.
+ */
+export declare function stripComments(source: string): string;
+/**
+ * Classify a test file by the kind of evidence it provides
+ * (REQ-PIPETRUST-002.A1). Source signals are checked before path signals, and
+ * property before e2e before contract. `source` is read from `filePath` when
+ * omitted; a missing or unreadable file classifies as `unit` (A2) — this
+ * function never throws.
+ */
+export declare function classifyTestEvidence(filePath: string, source?: string): EvidenceKind;
+//# sourceMappingURL=evidence-kind.d.ts.map

package/lib/dist/spec-quality/evidence-kind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-kind.d.ts","sourceRoot":"","sources":["../../src/spec-quality/evidence-kind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,UAAU,GAAG,KAAK,GAAG,UAAU,CAAC;AAEpE,sDAAsD;AACtD,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAA4C,CAAC;AAkB/F;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,IAAI,CAAC,EAAE,YAAY,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAMjG;AAED,MAAM,WAAW,mBAAmB;IAClC,kEAAkE;IAClE,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,yEAAyE;IACzE,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,GAAE,mBAAwB,GAAG,YAAY,CAOvG;AA2BD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAMpD;AASD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,YAAY,CAyBpF"}

package/lib/dist/spec-quality/evidence-kind.js

@@ -0,0 +1,183 @@
+"use strict";
+/**
+ * Evidence kinds (PIPETRUST-DOC, REQ-PIPETRUST-001 / REQ-PIPETRUST-002).
+ *
+ * Coverage used to count "a test" without asking what kind. Every acceptance
+ * criterion now resolves to exactly one REQUIRED kind of evidence, and every
+ * test file classifies to the kind it actually PROVIDES — both
+ * deterministically, so coverage can compare the two.
+ *
+ * - required: an inline `(evidence: <kind>)` tag wins; otherwise derived from
+ *   the criterion's shape (invariant phrasing → property) and the
+ *   requirement's direct links (UI → e2e, route → contract), else unit.
+ * - present: read from the test file alone — library imports and path
+ *   segments. Never throws; anything unreadable is `unit`.
+ */
+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.EVIDENCE_KINDS = void 0;
+exports.parseDeclaredEvidenceKind = parseDeclaredEvidenceKind;
+exports.requiredEvidenceKind = requiredEvidenceKind;
+exports.stripComments = stripComments;
+exports.classifyTestEvidence = classifyTestEvidence;
+const fs = __importStar(require("fs"));
+const behaviour_surface_1 = require("../behaviour/behaviour-surface");
+/** The four kinds, in the order reports list them. */
+exports.EVIDENCE_KINDS = ['unit', 'property', 'e2e', 'contract'];
+/** `(evidence: <kind>)` — case-insensitive; the kind is any non-`)` run. */
+const EVIDENCE_TAG = /\(\s*evidence\s*:\s*([^)]*?)\s*\)/i;
+/**
+ * Drop inline code spans and fenced blocks first: a spec that DOCUMENTS the
+ * tag syntax writes `` `(evidence: <kind>)` `` in backticks and is not itself
+ * declaring a kind (same convention as the lint's `[needs review]` scan).
+ */
+function stripCode(text) {
+    return text.replace(/```[\s\S]*?```/g, ' ').replace(/`[^`]*`/g, ' ');
+}
+function isEvidenceKind(s) {
+    return exports.EVIDENCE_KINDS.includes(s);
+}
+/**
+ * Read an inline `(evidence: <kind>)` tag from an acceptance bullet
+ * (REQ-PIPETRUST-001.A1). No tag → `{}`; a known kind → `{ kind }`; an
+ * unknown kind → `{ invalid: <what was written> }` (a lint error, A3).
+ */
+function parseDeclaredEvidenceKind(text) {
+    const m = stripCode(text ?? '').match(EVIDENCE_TAG);
+    if (!m)
+        return {};
+    const raw = (m[1] ?? '').trim();
+    const norm = raw.toLowerCase();
+    return isEvidenceKind(norm) ? { kind: norm } : { invalid: raw };
+}
+/**
+ * The single evidence kind a criterion requires (REQ-PIPETRUST-001.A1/.A2).
+ * Precedence: declared tag → invariant phrasing (property) → UI link (e2e) →
+ * route link (contract) → unit. An invalid declared kind falls through to the
+ * derived kind — the lint reports it; resolution never fails.
+ */
+function requiredEvidenceKind(criterionText, ctx = {}) {
+    const declared = parseDeclaredEvidenceKind(criterionText).kind;
+    if (declared)
+        return declared;
+    if ((0, behaviour_surface_1.classifyCriterionShape)(criterionText ?? '') === 'invariant')
+        return 'property';
+    if (ctx.linksUi)
+        return 'e2e';
+    if (ctx.linksRoute)
+        return 'contract';
+    return 'unit';
+}
+/** Property-testing library use: fast-check, Hypothesis, jqwik, proptest, QuickCheck. */
+const PROPERTY_SOURCE = [
+    /['"]fast-check['"]/,
+    /\bfc\.(assert|property|asyncProperty)\s*\(/,
+    /@given\s*\(/,
+    /\bfrom\s+hypothesis\b|\bimport\s+hypothesis\b/,
+    /\bnet\.jqwik\b|@Property\b/,
+    /\bproptest!?\b/,
+    /\bquickcheck\b/i,
+];
+/** Browser e2e frameworks. */
+const E2E_SOURCE = [/['"]@playwright\/test['"]/, /['"]cypress['"]/, /\bcy\.(visit|get|request)\s*\(/];
+/** Contract / API-schema testing tools. */
+const CONTRACT_SOURCE = [
+    // Case-sensitive: the package and CLI are lowercase in real use, and an
+    // upper-case identifier (a constant named SCHEMATHESIS) is not a use.
+    /\bschemathesis\b/,
+    /@pact-foundation\//,
+    /\b(from|import)\s+pact\b/,
+    /\bnew\s+Pact(V\d)?\s*\(/,
+    /\bau\.com\.dius\.pact\b/,
+];
+/**
+ * Remove block comments, `//` line comments and `#` line comments (Python /
+ * shell test files). Deliberately simple: a `//` inside a string literal also
+ * ends the line's code, which can only make classification more conservative.
+ */
+function stripComments(source) {
+    return source
+        .replace(/\/\*[\s\S]*?\*\//g, '')
+        .split('\n')
+        .map((line) => line.replace(/(^|\s)\/\/.*$/, '$1').replace(/^\s*#(?!!).*$/, ''))
+        .join('\n');
+}
+function pathSegments(filePath) {
+    return filePath
+        .replace(/\\/g, '/')
+        .split('/')
+        .map((s) => s.toLowerCase());
+}
+/**
+ * Classify a test file by the kind of evidence it provides
+ * (REQ-PIPETRUST-002.A1). Source signals are checked before path signals, and
+ * property before e2e before contract. `source` is read from `filePath` when
+ * omitted; a missing or unreadable file classifies as `unit` (A2) — this
+ * function never throws.
+ */
+function classifyTestEvidence(filePath, source) {
+    let text = source;
+    if (text === undefined) {
+        try {
+            text = fs.readFileSync(filePath, 'utf-8');
+        }
+        catch {
+            text = '';
+        }
+    }
+    // A tool named in prose (a doc comment explaining the classifier, say) is
+    // not a use of it — match against code with comments removed.
+    text = stripComments(text);
+    try {
+        if (PROPERTY_SOURCE.some((re) => re.test(text)))
+            return 'property';
+        if (E2E_SOURCE.some((re) => re.test(text)))
+            return 'e2e';
+        if (CONTRACT_SOURCE.some((re) => re.test(text)))
+            return 'contract';
+        const segs = pathSegments(filePath ?? '');
+        const dirs = segs.slice(0, -1);
+        const base = segs[segs.length - 1] ?? '';
+        if (dirs.includes('e2e') || /(^|[.\-_])e2e([.\-_]|$)/.test(base))
+            return 'e2e';
+        if (dirs.includes('contract') || dirs.includes('contracts'))
+            return 'contract';
+    }
+    catch {
+        // fall through — classification is advisory, never fatal
+    }
+    return 'unit';
+}
+//# sourceMappingURL=evidence-kind.js.map

package/lib/dist/spec-quality/evidence-kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-kind.js","sourceRoot":"","sources":["../../src/spec-quality/evidence-kind.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BH,8DAMC;AAeD,oDAOC;AAgCD,sCAMC;AAgBD,oDAyBC;AAxID,uCAAyB;AACzB,sEAAwE;AAIxE,sDAAsD;AACzC,QAAA,cAAc,GAA4B,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AAE/F,4EAA4E;AAC5E,MAAM,YAAY,GAAG,oCAAoC,CAAC;AAE1D;;;;GAIG;AACH,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAQ,sBAAoC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,SAAgB,yBAAyB,CAAC,IAAY;IACpD,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAC/B,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAClE,CAAC;AASD;;;;;GAKG;AACH,SAAgB,oBAAoB,CAAC,aAAqB,EAAE,MAA2B,EAAE;IACvF,MAAM,QAAQ,GAAG,yBAAyB,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC;IAC/D,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,IAAA,0CAAsB,EAAC,aAAa,IAAI,EAAE,CAAC,KAAK,WAAW;QAAE,OAAO,UAAU,CAAC;IACnF,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,GAAG,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IACtC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,yFAAyF;AACzF,MAAM,eAAe,GAAG;IACtB,oBAAoB;IACpB,4CAA4C;IAC5C,aAAa;IACb,+CAA+C;IAC/C,4BAA4B;IAC5B,gBAAgB;IAChB,iBAAiB;CAClB,CAAC;AAEF,8BAA8B;AAC9B,MAAM,UAAU,GAAG,CAAC,2BAA2B,EAAE,iBAAiB,EAAE,gCAAgC,CAAC,CAAC;AAEtG,2CAA2C;AAC3C,MAAM,eAAe,GAAG;IACtB,wEAAwE;IACxE,sEAAsE;IACtE,kBAAkB;IAClB,oBAAoB;IACpB,0BAA0B;IAC1B,yBAAyB;IACzB,yBAAyB;CAC1B,CAAC;AAEF;;;;GAIG;AACH,SAAgB,aAAa,CAAC,MAAc;IAC1C,OAAO,MAAM;SACV,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;SAC/E,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,OAAO,QAAQ;SACZ,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,oBAAoB,CAAC,QAAgB,EAAE,MAAe;IACpE,IAAI,IAAI,GAAG,MAAM,CAAC;IAClB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CAAC;YACH,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,0EAA0E;IAC1E,8DAA8D;IAC9D,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC;QACH,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC;YAAE,OAAO,UAAU,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1D,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC;YAAE,OAAO,UAAU,CAAC;QACpE,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/E,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,UAAU,CAAC;IACjF,CAAC;IAAC,MAAM,CAAC;QACP,yDAAyD;IAC3D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/lib/dist/spec-quality/link-persist.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Durable link assertions (THROUGHPUT-DOC, REQ-THRU-005).
+ *
+ * A link asserted through the link-assert tool lands as a DB row, and a DB row
+ * alone vanishes on a full reindex. This module writes the same link into the
+ * requirement's `implementations:` (kind `implements`) or `verifies:` (kind
+ * `tests`) block in its spec file, so the parser re-asserts it on every index.
+ *
+ * Rules:
+ *   - an acceptance-criterion id (`REQ-X.A1`) persists into its parent
+ *     requirement's block — link blocks live under the requirement, never in
+ *     the Acceptance section;
+ *   - one bullet per target; a missing block is created right before the
+ *     requirement's `## Acceptance` heading (or at the end of its prose);
+ *   - idempotent — re-persisting a listed target leaves the file
+ *     byte-identical;
+ *   - a target with no symbol, or a symbol not defined in its file, is refused
+ *     and the spec file is never touched.
+ */
+export type PersistLinkKind = 'implements' | 'tests';
+export interface PersistLinkOptions {
+    projectRoot: string;
+    /** Requirement id (`REQ-X`) or acceptance-criterion id (`REQ-X.A1`). */
+    specId: string;
+    kind: PersistLinkKind;
+    /** Project-relative path of the code/test file. */
+    filePath: string;
+    /** Symbol (qualified name or named test function) defined in `filePath`. */
+    symbol: string;
+    /**
+     * Spec file to edit (project-relative or absolute). Default: the file under
+     * `specs/` declaring the requirement's id marker.
+     */
+    specSourcePath?: string;
+    /**
+     * The caller already resolved `filePath:symbol` against the code graph —
+     * skip the textual definition check (it is a fallback for callers without
+     * a graph, and can miss syntax the extractor understands).
+     */
+    symbolResolved?: boolean;
+}
+export interface PersistLinkResult {
+    status: 'persisted' | 'unchanged' | 'refused';
+    /** Project-relative spec file path, when one was located. */
+    specFile?: string;
+    /** The requirement whose block was (or would have been) edited. */
+    requirementId: string;
+    /** Human-readable outcome / refusal reason. */
+    detail: string;
+}
+/** `REQ-X.A1` → `REQ-X`; a requirement id is returned unchanged. */
+export declare function parentRequirementId(specId: string): string;
+/**
+ * Textual "is `symbol` defined in this source" check, in the style of the
+ * postcheck verifies-coverage check, widened to qualified names
+ * (`Class.method` → both the container and the member must be declared) and
+ * class members / type declarations.
+ */
+export declare function symbolDefinedInSource(source: string, symbol: string): boolean;
+/**
+ * Persist an asserted link into the spec file. Never throws — failures and
+ * refusals come back as `status: 'refused'` with the reason.
+ */
+export declare function persistLinkToSpecFile(opts: PersistLinkOptions): PersistLinkResult;
+//# sourceMappingURL=link-persist.d.ts.map

package/lib/dist/spec-quality/link-persist.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"link-persist.d.ts","sourceRoot":"","sources":["../../src/spec-quality/link-persist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAMH,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,OAAO,CAAC;AAErD,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,eAAe,CAAC;IACtB,mDAAmD;IACnD,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAAC;IAC9C,6DAA6D;IAC7D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,aAAa,EAAE,MAAM,CAAC;IACtB,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD,oEAAoE;AACpE,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAMD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAkB7E;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CA+IjF"}

package/lib/dist/spec-quality/link-persist.js

@@ -0,0 +1,249 @@
+"use strict";
+/**
+ * Durable link assertions (THROUGHPUT-DOC, REQ-THRU-005).
+ *
+ * A link asserted through the link-assert tool lands as a DB row, and a DB row
+ * alone vanishes on a full reindex. This module writes the same link into the
+ * requirement's `implementations:` (kind `implements`) or `verifies:` (kind
+ * `tests`) block in its spec file, so the parser re-asserts it on every index.
+ *
+ * Rules:
+ *   - an acceptance-criterion id (`REQ-X.A1`) persists into its parent
+ *     requirement's block — link blocks live under the requirement, never in
+ *     the Acceptance section;
+ *   - one bullet per target; a missing block is created right before the
+ *     requirement's `## Acceptance` heading (or at the end of its prose);
+ *   - idempotent — re-persisting a listed target leaves the file
+ *     byte-identical;
+ *   - a target with no symbol, or a symbol not defined in its file, is refused
+ *     and the spec file is never touched.
+ */
+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.parentRequirementId = parentRequirementId;
+exports.symbolDefinedInSource = symbolDefinedInSource;
+exports.persistLinkToSpecFile = persistLinkToSpecFile;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const postcheck_1 = require("./postcheck");
+const ID_MARKER = /^\s*<!--\s*id:\s*([A-Za-z0-9._-]+)\s*-->\s*$/;
+const ACCEPTANCE_HEADING = /^#{1,6}\s+Acceptance\b/i;
+const BULLET = /^\s+[-*]\s+\S/;
+/** `REQ-X.A1` → `REQ-X`; a requirement id is returned unchanged. */
+function parentRequirementId(specId) {
+    return specId.replace(/\.A\d+$/, '');
+}
+function escapeRe(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+/**
+ * Textual "is `symbol` defined in this source" check, in the style of the
+ * postcheck verifies-coverage check, widened to qualified names
+ * (`Class.method` → both the container and the member must be declared) and
+ * class members / type declarations.
+ */
+function symbolDefinedInSource(source, symbol) {
+    const parts = symbol.split(/\.|::|#/).filter(Boolean);
+    if (parts.length === 0)
+        return false;
+    return parts.every((part, i) => {
+        const s = escapeRe(part);
+        const decl = new RegExp(`\\b(function\\*?|const|let|var|class|interface|type|enum|struct|trait|def|fn|func)\\s+${s}\\b` +
+            `|\\b${s}\\s*[:=]\\s*(async\\s+)?(function|\\()`);
+        if (decl.test(source))
+            return true;
+        if (i === 0 && parts.length > 1)
+            return false;
+        // Class member: `  async name(` / `  public static name<T>(`.
+        const member = new RegExp(`^\\s*(?:(?:public|private|protected|static|async|readonly|override|get|set)\\s+)*\\*?${s}\\s*(?:<[^>]*>)?\\s*\\(`, 'm');
+        return member.test(source);
+    });
+}
+/**
+ * Persist an asserted link into the spec file. Never throws — failures and
+ * refusals come back as `status: 'refused'` with the reason.
+ */
+function persistLinkToSpecFile(opts) {
+    const requirementId = parentRequirementId(opts.specId);
+    const refuse = (detail, specFile) => ({
+        status: 'refused',
+        requirementId,
+        detail,
+        ...(specFile ? { specFile } : {}),
+    });
+    const symbol = (opts.symbol ?? '').trim();
+    const filePath = (opts.filePath ?? '').trim().replace(/\\/g, '/');
+    if (!symbol)
+        return refuse('target has no symbol — a link needs a `path:Symbol` target');
+    if (!filePath)
+        return refuse('target has no file path');
+    if (opts.kind !== 'implements' && opts.kind !== 'tests') {
+        return refuse(`kind "${String(opts.kind)}" has no spec-file block`);
+    }
+    const root = path.resolve(opts.projectRoot);
+    const inRoot = (abs) => {
+        const rel = path.relative(root, abs);
+        return !rel.startsWith('..') && !path.isAbsolute(rel);
+    };
+    try {
+        // 1. The target must be a resolvable `path:Symbol`.
+        if (!opts.symbolResolved) {
+            const targetAbs = path.resolve(root, filePath);
+            if (!inRoot(targetAbs))
+                return refuse(`${filePath} resolves outside the project root`);
+            let code;
+            try {
+                code = fs.readFileSync(targetAbs, 'utf8');
+            }
+            catch {
+                return refuse(`${filePath} does not exist`);
+            }
+            if (!symbolDefinedInSource(code, symbol)) {
+                return refuse(`${symbol} is not defined in ${filePath}`);
+            }
+        }
+        // 2. Locate the spec file and the requirement's block.
+        const specAbs = opts.specSourcePath
+            ? path.resolve(root, opts.specSourcePath)
+            : (0, postcheck_1.findSpecFile)(root, requirementId);
+        if (!specAbs)
+            return refuse(`no spec file under specs/ declares ${requirementId}`);
+        if (!inRoot(specAbs))
+            return refuse(`spec file resolves outside the project root`);
+        const specFile = path.relative(root, specAbs).replace(/\\/g, '/');
+        const source = fs.readFileSync(specAbs, 'utf8');
+        const block = (0, postcheck_1.requirementBlock)(source, requirementId);
+        if (block === null)
+            return refuse(`marker <!-- id: ${requirementId} --> not found`, specFile);
+        const blockName = opts.kind === 'tests' ? 'verifies' : 'implementations';
+        const target = `${filePath}:${symbol}`;
+        if ((0, postcheck_1.linkBullets)(block, blockName).includes(target)) {
+            return {
+                status: 'unchanged',
+                requirementId,
+                specFile,
+                detail: `${blockName}: already lists ${target}`,
+            };
+        }
+        // 3. Line-level edit inside the requirement's region.
+        const eol = source.includes('\r\n') ? '\r\n' : '\n';
+        const lines = source.split(/\r?\n/);
+        let start = -1;
+        let end = lines.length;
+        for (let i = 0; i < lines.length; i++) {
+            const m = (lines[i] ?? '').match(ID_MARKER);
+            if (!m)
+                continue;
+            if (start === -1) {
+                if (m[1] === requirementId)
+                    start = i;
+            }
+            else if (!m[1].startsWith(`${requirementId}.`)) {
+                end = i;
+                break;
+            }
+        }
+        if (start === -1)
+            return refuse(`marker <!-- id: ${requirementId} --> not found`, specFile);
+        const bullet = `  - ${target}`;
+        const header = new RegExp(`^${blockName}:\\s*$`);
+        let headerIdx = -1;
+        for (let i = start + 1; i < end; i++) {
+            if (header.test(lines[i] ?? '')) {
+                headerIdx = i;
+                break;
+            }
+        }
+        if (headerIdx !== -1) {
+            let last = headerIdx;
+            for (let i = headerIdx + 1; i < end; i++) {
+                const line = lines[i] ?? '';
+                if (BULLET.test(line)) {
+                    last = i;
+                    continue;
+                }
+                if (line.trim() === '')
+                    continue;
+                break;
+            }
+            lines.splice(last + 1, 0, bullet);
+        }
+        else {
+            // Prose ends at `## Acceptance`, else at the first criterion marker,
+            // else at the end of the region.
+            let proseEnd = end;
+            for (let i = start + 1; i < end; i++) {
+                const line = lines[i] ?? '';
+                const m = line.match(ID_MARKER);
+                if (ACCEPTANCE_HEADING.test(line) || (m && m[1].startsWith(`${requirementId}.`))) {
+                    proseEnd = i;
+                    break;
+                }
+            }
+            // An `implementations:` block goes before an existing `verifies:` one.
+            if (blockName === 'implementations') {
+                for (let i = start + 1; i < proseEnd; i++) {
+                    if (/^verifies:\s*$/.test(lines[i] ?? '')) {
+                        proseEnd = i;
+                        break;
+                    }
+                }
+            }
+            let insertAt = proseEnd;
+            while (insertAt > start + 1 && (lines[insertAt - 1] ?? '').trim() === '')
+                insertAt--;
+            const inserted = ['', `${blockName}:`, bullet];
+            if (insertAt < lines.length)
+                inserted.push('');
+            // Collapse the blank line(s) we trimmed past so spacing stays single.
+            let removeBlanks = 0;
+            while (insertAt + removeBlanks < proseEnd && (lines[insertAt + removeBlanks] ?? '').trim() === '') {
+                removeBlanks++;
+            }
+            lines.splice(insertAt, removeBlanks, ...inserted);
+        }
+        fs.writeFileSync(specAbs, lines.join(eol), 'utf8');
+        return {
+            status: 'persisted',
+            requirementId,
+            specFile,
+            detail: `${blockName}: entry ${target} written to ${specFile}`,
+        };
+    }
+    catch (err) {
+        return refuse(err instanceof Error ? err.message : String(err));
+    }
+}
+//# sourceMappingURL=link-persist.js.map

package/lib/dist/spec-quality/link-persist.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"link-persist.js","sourceRoot":"","sources":["../../src/spec-quality/link-persist.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CH,kDAEC;AAYD,sDAkBC;AAMD,sDA+IC;AAhOD,uCAAyB;AACzB,2CAA6B;AAC7B,2CAA0E;AAoC1E,MAAM,SAAS,GAAG,8CAA8C,CAAC;AACjE,MAAM,kBAAkB,GAAG,yBAAyB,CAAC;AACrD,MAAM,MAAM,GAAG,eAAe,CAAC;AAE/B,oEAAoE;AACpE,SAAgB,mBAAmB,CAAC,MAAc;IAChD,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,qBAAqB,CAAC,MAAc,EAAE,MAAc;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,MAAM,CACrB,yFAAyF,CAAC,KAAK;YAC7F,OAAO,CAAC,wCAAwC,CACnD,CAAC;QACF,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9C,8DAA8D;QAC9D,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,wFAAwF,CAAC,yBAAyB,EAClH,GAAG,CACJ,CAAC;QACF,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAgB,qBAAqB,CAAC,IAAwB;IAC5D,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,QAAiB,EAAqB,EAAE,CAAC,CAAC;QACxE,MAAM,EAAE,SAAS;QACjB,aAAa;QACb,MAAM;QACN,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,4DAA4D,CAAC,CAAC;IACzF,IAAI,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC,yBAAyB,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,GAAW,EAAW,EAAE;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACrC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,oDAAoD;QACpD,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;gBAAE,OAAO,MAAM,CAAC,GAAG,QAAQ,oCAAoC,CAAC,CAAC;YACvF,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,MAAM,CAAC,GAAG,QAAQ,iBAAiB,CAAC,CAAC;YAC9C,CAAC;YACD,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBACzC,OAAO,MAAM,CAAC,GAAG,MAAM,sBAAsB,QAAQ,EAAE,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,uDAAuD;QACvD,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc;YACjC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC;YACzC,CAAC,CAAC,IAAA,wBAAY,EAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC,sCAAsC,aAAa,EAAE,CAAC,CAAC;QACnF,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,OAAO,MAAM,CAAC,6CAA6C,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAA,4BAAgB,EAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACtD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,mBAAmB,aAAa,gBAAgB,EAAE,QAAQ,CAAC,CAAC;QAE9F,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC;QACzE,MAAM,MAAM,GAAG,GAAG,QAAQ,IAAI,MAAM,EAAE,CAAC;QACvC,IAAI,IAAA,uBAAW,EAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,OAAO;gBACL,MAAM,EAAE,WAAW;gBACnB,aAAa;gBACb,QAAQ;gBACR,MAAM,EAAE,GAAG,SAAS,mBAAmB,MAAM,EAAE;aAChD,CAAC;QACJ,CAAC;QAED,sDAAsD;QACtD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,aAAa;oBAAE,KAAK,GAAG,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,aAAa,GAAG,CAAC,EAAE,CAAC;gBAClD,GAAG,GAAG,CAAC,CAAC;gBACR,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,mBAAmB,aAAa,gBAAgB,EAAE,QAAQ,CAAC,CAAC;QAE5F,MAAM,MAAM,GAAG,OAAO,MAAM,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,SAAS,QAAQ,CAAC,CAAC;QACjD,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChC,SAAS,GAAG,CAAC,CAAC;gBACd,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,IAAI,GAAG,SAAS,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5B,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,GAAG,CAAC,CAAC;oBACT,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;oBAAE,SAAS;gBACjC,MAAM;YACR,CAAC;YACD,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,qEAAqE;YACrE,iCAAiC;YACjC,IAAI,QAAQ,GAAG,GAAG,CAAC;YACnB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC;oBAClF,QAAQ,GAAG,CAAC,CAAC;oBACb,MAAM;gBACR,CAAC;YACH,CAAC;YACD,uEAAuE;YACvE,IAAI,SAAS,KAAK,iBAAiB,EAAE,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;wBAC1C,QAAQ,GAAG,CAAC,CAAC;wBACb,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,QAAQ,GAAG,QAAQ,CAAC;YACxB,OAAO,QAAQ,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,QAAQ,EAAE,CAAC;YACrF,MAAM,QAAQ,GAAG,CAAC,EAAE,EAAE,GAAG,SAAS,GAAG,EAAE,MAAM,CAAC,CAAC;YAC/C,IAAI,QAAQ,GAAG,KAAK,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/C,sEAAsE;YACtE,IAAI,YAAY,GAAG,CAAC,CAAC;YACrB,OAAO,QAAQ,GAAG,YAAY,GAAG,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAClG,YAAY,EAAE,CAAC;YACjB,CAAC;YACD,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC,CAAC;QACpD,CAAC;QAED,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,aAAa;YACb,QAAQ;YACR,MAAM,EAAE,GAAG,SAAS,WAAW,MAAM,eAAe,QAAQ,EAAE;SAC/D,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,MAAM,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,CAAC;AACH,CAAC"}

package/lib/dist/spec-quality/plan-scope.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Small-plan auto-approval (THROUGHPUT-DOC, REQ-THRU-003).
+ *
+ * A plan may skip the human plan gate ONLY when the project opted in
+ * (`workflow.autoApproveSmallPlans: true` in specship.config.json), every
+ * source file it names is already one of the requirement's
+ * `implementations:` files, and the requirement has at most
+ * `workflow.smallPlanMaxCriteria` (default 3) acceptance criteria. Test files,
+ * the requirement's own spec file and CHANGELOG.md never count against the
+ * scope — a good plan always names them. The final review is never skipped.
+ *
+ * Deterministic and file-based, so it runs inside a workflow worktree. The
+ * AUTO_APPROVE=yes|no marker is the contract the approval step reads.
+ */
+export declare const DEFAULT_SMALL_PLAN_MAX_CRITERIA = 3;
+export interface PlanScopeInput {
+    planText: string;
+    /** Files named by the requirement's `implementations:` bullets. */
+    implementationFiles: string[];
+    criteriaCount: number;
+    optIn: boolean;
+    maxCriteria?: number;
+    /** The requirement's spec file (project-relative), always in scope. */
+    specFile?: string;
+}
+export interface PlanScopeResult {
+    autoApprove: boolean;
+    reasons: string[];
+    /** Source files the plan names that are outside the requirement's implementations. */
+    outOfScope: string[];
+}
+/** Project-relative file paths a plan names (deduplicated, in order). */
+export declare function filesNamedInPlan(planText: string): string[];
+export declare function assessPlanScope(input: PlanScopeInput): PlanScopeResult;
+/** File-based loader: reads the requirement block and the project's opt-in. */
+export declare function assessPlanScopeFromFile(projectRoot: string, requirementId: string, planText: string): PlanScopeResult;
+export declare function formatPlanScope(result: PlanScopeResult): string;
+//# sourceMappingURL=plan-scope.d.ts.map

package/lib/dist/spec-quality/plan-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-scope.d.ts","sourceRoot":"","sources":["../../src/spec-quality/plan-scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,sFAAsF;IACtF,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAOD,yEAAyE;AACzE,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAS3D;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CAmBtE;AAgBD,+EAA+E;AAC/E,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,eAAe,CAmBrH;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAE/D"}