@encore-os/eos-spec 0.3.1

package/dist/commands/tasks.js

@@ -0,0 +1,81 @@
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
+import { join, posix } from 'node:path';
+import { ErrorCode, emit, getGlobalOptions } from '../lib/output.js';
+import { getRepoRoot } from '../lib/repo.js';
+import { findSpec } from '../lib/specs.js';
+export function registerTasks(program) {
+    program
+        .command('tasks <id>')
+        .description('Generate or refresh a TASKS.md from TASKS_TEMPLATE.md, scaffolding standard + per-core tasks.')
+        .option('--force', 'Overwrite existing TASKS file', false)
+        .action(async (id, options, cmd) => {
+        const global = getGlobalOptions(cmd);
+        const repoRoot = getRepoRoot(global.repoRoot);
+        const upper = id.toUpperCase();
+        const spec = findSpec(repoRoot, upper);
+        if (!spec) {
+            emit(global, {
+                ok: false,
+                error: { code: ErrorCode.SPEC_NOT_FOUND, message: `tasks: spec ${upper} not found` },
+                data: null,
+                text: `tasks: spec ${upper} not found`,
+            });
+        }
+        const tasksDir = join(repoRoot, 'specs', spec.core, 'tasks');
+        mkdirSync(tasksDir, { recursive: true });
+        const target = join(tasksDir, `${spec.id}-TASKS.md`);
+        if (existsSync(target) && !options.force) {
+            emit(global, {
+                ok: false,
+                data: { target, exists: true },
+                text: `tasks: ${target} already exists (pass --force to overwrite)`,
+            });
+        }
+        const templatePath = join(repoRoot, 'specs', '_templates', 'TASKS_TEMPLATE.md');
+        const substituted = readFileSync(templatePath, 'utf8')
+            .replace(/\{\{ID\}\}/g, spec.id)
+            .replace(/\{\{TITLE\}\}/g, spec.title ?? spec.id)
+            .replace(/\{\{DATE\}\}/g, new Date().toISOString().slice(0, 10));
+        // The template's relative links are written relative to specs/_templates/,
+        // but this file lands in specs/{core}/tasks/. Rebase them so they resolve
+        // from the new location (#997 Bug 1); otherwise every link is broken and
+        // the staged-markdown link gate rejects the fresh file.
+        const template = rebaseRelativeLinks(substituted, 'specs/_templates', `specs/${spec.core}/tasks`);
+        writeFileSync(target, template, 'utf8');
+        emit(global, {
+            ok: true,
+            data: { target, spec: spec.id },
+            text: `tasks: wrote ${relPath(repoRoot, target)}\nReview the per-core insertions in .cursor/skills/_shared/module-phases-tasks.md`,
+        });
+    });
+}
+function relPath(repoRoot, p) {
+    return p.startsWith(repoRoot) ? p.slice(repoRoot.length + 1) : p;
+}
+const MD_LINK_RE = /\[([^\]]*)\]\(([^)]+)\)/g;
+/**
+ * Rebase relative markdown-link targets written relative to `fromDir` so they
+ * resolve from `toDir` instead. In-document (`#…`), absolute (`/…`), and external
+ * (`scheme:`) links are left untouched; `#anchors` are preserved. Generic — it
+ * handles the TASKS template's sibling (`_templates/…`) and cross-core
+ * (`../pf/…`) links without hardcoding any path (#997 Bug 1).
+ *
+ * Exported for unit testing. Both dirs are POSIX, repo-relative; only their
+ * relative depth matters.
+ */
+export function rebaseRelativeLinks(body, fromDir, toDir) {
+    const fromAbs = posix.resolve('/', fromDir);
+    const toAbs = posix.resolve('/', toDir);
+    return body.replace(MD_LINK_RE, (whole, text, target) => {
+        if (/^(#|\/|[a-z][a-z0-9+.-]*:)/i.test(target))
+            return whole; // anchor / absolute / scheme
+        const hashIdx = target.indexOf('#');
+        const filePart = hashIdx === -1 ? target : target.slice(0, hashIdx);
+        const anchor = hashIdx === -1 ? '' : target.slice(hashIdx);
+        if (filePart === '')
+            return whole;
+        const rebased = posix.relative(toAbs, posix.resolve(fromAbs, filePart));
+        return `[${text}](${rebased}${anchor})`;
+    });
+}
+//# sourceMappingURL=tasks.js.map

package/dist/commands/tasks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tasks.js","sourceRoot":"","sources":["../../src/commands/tasks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,OAAO;SACJ,OAAO,CAAC,YAAY,CAAC;SACrB,WAAW,CAAC,+FAA+F,CAAC;SAC5G,MAAM,CAAC,SAAS,EAAE,+BAA+B,EAAE,KAAK,CAAC;SACzD,MAAM,CAAC,KAAK,EAAE,EAAU,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE;QACzC,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,MAAM,EAAE;gBACX,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,eAAe,KAAK,YAAY,EAAE;gBACpF,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,eAAe,KAAK,YAAY;aACvC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7D,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QAErD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACzC,IAAI,CAAC,MAAM,EAAE;gBACX,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE;gBAC9B,IAAI,EAAE,UAAU,MAAM,6CAA6C;aACpE,CAAC,CAAC;QACL,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC;QAChF,MAAM,WAAW,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC;aACnD,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;aAC/B,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC;aAChD,OAAO,CAAC,eAAe,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAEnE,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,EAAE,kBAAkB,EAAE,SAAS,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC;QAElG,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE;YACX,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;YAC/B,IAAI,EAAE,gBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,mFAAmF;SACnI,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB,EAAE,CAAS;IAC1C,OAAO,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAE9C;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,OAAe,EAAE,KAAa;IAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,MAAc,EAAE,EAAE;QACtE,IAAI,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAC3F,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxE,OAAO,IAAI,IAAI,KAAK,OAAO,GAAG,MAAM,GAAG,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/commands/validate.d.ts

@@ -0,0 +1,16 @@
+import type { Command } from 'commander';
+import { type SpecFile } from '../lib/specs.js';
+export type ValidateIssue = {
+    file: string;
+    rule: string;
+    message: string;
+};
+/**
+ * Group an already-listed corpus by upper-cased spec id. Built once per run so
+ * per-spec validation is a Map lookup instead of the old existsSync probe on an
+ * unslugged path + findSpec re-list per spec (O(n²) — ~46s of a 57s full run).
+ */
+export declare function buildSpecIndex(specs: SpecFile[]): Map<string, SpecFile[]>;
+/** Spec-existence rule evaluated against the prebuilt index (no filesystem access). */
+export declare function validateSpecFromIndex(specId: string, index: Map<string, SpecFile[]>): ValidateIssue[];
+export declare function registerValidate(program: Command): void;

package/dist/commands/validate.js

@@ -0,0 +1,89 @@
+import { runScript } from '../lib/exec.js';
+import { ErrorCode, emit, emitContinuing, getGlobalOptions } from '../lib/output.js';
+import { getRepoRoot } from '../lib/repo.js';
+import { findSpec, listSpecs } from '../lib/specs.js';
+/**
+ * Group an already-listed corpus by upper-cased spec id. Built once per run so
+ * per-spec validation is a Map lookup instead of the old existsSync probe on an
+ * unslugged path + findSpec re-list per spec (O(n²) — ~46s of a 57s full run).
+ */
+export function buildSpecIndex(specs) {
+    const index = new Map();
+    for (const spec of specs) {
+        const key = spec.id.toUpperCase();
+        const entries = index.get(key);
+        if (entries)
+            entries.push(spec);
+        else
+            index.set(key, [spec]);
+    }
+    return index;
+}
+/** Spec-existence rule evaluated against the prebuilt index (no filesystem access). */
+export function validateSpecFromIndex(specId, index) {
+    const entries = index.get(specId.toUpperCase());
+    if (!entries || entries.length === 0) {
+        return [{ file: specId, rule: 'spec-exists', message: `Spec file not found for ${specId}` }];
+    }
+    return [];
+}
+export function registerValidate(program) {
+    program
+        .command('validate')
+        .description('Validate specs, plans, and tasks. Wraps the validate-specs-templates audit.')
+        .option('--core <core>', 'Limit to one core (pf|cl|pm|hr|fa|...)')
+        .option('--spec <id>', 'Limit to one spec id (e.g. PF-37)')
+        .action(async (options, cmd) => {
+        const global = getGlobalOptions(cmd);
+        const repoRoot = getRepoRoot(global.repoRoot);
+        if (options.spec) {
+            const spec = findSpec(repoRoot, options.spec);
+            if (!spec) {
+                emit(global, {
+                    ok: false,
+                    error: { code: ErrorCode.SPEC_NOT_FOUND, message: `validate: spec ${options.spec} not found` },
+                    data: { spec: options.spec, found: false },
+                    text: `validate: spec ${options.spec} not found`,
+                });
+            }
+            const issues = validateSpecFromIndex(spec.id, buildSpecIndex([spec]));
+            emit(global, {
+                ok: issues.length === 0,
+                data: { spec: spec.id, issues },
+                text: issues.length === 0
+                    ? `validate: ${spec.id} OK`
+                    : `validate: ${spec.id} — ${issues.length} issue(s)\n${formatIssues(issues)}`,
+                exitCode: issues.length === 0 ? 0 : 1,
+            });
+        }
+        const specs = listSpecs(repoRoot, options.core);
+        const index = buildSpecIndex(specs);
+        const allIssues = [];
+        for (const s of specs) {
+            allIssues.push(...validateSpecFromIndex(s.id, index));
+        }
+        // Run the repo-wide template-structure validator
+        emitContinuing(global, 'Running scripts/audit/validate-specs-templates.ts ...');
+        const tplResult = runScript(['npx', 'tsx', 'scripts/audit/validate-specs-templates.ts'], repoRoot);
+        if (tplResult.exitCode !== 0) {
+            allIssues.push({
+                file: 'scripts/audit/validate-specs-templates.ts',
+                rule: 'templates',
+                message: tplResult.stdout || tplResult.stderr,
+            });
+        }
+        const exitCode = allIssues.length === 0 ? 0 : 1;
+        emit(global, {
+            ok: allIssues.length === 0,
+            data: { specCount: specs.length, issues: allIssues },
+            text: allIssues.length === 0
+                ? `validate: OK (${specs.length} specs)`
+                : `validate: ${allIssues.length} issue(s) across ${specs.length} specs\n${formatIssues(allIssues)}`,
+            exitCode,
+        });
+    });
+}
+function formatIssues(issues) {
+    return issues.map((i) => `  - ${i.file} [${i.rule}] ${i.message.split('\n')[0]}`).join('\n');
+}
+//# sourceMappingURL=validate.js.map

package/dist/commands/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAiB,MAAM,iBAAiB,CAAC;AAIrE;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAiB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CAAC,MAAc,EAAE,KAA8B;IAClF,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAChD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,2BAA2B,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAgB;IAC/C,OAAO;SACJ,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,6EAA6E,CAAC;SAC1F,MAAM,CAAC,eAAe,EAAE,wCAAwC,CAAC;SACjE,MAAM,CAAC,aAAa,EAAE,mCAAmC,CAAC;SAC1D,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAE9C,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,CAAC,MAAM,EAAE;oBACX,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,kBAAkB,OAAO,CAAC,IAAI,YAAY,EAAE;oBAC9F,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE;oBAC1C,IAAI,EAAE,kBAAkB,OAAO,CAAC,IAAI,YAAY;iBACjD,CAAC,CAAC;YACL,CAAC;YACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,MAAM,EAAE;gBACX,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;gBACvB,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE;gBAC/B,IAAI,EACF,MAAM,CAAC,MAAM,KAAK,CAAC;oBACjB,CAAC,CAAC,aAAa,IAAI,CAAC,EAAE,KAAK;oBAC3B,CAAC,CAAC,aAAa,IAAI,CAAC,EAAE,MAAM,MAAM,CAAC,MAAM,cAAc,YAAY,CAAC,MAAM,CAAC,EAAE;gBACjF,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACtC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,SAAS,GAAoB,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QACxD,CAAC;QAED,iDAAiD;QACjD,cAAc,CAAC,MAAM,EAAE,uDAAuD,CAAC,CAAC;QAChF,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,2CAA2C,CAAC,EAAE,QAAQ,CAAC,CAAC;QACnG,IAAI,SAAS,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,2CAA2C;gBACjD,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM;aAC9C,CAAC,CAAC;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,EAAE;YACX,EAAE,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;YAC1B,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE;YACpD,IAAI,EACF,SAAS,CAAC,MAAM,KAAK,CAAC;gBACpB,CAAC,CAAC,iBAAiB,KAAK,CAAC,MAAM,SAAS;gBACxC,CAAC,CAAC,aAAa,SAAS,CAAC,MAAM,oBAAoB,KAAK,CAAC,MAAM,WAAW,YAAY,CAAC,SAAS,CAAC,EAAE;YACvG,QAAQ;SACT,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,YAAY,CAAC,MAAuB;IAC3C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/F,CAAC"}

package/dist/commands/verify-acs.d.ts

@@ -0,0 +1,15 @@
+import type { Command } from 'commander';
+export type Section = 'acceptance_criteria' | 'user_stories' | 'requirements';
+export type Item = {
+    section: Section;
+    id: string;
+    status: string;
+};
+/** Flatten a spec's frontmatter AC/US/FR into a uniform item list (id + current status). */
+export declare function resolveItems(text: string): Item[];
+/** Split backing test files into those the root Vitest can run vs. deferred lanes. */
+export declare function partitionBackingFiles(files: string[]): {
+    rootVitest: string[];
+    deferred: string[];
+};
+export declare function registerVerifyAcs(program: Command): void;

package/dist/commands/verify-acs.js

@@ -0,0 +1,196 @@
+import { execFileSync } from 'node:child_process';
+import { readFileSync, readdirSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join, relative } from 'node:path';
+import { readFrontmatter, setRequirementStatus } from '../lib/frontmatter.js';
+import { emit, getGlobalOptions } from '../lib/output.js';
+import { getRepoRoot, isProtectedBranch } from '../lib/repo.js';
+import { findSpec } from '../lib/specs.js';
+import { verdictFor } from '../lib/verify-core.js';
+import { normalizeAcceptanceCriteria, normalizeRequirements, normalizeUserStories } from '../lib/requirements.js';
+/** Flatten a spec's frontmatter AC/US/FR into a uniform item list (id + current status). */
+export function resolveItems(text) {
+    const fm = readFrontmatter(text);
+    const out = [];
+    for (const ac of normalizeAcceptanceCriteria(fm.acceptance_criteria).acs)
+        out.push({ section: 'acceptance_criteria', id: ac.id, status: ac.status });
+    for (const us of normalizeUserStories(fm.user_stories).uss)
+        out.push({ section: 'user_stories', id: us.id, status: us.status ?? 'planned' });
+    for (const fr of normalizeRequirements(fm.requirements).frs)
+        out.push({ section: 'requirements', id: fr.id, status: fr.status });
+    return out;
+}
+/** Split backing test files into those the root Vitest can run vs. deferred lanes. */
+export function partitionBackingFiles(files) {
+    const rootVitest = [];
+    const deferred = [];
+    for (const f of files) {
+        if ((f.startsWith('src/') || f.startsWith('scripts/')) && /\.(test|spec)\.tsx?$/.test(f))
+            rootVitest.push(f);
+        else
+            deferred.push(f);
+    }
+    return { rootVitest, deferred };
+}
+/** Run root-Vitest files, returning rel-path → {passed,failed,skipped}. */
+function runRootVitest(repoRoot, relFiles) {
+    const stats = new Map();
+    if (relFiles.length === 0)
+        return stats;
+    const outFile = join(tmpdir(), `eos-verify-acs-${process.pid}.json`);
+    try {
+        execFileSync('bunx', ['vitest', 'run', ...relFiles, '--reporter=json', `--outputFile=${outFile}`], {
+            cwd: repoRoot,
+            stdio: ['ignore', 'ignore', 'inherit'],
+        });
+    }
+    catch {
+        /* nonzero exit = a failing test; the JSON report still carries the per-file outcome */
+    }
+    let report;
+    try {
+        report = JSON.parse(readFileSync(outFile, 'utf8'));
+    }
+    catch {
+        return stats;
+    }
+    for (const tr of report.testResults ?? []) {
+        const s = { passed: 0, failed: 0, skipped: 0 };
+        for (const a of tr.assertionResults ?? []) {
+            if (a.status === 'passed')
+                s.passed++;
+            else if (a.status === 'failed')
+                s.failed++;
+            else
+                s.skipped++;
+        }
+        stats.set(relative(repoRoot, tr.name), s);
+    }
+    return stats;
+}
+/** id → Set(backing test files, repo-relative) for one spec (per-file granularity). */
+function backlinkFilesByItem(repoRoot, specId) {
+    const map = new Map();
+    const TEST_FILE = /\.(test|spec)\.tsx?$/;
+    const SKIP = new Set(['node_modules', '.git', 'dist', 'build', 'coverage', '.output', '.vercel']);
+    const walk = (dir) => {
+        let entries;
+        try {
+            entries = readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const e of entries) {
+            const p = join(dir, e.name);
+            if (e.isDirectory()) {
+                if (!SKIP.has(e.name))
+                    walk(p);
+            }
+            else if (TEST_FILE.test(e.name)) {
+                for (const id of parseBacklinks(readFileSync(p, 'utf8'), specId)) {
+                    if (!map.has(id))
+                        map.set(id, new Set());
+                    map.get(id).add(relative(repoRoot, p));
+                }
+            }
+        }
+    };
+    for (const root of ['e2e', 'src', 'runner', 'scripts'])
+        walk(join(repoRoot, root));
+    return map;
+}
+function parseBacklinks(text, specId) {
+    const ids = [];
+    const esc = specId.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const re = new RegExp(`@verifies\\s+${esc}\\s+((?:(?:AC|US|FR)-\\d+[,\\s]*)+)`, 'g');
+    let m;
+    while ((m = re.exec(text)) !== null)
+        for (const id of m[1].match(/(?:AC|US|FR)-\d+/g) ?? [])
+            ids.push(id);
+    return ids;
+}
+export function registerVerifyAcs(program) {
+    program
+        .command('verify-acs')
+        .description('Promotion gate: run the @verifies-backing tests for a spec and flip per-item status planned->verified only on a real pass.')
+        .requiredOption('--spec <id>', 'Spec id (e.g. RUNNER-03)')
+        .option('--write', 'Apply promotions to the spec file (working-tree only; never on a protected branch)', false)
+        .option('--enforce', 'CI mode: exit non-zero if any item claims verified without a passing test', false)
+        .action((options, cmd) => {
+        const global = getGlobalOptions(cmd);
+        const repoRoot = getRepoRoot(global.repoRoot);
+        const spec = findSpec(repoRoot, options.spec);
+        if (!spec)
+            emit(global, {
+                ok: false,
+                data: { spec: options.spec, found: false },
+                text: `verify-acs: spec ${options.spec} not found`,
+                exitCode: 2,
+            });
+        const text = readFileSync(spec.path, 'utf8');
+        const items = resolveItems(text);
+        const backlinkFiles = backlinkFilesByItem(repoRoot, spec.id);
+        const allRoot = partitionBackingFiles([
+            ...new Set([...backlinkFiles.values()].flatMap((s) => [...s])),
+        ]).rootVitest;
+        const stats = runRootVitest(repoRoot, allRoot);
+        const results = items.map((it) => {
+            const files = [...(backlinkFiles.get(it.id) ?? [])];
+            const { rootVitest, deferred } = partitionBackingFiles(files);
+            const v = verdictFor(rootVitest, stats);
+            const reason = !files.length
+                ? 'no @verifies backlink'
+                : rootVitest.length === 0
+                    ? `not_run (lane not wired: ${deferred.join(', ')})`
+                    : v.reason;
+            return { ...it, files, proven: rootVitest.length > 0 && v.proven, reason };
+        });
+        if (options.enforce) {
+            const liars = results.filter((r) => r.status === 'verified' && !r.proven);
+            if (liars.length)
+                emit(global, {
+                    ok: false,
+                    data: { spec: spec.id, liars },
+                    text: `verify-acs: ${liars.length} item(s) claim verified without a passing test`,
+                    exitCode: 1,
+                });
+        }
+        let written = 0;
+        if (options.write) {
+            if (isProtectedBranch(repoRoot))
+                emit(global, {
+                    ok: false,
+                    data: { spec: spec.id },
+                    text: 'verify-acs: refusing to --write on a protected branch (main); run on a feature branch',
+                    exitCode: 2,
+                });
+            let next = text;
+            for (const r of results) {
+                if (r.proven && r.status !== 'verified') {
+                    const after = setRequirementStatus(next, r.section, r.id, 'verified');
+                    if (after !== next) {
+                        written++;
+                        next = after;
+                    }
+                }
+            }
+            if (written > 0)
+                writeFileSync(spec.path, next);
+        }
+        const proven = results.filter((r) => r.proven).length;
+        emit(global, {
+            ok: true,
+            data: {
+                spec: spec.id,
+                proven,
+                total: results.length,
+                written,
+                results: results.map(({ section, id, proven, reason }) => ({ section, id, proven, reason })),
+            },
+            text: `verify-acs: ${spec.id} — ${proven}/${results.length} proven${options.write ? ` (${written} written)` : ' (dry run — pass --write)'}\n` +
+                results.map((r) => `  ${r.proven ? '✅ verified' : '⏸  planned '}  ${r.id.padEnd(6)} ${r.reason}`).join('\n'),
+        });
+    });
+}
+//# sourceMappingURL=verify-acs.js.map

package/dist/commands/verify-acs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-acs.js","sourceRoot":"","sources":["../../src/commands/verify-acs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAe,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAChF,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAKlH,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,2BAA2B,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,GAAG;QACtE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,qBAAqB,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,KAAK,MAAM,EAAE,IAAI,oBAAoB,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,GAAG;QACxD,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAG,EAA0B,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC,CAAC;IAC5G,KAAK,MAAM,EAAE,IAAI,qBAAqB,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,GAAG;QACzD,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IACtE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,qBAAqB,CAAC,KAAe;IACnD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YACxG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AAClC,CAAC;AAED,2EAA2E;AAC3E,SAAS,aAAa,CAAC,QAAgB,EAAE,QAAkB;IACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;IACrE,IAAI,CAAC;QACH,YAAY,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,iBAAiB,EAAE,gBAAgB,OAAO,EAAE,CAAC,EAAE;YACjG,GAAG,EAAE,QAAQ;YACb,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,uFAAuF;IACzF,CAAC;IACD,IAAI,MAA+F,CAAC;IACpG,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAa,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;gBAAE,CAAC,CAAC,MAAM,EAAE,CAAC;iBACjC,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;gBAAE,CAAC,CAAC,MAAM,EAAE,CAAC;;gBACtC,CAAC,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uFAAuF;AACvF,SAAS,mBAAmB,CAAC,QAAgB,EAAE,MAAc;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,MAAM,SAAS,GAAG,sBAAsB,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,CAAC,GAAW,EAAQ,EAAE;QACjC,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;oBACjE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;oBACzC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,MAAc;IAClD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,gBAAgB,GAAG,qCAAqC,EAAE,GAAG,CAAC,CAAC;IACrF,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI;QAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3G,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,OAAO;SACJ,OAAO,CAAC,YAAY,CAAC;SACrB,WAAW,CACV,4HAA4H,CAC7H;SACA,cAAc,CAAC,aAAa,EAAE,0BAA0B,CAAC;SACzD,MAAM,CAAC,SAAS,EAAE,oFAAoF,EAAE,KAAK,CAAC;SAC9G,MAAM,CAAC,WAAW,EAAE,2EAA2E,EAAE,KAAK,CAAC;SACvG,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;QACvB,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI;YACP,IAAI,CAAC,MAAM,EAAE;gBACX,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE;gBAC1C,IAAI,EAAE,oBAAoB,OAAO,CAAC,IAAI,YAAY;gBAClD,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;QACL,MAAM,IAAI,GAAG,YAAY,CAAC,IAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAE9C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,mBAAmB,CAAC,QAAQ,EAAE,IAAK,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,qBAAqB,CAAC;YACpC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC/D,CAAC,CAAC,UAAU,CAAC;QACd,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE/C,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;YAC/B,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpD,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC9D,MAAM,CAAC,GAAG,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM;gBAC1B,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;oBACvB,CAAC,CAAC,4BAA4B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBACpD,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACf,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAC7E,CAAC,CAAC,CAAC;QAEH,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1E,IAAI,KAAK,CAAC,MAAM;gBACd,IAAI,CAAC,MAAM,EAAE;oBACX,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,EAAE,IAAI,EAAE,IAAK,CAAC,EAAE,EAAE,KAAK,EAAE;oBAC/B,IAAI,EAAE,eAAe,KAAK,CAAC,MAAM,gDAAgD;oBACjF,QAAQ,EAAE,CAAC;iBACZ,CAAC,CAAC;QACP,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,iBAAiB,CAAC,QAAQ,CAAC;gBAC7B,IAAI,CAAC,MAAM,EAAE;oBACX,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,EAAE,IAAI,EAAE,IAAK,CAAC,EAAE,EAAE;oBACxB,IAAI,EAAE,uFAAuF;oBAC7F,QAAQ,EAAE,CAAC;iBACZ,CAAC,CAAC;YACL,IAAI,IAAI,GAAG,IAAI,CAAC;YAChB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;oBACtE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACnB,OAAO,EAAE,CAAC;wBACV,IAAI,GAAG,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,OAAO,GAAG,CAAC;gBAAE,aAAa,CAAC,IAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;QACtD,IAAI,CAAC,MAAM,EAAE;YACX,EAAE,EAAE,IAAI;YACR,IAAI,EAAE;gBACJ,IAAI,EAAE,IAAK,CAAC,EAAE;gBACd,MAAM;gBACN,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,OAAO;gBACP,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;aAC7F;YACD,IAAI,EACF,eAAe,IAAK,CAAC,EAAE,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,WAAW,CAAC,CAAC,CAAC,2BAA2B,IAAI;gBACxI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAC/G,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/commands/verifyRollout.d.ts

@@ -0,0 +1,2 @@
+import type { Command } from 'commander';
+export declare function registerVerifyRollout(program: Command): void;

package/dist/commands/verifyRollout.js

@@ -0,0 +1,125 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { loadConfig } from '../lib/config.js';
+import { runScript } from '../lib/exec.js';
+import { emit, emitContinuing, getGlobalOptions } from '../lib/output.js';
+import { getRepoRoot } from '../lib/repo.js';
+export function registerVerifyRollout(program) {
+    program
+        .command('verify-rollout')
+        .description('Run OpenSpec rollout verification checks (config, templates, CLI smoke, delta format).')
+        .option('--layer <n>', 'Run only layer N (1=audits, 2=CLI smoke, 3=spot checks)')
+        .action(async (options, cmd) => {
+        const global = getGlobalOptions(cmd);
+        const repoRoot = getRepoRoot(global.repoRoot);
+        const layers = [];
+        const targetLayer = options.layer ? parseInt(options.layer, 10) : undefined;
+        if (!targetLayer || targetLayer === 1) {
+            emitContinuing(global, 'verify-rollout: Layer 1 — Automated audits');
+            layers.push(runLayer1(repoRoot));
+        }
+        if (!targetLayer || targetLayer === 2) {
+            emitContinuing(global, 'verify-rollout: Layer 2 — CLI build + smoke');
+            layers.push(runLayer2(repoRoot));
+        }
+        if (!targetLayer || targetLayer === 3) {
+            emitContinuing(global, 'verify-rollout: Layer 3 — Phase 4 spot checks');
+            layers.push(runLayer3(repoRoot, global.config));
+        }
+        const allPassed = layers.every((l) => l.passed);
+        const summary = layers
+            .map((l) => `  ${l.passed ? 'PASS' : 'FAIL'} ${l.layer}${l.details.length > 0 ? `\n${l.details.map((d) => `    ${d}`).join('\n')}` : ''}`)
+            .join('\n');
+        emit(global, {
+            ok: allPassed,
+            data: { layers, allPassed },
+            text: `verify-rollout: ${allPassed ? 'ALL PASS' : 'SOME FAILED'}\n${summary}`,
+            exitCode: allPassed ? 0 : 1,
+        });
+    });
+}
+function runLayer1(repoRoot) {
+    const details = [];
+    let passed = true;
+    const tplResult = runScript(['npx', 'tsx', 'scripts/audit/validate-specs-templates.ts'], repoRoot);
+    if (tplResult.exitCode !== 0) {
+        passed = false;
+        details.push(`validate-specs-templates: FAIL (exit ${tplResult.exitCode})`);
+    }
+    else {
+        details.push('validate-specs-templates: PASS');
+    }
+    return { layer: 'Layer 1: Automated audits', passed, details };
+}
+function runLayer2(repoRoot) {
+    const details = [];
+    let passed = true;
+    const buildResult = runScript(['npm', 'run', '-w', 'tools/eos-spec', 'build'], repoRoot);
+    if (buildResult.exitCode !== 0) {
+        passed = false;
+        details.push(`build: FAIL (exit ${buildResult.exitCode})`);
+        return { layer: 'Layer 2: CLI build + smoke', passed, details };
+    }
+    details.push('build: PASS');
+    const commands = ['init', 'list', 'status'];
+    for (const cmd of commands) {
+        const r = runScript(['node', 'tools/eos-spec/bin/eos-spec.js', cmd, '--json'], repoRoot);
+        details.push(`${cmd}: ${r.exitCode === 0 ? 'PASS' : `FAIL (exit ${r.exitCode})`}`);
+        if (r.exitCode !== 0)
+            passed = false;
+    }
+    return { layer: 'Layer 2: CLI build + smoke', passed, details };
+}
+function runLayer3(repoRoot, configPath) {
+    const details = [];
+    let passed = true;
+    try {
+        const config = loadConfig(repoRoot, configPath);
+        details.push('specs/config.yaml: parsed OK');
+        if (!config.delta_types || config.delta_types.length === 0) {
+            passed = false;
+            details.push('delta_types: MISSING');
+        }
+        else {
+            details.push(`delta_types: [${config.delta_types.join(', ')}]`);
+        }
+        if (!config.archive) {
+            passed = false;
+            details.push('archive policy: MISSING');
+        }
+        else {
+            details.push(`archive policy: enabled=${config.archive.enabled}`);
+        }
+    }
+    catch (e) {
+        passed = false;
+        details.push(`specs/config.yaml: FAIL (${e instanceof Error ? e.message : String(e)})`);
+    }
+    const liteTemplatePath = join(repoRoot, 'specs', '_templates', 'SPEC_TEMPLATE_LITE.md');
+    if (existsSync(liteTemplatePath)) {
+        const content = readFileSync(liteTemplatePath, 'utf8');
+        if (content.includes('## Changes from current behavior')) {
+            details.push('SPEC_TEMPLATE_LITE.md: "Changes from current behavior" section present');
+        }
+        else {
+            passed = false;
+            details.push('SPEC_TEMPLATE_LITE.md: "Changes from current behavior" section MISSING');
+        }
+    }
+    else {
+        passed = false;
+        details.push('SPEC_TEMPLATE_LITE.md: file not found');
+    }
+    const whatsNextPath = join(repoRoot, '.cursor', 'commands', 'specs', 'whats-next.md');
+    if (existsSync(whatsNextPath)) {
+        const content = readFileSync(whatsNextPath, 'utf8');
+        if (content.includes('Fluid mode')) {
+            details.push('whats-next.md: Fluid mode section present');
+        }
+        else {
+            details.push('whats-next.md: Fluid mode section NOT FOUND (warning)');
+        }
+    }
+    return { layer: 'Layer 3: Phase 4 spot checks', passed, details };
+}
+//# sourceMappingURL=verifyRollout.js.map

package/dist/commands/verifyRollout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyRollout.js","sourceRoot":"","sources":["../../src/commands/verifyRollout.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAQ7C,MAAM,UAAU,qBAAqB,CAAC,OAAgB;IACpD,OAAO;SACJ,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,wFAAwF,CAAC;SACrG,MAAM,CAAC,aAAa,EAAE,yDAAyD,CAAC;SAChF,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtC,cAAc,CAAC,MAAM,EAAE,4CAA4C,CAAC,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtC,cAAc,CAAC,MAAM,EAAE,6CAA6C,CAAC,CAAC;YACtE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtC,cAAc,CAAC,MAAM,EAAE,+CAA+C,CAAC,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAClD,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM;aACnB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAChI;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,IAAI,CAAC,MAAM,EAAE;YACX,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE;YAC3B,IAAI,EAAE,mBAAmB,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,KAAK,OAAO,EAAE;YAC7E,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB;IACjC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,GAAG,IAAI,CAAC;IAElB,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,2CAA2C,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnG,IAAI,SAAS,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,GAAG,KAAK,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,wCAAwC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC9E,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB;IACjC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,GAAG,IAAI,CAAC;IAElB,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzF,IAAI,WAAW,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,KAAK,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,qBAAqB,WAAW,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE5B,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,EAAE,gCAAgC,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzF,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;QACnF,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC;YAAE,MAAM,GAAG,KAAK,CAAC;IACvC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,UAAmB;IACtD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,GAAG,IAAI,CAAC;IAElB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAE7C,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3D,MAAM,GAAG,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClE,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,GAAG,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,KAAK,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,4BAA4B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1F,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,uBAAuB,CAAC,CAAC;IACxF,IAAI,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,kCAAkC,CAAC,EAAE,CAAC;YACzD,OAAO,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QACzF,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,KAAK,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACtF,IAAI,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,YAAY,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC5D,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,8BAA8B,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACpE,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,21 @@
+import { Command } from 'commander';
+export type { SpecFile, SpecSignals, MissingSpecDiagnosis } from './lib/specs.js';
+export { listSpecs, findSpec, findSpecsById, deriveSignals, diagnoseMissingSpec } from './lib/specs.js';
+export { loadConfig, resetConfigCache, coresFromConfig, type SpecConfig, type CoreDef } from './lib/config.js';
+export type { EmbeddingsSource } from './lib/embeddings-source.js';
+export { embeddingsSourceFromConfig, FilesystemEmbeddingsSource } from './lib/embeddings-source.js';
+export { recommendAction } from './commands/next.js';
+export type { NextAction } from './lib/next-action.js';
+export { getRepoRoot, coresList } from './lib/repo.js';
+export { buildScorecardForCore } from './lib/scorecard-run.js';
+export { scanVerifies } from './lib/verifies-scan.js';
+export { computeStage, PIPELINE, type ActorType } from './lib/pipeline-map.js';
+export { isCompleteStatus, collectSpecIds } from './lib/blockers.js';
+export { uiEvidenceGate } from './lib/completion-gate.js';
+export { parseComplianceSignoff } from './lib/compliance-signoff.js';
+export type { SessionState } from './lib/session-state.js';
+/** The fully-registered CLI program. Exported (not parsed on import — the parse
+ *  call below is guarded by the main-module check) so the command-surface gate
+ *  and conformance pack can enumerate the registered command set. */
+export declare const program: Command;
+export declare function run(argv: string[]): Promise<void>;