@encore-os/eos-spec 0.3.1

package/dist/lib/migration-collision.d.ts

@@ -0,0 +1,20 @@
+export type Collision = {
+    table: string;
+    migration: string;
+};
+/** Map of every CREATE TABLE name across supabase/migrations -> first migration file declaring it.
+ *  Lowercased; tolerant of IF NOT EXISTS, optional schema prefix, and quoting. One pass over all files. */
+export declare function migrationTables(repoRoot: string): Map<string, string>;
+/** Collisions between the given identifiers and existing migration tables. */
+export declare function findMigrationCollisions(repoRoot: string, identifiers: string[]): Collision[];
+/** Does the spec body declare it CREATES this table (vs merely referencing / reusing it)?
+ *  Two accepted declaration forms:
+ *   1. Literal DDL: `CREATE TABLE [IF NOT EXISTS] [schema.]<table>` (tolerant of quoting).
+ *   2. Data-Model heading whose entire text is the table name: `#### \`<table>\`` / `### <table>`.
+ *  Inline mentions (bullets, prose, "reuses `x`") are treated as references, not creates —
+ *  that removes the false-positive class (FA-29) while keeping real declarations (PM-21).
+ *  A spec that defines a table some other way is treated as a reference; a missed real
+ *  collision is still caught later at migration-authoring time. */
+export declare function specCreatesTable(body: string, table: string): boolean;
+/** Filter identifiers down to those the spec body declares it CREATES. */
+export declare function createdTables(body: string, identifiers: string[]): string[];

package/dist/lib/migration-collision.js

@@ -0,0 +1,61 @@
+// Mirrors scripts/specs/migration-collision.ts
+// Self-contained copy to avoid deep cross-package relative imports (no-restricted-imports).
+import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+/** Map of every CREATE TABLE name across supabase/migrations -> first migration file declaring it.
+ *  Lowercased; tolerant of IF NOT EXISTS, optional schema prefix, and quoting. One pass over all files. */
+export function migrationTables(repoRoot) {
+    const dir = join(repoRoot, 'supabase/migrations');
+    const map = new Map();
+    if (!existsSync(dir))
+        return map;
+    const re = /create\s+table\s+(?:if\s+not\s+exists\s+)?(?:"?[a-z_]+"?\.)?"?([a-z_][a-z0-9_]*)"?/gi;
+    for (const f of readdirSync(dir)) {
+        if (!f.endsWith('.sql'))
+            continue;
+        const sql = readFileSync(join(dir, f), 'utf8');
+        let m;
+        while ((m = re.exec(sql)) !== null) {
+            const t = m[1].toLowerCase();
+            if (!map.has(t))
+                map.set(t, f);
+        }
+    }
+    return map;
+}
+/** Collisions between the given identifiers and existing migration tables. */
+export function findMigrationCollisions(repoRoot, identifiers) {
+    const tables = migrationTables(repoRoot);
+    const out = [];
+    const seen = new Set();
+    for (const id of identifiers) {
+        const key = id.toLowerCase();
+        if (tables.has(key) && !seen.has(key)) {
+            out.push({ table: key, migration: tables.get(key) });
+            seen.add(key);
+        }
+    }
+    return out;
+}
+/** Does the spec body declare it CREATES this table (vs merely referencing / reusing it)?
+ *  Two accepted declaration forms:
+ *   1. Literal DDL: `CREATE TABLE [IF NOT EXISTS] [schema.]<table>` (tolerant of quoting).
+ *   2. Data-Model heading whose entire text is the table name: `#### \`<table>\`` / `### <table>`.
+ *  Inline mentions (bullets, prose, "reuses `x`") are treated as references, not creates —
+ *  that removes the false-positive class (FA-29) while keeping real declarations (PM-21).
+ *  A spec that defines a table some other way is treated as a reference; a missed real
+ *  collision is still caught later at migration-authoring time. */
+export function specCreatesTable(body, table) {
+    const t = table.toLowerCase().replace(/[^a-z0-9_]/g, '');
+    const ddl = new RegExp(`create\\s+table\\s+(?:if\\s+not\\s+exists\\s+)?(?:"?[a-z_]+"?\\.)?"?${t}"?\\b`, 'i');
+    // Heading declaration: a markdown heading line whose whole text is the table name
+    // (optionally backtick-wrapped). Anchored to line start/end so a heading that merely
+    // mentions the table among other words does not match.
+    const heading = new RegExp(`^\\s{0,3}#{2,6}\\s*\`?${t}\`?\\s*$`, 'im');
+    return ddl.test(body) || heading.test(body);
+}
+/** Filter identifiers down to those the spec body declares it CREATES. */
+export function createdTables(body, identifiers) {
+    return identifiers.filter((id) => specCreatesTable(body, id));
+}
+//# sourceMappingURL=migration-collision.js.map

