@encore-os/eos-spec 0.3.1

package/dist/lib/coherence.js

@@ -0,0 +1,188 @@
+import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { join, relative } from 'node:path';
+import { runScript } from './exec.js';
+import { readFrontmatter, stripFrontmatter } from './frontmatter.js';
+/**
+ * Find `{core}_*` / `pf_*` table names referenced by a spec that ALREADY EXIST
+ * in a committed migration. This is the complement of the `missing-table-migration`
+ * coherence warning: instead of "spec proposes a table with no migration", it
+ * surfaces "spec references a table that is already implemented" — the signal
+ * that a new spec may be duplicating an existing feature rather than extending it.
+ * Advisory only; the human confirms extend-vs-duplicate.
+ */
+/** A status value that indicates the spec has already shipped — for these, references
+ *  to existing tables are the spec's OWN production migrations, not a
+ *  duplicate-vs-extend signal. */
+const COMPLETE_STATUS_VALUE_RE = /^(?:✅|complete|implemented)/i;
+const COMPLETE_STATUS_PROSE_RE = /^\*\*Status:\*\*\s*(?:✅|complete|implemented)/im;
+/** Lifecycle-complete check: frontmatter `status:` wins when present and non-empty;
+ *  the body `**Status:**` prose line is fallback only (mirrors listSpecs in specs.ts). */
+function isLifecycleComplete(specText) {
+    const fm = readFrontmatter(specText);
+    const fmStatus = typeof fm.status === 'string' && fm.status.trim() !== '' ? fm.status.trim() : undefined;
+    if (fmStatus !== undefined)
+        return COMPLETE_STATUS_VALUE_RE.test(fmStatus);
+    return COMPLETE_STATUS_PROSE_RE.test(stripFrontmatter(specText));
+}
+export function findExistingTableReferences(repoRoot, specId, core) {
+    const specPath = resolveSpecPath(repoRoot, core, specId);
+    if (!specPath)
+        return [];
+    const specText = readSafe(specPath);
+    // Lifecycle-aware: an implemented spec referencing existing tables is by definition
+    // pointing at its own production migrations. Skip the advisory in that case.
+    if (isLifecycleComplete(specText))
+        return [];
+    const migrationsDir = join(repoRoot, 'supabase', 'migrations');
+    if (!existsSync(migrationsDir))
+        return [];
+    const tables = extractTableNames(specText, core);
+    const files = readdirSync(migrationsDir)
+        .filter((f) => f.endsWith('.sql'))
+        .sort();
+    const out = [];
+    for (const table of tables) {
+        const tableRegex = new RegExp(`\\bcreate\\s+table\\b[\\s\\S]{0,200}\\b${escapeRegex(table)}\\b`, 'i');
+        for (const file of files) {
+            if (tableRegex.test(readSafe(join(migrationsDir, file)))) {
+                out.push({ table, migration: file });
+                break;
+            }
+        }
+    }
+    return out;
+}
+export function evaluateCoherence(repoRoot, specId, core) {
+    const warnings = [];
+    const specPath = resolveSpecPath(repoRoot, core, specId);
+    if (!specPath)
+        return { warnings };
+    const specText = readSafe(specPath);
+    const taskPath = join(repoRoot, 'specs', core, 'tasks', `${specId}-TASKS.md`);
+    const tasksText = readSafe(taskPath);
+    const migrationText = readMigrationText(repoRoot);
+    for (const table of extractTableNames(specText, core)) {
+        const tableRegex = new RegExp(`\\bcreate\\s+table\\b[\\s\\S]{0,200}\\b${escapeRegex(table)}\\b`, 'i');
+        if (!tableRegex.test(migrationText)) {
+            warnings.push({
+                type: 'missing-table-migration',
+                message: `No migration CREATE TABLE reference found for ${table}`,
+            });
+        }
+    }
+    const taskPaths = extractTaskPaths(tasksText);
+    for (const taskFile of taskPaths.files) {
+        const absolute = join(repoRoot, taskFile);
+        if (!existsSync(absolute)) {
+            warnings.push({
+                type: 'missing-task-path',
+                message: `Task references missing path: ${taskFile}`,
+            });
+        }
+    }
+    const allFiles = listAllFiles(repoRoot);
+    for (const pattern of taskPaths.testPatterns) {
+        if (!matchesAnyFile(allFiles, pattern)) {
+            warnings.push({
+                type: 'missing-test-pattern',
+                message: `Task test pattern has no matching files: ${pattern}`,
+            });
+        }
+    }
+    return { warnings };
+}
+function resolveSpecPath(repoRoot, core, specId) {
+    // Wizard/UX specs live in `ux/`, base specs in `specs/` — scan both (mirrors listSpecs).
+    for (const sub of ['specs', 'ux']) {
+        const dir = join(repoRoot, 'specs', core, sub);
+        if (!existsSync(dir))
+            continue;
+        for (const file of readdirSync(dir)) {
+            if (!file.endsWith('.md'))
+                continue;
+            if (file.startsWith(`${specId}-`)) {
+                return join(dir, file);
+            }
+        }
+    }
+    return null;
+}
+function readSafe(path) {
+    if (!existsSync(path))
+        return '';
+    return readFileSync(path, 'utf8');
+}
+function readMigrationText(repoRoot) {
+    const migrationsDir = join(repoRoot, 'supabase', 'migrations');
+    if (!existsSync(migrationsDir))
+        return '';
+    let combined = '';
+    for (const file of readdirSync(migrationsDir)) {
+        if (!file.endsWith('.sql'))
+            continue;
+        combined += `\n${readSafe(join(migrationsDir, file))}`;
+    }
+    return combined;
+}
+function extractTableNames(specText, core) {
+    const matches = specText.match(/\b[a-z]{2,3}_[a-z0-9_]+\b/g) ?? [];
+    const allowedPrefixes = new Set([`${core.toLowerCase()}_`, 'pf_']);
+    const out = new Set();
+    for (const table of matches) {
+        if ([...allowedPrefixes].some((prefix) => table.startsWith(prefix))) {
+            out.add(table);
+        }
+    }
+    return [...out];
+}
+function extractTaskPaths(tasksText) {
+    const files = new Set();
+    const testPatterns = new Set();
+    const backticks = [...tasksText.matchAll(/`([^`\n]+)`/g)].map((m) => m[1] ?? '');
+    for (const token of backticks) {
+        if (token.includes('*') && (token.includes('.test.') || token.includes('.spec.') || token.includes('.rls.'))) {
+            testPatterns.add(token);
+            continue;
+        }
+        if (token.includes('/') && !token.startsWith('npm ') && !token.startsWith('node ')) {
+            files.add(token);
+        }
+    }
+    return { files: [...files], testPatterns: [...testPatterns] };
+}
+function listAllFiles(repoRoot) {
+    const gitFiles = runScript(['git', 'ls-files'], repoRoot);
+    if (gitFiles.exitCode === 0 && gitFiles.stdout.trim()) {
+        return gitFiles.stdout
+            .split('\n')
+            .map((line) => line.trim())
+            .filter(Boolean);
+    }
+    const out = [];
+    walk(repoRoot, repoRoot, out);
+    return out;
+}
+function walk(root, dir, out) {
+    for (const entry of readdirSync(dir, { withFileTypes: true })) {
+        if (entry.name === '.git' || entry.name === 'node_modules')
+            continue;
+        const abs = join(dir, entry.name);
+        if (entry.isDirectory()) {
+            walk(root, abs, out);
+            continue;
+        }
+        out.push(relative(root, abs));
+    }
+}
+function matchesAnyFile(files, pattern) {
+    const regex = globToRegex(pattern);
+    return files.some((f) => regex.test(f));
+}
+function globToRegex(pattern) {
+    const escaped = escapeRegex(pattern).replace(/\\\*/g, '.*');
+    return new RegExp(`^${escaped}$`);
+}
+function escapeRegex(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+//# sourceMappingURL=coherence.js.map

package/dist/lib/coherence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coherence.js","sourceRoot":"","sources":["../../src/lib/coherence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAcrE;;;;;;;GAOG;AACH;;kCAEkC;AAClC,MAAM,wBAAwB,GAAG,8BAA8B,CAAC;AAChE,MAAM,wBAAwB,GAAG,iDAAiD,CAAC;AAEnF;0FAC0F;AAC1F,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzG,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3E,OAAO,wBAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,MAAc,EAAE,IAAY;IACxF,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACpC,oFAAoF;IACpF,6EAA6E;IAC7E,IAAI,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,WAAW,CAAC,aAAa,CAAC;SACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SACjC,IAAI,EAAE,CAAC;IACV,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,0CAA0C,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrC,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,MAAc,EAAE,IAAY;IAC9E,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAEnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAElD,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,0CAA0C,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,iDAAiD,KAAK,EAAE;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,iCAAiC,QAAQ,EAAE;aACrD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxC,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;QAC7C,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,4CAA4C,OAAO,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,IAAY,EAAE,MAAc;IACrE,yFAAyF;IACzF,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YACpC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB;IACzC,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QACrC,QAAQ,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB,EAAE,IAAY;IACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAC;IACnE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAiB;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC7G,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACnF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,QAAQ,CAAC,QAAQ,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACtD,OAAO,QAAQ,CAAC,MAAM;aACnB,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;aAC1B,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,GAAW,EAAE,GAAa;IACpD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,SAAS;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAe,EAAE,OAAe;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAC,OAAe;IAClC,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,IAAI,MAAM,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC"}

package/dist/lib/completion-gate.d.ts

@@ -0,0 +1,17 @@
+import type { SpecFile } from './specs.js';
+export type GateVerdict = {
+    ok: true;
+} | {
+    ok: false;
+    reason: string;
+};
+/**
+ * UI-evidence completion gate (Epic C1). A UI-bearing spec must carry both
+ * docshot evidence and a browser auto-heal sign-off before it can claim
+ * `status: complete` — the exact predicates the navigator enforces in its
+ * mark-complete tail (next.ts implementOrComplete). A `ui-gate-waived` marker
+ * is an explicit, dated escape. Pure: reads only the precomputed signals so the
+ * inline (complete.ts) and corpus (check-ui-completion-evidence.ts) call sites
+ * cannot diverge.
+ */
+export declare function uiEvidenceGate(spec: SpecFile): GateVerdict;

package/dist/lib/completion-gate.js

@@ -0,0 +1,28 @@
+/**
+ * UI-evidence completion gate (Epic C1). A UI-bearing spec must carry both
+ * docshot evidence and a browser auto-heal sign-off before it can claim
+ * `status: complete` — the exact predicates the navigator enforces in its
+ * mark-complete tail (next.ts implementOrComplete). A `ui-gate-waived` marker
+ * is an explicit, dated escape. Pure: reads only the precomputed signals so the
+ * inline (complete.ts) and corpus (check-ui-completion-evidence.ts) call sites
+ * cannot diverge.
+ */
+export function uiEvidenceGate(spec) {
+    const s = spec.signals;
+    if (!s.isUiBearing)
+        return { ok: true };
+    if (s.hasUiGateWaiver)
+        return { ok: true };
+    if (s.hasDocshots && s.hasHealSignoff)
+        return { ok: true };
+    const missing = [];
+    if (!s.hasDocshots)
+        missing.push('docshots');
+    if (!s.hasHealSignoff)
+        missing.push('heal-verified sign-off');
+    return {
+        ok: false,
+        reason: `UI-bearing spec missing ${missing.join(' + ')} — complete the verification tail or waive with \`eos-spec signoff --type ui-gate-waived --spec ${spec.id}\``,
+    };
+}
+//# sourceMappingURL=completion-gate.js.map

