@angriff36/manifest 2.18.0

package/packages/mcp-server/dist/tools/explain.js

@@ -0,0 +1,254 @@
+/**
+ * explain tool — explain an IR entity, command, or policy in human-readable form.
+ *
+ * References a prior compile result by contentHash and formats structured
+ * information about the requested target.
+ */
+import { z } from 'zod';
+import { sessionStore } from '../state/session-store.js';
+export const explainInputSchema = {
+    contentHash: z
+        .string()
+        .describe('SHA-256 content hash from a prior compile call'),
+    target: z
+        .enum(['entity', 'command', 'policy'])
+        .describe('Type of IR element to explain'),
+    name: z.string().describe('Name of the entity, command, or policy'),
+    entityName: z
+        .string()
+        .optional()
+        .describe('Entity context (required when target is command)'),
+};
+function formatValue(v) {
+    switch (v.kind) {
+        case 'string':
+            return `"${v.value}"`;
+        case 'number':
+        case 'boolean':
+            return String(v.value);
+        case 'null':
+            return 'null';
+        case 'array':
+            return `[${v.elements.map(formatValue).join(', ')}]`;
+        case 'object':
+            return `{${Object.entries(v.properties).map(([k, val]) => `"${k}": ${formatValue(val)}`).join(', ')}}`;
+    }
+}
+function formatExpression(expr) {
+    switch (expr.kind) {
+        case 'literal':
+            return formatValue(expr.value);
+        case 'identifier':
+            return expr.name;
+        case 'member':
+            return `${formatExpression(expr.object)}.${expr.property}`;
+        case 'binary':
+            return `${formatExpression(expr.left)} ${expr.operator} ${formatExpression(expr.right)}`;
+        case 'unary':
+            return `${expr.operator}${formatExpression(expr.operand)}`;
+        case 'call':
+            return `${formatExpression(expr.callee)}(${expr.args.map(formatExpression).join(', ')})`;
+        case 'conditional':
+            return `${formatExpression(expr.condition)} ? ${formatExpression(expr.consequent)} : ${formatExpression(expr.alternate)}`;
+        case 'array':
+            return `[${expr.elements.map(formatExpression).join(', ')}]`;
+        case 'object':
+            return `{${expr.properties.map((p) => `${p.key}: ${formatExpression(p.value)}`).join(', ')}}`;
+        case 'lambda':
+            return `(${expr.params.join(',')}) => ${formatExpression(expr.body)}`;
+        case 'aggregate':
+            return `count(${expr.entity} where ${expr.predicates.map((p) => `${p.field} == ${formatExpression(p.value)}`).join(', ')})`;
+    }
+}
+function formatType(type) {
+    let result = type.name;
+    if (type.generic) {
+        result += `<${formatType(type.generic)}>`;
+    }
+    if (type.nullable) {
+        result += '?';
+    }
+    return result;
+}
+function formatEntityExplanation(entity, ir) {
+    const lines = [];
+    lines.push(`Entity: ${entity.name}`);
+    if (entity.module)
+        lines.push(`Module: ${entity.module}`);
+    if (entity.key)
+        lines.push(`Primary Key: [${entity.key.join(', ')}]`);
+    if (entity.versionProperty)
+        lines.push(`Concurrency: versioned via ${entity.versionProperty}`);
+    lines.push('');
+    lines.push('Properties:');
+    for (const p of entity.properties) {
+        const parts = [`  - ${p.name}: ${formatType(p.type)}`];
+        if (p.defaultValue !== undefined)
+            parts.push(`(default: ${JSON.stringify(p.defaultValue)})`);
+        if (p.modifiers?.length)
+            parts.push(`[${p.modifiers.join(', ')}]`);
+        lines.push(parts.join(' '));
+    }
+    if (entity.computedProperties.length > 0) {
+        lines.push('');
+        lines.push('Computed Properties:');
+        for (const cp of entity.computedProperties) {
+            lines.push(`  - ${cp.name}: ${formatType(cp.type)} (computed)`);
+        }
+    }
+    if (entity.relationships.length > 0) {
+        lines.push('');
+        lines.push('Relationships:');
+        for (const r of entity.relationships) {
+            lines.push(`  - ${r.kind} ${r.target}${r.name ? ` as ${r.name}` : ''}`);
+        }
+    }
+    if (entity.commands.length > 0) {
+        lines.push('');
+        lines.push('Commands:');
+        for (const cmdName of entity.commands) {
+            const cmd = ir.commands.find((c) => c.name === cmdName && c.entity === entity.name);
+            const params = cmd
+                ? cmd.parameters.map((p) => `${p.name}: ${formatType(p.type)}`).join(', ')
+                : '';
+            lines.push(`  - ${cmdName}(${params})`);
+        }
+    }
+    if (entity.constraints.length > 0) {
+        lines.push('');
+        lines.push('Constraints:');
+        for (const c of entity.constraints) {
+            lines.push(`  - ${c.name ?? c.code} (${c.severity ?? 'block'}): ${c.message ?? c.code}`);
+        }
+    }
+    return lines.join('\n');
+}
+function formatCommandExplanation(command) {
+    const lines = [];
+    lines.push(`Command: ${command.name}`);
+    if (command.entity)
+        lines.push(`Entity: ${command.entity}`);
+    if (command.module)
+        lines.push(`Module: ${command.module}`);
+    lines.push('');
+    lines.push('Parameters:');
+    for (const p of command.parameters) {
+        lines.push(`  - ${p.name}: ${formatType(p.type)}${p.defaultValue !== undefined ? ` (default: ${JSON.stringify(p.defaultValue)})` : ''}`);
+    }
+    if (command.guards.length > 0) {
+        lines.push('');
+        lines.push('Guards (evaluated in order, first falsey halts execution):');
+        command.guards.forEach((g, i) => {
+            lines.push(`  ${i + 1}. ${formatExpression(g)}`);
+        });
+    }
+    if (command.policies?.length) {
+        lines.push('');
+        lines.push('Policies:');
+        for (const p of command.policies) {
+            lines.push(`  - ${p}`);
+        }
+    }
+    if (command.constraints?.length) {
+        lines.push('');
+        lines.push('Constraints:');
+        for (const c of command.constraints) {
+            lines.push(`  - ${c.name ?? c.code} (${c.severity ?? 'block'}): ${c.message ?? c.code}`);
+        }
+    }
+    lines.push('');
+    lines.push('Actions:');
+    for (const a of command.actions) {
+        lines.push(`  - ${a.kind}${a.target ? ` -> ${a.target}` : ''}`);
+    }
+    if (command.emits.length > 0) {
+        lines.push('');
+        lines.push('Emits:');
+        for (const e of command.emits) {
+            lines.push(`  - ${e}`);
+        }
+    }
+    if (command.returns) {
+        lines.push('');
+        lines.push(`Returns: ${formatType(command.returns)}`);
+    }
+    return lines.join('\n');
+}
+function formatPolicyExplanation(policy) {
+    const lines = [];
+    lines.push(`Policy: ${policy.name}`);
+    if (policy.module)
+        lines.push(`Module: ${policy.module}`);
+    lines.push(`Action: ${policy.action}`);
+    lines.push('');
+    lines.push('Expression:');
+    lines.push(`  ${formatExpression(policy.expression)}`);
+    if (policy.message) {
+        lines.push('');
+        lines.push(`Message: ${policy.message}`);
+    }
+    return lines.join('\n');
+}
+export function handleExplain(args) {
+    const entry = sessionStore.get(args.contentHash);
+    if (!entry) {
+        return {
+            explanation: `No compiled IR found for contentHash '${args.contentHash}'. Run compile first.`,
+            details: {},
+        };
+    }
+    const { ir, engine } = entry;
+    if (args.target === 'entity') {
+        const entity = engine.getEntity(args.name);
+        if (!entity) {
+            return {
+                explanation: `Entity '${args.name}' not found in compiled IR. Available: ${ir.entities.map((e) => e.name).join(', ')}`,
+                details: {},
+            };
+        }
+        return {
+            explanation: formatEntityExplanation(entity, ir),
+            details: entity,
+        };
+    }
+    if (args.target === 'command') {
+        const command = engine.getCommand(args.name, args.entityName);
+        if (!command) {
+            return {
+                explanation: `Command '${args.name}' not found${args.entityName ? ` on entity '${args.entityName}'` : ''}. Available: ${ir.commands.map((c) => c.name).join(', ')}`,
+                details: {},
+            };
+        }
+        return {
+            explanation: formatCommandExplanation(command),
+            details: command,
+        };
+    }
+    if (args.target === 'policy') {
+        const policies = engine.getPolicies();
+        const policy = policies.find((p) => p.name === args.name);
+        if (!policy) {
+            return {
+                explanation: `Policy '${args.name}' not found. Available: ${policies.map((p) => p.name).join(', ')}`,
+                details: {},
+            };
+        }
+        return {
+            explanation: formatPolicyExplanation(policy),
+            details: policy,
+        };
+    }
+    return {
+        explanation: `Unknown target type: ${args.target}`,
+        details: {},
+    };
+}
+export function registerExplainTool(server) {
+    server.tool('explain', 'Explain a Manifest IR entity, command, or policy in human-readable form. Requires a contentHash from a prior compile call.', explainInputSchema, async (args) => {
+        const result = handleExplain(args);
+        return {
+            content: [{ type: 'text', text: result.explanation }],
+        };
+    });
+}
+//# sourceMappingURL=explain.js.map