package/dist/lib/migration-collision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-collision.js","sourceRoot":"","sources":["../../src/lib/migration-collision.ts"],"names":[],"mappings":"AAAA,+CAA+C;AAC/C,4FAA4F;AAE5F,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC;2GAC2G;AAC3G,MAAM,UAAU,eAAe,CAAC,QAAgB;IAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IACjC,MAAM,EAAE,GAAG,sFAAsF,CAAC;IAClG,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,uBAAuB,CAAC,QAAgB,EAAE,WAAqB;IAC7E,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC;YACtD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;mEAOmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,KAAa;IAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,uEAAuE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7G,kFAAkF;IAClF,qFAAqF;IACrF,uDAAuD;IACvD,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,yBAAyB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACvE,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,WAAqB;IAC/D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/lib/next-action.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Pure next-action computation — the artifact-derived "what gate is next" logic
+ * extracted from `commands/next.ts` so it can run with NO filesystem access
+ * (WEB-22 FR-1). The CLI wrapper (`recommendAction` in next.ts) reads the TASKS
+ * file and the landscape advisory; everything here is pure and takes the
+ * already-fetched TASKS content as a parameter, so app code (Spec Studio's
+ * gate-router) can compute the next action without importing node:fs.
+ *
+ * Behavioral contract: `recommendActionPure(spec, tasksText)` is byte-for-byte
+ * equivalent to the old `recommendAction(spec)` when `tasksText` is the content
+ * the CLI would have read (or null when the read fails) — the existing
+ * next.test.ts is the regression gate.
+ */
+import { type ActorType, type Transition } from './pipeline-map.js';
+import type { SpecFile } from './specs.js';
+export type NextAction = {
+    type: string;
+    specId: string;
+    reason: string;
+    actor: string;
+    actorType: ActorType;
+    invocation: string;
+    optional?: boolean;
+    /** Disagreement between pipeline_status and on-disk artifacts, if any. */
+    note?: string;
+    /** Set for the implement/complete tail. */
+    taskHint?: string;
+};
+/** True when TASKS.md carries at least one status marker we know how to read —
+ *  a GitHub checkbox (`[ ]`/`[x]`) or a ballot-box glyph (☐/☑/☒). Used to
+ *  distinguish "genuinely all complete" from "format we cannot parse". */
+export declare function hasRecognizedTaskMarkers(text: string): boolean;
+export declare function findIncompleteTaskHint(text: string): string | null;
+/** Task-level tail the pipeline-map does not model: drill into TASKS.md or mark
+ *  complete. `tasksText` is the already-fetched TASKS content (null when the
+ *  caller could not read it — equivalent to the CLI's failed read). */
+export declare function implementOrCompletePure(spec: SpecFile, tasksText: string | null): NextAction;
+/** Walk the SSOT pipeline; return the first applicable, not-done transition, else
+ *  the implement/complete tail. PURE: no fs. `tasksText` is the already-fetched
+ *  TASKS content (null when unavailable). `pipeline` selects the layout — defaults
+ *  to the engine's (encore1) PIPELINE; a consumer driving a different layout (e.g.
+ *  Spec Studio over the builder layout) passes `buildPipeline(schema, registry).PIPELINE`
+ *  so the next-action matches the same layout its `computeStage` uses. */
+export declare function recommendActionPure(spec: SpecFile, tasksText: string | null, pipeline?: readonly Transition[]): NextAction;

