engimcp 1.0.0

package/dist/storage/sqlite.js

@@ -0,0 +1,80 @@
+import { access, mkdir, writeFile } from "node:fs/promises";
+import path from "node:path";
+import initSqlJs from "sql.js";
+import { buildDocumentRegistry } from "../documents/documentService.js";
+import { buildGraph } from "../graph/graphBuilder.js";
+import { validateProject } from "../validation/validator.js";
+export async function ensureIndex(root) {
+    const indexPath = path.join(root, ".engimcp/index.sqlite");
+    try {
+        await access(indexPath);
+        return { ok: true, path: ".engimcp/index.sqlite", rebuilt: false };
+    }
+    catch {
+        const index = await rebuildIndex(root);
+        return { ok: true, path: index.path, rebuilt: true, index };
+    }
+}
+export async function rebuildIndex(root) {
+    const SQL = await initSqlJs({
+        locateFile: (file) => path.join(process.cwd(), "node_modules/sql.js/dist", file)
+    });
+    const registry = await buildDocumentRegistry(root);
+    const graph = await buildGraph(root);
+    const validation = await validateProject({ root });
+    const db = new SQL.Database();
+    db.run(`
+    create table documents(id text, path text, kind text, status text, version text, title text, summary text);
+    create table relations(source_id text, relation_type text, target_id text, source_path text);
+    create table validation_issues(severity text, code text, message text, path text, entity_id text);
+  `);
+    for (const document of registry.documents) {
+        db.run("insert into documents values (?, ?, ?, ?, ?, ?, ?)", [
+            document.id ?? null,
+            document.path,
+            document.kind ?? null,
+            document.status ?? null,
+            document.version ?? null,
+            document.title ?? null,
+            document.summary ?? null
+        ]);
+    }
+    for (const edge of graph.edges) {
+        db.run("insert into relations values (?, ?, ?, ?)", [
+            edge.source_id,
+            edge.relation_type,
+            edge.target_id,
+            edge.source_path
+        ]);
+    }
+    for (const issue of validation.errors) {
+        db.run("insert into validation_issues values (?, ?, ?, ?, ?)", [
+            "error",
+            issue.code,
+            issue.message,
+            issue.path ?? null,
+            issue.entity_id ?? null
+        ]);
+    }
+    for (const issue of validation.warnings) {
+        db.run("insert into validation_issues values (?, ?, ?, ?, ?)", [
+            "warning",
+            issue.code,
+            issue.message,
+            issue.path ?? null,
+            issue.entity_id ?? null
+        ]);
+    }
+    const indexPath = path.join(root, ".engimcp/index.sqlite");
+    await mkdir(path.dirname(indexPath), { recursive: true });
+    await writeFile(indexPath, Buffer.from(db.export()));
+    db.close();
+    return {
+        ok: true,
+        path: ".engimcp/index.sqlite",
+        documents: registry.documents.length,
+        relations: graph.edges.length,
+        validation_issues: validation.errors.length + validation.warnings.length
+    };
+}
+//# sourceMappingURL=sqlite.js.map

package/dist/storage/sqlite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../../src/storage/sqlite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,SAAS,MAAM,QAAQ,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAiB7D,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAY;IAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IAC3D,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACrE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QACvC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY;IAC7C,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;QAC1B,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,0BAA0B,EAAE,IAAI,CAAC;KACjF,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,MAAM,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;IAE9B,EAAE,CAAC,GAAG,CAAC;;;;GAIN,CAAC,CAAC;IAEH,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC1C,EAAE,CAAC,GAAG,CAAC,oDAAoD,EAAE;YAC3D,QAAQ,CAAC,EAAE,IAAI,IAAI;YACnB,QAAQ,CAAC,IAAI;YACb,QAAQ,CAAC,IAAI,IAAI,IAAI;YACrB,QAAQ,CAAC,MAAM,IAAI,IAAI;YACvB,QAAQ,CAAC,OAAO,IAAI,IAAI;YACxB,QAAQ,CAAC,KAAK,IAAI,IAAI;YACtB,QAAQ,CAAC,OAAO,IAAI,IAAI;SACzB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,EAAE,CAAC,GAAG,CAAC,2CAA2C,EAAE;YAClD,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,aAAa;YAClB,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,WAAW;SACjB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,EAAE,CAAC,GAAG,CAAC,sDAAsD,EAAE;YAC7D,OAAO;YACP,KAAK,CAAC,IAAI;YACV,KAAK,CAAC,OAAO;YACb,KAAK,CAAC,IAAI,IAAI,IAAI;YAClB,KAAK,CAAC,SAAS,IAAI,IAAI;SACxB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,EAAE,CAAC,GAAG,CAAC,sDAAsD,EAAE;YAC7D,SAAS;YACT,KAAK,CAAC,IAAI;YACV,KAAK,CAAC,OAAO;YACb,KAAK,CAAC,IAAI,IAAI,IAAI;YAClB,KAAK,CAAC,SAAS,IAAI,IAAI;SACxB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IAC3D,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,EAAE,CAAC,KAAK,EAAE,CAAC;IAEX,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,uBAAuB;QAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM;QACpC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC7B,iBAAiB,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM;KACzE,CAAC;AACJ,CAAC"}