package/packages/mcp-server/dist/tools/explain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/tools/explain.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW,EAAE,CAAC;SACX,MAAM,EAAE;SACR,QAAQ,CAAC,gDAAgD,CAAC;IAC7D,MAAM,EAAE,CAAC;SACN,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;SACrC,QAAQ,CAAC,+BAA+B,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wCAAwC,CAAC;IACnE,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,CAAC,kDAAkD,CAAC;CAChE,CAAC;AAEF,SAAS,WAAW,CAAC,CAAU;IAC7B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;QACxB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvD,KAAK,QAAQ;YACX,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC3G,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3F,KAAK,OAAO;YACV,OAAO,GAAG,IAAI,CAAC,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,KAAK,MAAM;YACT,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC3F,KAAK,aAAa;YAChB,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5H,KAAK,OAAO;YACV,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAChG,KAAK,QAAQ;YACX,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAChI,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,MAAM,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAgB,EAAE,EAAM;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,IAAI,MAAM,CAAC,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,eAAe;QACxB,KAAK,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;IAErE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAC7F,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CACtD,CAAC;YACF,MAAM,MAAM,GAAG,GAAG;gBAChB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1E,CAAC,CAAC,EAAE,CAAC;YACP,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,IAAI,MAAM,GAAG,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,IAAI,OAAO,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAkB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAE5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3I,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QACzE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,IAAI,OAAO,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAgB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAEvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAEvD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAK7B;IACC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,WAAW,EAAE,yCAAyC,IAAI,CAAC,WAAW,uBAAuB;YAC7F,OAAO,EAAE,EAAE;SACZ,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAE7B,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,WAAW,EAAE,WAAW,IAAI,CAAC,IAAI,0CAA0C,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACtH,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,WAAW,EAAE,uBAAuB,CAAC,MAAM,EAAE,EAAE,CAAC;YAChD,OAAO,EAAE,MAAM;SAChB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9D,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO;gBACL,WAAW,EAAE,YAAY,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACnK,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,WAAW,EAAE,wBAAwB,CAAC,OAAO,CAAC;YAC9C,OAAO,EAAE,OAAO;SACjB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,WAAW,EAAE,WAAW,IAAI,CAAC,IAAI,2BAA2B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC9G,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,WAAW,EAAE,uBAAuB,CAAC,MAAM,CAAC;YAC5C,OAAO,EAAE,MAAM;SAChB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,WAAW,EAAE,wBAAwB,IAAI,CAAC,MAAM,EAAE;QAClD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,MAAM,CAAC,IAAI,CACT,SAAS,EACT,4HAA4H,EAC5H,kBAAkB,EAClB,KAAK,EAAE,IAAI,EAAE,EAAE;QACb,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC,CACF,CAAC;AACJ,CAAC"}