package/dist/lib/next-action.js

@@ -0,0 +1,138 @@
+/**
+ * Pure next-action computation — the artifact-derived "what gate is next" logic
+ * extracted from `commands/next.ts` so it can run with NO filesystem access
+ * (WEB-22 FR-1). The CLI wrapper (`recommendAction` in next.ts) reads the TASKS
+ * file and the landscape advisory; everything here is pure and takes the
+ * already-fetched TASKS content as a parameter, so app code (Spec Studio's
+ * gate-router) can compute the next action without importing node:fs.
+ *
+ * Behavioral contract: `recommendActionPure(spec, tasksText)` is byte-for-byte
+ * equivalent to the old `recommendAction(spec)` when `tasksText` is the content
+ * the CLI would have read (or null when the read fails) — the existing
+ * next.test.ts is the regression gate.
+ */
+import { PIPELINE } from './pipeline-map.js';
+import { isCompleteStatus } from './blockers.js';
+/** A shipped (status:complete/implemented) spec needs no pre-implementation
+ *  navigator action. Its skipped pipeline gates are historical (the spec was
+ *  often authored post-hoc), so surface them as advisory, never as a TODO. */
+function shippedAction(spec, pipeline = PIPELINE) {
+    const skipped = pipeline.filter((t) => !t.optional && !t.isDone(spec)).map((t) => t.id);
+    return {
+        type: 'shipped',
+        specId: spec.id,
+        reason: `status is \`${spec.status}\` — this spec is shipped; no pre-implementation navigator action`,
+        actor: 'eos-spec CLI',
+        actorType: 'command',
+        invocation: `nothing to do — change \`status:\` from \`${spec.status}\` only to deliberately re-open the pipeline`,
+        note: skipped.length > 0
+            ? `skipped pipeline artifacts (historical): ${skipped.join(', ')} — backfill only if you need them`
+            : undefined,
+    };
+}
+/** True when TASKS.md carries at least one status marker we know how to read —
+ *  a GitHub checkbox (`[ ]`/`[x]`) or a ballot-box glyph (☐/☑/☒). Used to
+ *  distinguish "genuinely all complete" from "format we cannot parse". */
+export function hasRecognizedTaskMarkers(text) {
+    return /\[\s*[ xX]\s*\]/.test(text) || /[☐☑☒]/.test(text);
+}
+export function findIncompleteTaskHint(text) {
+    const headedTask = /^###\s+(T\d+[^\n]*)[\s\S]{0,240}?\*\*Status:\*\*\s*`?\[\s\]`?/m.exec(text);
+    if (headedTask?.[1])
+        return headedTask[1].trim();
+    const inlineTask = /^\s*-\s*\[\s\]\s+((?:T\d+|Task)[^\n]+)/m.exec(text);
+    if (inlineTask?.[1])
+        return inlineTask[1].trim();
+    // Table/glyph format: an open ballot-box glyph ☐ (U+2610) marks an incomplete
+    // row. Capture the first T-id on that line, else the line text, as the hint.
+    const glyphLine = /^.*☐.*$/m.exec(text);
+    if (glyphLine) {
+        const line = glyphLine[0];
+        const tid = /\bT\d+\b/.exec(line)?.[0];
+        return (tid ? `${tid} (incomplete)` : line.replace(/\|/g, ' ').replace(/\s+/g, ' ').trim()).slice(0, 120);
+    }
+    return null;
+}
+/** Task-level tail the pipeline-map does not model: drill into TASKS.md or mark
+ *  complete. `tasksText` is the already-fetched TASKS content (null when the
+ *  caller could not read it — equivalent to the CLI's failed read). */
+export function implementOrCompletePure(spec, tasksText) {
+    const cli = { specId: spec.id, actor: 'eos-spec CLI', actorType: 'command' };
+    if (!spec.hasTasks) {
+        return { ...cli, type: 'generate-tasks', reason: 'No TASKS.md yet.', invocation: `eos-spec tasks ${spec.id}` };
+    }
+    if (tasksText !== null) {
+        const hint = findIncompleteTaskHint(tasksText);
+        if (hint) {
+            return {
+                specId: spec.id,
+                actor: 'implementer',
+                actorType: 'human-gate',
+                type: 'implement',
+                reason: 'Incomplete task found in TASKS.md',
+                invocation: `implement the next incomplete task in specs/${spec.core}/tasks/${spec.id}-TASKS.md, then check it off`,
+                taskHint: hint.slice(0, 120),
+            };
+        }
+        // Guard against the false "all complete" verdict: a TASKS.md with zero
+        // recognized status markers ([ ]/[x]/☐/☑) is unparseable, NOT done. Never
+        // recommend marking the spec complete when completion cannot be proven
+        // from artifacts.
+        if (!hasRecognizedTaskMarkers(tasksText)) {
+            return {
+                ...cli,
+                type: 'verify-tasks',
+                reason: 'TASKS.md has no recognized task-status markers ([ ]/[x]/☐/☑) — completion cannot be derived from artifacts. Verify the task format before completing.',
+                invocation: `eos-spec status --spec ${spec.id}  # then re-run \`eos-spec tasks ${spec.id} --force\` if the format is stale`,
+            };
+        }
+    }
+    return {
+        ...cli,
+        type: 'mark-complete',
+        reason: 'All tasks appear complete.',
+        invocation: `set \`status: complete\` in ${spec.id}'s frontmatter, then \`eos-spec archive --spec ${spec.id}\` when ready`,
+    };
+}
+/** Walk the SSOT pipeline; return the first applicable, not-done transition, else
+ *  the implement/complete tail. PURE: no fs. `tasksText` is the already-fetched
+ *  TASKS content (null when unavailable). `pipeline` selects the layout — defaults
+ *  to the engine's (encore1) PIPELINE; a consumer driving a different layout (e.g.
+ *  Spec Studio over the builder layout) passes `buildPipeline(schema, registry).PIPELINE`
+ *  so the next-action matches the same layout its `computeStage` uses. */
+export function recommendActionPure(spec, tasksText, pipeline = PIPELINE) {
+    // A shipped spec is terminal: status (lifecycle) overrides the artifact pipeline
+    // for the explicit `--spec` query so the navigator never nags about gates an
+    // already-merged feature skipped. (Corpus `next` already filters these out.)
+    if (isCompleteStatus(spec.status))
+        return shippedAction(spec, pipeline);
+    // Derived from artifacts only — mirror the same predicates the PIPELINE uses for isDone.
+    if (spec.signals.hasSpecReview && !spec.signals.hasUserStories && !spec.signals.hasAcceptanceCriteria) {
+        return {
+            type: 'backfill-frontmatter',
+            specId: spec.id,
+            reason: 'Spec passed review but has neither user stories nor acceptance_criteria — draft-acs and generate-tests both silently skip, so it would reach plan with no ACs.',
+            actor: 'spec author',
+            actorType: 'human-gate',
+            invocation: `add user stories and Given/When/Then acceptance criteria to ${spec.id}'s frontmatter before planning`,
+        };
+    }
+    for (const t of pipeline) {
+        if (t.optional)
+            continue; // advisories never block; surfaced separately
+        // Artifacts are the single source of truth. `pipeline_status` is derived/cached
+        // (see eos-spec reconcile) and is intentionally NOT consulted here.
+        if (t.isDone(spec))
+            continue;
+        return {
+            type: t.id,
+            specId: spec.id,
+            reason: t.reason,
+            actor: t.actor,
+            actorType: t.actorType,
+            invocation: t.invocation(spec.id),
+        };
+    }
+    return implementOrCompletePure(spec, tasksText);
+}
+//# sourceMappingURL=next-action.js.map