package/dist/tasks/taskService.d.ts

@@ -0,0 +1,17 @@
+export interface CreateTaskInput {
+    root: string;
+    title: string;
+    priority?: "low" | "medium" | "high";
+    related?: string[];
+    due?: string | null;
+    dry_run?: boolean;
+}
+export declare function createTask(input: CreateTaskInput): Promise<{
+    id: string;
+    path: string;
+    content: string;
+} | {
+    id: string;
+    path: string;
+    content?: undefined;
+}>;

package/dist/tasks/taskService.js

@@ -0,0 +1,57 @@
+import { writeAuditLog } from "../audit/auditLog.js";
+import { buildDocumentRegistry } from "../documents/documentService.js";
+import { serializeDocument } from "../documents/frontmatter.js";
+import { assertAbsoluteRoot, resolveSafePath } from "../project/pathSafety.js";
+import { assertProjectWritable } from "../project/writeGuards.js";
+import { atomicWrite } from "../utils/atomicWrite.js";
+import { nextSequentialId, slugify } from "../utils/ids.js";
+export async function createTask(input) {
+    const root = assertAbsoluteRoot(input.root);
+    await assertProjectWritable(root);
+    const registry = await buildDocumentRegistry(root);
+    const id = nextSequentialId(registry.byId.keys(), "TASK", 4);
+    const relativePath = `docs/tasks/${id}-${slugify(input.title)}.md`;
+    const frontmatter = {
+        id,
+        kind: "task",
+        status: "todo",
+        priority: input.priority ?? "medium",
+        version: "0.1.0",
+        related: input.related ?? [],
+        blocked_by: [],
+        due: input.due ?? null
+    };
+    const body = `# ${id}: ${input.title}
+
+## Goal
+
+${input.title}
+
+## Context
+
+Related: ${(input.related ?? []).join(", ")}
+
+## Work Items
+
+- [ ] Define implementation steps.
+
+## Definition of Done
+
+- [ ] Work is complete and validated.
+`;
+    const content = serializeDocument(frontmatter, body);
+    if (input.dry_run) {
+        return { id, path: relativePath, content };
+    }
+    await atomicWrite(await resolveSafePath(root, relativePath), content);
+    await writeAuditLog({
+        root,
+        tool: "engi_task_create",
+        target: id,
+        operation: "create",
+        result: "ok",
+        diff_summary: "task created"
+    });
+    return { id, path: relativePath };
+}
+//# sourceMappingURL=taskService.js.map

package/dist/tasks/taskService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taskService.js","sourceRoot":"","sources":["../../src/tasks/taskService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAW5D,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,KAAsB;IACrD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,cAAc,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACnE,MAAM,WAAW,GAAG;QAClB,EAAE;QACF,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,QAAQ;QACpC,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;QAC5B,UAAU,EAAE,EAAE;QACd,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,IAAI;KACvB,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,EAAE,KAAK,KAAK,CAAC,KAAK;;;;EAIpC,KAAK,CAAC,KAAK;;;;WAIF,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;;;;;;;CAS1C,CAAC;IACA,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAErD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;IAC7C,CAAC;IAED,MAAM,WAAW,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,aAAa,CAAC;QAClB,IAAI;QACJ,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,cAAc;KAC7B,CAAC,CAAC;IAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACpC,CAAC"}

package/dist/utils/atomicWrite.d.ts

@@ -0,0 +1 @@
+export declare function atomicWrite(filePath: string, content: string): Promise<void>;

package/dist/utils/atomicWrite.js