package/packages/mcp-server/dist/tools/validate.d.ts

@@ -0,0 +1,23 @@
+/**
+ * validate tool — validate .manifest source and return diagnostics.
+ *
+ * Lightweight check that does NOT cache the IR. Use compile if you need
+ * to subsequently execute commands.
+ */
+import { z } from 'zod';
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+export declare const validateInputSchema: {
+    source: z.ZodString;
+    sourcePath: z.ZodOptional<z.ZodString>;
+};
+export declare function handleValidate(args: {
+    source: string;
+    sourcePath?: string;
+}): Promise<{
+    valid: boolean;
+    diagnostics: import("@angriff36/manifest/ir").IRDiagnostic[];
+    errorCount: number;
+    warningCount: number;
+}>;
+export declare function registerValidateTool(server: McpServer): void;
+//# sourceMappingURL=validate.d.ts.map

package/packages/mcp-server/dist/tools/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/tools/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAGzE,eAAO,MAAM,mBAAmB;;;CAM/B,CAAC;AAEF,wBAAsB,cAAc,CAAC,IAAI,EAAE;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;;;;;GAeA;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAY5D"}

package/packages/mcp-server/dist/tools/validate.js

@@ -0,0 +1,38 @@
+/**
+ * validate tool — validate .manifest source and return diagnostics.
+ *
+ * Lightweight check that does NOT cache the IR. Use compile if you need
+ * to subsequently execute commands.
+ */
+import { z } from 'zod';
+import { compileToIR } from '@angriff36/manifest/ir-compiler';
+export const validateInputSchema = {
+    source: z.string().describe('The .manifest source text to validate'),
+    sourcePath: z
+        .string()
+        .optional()
+        .describe('Optional file path for diagnostic messages'),
+};
+export async function handleValidate(args) {
+    const result = await compileToIR(args.source, {
+        useCache: false,
+        sourcePath: args.sourcePath,
+    });
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    const warnings = result.diagnostics.filter((d) => d.severity === 'warning');
+    return {
+        valid: errors.length === 0 && result.ir !== null,
+        diagnostics: result.diagnostics,
+        errorCount: errors.length,
+        warningCount: warnings.length,
+    };
+}
+export function registerValidateTool(server) {
+    server.tool('validate', 'Validate Manifest DSL source without caching IR. Returns diagnostics (errors, warnings). Use compile if you need to execute commands afterwards.', validateInputSchema, async (args) => {
+        const result = await handleValidate(args);
+        return {
+            content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+        };
+    });
+}
+//# sourceMappingURL=validate.js.map

