@pantion/mcp-server 0.1.0

package/dist/tools/translate.js

@@ -0,0 +1,102 @@
+import { z } from 'zod';
+import { resolve } from 'node:path';
+import { writeFile, ensureDir, readFileSafe, canonDir, assertPathWithin, assertSafeName, extractHumanStamp, extractConvergenceStamp, extractCanonMetadata, generateManifest } from '@pantion/core';
+import { success, error } from '../utils/response.js';
+const fileSchema = z.object({
+    path: z.string().describe('Relative file path within the project'),
+    content: z.string().describe('File content to write'),
+});
+export function registerTranslate(server, context) {
+    server.tool('pantion_translate', 'Write project specification files derived from a converged canon. The client LLM generates the file contents (spec/requirements.md, spec/constraints.md, etc.); this tool writes them and updates traceability.', {
+        canon_name: z.string().describe('Name of the source canon'),
+        project_path: z.string().optional().describe('Project directory (defaults to server project path)'),
+        files: z.array(fileSchema).describe('Files to write (path + content)'),
+        rationale: z.string().optional().describe('Implementation rationale (key technical choices)'),
+        deviations: z.string().optional().describe('Deviations from the canon ("none" if faithful)'),
+    }, async ({ canon_name, project_path, files, rationale, deviations }) => {
+        try {
+            const projectPath = project_path ?? context.projectPath;
+            assertSafeName(canon_name);
+            // HUMAN STAMP gate: translation requires approval
+            const dialogPath = resolve(canonDir(projectPath), canon_name, 'dialog.md');
+            const dialogContent = readFileSafe(dialogPath);
+            if (dialogContent) {
+                const humanStamp = extractHumanStamp(dialogContent);
+                if (!humanStamp || (humanStamp.status !== 'APPROVED' && humanStamp.status !== 'AUTO-APPROVED')) {
+                    const currentStatus = humanStamp?.status ?? 'PENDING';
+                    return error(`Canon "${canon_name}" is not approved (HUMAN STAMP status: ${currentStatus}). Use pantion_approve to approve the canon before translation.`);
+                }
+            }
+            const date = new Date().toISOString().split('T')[0];
+            const filesWritten = [];
+            for (const file of files) {
+                const fullPath = resolve(projectPath, file.path);
+                assertPathWithin(fullPath, projectPath);
+                ensureDir(resolve(fullPath, '..'));
+                writeFile(fullPath, ensureDerivationComment(file.content, canon_name, date));
+                filesWritten.push(file.path);
+            }
+            // Update traceability
+            const traceabilityPath = resolve(canonDir(projectPath), canon_name, 'traceability.md');
+            let traceability = readFileSafe(traceabilityPath) ?? createTraceabilityHeader();
+            traceability = appendTraceabilityRows(traceability, filesWritten, canon_name, date);
+            writeFile(traceabilityPath, traceability);
+            // Generate implementation manifest
+            let manifestPath;
+            if (dialogContent) {
+                const stamp = extractConvergenceStamp(dialogContent);
+                const humanStamp = extractHumanStamp(dialogContent);
+                const metadata = extractCanonMetadata(dialogContent);
+                const manifest = generateManifest({
+                    canonName: canon_name,
+                    canonStatus: stamp?.type?.toUpperCase() ?? 'UNKNOWN',
+                    humanStampStatus: humanStamp?.status ?? 'UNKNOWN',
+                    date,
+                    model: stamp?.model,
+                    skill: metadata?.skill,
+                    mode: metadata?.mode,
+                    checkResult: metadata?.checkResult,
+                    specFiles: filesWritten,
+                    rationale,
+                    deviations,
+                });
+                const implDir = resolve(canonDir(projectPath), canon_name, 'implementations');
+                ensureDir(implDir);
+                const implPath = resolve(implDir, `${date}-collapse.md`);
+                writeFile(implPath, manifest);
+                manifestPath = `canon/${canon_name}/implementations/${date}-collapse.md`;
+            }
+            return success({
+                files_written: filesWritten,
+                ...(manifestPath ? { manifest_path: manifestPath } : {}),
+            });
+        }
+        catch (err) {
+            return error(err instanceof Error ? err.message : String(err));
+        }
+    });
+}
+function ensureDerivationComment(content, canonName, date) {
+    if (content.includes('Derived from:'))
+        return content;
+    return `<!-- Derived from: canon/${canonName}/dialog.md, ${date} -->\n\n${content}`;
+}
+function createTraceabilityHeader() {
+    return [
+        '# Traceability: Canon -> Project Specification Files',
+        '',
+        '| File | Canon source | Dialog turns | Elements | Last generated |',
+        '|------|-------------|--------------|----------|----------------|',
+    ].join('\n');
+}
+function appendTraceabilityRows(traceabilityContent, filesWritten, canonName, date) {
+    let output = traceabilityContent;
+    if (!output.endsWith('\n'))
+        output += '\n';
+    for (const filePath of filesWritten) {
+        output += `| \`${filePath}\` | \`${canonName}/dialog.md\` | all | derived artifact | ${date} |\n`;
+    }
+    output += `\nGenerated on: ${date}\n`;
+    return output;
+}
+//# sourceMappingURL=translate.js.map