@@ -0,0 +1,10 @@
+import { mkdir, rename, writeFile } from "node:fs/promises";
+import path from "node:path";
+export async function atomicWrite(filePath, content) {
+    const directory = path.dirname(filePath);
+    const temporaryPath = path.join(directory, `.${path.basename(filePath)}.${process.pid}.${Date.now()}.tmp`);
+    await mkdir(directory, { recursive: true });
+    await writeFile(temporaryPath, content, "utf8");
+    await rename(temporaryPath, filePath);
+}
+//# sourceMappingURL=atomicWrite.js.map

package/dist/utils/atomicWrite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomicWrite.js","sourceRoot":"","sources":["../../src/utils/atomicWrite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB,EAAE,OAAe;IACjE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAC7B,SAAS,EACT,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAC/D,CAAC;IAEF,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;AACxC,CAAC"}

package/dist/utils/errors.d.ts

@@ -0,0 +1 @@
+export { EngiMcpError } from "../mcp/errors.js";

package/dist/utils/errors.js

@@ -0,0 +1,2 @@
+export { EngiMcpError } from "../mcp/errors.js";
+//# sourceMappingURL=errors.js.map

package/dist/utils/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/utils/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/utils/ids.d.ts

@@ -0,0 +1,3 @@
+export declare function isEntityId(value: string): boolean;
+export declare function nextSequentialId(existingIds: Iterable<string>, prefix: string, width?: number): string;
+export declare function slugify(value: string): string;

package/dist/utils/ids.js

@@ -0,0 +1,25 @@
+export function isEntityId(value) {
+    return /^[A-Z][A-Z0-9-]*-\d+$/.test(value);
+}
+export function nextSequentialId(existingIds, prefix, width = 3) {
+    let max = 0;
+    const pattern = new RegExp(`^${escapeRegExp(prefix)}-(\\d+)$`);
+    for (const id of existingIds) {
+        const match = id.match(pattern);
+        if (match) {
+            max = Math.max(max, Number(match[1]));
+        }
+    }
+    return `${prefix}-${String(max + 1).padStart(width, "0")}`;
+}
+export function slugify(value) {
+    return (value
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "-")
+        .replace(/^-+|-+$/g, "")
+        .slice(0, 64) || "item");
+}
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+//# sourceMappingURL=ids.js.map

package/dist/utils/ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.js","sourceRoot":"","sources":["../../src/utils/ids.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,OAAO,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,WAA6B,EAAE,MAAc,EAAE,KAAK,GAAG,CAAC;IACvF,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAE/D,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,CAAC;YACV,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,OAAO,GAAG,MAAM,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,OAAO,CACL,KAAK;SACF,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAC1B,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC"}

package/dist/validation/checks.d.ts

@@ -0,0 +1 @@
+export declare const validationChecks: readonly ["ids", "frontmatter", "links", "requirements", "cycles"];

package/dist/validation/checks.js

@@ -0,0 +1,2 @@
+export const validationChecks = ["ids", "frontmatter", "links", "requirements", "cycles"];
+//# sourceMappingURL=checks.js.map

package/dist/validation/checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/validation/checks.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,CAAU,CAAC"}

package/dist/validation/validator.d.ts

@@ -0,0 +1,18 @@
+export interface ValidationIssue {
+    code: string;
+    message: string;
+    path?: string;
+    paths?: string[];
+    entity_id?: string;
+}
+export interface ValidateProjectInput {
+    root: string;
+    checks?: string[];
+    severity?: "error" | "warning";
+}
+export interface ValidateProjectResult {
+    ok: boolean;
+    errors: ValidationIssue[];
+    warnings: ValidationIssue[];
+}
+export declare function validateProject(input: ValidateProjectInput): Promise<ValidateProjectResult>;

package/dist/validation/validator.js