package/packages/mcp-server/dist/tools/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/tools/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAE9D,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;IACpE,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,CAAC,4CAA4C,CAAC;CAC1D,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAGpC;IACC,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE;QAC5C,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAE5E,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI;QAChD,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,YAAY,EAAE,QAAQ,CAAC,MAAM;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAiB;IACpD,MAAM,CAAC,IAAI,CACT,UAAU,EACV,kJAAkJ,EAClJ,mBAAmB,EACnB,KAAK,EAAE,IAAI,EAAE,EAAE;QACb,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,CAAC;QAC1C,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;SAC5E,CAAC;IACJ,CAAC,CACF,CAAC;AACJ,CAAC"}

package/src/manifest/audit/sinks/postgres.sql

@@ -0,0 +1,51 @@
+-- Manifest audit_records schema.
+--
+-- Run once per database hosting the AuditSink. Compatible with PostgreSQL 13+.
+-- Designed for the PostgresAuditSink adapter in src/manifest/audit/sinks/postgres.ts.
+--
+-- Design notes:
+--   * `record_id` is the PRIMARY KEY so a unique index supports the
+--     idempotent INSERT … ON CONFLICT DO NOTHING upsert used by the sink.
+--   * `diagnostics` is JSONB so callers can query failure details ad hoc.
+--   * `(tenant_id, occurred_at DESC)` covers the most common compliance
+--     query: "show me what happened in tenant T over the last N minutes."
+--   * If you operate multi-tenant via row-level security, see the
+--     `manifest_audit_records_tenant_isolation` policy stub below — it is
+--     intentionally generic and not coupled to any specific provider.
+
+CREATE TABLE IF NOT EXISTS manifest_audit_records (
+  record_id            TEXT PRIMARY KEY,
+  occurred_at          BIGINT NOT NULL,
+  tenant_id            TEXT,
+  org_id               TEXT,
+  actor_id             TEXT,
+  request_id           TEXT,
+  source               TEXT,
+  entity               TEXT,
+  command              TEXT NOT NULL,
+  command_id           TEXT,
+  outcome              TEXT NOT NULL,
+  emitted_event_names  TEXT[],
+  ir_hash              TEXT,
+  diagnostics          JSONB,
+  inserted_at          TIMESTAMPTZ NOT NULL DEFAULT NOW()
+);
+
+CREATE INDEX IF NOT EXISTS idx_manifest_audit_tenant_occurred
+  ON manifest_audit_records (tenant_id, occurred_at DESC);
+
+CREATE INDEX IF NOT EXISTS idx_manifest_audit_command_occurred
+  ON manifest_audit_records (command_id, occurred_at DESC);
+
+CREATE INDEX IF NOT EXISTS idx_manifest_audit_outcome
+  ON manifest_audit_records (outcome);
+
+-- Optional: tenant isolation via Postgres row-level security.
+-- Uncomment and adapt to your tenant-identity strategy. The policy reads
+-- the current tenant from a session variable that the application must
+-- set on each connection (e.g. `SET app.tenant_id = '<id>'`).
+--
+-- ALTER TABLE manifest_audit_records ENABLE ROW LEVEL SECURITY;
+-- CREATE POLICY manifest_audit_records_tenant_isolation
+--   ON manifest_audit_records
+--   USING (tenant_id IS NULL OR tenant_id = current_setting('app.tenant_id', true));