package/dist/lib/next-action.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"next-action.js","sourceRoot":"","sources":["../../src/lib/next-action.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAkB,QAAQ,EAAmB,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAiBjD;;8EAE8E;AAC9E,SAAS,aAAa,CAAC,IAAc,EAAE,WAAkC,QAAQ;IAC/E,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,MAAM,EAAE,eAAe,IAAI,CAAC,MAAM,mEAAmE;QACrG,KAAK,EAAE,cAAc;QACrB,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,6CAA6C,IAAI,CAAC,MAAM,8CAA8C;QAClH,IAAI,EACF,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,4CAA4C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAmC;YACnG,CAAC,CAAC,SAAS;KAChB,CAAC;AACJ,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,UAAU,GAAG,gEAAgE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/F,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEjD,MAAM,UAAU,GAAG,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEjD,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5G,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,IAAc,EAAE,SAAwB;IAC9E,MAAM,GAAG,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,SAAsB,EAAE,CAAC;IAC1F,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;IACjH,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,IAAI,EAAE,CAAC;YACT,OAAO;gBACL,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,KAAK,EAAE,aAAa;gBACpB,SAAS,EAAE,YAAY;gBACvB,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,mCAAmC;gBAC3C,UAAU,EAAE,+CAA+C,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,8BAA8B;gBACnH,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;QACJ,CAAC;QACD,uEAAuE;QACvE,0EAA0E;QAC1E,uEAAuE;QACvE,kBAAkB;QAClB,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;YACzC,OAAO;gBACL,GAAG,GAAG;gBACN,IAAI,EAAE,cAAc;gBACpB,MAAM,EACJ,uJAAuJ;gBACzJ,UAAU,EAAE,0BAA0B,IAAI,CAAC,EAAE,oCAAoC,IAAI,CAAC,EAAE,mCAAmC;aAC5H,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,GAAG,GAAG;QACN,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,4BAA4B;QACpC,UAAU,EAAE,+BAA+B,IAAI,CAAC,EAAE,kDAAkD,IAAI,CAAC,EAAE,eAAe;KAC3H,CAAC;AACJ,CAAC;AAED;;;;;0EAK0E;AAC1E,MAAM,UAAU,mBAAmB,CACjC,IAAc,EACd,SAAwB,EACxB,WAAkC,QAAQ;IAE1C,iFAAiF;IACjF,6EAA6E;IAC7E,6EAA6E;IAC7E,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxE,yFAAyF;IACzF,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC;QACtG,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,MAAM,EACJ,gKAAgK;YAClK,KAAK,EAAE,aAAa;YACpB,SAAS,EAAE,YAAyB;YACpC,UAAU,EAAE,+DAA+D,IAAI,CAAC,EAAE,gCAAgC;SACnH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,QAAQ;YAAE,SAAS,CAAC,8CAA8C;QACxE,gFAAgF;QAChF,oEAAoE;QACpE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,SAAS;QAE7B,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,EAAE;YACV,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;SAClC,CAAC;IACJ,CAAC;IACD,OAAO,uBAAuB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAClD,CAAC"}