@@ -0,0 +1,131 @@
+import { buildDocumentRegistry, extractFrontmatterLinks } from "../documents/documentService.js";
+import { buildGraph, findDependencyCycles } from "../graph/graphBuilder.js";
+import { assertAbsoluteRoot } from "../project/pathSafety.js";
+const requiredFrontmatterFields = ["id", "kind", "status", "version"];
+const statusesByKind = {
+    requirement: new Set([
+        "draft",
+        "proposed",
+        "accepted",
+        "implemented",
+        "verified",
+        "rejected",
+        "superseded"
+    ]),
+    decision: new Set(["proposed", "accepted", "deprecated", "superseded"]),
+    task: new Set(["todo", "in_progress", "blocked", "done", "cancelled"])
+};
+export async function validateProject(input) {
+    const root = assertAbsoluteRoot(input.root);
+    const registry = await buildDocumentRegistry(root);
+    const errors = [];
+    const warnings = [];
+    const ids = new Map();
+    const requirementsVerifiedByReports = new Set();
+    for (const document of registry.documents) {
+        if (document.kind !== "test_report" && document.kind !== "test_plan") {
+            continue;
+        }
+        for (const requirementId of extractStringList(document.frontmatter.verifies)) {
+            requirementsVerifiedByReports.add(requirementId);
+        }
+    }
+    for (const document of registry.documents) {
+        if (document.id) {
+            ids.set(document.id, [...(ids.get(document.id) ?? []), document.path]);
+        }
+        if (document.frontmatterError) {
+            errors.push({
+                code: "BROKEN_FRONTMATTER",
+                message: document.frontmatterError,
+                path: document.path,
+                entity_id: document.id
+            });
+            continue;
+        }
+        for (const field of requiredFrontmatterFields) {
+            if (document.frontmatter[field] === undefined) {
+                errors.push({
+                    code: "MISSING_FRONTMATTER_FIELD",
+                    message: `Missing required frontmatter field: ${field}`,
+                    path: document.path,
+                    entity_id: document.id
+                });
+            }
+        }
+        const validStatuses = document.kind ? statusesByKind[document.kind] : undefined;
+        if (validStatuses && document.status && !validStatuses.has(document.status)) {
+            errors.push({
+                code: "INVALID_STATUS",
+                message: `Invalid status for ${document.kind}: ${document.status}`,
+                path: document.path,
+                entity_id: document.id
+            });
+        }
+        if (isRequirementKind(document.kind) &&
+            ["accepted", "implemented"].includes(document.status ?? "") &&
+            !hasRequirementVerification(document.id, document.frontmatter, requirementsVerifiedByReports)) {
+            warnings.push({
+                code: "REQUIREMENT_UNVERIFIED",
+                message: `Requirement ${document.id ?? document.path} has no verification links`,
+                path: document.path,
+                entity_id: document.id
+            });
+        }
+        if (isRequirementKind(document.kind) &&
+            !hasRequirementVerification(document.id, document.frontmatter, requirementsVerifiedByReports)) {
+            warnings.push({
+                code: "REQUIREMENT_WITHOUT_TESTS",
+                message: `Requirement ${document.id ?? document.path} has no tests`,
+                path: document.path,
+                entity_id: document.id
+            });
+        }
+        for (const targetId of extractFrontmatterLinks(document.frontmatter)) {
+            if (!registry.byId.has(targetId)) {
+                warnings.push({
+                    code: "BROKEN_LINK",
+                    message: `Target ID not found: ${targetId}`,
+                    path: document.path,
+                    entity_id: document.id
+                });
+            }
+        }
+    }
+    for (const [id, paths] of ids.entries()) {
+        if (paths.length > 1) {
+            errors.push({
+                code: "DUPLICATE_ID",
+                message: `ID ${id} is used by multiple documents`,
+                paths,
+                entity_id: id
+            });
+        }
+    }
+    const graph = await buildGraph(root);
+    for (const cycle of findDependencyCycles(graph)) {
+        warnings.push({
+            code: "DEPENDENCY_CYCLE",
+            message: `Dependency cycle detected: ${cycle.join(" -> ")}`
+        });
+    }
+    return {
+        ok: errors.length === 0,
+        errors,
+        warnings
+    };
+}
+function extractStringList(value) {
+    if (Array.isArray(value)) {
+        return value.filter((item) => typeof item === "string");
+    }
+    return typeof value === "string" ? [value] : [];
+}
+function isRequirementKind(kind) {
+    return kind === "requirement" || kind === "requirements";
+}
+function hasRequirementVerification(requirementId, frontmatter, verifiedByReports) {
+    return (extractStringList(frontmatter.verified_by).length > 0 ||
+        (requirementId !== undefined && verifiedByReports.has(requirementId)));
+}
+//# sourceMappingURL=validator.js.map