package/src/manifest/outbox/stores/postgres.sql

@@ -0,0 +1,61 @@
+-- Manifest outbox_entries schema.
+--
+-- Run once per database hosting the OutboxStore. Compatible with PostgreSQL 13+.
+-- Designed for the PostgresOutboxStore adapter in src/manifest/outbox/stores/postgres.ts.
+--
+-- Design notes:
+--   * `entry_id` is the PRIMARY KEY so INSERT … ON CONFLICT DO NOTHING
+--     supports replay-safe enqueue.
+--   * `status` is `CHECK`-constrained to the OutboxEntryStatus enum from
+--     src/manifest/outbox/outbox-store.ts so a malformed adapter cannot
+--     silently corrupt state.
+--   * `event` is JSONB so callers can query/filter without unpacking.
+--   * Claim uses `FOR UPDATE SKIP LOCKED` so multiple concurrent dispatcher
+--     workers can claim disjoint batches without serializing through a
+--     lock — see https://www.postgresql.org/docs/current/sql-select.html
+--     § "The Locking Clause".
+--   * `(status, enqueued_at)` index keeps the claim query O(log N) on the
+--     pending-only subset.
+
+CREATE TABLE IF NOT EXISTS manifest_outbox_entries (
+  entry_id      TEXT PRIMARY KEY,
+  enqueued_at   BIGINT NOT NULL,
+  event         JSONB NOT NULL,
+  status        TEXT NOT NULL CHECK (status IN ('pending', 'delivered', 'failed')),
+  attempts      INTEGER NOT NULL DEFAULT 0,
+  last_error    TEXT,
+  claimed_at    TIMESTAMPTZ,
+  delivered_at  TIMESTAMPTZ,
+  failed_at     TIMESTAMPTZ,
+  inserted_at   TIMESTAMPTZ NOT NULL DEFAULT NOW()
+);
+
+-- Covers the claim() query: status='pending' AND claimed_at IS NULL ORDER BY enqueued_at.
+-- The partial index keeps the hot path O(log N) on the "ready to claim" subset.
+CREATE INDEX IF NOT EXISTS idx_manifest_outbox_pending_unclaimed
+  ON manifest_outbox_entries (enqueued_at)
+  WHERE status = 'pending' AND claimed_at IS NULL;
+
+CREATE INDEX IF NOT EXISTS idx_manifest_outbox_status
+  ON manifest_outbox_entries (status);
+
+-- Optional: subject projection columns. When `projectSubject` is enabled on the
+-- PostgresOutboxStore, `subject_entity` and `subject_id` are populated from
+-- `event.subject.entity` and `event.subject.id` at enqueue time. These columns
+-- allow efficient querying by entity or instance without JSONB extraction.
+-- The columns are nullable and the indexes are partial — adding them is
+-- backwards-compatible and does not affect existing rows.
+ALTER TABLE manifest_outbox_entries ADD COLUMN IF NOT EXISTS subject_entity TEXT;
+ALTER TABLE manifest_outbox_entries ADD COLUMN IF NOT EXISTS subject_id TEXT;
+
+CREATE INDEX IF NOT EXISTS idx_manifest_outbox_subject_entity
+  ON manifest_outbox_entries (subject_entity)
+  WHERE subject_entity IS NOT NULL;
+
+CREATE INDEX IF NOT EXISTS idx_manifest_outbox_subject_id
+  ON manifest_outbox_entries (subject_id)
+  WHERE subject_id IS NOT NULL;
+
+-- Optional: tenant scoping. Outbox entries inherit their tenant from the
+-- `event.tenantId` JSON field. If RLS is desired, add the column and a
+-- policy similar to the audit table — kept commented out by default.