package/dist/lib/completion-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion-gate.js","sourceRoot":"","sources":["../../src/lib/completion-gate.ts"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IACvB,IAAI,CAAC,CAAC,CAAC,WAAW;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACxC,IAAI,CAAC,CAAC,eAAe;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC3C,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,cAAc;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC3D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC,CAAC,CAAC,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7C,IAAI,CAAC,CAAC,CAAC,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC9D,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,2BAA2B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,mGAAmG,IAAI,CAAC,EAAE,IAAI;KACrK,CAAC;AACJ,CAAC"}

package/dist/lib/compliance-signoff.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Compliance regimes the per-spec sign-off can record a determination against.
+ * Derived from the existing trackers under `docs/compliance/*_TRACKING.md` (and
+ * `docs/compliance/ONC_*`), NOT invented:
+ *  - 42-cfr-part-2  (SUD — RH/CE trackers)
+ *  - hipaa-164      (45 CFR 164 — RH/CE trackers)
+ *  - onc-170.315    (ONC certification criteria — ONC_CERTIFICATION_*)
+ *  - fcra / tcpa    (FCRA_TCPA_COMPLIANCE_TRACKING.md)
+ *  - ahcccs         (AZ Medicaid)
+ *  - carf           (GR accreditation — GR_GOVERNANCE_COMPLIANCE_TRACKING.md)
+ *  - samhsa         (FA/GR federal-award reporting)
+ *  - dhs-licensure  (RH_RECOVERY_HOUSING_COMPLIANCE_TRACKING.md)
+ *  - can-spam       (CE_COMMUNICATIONS_COMPLIANCE_TRACKING.md)
+ */
+export declare const COMPLIANCE_REGIMES: readonly ["42-cfr-part-2", "hipaa-164", "onc-170.315", "fcra", "tcpa", "ahcccs", "carf", "samhsa", "dhs-licensure", "can-spam"];
+export type ComplianceRegime = (typeof COMPLIANCE_REGIMES)[number];
+/** Per-regime determination status. */
+export declare const DETERMINATION_STATUSES: readonly ["reviewed", "not-applicable", "deferred"];
+export type DeterminationStatus = (typeof DETERMINATION_STATUSES)[number];
+export interface Determination {
+    regime: ComplianceRegime;
+    status: DeterminationStatus;
+    note?: string;
+}
+export interface ComplianceSignoffParse {
+    valid: boolean;
+    errors: string[];
+    reviewer?: string;
+    date?: string;
+    determinations: Determination[];
+}
+/**
+ * Parse + validate a `{ID}-COMPLIANCE-SIGNOFF.md` body. Never throws — a missing
+ * or malformed frontmatter block returns `{ valid: false, errors: [...] }` so the
+ * gate can warn rather than crash. `valid` requires: a matching `spec_id`, a
+ * non-empty `reviewer`, an ISO `date`, and at least one determination whose
+ * `regime` is a known regime and `status` is a known status.
+ */
+export declare function parseComplianceSignoff(text: string, expectedSpecId: string): ComplianceSignoffParse;