package/dist/tools/translate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"translate.js","sourceRoot":"","sources":["../../src/tools/translate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnM,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAEtD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;IAClE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAAC,MAAiB,EAAE,OAAsB;IACzE,MAAM,CAAC,IAAI,CACT,mBAAmB,EACnB,iNAAiN,EACjN;QACE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QAC3D,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;QACnG,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,iCAAiC,CAAC;QACtE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;QAC7F,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gDAAgD,CAAC;KAC7F,EACD,KAAK,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE;QACnE,IAAI,CAAC;YACL,MAAM,WAAW,GAAG,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC;YACxD,cAAc,CAAC,UAAU,CAAC,CAAC;YAE3B,kDAAkD;YAClD,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;YAC3E,MAAM,aAAa,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,UAAU,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAAC;gBACpD,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,eAAe,CAAC,EAAE,CAAC;oBAC/F,MAAM,aAAa,GAAG,UAAU,EAAE,MAAM,IAAI,SAAS,CAAC;oBACtD,OAAO,KAAK,CAAC,UAAU,UAAU,0CAA0C,aAAa,iEAAiE,CAAC,CAAC;gBAC7J,CAAC;YACH,CAAC;YAED,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,MAAM,YAAY,GAAa,EAAE,CAAC;YAElC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjD,gBAAgB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;gBACxC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;gBACnC,SAAS,CAAC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC7E,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,CAAC;YAED,sBAAsB;YACtB,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;YACvF,IAAI,YAAY,GAAG,YAAY,CAAC,gBAAgB,CAAC,IAAI,wBAAwB,EAAE,CAAC;YAChF,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;YAEpF,SAAS,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;YAE1C,mCAAmC;YACnC,IAAI,YAAgC,CAAC;YACrC,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAG,uBAAuB,CAAC,aAAa,CAAC,CAAC;gBACrD,MAAM,UAAU,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAAC;gBACpD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;gBAErD,MAAM,QAAQ,GAAG,gBAAgB,CAAC;oBAChC,SAAS,EAAE,UAAU;oBACrB,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,SAAS;oBACpD,gBAAgB,EAAE,UAAU,EAAE,MAAM,IAAI,SAAS;oBACjD,IAAI;oBACJ,KAAK,EAAE,KAAK,EAAE,KAAK;oBACnB,KAAK,EAAE,QAAQ,EAAE,KAAK;oBACtB,IAAI,EAAE,QAAQ,EAAE,IAAI;oBACpB,WAAW,EAAE,QAAQ,EAAE,WAAW;oBAClC,SAAS,EAAE,YAAY;oBACvB,SAAS;oBACT,UAAU;iBACX,CAAC,CAAC;gBAEH,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;gBAC9E,SAAS,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;gBACzD,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAC9B,YAAY,GAAG,SAAS,UAAU,oBAAoB,IAAI,cAAc,CAAC;YAC3E,CAAC;YAED,OAAO,OAAO,CAAC;gBACb,aAAa,EAAE,YAAY;gBAC3B,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACzD,CAAC,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,KAAK,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAe,EAAE,SAAiB,EAAE,IAAY;IAC/E,IAAI,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;QAAE,OAAO,OAAO,CAAC;IACtD,OAAO,4BAA4B,SAAS,eAAe,IAAI,WAAW,OAAO,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,wBAAwB;IAC/B,OAAO;QACL,sDAAsD;QACtD,EAAE;QACF,oEAAoE;QACpE,mEAAmE;KACpE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,mBAA2B,EAC3B,YAAsB,EACtB,SAAiB,EACjB,IAAY;IAEZ,IAAI,MAAM,GAAG,mBAAmB,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,IAAI,CAAC;IAE3C,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,OAAO,QAAQ,UAAU,SAAS,2CAA2C,IAAI,MAAM,CAAC;IACpG,CAAC;IAED,MAAM,IAAI,mBAAmB,IAAI,IAAI,CAAC;IACtC,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/tools/update.d.ts

@@ -0,0 +1,4 @@
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import type { ServerContext } from '../server.js';
+export declare function registerUpdate(server: McpServer, context: ServerContext): void;
+//# sourceMappingURL=update.d.ts.map

package/dist/tools/update.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update.d.ts","sourceRoot":"","sources":["../../src/tools/update.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAUlD,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,CA6C9E"}

package/dist/tools/update.js

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+import { assembleSystemPrompt, readFileSafe, createSession, saveSession, } from '@pantion/core';
+import { resolve } from 'node:path';
+import { success, error } from '../utils/response.js';
+export function registerUpdate(server, context) {
+    server.tool('pantion_update', 'Upgrade the Pantion Protocol itself. Reads intent documents, performs delta analysis, and provides instructions for regenerating protocol files.', {
+        project_path: z.string().optional().describe('Project directory (defaults to server project path)'),
+    }, async ({ project_path }) => {
+        try {
+            const projectPath = project_path ?? context.projectPath;
+            const intentPath = resolve(context.protocolDir, 'pantion-intent.md');
+            const futurePath = resolve(context.protocolDir, 'pantion-future-prompt.md');
+            const intentDoc = readFileSafe(intentPath);
+            const futureDoc = readFileSafe(futurePath);
+            const missingDocs = [];
+            if (!intentDoc)
+                missingDocs.push('protocol/pantion-intent.md');
+            if (!futureDoc)
+                missingDocs.push('protocol/pantion-future-prompt.md');
+            if (missingDocs.length > 0) {
+                return error(`Cannot upgrade protocol without intent documents. Missing: ${missingDocs.join(', ')}`);
+            }
+            const convergenceInstructions = assembleSystemPrompt({
+                mode: 'update',
+                protocolDir: context.protocolDir,
+            });
+            const session = createSession(projectPath, `update-${Date.now()}`, convergenceInstructions);
+            saveSession(projectPath, session);
+            return success({
+                session_id: session.id,
+                intent_document: intentDoc,
+                future_prompt: futureDoc,
+                convergence_instructions: convergenceInstructions,
+                message: 'Protocol update session started. Intent documents loaded. Follow the update protocol: inventory current version, delta analysis, regenerate with confirmation.',
+            });
+        }
+        catch (err) {
+            return error(err instanceof Error ? err.message : String(err));
+        }
+    });
+}
+//# sourceMappingURL=update.js.map

package/dist/tools/update.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"update.js","sourceRoot":"","sources":["../../src/tools/update.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EACL,oBAAoB,EACpB,YAAY,EACZ,aAAa,EACb,WAAW,GACZ,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAEtD,MAAM,UAAU,cAAc,CAAC,MAAiB,EAAE,OAAsB;IACtE,MAAM,CAAC,IAAI,CACT,gBAAgB,EAChB,kJAAkJ,EAClJ;QACE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;KACpG,EACD,KAAK,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;QACzB,IAAI,CAAC;YACL,MAAM,WAAW,GAAG,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC;YAExD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;YACrE,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,0BAA0B,CAAC,CAAC;YAE5E,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;YAE3C,MAAM,WAAW,GAAa,EAAE,CAAC;YACjC,IAAI,CAAC,SAAS;gBAAE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YAC/D,IAAI,CAAC,SAAS;gBAAE,WAAW,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YAEtE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,8DAA8D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvG,CAAC;YAED,MAAM,uBAAuB,GAAG,oBAAoB,CAAC;gBACnD,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CAAC;YAEH,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,EAAE,UAAU,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC,CAAC;YAC5F,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAElC,OAAO,OAAO,CAAC;gBACb,UAAU,EAAE,OAAO,CAAC,EAAE;gBACtB,eAAe,EAAE,SAAS;gBAC1B,aAAa,EAAE,SAAS;gBACxB,wBAAwB,EAAE,uBAAuB;gBACjD,OAAO,EAAE,gKAAgK;aAC1K,CAAC,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,KAAK,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/utils/response.d.ts

@@ -0,0 +1,12 @@
+interface ToolResponse {
+    [x: string]: unknown;
+    content: [{
+        type: 'text';
+        text: string;
+    }];
+    isError?: boolean;
+}
+export declare function success(data: Record<string, unknown>, warnings?: string[]): ToolResponse;
+export declare function error(message: string): ToolResponse;
+export {};
+//# sourceMappingURL=response.d.ts.map

package/dist/utils/response.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"response.d.ts","sourceRoot":"","sources":["../../src/utils/response.ts"],"names":[],"mappings":"AAAA,UAAU,YAAY;IACpB,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACrB,OAAO,EAAE,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,YAAY,CAOxF;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CAQnD"}

package/dist/utils/response.js

@@ -0,0 +1,18 @@
+export function success(data, warnings) {
+    return {
+        content: [{
+                type: 'text',
+                text: JSON.stringify({ success: true, data, ...(warnings?.length ? { warnings } : {}) }, null, 2),
+            }],
+    };
+}
+export function error(message) {
+    return {
+        content: [{
+                type: 'text',
+                text: JSON.stringify({ success: false, error: message }, null, 2),
+            }],
+        isError: true,
+    };
+}
+//# sourceMappingURL=response.js.map

package/dist/utils/response.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"response.js","sourceRoot":"","sources":["../../src/utils/response.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,OAAO,CAAC,IAA6B,EAAE,QAAmB;IACxE,OAAO;QACL,OAAO,EAAE,CAAC;gBACR,IAAI,EAAE,MAAe;gBACrB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;aAClG,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAe;IACnC,OAAO;QACL,OAAO,EAAE,CAAC;gBACR,IAAI,EAAE,MAAe;gBACrB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;aAClE,CAAC;QACF,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,37 @@
+{
+  "name": "@pantion/mcp-server",
+  "version": "0.1.0",
+  "description": "MCP server for Pantion DialogSpec protocol",
+  "type": "module",
+  "main": "dist/index.js",
+  "bin": {
+    "pantion-mcp": "dist/index.js"
+  },
+  "files": [
+    "dist/",
+    "protocol/",
+    "skills/",
+    "souls/"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "start": "node dist/index.js",
+    "test": "vitest run --passWithNoTests",
+    "copy-assets": "rm -rf protocol skills souls && cp -r ../../protocol protocol && cp -r ../../skills skills && cp -r ../../souls souls",
+    "prepublishOnly": "npm run copy-assets && npm run build && npm test"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.7.0",
+    "@pantion/core": "0.1.0",
+    "zod": "^3.24.0"
+  },
+  "license": "BUSL-1.1",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/getpantion/pantion.git",
+    "directory": "packages/mcp-server"
+  },
+  "engines": {
+    "node": ">=20.0.0"
+  }
+}

package/protocol/commands/amend.md

@@ -0,0 +1,188 @@
+# /pantion-amend — Apply a change to an existing canon
+
+Apply an Amendment to an existing converged canon and regenerate the affected files.
+
+---
+
+## STEP 1: IDENTIFY THE CANON
+
+Ask the user (or detect from context):
+
+"Which canon do you want to change?"
+
+Options:
+- `canon/{naam}/dialog.md` (standalone)
+- `canon/architect/dialog.md` (system level)
+- `canon/interfaces/interface-[A]-[B]/dialog.md` (interface)
+- `canon/components/{component}/dialog.md` (component)
+
+Read the chosen dialog file (the canon).
+
+---
+
+## STEP 2: UNDERSTAND THE CHANGE
+
+Ask:
+
+"What do you want to change? Describe it in your own words."
+
+Analyze the change:
+- Does it affect a HARD constraint? → Extra careful
+- Does it affect the Authority Budget? → Extra careful
+- Does it affect an interface? → Check both sides
+- Is it a FLEX adjustment? → Simple to apply
+
+---
+
+## STEP 3: IMPACT ANALYSIS (for hierarchical systems)
+
+If the change affects an Architect Canon:
+
+Present an impact analysis showing which component and interface canons are affected vs not affected.
+
+Present this to the user and ask for confirmation.
+
+If the change affects a Component Canon, check:
+- Does the change violate an inherited constraint? → "This cannot be applied at the component level. You need to amend the Architect Canon first."
+- Does the change violate an Interface Canon? → "This affects the interface with [Component X]. Both canons need to be updated."
+- Does the change exceed the Authority Budget? → "This exceeds the Authority Budget ceiling from the Architect Canon." (For Rights: ceiling exceeded. For Consumption: allocation exceeded.)
+
+---
+
+## STEP 4: CONVERGE THE AMENDMENT
+
+Conduct a short convergence dialog about the change:
+
+1. Ask ONE question at a time — wait for the answer before asking the next
+2. Clarify the exact scope of the change
+3. Verify the change doesn't unintentionally affect other elements
+4. Classify new elements as HARD or FLEX
+5. Verify constraints remain absolute
+
+### Saving the amendment dialog
+
+**Append** the amendment dialog to the existing dialog file. The dialog is append-only — the original text remains intact.
+
+Add an amendment marker in the dialog:
+
+    --- AMENDMENT [date] ---
+
+    HUMAN: [verbatim text of amendment request]
+
+    ASSISTANT: [verbatim text of clarifying questions]
+
+    HUMAN: [verbatim text of answers]
+
+    ...
+
+### Was/Wordt Table
+
+For each change, include a clear "Was/Wordt" (Before/After) table:
+
+    ### Change [N]: [short description]
+    - **Was:** [exact quote or description of original behavior from canon]
+    - **Wordt:** [exact description of new behavior]
+
+### Behavior Matrix
+
+Show which behaviors are affected by the amendment:
+
+    | Behavior | Status |
+    |----------|--------|
+    | [behavior 1] | unchanged |
+    | [behavior 2] | modified (see Change 1) |
+    | [behavior 3] | removed |
+    | [behavior 4] | new |
+
+### Wat vervalt / Wat blijft
+
+Explicitly state what is removed and what stays:
+
+    **Wat vervalt:**
+    - [removed behavior/logic 1]
+    - [removed behavior/logic 2]
+
+    **Wat blijft:**
+    - [unchanged behavior 1]
+    - [unchanged behavior 2]
+
+### Amendment Stamp
+
+    === DIALOGSPEC AMENDMENT ===
+    AMENDS: [path to dialog file]
+    DATE: [today]
+    MODEL: [model-id (Display Name), e.g. claude-opus-4-6 (Claude Opus 4.6)]
+    SUPERSEDES: [what is being overridden — quote from the original dialog]
+    ADDS: [what is new]
+    UNCHANGED: everything not explicitly in SUPERSEDES or ADDS
+    IMPACT: [list of affected canons for hierarchical system]
+    === /DIALOGSPEC AMENDMENT ===
+
+---
+
+## STEP 5: REGENERATE DERIVED FILES
+
+1. **Regenerate the summary** (`canon/{naam}/summary.md`) from the complete dialog including the amendment
+2. Determine which project files are affected (via `canon/{naam}/traceability.md`)
+
+| Amendment to... | Regenerate... |
+|----------------|---------------|
+| Standalone canon | All spec files that trace to the changed element |
+| Architect Canon | canon/architect/spec/requirements.md + constraints.md + architecture.md |
+| Interface Canon | The corresponding canon/interfaces/interface-*/spec/ files |
+| Component Canon | The corresponding canon/components/{name}/spec/ files |
+
+Regenerate ONLY the affected files. Leave the rest intact.
+Update `canon/{naam}/traceability.md` — add a `<!-- Derived from: canon/{naam}/dialog.md, [date] -->` comment to each regenerated file.
+
+---
+
+## STEP 6: UPDATE CANON INDEX
+
+Update `canon/index.md`:
+- Update STATUS of the amended canon to AMENDED
+- Log the amendment (date + short description)
+- Update Open Questions (if the amendment opens new questions)
+- Update "Last modified"
+
+---
+
+## STEP 7: RECHECK (for hierarchical systems)
+
+If multiple canons were affected:
+- Automatically run /pantion-check on the affected canons
+- Verify that consistency has not been broken
+
+---
+
+## STEP 8: REPORT
+
+Say:
+
+"Amendment applied to [canon].
+
+Changed:
+- [what was changed]
+
+Regenerated files:
+- [list of files]
+
+[For hierarchical system:]
+Affected canons:
+- [list of affected canons + status]
+
+Consistency: maintained | check needed
+
+Would you like me to also apply the change to the implementation?"
+
+---
+
+## OPTIONAL: UPDATE IMPLEMENTATION
+
+If the user wants the implementation to be updated:
+
+1. Read the regenerated files
+2. Identify which code is affected by the change
+3. Modify the code according to the changed canon
+4. Test that the change has been correctly implemented
+5. Report what was changed in the code

package/protocol/commands/build.md

@@ -0,0 +1,90 @@
+# /pantion-build — Coding Agent Instructions
+
+Instructions for a coding agent to implement a system from a converged DialogSpec Canon.
+
+---
+
+## MODE: DEFAULT (recommended)
+
+The coding agent MUST follow these rules:
+
+### Source of Truth
+
+1. Build ONLY from the DialogSpec Canon. Canon wins on conflict.
+2. Do NOT invent requirements or UX; if something is ambiguous, do not guess.
+3. Use the Readiness Checklist as a gate:
+   - If any checklist item is not satisfied, STOP and output OPEN QUESTIONS (with what evidence is missing).
+   - Only proceed to implementation when the Canon is CONVERGED and the Checklist passes.
+4. Do NOT choose paid services or introduce recurring costs unless explicitly required by the Canon.
+
+### HARD vs FLEX
+
+5. Implement HARD invariants as non-negotiable — they cannot be bypassed, even for convenience.
+6. Treat FLEX defaults as changeable configuration or code-local constants. Document which FLEX choices you made.
+
+### Inference Policy
+
+7. Follow the Canon's inference policy (conservative or strict).
+8. On ambiguity with Conservative policy: choose the smallest scope, least power, safest option.
+9. On ambiguity with Strict policy: STOP and output OPEN QUESTIONS. Do not implement "reasonable assumptions".
+
+### Authority Budget
+
+10. Enforce the Authority Budget as hard boundaries:
+    - Allowed actions: only implement what is explicitly allowed
+    - Forbidden actions: never implement, not even as opt-in
+    - Data access: access only what is permitted
+    - Data retention: store nothing beyond what is specified
+    - Auditability: ensure required actions are reconstructable
+    - Rate/cost limits: enforce if specified
+
+### Canon Anchors
+
+11. Use Canon Anchors (H1, A3, etc.) in code comments and documentation to trace implementation decisions back to specific dialog turns.
+
+### Deliverables
+
+- Working implementation matching the Canon behavior
+- README.md: what it does + how to use + how to install/deploy
+- Evidence: how to run/verify (commands, sample inputs/outputs)
+- Canon -> Implementation notes: list any FLEX defaults chosen and which Canon Anchor they relate to
+
+---
+
+## MODE: STRICT
+
+Use this when agents tend to "helpfully" add features:
+
+The coding agent must treat the DialogSpec Canon as the ONLY requirements document.
+- No feature suggestions.
+- No extra endpoints/commands.
+- No "nice-to-haves".
+- No refactors beyond what is needed to satisfy the Canon.
+- No error handling beyond what is specified in the Canon's failure behavior.
+
+If any requirement is unclear, output OPEN QUESTIONS and stop. Do not implement "reasonable assumptions".
+
+---
+
+## OPEN QUESTIONS Format
+
+If the agent stops due to ambiguity, output:
+
+- **OPEN QUESTIONS:** numbered list (each with the exact Canon Anchor that is insufficient)
+- **WHAT YOU NEED:** what additional dialog would resolve it
+- **IMPACT:** what cannot be implemented until clarified
+
+---
+
+## After Building
+
+Say:
+
+"The system has been built. Here is a summary of what I created, which FLEX choices I made, and how you can test it."
+
+Then provide:
+
+1. **What was built** — brief overview of the implementation
+2. **FLEX choices made** — list each FLEX default chosen, with the Canon Anchor it relates to
+3. **How to test** — commands, sample inputs/outputs, or verification steps
+4. **Canon coverage** — confirm all HARD invariants are implemented and all non-goals are absent