@specship/specship-win32-arm64 0.24.0 → 0.28.0

package/lib/dist/spec-lint/lint.d.ts

@@ -0,0 +1,82 @@
+/**
+ * Deterministic spec linter (AUTHG-DOC, REQ-AUTHG-001).
+ *
+ * Every structural check in the spec-author review checklist used to be an LLM
+ * eyeballing the draft. This module performs them mechanically: it reuses
+ * `MarkdownSpecExtractor`'s own errors (so the lint and the indexer agree about
+ * what a spec file means) and adds the checks the extractor has no reason to
+ * make — duplicate ids, orphaned `.A<N>` parents, requirements with no
+ * acceptance criteria, unresolved `[needs review]` markers, plus a set of
+ * advisory quality warnings.
+ *
+ * Pure over the file system at the edges only: `lintSpecSource` is a pure
+ * function of (path, source), which is what the tests drive. Nothing here
+ * writes, and nothing here needs a database — a lint must be runnable on a
+ * spec file that has never been indexed.
+ */
+export type LintSeverity = 'error' | 'warning';
+/**
+ * Stable finding codes. Extractor-produced findings keep the extractor's own
+ * code (`spec_missing_id`, `spec_stranded_id`, `spec_bare_path_ref`,
+ * `spec_acceptance_parent_mismatch`) so one vocabulary spans both layers.
+ */
+export type LintCode = 'spec_duplicate_id' | 'spec_orphan_acceptance_parent' | 'spec_requirement_without_acceptance' | 'spec_needs_review_marker' | 'spec_unknown_evidence_kind' | 'spec_external_fact_missing_provenance' | 'spec_malformed_enforced_rule' | 'spec_no_negative_case' | 'spec_missing_non_goals' | 'spec_missing_test_plan' | 'spec_requirement_without_rfc2119' | string;
+export interface LintFinding {
+    code: LintCode;
+    severity: LintSeverity;
+    /** Project-relative path of the spec file. */
+    filePath: string;
+    /** 1-indexed line, when the finding has one. */
+    line?: number;
+    /** The spec id the finding is about, when it has one. */
+    specId?: string;
+    message: string;
+}
+export interface LintFileReport {
+    filePath: string;
+    findings: LintFinding[];
+    errorCount: number;
+    warningCount: number;
+}
+export interface LintReport {
+    /** One entry per linted file, sorted by path — the stable grouping (A4). */
+    files: LintFileReport[];
+    filesChecked: number;
+    errorCount: number;
+    warningCount: number;
+    /** The exit-code predicate (A3): errors fail, warnings alone do not. */
+    hasErrors: boolean;
+}
+/**
+ * Lint one spec file's source. `filePath` is used verbatim in findings, so
+ * callers should pass a project-relative path.
+ */
+export declare function lintSpecSource(filePath: string, source: string): LintFinding[];
+export interface LintOptions {
+    /** Root that finding paths are made relative to. Defaults to `process.cwd()`. */
+    projectRoot?: string;
+}
+/**
+ * Lint every `.md` under each path (a path may be a file or a directory).
+ * A path that does not exist contributes an error finding rather than throwing —
+ * a typo'd argument must not look like a clean run.
+ */
+export declare function lintSpecs(paths: string[], options?: LintOptions): LintReport;
+/**
+ * Human-readable, file-grouped rendering (A4). Files with no findings are
+ * summarized in the tail count rather than listed, so a clean corpus prints
+ * one line.
+ */
+export declare function formatLintReport(report: LintReport): string;
+/**
+ * CLI entry point, kept here so registering the subcommand is three lines in
+ * `src/bin/specship.ts`. Returns the text to print and the process exit code
+ * (A3) instead of writing or exiting itself — that is what makes it testable.
+ *
+ * Usage: `specship lint [path...] [--json]`
+ */
+export declare function runLintCli(args?: string[], options?: LintOptions): {
+    output: string;
+    exitCode: number;
+};
+//# sourceMappingURL=lint.d.ts.map

