@specship/specship-win32-arm64 0.25.0 → 0.28.0

package/lib/dist/spec-quality/postcheck.js

@@ -0,0 +1,390 @@
+"use strict";
+/**
+ * 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.
+ */
+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.requirementBlock = requirementBlock;
+exports.criterionIds = criterionIds;
+exports.linkBullets = linkBullets;
+exports.checkVerifiesCoverage = checkVerifiesCoverage;
+exports.unreleasedSection = unreleasedSection;
+exports.resolveBaseRef = resolveBaseRef;
+exports.checkChangelog = checkChangelog;
+exports.readPostcheckCommands = readPostcheckCommands;
+exports.checkConfiguredCommands = checkConfiguredCommands;
+exports.checkMutation = checkMutation;
+exports.findSpecFile = findSpecFile;
+exports.runPostcheck = runPostcheck;
+exports.formatPostcheck = formatPostcheck;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const child_process_1 = require("child_process");
+const enforce_1 = require("../knowledge/enforce");
+const criterion_ids_1 = require("./criterion-ids");
+const enforce_2 = require("../enforce/enforce");
+const mutation_1 = require("../enforce/mutation");
+const ID_MARKER = /^<!--\s*id:\s*([A-Za-z0-9._-]+)\s*-->\s*$/;
+/** The requirement's block of the spec file: from its id marker to the next requirement-level marker. */
+function requirementBlock(source, requirementId) {
+    const lines = source.split(/\r?\n/);
+    let start = -1;
+    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}.`)) {
+            return lines.slice(start, i).join('\n');
+        }
+    }
+    return start === -1 ? null : lines.slice(start).join('\n');
+}
+/** Acceptance criterion ids declared under the requirement. */
+function criterionIds(block, requirementId) {
+    const ids = [];
+    for (const line of block.split(/\r?\n/)) {
+        const m = line.match(ID_MARKER);
+        if (m && m[1].startsWith(`${requirementId}.A`))
+            ids.push(m[1]);
+    }
+    return ids;
+}
+/** Bullets of a `<name>:` link block inside the requirement block. */
+function linkBullets(block, blockName) {
+    const lines = block.split(/\r?\n/);
+    const out = [];
+    let inBlock = false;
+    for (const line of lines) {
+        if (new RegExp(`^${blockName}:\\s*$`).test(line.trim()) && !/^\s/.test(line)) {
+            inBlock = true;
+            continue;
+        }
+        if (!inBlock)
+            continue;
+        const m = line.match(/^\s+-\s+(.+?)\s*$/);
+        if (m) {
+            out.push(m[1]);
+            continue;
+        }
+        if (line.trim() === '')
+            continue;
+        inBlock = false;
+    }
+    return out;
+}
+function symbolDefined(source, symbol) {
+    const s = symbol.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    return new RegExp(`\\b(function\\*?|const|let|var|class|def|fn|func)\\s+${s}\\b|\\b${s}\\s*[:=]\\s*(async\\s+)?(function|\\()`).test(source);
+}
+/** REQ-PIPETRUST-005.A1/A2 — `verifies:` bullets are real named test symbols and cover every criterion. */
+function checkVerifiesCoverage(projectRoot, specSource, requirementId) {
+    const findings = [];
+    const block = requirementBlock(specSource, requirementId);
+    if (!block)
+        return [{ check: 'verifies', message: `${requirementId} not found in its spec file` }];
+    const testSources = [];
+    for (const bullet of linkBullets(block, 'verifies')) {
+        const idx = bullet.lastIndexOf(':');
+        const file = idx > 0 ? bullet.slice(0, idx) : bullet;
+        const symbol = idx > 0 ? bullet.slice(idx + 1) : '';
+        if (!symbol) {
+            findings.push({ check: 'verifies', message: `verifies bullet "${bullet}" names no symbol (use path:Symbol)` });
+            continue;
+        }
+        if (/\s/.test(symbol)) {
+            findings.push({
+                check: 'verifies',
+                message: `verifies bullet "${bullet}" names a title string, not a symbol — pass a named function to it() and list that name`,
+            });
+            continue;
+        }
+        let source;
+        try {
+            source = fs.readFileSync(path.join(projectRoot, file), 'utf-8');
+        }
+        catch {
+            findings.push({ check: 'verifies', message: `verifies bullet "${bullet}": file ${file} not found` });
+            continue;
+        }
+        if (!symbolDefined(source, symbol)) {
+            findings.push({ check: 'verifies', message: `verifies bullet "${bullet}": no symbol ${symbol} defined in ${file}` });
+            continue;
+        }
+        testSources.push(source);
+    }
+    // Whole-id match with shorthand expanded: `REQ-X.A1/A3` covers A3, and
+    // `REQ-X.A10` never counts for A1 (REQ-PIPETRUST-008).
+    const named = new Set(testSources.flatMap((src) => (0, criterion_ids_1.criterionIdsInText)(src)));
+    for (const id of criterionIds(block, requirementId)) {
+        if (!named.has(id)) {
+            findings.push({
+                check: 'verifies',
+                message: `${id} has no test evidence — no verifies-listed test file mentions it (put the id in the it() title)`,
+            });
+        }
+    }
+    return findings;
+}
+/** The `## [Unreleased]` section of a CHANGELOG, or '' when absent. */
+function unreleasedSection(changelog) {
+    const start = changelog.indexOf('## [Unreleased]');
+    if (start === -1)
+        return '';
+    const next = changelog.indexOf('\n## [', start + 1);
+    return changelog.slice(start, next === -1 ? undefined : next);
+}
+function git(cwd, args) {
+    return (0, child_process_1.execSync)(`git ${args}`, { cwd, encoding: 'utf8', stdio: ['ignore', 'pipe', 'ignore'] }).trim();
+}
+/** Base ref: explicit, else the run base the readiness step recorded, else merge-base with the default branch. */
+function resolveBaseRef(projectRoot, explicit) {
+    if (explicit)
+        return explicit;
+    try {
+        const gitDir = git(projectRoot, 'rev-parse --git-dir');
+        const recorded = path.join(path.isAbsolute(gitDir) ? gitDir : path.join(projectRoot, gitDir), 'specship-run-base');
+        if (fs.existsSync(recorded)) {
+            const ref = fs.readFileSync(recorded, 'utf8').trim();
+            if (ref)
+                return ref;
+        }
+    }
+    catch {
+        /* not a git repo — fall through */
+    }
+    for (const candidate of ['origin/main', 'main', 'origin/master', 'master']) {
+        try {
+            return git(projectRoot, `merge-base HEAD ${candidate}`);
+        }
+        catch {
+            /* try the next */
+        }
+    }
+    return null;
+}
+/** REQ-PIPETRUST-005.A3 — source changes need a CHANGELOG [Unreleased] change. */
+function checkChangelog(opts) {
+    const base = resolveBaseRef(opts.projectRoot, opts.base);
+    if (!base)
+        return [];
+    const changed = opts.changedFiles?.(base) ??
+        git(opts.projectRoot, `diff --name-only ${base}`).split('\n').filter(Boolean);
+    if (!changed.some((f) => f.startsWith('src/')))
+        return [];
+    const changelogPath = path.join(opts.projectRoot, 'CHANGELOG.md');
+    if (!fs.existsSync(changelogPath))
+        return [];
+    const now = unreleasedSection(fs.readFileSync(changelogPath, 'utf8'));
+    let before;
+    if (opts.baseFile)
+        before = opts.baseFile(base, 'CHANGELOG.md');
+    else {
+        try {
+            before = git(opts.projectRoot, `show ${base}:CHANGELOG.md`);
+        }
+        catch {
+            before = null;
+        }
+    }
+    if (before !== null && unreleasedSection(before) === now) {
+        return [
+            {
+                check: 'changelog',
+                message: 'files under src/ changed but CHANGELOG.md ## [Unreleased] did not — add a user-facing entry',
+            },
+        ];
+    }
+    return [];
+}
+/** `postcheck.commands` from specship.config.json (empty when absent or malformed). */
+function readPostcheckCommands(projectRoot) {
+    try {
+        const cfg = JSON.parse(fs.readFileSync(path.join(projectRoot, 'specship.config.json'), 'utf8'));
+        const cmds = cfg?.postcheck?.commands;
+        if (!Array.isArray(cmds))
+            return [];
+        return cmds.filter((c) => !!c && typeof c.name === 'string' && typeof c.check === 'string');
+    }
+    catch {
+        return [];
+    }
+}
+function defaultRun(command, cwd) {
+    const r = (0, child_process_1.spawnSync)('bash', ['-c', command], { cwd, encoding: 'utf8' });
+    return { code: r.status ?? 1, output: `${r.stdout ?? ''}${r.stderr ?? ''}` };
+}
+/** REQ-PIPETRUST-005.A4 — configured check commands, fix first when asked. */
+function checkConfiguredCommands(opts, ran) {
+    const run = opts.run ?? defaultRun;
+    const findings = [];
+    for (const cmd of readPostcheckCommands(opts.projectRoot)) {
+        if (opts.fix && cmd.fix)
+            run(cmd.fix, opts.projectRoot);
+        const res = run(cmd.check, opts.projectRoot);
+        ran.push(`command ${cmd.name}: ${res.code === 0 ? 'ok' : 'failed'}`);
+        if (res.code !== 0) {
+            findings.push({
+                check: 'command',
+                message: `${cmd.name} failed (${cmd.check})${cmd.fix ? '' : ' — no fix configured'}:\n${res.output.trim().split('\n').slice(-15).join('\n')}`,
+            });
+        }
+    }
+    return findings;
+}
+/**
+ * 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).
+ */
+function checkMutation(opts, specFile, ran) {
+    const cfg = (0, enforce_2.loadEnforceConfig)(opts.projectRoot);
+    if (cfg.mutation === undefined)
+        return [];
+    const deps = (0, mutation_1.loadMutationDeps)(opts.projectRoot, cfg.mutation);
+    if (deps.stats === null) {
+        ran.push(`mutation: skipped — ${deps.reason ?? 'no report'}`);
+        return [];
+    }
+    const block = specFile ? requirementBlock(fs.readFileSync(specFile, 'utf8'), opts.requirementId) : null;
+    const files = new Set((block ? linkBullets(block, 'implementations') : []).map((b) => {
+        const idx = b.lastIndexOf(':');
+        return (idx > 0 ? b.slice(0, idx) : b).replace(/\\/g, '/');
+    }));
+    const findings = [];
+    const pct = (n) => `${Math.round(n * 100)}%`;
+    for (const file of files) {
+        const st = deps.stats.get(file);
+        if (!st || st.total === 0)
+            continue;
+        const rate = st.killed / st.total;
+        if (rate < deps.threshold) {
+            findings.push({
+                check: 'mutation',
+                message: `${file} mutant kill rate ${pct(rate)} < ${pct(deps.threshold)} threshold (${st.killed}/${st.total} killed) — the tests would not notice this code breaking`,
+            });
+        }
+    }
+    ran.push(`mutation: ${findings.length === 0 ? 'ok' : `${findings.length} weak file(s)`} (threshold ${pct(deps.threshold)})`);
+    return findings;
+}
+/** Locate the spec file declaring `requirementId` under specs/. */
+function findSpecFile(projectRoot, requirementId) {
+    const marker = `<!-- id: ${requirementId} -->`;
+    const walk = (dir) => {
+        let entries;
+        try {
+            entries = fs.readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return null;
+        }
+        for (const e of entries) {
+            const p = path.join(dir, e.name);
+            if (e.isDirectory()) {
+                const hit = walk(p);
+                if (hit)
+                    return hit;
+            }
+            else if (e.name.endsWith('.md') && fs.readFileSync(p, 'utf8').includes(marker)) {
+                return p;
+            }
+        }
+        return null;
+    };
+    return walk(path.join(projectRoot, 'specs'));
+}
+function runPostcheck(opts) {
+    const ran = [];
+    const findings = [];
+    const specFile = findSpecFile(opts.projectRoot, opts.requirementId);
+    if (!specFile) {
+        findings.push({ check: 'verifies', message: `no spec file under specs/ declares ${opts.requirementId}` });
+    }
+    else {
+        const f = checkVerifiesCoverage(opts.projectRoot, fs.readFileSync(specFile, 'utf8'), opts.requirementId);
+        ran.push(`verifies coverage: ${f.length === 0 ? 'ok' : `${f.length} finding(s)`}`);
+        findings.push(...f);
+    }
+    const c = checkChangelog(opts);
+    ran.push(`changelog: ${c.length === 0 ? 'ok' : 'missing entry'}`);
+    findings.push(...c);
+    findings.push(...checkConfiguredCommands(opts, ran));
+    // REQ-THRU-010 — the mutation gate, when the project configured one.
+    findings.push(...checkMutation(opts, specFile, ran));
+    // REQ-KNOW-003.A4 — enforced domain-fact rules are a built-in check.
+    const enforced = (0, enforce_1.checkEnforcedRules)(opts.projectRoot);
+    if (enforced.rulesChecked > 0) {
+        ran.push(`knowledge check: ${enforced.violations.length === 0 ? 'ok' : `${enforced.violations.length} violation(s)`} (${enforced.rulesChecked} enforced rule(s))`);
+    }
+    for (const v of enforced.violations) {
+        findings.push({
+            check: 'knowledge',
+            message: `${v.file}:${v.line} violates ${v.factId} (${v.rule}): ${v.text.trim()}`,
+        });
+    }
+    return { ok: findings.length === 0, findings, ran };
+}
+/** Marker-led rendering; POSTCHECK=passed|failed is the workflow contract. */
+function formatPostcheck(result) {
+    const lines = [`POSTCHECK=${result.ok ? 'passed' : 'failed'}`, ...result.ran.map((r) => `- ${r}`)];
+    for (const f of result.findings)
+        lines.push(`✗ [${f.check}] ${f.message}`);
+    return lines.join('\n');
+}
+//# sourceMappingURL=postcheck.js.map

package/lib/dist/spec-quality/postcheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postcheck.js","sourceRoot":"","sources":["../../src/spec-quality/postcheck.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8CH,4CAaC;AAGD,oCAOC;AAGD,kCAmBC;AAUD,sDA+CC;AAGD,8CAKC;AAOD,wCAoBC;AAGD,wCA4BC;AAGD,sDAYC;AAQD,0DAeC;AASD,sCA8BC;AAGD,oCAqBC;AAED,oCAmCC;AAGD,0CAIC;AArWD,uCAAyB;AACzB,2CAA6B;AAC7B,iDAAoD;AACpD,kDAA0D;AAC1D,mDAAqD;AACrD,gDAAuD;AACvD,kDAAuD;AAmCvD,MAAM,SAAS,GAAG,2CAA2C,CAAC;AAE9D,yGAAyG;AACzG,SAAgB,gBAAgB,CAAC,MAAc,EAAE,aAAqB;IACpE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,aAAa;gBAAE,KAAK,GAAG,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,aAAa,GAAG,CAAC,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,+DAA+D;AAC/D,SAAgB,YAAY,CAAC,KAAa,EAAE,aAAqB;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,aAAa,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sEAAsE;AACtE,SAAgB,WAAW,CAAC,KAAa,EAAE,SAAyC;IAClF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,MAAM,CAAC,IAAI,SAAS,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7E,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACjC,OAAO,GAAG,KAAK,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,MAAc;IACnD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACxD,OAAO,IAAI,MAAM,CACf,wDAAwD,CAAC,UAAU,CAAC,wCAAwC,CAC7G,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED,2GAA2G;AAC3G,SAAgB,qBAAqB,CAAC,WAAmB,EAAE,UAAkB,EAAE,aAAqB;IAClG,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,aAAa,6BAA6B,EAAE,CAAC,CAAC;IAEnG,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,oBAAoB,MAAM,qCAAqC,EAAE,CAAC,CAAC;YAC/G,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,oBAAoB,MAAM,yFAAyF;aAC7H,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,oBAAoB,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,oBAAoB,MAAM,gBAAgB,MAAM,eAAe,IAAI,EAAE,EAAE,CAAC,CAAC;YACrH,SAAS;QACX,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IAED,uEAAuE;IACvE,uDAAuD;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,kCAAkB,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,GAAG,EAAE,iGAAiG;aAChH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,uEAAuE;AACvE,SAAgB,iBAAiB,CAAC,SAAiB;IACjD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACpD,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY;IACpC,OAAO,IAAA,wBAAQ,EAAC,OAAO,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACxG,CAAC;AAED,kHAAkH;AAClH,SAAgB,cAAc,CAAC,WAAmB,EAAE,QAAiB;IACnE,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAC;QACnH,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YACrD,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;QACtB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mCAAmC;IACrC,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC3E,IAAI,CAAC;YACH,OAAO,GAAG,CAAC,WAAW,EAAE,mBAAmB,SAAS,EAAE,CAAC,CAAC;QAC1D,CAAC;QAAC,MAAM,CAAC;YACP,kBAAkB;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kFAAkF;AAClF,SAAgB,cAAc,CAAC,IAAsB;IACnD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,OAAO,GACX,IAAI,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAChF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAClE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,CAAC,YAAY,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACtE,IAAI,MAAqB,CAAC;IAC1B,IAAI,IAAI,CAAC,QAAQ;QAAE,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;SAC3D,CAAC;QACJ,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,IAAI,eAAe,CAAC,CAAC;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,iBAAiB,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;QACzD,OAAO;YACL;gBACE,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE,6FAA6F;aACvG;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,uFAAuF;AACvF,SAAgB,qBAAqB,CAAC,WAAmB;IACvD,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,MAAM,IAAI,GAAG,GAAG,EAAE,SAAS,EAAE,QAAQ,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,CAAU,EAAyB,EAAE,CACpC,CAAC,CAAC,CAAC,IAAI,OAAQ,CAAsB,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAQ,CAAsB,CAAC,KAAK,KAAK,QAAQ,CAC/G,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,OAAe,EAAE,GAAW;IAC9C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,EAAE,CAAC;AAC/E,CAAC;AAED,8EAA8E;AAC9E,SAAgB,uBAAuB,CAAC,IAAsB,EAAE,GAAa;IAC3E,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC;IACnC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1D,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,sBAAsB,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aAC9I,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,aAAa,CAAC,IAAsB,EAAE,QAAuB,EAAE,GAAa;IAC1F,MAAM,GAAG,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAChD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAA,2BAAgB,EAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxG,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7D,CAAC,CAAC,CACH,CAAC;IACF,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QAClC,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,GAAG,IAAI,qBAAqB,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,0DAA0D;aACtK,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,eAAe,eAAe,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7H,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,mEAAmE;AACnE,SAAgB,YAAY,CAAC,WAAmB,EAAE,aAAqB;IACrE,MAAM,MAAM,GAAG,YAAY,aAAa,MAAM,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,GAAW,EAAiB,EAAE;QAC1C,IAAI,OAAoB,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpB,IAAI,GAAG;oBAAE,OAAO,GAAG,CAAC;YACtB,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjF,OAAO,CAAC,CAAC;YACX,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAgB,YAAY,CAAC,IAAsB;IACjD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAuB,EAAE,CAAC;IAExC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,sCAAsC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC5G,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QACzG,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,aAAa,EAAE,CAAC,CAAC;QACnF,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAC/B,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;IAClE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAEpB,QAAQ,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAErD,qEAAqE;IACrE,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;IAErD,qEAAqE;IACrE,MAAM,QAAQ,GAAG,IAAA,4BAAkB,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,oBAAoB,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,eAAe,KAAK,QAAQ,CAAC,YAAY,oBAAoB,CAAC,CAAC;IACrK,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE;SAClF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AACtD,CAAC;AAED,8EAA8E;AAC9E,SAAgB,eAAe,CAAC,MAAuB;IACrD,MAAM,KAAK,GAAG,CAAC,aAAa,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACnG,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

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

@@ -0,0 +1,72 @@
+/**
+ * Spec readiness gate (PIPETRUST-DOC, REQ-PIPETRUST-004).
+ *
+ * Implement must not start on a spec that cannot be implemented to a
+ * verifiable result. A requirement is READY when its spec file lints without
+ * errors, it has at least one acceptance criterion, and no criterion still
+ * carries a `[needs review]` marker. A ready requirement also yields an
+ * EVIDENCE PLAN — one line per criterion with the evidence kind it requires
+ * (REQ-PIPETRUST-001) and a suggested named test function — which the
+ * implement workflows hand to their plan and implement steps so "untested"
+ * can never be planned in.
+ *
+ * Pure core (`assessReadiness`) over plain inputs, plus a thin loader
+ * (`assessReadinessFromIndex`) that reads them from a SpecShip index.
+ */
+import type { Spec, SpecLink } from '../types';
+import { type LintFinding } from '../spec-lint/lint';
+import { type EvidenceKind } from './evidence-kind';
+export interface EvidencePlanLine {
+    criterionId: string;
+    text: string;
+    kind: EvidenceKind;
+    /** Suggested named test function — a real symbol `verifies:` can point at. */
+    testName: string;
+}
+export interface ReadinessResult {
+    requirementId: string;
+    ready: boolean;
+    /** Why the requirement is not ready (empty when ready). */
+    reasons: string[];
+    plan: EvidencePlanLine[];
+}
+export interface ReadinessInput {
+    requirementId: string;
+    requirement: Spec | null;
+    criteria: Spec[];
+    /** The requirement's (and its criteria's) `implements` links. */
+    implementsLinks: SpecLink[];
+    /** Lint findings for the requirement's spec file. */
+    lintFindings: LintFinding[];
+}
+/**
+ * Deterministic test-function name for a criterion id:
+ * `REQ-PIPETRUST-004.A1` → `reqPipetrust004A1`. Authors are expected to rename
+ * it to describe the behaviour; it exists so the plan names a real symbol.
+ */
+export declare function suggestedTestName(criterionId: string): string;
+export declare function assessReadiness(input: ReadinessInput): ReadinessResult;
+/** Human / prompt-facing rendering. The READY marker is the machine contract. */
+export declare function formatEvidencePlan(result: ReadinessResult): string;
+/** Structural slice of SpecQueries the loader reads. */
+export interface ReadinessSpecQueries {
+    getSpecById(id: string): Spec | null;
+    getSpecsByParent(parentId: string): Spec[];
+    getLinksBySpec(specId: string): SpecLink[];
+}
+/** Load the inputs for `assessReadiness` from an index and the spec file on disk. */
+export declare function assessReadinessFromIndex(sq: ReadinessSpecQueries, projectRoot: string, requirementId: string): ReadinessResult;
+/** Acceptance bullets (id → text) read straight from a requirement block. */
+export declare function criteriaFromBlock(block: string, requirementId: string): Array<{
+    id: string;
+    text: string;
+}>;
+/**
+ * File-based readiness: works without a SpecShip index (a workflow worktree
+ * has none — and a CLI with no project index must never walk up to $HOME).
+ * UI linkage comes from the `implementations:` bullets' file extensions;
+ * route linkage needs the index, so it is only known when `routeTargets`
+ * is supplied by an index-backed caller.
+ */
+export declare function assessReadinessFromFile(projectRoot: string, requirementId: string, routeTargets?: Set<string>): ReadinessResult;
+//# sourceMappingURL=readiness.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"readiness.d.ts","sourceRoot":"","sources":["../../src/spec-quality/readiness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAkB,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAwB,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAO1E,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,YAAY,CAAC;IACnB,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,gBAAgB,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,IAAI,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,IAAI,EAAE,CAAC;IACjB,iEAAiE;IACjE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC5B,qDAAqD;IACrD,YAAY,EAAE,WAAW,EAAE,CAAC;CAC7B;AAOD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAQ7D;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CA+BtE;AAED,iFAAiF;AACjF,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAiBlE;AAED,wDAAwD;AACxD,MAAM,WAAW,oBAAoB;IACnC,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IACrC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE,CAAC;IAC3C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE,CAAC;CAC5C;AAED,qFAAqF;AACrF,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,oBAAoB,EACxB,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,MAAM,GACpB,eAAe,CA8BjB;AAID,6EAA6E;AAC7E,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAgB3G;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,MAAM,EACrB,YAAY,GAAE,GAAG,CAAC,MAAM,CAAa,GACpC,eAAe,CAiCjB"}