package/dist/lib/compliance-signoff.js

@@ -0,0 +1,81 @@
+import { readFrontmatter } from './frontmatter.js';
+/**
+ * Compliance regimes the per-spec sign-off can record a determination against.
+ * Derived from the existing trackers under `docs/compliance/*_TRACKING.md` (and
+ * `docs/compliance/ONC_*`), NOT invented:
+ *  - 42-cfr-part-2  (SUD — RH/CE trackers)
+ *  - hipaa-164      (45 CFR 164 — RH/CE trackers)
+ *  - onc-170.315    (ONC certification criteria — ONC_CERTIFICATION_*)
+ *  - fcra / tcpa    (FCRA_TCPA_COMPLIANCE_TRACKING.md)
+ *  - ahcccs         (AZ Medicaid)
+ *  - carf           (GR accreditation — GR_GOVERNANCE_COMPLIANCE_TRACKING.md)
+ *  - samhsa         (FA/GR federal-award reporting)
+ *  - dhs-licensure  (RH_RECOVERY_HOUSING_COMPLIANCE_TRACKING.md)
+ *  - can-spam       (CE_COMMUNICATIONS_COMPLIANCE_TRACKING.md)
+ */
+export const COMPLIANCE_REGIMES = [
+    '42-cfr-part-2',
+    'hipaa-164',
+    'onc-170.315',
+    'fcra',
+    'tcpa',
+    'ahcccs',
+    'carf',
+    'samhsa',
+    'dhs-licensure',
+    'can-spam',
+];
+/** Per-regime determination status. */
+export const DETERMINATION_STATUSES = ['reviewed', 'not-applicable', 'deferred'];
+const REGIME_SET = new Set(COMPLIANCE_REGIMES);
+const STATUS_SET = new Set(DETERMINATION_STATUSES);
+const DATE_RE = /^\d{4}-\d{2}-\d{2}$/;
+/**
+ * Parse + validate a `{ID}-COMPLIANCE-SIGNOFF.md` body. Never throws — a missing
+ * or malformed frontmatter block returns `{ valid: false, errors: [...] }` so the
+ * gate can warn rather than crash. `valid` requires: a matching `spec_id`, a
+ * non-empty `reviewer`, an ISO `date`, and at least one determination whose
+ * `regime` is a known regime and `status` is a known status.
+ */
+export function parseComplianceSignoff(text, expectedSpecId) {
+    const fm = readFrontmatter(text);
+    const errors = [];
+    const specId = typeof fm.spec_id === 'string' ? fm.spec_id.trim() : '';
+    if (!specId) {
+        errors.push('missing spec_id');
+    }
+    else if (specId.toUpperCase() !== expectedSpecId.toUpperCase()) {
+        errors.push(`spec_id "${specId}" does not match expected "${expectedSpecId}"`);
+    }
+    const reviewer = typeof fm.reviewer === 'string' && fm.reviewer.trim() !== '' ? fm.reviewer.trim() : undefined;
+    if (!reviewer)
+        errors.push('missing reviewer');
+    const date = typeof fm.date === 'string' && DATE_RE.test(fm.date.trim()) ? fm.date.trim() : undefined;
+    if (!date)
+        errors.push('missing or malformed date (expected YYYY-MM-DD)');
+    const rawDet = Array.isArray(fm.determinations) ? fm.determinations : [];
+    const determinations = [];
+    if (rawDet.length === 0) {
+        errors.push('determinations: at least one determination is required');
+    }
+    for (let i = 0; i < rawDet.length; i++) {
+        const d = rawDet[i];
+        const regime = d && typeof d.regime === 'string' ? d.regime.trim() : '';
+        const status = d && typeof d.status === 'string' ? d.status.trim() : '';
+        const regimeOk = REGIME_SET.has(regime);
+        const statusOk = STATUS_SET.has(status);
+        if (!regimeOk) {
+            errors.push(`determinations[${i}]: unknown regime "${regime}"`);
+        }
+        if (!statusOk) {
+            errors.push(`determinations[${i}]: invalid status "${status}" (expected reviewed | not-applicable | deferred)`);
+        }
+        if (!regimeOk || !statusOk) {
+            continue;
+        }
+        const note = d && typeof d.note === 'string' && d.note.trim() !== '' ? d.note.trim() : undefined;
+        determinations.push({ regime: regime, status: status, note });
+    }
+    return { valid: errors.length === 0, errors, reviewer, date, determinations };
+}
+//# sourceMappingURL=compliance-signoff.js.map