package/dist/lib/ollama-embed.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Ollama embedding adapter for semantic precedent search. Documents are embedded
+ * WITHOUT the instruction; queries WITH it — qwen3-embedding requires the
+ * instruction prefix for query/document asymmetric retrieval, and omitting it
+ * collapses recall AND breaks exact matching (measured: para@15 7/8 → 4/8,
+ * exact@5 8/8 → 4/8). The model + instruction are recorded in the embedding
+ * manifest so the committed vectors stay reproducible.
+ */
+export declare const EMBED_MODEL = "qwen3-embedding:0.6b";
+export declare const EMBED_DIMS = 1024;
+export declare const QUERY_INSTRUCTION = "Instruct: Given a feature or capability search query, retrieve the most relevant product specification.\nQuery:";
+/** Low-level batch embed (no instruction applied). Throws on transport/HTTP error. */
+export declare function ollamaEmbed(inputs: string[], model?: string): Promise<number[][]>;
+/** Embed a search query (instruction prefix applied) → normalized vector. */
+export declare function embedQueryOllama(query: string, model?: string): Promise<Float32Array>;
+/**
+ * Graceful query embedder for runtime use: returns the normalized query vector,
+ * or null when Ollama is unreachable (callers fall back to lexical search). A
+ * short timeout keeps `eos-spec next`/`create` snappy when no embedder is present.
+ */
+export declare function tryEmbedQueryOllama(query: string, timeoutMs?: number): Promise<Float32Array | null>;