package/dist/validation/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/validation/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AACjG,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAsB9D,MAAM,yBAAyB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AACtE,MAAM,cAAc,GAAgC;IAClD,WAAW,EAAE,IAAI,GAAG,CAAC;QACnB,OAAO;QACP,UAAU;QACV,UAAU;QACV,aAAa;QACb,UAAU;QACV,UAAU;QACV,YAAY;KACb,CAAC;IACF,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACvE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;CACvE,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAA2B;IAC/D,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,MAAM,6BAA6B,GAAG,IAAI,GAAG,EAAU,CAAC;IAExD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrE,SAAS;QACX,CAAC;QAED,KAAK,MAAM,aAAa,IAAI,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7E,6BAA6B,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;YAChB,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACzE,CAAC;QAED,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,QAAQ,CAAC,gBAAgB;gBAClC,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,SAAS,EAAE,QAAQ,CAAC,EAAE;aACvB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,yBAAyB,EAAE,CAAC;YAC9C,IAAI,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,uCAAuC,KAAK,EAAE;oBACvD,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,SAAS,EAAE,QAAQ,CAAC,EAAE;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,IAAI,aAAa,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5E,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,sBAAsB,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE;gBAClE,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,SAAS,EAAE,QAAQ,CAAC,EAAE;aACvB,CAAC,CAAC;QACL,CAAC;QAED,IACE,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAChC,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;YAC3D,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,6BAA6B,CAAC,EAC7F,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,eAAe,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,IAAI,4BAA4B;gBAChF,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,SAAS,EAAE,QAAQ,CAAC,EAAE;aACvB,CAAC,CAAC;QACL,CAAC;QAED,IACE,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAChC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,6BAA6B,CAAC,EAC7F,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,eAAe,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,IAAI,eAAe;gBACnE,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,SAAS,EAAE,QAAQ,CAAC,EAAE;aACvB,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,uBAAuB,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACrE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,wBAAwB,QAAQ,EAAE;oBAC3C,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,SAAS,EAAE,QAAQ,CAAC,EAAE;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,MAAM,EAAE,gCAAgC;gBACjD,KAAK;gBACL,SAAS,EAAE,EAAE;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,8BAA8B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;SAC5D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QACvB,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAwB;IACjD,OAAO,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,cAAc,CAAC;AAC3D,CAAC;AAED,SAAS,0BAA0B,CACjC,aAAiC,EACjC,WAAoC,EACpC,iBAA8B;IAE9B,OAAO,CACL,iBAAiB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC;QACrD,CAAC,aAAa,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CACtE,CAAC;AACJ,CAAC"}

package/dist/verification/testReportService.d.ts

@@ -0,0 +1,19 @@
+export interface CreateTestReportInput {
+    root: string;
+    id: string;
+    title: string;
+    verifies: string[];
+    result: "pass" | "fail" | "blocked";
+    dry_run?: boolean;
+}
+export declare function createTestReport(input: CreateTestReportInput): Promise<{
+    id: string;
+    path: string;
+    content: string;
+    audit_id?: undefined;
+} | {
+    id: string;
+    path: string;
+    audit_id: string;
+    content?: undefined;
+}>;

package/dist/verification/testReportService.js

@@ -0,0 +1,42 @@
+import { writeAuditLog } from "../audit/auditLog.js";
+import { serializeDocument } from "../documents/frontmatter.js";
+import { assertAbsoluteRoot, resolveSafePath } from "../project/pathSafety.js";
+import { assertProjectWritable } from "../project/writeGuards.js";
+import { atomicWrite } from "../utils/atomicWrite.js";
+import { slugify } from "../utils/ids.js";
+export async function createTestReport(input) {
+    const root = assertAbsoluteRoot(input.root);
+    await assertProjectWritable(root);
+    const relativePath = `docs/tests/${input.id}-${slugify(input.title)}.md`;
+    const content = serializeDocument({
+        id: input.id,
+        kind: "test_report",
+        status: "completed",
+        version: "0.1.0",
+        verifies: input.verifies,
+        result: input.result
+    }, `# ${input.id}: ${input.title}
+
+## Result
+
+${input.result}
+
+## Verifies
+
+${input.verifies.map((id) => `- ${id}`).join("\n")}
+`);
+    if (input.dry_run) {
+        return { id: input.id, path: relativePath, content };
+    }
+    await atomicWrite(await resolveSafePath(root, relativePath), content);
+    const auditId = await writeAuditLog({
+        root,
+        tool: "engi_test_report_create",
+        target: input.id,
+        operation: "create",
+        result: "ok",
+        diff_summary: "test report created"
+    });
+    return { id: input.id, path: relativePath, audit_id: auditId };
+}
+//# sourceMappingURL=testReportService.js.map