package/dist/lib/compliance-signoff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compliance-signoff.js","sourceRoot":"","sources":["../../src/lib/compliance-signoff.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,eAAe;IACf,WAAW;IACX,aAAa;IACb,MAAM;IACN,MAAM;IACN,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,eAAe;IACf,UAAU;CACF,CAAC;AAIX,uCAAuC;AACvC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAU,CAAC;AAiB1F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,kBAAkB,CAAC,CAAC;AACvD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,sBAAsB,CAAC,CAAC;AAC3D,MAAM,OAAO,GAAG,qBAAqB,CAAC;AAEtC;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,cAAsB;IACzE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAA4B,CAAC;IAC5D,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACjC,CAAC;SAAM,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QACjE,MAAM,CAAC,IAAI,CAAC,YAAY,MAAM,8BAA8B,cAAc,GAAG,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/G,IAAI,CAAC,QAAQ;QAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAE/C,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,IAAI,CAAC,IAAI;QAAE,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAE1E,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAmC,CAAC;QACtD,MAAM,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,sBAAsB,MAAM,GAAG,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,sBAAsB,MAAM,mDAAmD,CAAC,CAAC;QAClH,CAAC;QACD,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACjG,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAA0B,EAAE,MAAM,EAAE,MAA6B,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3G,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAChF,CAAC"}