package/dist/lib/ollama-embed.js

@@ -0,0 +1,65 @@
+import { normalize } from './embedding-store.js';
+/**
+ * Ollama embedding adapter for semantic precedent search. Documents are embedded
+ * WITHOUT the instruction; queries WITH it — qwen3-embedding requires the
+ * instruction prefix for query/document asymmetric retrieval, and omitting it
+ * collapses recall AND breaks exact matching (measured: para@15 7/8 → 4/8,
+ * exact@5 8/8 → 4/8). The model + instruction are recorded in the embedding
+ * manifest so the committed vectors stay reproducible.
+ */
+export const EMBED_MODEL = 'qwen3-embedding:0.6b';
+export const EMBED_DIMS = 1024;
+export const QUERY_INSTRUCTION = 'Instruct: Given a feature or capability search query, retrieve the most relevant product specification.\nQuery:';
+function ollamaUrl() {
+    const host = process.env.OLLAMA_HOST ?? 'http://localhost:11434';
+    return `${host.replace(/\/$/, '')}/api/embed`;
+}
+/** Low-level batch embed (no instruction applied). Throws on transport/HTTP error. */
+export async function ollamaEmbed(inputs, model = EMBED_MODEL) {
+    const res = await fetch(ollamaUrl(), {
+        method: 'POST',
+        headers: { 'content-type': 'application/json' },
+        body: JSON.stringify({ model, input: inputs }),
+    });
+    if (!res.ok)
+        throw new Error(`ollama embed failed: ${res.status} ${res.statusText}`);
+    const json = (await res.json());
+    if (!json.embeddings || json.embeddings.length !== inputs.length) {
+        throw new Error('ollama embed: malformed response (missing/!=length embeddings)');
+    }
+    return json.embeddings;
+}
+/** Embed a search query (instruction prefix applied) → normalized vector. */
+export async function embedQueryOllama(query, model = EMBED_MODEL) {
+    const [vec] = await ollamaEmbed([`${QUERY_INSTRUCTION}${query}`], model);
+    return normalize(Float32Array.from(vec));
+}
+/**
+ * Graceful query embedder for runtime use: returns the normalized query vector,
+ * or null when Ollama is unreachable (callers fall back to lexical search). A
+ * short timeout keeps `eos-spec next`/`create` snappy when no embedder is present.
+ */
+export async function tryEmbedQueryOllama(query, timeoutMs = 4000) {
+    const ctrl = new AbortController();
+    const timer = setTimeout(() => ctrl.abort(), timeoutMs);
+    try {
+        const res = await fetch(ollamaUrl(), {
+            method: 'POST',
+            headers: { 'content-type': 'application/json' },
+            body: JSON.stringify({ model: EMBED_MODEL, input: [`${QUERY_INSTRUCTION}${query}`] }),
+            signal: ctrl.signal,
+        });
+        if (!res.ok)
+            return null;
+        const json = (await res.json());
+        const vec = json.embeddings?.[0];
+        return vec ? normalize(Float32Array.from(vec)) : null;
+    }
+    catch {
+        return null;
+    }
+    finally {
+        clearTimeout(timer);
+    }
+}
+//# sourceMappingURL=ollama-embed.js.map

