@specship/specship-win32-arm64 0.25.0 → 0.28.0

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"}

package/lib/dist/spec-quality/plan-scope.js

@@ -0,0 +1,129 @@
+"use strict";
+/**
+ * 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.
+ */
+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.DEFAULT_SMALL_PLAN_MAX_CRITERIA = void 0;
+exports.filesNamedInPlan = filesNamedInPlan;
+exports.assessPlanScope = assessPlanScope;
+exports.assessPlanScopeFromFile = assessPlanScopeFromFile;
+exports.formatPlanScope = formatPlanScope;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const postcheck_1 = require("./postcheck");
+exports.DEFAULT_SMALL_PLAN_MAX_CRITERIA = 3;
+// A trailing full stop/!/? ends a sentence, not the path — a plan naming an
+// out-of-scope file at the end of a sentence must still be caught.
+const PATH_TOKEN = /(?:^|[\s`'"(\[])((?:\.{0,2}\/)?[A-Za-z0-9_@.-]+(?:\/[A-Za-z0-9_@.-]+)*\.[A-Za-z0-9]{1,6})(?=[\s`'")\]:,;.!?]|$)/g;
+const TEST_FILE = /(^|\/)(__tests__|tests?|e2e|spec)\/|\.(test|spec)\.[A-Za-z0-9]+$/;
+/** Project-relative file paths a plan names (deduplicated, in order). */
+function filesNamedInPlan(planText) {
+    const out = [];
+    for (const m of planText.matchAll(PATH_TOKEN)) {
+        const p = m[1].replace(/^\.\//, '');
+        if (!p.includes('/') && !/^[A-Z][A-Za-z]+\.md$/.test(p))
+            continue; // bare words like "e.g." are not files
+        if (/^\d+(\.\d+)+$/.test(p) || /^https?:/.test(p))
+            continue;
+        if (!out.includes(p))
+            out.push(p);
+    }
+    return out;
+}
+function assessPlanScope(input) {
+    const maxCriteria = input.maxCriteria ?? exports.DEFAULT_SMALL_PLAN_MAX_CRITERIA;
+    const reasons = [];
+    if (!input.optIn) {
+        return { autoApprove: false, reasons: ['workflow.autoApproveSmallPlans is not enabled'], outOfScope: [] };
+    }
+    if (input.criteriaCount > maxCriteria) {
+        reasons.push(`requirement has ${input.criteriaCount} criteria (limit ${maxCriteria})`);
+    }
+    const allowed = new Set(input.implementationFiles);
+    const named = filesNamedInPlan(input.planText);
+    const outOfScope = named.filter((f) => !allowed.has(f) && !TEST_FILE.test(f) && f !== 'CHANGELOG.md' && f !== input.specFile);
+    if (outOfScope.length > 0)
+        reasons.push(`plan names files outside implementations: ${outOfScope.join(', ')}`);
+    if (named.filter((f) => allowed.has(f)).length === 0) {
+        reasons.push('plan names none of the requirement\'s implementation files');
+    }
+    return { autoApprove: reasons.length === 0, reasons, outOfScope };
+}
+function readWorkflowConfig(projectRoot) {
+    try {
+        const cfg = JSON.parse(fs.readFileSync(path.join(projectRoot, 'specship.config.json'), 'utf8'));
+        return (cfg && typeof cfg.workflow === 'object' && cfg.workflow) || {};
+    }
+    catch {
+        return {};
+    }
+}
+/** File-based loader: reads the requirement block and the project's opt-in. */
+function assessPlanScopeFromFile(projectRoot, requirementId, planText) {
+    const cfg = readWorkflowConfig(projectRoot);
+    const specFile = (0, postcheck_1.findSpecFile)(projectRoot, requirementId);
+    const block = specFile ? (0, postcheck_1.requirementBlock)(fs.readFileSync(specFile, 'utf8'), requirementId) : null;
+    if (!specFile || !block) {
+        return { autoApprove: false, reasons: [`no spec block for ${requirementId}`], outOfScope: [] };
+    }
+    const implementationFiles = (0, postcheck_1.linkBullets)(block, 'implementations').map((b) => {
+        const idx = b.lastIndexOf(':');
+        return idx > 0 ? b.slice(0, idx) : b;
+    });
+    return assessPlanScope({
+        planText,
+        implementationFiles,
+        criteriaCount: (0, postcheck_1.criterionIds)(block, requirementId).length,
+        optIn: cfg.autoApproveSmallPlans === true,
+        maxCriteria: typeof cfg.smallPlanMaxCriteria === 'number' ? cfg.smallPlanMaxCriteria : undefined,
+        specFile: path.relative(projectRoot, specFile),
+    });
+}
+function formatPlanScope(result) {
+    return [`AUTO_APPROVE=${result.autoApprove ? 'yes' : 'no'}`, ...result.reasons.map((r) => `- ${r}`)].join('\n');
+}
+//# sourceMappingURL=plan-scope.js.map

package/lib/dist/spec-quality/plan-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-scope.js","sourceRoot":"","sources":["../../src/spec-quality/plan-scope.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCH,4CASC;AAED,0CAmBC;AAiBD,0DAmBC;AAED,0CAEC;AApGD,uCAAyB;AACzB,2CAA6B;AAC7B,2CAAwF;AAE3E,QAAA,+BAA+B,GAAG,CAAC,CAAC;AAoBjD,4EAA4E;AAC5E,mEAAmE;AACnE,MAAM,UAAU,GAAG,kHAAkH,CAAC;AACtI,MAAM,SAAS,GAAG,kEAAkE,CAAC;AAErF,yEAAyE;AACzE,SAAgB,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,uCAAuC;QAC1G,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,SAAS;QAC5D,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,eAAe,CAAC,KAAqB;IACnD,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,uCAA+B,CAAC;IACzE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,+CAA+C,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5G,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,GAAG,WAAW,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,aAAa,oBAAoB,WAAW,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,cAAc,IAAI,CAAC,KAAK,KAAK,CAAC,QAAQ,CAC7F,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,6CAA6C,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9G,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACpE,CAAC;AAOD,SAAS,kBAAkB,CAAC,WAAmB;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,sBAAsB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAChG,OAAO,CAAC,GAAG,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAgB,uBAAuB,CAAC,WAAmB,EAAE,aAAqB,EAAE,QAAgB;IAClG,MAAM,GAAG,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAA,wBAAY,EAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAA,4BAAgB,EAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnG,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,qBAAqB,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,mBAAmB,GAAG,IAAA,uBAAW,EAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1E,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC;QACrB,QAAQ;QACR,mBAAmB;QACnB,aAAa,EAAE,IAAA,wBAAY,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC,MAAM;QACxD,KAAK,EAAE,GAAG,CAAC,qBAAqB,KAAK,IAAI;QACzC,WAAW,EAAE,OAAO,GAAG,CAAC,oBAAoB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;QAChG,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,eAAe,CAAC,MAAuB;IACrD,OAAO,CAAC,gBAAgB,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClH,CAAC"}

package/lib/dist/spec-quality/postcheck.d.ts

@@ -0,0 +1,85 @@
+/**
+ * Mechanical post-implement checks (PIPETRUST-DOC, REQ-PIPETRUST-005).
+ *
+ * On 2026-10-26 every `spec-implement` run needed a human to finish it, for
+ * reasons a script can see: test evidence linked by `it()` title strings (no
+ * edge, so the requirement could never reach `verified`), criteria with no
+ * test, source changes with no CHANGELOG entry, generated reference docs not
+ * regenerated. Postcheck checks those mechanically after implement so the
+ * workflow can fix them before a human ever looks.
+ *
+ * File-based by design: it runs inside a workflow worktree, which has no
+ * SpecShip index, so it reads the spec file and the test files directly.
+ *
+ *   1. `verifies:` coverage — every bullet is `path:Symbol` with a real,
+ *      space-free symbol defined in the test file; every acceptance criterion
+ *      id appears in at least one of those test files.
+ *   2. CHANGELOG — when files under `src/` changed against the base ref, the
+ *      `## [Unreleased]` section of CHANGELOG.md changed too.
+ *   3. Project checks — each `postcheck.commands` entry in specship.config.json
+ *      (`{ name, check, fix? }`); with `fix`, the fix command runs first.
+ */
+export interface PostcheckFinding {
+    check: 'verifies' | 'changelog' | 'command' | 'knowledge' | 'mutation';
+    message: string;
+}
+export interface PostcheckResult {
+    ok: boolean;
+    findings: PostcheckFinding[];
+    /** One line per check that ran, for the report. */
+    ran: string[];
+}
+export interface PostcheckCommand {
+    name: string;
+    check: string;
+    fix?: string;
+}
+export interface PostcheckOptions {
+    projectRoot: string;
+    requirementId: string;
+    /** Run each configured command's `fix` before its `check`. */
+    fix?: boolean;
+    /** Base ref for the CHANGELOG check; defaults to the recorded run base, then the merge-base with the default branch. */
+    base?: string;
+    /** Inject command execution (tests). Returns the exit code. */
+    run?: (command: string, cwd: string) => {
+        code: number;
+        output: string;
+    };
+    /** Inject git diff lookups (tests). */
+    changedFiles?: (base: string) => string[];
+    /** Inject the base CHANGELOG content (tests). */
+    baseFile?: (base: string, relPath: string) => string | null;
+}
+/** The requirement's block of the spec file: from its id marker to the next requirement-level marker. */
+export declare function requirementBlock(source: string, requirementId: string): string | null;
+/** Acceptance criterion ids declared under the requirement. */
+export declare function criterionIds(block: string, requirementId: string): string[];
+/** Bullets of a `<name>:` link block inside the requirement block. */
+export declare function linkBullets(block: string, blockName: 'verifies' | 'implementations'): string[];
+/** REQ-PIPETRUST-005.A1/A2 — `verifies:` bullets are real named test symbols and cover every criterion. */
+export declare function checkVerifiesCoverage(projectRoot: string, specSource: string, requirementId: string): PostcheckFinding[];
+/** The `## [Unreleased]` section of a CHANGELOG, or '' when absent. */
+export declare function unreleasedSection(changelog: string): string;
+/** Base ref: explicit, else the run base the readiness step recorded, else merge-base with the default branch. */
+export declare function resolveBaseRef(projectRoot: string, explicit?: string): string | null;
+/** REQ-PIPETRUST-005.A3 — source changes need a CHANGELOG [Unreleased] change. */
+export declare function checkChangelog(opts: PostcheckOptions): PostcheckFinding[];
+/** `postcheck.commands` from specship.config.json (empty when absent or malformed). */
+export declare function readPostcheckCommands(projectRoot: string): PostcheckCommand[];
+/** REQ-PIPETRUST-005.A4 — configured check commands, fix first when asked. */
+export declare function checkConfiguredCommands(opts: PostcheckOptions, ran: string[]): PostcheckFinding[];
+/**
+ * REQ-THRU-010 — when `enforce.mutation` is configured, the requirement's
+ * implementation files must clear the mutant kill-rate threshold in the
+ * project's mutation report. Without configuration the check does not exist;
+ * an unreadable report is reported as skipped (never a pass, never a failure),
+ * matching the enforcement gate (REQ-QGATE-002.A3).
+ */
+export declare function checkMutation(opts: PostcheckOptions, specFile: string | null, ran: string[]): PostcheckFinding[];
+/** Locate the spec file declaring `requirementId` under specs/. */
+export declare function findSpecFile(projectRoot: string, requirementId: string): string | null;
+export declare function runPostcheck(opts: PostcheckOptions): PostcheckResult;
+/** Marker-led rendering; POSTCHECK=passed|failed is the workflow contract. */
+export declare function formatPostcheck(result: PostcheckResult): string;
+//# sourceMappingURL=postcheck.d.ts.map

package/lib/dist/spec-quality/postcheck.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postcheck.d.ts","sourceRoot":"","sources":["../../src/spec-quality/postcheck.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAUH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,mDAAmD;IACnD,GAAG,EAAE,MAAM,EAAE,CAAC;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,wHAAwH;IACxH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACzE,uCAAuC;IACvC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IAC1C,iDAAiD;IACjD,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CAC7D;AAID,yGAAyG;AACzG,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAarF;AAED,+DAA+D;AAC/D,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,EAAE,CAO3E;AAED,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,GAAG,iBAAiB,GAAG,MAAM,EAAE,CAmB9F;AASD,2GAA2G;AAC3G,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,gBAAgB,EAAE,CA+CxH;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAK3D;AAMD,kHAAkH;AAClH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAoBpF;AAED,kFAAkF;AAClF,wBAAgB,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,gBAAgB,EAAE,CA4BzE;AAED,uFAAuF;AACvF,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAY7E;AAOD,8EAA8E;AAC9E,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,gBAAgB,EAAE,CAejG;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,gBAAgB,EAAE,CA8BhH;AAED,mEAAmE;AACnE,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAqBtF;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,gBAAgB,GAAG,eAAe,CAmCpE;AAED,8EAA8E;AAC9E,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAI/D"}