package/dist/lib/config.d.ts

@@ -0,0 +1,63 @@
+export type CoreDef = {
+    id: string;
+    name: string;
+    architectural_role?: string;
+};
+export type StatusDef = {
+    id: string;
+    label: string;
+    description: string;
+};
+export type ArchivePolicy = {
+    enabled: boolean;
+    trigger: string;
+    threshold_days: number;
+    destination: string;
+    preserves: string[];
+    removes_from: string[];
+};
+export type SpecConfig = {
+    version: number;
+    last_updated: string;
+    cores: CoreDef[];
+    statuses: StatusDef[];
+    paths: {
+        specs: string;
+        plans: string;
+        tasks: string;
+        archive: string;
+    };
+    templates: Record<string, string | Record<string, string>>;
+    hard_gates: Array<{
+        rule: string;
+        description: string;
+        enforced_in: string[];
+        applies_to_cores?: string[];
+        tags: string[];
+    }>;
+    commands: {
+        unified: Record<string, string>;
+        legacy: Record<string, string>;
+    };
+    archive: ArchivePolicy;
+    delta_types: string[];
+    defaults: Record<string, unknown>;
+    per_core_phase_reference?: string;
+    /** Per-consumer embedding-index location, consumed via the EmbeddingsSource seam
+     *  (lib/embeddings-source.ts). Absent ⇒ the legacy fork-layout defaults. The
+     *  package carries NO corpus data; each consumer points at its own. */
+    embeddings?: {
+        /** Dir holding the committed index (manifest + matrix + recall vectors), relative to repo root. */
+        data_dir?: string;
+        /** Path to the generated spec-index.json (freshness corpus), relative to repo root. */
+        spec_index_path?: string;
+    };
+};
+export declare function loadConfig(repoRoot: string, configOverride?: string): SpecConfig;
+export declare function resetConfigCache(): void;
+export declare function coresFromConfig(config: SpecConfig): string[];
+export declare function isKnownCoreFromConfig(config: SpecConfig, core: string): boolean;
+/** Resolve a flat template key (e.g. 'full_spec', 'plan') to its path relative to repo root. */
+export declare function resolveTemplatePath(config: SpecConfig, key: string): string | null;
+/** Get the archive directory path pattern from config. */
+export declare function archiveDestination(config: SpecConfig): string;