package/dist/lib/ollama-embed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ollama-embed.js","sourceRoot":"","sources":["../../src/lib/ollama-embed.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEjD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,sBAAsB,CAAC;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC;AAC/B,MAAM,CAAC,MAAM,iBAAiB,GAC5B,iHAAiH,CAAC;AAEpH,SAAS,SAAS;IAChB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,wBAAwB,CAAC;IACjE,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC;AAChD,CAAC;AAED,sFAAsF;AACtF,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,MAAgB,EAAE,KAAK,GAAG,WAAW;IACrE,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE;QACnC,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;QAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;KAC/C,CAAC,CAAC;IACH,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAgC,CAAC;IAC/D,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC;AACzB,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAa,EAAE,KAAK,GAAG,WAAW;IACvE,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,CAAC,CAAC,GAAG,iBAAiB,GAAG,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACzE,OAAO,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,GAAI,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAAa,EAAE,SAAS,GAAG,IAAI;IACvE,MAAM,IAAI,GAAG,IAAI,eAAe,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE;YACnC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;YAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,GAAG,iBAAiB,GAAG,KAAK,EAAE,CAAC,EAAE,CAAC;YACrF,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACzB,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAgC,CAAC;QAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;AACH,CAAC"}

package/dist/lib/output.d.ts

@@ -0,0 +1,35 @@
+import type { Command } from 'commander';
+export type GlobalOptions = {
+    json: boolean;
+    quiet: boolean;
+    repoRoot?: string;
+    config?: string;
+};
+/**
+ * Machine-actionable error codes for the JSON envelope. A headless agent can switch
+ * on `error.code` rather than regex the human `text`. Frozen so the set is a stable
+ * contract; `ErrorCodeValue` is the union of the values for `emit()`'s payload type.
+ */
+export declare const ErrorCode: {
+    readonly SPEC_NOT_FOUND: "SPEC_NOT_FOUND";
+    readonly UNKNOWN_CORE: "UNKNOWN_CORE";
+    readonly INVALID_ARGUMENT: "INVALID_ARGUMENT";
+    readonly SCOPE_REQUIRED: "SCOPE_REQUIRED";
+    readonly VALIDATION_FAILED: "VALIDATION_FAILED";
+    readonly SUBPROCESS_ERROR: "SUBPROCESS_ERROR";
+    readonly IO_ERROR: "IO_ERROR";
+    readonly INTERNAL: "INTERNAL";
+};
+export type ErrorCodeValue = (typeof ErrorCode)[keyof typeof ErrorCode];
+export declare function getGlobalOptions(cmd: Command): GlobalOptions;
+export declare function emit(global: GlobalOptions, payload: {
+    ok: boolean;
+    data?: unknown;
+    text?: string;
+    exitCode?: number;
+    error?: {
+        code: ErrorCodeValue;
+        message: string;
+    };
+}): never;
+export declare function emitContinuing(global: GlobalOptions, text: string): void;

package/dist/lib/output.js