package/dist/verification/testReportService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testReportService.js","sourceRoot":"","sources":["../../src/verification/testReportService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAW1C,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAA4B;IACjE,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,cAAc,KAAK,CAAC,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACzE,MAAM,OAAO,GAAG,iBAAiB,CAC/B;QACE,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE,OAAO;QAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,EACD,KAAK,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK;;;;EAI/B,KAAK,CAAC,MAAM;;;;EAIZ,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;CACjD,CACE,CAAC;IAEF,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;IACvD,CAAC;IAED,MAAM,WAAW,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC;QAClC,IAAI;QACJ,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,KAAK,CAAC,EAAE;QAChB,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,qBAAqB;KACpC,CAAC,CAAC;IAEH,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AACjE,CAAC"}

package/dist/version.d.ts

@@ -0,0 +1 @@
+export declare const ENGI_MCP_VERSION = "1.0.0";

package/dist/version.js

@@ -0,0 +1,2 @@
+export const ENGI_MCP_VERSION = "1.0.0";
+//# sourceMappingURL=version.js.map

package/dist/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,gBAAgB,GAAG,OAAO,CAAC"}

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "engimcp",
+  "version": "1.0.0",
+  "description": "MCP server for managing engineering projects in Markdown/Git.",
+  "type": "module",
+  "bin": {
+    "engimcp": "dist/index.js"
+  },
+  "files": [
+    "dist",
+    "templates",
+    "README.md",
+    "CHANGELOG.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "check": "npm run build && npm run lint && npm run format:check && npm test",
+    "dev": "tsx src/index.ts",
+    "format": "prettier --write --no-error-on-unmatched-pattern \"src/**/*.ts\" \"tests/**/*.ts\" \".github/**/*.yml\" \"*.json\" \"*.js\" \"*.yaml\" \"*.yml\"",
+    "format:check": "prettier --check --no-error-on-unmatched-pattern \"src/**/*.ts\" \"tests/**/*.ts\" \".github/**/*.yml\" \"*.json\" \"*.js\" \"*.yaml\" \"*.yml\"",
+    "lint": "eslint .",
+    "smoke": "npm run build && node dist/dev/smokeProjectStatus.js",
+    "start": "node dist/index.js",
+    "test": "vitest run",
+    "typecheck": "tsc -p tsconfig.json --noEmit"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.29.0",
+    "sql.js": "^1.14.1",
+    "yaml": "^2.9.0",
+    "zod": "^4.4.3"
+  },
+  "devDependencies": {
+    "@eslint/js": "^10.0.1",
+    "@types/node": "^24.0.10",
+    "@types/sql.js": "^1.4.11",
+    "eslint": "^10.6.0",
+    "prettier": "^3.9.4",
+    "tsx": "^4.20.3",
+    "typescript": "^5.8.3",
+    "typescript-eslint": "^8.62.1",
+    "vitest": "^4.1.9"
+  },
+  "engines": {
+    "node": ">=20"
+  },
+  "license": "MIT"
+}

package/templates/design_doc.md

@@ -0,0 +1,24 @@
+---
+id: DOC-EXAMPLE
+kind: design_doc
+status: draft
+version: 0.1.0
+tags: []
+depends_on: []
+impacts: []
+decided_by: []
+---
+
+# Document Title
+
+## Purpose
+
+## Requirements
+
+## Current Solution
+
+## Calculations / Arguments
+
+## Risks
+
+## Related Documents

package/templates/edr.md

@@ -0,0 +1,58 @@
+---
+id: EDR-0000
+kind: decision
+status: proposed
+date: YYYY-MM-DD
+title: Decision Title
+related_requirements: []
+impacts: []
+supersedes: []
+---
+
+# EDR-0000: Decision Title
+
+## Status
+
+Proposed / Accepted / Deprecated / Superseded
+
+## Context
+
+What problem is being solved? Which constraints matter?
+
+## Options
+
+### Option A
+
+Pros:
+
+Cons:
+
+### Option B
+
+Pros:
+
+Cons:
+
+## Decision
+
+What was selected and why.
+
+## Consequences
+
+Positive:
+
+Negative:
+
+Trade-offs:
+
+## Affected Documents
+
+- 
+
+## Affected Requirements
+
+- 
+
+## Open Questions
+
+-

package/templates/requirement.md

@@ -0,0 +1,30 @@
+---
+id: FR-000
+kind: requirement
+requirement_type: functional
+status: draft
+priority: must
+version: 0.1.0
+verified_by: []
+decided_by: []
+---
+
+# FR-000: Requirement Title
+
+## Statement
+
+The system must ...
+
+## Rationale
+
+Why this requirement is needed.
+
+## Acceptance Criteria
+
+- [ ] ...
+
+## Links
+
+- Decisions:
+- Tests:
+- Documents: