@matteeh/osq 0.1.0 → 0.2.0

package/dist/core/spec/parser.d.ts

@@ -0,0 +1,82 @@
+export interface FrontmatterResult {
+    data: Record<string, unknown>;
+    body: string;
+}
+export declare function parseFrontmatter(content: string): FrontmatterResult;
+export interface SpecFeatures {
+    readonly reads: string[];
+}
+/**
+ * Detects whether raw proposal frontmatter declares `features.writes`.
+ * The field is no longer part of the proposal schema: capability writes are
+ * declared solely by the delta spec files under `specs/<capability>/spec.md`.
+ * The linter uses this to reject any frontmatter still carrying the key.
+ */
+export declare function hasDeclaredWrites(data: Record<string, unknown>): boolean;
+export interface SpecData {
+    readonly title: string;
+    readonly dependsOn: string[];
+    readonly features: SpecFeatures;
+    readonly goal: string;
+    readonly contract: string;
+    readonly contractTablesCount: number;
+    readonly nonGoals: string;
+    readonly delta: string;
+    readonly verify: string;
+    readonly raw: string;
+}
+export declare function extractSection(body: string, heading: string): string;
+export declare function parseSpecMd(content: string): SpecData;
+/**
+ * Extracts the file path globs owned by a capability from a
+ * `### Requirement: Code ownership` block. Globs are read from the
+ * `<!-- source: ... -->` comment declared directly beneath the header
+ * (comma-separated). When no source comment is present, backtick-quoted
+ * path-like tokens inside the requirement block are used as a fallback.
+ * Returns an empty array when the header is absent.
+ */
+export declare function parseCodeOwnership(content: string): string[];
+export declare const PROPOSAL_FILENAME = "proposal.md";
+export declare const SPEC_FILENAME = "spec.md";
+export type ChangeDocKind = 'proposal' | 'spec';
+export interface ResolvedChangeDoc {
+    readonly path: string;
+    readonly kind: ChangeDocKind;
+}
+/**
+ * Resolves the change document inside a change folder, preferring the
+ * OpenSpec `proposal.md` and falling back to the legacy `spec.md`.
+ */
+export declare function resolveChangeDoc(folderPath: string): Promise<ResolvedChangeDoc | null>;
+/**
+ * Parses `proposal.md` when present, otherwise falls back to `spec.md`.
+ * Returns null when neither file exists in the change folder.
+ */
+export declare function parseSpecMdFromFolder(folderPath: string): Promise<SpecData | null>;
+export type VerifyStarts = 'red' | 'green' | 'any';
+export interface TaskData {
+    readonly title: string;
+    readonly verify: string;
+    readonly scope: string[];
+    readonly entry: string[];
+    readonly skills: string[];
+    readonly testsModify: boolean;
+    readonly verifyStarts: VerifyStarts;
+    readonly acceptance: string[];
+    readonly raw: string;
+}
+export declare function parseTaskMd(content: string): TaskData;
+export interface ChecklistItem {
+    readonly number: number | null;
+    readonly title: string;
+    readonly checked: boolean;
+    readonly section: string | null;
+    readonly line: number;
+}
+/**
+ * Parses an OpenSpec `tasks.md` checklist. Supports flat numbered lists and
+ * grouped lists where items live under `## <section>` headers. Item numbers
+ * are optional; unnumbered items yield `number: null`.
+ */
+export declare function parseTaskList(content: string): ChecklistItem[];
+//# sourceMappingURL=parser.d.ts.map

package/dist/core/spec/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../src/core/spec/parser.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,iBAAiB,CAenE;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAMxE;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAIpE;AAQD,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAmCrD;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA+B5D;AAED,eAAO,MAAM,iBAAiB,gBAAgB,CAAC;AAC/C,eAAO,MAAM,aAAa,YAAY,CAAC;AAEvC,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,MAAM,CAAC;AAEhD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B;AASD;;;GAGG;AACH,wBAAsB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAY5F;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,CAQxF;AAED,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,OAAO,GAAG,KAAK,CAAC;AAEnD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAmBD,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAkCrD;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAKD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,EAAE,CA2B9D"}

package/dist/core/spec/parser.js

@@ -0,0 +1,221 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import YAML from 'yaml';
+export function parseFrontmatter(content) {
+    const match = content.match(/^---\r?\n([\s\S]*?)\r?\n---\r?\n?([\s\S]*)$/);
+    if (!match) {
+        return { data: {}, body: content };
+    }
+    try {
+        const data = YAML.parse(match[1]) || {};
+        return {
+            data: typeof data === 'object' && data !== null ? data : {},
+            body: match[2] || '',
+        };
+    }
+    catch {
+        return { data: {}, body: content };
+    }
+}
+/**
+ * Detects whether raw proposal frontmatter declares `features.writes`.
+ * The field is no longer part of the proposal schema: capability writes are
+ * declared solely by the delta spec files under `specs/<capability>/spec.md`.
+ * The linter uses this to reject any frontmatter still carrying the key.
+ */
+export function hasDeclaredWrites(data) {
+    const features = data.features;
+    if (features === null || typeof features !== 'object' || Array.isArray(features)) {
+        return false;
+    }
+    return 'writes' in features;
+}
+export function extractSection(body, heading) {
+    const regex = new RegExp(`##\\s+${heading}\\s*\\n([\\s\\S]*?)(?=(?:\\n##\\s+|$))`, 'i');
+    const match = body.match(regex);
+    return match ? match[1].trim() : '';
+}
+function countMarkdownTables(text) {
+    const tableRegex = /\|[^\n]+\|\r?\n\|[-:\s|]+\|\r?\n(?:\|[^\n]+\|\r?\n?)+/g;
+    const matches = text.match(tableRegex);
+    return matches ? matches.length : 0;
+}
+export function parseSpecMd(content) {
+    const { data, body } = parseFrontmatter(content);
+    const title = typeof data.title === 'string' ? data.title.trim() : '';
+    const dependsOn = Array.isArray(data.depends_on)
+        ? data.depends_on.map((d) => {
+            const str = String(d).trim();
+            const num = Number.parseInt(str, 10);
+            return !Number.isNaN(num) ? String(num).padStart(3, '0') : str;
+        })
+        : [];
+    const rawFeatures = data.features || {};
+    const reads = Array.isArray(rawFeatures.reads)
+        ? rawFeatures.reads.map((r) => String(r).trim())
+        : [];
+    const goal = extractSection(body, 'Goal');
+    const contract = extractSection(body, 'Contract');
+    const nonGoals = extractSection(body, 'Non-goals');
+    const delta = extractSection(body, 'Delta');
+    const verify = typeof data.verify === 'string' ? data.verify.trim() : '';
+    return {
+        title,
+        dependsOn,
+        features: { reads },
+        goal,
+        contract,
+        contractTablesCount: countMarkdownTables(contract),
+        nonGoals,
+        delta,
+        verify,
+        raw: content,
+    };
+}
+/**
+ * Extracts the file path globs owned by a capability from a
+ * `### Requirement: Code ownership` block. Globs are read from the
+ * `<!-- source: ... -->` comment declared directly beneath the header
+ * (comma-separated). When no source comment is present, backtick-quoted
+ * path-like tokens inside the requirement block are used as a fallback.
+ * Returns an empty array when the header is absent.
+ */
+export function parseCodeOwnership(content) {
+    const headerRegex = /^###\s+Requirement:\s*Code ownership\s*$/im;
+    const headerMatch = headerRegex.exec(content);
+    if (!headerMatch) {
+        return [];
+    }
+    const rest = content.slice(headerMatch.index + headerMatch[0].length);
+    const boundary = rest.search(/\n(?:###\s|##(?!#)\s)/);
+    const block = boundary === -1 ? rest : rest.slice(0, boundary);
+    const sourceRegex = /<!--\s*source:\s*([\s\S]*?)-->/i;
+    const sourceMatch = sourceRegex.exec(block);
+    if (sourceMatch) {
+        return sourceMatch[1]
+            .split(',')
+            .map((entry) => entry.trim())
+            .filter((entry) => entry.length > 0);
+    }
+    const globs = [];
+    const seen = new Set();
+    for (const match of block.matchAll(/`([^`]+)`/g)) {
+        const token = match[1].trim();
+        if (token && /[/\\*]/.test(token) && !seen.has(token)) {
+            seen.add(token);
+            globs.push(token);
+        }
+    }
+    return globs;
+}
+export const PROPOSAL_FILENAME = 'proposal.md';
+export const SPEC_FILENAME = 'spec.md';
+async function fileExists(filePath) {
+    return fs
+        .stat(filePath)
+        .then(() => true)
+        .catch(() => false);
+}
+/**
+ * Resolves the change document inside a change folder, preferring the
+ * OpenSpec `proposal.md` and falling back to the legacy `spec.md`.
+ */
+export async function resolveChangeDoc(folderPath) {
+    const proposalPath = path.join(folderPath, PROPOSAL_FILENAME);
+    if (await fileExists(proposalPath)) {
+        return { path: proposalPath, kind: 'proposal' };
+    }
+    const specPath = path.join(folderPath, SPEC_FILENAME);
+    if (await fileExists(specPath)) {
+        return { path: specPath, kind: 'spec' };
+    }
+    return null;
+}
+/**
+ * Parses `proposal.md` when present, otherwise falls back to `spec.md`.
+ * Returns null when neither file exists in the change folder.
+ */
+export async function parseSpecMdFromFolder(folderPath) {
+    const resolved = await resolveChangeDoc(folderPath);
+    if (!resolved) {
+        return null;
+    }
+    const content = await fs.readFile(resolved.path, 'utf8');
+    return parseSpecMd(content);
+}
+function readVerifyStarts(data) {
+    const value = data.verify_starts;
+    return value === 'green' || value === 'any' ? value : 'red';
+}
+function readTestsModify(data) {
+    const nested = data.tests;
+    if (nested !== null && typeof nested === 'object' && !Array.isArray(nested)) {
+        const modify = nested.modify;
+        if (typeof modify === 'boolean') {
+            return modify;
+        }
+    }
+    return data['tests.modify'] === true;
+}
+export function parseTaskMd(content) {
+    const { data, body } = parseFrontmatter(content);
+    const title = typeof data.title === 'string' ? data.title.trim() : '';
+    const verify = typeof data.verify === 'string' ? data.verify.trim() : '';
+    const testsModify = readTestsModify(data);
+    const verifyStarts = readVerifyStarts(data);
+    const scope = Array.isArray(data.scope) ? data.scope.map((s) => String(s).trim()) : [];
+    const entry = Array.isArray(data.entry) ? data.entry.map((e) => String(e).trim()) : [];
+    const skills = Array.isArray(data.skills)
+        ? data.skills.map((s) => String(s).trim())
+        : [];
+    const acceptanceSection = extractSection(body, 'Acceptance') || body;
+    const itemRegex = /^[*-]\s+\[[ xX]\]\s+(.+)$/gm;
+    const matches = acceptanceSection.matchAll(itemRegex);
+    const acceptance = [];
+    for (const match of matches) {
+        acceptance.push(match[1].trim());
+    }
+    return {
+        title,
+        verify,
+        scope,
+        entry,
+        skills,
+        testsModify,
+        verifyStarts,
+        acceptance,
+        raw: content,
+    };
+}
+const SECTION_HEADING_REGEX = /^##\s+(.+?)\s*$/;
+const CHECKLIST_ITEM_REGEX = /^[-*]\s+\[([ xX])\]\s+(?:(\d+)[.)]\s+)?(.+?)\s*$/;
+/**
+ * Parses an OpenSpec `tasks.md` checklist. Supports flat numbered lists and
+ * grouped lists where items live under `## <section>` headers. Item numbers
+ * are optional; unnumbered items yield `number: null`.
+ */
+export function parseTaskList(content) {
+    const items = [];
+    const lines = content.split(/\r?\n/);
+    let section = null;
+    for (let index = 0; index < lines.length; index++) {
+        const line = lines[index];
+        const sectionMatch = line.match(SECTION_HEADING_REGEX);
+        if (sectionMatch) {
+            section = sectionMatch[1].trim();
+            continue;
+        }
+        const itemMatch = line.match(CHECKLIST_ITEM_REGEX);
+        if (itemMatch) {
+            items.push({
+                number: itemMatch[2] ? Number.parseInt(itemMatch[2], 10) : null,
+                title: itemMatch[3].trim(),
+                checked: itemMatch[1].toLowerCase() === 'x',
+                section,
+                line: index + 1,
+            });
+        }
+    }
+    return items;
+}
+//# sourceMappingURL=parser.js.map

package/dist/core/spec/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../src/core/spec/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,IAAI,MAAM,MAAM,CAAC;AAOxB,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC3E,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACrC,CAAC;IAED,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE;YACxF,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;SACrB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAMD;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAA6B;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,QAAQ,IAAK,QAAoC,CAAC;AAC3D,CAAC;AAeD,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC1D,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,SAAS,OAAO,wCAAwC,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,UAAU,GAAG,wDAAwD,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAEjD,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE;YACjC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACrC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjE,CAAC,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,WAAW,GAAI,IAAI,CAAC,QAAoC,IAAI,EAAE,CAAC;IACrE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC;QAC5C,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAEzE,OAAO;QACL,KAAK;QACL,SAAS;QACT,QAAQ,EAAE,EAAE,KAAK,EAAE;QACnB,IAAI;QACJ,QAAQ;QACR,mBAAmB,EAAE,mBAAmB,CAAC,QAAQ,CAAC;QAClD,QAAQ;QACR,KAAK;QACL,MAAM;QACN,GAAG,EAAE,OAAO;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,MAAM,WAAW,GAAG,4CAA4C,CAAC;IACjE,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAE/D,MAAM,WAAW,GAAG,iCAAiC,CAAC;IACtD,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC,CAAC,CAAC;aAClB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,aAAa,CAAC;AAC/C,MAAM,CAAC,MAAM,aAAa,GAAG,SAAS,CAAC;AASvC,KAAK,UAAU,UAAU,CAAC,QAAgB;IACxC,OAAO,EAAE;SACN,IAAI,CAAC,QAAQ,CAAC;SACd,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,UAAkB;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAC9D,IAAI,MAAM,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAClD,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACtD,IAAI,MAAM,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,UAAkB;IAC5D,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC;AAgBD,SAAS,gBAAgB,CAAC,IAA6B;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;IACjC,OAAO,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9D,CAAC;AAED,SAAS,eAAe,CAAC,IAA6B;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1B,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,MAAM,MAAM,GAAI,MAAkC,CAAC,MAAM,CAAC;QAC1D,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAEjD,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,iBAAiB,GAAG,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC;IACrE,MAAM,SAAS,GAAG,6BAA6B,CAAC;IAChD,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,OAAO;QACL,KAAK;QACL,MAAM;QACN,KAAK;QACL,KAAK;QACL,MAAM;QACN,WAAW;QACX,YAAY;QACZ,UAAU;QACV,GAAG,EAAE,OAAO;KACb,CAAC;AACJ,CAAC;AAUD,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AAChD,MAAM,oBAAoB,GAAG,kDAAkD,CAAC;AAEhF;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,GAAkB,IAAI,CAAC;IAElC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QACvD,IAAI,YAAY,EAAE,CAAC;YACjB,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACnD,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC/D,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC1B,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG;gBAC3C,OAAO;gBACP,IAAI,EAAE,KAAK,GAAG,CAAC;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/spec/verify-paths.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Split a command into conservative tokens, honoring single and double quotes
+ * so a quoted operand stays one token. This never expands shell syntax; it only
+ * separates whitespace-delimited operands.
+ */
+export declare function tokenizeVerifyCommand(command: string): string[];
+/** The path operands a verify command names, in command order. */
+export declare function listNamedPaths(command: string): string[];
+/**
+ * The named paths a verify command would not find under `projectRoot`. An exact
+ * operand is present when the filesystem entry exists; a glob operand is present
+ * when `resolveScope` matches at least one file for it. Duplicate operands report
+ * once, in first-seen command order.
+ */
+export declare function missingNamedPaths(projectRoot: string, command: string): Promise<string[]>;
+/** True when any non-option operand resolves beneath `projectRoot`. */
+export declare function namesExistingRepositoryPath(projectRoot: string, tokens: string[]): Promise<boolean>;
+//# sourceMappingURL=verify-paths.d.ts.map

package/dist/core/spec/verify-paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-paths.d.ts","sourceRoot":"","sources":["../../../src/core/spec/verify-paths.ts"],"names":[],"mappings":"AAgBA;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAwC/D;AAwBD,kEAAkE;AAClE,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAQxD;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAwB/F;AAED,uEAAuE;AACvE,wBAAsB,2BAA2B,CAC/C,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EAAE,GACf,OAAO,CAAC,OAAO,CAAC,CAmBlB"}

package/dist/core/spec/verify-paths.js

@@ -0,0 +1,139 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { resolveScope } from '../run/scope.js';
+/**
+ * Shared read-only analysis of the paths a verify command names. Lint, the
+ * approval digest, and the watcher all consume this module so a command's
+ * operands are interpreted one way.
+ */
+/** A URL scheme prefix; such a token is never a repository-relative path. */
+const URL_SCHEME_REGEX = /^[a-z][a-z0-9+.-]*:\/\//i;
+/** Glob metacharacters that mark a named path as a pattern. */
+const GLOB_METACHARACTER_REGEX = /[*?]/;
+/**
+ * Split a command into conservative tokens, honoring single and double quotes
+ * so a quoted operand stays one token. This never expands shell syntax; it only
+ * separates whitespace-delimited operands.
+ */
+export function tokenizeVerifyCommand(command) {
+    const tokens = [];
+    let current = '';
+    let quote = null;
+    let hasContent = false;
+    for (const char of command) {
+        if (quote !== null) {
+            if (char === quote) {
+                quote = null;
+            }
+            else {
+                current += char;
+            }
+            continue;
+        }
+        if (char === '"' || char === "'") {
+            quote = char;
+            hasContent = true;
+            continue;
+        }
+        if (/\s/.test(char)) {
+            if (hasContent) {
+                tokens.push(current);
+                current = '';
+                hasContent = false;
+            }
+            continue;
+        }
+        current += char;
+        hasContent = true;
+    }
+    if (hasContent) {
+        tokens.push(current);
+    }
+    return tokens;
+}
+/**
+ * True when one operand is a named path: not an option, not absolute, not a
+ * `KEY=value` assignment or URL, and containing a path separator. A bare first
+ * token lacks a separator, so the command binary is never named; a path-shaped
+ * first token is.
+ */
+function isNamedPathOperand(token, index) {
+    if (token.length === 0) {
+        return false;
+    }
+    if (token.startsWith('-') || token.startsWith('/')) {
+        return false;
+    }
+    if (token.includes('=') || URL_SCHEME_REGEX.test(token)) {
+        return false;
+    }
+    if (index === 0 && !token.includes('/') && !token.includes('\\')) {
+        return false;
+    }
+    return token.includes('/') || token.includes('\\');
+}
+/** The path operands a verify command names, in command order. */
+export function listNamedPaths(command) {
+    const named = [];
+    tokenizeVerifyCommand(command).forEach((token, index) => {
+        if (isNamedPathOperand(token, index)) {
+            named.push(token);
+        }
+    });
+    return named;
+}
+/**
+ * The named paths a verify command would not find under `projectRoot`. An exact
+ * operand is present when the filesystem entry exists; a glob operand is present
+ * when `resolveScope` matches at least one file for it. Duplicate operands report
+ * once, in first-seen command order.
+ */
+export async function missingNamedPaths(projectRoot, command) {
+    const missing = [];
+    const seen = new Set();
+    for (const named of listNamedPaths(command)) {
+        if (seen.has(named)) {
+            continue;
+        }
+        seen.add(named);
+        if (GLOB_METACHARACTER_REGEX.test(named)) {
+            const matches = await resolveScope(projectRoot, [named]);
+            if (matches.length === 0) {
+                missing.push(named);
+            }
+            continue;
+        }
+        if (!(await pathExists(path.join(projectRoot, named)))) {
+            missing.push(named);
+        }
+    }
+    return missing;
+}
+/** True when any non-option operand resolves beneath `projectRoot`. */
+export async function namesExistingRepositoryPath(projectRoot, tokens) {
+    for (let index = 0; index < tokens.length; index += 1) {
+        const token = tokens[index];
+        if (!token || token.startsWith('-') || token.startsWith('/')) {
+            continue;
+        }
+        if (token.includes('=') || URL_SCHEME_REGEX.test(token)) {
+            continue;
+        }
+        // A bare first token is the command binary, not a behavioral path; a
+        // path-shaped first token is itself the local behavior being invoked.
+        if (index === 0 && !token.includes('/') && !token.includes('\\')) {
+            continue;
+        }
+        if (await pathExists(path.join(projectRoot, token))) {
+            return true;
+        }
+    }
+    return false;
+}
+async function pathExists(target) {
+    return fs
+        .stat(target)
+        .then(() => true)
+        .catch(() => false);
+}
+//# sourceMappingURL=verify-paths.js.map

package/dist/core/spec/verify-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-paths.js","sourceRoot":"","sources":["../../../src/core/spec/verify-paths.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C;;;;GAIG;AAEH,6EAA6E;AAC7E,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,+DAA+D;AAC/D,MAAM,wBAAwB,GAAG,MAAM,CAAC;AAExC;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,UAAU,GAAG,KAAK,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,GAAG,IAAI,CAAC;YACb,UAAU,GAAG,IAAI,CAAC;YAClB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,OAAO,GAAG,EAAE,CAAC;gBACb,UAAU,GAAG,KAAK,CAAC;YACrB,CAAC;YACD,SAAS;QACX,CAAC;QAED,OAAO,IAAI,IAAI,CAAC;QAChB,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,KAAa,EAAE,KAAa;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,qBAAqB,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACtD,IAAI,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAAe;IAC1E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEhB,IAAI,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YACzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,WAAmB,EACnB,MAAgB;IAEhB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7D,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,MAAc;IACtC,OAAO,EAAE;SACN,IAAI,CAAC,MAAM,CAAC;SACZ,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;SAChB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC"}

package/dist/core/spec/verify-starts.d.ts

@@ -0,0 +1,45 @@
+import type { VerifyStarts } from './parser.js';
+/**
+ * Shared rule for a verify that names a path the task itself is supposed to
+ * create. Lint and the approval digest both consume it so their diagnostics
+ * agree.
+ */
+/** One task as the rule sees it: identity, verify, declared start, and scope. */
+export interface VerifyStartTask {
+    readonly taskNumber: string;
+    readonly verify: string;
+    readonly verifyStarts: VerifyStarts;
+    readonly scope: readonly string[];
+}
+/** A task that declares `green` or `any` while naming a path it creates. */
+export interface VerifyStartContradiction {
+    readonly taskNumber: string;
+    readonly path: string;
+    readonly start: VerifyStarts;
+}
+/** A named missing path no task's scope up to and including this one covers. */
+export interface VerifyStartUncreatable {
+    readonly taskNumber: string;
+    readonly path: string;
+}
+export interface VerifyStartReport {
+    readonly contradictions: readonly VerifyStartContradiction[];
+    readonly uncreatable: readonly VerifyStartUncreatable[];
+}
+/**
+ * True when a declared scope covers one named path. An exact named path is
+ * covered by an exact or pattern scope entry; a glob named path is covered only
+ * by an identical scope entry, because another pattern is not evidence that this
+ * verify's own test file exists.
+ */
+export declare function scopeCoversNamedPath(scope: readonly string[], namedPath: string): boolean;
+/** True when any of the given scopes covers one named path. */
+export declare function namedPathCoveredByScopes(namedPath: string, scopes: readonly (readonly string[])[]): boolean;
+/**
+ * Analyze one change's tasks in numeric order. For each missing named path not
+ * covered by an earlier task's scope, a task that declares `green` or `any`
+ * while its own scope covers the path contradicts itself; a path no scope up to
+ * this task covers is one no task in the change can create.
+ */
+export declare function analyzeVerifyStarts(projectRoot: string, tasks: readonly VerifyStartTask[]): Promise<VerifyStartReport>;
+//# sourceMappingURL=verify-starts.d.ts.map

package/dist/core/spec/verify-starts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-starts.d.ts","sourceRoot":"","sources":["../../../src/core/spec/verify-starts.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD;;;;GAIG;AAEH,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,4EAA4E;AAC5E,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAC9B;AAED,gFAAgF;AAChF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,cAAc,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC7D,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACzD;AAaD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAMzF;AAED,+DAA+D;AAC/D,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GACrC,OAAO,CAET;AAED;;;;;GAKG;AACH,wBAAsB,mBAAmB,CACvC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,SAAS,eAAe,EAAE,GAChC,OAAO,CAAC,iBAAiB,CAAC,CA6B5B"}

package/dist/core/spec/verify-starts.js

@@ -0,0 +1,61 @@
+import { scopeCoversPath } from '../run/scope.js';
+import { missingNamedPaths } from './verify-paths.js';
+/** Glob metacharacters that mark a named path as a pattern. */
+const GLOB_METACHARACTER_REGEX = /[*?]/;
+/** Normalize a raw scope entry or named path to a comparable POSIX form. */
+function normalizeEntry(value) {
+    return value
+        .trim()
+        .replace(/\\/g, '/')
+        .replace(/^(?:\.\/)+/, '');
+}
+/**
+ * True when a declared scope covers one named path. An exact named path is
+ * covered by an exact or pattern scope entry; a glob named path is covered only
+ * by an identical scope entry, because another pattern is not evidence that this
+ * verify's own test file exists.
+ */
+export function scopeCoversNamedPath(scope, namedPath) {
+    if (GLOB_METACHARACTER_REGEX.test(namedPath)) {
+        const normalizedPath = normalizeEntry(namedPath);
+        return scope.some((entry) => normalizeEntry(entry) === normalizedPath);
+    }
+    return scopeCoversPath(scope, namedPath);
+}
+/** True when any of the given scopes covers one named path. */
+export function namedPathCoveredByScopes(namedPath, scopes) {
+    return scopes.some((scope) => scopeCoversNamedPath(scope, namedPath));
+}
+/**
+ * Analyze one change's tasks in numeric order. For each missing named path not
+ * covered by an earlier task's scope, a task that declares `green` or `any`
+ * while its own scope covers the path contradicts itself; a path no scope up to
+ * this task covers is one no task in the change can create.
+ */
+export async function analyzeVerifyStarts(projectRoot, tasks) {
+    const contradictions = [];
+    const uncreatable = [];
+    const earlierScopes = [];
+    for (const task of tasks) {
+        const missing = await missingNamedPaths(projectRoot, task.verify);
+        for (const namedPath of missing) {
+            if (namedPathCoveredByScopes(namedPath, earlierScopes)) {
+                continue;
+            }
+            const ownCovered = scopeCoversNamedPath(task.scope, namedPath);
+            if (ownCovered && task.verifyStarts !== 'red') {
+                contradictions.push({
+                    taskNumber: task.taskNumber,
+                    path: namedPath,
+                    start: task.verifyStarts,
+                });
+            }
+            else if (!ownCovered) {
+                uncreatable.push({ taskNumber: task.taskNumber, path: namedPath });
+            }
+        }
+        earlierScopes.push([...task.scope]);
+    }
+    return { contradictions, uncreatable };
+}
+//# sourceMappingURL=verify-starts.js.map

package/dist/core/spec/verify-starts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-starts.js","sourceRoot":"","sources":["../../../src/core/spec/verify-starts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAkCtD,+DAA+D;AAC/D,MAAM,wBAAwB,GAAG,MAAM,CAAC;AAExC,4EAA4E;AAC5E,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK;SACT,IAAI,EAAE;SACN,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAwB,EAAE,SAAiB;IAC9E,IAAI,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,MAAM,cAAc,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,wBAAwB,CACtC,SAAiB,EACjB,MAAsC;IAEtC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,WAAmB,EACnB,KAAiC;IAEjC,MAAM,cAAc,GAA+B,EAAE,CAAC;IACtD,MAAM,WAAW,GAA6B,EAAE,CAAC;IACjD,MAAM,aAAa,GAAe,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAElE,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;YAChC,IAAI,wBAAwB,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;gBACvD,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC/D,IAAI,UAAU,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;gBAC9C,cAAc,CAAC,IAAI,CAAC;oBAClB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,IAAI,CAAC,YAAY;iBACzB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvB,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAED,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC"}

package/dist/core/status/inbox-cursor.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Per-project last-look cursor location and reading. Both the CLI and the
+ * read-only web transport consume these helpers; only the CLI advances the
+ * cursor.
+ */
+/** Per-project cursor path: `~/.osq/last-look/<sha256(realpath(root))>.json`. */
+export declare function resolveLastLookPath(projectRoot: string, home?: string): Promise<string>;
+/** Read the cursor as epoch milliseconds; missing, malformed, or invalid => null. */
+export declare function readLastLook(projectRoot: string, home?: string): Promise<number | null>;
+//# sourceMappingURL=inbox-cursor.d.ts.map

package/dist/core/status/inbox-cursor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inbox-cursor.d.ts","sourceRoot":"","sources":["../../../src/core/status/inbox-cursor.ts"],"names":[],"mappings":"AAKA;;;;GAIG;AAEH,iFAAiF;AACjF,wBAAsB,mBAAmB,CACvC,WAAW,EAAE,MAAM,EACnB,IAAI,SAAe,GAClB,OAAO,CAAC,MAAM,CAAC,CAIjB;AAED,qFAAqF;AACrF,wBAAsB,YAAY,CAChC,WAAW,EAAE,MAAM,EACnB,IAAI,SAAe,GAClB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAYxB"}