@@ -0,0 +1,46 @@
+/**
+ * Machine-actionable error codes for the JSON envelope. A headless agent can switch
+ * on `error.code` rather than regex the human `text`. Frozen so the set is a stable
+ * contract; `ErrorCodeValue` is the union of the values for `emit()`'s payload type.
+ */
+export const ErrorCode = {
+    SPEC_NOT_FOUND: 'SPEC_NOT_FOUND',
+    UNKNOWN_CORE: 'UNKNOWN_CORE',
+    INVALID_ARGUMENT: 'INVALID_ARGUMENT',
+    SCOPE_REQUIRED: 'SCOPE_REQUIRED',
+    VALIDATION_FAILED: 'VALIDATION_FAILED',
+    SUBPROCESS_ERROR: 'SUBPROCESS_ERROR',
+    IO_ERROR: 'IO_ERROR',
+    INTERNAL: 'INTERNAL',
+};
+export function getGlobalOptions(cmd) {
+    const root = cmd.parent ?? cmd;
+    const opts = root.opts();
+    return {
+        json: Boolean(opts.json),
+        quiet: Boolean(opts.quiet),
+        repoRoot: opts.repoRoot,
+        config: opts.config,
+    };
+}
+export function emit(global, payload) {
+    if (global.json) {
+        const envelope = {
+            ok: payload.ok,
+            data: payload.data ?? null,
+        };
+        if (payload.error)
+            envelope.error = payload.error;
+        process.stdout.write(`${JSON.stringify(envelope, null, 2)}\n`);
+    }
+    else if (payload.text && !global.quiet) {
+        process.stdout.write(`${payload.text}\n`);
+    }
+    process.exit(payload.exitCode ?? (payload.ok ? 0 : 1));
+}
+export function emitContinuing(global, text) {
+    if (!global.json && !global.quiet) {
+        process.stdout.write(`${text}\n`);
+    }
+}
+//# sourceMappingURL=output.js.map

package/dist/lib/output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/lib/output.ts"],"names":[],"mappings":"AASA;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,cAAc,EAAE,gBAAgB;IAChC,YAAY,EAAE,cAAc;IAC5B,gBAAgB,EAAE,kBAAkB;IACpC,cAAc,EAAE,gBAAgB;IAChC,iBAAiB,EAAE,mBAAmB;IACtC,gBAAgB,EAAE,kBAAkB;IACpC,QAAQ,EAAE,UAAU;IACpB,QAAQ,EAAE,UAAU;CACZ,CAAC;AAIX,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAiB,CAAC;IACxC,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,MAAqB,EACrB,OAMC;IAED,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAsF;YAClG,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI;SAC3B,CAAC;QACF,IAAI,OAAO,CAAC,KAAK;YAAE,QAAQ,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;QAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAqB,EAAE,IAAY;IAChE,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IACpC,CAAC;AACH,CAAC"}

package/dist/lib/pipeline-config.d.ts

@@ -0,0 +1,20 @@
+import type { PipelineSchema } from './pipeline-schema.js';
+/** The canonical encoreos-1 spec/test pipeline as config-driven data. This is a
+ *  faithful transcription of the imperative `PIPELINE`/`STATUS_ORDER`/`computeStage`
+ *  in pipeline-map.ts: every stage `id`, `actor`, `actorType`, `reason`,
+ *  `regulatedOnly`/`optional`, `completesStatus`, the exact `statusOrder`, and the
+ *  two honest caps are preserved verbatim. Each stage's `isDone` closure becomes a
+ *  named `gate` resolved against DEFAULT_PREDICATES; each `invocation: (id) => ...`
+ *  closure becomes a literal string with a `${id}` placeholder substituted at
+ *  interpret time. The Task 1.5 parity gate validates this against pipeline-map.ts. */
+export declare const ENCORE1_PIPELINE_SCHEMA: PipelineSchema;
+/** The builder (encoreos-switchboard) 7-stage / 6-status layout as config-driven
+ *  data — a faithful transcription of the imperative PIPELINE/STATUS_ORDER in
+ *  encoreos-builder's `tools/eos-spec/src/lib/pipeline-map.ts`. Distinct from
+ *  encore1: a 6-value statusOrder (no regulatory_grounded/compliance_reviewed/
+ *  ux_reviewed), NO regulated-only stages, and NO caps — so builder's computeStage
+ *  is a pure "highest done completesStatus". The draft-acs/generate-tests gates
+ *  carry no `completesStatus` (they never advance the stage enum), so any drift in
+ *  their predicate polarity cannot affect stage parity. Proven against the captured
+ *  builder baseline by `pipeline-parity.builder.test.ts`. */
+export declare const BUILDER_PIPELINE_SCHEMA: PipelineSchema;