package/lib/dist/spec-lint/lint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.d.ts","sourceRoot":"","sources":["../../src/spec-lint/lint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AASH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAEhB,mBAAmB,GACnB,+BAA+B,GAC/B,qCAAqC,GACrC,0BAA0B,GAC1B,4BAA4B,GAC5B,uCAAuC,GACvC,8BAA8B,GAE9B,uBAAuB,GACvB,wBAAwB,GACxB,wBAAwB,GACxB,kCAAkC,GAElC,MAAM,CAAC;AAEX,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,YAAY,CAAC;IACvB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,UAAU;IACzB,4EAA4E;IAC5E,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,wEAAwE;IACxE,SAAS,EAAE,OAAO,CAAC;CACpB;AAkHD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,EAAE,CA2K9E;AA+DD,MAAM,WAAW,WAAW;IAC1B,iFAAiF;IACjF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE,WAAgB,GAAG,UAAU,CAmEhF;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAc3D;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CACxB,IAAI,GAAE,MAAM,EAAO,EACnB,OAAO,GAAE,WAAgB,GACxB;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAQtC"}

package/lib/dist/spec-lint/lint.js

@@ -0,0 +1,491 @@
+"use strict";
+/**
+ * Deterministic spec linter (AUTHG-DOC, REQ-AUTHG-001).
+ *
+ * Every structural check in the spec-author review checklist used to be an LLM
+ * eyeballing the draft. This module performs them mechanically: it reuses
+ * `MarkdownSpecExtractor`'s own errors (so the lint and the indexer agree about
+ * what a spec file means) and adds the checks the extractor has no reason to
+ * make — duplicate ids, orphaned `.A<N>` parents, requirements with no
+ * acceptance criteria, unresolved `[needs review]` markers, plus a set of
+ * advisory quality warnings.
+ *
+ * Pure over the file system at the edges only: `lintSpecSource` is a pure
+ * function of (path, source), which is what the tests drive. Nothing here
+ * writes, and nothing here needs a database — a lint must be runnable on a
+ * spec file that has never been indexed.
+ */
+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.lintSpecSource = lintSpecSource;
+exports.lintSpecs = lintSpecs;
+exports.formatLintReport = formatLintReport;
+exports.runLintCli = runLintCli;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const markdown_spec_extractor_1 = require("../extraction/specs/markdown-spec-extractor");
+const evidence_kind_1 = require("../spec-quality/evidence-kind");
+const enforce_1 = require("../knowledge/enforce");
+/**
+ * Mirrors the extractor's private `ID_COMMENT`. Duplicated rather than
+ * imported because the extractor does not export it and its module is off
+ * limits to this one; the two MUST stay in sync — a marker the extractor
+ * recognizes and this does not would hide duplicate ids.
+ */
+const ID_COMMENT_LINE = /^\s*<!--\s*id\s*:\s*([^\s-][^\s]*)\s*-->\s*$/;
+/** RFC 2119 requirement keywords (A2). Case-insensitive: authors write both. */
+const RFC_2119 = /\b(MUST|MUST NOT|SHALL|SHALL NOT|SHOULD|SHOULD NOT|MAY|REQUIRED|RECOMMENDED|OPTIONAL)\b/i;
+/**
+ * Negative-case vocabulary (A2). A requirement whose criteria never mention a
+ * refusal, a failure, or an absence is almost always specifying only the happy
+ * path. Heuristic by construction — hence a warning, never an error.
+ */
+const NEGATIVE_CASE = new RegExp([
+    'reject', 'refus', 'invalid', 'malformed', 'error', 'fail', 'failure',
+    'missing', 'absent', 'empty', 'never', 'without', 'unauthorized',
+    'forbidden', 'non-zero', 'not found', 'no match', 'unmatched', 'denied',
+    'conflict', 'timeout', 'exceed', 'cannot', "can't", 'must not',
+    'does not', "doesn't", 'is not', "isn't", 'no ',
+].join('|'), 'i');
+/** `## Non-goals` (or prose "non-goal") anywhere in the document. */
+const NON_GOALS = /non[- ]goals?/i;
+/**
+ * A test-plan signal: a `verifies:` link block, an `@verifies` marker, or prose
+ * naming a test plan. Any one of them means the author thought about evidence.
+ */
+const TEST_PLAN = /(^|\n)\s*verifies:|@verifies|test plan|test-plan/i;
+/** An unresolved authoring marker that must not survive into a written spec. */
+const NEEDS_REVIEW = /\[needs\s+review\]/i;
+/**
+ * Drop inline code spans and fenced blocks before scanning prose. A spec that
+ * documents the marker syntax writes `` `[needs review]` `` in backticks and is
+ * not itself unresolved — without this, the lint flags the requirement that
+ * defines the lint.
+ */
+function stripCode(text) {
+    return text.replace(/```[\s\S]*?```/g, ' ').replace(/`[^`]*`/g, ' ');
+}
+/**
+ * True for a file that lives under `specs/` without being a spec: a brainstorm
+ * brief (`brief.md`) or a design handoff-bundle transcript (`source.md`, the
+ * designer convention). Neither carries id-marked headings by design, so every
+ * structural check below would fire on every heading.
+ */
+function isNonSpecArtifact(filePath) {
+    const base = (filePath.split(/[/\\]/).pop() ?? '').toLowerCase();
+    return base === 'brief.md' || base === 'source.md';
+}
+/** True for a domain fact — frontmatter-keyed, no requirement structure. */
+function isDomainFile(filePath) {
+    return filePath.replace(/\\/g, '/').includes('specs/domain/');
+}
+/** The provenance an external fact must carry (REQ-KNOW-001). */
+const EXTERNAL_PROVENANCE = ['dependency', 'version', 'source'];
+/**
+ * Domain-fact checks (KNOWLEDGE-DOC):
+ *  - an `external` fact missing `dependency` / `version` / `source` is an
+ *    error naming the missing field(s) (REQ-KNOW-001.A2) — it still indexes;
+ *  - an `## Enforced` bullet not of the form `` `<glob>` must not match
+ *    `/<regex>/` `` is an error (REQ-KNOW-003.A3).
+ */
+function lintDomainFact(specs, source, add) {
+    const fact = specs.find((s) => s.kind === 'domain');
+    if (fact) {
+        const meta = (fact.metadata ?? {});
+        if (meta.type === 'external') {
+            const missing = EXTERNAL_PROVENANCE.filter((k) => {
+                const v = meta[k];
+                return !(typeof v === 'number' || (typeof v === 'string' && v.trim().length > 0));
+            });
+            if (missing.length > 0) {
+                add({
+                    code: 'spec_external_fact_missing_provenance',
+                    severity: 'error',
+                    line: 1,
+                    specId: fact.id,
+                    message: `External fact ${fact.id} is missing ${missing.join(', ')} — an external fact must record the dependency, the version it was verified against, and its source.`,
+                });
+            }
+        }
+    }
+    // Parsed over the whole source so the line numbers are file lines; the
+    // frontmatter can't contain a `## Enforced` heading.
+    for (const m of (0, enforce_1.parseEnforcedRules)(source).malformed) {
+        add({
+            code: 'spec_malformed_enforced_rule',
+            severity: 'error',
+            line: m.line,
+            specId: fact?.id,
+            message: `Malformed enforced rule "${m.text}": ${m.reason}.`,
+        });
+    }
+}
+/**
+ * Lint one spec file's source. `filePath` is used verbatim in findings, so
+ * callers should pass a project-relative path.
+ */
+function lintSpecSource(filePath, source) {
+    const findings = [];
+    const add = (f) => findings.push({ ...f, filePath });
+    // A brief or a design-handoff transcript is not a spec and is not held to a
+    // spec's shape — including the extractor's own `spec_missing_id`, which every
+    // heading in a transcript would trip. Nothing to report, at all.
+    if (isNonSpecArtifact(filePath))
+        return findings;
+    const lines = source.split(/\r?\n/);
+    const result = new markdown_spec_extractor_1.MarkdownSpecExtractor(filePath, source).extract();
+    // 1. The extractor's own verdict, carried through unchanged (A1). Its
+    //    severities are already right: a missing id is an error, a bare-path link
+    //    bullet is a warning (the no-edge pointer is legal, just invisible).
+    for (const e of result.errors) {
+        add({
+            code: e.code ?? 'spec_extraction_error',
+            severity: e.severity === 'error' ? 'error' : 'warning',
+            line: e.line,
+            message: e.message,
+        });
+    }
+    // 2. Duplicate ids within the file (A1). The persistence layer upserts by id,
+    //    so the LAST occurrence wins and the earlier section silently vanishes.
+    const seen = new Map();
+    for (let i = 0; i < lines.length; i++) {
+        const m = (lines[i] ?? '').match(ID_COMMENT_LINE);
+        const id = m?.[1];
+        if (!id)
+            continue;
+        const first = seen.get(id);
+        if (first !== undefined) {
+            add({
+                code: 'spec_duplicate_id',
+                severity: 'error',
+                line: i + 1,
+                specId: id,
+                message: `Duplicate id ${id} (first declared on line ${first}). The last occurrence overwrites earlier ones, so the earlier section is lost.`,
+            });
+        }
+        else {
+            seen.set(id, i + 1);
+        }
+    }
+    // A domain fact keeps the extractor's verdict (its frontmatter can genuinely
+    // be malformed) but has no requirement/acceptance structure to check. It has
+    // its own two checks instead (KNOWLEDGE-DOC).
+    if (isDomainFile(filePath)) {
+        lintDomainFact(result.specs, source, add);
+        return sortFindings(findings);
+    }
+    const declared = new Set([...seen.keys(), ...result.specs.map((s) => s.id)]);
+    const acceptance = result.specs.filter((s) => s.kind === 'acceptance');
+    const requirements = result.specs.filter((s) => s.kind === 'requirement');
+    // 3. An `.A<N>` id whose parent requirement is nowhere in the file (A1). The
+    //    extractor parents it anyway (by id), so nothing complains at index time
+    //    while the criterion hangs off a requirement that doesn't exist.
+    for (const spec of result.specs) {
+        const parent = (0, markdown_spec_extractor_1.parseAcceptanceParentId)(spec.id);
+        if (parent && !declared.has(parent)) {
+            add({
+                code: 'spec_orphan_acceptance_parent',
+                severity: 'error',
+                line: spec.startLine,
+                specId: spec.id,
+                message: `${spec.id} names ${parent} as its parent requirement, but ${parent} is not declared in this file.`,
+            });
+        }
+    }
+    // 4. A requirement with no acceptance criteria (A1) — unverifiable by
+    //    construction, and invisible to the behaviour gate.
+    for (const req of requirements) {
+        const children = acceptance.filter((a) => a.parentId === req.id);
+        if (children.length === 0) {
+            add({
+                code: 'spec_requirement_without_acceptance',
+                severity: 'error',
+                line: req.startLine,
+                specId: req.id,
+                message: `${req.id} has no acceptance criteria — nothing can verify it.`,
+            });
+        }
+    }
+    // 5. `[needs review]` left inside an acceptance bullet (A1).
+    for (const a of acceptance) {
+        if (NEEDS_REVIEW.test(stripCode(a.body))) {
+            add({
+                code: 'spec_needs_review_marker',
+                severity: 'error',
+                line: a.startLine,
+                specId: a.id,
+                message: `${a.id} still carries a [needs review] marker.`,
+            });
+        }
+    }
+    // 5b. An `(evidence: <kind>)` tag naming a kind outside the four
+    //     (REQ-PIPETRUST-001.A3). Resolution would silently fall back to the
+    //     derived kind, so the author's intent would be lost — an error.
+    for (const a of acceptance) {
+        const { invalid } = (0, evidence_kind_1.parseDeclaredEvidenceKind)(a.body);
+        if (invalid !== undefined) {
+            add({
+                code: 'spec_unknown_evidence_kind',
+                severity: 'error',
+                line: a.startLine,
+                specId: a.id,
+                message: `${a.id} declares unknown evidence kind "${invalid}" — use one of ${evidence_kind_1.EVIDENCE_KINDS.join(', ')}.`,
+            });
+        }
+    }
+    // 6. Happy-path-only requirements (A2, warning).
+    for (const req of requirements) {
+        const children = acceptance.filter((a) => a.parentId === req.id);
+        if (children.length === 0)
+            continue; // already an error above
+        if (!children.some((a) => NEGATIVE_CASE.test(a.body))) {
+            add({
+                code: 'spec_no_negative_case',
+                severity: 'warning',
+                line: req.startLine,
+                specId: req.id,
+                message: `${req.id} has no negative-case acceptance criterion (no refusal, failure, or absence is specified).`,
+            });
+        }
+    }
+    // 7. A requirement stating no obligation (A2, warning). Scoped to the
+    //     requirement's own title and body, NOT its bullets: house style writes
+    //     acceptance criteria declaratively ("- The tile shows no delta…"), so a
+    //     per-bullet check fires on essentially every criterion in the corpus and
+    //     carries no signal. The obligation belongs on the requirement.
+    for (const req of requirements) {
+        const children = acceptance.filter((a) => a.parentId === req.id);
+        const prose = requirementProse(lines, req, children);
+        if (!RFC_2119.test(req.title) && !RFC_2119.test(prose)) {
+            add({
+                code: 'spec_requirement_without_rfc2119',
+                severity: 'warning',
+                line: req.startLine,
+                specId: req.id,
+                message: `${req.id} states no requirement keyword (MUST / SHOULD / MAY) in its title or body — its obligation is ambiguous.`,
+            });
+        }
+    }
+    // 8. Document-level signals the review checklist asks for (A2, warnings).
+    //    Only meaningful for a file that actually declares requirements.
+    if (requirements.length > 0) {
+        if (!NON_GOALS.test(source)) {
+            add({
+                code: 'spec_missing_non_goals',
+                severity: 'warning',
+                message: 'No non-goals stated — scope has no stated boundary.',
+            });
+        }
+        if (!TEST_PLAN.test(source)) {
+            add({
+                code: 'spec_missing_test_plan',
+                severity: 'warning',
+                message: 'No test-evidence signal (`verifies:` block, `@verifies`, or a test plan) — nothing declares how this gets verified.',
+            });
+        }
+    }
+    return sortFindings(findings);
+}
+/**
+ * A requirement's own prose: its body minus the acceptance criteria that live
+ * inside it. `Spec.body` spans everything under the heading, criteria included,
+ * so scanning it for an obligation keyword would read the bullets' wording
+ * back — exactly what the requirement-level check exists to avoid.
+ */
+function requirementProse(lines, req, children) {
+    const from = (req.startLine ?? 1) + 1; // 1-indexed, excluding the heading
+    const to = req.endLine ?? lines.length;
+    const covered = (n) => children.some((c) => n >= (c.startLine ?? 0) && n <= (c.endLine ?? c.startLine ?? 0));
+    const out = [];
+    for (let n = from; n <= to && n <= lines.length; n++) {
+        const line = lines[n - 1] ?? '';
+        if (covered(n))
+            continue;
+        if (/^\s*#{1,6}\s*acceptance\s*$/i.test(line))
+            continue;
+        out.push(line);
+    }
+    return out.join('\n');
+}
+/** Stable order within a file: by line, then code, then message. */
+function sortFindings(findings) {
+    return findings.sort((a, b) => (a.line ?? Number.MAX_SAFE_INTEGER) - (b.line ?? Number.MAX_SAFE_INTEGER) ||
+        a.code.localeCompare(b.code) ||
+        a.message.localeCompare(b.message));
+}
+/** Collect `.md` files under a path (file → itself). Hidden dirs skipped. */
+function collectSpecFiles(target, out) {
+    let stat;
+    try {
+        stat = fs.statSync(target);
+    }
+    catch {
+        return;
+    }
+    if (stat.isFile()) {
+        if (target.toLowerCase().endsWith('.md'))
+            out.push(target);
+        return;
+    }
+    if (!stat.isDirectory())
+        return;
+    let entries;
+    try {
+        entries = fs.readdirSync(target, { withFileTypes: true });
+    }
+    catch {
+        return;
+    }
+    for (const entry of entries) {
+        const full = path.join(target, entry.name);
+        if (entry.isDirectory()) {
+            if (entry.name.startsWith('.') || entry.name === 'node_modules')
+                continue;
+            collectSpecFiles(full, out);
+        }
+        else if (entry.isFile() && entry.name.toLowerCase().endsWith('.md')) {
+            out.push(full);
+        }
+    }
+}
+/**
+ * Lint every `.md` under each path (a path may be a file or a directory).
+ * A path that does not exist contributes an error finding rather than throwing —
+ * a typo'd argument must not look like a clean run.
+ */
+function lintSpecs(paths, options = {}) {
+    const projectRoot = options.projectRoot ?? process.cwd();
+    const files = [];
+    const targets = paths.length > 0 ? paths : [path.join(projectRoot, 'specs')];
+    const absFiles = [];
+    for (const target of targets) {
+        const abs = path.isAbsolute(target) ? target : path.join(projectRoot, target);
+        if (!fs.existsSync(abs)) {
+            files.push({
+                filePath: path.relative(projectRoot, abs) || target,
+                findings: [
+                    {
+                        code: 'lint_path_not_found',
+                        severity: 'error',
+                        filePath: path.relative(projectRoot, abs) || target,
+                        message: `No such file or directory: ${target}`,
+                    },
+                ],
+                errorCount: 1,
+                warningCount: 0,
+            });
+            continue;
+        }
+        collectSpecFiles(abs, absFiles);
+    }
+    for (const abs of [...new Set(absFiles)].sort()) {
+        const rel = path.relative(projectRoot, abs) || abs;
+        let source;
+        try {
+            source = fs.readFileSync(abs, 'utf-8');
+        }
+        catch (err) {
+            files.push({
+                filePath: rel,
+                findings: [
+                    {
+                        code: 'lint_unreadable_file',
+                        severity: 'error',
+                        filePath: rel,
+                        message: `Could not read: ${err instanceof Error ? err.message : String(err)}`,
+                    },
+                ],
+                errorCount: 1,
+                warningCount: 0,
+            });
+            continue;
+        }
+        const findings = lintSpecSource(rel, source);
+        files.push({
+            filePath: rel,
+            findings,
+            errorCount: findings.filter((f) => f.severity === 'error').length,
+            warningCount: findings.filter((f) => f.severity === 'warning').length,
+        });
+    }
+    files.sort((a, b) => a.filePath.localeCompare(b.filePath));
+    const errorCount = files.reduce((n, f) => n + f.errorCount, 0);
+    const warningCount = files.reduce((n, f) => n + f.warningCount, 0);
+    return {
+        files,
+        filesChecked: files.length,
+        errorCount,
+        warningCount,
+        hasErrors: errorCount > 0,
+    };
+}
+/**
+ * Human-readable, file-grouped rendering (A4). Files with no findings are
+ * summarized in the tail count rather than listed, so a clean corpus prints
+ * one line.
+ */
+function formatLintReport(report) {
+    const out = [];
+    for (const file of report.files) {
+        if (file.findings.length === 0)
+            continue;
+        out.push(file.filePath);
+        for (const f of file.findings) {
+            const where = f.line !== undefined ? `:${f.line}` : '';
+            out.push(`  ${f.severity === 'error' ? 'error' : 'warn '} ${f.code}${where} — ${f.message}`);
+        }
+        out.push('');
+    }
+    const counts = `${report.errorCount} error(s), ${report.warningCount} warning(s) in ${report.filesChecked} file(s)`;
+    out.push(report.errorCount === 0 && report.warningCount === 0 ? `Clean — ${counts}` : counts);
+    return out.join('\n');
+}
+/**
+ * CLI entry point, kept here so registering the subcommand is three lines in
+ * `src/bin/specship.ts`. Returns the text to print and the process exit code
+ * (A3) instead of writing or exiting itself — that is what makes it testable.
+ *
+ * Usage: `specship lint [path...] [--json]`
+ */
+function runLintCli(args = [], options = {}) {
+    const json = args.includes('--json');
+    const paths = args.filter((a) => !a.startsWith('--'));
+    const report = lintSpecs(paths, options);
+    return {
+        output: json ? JSON.stringify(report, null, 2) : formatLintReport(report),
+        exitCode: report.hasErrors ? 1 : 0,
+    };
+}
+//# sourceMappingURL=lint.js.map

package/lib/dist/spec-lint/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/spec-lint/lint.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkLH,wCA2KC;AAyED,8BAmEC;AAOD,4CAcC;AASD,gCAWC;AAhhBD,uCAAyB;AACzB,2CAA6B;AAC7B,yFAA6G;AAE7G,iEAA0F;AAC1F,kDAA0D;AAuD1D;;;;;GAKG;AACH,MAAM,eAAe,GAAG,8CAA8C,CAAC;AAEvE,gFAAgF;AAChF,MAAM,QAAQ,GAAG,0FAA0F,CAAC;AAE5G;;;;GAIG;AACH,MAAM,aAAa,GAAG,IAAI,MAAM,CAC9B;IACE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS;IACrE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc;IAChE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ;IACvE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU;IAC9D,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK;CAChD,CAAC,IAAI,CAAC,GAAG,CAAC,EACX,GAAG,CACJ,CAAC;AAEF,qEAAqE;AACrE,MAAM,SAAS,GAAG,gBAAgB,CAAC;AAEnC;;;GAGG;AACH,MAAM,SAAS,GAAG,mDAAmD,CAAC;AAEtE,gFAAgF;AAChF,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAE3C;;;;;GAKG;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;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,QAAgB;IACzC,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACjE,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,WAAW,CAAC;AACrD,CAAC;AAED,4EAA4E;AAC5E,SAAS,YAAY,CAAC,QAAgB;IACpC,OAAO,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;AAChE,CAAC;AAED,iEAAiE;AACjE,MAAM,mBAAmB,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAU,CAAC;AAEzE;;;;;;GAMG;AACH,SAAS,cAAc,CACrB,KAAa,EACb,MAAc,EACd,GAA+C;IAE/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACpD,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC;QAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACpF,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,GAAG,CAAC;oBACF,IAAI,EAAE,uCAAuC;oBAC7C,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,OAAO,EAAE,iBAAiB,IAAI,CAAC,EAAE,eAAe,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,sGAAsG;iBACzK,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,qDAAqD;IACrD,KAAK,MAAM,CAAC,IAAI,IAAA,4BAAkB,EAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;QACrD,GAAG,CAAC;YACF,IAAI,EAAE,8BAA8B;YACpC,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM,EAAE,IAAI,EAAE,EAAE;YAChB,OAAO,EAAE,4BAA4B,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,GAAG;SAC7D,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,QAAgB,EAAE,MAAc;IAC7D,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,CAAgC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEpF,4EAA4E;IAC5E,8EAA8E;IAC9E,iEAAiE;IACjE,IAAI,iBAAiB,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAEjD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,+CAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;IAErE,sEAAsE;IACtE,8EAA8E;IAC9E,yEAAyE;IACzE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,GAAG,CAAC;YACF,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,uBAAuB;YACvC,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACtD,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,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,eAAe,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC;gBACF,IAAI,EAAE,mBAAmB;gBACzB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,MAAM,EAAE,EAAE;gBACV,OAAO,EAAE,gBAAgB,EAAE,4BAA4B,KAAK,iFAAiF;aAC9I,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,8CAA8C;IAC9C,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3B,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1C,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IAE1E,6EAA6E;IAC7E,6EAA6E;IAC7E,qEAAqE;IACrE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAA,iDAAuB,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChD,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,GAAG,CAAC;gBACF,IAAI,EAAE,+BAA+B;gBACrC,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,IAAI,CAAC,SAAS;gBACpB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,UAAU,MAAM,mCAAmC,MAAM,gCAAgC;aAC7G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,wDAAwD;IACxD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC;gBACF,IAAI,EAAE,qCAAqC;gBAC3C,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,MAAM,EAAE,GAAG,CAAC,EAAE;gBACd,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE,sDAAsD;aACzE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC;gBACF,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,CAAC,CAAC,SAAS;gBACjB,MAAM,EAAE,CAAC,CAAC,EAAE;gBACZ,OAAO,EAAE,GAAG,CAAC,CAAC,EAAE,yCAAyC;aAC1D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,yEAAyE;IACzE,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,yCAAyB,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC;gBACF,IAAI,EAAE,4BAA4B;gBAClC,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,CAAC,CAAC,SAAS;gBACjB,MAAM,EAAE,CAAC,CAAC,EAAE;gBACZ,OAAO,EAAE,GAAG,CAAC,CAAC,EAAE,oCAAoC,OAAO,kBAAkB,8BAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAC1G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,yBAAyB;QAC9D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,CAAC;gBACF,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,MAAM,EAAE,GAAG,CAAC,EAAE;gBACd,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE,4FAA4F;aAC/G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,oEAAoE;IACpE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,GAAG,CAAC;gBACF,IAAI,EAAE,kCAAkC;gBACxC,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,MAAM,EAAE,GAAG,CAAC,EAAE;gBACd,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE,0GAA0G;aAC7H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC;gBACF,IAAI,EAAE,wBAAwB;gBAC9B,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,qDAAqD;aAC/D,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC;gBACF,IAAI,EAAE,wBAAwB;gBAC9B,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,qHAAqH;aAC/H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,KAAe,EAAE,GAAS,EAAE,QAAgB;IACpE,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,mCAAmC;IAC1E,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,EAAE,CAC5B,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,CAAC,CAAC;YAAE,SAAS;QACzB,IAAI,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QACxD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,QAAuB;IAC3C,OAAO,QAAQ,CAAC,IAAI,CAClB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,gBAAgB,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,gBAAgB,CAAC,MAAc,EAAE,GAAa;IACrD,IAAI,IAAc,CAAC;IACnB,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3D,OAAO;IACT,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO;IAChC,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;gBAAE,SAAS;YAC1E,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAOD;;;;GAIG;AACH,SAAgB,SAAS,CAAC,KAAe,EAAE,UAAuB,EAAE;IAClE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,KAAK,GAAqB,EAAE,CAAC;IAEnC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC9E,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,MAAM;gBACnD,QAAQ,EAAE;oBACR;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,MAAM;wBACnD,OAAO,EAAE,8BAA8B,MAAM,EAAE;qBAChD;iBACF;gBACD,UAAU,EAAE,CAAC;gBACb,YAAY,EAAE,CAAC;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAClC,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC;QACnD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,GAAG;gBACb,QAAQ,EAAE;oBACR;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,GAAG;wBACb,OAAO,EAAE,mBAAmB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;qBAC/E;iBACF;gBACD,UAAU,EAAE,CAAC;gBACb,YAAY,EAAE,CAAC;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,GAAG;YACb,QAAQ;YACR,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM;YACjE,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;SACtE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACnE,OAAO;QACL,KAAK;QACL,YAAY,EAAE,KAAK,CAAC,MAAM;QAC1B,UAAU;QACV,YAAY;QACZ,SAAS,EAAE,UAAU,GAAG,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB,CAAC,MAAkB;IACjD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACzC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,cAAc,MAAM,CAAC,YAAY,kBAAkB,MAAM,CAAC,YAAY,UAAU,CAAC;IACpH,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9F,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,UAAU,CACxB,OAAiB,EAAE,EACnB,UAAuB,EAAE;IAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC;QACzE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC;AACJ,CAAC"}

package/lib/dist/spec-quality/criterion-ids.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Spec ids named in free text, with criterion shorthand expanded
+ * (PIPETRUST-DOC, REQ-PIPETRUST-008).
+ *
+ * Test titles cite several criteria of one requirement in shorthand —
+ * `REQ-X-004.A1/A3`, `REQ-X-028.A2/.A3`, `REQ-X-001.A1 / A3`. Reading only the
+ * first id left the rest silently unlinked, so the title scanner and postcheck
+ * share this one parser. A bare `A2` with no preceding full id names nothing,
+ * and ids match whole: `REQ-X.A10` never yields `REQ-X.A1`.
+ */
+/** Every spec id `text` names, shorthand expanded, in order of appearance (duplicates kept). */
+export declare function criterionIdsInText(text: string): string[];
+//# sourceMappingURL=criterion-ids.d.ts.map

package/lib/dist/spec-quality/criterion-ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"criterion-ids.d.ts","sourceRoot":"","sources":["../../src/spec-quality/criterion-ids.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAOH,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBzD"}

package/lib/dist/spec-quality/criterion-ids.js

@@ -0,0 +1,38 @@
+"use strict";
+/**
+ * Spec ids named in free text, with criterion shorthand expanded
+ * (PIPETRUST-DOC, REQ-PIPETRUST-008).
+ *
+ * Test titles cite several criteria of one requirement in shorthand —
+ * `REQ-X-004.A1/A3`, `REQ-X-028.A2/.A3`, `REQ-X-001.A1 / A3`. Reading only the
+ * first id left the rest silently unlinked, so the title scanner and postcheck
+ * share this one parser. A bare `A2` with no preceding full id names nothing,
+ * and ids match whole: `REQ-X.A10` never yields `REQ-X.A1`.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.criterionIdsInText = criterionIdsInText;
+/** A full spec id, an optional `.A<N>` suffix, then any `/A<N>`, `, .A<N>`, `& A<N>` continuations. */
+const SPEC_ID_CHAIN = /\b([A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+)(\.A\d+)?((?:\s*[/,&]\s*\.?A\d+\b)*)(?![\w-])/g;
+const CONTINUATION = /\.?A(\d+)/g;
+/** Every spec id `text` names, shorthand expanded, in order of appearance (duplicates kept). */
+function criterionIdsInText(text) {
+    const out = [];
+    SPEC_ID_CHAIN.lastIndex = 0;
+    let m;
+    while ((m = SPEC_ID_CHAIN.exec(text)) !== null) {
+        const base = m[1];
+        const first = m[2];
+        if (!first) {
+            out.push(base);
+            continue;
+        }
+        out.push(base + first);
+        const chain = m[3] ?? '';
+        CONTINUATION.lastIndex = 0;
+        let c;
+        while ((c = CONTINUATION.exec(chain)) !== null)
+            out.push(`${base}.A${c[1]}`);
+    }
+    return out;
+}
+//# sourceMappingURL=criterion-ids.js.map

package/lib/dist/spec-quality/criterion-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"criterion-ids.js","sourceRoot":"","sources":["../../src/spec-quality/criterion-ids.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAQH,gDAkBC;AAxBD,uGAAuG;AACvG,MAAM,aAAa,GACjB,iFAAiF,CAAC;AACpF,MAAM,YAAY,GAAG,YAAY,CAAC;AAElC,gGAAgG;AAChG,SAAgB,kBAAkB,CAAC,IAAY;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,aAAa,CAAC,SAAS,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}