package/dist/lib/config.js

@@ -0,0 +1,40 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { parse as parseYaml } from 'yaml';
+let cached = null;
+let cachedPath = null;
+export function loadConfig(repoRoot, configOverride) {
+    const configPath = configOverride ?? join(repoRoot, 'specs', 'config.yaml');
+    if (cached && cachedPath === configPath)
+        return cached;
+    if (!existsSync(configPath)) {
+        throw new Error(`Spec config not found: ${configPath}`);
+    }
+    const raw = readFileSync(configPath, 'utf8');
+    const parsed = parseYaml(raw);
+    cached = parsed;
+    cachedPath = configPath;
+    return parsed;
+}
+export function resetConfigCache() {
+    cached = null;
+    cachedPath = null;
+}
+export function coresFromConfig(config) {
+    return config.cores.map((c) => c.id);
+}
+export function isKnownCoreFromConfig(config, core) {
+    return coresFromConfig(config).includes(core.toLowerCase());
+}
+/** Resolve a flat template key (e.g. 'full_spec', 'plan') to its path relative to repo root. */
+export function resolveTemplatePath(config, key) {
+    const val = config.templates[key];
+    if (typeof val === 'string')
+        return val;
+    return null;
+}
+/** Get the archive directory path pattern from config. */
+export function archiveDestination(config) {
+    return config.archive.destination;
+}
+//# sourceMappingURL=config.js.map

package/dist/lib/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/lib/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAwD1C,IAAI,MAAM,GAAsB,IAAI,CAAC;AACrC,IAAI,UAAU,GAAkB,IAAI,CAAC;AAErC,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,cAAuB;IAClE,MAAM,UAAU,GAAG,cAAc,IAAI,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAE5E,IAAI,MAAM,IAAI,UAAU,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC;IAEvD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,0BAA0B,UAAU,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAe,CAAC;IAC5C,MAAM,GAAG,MAAM,CAAC;IAChB,UAAU,GAAG,UAAU,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,gBAAgB;IAC9B,MAAM,GAAG,IAAI,CAAC;IACd,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAkB;IAChD,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAkB,EAAE,IAAY;IACpE,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,mBAAmB,CAAC,MAAkB,EAAE,GAAW;IACjE,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,kBAAkB,CAAC,MAAkB;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;AACpC,CAAC"}

package/dist/lib/cost.d.ts

@@ -0,0 +1,12 @@
+/** Per-1M-token rates in USD. Kept in sync with automation/_platform/ai-call.ts MODEL_RATES.
+ *  Cross-package import is blocked by tools/eos-spec's tsconfig rootDir; tests assert parity. */
+export declare const MODEL_RATES: Record<string, {
+    promptPer1m: number;
+    completionPer1m: number;
+}>;
+export type AiTokens = {
+    prompt: number;
+    completion: number;
+    total: number;
+};
+export declare function computeCostUsd(model: string, tokens: AiTokens): number | null;

package/dist/lib/cost.js

@@ -0,0 +1,12 @@
+/** Per-1M-token rates in USD. Kept in sync with automation/_platform/ai-call.ts MODEL_RATES.
+ *  Cross-package import is blocked by tools/eos-spec's tsconfig rootDir; tests assert parity. */
+export const MODEL_RATES = {
+    'anthropic/claude-sonnet-4': { promptPer1m: 3, completionPer1m: 15 },
+};
+export function computeCostUsd(model, tokens) {
+    const rate = MODEL_RATES[model];
+    if (!rate)
+        return null;
+    return (tokens.prompt * rate.promptPer1m + tokens.completion * rate.completionPer1m) / 1_000_000;
+}
+//# sourceMappingURL=cost.js.map

package/dist/lib/cost.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cost.js","sourceRoot":"","sources":["../../src/lib/cost.ts"],"names":[],"mappings":"AAAA;iGACiG;AACjG,MAAM,CAAC,MAAM,WAAW,GAAqE;IAC3F,2BAA2B,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE;CACrE,CAAC;AAIF,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,MAAgB;IAC5D,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,SAAS,CAAC;AACnG,CAAC"}

package/dist/lib/debt-dashboard.d.ts

@@ -0,0 +1,25 @@
+export interface DebtRow {
+    id: string;
+    claimed: string;
+    tier: string;
+    honestStatus: string;
+    missing: string[];
+    effort: 'S' | 'M' | 'L';
+    /** Optional per-row evidence note surfaced in a trailing Notes column for human review. */
+    reason?: string;
+}
+export interface RelinkEntry {
+    id: string;
+    reason: string;
+}
+export interface DashboardOptions {
+    /** T1 rows whose tests exist but whose @verifies linkage is broken — listed for hand-relinking, not downgrade. */
+    relinkQueue?: RelinkEntry[];
+}
+/**
+ * Render a per-core verification-debt dashboard as Markdown. One row per claimed-complete spec with
+ * its computed tier, honest status, missing artifacts, and effort. A trailing Notes column carries
+ * the code-evidence reason when present (purely for human review). Optionally appends a Relink queue
+ * section for T1 specs (tests exist, linkage broken) — these are NOT downgraded by `--apply`.
+ */
+export declare function renderDebtDashboard(core: string, rows: DebtRow[], options?: DashboardOptions): string;

package/dist/lib/debt-dashboard.js

@@ -0,0 +1,36 @@
+/**
+ * Render a per-core verification-debt dashboard as Markdown. One row per claimed-complete spec with
+ * its computed tier, honest status, missing artifacts, and effort. A trailing Notes column carries
+ * the code-evidence reason when present (purely for human review). Optionally appends a Relink queue
+ * section for T1 specs (tests exist, linkage broken) — these are NOT downgraded by `--apply`.
+ */
+export function renderDebtDashboard(core, rows, options = {}) {
+    const hasNotes = rows.some((r) => r.reason && r.reason.trim() !== '');
+    const head = hasNotes
+        ? '| Spec | Claimed | Tier | Real status | Missing artifacts | Effort | Notes |\n' +
+            '|------|---------|------|-------------|-------------------|--------|-------|\n'
+        : '| Spec | Claimed | Tier | Real status | Missing artifacts | Effort |\n' +
+            '|------|---------|------|-------------|-------------------|--------|\n';
+    const header = `# Verification Debt — ${core.toUpperCase()}\n\n` +
+        `> Generated by \`eos-spec backfill --core ${core}\`. Do not hand-edit.\n\n` +
+        head;
+    const body = rows
+        .map((r) => {
+        const cells = [r.id, r.claimed, r.tier, r.honestStatus, r.missing.join(', ') || '—', r.effort];
+        if (hasNotes)
+            cells.push((r.reason ?? '').replace(/\|/g, '\\|'));
+        return `| ${cells.join(' | ')} |`;
+    })
+        .join('\n');
+    let out = `${header}${body}\n`;
+    const relink = options.relinkQueue ?? [];
+    if (relink.length > 0) {
+        const lines = relink.map((e) => `- **${e.id}** — ${e.reason}`).join('\n');
+        out +=
+            `\n## Relink queue\n\n` +
+                `> Tests exist but \`@verifies\` linkage is broken (undeclared/typo'd ids). ` +
+                `Status is NOT downgraded; re-link the backlinks instead.\n\n${lines}\n`;
+    }
+    return out;
+}
+//# sourceMappingURL=debt-dashboard.js.map

package/dist/lib/debt-dashboard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"debt-dashboard.js","sourceRoot":"","sources":["../../src/lib/debt-dashboard.ts"],"names":[],"mappings":"AAqBA;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,IAAe,EAAE,UAA4B,EAAE;IAC/F,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,QAAQ;QACnB,CAAC,CAAC,gFAAgF;YAChF,gFAAgF;QAClF,CAAC,CAAC,wEAAwE;YACxE,wEAAwE,CAAC;IAE7E,MAAM,MAAM,GACV,yBAAyB,IAAI,CAAC,WAAW,EAAE,MAAM;QACjD,6CAA6C,IAAI,2BAA2B;QAC5E,IAAI,CAAC;IAEP,MAAM,IAAI,GAAG,IAAI;SACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/F,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACjE,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACpC,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,IAAI,GAAG,GAAG,GAAG,MAAM,GAAG,IAAI,IAAI,CAAC;IAE/B,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,GAAG;YACD,uBAAuB;gBACvB,6EAA6E;gBAC7E,+DAA+D,KAAK,IAAI,CAAC;IAC7E,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}