@formancy/mcp 0.3.0 → 0.4.0

package/dist/index.d.mts

@@ -1,3 +1,4 @@
+import "@formancy/core";
 import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
 //#region src/tools.d.ts
 /**
@@ -71,7 +72,17 @@ export declare function diffForms(before: unknown, after: unknown): ToolResult;
  * a model that gets `expressionProblems` back is told which rule, in which
  * words, and what to write instead. And an invalid document never travels.
  */
-export declare function publishForm(access: ServerAccess, path: string, document: unknown): Promise<ToolResult>;
+export declare function publishForm(access: ServerAccess, path: string, document: unknown,
+/**
+ * The schema hash the edit was based on, from `propose_form_edit` or
+ * `get_form`. Given, the published form is checked against it first.
+ *
+ * Opt-in, and the reason is the first publish: a new form has nothing to be
+ * based on, and requiring this would turn it into a fetch of something that
+ * is not there. So the unsafe path still exists, which is why the tool's
+ * description points at the safe one rather than leaving an agent to guess.
+ */
+basedOn?: string): Promise<ToolResult>;
 export declare function listForms(access: ServerAccess): Promise<ToolResult>;
 export declare function getForm(access: ServerAccess, path: string): Promise<ToolResult>;
 export declare function listSubmissions(access: ServerAccess, path: string): Promise<ToolResult>;
@@ -108,6 +119,8 @@ export declare const TOOL_DEFINITIONS: {
   readonly describe_spec: string;
   readonly validate_form: string;
   readonly diff_forms: string;
+  readonly check_scenarios: string;
+  readonly propose_form_edit: string;
   readonly publish_form: string;
   readonly list_forms: "List the forms on the formancy server, with their current version.";
   readonly get_form: "Fetch one form document from the formancy server, with its version and schema hash.";

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/tools.ts","../src/server.ts"],"mappings":";;;;;;;;;;;;;;;;UAoBiB;;WAEN;;WAEA;;WAEA;;;UAIM;WACN;WACA;;WAEA,eAAe,WAAW;;;;;;;;;;wBAarB,gBAAgB;;;;;;;;;;;;;;;;;;wBA6BhB,aAAa,oBAAoB;;;;;;;wBA+CjC,UAAU,iBAAiB,iBAAiB;;;;;;;;;wBAiDtC,YACpB,QAAQ,cACR,cACA,oBACC,QAAQ;wBAgBW,UAAU,QAAQ,eAAe,QAAQ;wBAIzC,QAAQ,QAAQ,cAAc,eAAe,QAAQ;wBAIrD,gBAAgB,QAAQ,cAAc,eAAe,QAAQ;;;;;;;;;;;UClLlE;;;;;;;;;WASN,SAAS;;;;;;;;;;qBAWP;;;;;;;;;wBA4DG,wBAAwB,UAAS,mBAAwB"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/tools.ts","../src/server.ts"],"mappings":";;;;;;;;;;;;;;;;;UAqBiB;;WAEN;;WAEA;;WAEA;;;UAIM;WACN;WACA;;WAEA,eAAe,WAAW;;;;;;;;;;wBAarB,gBAAgB;;;;;;;;;;;;;;;;;;wBA6BhB,aAAa,oBAAoB;;;;;;;wBA+CjC,UAAU,iBAAiB,iBAAiB;;;;;;;;;wBAiDtC,YACpB,QAAQ,cACR,cACA,mBAUA;;;;;;;;;;AAAA,mBACC,QAAQ;wBAyKW,UAAU,QAAQ,eAAe,QAAQ;wBAIzC,QAAQ,QAAQ,cAAc,eAAe,QAAQ;wBAIrD,gBAAgB,QAAQ,cAAc,eAAe,QAAQ;;;;;;;;;;;UClVlE;;;;;;;;;WASN,SAAS;;;;;;;;;;qBAWP;;;;;;;;;;;wBA6KG,wBAAwB,UAAS,mBAAwB"}

package/dist/index.mjs

@@ -1,2 +1,2 @@
-import { a as getForm, c as publishForm, i as diffForms, l as validateForm, n as createFormancyMcpServer, o as listForms, r as describeSpec, s as listSubmissions, t as TOOL_DEFINITIONS } from "./server-CdcuxHHN.mjs";
+import { a as getForm, c as publishForm, i as diffForms, l as validateForm, n as createFormancyMcpServer, o as listForms, r as describeSpec, s as listSubmissions, t as TOOL_DEFINITIONS } from "./server-Cv8ZUKhl.mjs";
 export { TOOL_DEFINITIONS, createFormancyMcpServer, describeSpec, diffForms, getForm, listForms, listSubmissions, publishForm, validateForm };

package/dist/main.mjs

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { n as createFormancyMcpServer } from "./server-CdcuxHHN.mjs";
+import { n as createFormancyMcpServer } from "./server-Cv8ZUKhl.mjs";
 import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
 //#region src/main.ts
 /**

package/dist/server-Cv8ZUKhl.mjs

@@ -0,0 +1,591 @@
+import { createRequire } from "node:module";
+import { authoringFacts, diffSchemas, schemaHash } from "@formancy/spec";
+import { validateSchema } from "@formancy/spec/validate";
+import { engineRefusal, expressionProblems, runScenarios } from "@formancy/core";
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { z } from "zod";
+//#region src/tools.ts
+/**
+* Everything the spec allows, so a model does not have to guess.
+*
+* The cheapest tool here and probably the most valuable: without it a model
+* invents `type: "phone"` or `type: "email"` from its memory of other form
+* builders, gets a validation error, and burns a turn finding out that `text`
+* with `format: "email"` is the answer. Told up front, it does not.
+*/
+function describeSpec() {
+	const facts = authoringFacts();
+	return {
+		ok: true,
+		summary: `formancy speaks spec versions ${facts.specVersions.join(" and ")}; new documents should use "${facts.currentSpecVersion}". A field type not in this list does not exist, whatever other form builders call it — an email field is type "text" with format "email".`,
+		data: facts
+	};
+}
+/**
+* Check a document without publishing it — the server's publish checks, in the
+* gate's order. Only the analysis of regular-expression `pattern`s stays on
+* the server: it needs an analysis engine this package does not carry, and the
+* server's refusal names the pattern.
+*
+* Schema validity, the engine's compile and expression sanity are different
+* failures with different fixes, and a later check means nothing in a document
+* an earlier one has rejected. So the structure is checked first, then whether
+* the engine would open the document at all, then whether its expressions
+* would ever do anything.
+*
+* The middle check was once missing, and this tool told a model that a form
+* with a misspelled field name was valid: the validator does not read CEL and
+* the expression check skips what the engine refuses, so nothing here asked
+* the engine. The server did, and refused it.
+*/
+function validateForm(document) {
+	const result = validateSchema(document);
+	if (!result.valid) return {
+		ok: false,
+		summary: `Not a valid formancy document: ${String(result.errors.length)} problem(s). Fix these before publishing.`,
+		data: {
+			valid: false,
+			errors: result.errors
+		}
+	};
+	const refusal = engineRefusal(document);
+	if (refusal !== void 0) return {
+		ok: false,
+		summary: "The document is structurally valid, but the engine refuses to open it — the same engine the server's publish gate and every renderer build, so this form could be neither published nor shown. " + refusal,
+		data: {
+			valid: true,
+			engineRefusal: refusal
+		}
+	};
+	const problems = expressionProblems(document);
+	if (problems.length > 0) return {
+		ok: false,
+		summary: `The document is structurally valid, but ${String(problems.length)} expression(s) will never do anything. These compile and then fail at evaluation, so nothing would report them at runtime: a computed field would stay empty and a visible rule would show the field it was meant to hide.`,
+		data: {
+			valid: true,
+			expressionProblems: problems
+		}
+	};
+	return {
+		ok: true,
+		summary: "Valid, and every expression type-checks.",
+		data: { valid: true }
+	};
+}
+/**
+* What a change does to the submissions already collected.
+*
+* The question an agent cannot answer by reading the two documents, and the
+* one whose wrong answer is permanent. `breaking` is not advice.
+*/
+function diffForms(before, after) {
+	const first = validateSchema(before);
+	const second = validateSchema(after);
+	if (!first.valid || !second.valid) return {
+		ok: false,
+		summary: "Both documents have to be valid before they can be compared. Run validate_form on each.",
+		data: {
+			beforeValid: first.valid,
+			afterValid: second.valid
+		}
+	};
+	const changes = diffSchemas(before, after);
+	const worst = severityOf(changes);
+	return {
+		ok: true,
+		summary: changes.length === 0 ? "No change: the two documents are identical once canonicalised." : `${String(changes.length)} change(s), worst severity ${worst}. ` + ADVICE[worst],
+		data: {
+			severity: worst,
+			changes
+		}
+	};
+}
+const ADVICE = {
+	none: "",
+	compatible: "Existing drafts and submissions rebind silently.",
+	lossy: "Existing data rebinds, but some answers no longer have a field to live in. They are kept under data.__orphaned rather than deleted.",
+	breaking: "Existing drafts CANNOT rebind and will open read-only against the version that produced them. Say so before publishing, and consider a new form instead."
+};
+function severityOf(changes) {
+	if (changes.some((change) => change.severity === "breaking")) return "breaking";
+	if (changes.some((change) => change.severity === "lossy")) return "lossy";
+	if (changes.length > 0) return "compatible";
+	return "none";
+}
+/**
+* Publish, but check first.
+*
+* The local validation is not an optimisation. A model that gets a 422 back
+* has to guess what the server meant from an error shape it has never seen;
+* a model that gets `expressionProblems` back is told which rule, in which
+* words, and what to write instead. And an invalid document never travels.
+*/
+async function publishForm(access, path, document, basedOn) {
+	const checked = validateForm(document);
+	if (!checked.ok) return {
+		ok: false,
+		summary: `Not published, because the document would not have worked. ${checked.summary}`,
+		data: checked.data
+	};
+	if (basedOn !== void 0) {
+		const current = await currentSchema(access, path);
+		if (!current.ok) return current.problem;
+		if (current.hash !== basedOn) return {
+			ok: false,
+			summary: `Not published: "${path}" has changed since this edit was based on it, and publishing the whole document would discard that change. Call get_form again, redo the edit against what is there now, and publish with the new basedOn.`,
+			data: {
+				basedOn,
+				current: current.hash
+			}
+		};
+	}
+	return request(access, "/forms", {
+		method: "POST",
+		body: JSON.stringify({
+			path,
+			schema: document
+		})
+	});
+}
+/**
+* A form run against examples with their answers written down.
+*
+* The check nothing else here can make. `validate_form` says a document
+* works; it cannot say the condition is backwards, because
+* `kind == 'other'` and `kind != 'other'` are both valid CEL and the
+* difference is between the document and what somebody meant
+* ([0110](../../../docs/decisions/0110-a-form-is-checked-against-examples.md)).
+*
+* An agent is exactly who needs telling: it writes a rule from a sentence,
+* and an example is the one thing that catches it writing the opposite rule.
+* Local — no server, no credentials — so it can run before anything is
+* published.
+*/
+function checkScenarios(document, scenarios) {
+	if (scenarios.length === 0) return {
+		ok: false,
+		summary: "No scenarios to check, so this says nothing about the form. A scenario is a set of answers and what the form should make of them — whether it validates, which errors it gives, which fields are visible, and what the submission carries."
+	};
+	const checked = validateForm(document);
+	if (!checked.ok) return {
+		ok: false,
+		summary: `Nothing was checked, because the document would not have worked. ${checked.summary}`,
+		data: checked.data
+	};
+	const results = runScenarios(document, scenarios);
+	const broken = results.filter((result) => !result.passed);
+	return {
+		ok: broken.length === 0,
+		summary: broken.length === 0 ? `All ${String(results.length)} scenarios hold.` : `${String(broken.length)} of ${String(results.length)} scenarios no longer hold: ${broken.map((result) => `"${result.name}"`).join(", ")}. Each one below says what it expected and what happened — a rule that compiles can still be the opposite of the rule that was asked for.`,
+		data: { results }
+	};
+}
+/**
+* An edit held up against what is published, without publishing it.
+*
+* The MCP half of a builder's review step. `validate_form` says a document
+* works; it does not say that the rewrite dropped an option somebody has
+* already chosen, and an agent reading only its own two documents cannot tell
+* either. This fetches what is live, diffs against it, and hands back the
+* change list and the hash — so the agent can put *that* in front of a person
+* rather than "I updated your form", and then publish with the hash so the
+* edit cannot land on a version it was never written against
+* ([0109](../../../docs/decisions/0109-an-ai-edit-is-reviewed-before-it-lands.md)).
+*/
+async function proposeFormEdit(access, path, document) {
+	const checked = validateForm(document);
+	if (!checked.ok) return {
+		ok: false,
+		summary: `Nothing to review, because the document would not have worked. ${checked.summary}`,
+		data: checked.data
+	};
+	const current = await currentSchema(access, path);
+	if (!current.ok) return current.problem;
+	const changes = diffSchemas(current.schema, document);
+	const worst = severityOf(changes);
+	return {
+		ok: true,
+		summary: changes.length === 0 ? `No change: "${path}" is already this document. Nothing to publish.` : `${String(changes.length)} change(s) to "${path}", worst severity ${worst}. ${ADVICE[worst]} Show these to the person before publishing, then publish with basedOn=${current.hash}.`,
+		data: {
+			severity: worst,
+			changes,
+			basedOn: current.hash
+		}
+	};
+}
+/** What the server currently has for a path, and its hash. */
+async function currentSchema(access, path) {
+	const fetched = await getForm(access, path);
+	if (!fetched.ok) return {
+		ok: false,
+		problem: fetched
+	};
+	const schema = fetched.data?.schema;
+	if (!validateSchema(schema).valid) return {
+		ok: false,
+		problem: {
+			ok: false,
+			summary: `The form published at "${path}" is not a document this version of the tools can read, so an edit cannot be compared against it. Upgrade the tools to the server's spec version.`
+		}
+	};
+	return {
+		ok: true,
+		schema,
+		hash: schemaHash(schema)
+	};
+}
+async function listForms(access) {
+	return request(access, "/forms");
+}
+async function getForm(access, path) {
+	return request(access, `/f/${encodeURIComponent(path)}`);
+}
+async function listSubmissions(access, path) {
+	return request(access, `/f/${encodeURIComponent(path)}/submissions`);
+}
+/**
+* One request, and one place that knows how a failure is reported.
+*
+* Every error comes back as `ok: false` with the server's own words rather
+* than as a thrown exception, because a thrown exception reaches a model as a
+* stack trace and tells it nothing it can act on.
+*/
+async function request(access, route, init = {}) {
+	const send = access.fetch ?? globalThis.fetch;
+	const url = `${access.baseUrl.replace(/\/$/, "")}${route}`;
+	let response;
+	try {
+		response = await send(url, {
+			...init,
+			headers: {
+				...init.body === void 0 ? {} : { "content-type": "application/json" },
+				authorization: `Bearer ${access.apiKey}`,
+				...init.headers
+			}
+		});
+	} catch (error) {
+		return {
+			ok: false,
+			summary: `Could not reach the formancy server at ${access.baseUrl}: ${error instanceof Error ? error.message : String(error)}. Check FORMANCY_URL, and that the server is running.`
+		};
+	}
+	const body = await response.json().catch(() => void 0);
+	if (!response.ok) {
+		const detail = messageFrom(body);
+		return {
+			ok: false,
+			summary: response.status === 401 || response.status === 403 ? `The server refused the request (${String(response.status)}). Check FORMANCY_API_KEY.` : `The server refused the request (${String(response.status)})${detail === void 0 ? "." : `: ${detail}`}`,
+			...body === void 0 ? {} : { data: body }
+		};
+	}
+	return {
+		ok: true,
+		summary: "Done.",
+		data: body
+	};
+}
+function messageFrom(body) {
+	if (body === null || typeof body !== "object") return void 0;
+	const record = body;
+	if (typeof record.message === "string") return record.message;
+	if (typeof record.error === "string") return record.error;
+}
+//#endregion
+//#region src/server.ts
+/**
+* Names and descriptions, apart from the wiring.
+*
+* Exported because the description is the prompt: it is the only thing telling
+* a model when to reach for a tool, and a wrong one means a tool that is never
+* called or called for the wrong reason. Kept where it can be read and tested
+* rather than buried in a registration call.
+*/
+const TOOL_DEFINITIONS = {
+	describe_spec: "List every field type, layout kind, rule kind and format the formancy spec defines. Call this BEFORE writing a form document. A type not in the list does not exist, whatever other form builders call it.",
+	validate_form: "Run the server's publish checks without publishing: against the spec, through the engine that renders the form (a misspelled field name, a cycle between computed fields, a condition that is not certain to produce a bool), and for expressions that compile but can never evaluate — the failure that is silent at runtime. Each comes back separately, with what to change.",
+	diff_forms: "Compare two form documents and report what the change would do to submissions already collected: compatible, lossy, or breaking. Call this before publishing over an existing form.",
+	check_scenarios: "Run a form against examples with their answers written down, and report which stopped holding. The ONE check that catches a condition which compiles and is the opposite of what was asked for — validate_form cannot, because both spellings are valid CEL. Needs no server. Write a scenario for every rule you add: a set of answers, whether the form is valid, which errors it gives, which fields are visible, and what the submission carries.",
+	propose_form_edit: "Hold an edit up against the form that is published, WITHOUT publishing it. Answers with what the edit would do to submissions already collected, and with a basedOn hash. Call this instead of publish_form whenever you are changing a form that already exists: show the changes to the person, get their agreement, then publish_form with the basedOn it gave you.",
+	publish_form: "Publish a form document to a formancy server. Validates locally first and refuses to send an invalid document, so the reason comes back as something to fix rather than as a 422. Pass basedOn when changing an existing form: a document is the WHOLE form, so publishing one based on an older version silently discards whatever was published in between, and the publish succeeds so nothing reports it.",
+	list_forms: "List the forms on the formancy server, with their current version.",
+	get_form: "Fetch one form document from the formancy server, with its version and schema hash.",
+	list_submissions: "List submissions for one form."
+};
+/**
+* The version this server reports.
+*
+* From the manifest, not typed. It said `0.1.0` while the package was on 0.3.0 —
+* a wrong statement in the one field a client uses to tell two installations
+* apart, and exactly the hand-written number this repository keeps finding
+* stale.
+*
+* `createRequire` rather than a JSON import: `../package.json` resolves to the
+* package root from both `src/server.ts` and `dist/index.mjs`, so the same line
+* is right in a test and in the published package.
+*/
+const PACKAGE_VERSION = createRequire(import.meta.url)("../package.json").version;
+/**
+* What a client is told a result looks like, before it reads one.
+*
+* One envelope for every tool rather than a schema each. The shape is the same
+* everywhere — did it work, one sentence a person can read, and the part an
+* agent acts on — so a client that has learned it once has learned it for all
+* nine. A schema per tool would be nine places for `data` to drift from what
+* the tool returns.
+*/
+const RESULT_SHAPE = {
+	ok: z.boolean().describe("Whether the tool did what was asked."),
+	summary: z.string().describe("One or two sentences a person can read."),
+	data: z.unknown().optional().describe("The part an agent acts on, when there is one.")
+};
+/**
+* Both readings of the answer: prose and structure.
+*
+* `content` is what a model reads; `structuredContent` is what a client parses
+* without pulling JSON back out of a string. Both travel — prose alone throws
+* away the part an agent acts on, and structure alone makes every refusal a
+* parsing exercise.
+*/
+function respond(result) {
+	return {
+		content: [{
+			type: "text",
+			text: result.data === void 0 ? result.summary : `${result.summary}\n\n${JSON.stringify(result.data, null, 2)}`
+		}],
+		structuredContent: {
+			ok: result.ok,
+			summary: result.summary,
+			...result.data === void 0 ? {} : { data: result.data }
+		},
+		...result.ok ? {} : { isError: true }
+	};
+}
+/**
+* What a tool will do, for a client deciding whether to ask first.
+*
+* The only thing a host has to tell `validate_form` from `publish_form` before
+* calling either. Without them a tool defaults to `readOnlyHint: false`,
+* `destructiveHint: true`, `openWorldHint: true` — so this server’s local,
+* read-only checks were all advertised as potentially destructive calls into an
+* open world, which is the opposite of true in every case.
+*/
+const LOCAL_CHECK = {
+	readOnlyHint: true,
+	openWorldHint: false
+};
+const SERVER_READ = {
+	readOnlyHint: true,
+	openWorldHint: true
+};
+/**
+* Publishing. `destructiveHint: false` is not optimism: a published version is
+* immutable and a publish inserts a new row, so nothing is overwritten
+* ([0025](../../../docs/decisions/0025-immutability-in-the-database.md)).
+*
+* Not idempotent, though — publishing the same document twice makes a second
+* version rather than the same one, and saying otherwise would invite a client
+* to retry it freely.
+*/
+const SERVER_WRITE = {
+	readOnlyHint: false,
+	destructiveHint: false,
+	idempotentHint: false,
+	openWorldHint: true
+};
+/** A tool that needs a server, when there is not one. */
+function noServer(name) {
+	return {
+		ok: false,
+		summary: `${name} needs a formancy server, and none is configured. Set FORMANCY_URL and FORMANCY_API_KEY. The local tools — describe_spec, validate_form and diff_forms — work without one, so a form can be written and checked before a server exists.`
+	};
+}
+/**
+* The arguments each tool takes.
+*
+* A document arrives as `unknown` on purpose: it is checked by
+* `validateSchema` against the spec's own JSON Schema, which is the one
+* authority on what a formancy document is. Describing its shape a second
+* time here in Zod would be a second authority, and the day the two disagree
+* the tool would reject a document the product accepts.
+*/
+const DOCUMENT = z.unknown().describe("A formancy form document (the JSON schema object).");
+const FORM_PATH = z.string().min(1).describe("The form's path, as it appears in its URL.");
+const SCENARIOS = z.array(z.unknown()).describe("Examples with their answers: each is { name, changes, valid } and may also pin errors, visible, values and absent.");
+const BASED_ON = z.string().optional().describe("The schema hash this edit was based on, from propose_form_edit or get_form. Given, the publish is refused if the form has changed since.");
+function createFormancyMcpServer(options = {}) {
+	const server = new McpServer({
+		name: "formancy",
+		version: PACKAGE_VERSION
+	});
+	const { access } = options;
+	server.registerTool("describe_spec", {
+		description: TOOL_DEFINITIONS.describe_spec,
+		outputSchema: RESULT_SHAPE,
+		annotations: LOCAL_CHECK
+	}, () => respond(describeSpec()));
+	server.registerTool("validate_form", {
+		description: TOOL_DEFINITIONS.validate_form,
+		outputSchema: RESULT_SHAPE,
+		annotations: LOCAL_CHECK,
+		inputSchema: { document: DOCUMENT }
+	}, ({ document }) => respond(validateForm(document)));
+	server.registerTool("diff_forms", {
+		description: TOOL_DEFINITIONS.diff_forms,
+		outputSchema: RESULT_SHAPE,
+		annotations: LOCAL_CHECK,
+		inputSchema: {
+			before: DOCUMENT,
+			after: DOCUMENT
+		}
+	}, ({ before, after }) => respond(diffForms(before, after)));
+	server.registerTool("check_scenarios", {
+		description: TOOL_DEFINITIONS.check_scenarios,
+		outputSchema: RESULT_SHAPE,
+		annotations: LOCAL_CHECK,
+		inputSchema: {
+			document: DOCUMENT,
+			scenarios: SCENARIOS
+		}
+	}, ({ document, scenarios }) => respond(checkScenarios(document, scenarios)));
+	server.registerTool("propose_form_edit", {
+		description: TOOL_DEFINITIONS.propose_form_edit,
+		outputSchema: RESULT_SHAPE,
+		annotations: SERVER_READ,
+		inputSchema: {
+			path: FORM_PATH,
+			document: DOCUMENT
+		}
+	}, async ({ path, document }) => respond(access === void 0 ? noServer("propose_form_edit") : await proposeFormEdit(access, path, document)));
+	server.registerTool("publish_form", {
+		description: TOOL_DEFINITIONS.publish_form,
+		outputSchema: RESULT_SHAPE,
+		annotations: SERVER_WRITE,
+		inputSchema: {
+			path: FORM_PATH,
+			document: DOCUMENT,
+			basedOn: BASED_ON
+		}
+	}, async ({ path, document, basedOn }) => respond(access === void 0 ? noServer("publish_form") : await publishForm(access, path, document, basedOn)));
+	server.registerTool("list_forms", {
+		description: TOOL_DEFINITIONS.list_forms,
+		outputSchema: RESULT_SHAPE,
+		annotations: SERVER_READ
+	}, async () => respond(access === void 0 ? noServer("list_forms") : await listForms(access)));
+	server.registerTool("get_form", {
+		description: TOOL_DEFINITIONS.get_form,
+		outputSchema: RESULT_SHAPE,
+		annotations: SERVER_READ,
+		inputSchema: { path: FORM_PATH }
+	}, async ({ path }) => respond(access === void 0 ? noServer("get_form") : await getForm(access, path)));
+	server.registerTool("list_submissions", {
+		description: TOOL_DEFINITIONS.list_submissions,
+		outputSchema: RESULT_SHAPE,
+		annotations: SERVER_READ,
+		inputSchema: { path: FORM_PATH }
+	}, async ({ path }) => respond(access === void 0 ? noServer("list_submissions") : await listSubmissions(access, path)));
+	server.registerPrompt("build_a_form", {
+		title: "Build a form",
+		description: "Write a new formancy form from a description, in the order that gets it right the first time: the spec, then the document, then examples that check the rules.",
+		argsSchema: { description: z.string().min(1).describe("What the form is for, in a sentence or two.") }
+	}, ({ description }) => ({ messages: [{
+		role: "user",
+		content: {
+			type: "text",
+			text: [
+				`Write a formancy form for: ${description}`,
+				"",
+				"Work in this order, and do not skip the first step:",
+				"",
+				"1. Call `describe_spec`. It lists every field type, widget, rule kind and",
+				"   format the document format has. A type that is not in that list does not",
+				"   exist, whatever other form builders call it — an email field is `text`",
+				"   with `format: \"email\"`.",
+				"2. Write the document.",
+				"3. Call `validate_form`. It runs the schema check, the engine compile, and",
+				"   the check for expressions that compile and can never evaluate. Fix what",
+				"   it names and call it again.",
+				"4. Write a scenario for every rule, and call `check_scenarios`. This is the",
+				"   only check that catches a condition written backwards: `a == b` and",
+				"   `a != b` are both valid CEL and both pass step 3. Write the scenarios",
+				"   from the description above rather than from the rules you just wrote, or",
+				"   they will agree with whatever the rules happen to say.",
+				"5. Show the person the form and what the scenarios checked, before",
+				"   publishing anything."
+			].join("\n")
+		}
+	}] }));
+	server.registerPrompt("change_a_form", {
+		title: "Change a published form",
+		description: "Edit a form that already exists, without discarding somebody else’s work and without publishing a change nobody has read.",
+		argsSchema: {
+			path: z.string().min(1).describe("The form's path, as it appears in its URL."),
+			change: z.string().min(1).describe("What should be different, in a sentence.")
+		}
+	}, ({ path, change }) => ({ messages: [{
+		role: "user",
+		content: {
+			type: "text",
+			text: [
+				`Change the form at "${path}": ${change}`,
+				"",
+				"A formancy document is the WHOLE form, so an edit based on an older version",
+				"silently discards whatever was published in between — and the publish",
+				"succeeds, so nothing reports it. Work this way:",
+				"",
+				"1. Call `get_form` for the current document.",
+				"2. Make the change to it.",
+				"3. Call `propose_form_edit`. It publishes nothing, and answers with what the",
+				"   edit would cost submissions already collected, plus a `basedOn` hash.",
+				"4. Show the person that list. A change marked lossy means stored answers lose",
+				"   the field they live in; say so plainly before going further.",
+				"5. Call `publish_form` with `basedOn` set to the hash from step 3. If it",
+				"   refuses, the form moved — start again from step 1 rather than publishing",
+				"   over it."
+			].join("\n")
+		}
+	}] }));
+	server.registerPrompt("embed_a_form", {
+		title: "Embed a form in an application",
+		description: "Render a formancy document in a React or Angular application.",
+		argsSchema: { framework: z.enum(["react", "angular"]).describe("Which renderer the application uses.") }
+	}, ({ framework }) => ({ messages: [{
+		role: "user",
+		content: {
+			type: "text",
+			text: framework === "angular" ? [
+				"Render a formancy form in an Angular application.",
+				"",
+				"- Install `@formancy/angular` and `@formancy/core`.",
+				"- Build the engine once with `createFormEngine({ schema })` and provide",
+				"  it with `provideFormancy(engine)`.",
+				"- Render `<formancy-form />`. It is zoneless and OnPush, and the engine",
+				"  is the state — there is nothing to copy into a component.",
+				"- Styling is yours: the renderer ships no CSS. A theme from",
+				"  `@formancy/themes` is one stylesheet import and a",
+				"  `data-formancy-theme` attribute, or write your own against the",
+				"  `data-formancy-part` hooks.",
+				"- The submitted value is `engine.value()`. Validate it on the server",
+				"  too: the same engine runs there, so the two cannot disagree."
+			].join("\n") : [
+				"Render a formancy form in a React application.",
+				"",
+				"- Install `@formancy/react` and `@formancy/core`.",
+				"- Build the engine once with `createFormEngine({ schema })` and put it",
+				"  in `<FormancyProvider engine={engine}>`.",
+				"- Render `<FormancyForm />`. The engine is the state; there is nothing",
+				"  to copy into component state and nothing to memoise.",
+				"- Styling is yours: the renderer ships no CSS. A theme from",
+				"  `@formancy/themes` is one stylesheet import and a",
+				"  `data-formancy-theme` attribute, or write your own against the",
+				"  `data-formancy-part` hooks.",
+				"- The submitted value is `engine.value()`. Validate it on the server",
+				"  too: the same engine runs there, so the two cannot disagree."
+			].join("\n")
+		}
+	}] }));
+	return server;
+}
+//#endregion
+export { getForm as a, publishForm as c, diffForms as i, validateForm as l, createFormancyMcpServer as n, listForms as o, describeSpec as r, listSubmissions as s, TOOL_DEFINITIONS as t };
+
+//# sourceMappingURL=server-Cv8ZUKhl.mjs.map

package/dist/server-Cv8ZUKhl.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-Cv8ZUKhl.mjs","names":[],"sources":["../src/tools.ts","../src/server.ts"],"sourcesContent":["import { authoringFacts, diffSchemas, schemaHash } from '@formancy/spec'\nimport { validateSchema } from '@formancy/spec/validate'\nimport type { Change, FormSchema } from '@formancy/spec'\nimport { engineRefusal, expressionProblems, runScenarios } from '@formancy/core'\nimport type { Scenario } from '@formancy/core'\n\n/**\n * What formancy can be asked to do by a coding agent, as plain functions.\n *\n * Separated from the MCP server itself for the same reason `server-core` is separated\n * from `server`: a use-case that can only be exercised through a transport is one nobody\n * can test. Everything here is a function from JSON to JSON.\n *\n * **The tools check first and act second.** `publish_form` validates locally before it\n * opens a socket, so an invalid document never reaches the server and the model gets the\n * reason rather than a 422. That is possible because the format has a published JSON\n * Schema and the expressions are statically type-checked — a generated document is\n * checkable before anything is done with it.\n */\n\n/** A tool's answer: what happened, and what the agent should do about it. */\nexport interface ToolResult {\n  /** False means the agent must fix something before trying again. */\n  readonly ok: boolean\n  /** Prose for the model. Written to be acted on, not logged. */\n  readonly summary: string\n  /** The machine-readable part, when there is one. */\n  readonly data?: unknown\n}\n\n/** Where a formancy server is, and how to prove who you are to it. */\nexport interface ServerAccess {\n  readonly baseUrl: string\n  readonly apiKey: string\n  /** Injected so tests do not need a socket. */\n  readonly fetch?: typeof globalThis.fetch\n}\n\n// ---------------------------------------------------------------- local tools\n\n/**\n * Everything the spec allows, so a model does not have to guess.\n *\n * The cheapest tool here and probably the most valuable: without it a model\n * invents `type: \"phone\"` or `type: \"email\"` from its memory of other form\n * builders, gets a validation error, and burns a turn finding out that `text`\n * with `format: \"email\"` is the answer. Told up front, it does not.\n */\nexport function describeSpec(): ToolResult {\n  const facts = authoringFacts()\n  return {\n    ok: true,\n    summary:\n      `formancy speaks spec versions ${facts.specVersions.join(' and ')}; new documents should ` +\n      `use \"${facts.currentSpecVersion}\". A field type not in this list does not exist, whatever ` +\n      `other form builders call it — an email field is type \"text\" with format \"email\".`,\n    data: facts,\n  }\n}\n\n/**\n * Check a document without publishing it — the server's publish checks, in the\n * gate's order. Only the analysis of regular-expression `pattern`s stays on\n * the server: it needs an analysis engine this package does not carry, and the\n * server's refusal names the pattern.\n *\n * Schema validity, the engine's compile and expression sanity are different\n * failures with different fixes, and a later check means nothing in a document\n * an earlier one has rejected. So the structure is checked first, then whether\n * the engine would open the document at all, then whether its expressions\n * would ever do anything.\n *\n * The middle check was once missing, and this tool told a model that a form\n * with a misspelled field name was valid: the validator does not read CEL and\n * the expression check skips what the engine refuses, so nothing here asked\n * the engine. The server did, and refused it.\n */\nexport function validateForm(document: unknown): ToolResult {\n  const result = validateSchema(document)\n  if (!result.valid) {\n    return {\n      ok: false,\n      summary: `Not a valid formancy document: ${String(result.errors.length)} problem(s). Fix these before publishing.`,\n      data: { valid: false, errors: result.errors },\n    }\n  }\n\n  const refusal = engineRefusal(document as FormSchema)\n  if (refusal !== undefined) {\n    return {\n      ok: false,\n      summary:\n        `The document is structurally valid, but the engine refuses to open it — the same engine the ` +\n        `server's publish gate and every renderer build, so this form could be neither published nor shown. ` +\n        refusal,\n      data: { valid: true, engineRefusal: refusal },\n    }\n  }\n\n  const problems = expressionProblems(document as FormSchema)\n  if (problems.length > 0) {\n    return {\n      ok: false,\n      summary:\n        `The document is structurally valid, but ${String(problems.length)} expression(s) will never ` +\n        `do anything. These compile and then fail at evaluation, so nothing would report them at runtime: ` +\n        `a computed field would stay empty and a visible rule would show the field it was meant to hide.`,\n      data: { valid: true, expressionProblems: problems },\n    }\n  }\n\n  return {\n    ok: true,\n    summary: 'Valid, and every expression type-checks.',\n    data: { valid: true },\n  }\n}\n\n/**\n * What a change does to the submissions already collected.\n *\n * The question an agent cannot answer by reading the two documents, and the\n * one whose wrong answer is permanent. `breaking` is not advice.\n */\nexport function diffForms(before: unknown, after: unknown): ToolResult {\n  const first = validateSchema(before)\n  const second = validateSchema(after)\n  if (!first.valid || !second.valid) {\n    return {\n      ok: false,\n      summary: 'Both documents have to be valid before they can be compared. Run validate_form on each.',\n      data: { beforeValid: first.valid, afterValid: second.valid },\n    }\n  }\n\n  const changes = diffSchemas(before as FormSchema, after as FormSchema)\n  const worst = severityOf(changes)\n\n  return {\n    ok: true,\n    summary:\n      changes.length === 0\n        ? 'No change: the two documents are identical once canonicalised.'\n        : `${String(changes.length)} change(s), worst severity ${worst}. ` + ADVICE[worst],\n    data: { severity: worst, changes },\n  }\n}\n\nconst ADVICE: Readonly<Record<'none' | 'compatible' | 'lossy' | 'breaking', string>> = {\n  none: '',\n  compatible: 'Existing drafts and submissions rebind silently.',\n  lossy: 'Existing data rebinds, but some answers no longer have a field to live in. They are kept under data.__orphaned rather than deleted.',\n  breaking:\n    'Existing drafts CANNOT rebind and will open read-only against the version that produced them. Say so before publishing, and consider a new form instead.',\n}\n\nfunction severityOf(changes: readonly Change[]): 'none' | 'compatible' | 'lossy' | 'breaking' {\n  if (changes.some((change) => change.severity === 'breaking')) return 'breaking'\n  if (changes.some((change) => change.severity === 'lossy')) return 'lossy'\n  if (changes.length > 0) return 'compatible'\n  return 'none'\n}\n\n// --------------------------------------------------------------- server tools\n\n/**\n * Publish, but check first.\n *\n * The local validation is not an optimisation. A model that gets a 422 back\n * has to guess what the server meant from an error shape it has never seen;\n * a model that gets `expressionProblems` back is told which rule, in which\n * words, and what to write instead. And an invalid document never travels.\n */\nexport async function publishForm(\n  access: ServerAccess,\n  path: string,\n  document: unknown,\n  /**\n   * The schema hash the edit was based on, from `propose_form_edit` or\n   * `get_form`. Given, the published form is checked against it first.\n   *\n   * Opt-in, and the reason is the first publish: a new form has nothing to be\n   * based on, and requiring this would turn it into a fetch of something that\n   * is not there. So the unsafe path still exists, which is why the tool's\n   * description points at the safe one rather than leaving an agent to guess.\n   */\n  basedOn?: string,\n): Promise<ToolResult> {\n  const checked = validateForm(document)\n  if (!checked.ok) {\n    return {\n      ok: false,\n      summary: `Not published, because the document would not have worked. ${checked.summary}`,\n      data: checked.data,\n    }\n  }\n\n  if (basedOn !== undefined) {\n    const current = await currentSchema(access, path)\n    if (!current.ok) return current.problem\n    if (current.hash !== basedOn) {\n      /*\n       * The lost update, and the one mistake here nobody sees until the form\n       * is wrong. A document is the WHOLE form, so publishing an edit based\n       * on an older version over a newer one discards that version's change\n       * entirely — and the publish succeeds, so nothing reports it.\n       */\n      return {\n        ok: false,\n        summary:\n          `Not published: \"${path}\" has changed since this edit was based on it, and publishing ` +\n          `the whole document would discard that change. Call get_form again, redo the edit ` +\n          `against what is there now, and publish with the new basedOn.`,\n        data: { basedOn, current: current.hash },\n      }\n    }\n  }\n\n  return request(access, '/forms', {\n    method: 'POST',\n    body: JSON.stringify({ path, schema: document }),\n  })\n}\n\n/**\n * A form run against examples with their answers written down.\n *\n * The check nothing else here can make. `validate_form` says a document\n * works; it cannot say the condition is backwards, because\n * `kind == 'other'` and `kind != 'other'` are both valid CEL and the\n * difference is between the document and what somebody meant\n * ([0110](../../../docs/decisions/0110-a-form-is-checked-against-examples.md)).\n *\n * An agent is exactly who needs telling: it writes a rule from a sentence,\n * and an example is the one thing that catches it writing the opposite rule.\n * Local — no server, no credentials — so it can run before anything is\n * published.\n */\nexport function checkScenarios(document: unknown, scenarios: readonly Scenario[]): ToolResult {\n  if (scenarios.length === 0) {\n    /*\n     * The vacuous pass. \"All 0 scenarios hold\" is true, and it is the single\n     * most misleading sentence this tool could give an agent about to\n     * publish.\n     */\n    return {\n      ok: false,\n      summary:\n        'No scenarios to check, so this says nothing about the form. A scenario is a set of ' +\n        'answers and what the form should make of them — whether it validates, which errors ' +\n        'it gives, which fields are visible, and what the submission carries.',\n    }\n  }\n\n  const checked = validateForm(document)\n  if (!checked.ok) {\n    // One fact, not one failure per example: an agent given twenty identical\n    // \"no such field\" lines reads the noise and not the cause.\n    return {\n      ok: false,\n      summary: `Nothing was checked, because the document would not have worked. ${checked.summary}`,\n      data: checked.data,\n    }\n  }\n\n  const results = runScenarios(document as FormSchema, scenarios)\n  const broken = results.filter((result) => !result.passed)\n\n  return {\n    ok: broken.length === 0,\n    summary:\n      broken.length === 0\n        ? `All ${String(results.length)} scenarios hold.`\n        : `${String(broken.length)} of ${String(results.length)} scenarios no longer hold: ` +\n          `${broken.map((result) => `\"${result.name}\"`).join(', ')}. Each one below says what it ` +\n          `expected and what happened — a rule that compiles can still be the opposite of the ` +\n          `rule that was asked for.`,\n    data: { results },\n  }\n}\n\n/**\n * An edit held up against what is published, without publishing it.\n *\n * The MCP half of a builder's review step. `validate_form` says a document\n * works; it does not say that the rewrite dropped an option somebody has\n * already chosen, and an agent reading only its own two documents cannot tell\n * either. This fetches what is live, diffs against it, and hands back the\n * change list and the hash — so the agent can put *that* in front of a person\n * rather than \"I updated your form\", and then publish with the hash so the\n * edit cannot land on a version it was never written against\n * ([0109](../../../docs/decisions/0109-an-ai-edit-is-reviewed-before-it-lands.md)).\n */\nexport async function proposeFormEdit(\n  access: ServerAccess,\n  path: string,\n  document: unknown,\n): Promise<ToolResult> {\n  const checked = validateForm(document)\n  if (!checked.ok) {\n    // A change list for a document that cannot be published is a list of\n    // things that will not happen.\n    return {\n      ok: false,\n      summary: `Nothing to review, because the document would not have worked. ${checked.summary}`,\n      data: checked.data,\n    }\n  }\n\n  const current = await currentSchema(access, path)\n  if (!current.ok) return current.problem\n\n  const changes = diffSchemas(current.schema, document as FormSchema)\n  const worst = severityOf(changes)\n\n  return {\n    ok: true,\n    summary:\n      changes.length === 0\n        ? `No change: \"${path}\" is already this document. Nothing to publish.`\n        : `${String(changes.length)} change(s) to \"${path}\", worst severity ${worst}. ${ADVICE[worst]} ` +\n          `Show these to the person before publishing, then publish with basedOn=${current.hash}.`,\n    data: { severity: worst, changes, basedOn: current.hash },\n  }\n}\n\n/** What the server currently has for a path, and its hash. */\nasync function currentSchema(\n  access: ServerAccess,\n  path: string,\n): Promise<\n  { ok: true; schema: FormSchema; hash: string } | { ok: false; problem: ToolResult }\n> {\n  const fetched = await getForm(access, path)\n  if (!fetched.ok) return { ok: false, problem: fetched }\n\n  const schema = (fetched.data as { schema?: unknown } | undefined)?.schema\n  const valid = validateSchema(schema)\n  if (!valid.valid) {\n    // The published form does not validate against this reader's spec: an\n    // older client against a newer document. Said plainly rather than\n    // compared anyway, which would report nonsense as a change list.\n    return {\n      ok: false,\n      problem: {\n        ok: false,\n        summary:\n          `The form published at \"${path}\" is not a document this version of the tools can read, ` +\n          `so an edit cannot be compared against it. Upgrade the tools to the server's spec version.`,\n      },\n    }\n  }\n\n  return { ok: true, schema: schema as FormSchema, hash: schemaHash(schema as FormSchema) }\n}\n\nexport async function listForms(access: ServerAccess): Promise<ToolResult> {\n  return request(access, '/forms')\n}\n\nexport async function getForm(access: ServerAccess, path: string): Promise<ToolResult> {\n  return request(access, `/f/${encodeURIComponent(path)}`)\n}\n\nexport async function listSubmissions(access: ServerAccess, path: string): Promise<ToolResult> {\n  return request(access, `/f/${encodeURIComponent(path)}/submissions`)\n}\n\n/**\n * One request, and one place that knows how a failure is reported.\n *\n * Every error comes back as `ok: false` with the server's own words rather\n * than as a thrown exception, because a thrown exception reaches a model as a\n * stack trace and tells it nothing it can act on.\n */\nasync function request(\n  access: ServerAccess,\n  route: string,\n  init: RequestInit = {},\n): Promise<ToolResult> {\n  const send = access.fetch ?? globalThis.fetch\n  const url = `${access.baseUrl.replace(/\\/$/, '')}${route}`\n\n  let response: Response\n  try {\n    response = await send(url, {\n      ...init,\n      headers: {\n        ...(init.body === undefined ? {} : { 'content-type': 'application/json' }),\n        authorization: `Bearer ${access.apiKey}`,\n        ...init.headers,\n      },\n    })\n  } catch (error) {\n    return {\n      ok: false,\n      summary:\n        `Could not reach the formancy server at ${access.baseUrl}: ${error instanceof Error ? error.message : String(error)}. ` +\n        `Check FORMANCY_URL, and that the server is running.`,\n    }\n  }\n\n  const body: unknown = await response.json().catch(() => undefined)\n\n  if (!response.ok) {\n    const detail = messageFrom(body)\n    return {\n      ok: false,\n      summary:\n        response.status === 401 || response.status === 403\n          ? `The server refused the request (${String(response.status)}). Check FORMANCY_API_KEY.`\n          : `The server refused the request (${String(response.status)})${detail === undefined ? '.' : `: ${detail}`}`,\n      ...(body === undefined ? {} : { data: body }),\n    }\n  }\n\n  return { ok: true, summary: 'Done.', data: body }\n}\n\nfunction messageFrom(body: unknown): string | undefined {\n  if (body === null || typeof body !== 'object') return undefined\n  const record = body as { message?: unknown; error?: unknown }\n  if (typeof record.message === 'string') return record.message\n  if (typeof record.error === 'string') return record.error\n  return undefined\n}\n","import { createRequire } from 'node:module'\nimport { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js'\nimport type { ToolAnnotations } from '@modelcontextprotocol/sdk/types.js'\nimport { z } from 'zod'\nimport {\n  checkScenarios,\n  describeSpec,\n  diffForms,\n  getForm,\n  listForms,\n  listSubmissions,\n  proposeFormEdit,\n  publishForm,\n  validateForm,\n} from './tools.js'\nimport type { ServerAccess, ToolResult } from './tools.js'\n\n/**\n * The tools, wired to the protocol.\n *\n * Thin on purpose: every one of these is a call into `tools.ts` and a\n * conversion of the answer into MCP's content shape. The logic is tested\n * without a protocol, because a use-case that can only be exercised through a\n * transport is a use-case nobody tests properly.\n */\n\nexport interface McpServerOptions {\n  /**\n   * Where a formancy server is, if there is one.\n   *\n   * Absent is a supported state and not a degraded one: the four local tools\n   * — describe_spec, validate_form, diff_forms and the checking half of\n   * publishing — need no server at all, which means an agent can author and\n   * verify a whole form before anybody has deployed anything.\n   */\n  readonly access?: ServerAccess\n}\n\n/**\n * Names and descriptions, apart from the wiring.\n *\n * Exported because the description is the prompt: it is the only thing telling\n * a model when to reach for a tool, and a wrong one means a tool that is never\n * called or called for the wrong reason. Kept where it can be read and tested\n * rather than buried in a registration call.\n */\nexport const TOOL_DEFINITIONS = {\n  describe_spec:\n    'List every field type, layout kind, rule kind and format the formancy spec defines. ' +\n    'Call this BEFORE writing a form document. A type not in the list does not exist, whatever ' +\n    'other form builders call it.',\n  validate_form:\n    \"Run the server's publish checks without publishing: against the spec, through the engine \" +\n    'that renders the form (a misspelled field name, a cycle between computed fields, a ' +\n    'condition that is not certain to produce a bool), and for expressions that compile but ' +\n    'can never evaluate — the failure that is silent at runtime. Each comes back separately, ' +\n    'with what to change.',\n  diff_forms:\n    'Compare two form documents and report what the change would do to submissions already ' +\n    'collected: compatible, lossy, or breaking. Call this before publishing over an existing form.',\n  check_scenarios:\n    'Run a form against examples with their answers written down, and report which stopped ' +\n    'holding. The ONE check that catches a condition which compiles and is the opposite of ' +\n    'what was asked for — validate_form cannot, because both spellings are valid CEL. Needs no ' +\n    'server. Write a scenario for every rule you add: a set of answers, whether the form is ' +\n    'valid, which errors it gives, which fields are visible, and what the submission carries.',\n  propose_form_edit:\n    'Hold an edit up against the form that is published, WITHOUT publishing it. Answers with ' +\n    'what the edit would do to submissions already collected, and with a basedOn hash. ' +\n    'Call this instead of publish_form whenever you are changing a form that already exists: ' +\n    'show the changes to the person, get their agreement, then publish_form with the basedOn ' +\n    'it gave you.',\n  publish_form:\n    'Publish a form document to a formancy server. Validates locally first and refuses to send ' +\n    'an invalid document, so the reason comes back as something to fix rather than as a 422. ' +\n    'Pass basedOn when changing an existing form: a document is the WHOLE form, so publishing ' +\n    'one based on an older version silently discards whatever was published in between, and ' +\n    'the publish succeeds so nothing reports it.',\n  list_forms: 'List the forms on the formancy server, with their current version.',\n  get_form: 'Fetch one form document from the formancy server, with its version and schema hash.',\n  list_submissions: 'List submissions for one form.',\n} as const\n\n/**\n * The version this server reports.\n *\n * From the manifest, not typed. It said `0.1.0` while the package was on 0.3.0 —\n * a wrong statement in the one field a client uses to tell two installations\n * apart, and exactly the hand-written number this repository keeps finding\n * stale.\n *\n * `createRequire` rather than a JSON import: `../package.json` resolves to the\n * package root from both `src/server.ts` and `dist/index.mjs`, so the same line\n * is right in a test and in the published package.\n */\nexport const PACKAGE_VERSION: string = (\n  createRequire(import.meta.url)('../package.json') as { version: string }\n).version\n\n/**\n * What a client is told a result looks like, before it reads one.\n *\n * One envelope for every tool rather than a schema each. The shape is the same\n * everywhere — did it work, one sentence a person can read, and the part an\n * agent acts on — so a client that has learned it once has learned it for all\n * nine. A schema per tool would be nine places for `data` to drift from what\n * the tool returns.\n */\nconst RESULT_SHAPE = {\n  ok: z.boolean().describe('Whether the tool did what was asked.'),\n  summary: z.string().describe('One or two sentences a person can read.'),\n  data: z.unknown().optional().describe('The part an agent acts on, when there is one.'),\n}\n\n/**\n * Both readings of the answer: prose and structure.\n *\n * `content` is what a model reads; `structuredContent` is what a client parses\n * without pulling JSON back out of a string. Both travel — prose alone throws\n * away the part an agent acts on, and structure alone makes every refusal a\n * parsing exercise.\n */\nfunction respond(result: ToolResult): {\n  content: { type: 'text'; text: string }[]\n  structuredContent: Record<string, unknown>\n  isError?: boolean\n} {\n  const text =\n    result.data === undefined\n      ? result.summary\n      : `${result.summary}\\n\\n${JSON.stringify(result.data, null, 2)}`\n  return {\n    content: [{ type: 'text', text }],\n    structuredContent: {\n      ok: result.ok,\n      summary: result.summary,\n      ...(result.data === undefined ? {} : { data: result.data }),\n    },\n    // `isError` rather than a thrown exception: a refusal is an answer the model\n    // should read and act on, not a transport failure.\n    ...(result.ok ? {} : { isError: true }),\n  }\n}\n\n/**\n * What a tool will do, for a client deciding whether to ask first.\n *\n * The only thing a host has to tell `validate_form` from `publish_form` before\n * calling either. Without them a tool defaults to `readOnlyHint: false`,\n * `destructiveHint: true`, `openWorldHint: true` — so this server’s local,\n * read-only checks were all advertised as potentially destructive calls into an\n * open world, which is the opposite of true in every case.\n */\nconst LOCAL_CHECK: ToolAnnotations = {\n  readOnlyHint: true,\n  // No network and no server: these are the ones that work before anything is\n  // deployed, and saying so is what lets a host run them without asking.\n  openWorldHint: false,\n}\n\nconst SERVER_READ: ToolAnnotations = { readOnlyHint: true, openWorldHint: true }\n\n/**\n * Publishing. `destructiveHint: false` is not optimism: a published version is\n * immutable and a publish inserts a new row, so nothing is overwritten\n * ([0025](../../../docs/decisions/0025-immutability-in-the-database.md)).\n *\n * Not idempotent, though — publishing the same document twice makes a second\n * version rather than the same one, and saying otherwise would invite a client\n * to retry it freely.\n */\nconst SERVER_WRITE: ToolAnnotations = {\n  readOnlyHint: false,\n  destructiveHint: false,\n  idempotentHint: false,\n  openWorldHint: true,\n}\n\n/** A tool that needs a server, when there is not one. */\nfunction noServer(name: string): ToolResult {\n  return {\n    ok: false,\n    summary:\n      `${name} needs a formancy server, and none is configured. Set FORMANCY_URL and ` +\n      `FORMANCY_API_KEY. The local tools — describe_spec, validate_form and diff_forms — work ` +\n      `without one, so a form can be written and checked before a server exists.`,\n  }\n}\n\n/**\n * The arguments each tool takes.\n *\n * A document arrives as `unknown` on purpose: it is checked by\n * `validateSchema` against the spec's own JSON Schema, which is the one\n * authority on what a formancy document is. Describing its shape a second\n * time here in Zod would be a second authority, and the day the two disagree\n * the tool would reject a document the product accepts.\n */\nconst DOCUMENT = z.unknown().describe('A formancy form document (the JSON schema object).')\nconst FORM_PATH = z.string().min(1).describe(\"The form's path, as it appears in its URL.\")\n/*\n * The scenarios arrive loosely typed for the reason a document does: their\n * shape belongs to `@formancy/core`, and describing it a second time in Zod\n * would be a second authority that eventually disagrees with the first.\n */\nconst SCENARIOS = z\n  .array(z.unknown())\n  .describe(\n    'Examples with their answers: each is { name, changes, valid } and may also pin errors, ' +\n      'visible, values and absent.',\n  )\nconst BASED_ON = z\n  .string()\n  .optional()\n  .describe(\n    'The schema hash this edit was based on, from propose_form_edit or get_form. Given, the ' +\n      'publish is refused if the form has changed since.',\n  )\n\nexport function createFormancyMcpServer(options: McpServerOptions = {}): McpServer {\n  const server = new McpServer({ name: 'formancy', version: PACKAGE_VERSION })\n  const { access } = options\n\n  server.registerTool('describe_spec', { description: TOOL_DEFINITIONS.describe_spec, outputSchema: RESULT_SHAPE, annotations: LOCAL_CHECK }, () =>\n    respond(describeSpec()),\n  )\n\n  server.registerTool(\n    'validate_form',\n    { description: TOOL_DEFINITIONS.validate_form,\n      outputSchema: RESULT_SHAPE,\n      annotations: LOCAL_CHECK, inputSchema: { document: DOCUMENT } },\n    ({ document }) => respond(validateForm(document)),\n  )\n\n  server.registerTool(\n    'diff_forms',\n    {\n      description: TOOL_DEFINITIONS.diff_forms,\n      outputSchema: RESULT_SHAPE,\n      annotations: LOCAL_CHECK,\n      inputSchema: { before: DOCUMENT, after: DOCUMENT },\n    },\n    ({ before, after }) => respond(diffForms(before, after)),\n  )\n\n  server.registerTool(\n    'check_scenarios',\n    {\n      description: TOOL_DEFINITIONS.check_scenarios,\n      outputSchema: RESULT_SHAPE,\n      annotations: LOCAL_CHECK,\n      inputSchema: { document: DOCUMENT, scenarios: SCENARIOS },\n    },\n    ({ document, scenarios }) => respond(checkScenarios(document, scenarios as never)),\n  )\n\n  server.registerTool(\n    'propose_form_edit',\n    {\n      description: TOOL_DEFINITIONS.propose_form_edit,\n      outputSchema: RESULT_SHAPE,\n      annotations: SERVER_READ,\n      inputSchema: { path: FORM_PATH, document: DOCUMENT },\n    },\n    async ({ path, document }) =>\n      respond(\n        access === undefined\n          ? noServer('propose_form_edit')\n          : await proposeFormEdit(access, path, document),\n      ),\n  )\n\n  server.registerTool(\n    'publish_form',\n    {\n      description: TOOL_DEFINITIONS.publish_form,\n      outputSchema: RESULT_SHAPE,\n      annotations: SERVER_WRITE,\n      inputSchema: { path: FORM_PATH, document: DOCUMENT, basedOn: BASED_ON },\n    },\n    async ({ path, document, basedOn }) =>\n      respond(\n        access === undefined\n          ? noServer('publish_form')\n          : await publishForm(access, path, document, basedOn),\n      ),\n  )\n\n  server.registerTool('list_forms', { description: TOOL_DEFINITIONS.list_forms, outputSchema: RESULT_SHAPE, annotations: SERVER_READ }, async () =>\n    respond(access === undefined ? noServer('list_forms') : await listForms(access)),\n  )\n\n  server.registerTool(\n    'get_form',\n    { description: TOOL_DEFINITIONS.get_form,\n      outputSchema: RESULT_SHAPE,\n      annotations: SERVER_READ, inputSchema: { path: FORM_PATH } },\n    async ({ path }) =>\n      respond(access === undefined ? noServer('get_form') : await getForm(access, path)),\n  )\n\n  server.registerTool(\n    'list_submissions',\n    { description: TOOL_DEFINITIONS.list_submissions,\n      outputSchema: RESULT_SHAPE,\n      annotations: SERVER_READ, inputSchema: { path: FORM_PATH } },\n    async ({ path }) =>\n      respond(\n        access === undefined ? noServer('list_submissions') : await listSubmissions(access, path),\n      ),\n  )\n\n  /*\n   * The three things somebody asks an agent to do with a form.\n   *\n   * A tool says what a model CAN call; a prompt says what to do with the set\n   * of them, in order. That order is most of the value: a model that writes\n   * the document first and calls `describe_spec` afterwards has already\n   * invented `type: \"email\"`, and the correction costs a turn. Scenarios\n   * written after the rules they check tend to agree with whatever the rules\n   * happen to say.\n   *\n   * MCP's own answer to a skill pack, so it arrives with the server rather\n   * than being documentation somebody has to find and paste\n   * ([0112](../../../docs/decisions/0112-the-mcp-server-says-what-its-tools-do.md)).\n   */\n  server.registerPrompt(\n    'build_a_form',\n    {\n      title: 'Build a form',\n      description:\n        'Write a new formancy form from a description, in the order that gets it right ' +\n        'the first time: the spec, then the document, then examples that check the rules.',\n      argsSchema: {\n        description: z.string().min(1).describe('What the form is for, in a sentence or two.'),\n      },\n    },\n    ({ description }) => ({\n      messages: [\n        {\n          role: 'user' as const,\n          content: {\n            type: 'text' as const,\n            text: [\n              `Write a formancy form for: ${description}`,\n              '',\n              'Work in this order, and do not skip the first step:',\n              '',\n              '1. Call `describe_spec`. It lists every field type, widget, rule kind and',\n              '   format the document format has. A type that is not in that list does not',\n              '   exist, whatever other form builders call it — an email field is `text`',\n              '   with `format: \"email\"`.',\n              '2. Write the document.',\n              '3. Call `validate_form`. It runs the schema check, the engine compile, and',\n              '   the check for expressions that compile and can never evaluate. Fix what',\n              '   it names and call it again.',\n              '4. Write a scenario for every rule, and call `check_scenarios`. This is the',\n              '   only check that catches a condition written backwards: `a == b` and',\n              '   `a != b` are both valid CEL and both pass step 3. Write the scenarios',\n              '   from the description above rather than from the rules you just wrote, or',\n              '   they will agree with whatever the rules happen to say.',\n              '5. Show the person the form and what the scenarios checked, before',\n              '   publishing anything.',\n            ].join('\\n'),\n          },\n        },\n      ],\n    }),\n  )\n\n  server.registerPrompt(\n    'change_a_form',\n    {\n      title: 'Change a published form',\n      description:\n        'Edit a form that already exists, without discarding somebody else’s work and ' +\n        'without publishing a change nobody has read.',\n      argsSchema: {\n        path: z.string().min(1).describe(\"The form's path, as it appears in its URL.\"),\n        change: z.string().min(1).describe('What should be different, in a sentence.'),\n      },\n    },\n    ({ path, change }) => ({\n      messages: [\n        {\n          role: 'user' as const,\n          content: {\n            type: 'text' as const,\n            text: [\n              `Change the form at \"${path}\": ${change}`,\n              '',\n              'A formancy document is the WHOLE form, so an edit based on an older version',\n              'silently discards whatever was published in between — and the publish',\n              'succeeds, so nothing reports it. Work this way:',\n              '',\n              '1. Call `get_form` for the current document.',\n              '2. Make the change to it.',\n              '3. Call `propose_form_edit`. It publishes nothing, and answers with what the',\n              '   edit would cost submissions already collected, plus a `basedOn` hash.',\n              '4. Show the person that list. A change marked lossy means stored answers lose',\n              '   the field they live in; say so plainly before going further.',\n              '5. Call `publish_form` with `basedOn` set to the hash from step 3. If it',\n              '   refuses, the form moved — start again from step 1 rather than publishing',\n              '   over it.',\n            ].join('\\n'),\n          },\n        },\n      ],\n    }),\n  )\n\n  server.registerPrompt(\n    'embed_a_form',\n    {\n      title: 'Embed a form in an application',\n      description: 'Render a formancy document in a React or Angular application.',\n      argsSchema: {\n        framework: z.enum(['react', 'angular']).describe('Which renderer the application uses.'),\n      },\n    },\n    ({ framework }) => ({\n      messages: [\n        {\n          role: 'user' as const,\n          content: {\n            type: 'text' as const,\n            // One framework's instructions, never both: a prompt that lists\n            // the alternative makes the model choose again, having just been\n            // told which one this application uses.\n            text:\n              framework === 'angular'\n                ? [\n                    'Render a formancy form in an Angular application.',\n                    '',\n                    '- Install `@formancy/angular` and `@formancy/core`.',\n                    '- Build the engine once with `createFormEngine({ schema })` and provide',\n                    '  it with `provideFormancy(engine)`.',\n                    '- Render `<formancy-form />`. It is zoneless and OnPush, and the engine',\n                    '  is the state — there is nothing to copy into a component.',\n                    '- Styling is yours: the renderer ships no CSS. A theme from',\n                    '  `@formancy/themes` is one stylesheet import and a',\n                    '  `data-formancy-theme` attribute, or write your own against the',\n                    '  `data-formancy-part` hooks.',\n                    '- The submitted value is `engine.value()`. Validate it on the server',\n                    '  too: the same engine runs there, so the two cannot disagree.',\n                  ].join('\\n')\n                : [\n                    'Render a formancy form in a React application.',\n                    '',\n                    '- Install `@formancy/react` and `@formancy/core`.',\n                    '- Build the engine once with `createFormEngine({ schema })` and put it',\n                    '  in `<FormancyProvider engine={engine}>`.',\n                    '- Render `<FormancyForm />`. The engine is the state; there is nothing',\n                    '  to copy into component state and nothing to memoise.',\n                    '- Styling is yours: the renderer ships no CSS. A theme from',\n                    '  `@formancy/themes` is one stylesheet import and a',\n                    '  `data-formancy-theme` attribute, or write your own against the',\n                    '  `data-formancy-part` hooks.',\n                    '- The submitted value is `engine.value()`. Validate it on the server',\n                    '  too: the same engine runs there, so the two cannot disagree.',\n                  ].join('\\n'),\n          },\n        },\n      ],\n    }),\n  )\n\n  return server\n}\n"],"mappings":";;;;;;;;;;;;;;;AAgDA,SAAgB,eAA2B;CACzC,MAAM,QAAQ,eAAe;CAC7B,OAAO;EACL,IAAI;EACJ,SACE,iCAAiC,MAAM,aAAa,KAAK,OAAO,EAAE,8BAC1D,MAAM,mBAAmB;EAEnC,MAAM;CACR;AACF;;;;;;;;;;;;;;;;;;AAmBA,SAAgB,aAAa,UAA+B;CAC1D,MAAM,SAAS,eAAe,QAAQ;CACtC,IAAI,CAAC,OAAO,OACV,OAAO;EACL,IAAI;EACJ,SAAS,kCAAkC,OAAO,OAAO,OAAO,MAAM,EAAE;EACxE,MAAM;GAAE,OAAO;GAAO,QAAQ,OAAO;EAAO;CAC9C;CAGF,MAAM,UAAU,cAAc,QAAsB;CACpD,IAAI,YAAY,KAAA,GACd,OAAO;EACL,IAAI;EACJ,SACE,oMAEA;EACF,MAAM;GAAE,OAAO;GAAM,eAAe;EAAQ;CAC9C;CAGF,MAAM,WAAW,mBAAmB,QAAsB;CAC1D,IAAI,SAAS,SAAS,GACpB,OAAO;EACL,IAAI;EACJ,SACE,2CAA2C,OAAO,SAAS,MAAM,EAAE;EAGrE,MAAM;GAAE,OAAO;GAAM,oBAAoB;EAAS;CACpD;CAGF,OAAO;EACL,IAAI;EACJ,SAAS;EACT,MAAM,EAAE,OAAO,KAAK;CACtB;AACF;;;;;;;AAQA,SAAgB,UAAU,QAAiB,OAA4B;CACrE,MAAM,QAAQ,eAAe,MAAM;CACnC,MAAM,SAAS,eAAe,KAAK;CACnC,IAAI,CAAC,MAAM,SAAS,CAAC,OAAO,OAC1B,OAAO;EACL,IAAI;EACJ,SAAS;EACT,MAAM;GAAE,aAAa,MAAM;GAAO,YAAY,OAAO;EAAM;CAC7D;CAGF,MAAM,UAAU,YAAY,QAAsB,KAAmB;CACrE,MAAM,QAAQ,WAAW,OAAO;CAEhC,OAAO;EACL,IAAI;EACJ,SACE,QAAQ,WAAW,IACf,mEACA,GAAG,OAAO,QAAQ,MAAM,EAAE,6BAA6B,MAAM,MAAM,OAAO;EAChF,MAAM;GAAE,UAAU;GAAO;EAAQ;CACnC;AACF;AAEA,MAAM,SAAiF;CACrF,MAAM;CACN,YAAY;CACZ,OAAO;CACP,UACE;AACJ;AAEA,SAAS,WAAW,SAA0E;CAC5F,IAAI,QAAQ,MAAM,WAAW,OAAO,aAAa,UAAU,GAAG,OAAO;CACrE,IAAI,QAAQ,MAAM,WAAW,OAAO,aAAa,OAAO,GAAG,OAAO;CAClE,IAAI,QAAQ,SAAS,GAAG,OAAO;CAC/B,OAAO;AACT;;;;;;;;;AAYA,eAAsB,YACpB,QACA,MACA,UAUA,SACqB;CACrB,MAAM,UAAU,aAAa,QAAQ;CACrC,IAAI,CAAC,QAAQ,IACX,OAAO;EACL,IAAI;EACJ,SAAS,8DAA8D,QAAQ;EAC/E,MAAM,QAAQ;CAChB;CAGF,IAAI,YAAY,KAAA,GAAW;EACzB,MAAM,UAAU,MAAM,cAAc,QAAQ,IAAI;EAChD,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ;EAChC,IAAI,QAAQ,SAAS,SAOnB,OAAO;GACL,IAAI;GACJ,SACE,mBAAmB,KAAK;GAG1B,MAAM;IAAE;IAAS,SAAS,QAAQ;GAAK;EACzC;CAEJ;CAEA,OAAO,QAAQ,QAAQ,UAAU;EAC/B,QAAQ;EACR,MAAM,KAAK,UAAU;GAAE;GAAM,QAAQ;EAAS,CAAC;CACjD,CAAC;AACH;;;;;;;;;;;;;;;AAgBA,SAAgB,eAAe,UAAmB,WAA4C;CAC5F,IAAI,UAAU,WAAW,GAMvB,OAAO;EACL,IAAI;EACJ,SACE;CAGJ;CAGF,MAAM,UAAU,aAAa,QAAQ;CACrC,IAAI,CAAC,QAAQ,IAGX,OAAO;EACL,IAAI;EACJ,SAAS,oEAAoE,QAAQ;EACrF,MAAM,QAAQ;CAChB;CAGF,MAAM,UAAU,aAAa,UAAwB,SAAS;CAC9D,MAAM,SAAS,QAAQ,QAAQ,WAAW,CAAC,OAAO,MAAM;CAExD,OAAO;EACL,IAAI,OAAO,WAAW;EACtB,SACE,OAAO,WAAW,IACd,OAAO,OAAO,QAAQ,MAAM,EAAE,oBAC9B,GAAG,OAAO,OAAO,MAAM,EAAE,MAAM,OAAO,QAAQ,MAAM,EAAE,6BACnD,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;EAG/D,MAAM,EAAE,QAAQ;CAClB;AACF;;;;;;;;;;;;;AAcA,eAAsB,gBACpB,QACA,MACA,UACqB;CACrB,MAAM,UAAU,aAAa,QAAQ;CACrC,IAAI,CAAC,QAAQ,IAGX,OAAO;EACL,IAAI;EACJ,SAAS,kEAAkE,QAAQ;EACnF,MAAM,QAAQ;CAChB;CAGF,MAAM,UAAU,MAAM,cAAc,QAAQ,IAAI;CAChD,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ;CAEhC,MAAM,UAAU,YAAY,QAAQ,QAAQ,QAAsB;CAClE,MAAM,QAAQ,WAAW,OAAO;CAEhC,OAAO;EACL,IAAI;EACJ,SACE,QAAQ,WAAW,IACf,eAAe,KAAK,mDACpB,GAAG,OAAO,QAAQ,MAAM,EAAE,iBAAiB,KAAK,oBAAoB,MAAM,IAAI,OAAO,OAAO,yEACnB,QAAQ,KAAK;EAC5F,MAAM;GAAE,UAAU;GAAO;GAAS,SAAS,QAAQ;EAAK;CAC1D;AACF;;AAGA,eAAe,cACb,QACA,MAGA;CACA,MAAM,UAAU,MAAM,QAAQ,QAAQ,IAAI;CAC1C,IAAI,CAAC,QAAQ,IAAI,OAAO;EAAE,IAAI;EAAO,SAAS;CAAQ;CAEtD,MAAM,SAAU,QAAQ,MAA2C;CAEnE,IAAI,CADU,eAAe,MACpB,CAAC,CAAC,OAIT,OAAO;EACL,IAAI;EACJ,SAAS;GACP,IAAI;GACJ,SACE,0BAA0B,KAAK;EAEnC;CACF;CAGF,OAAO;EAAE,IAAI;EAAc;EAAsB,MAAM,WAAW,MAAoB;CAAE;AAC1F;AAEA,eAAsB,UAAU,QAA2C;CACzE,OAAO,QAAQ,QAAQ,QAAQ;AACjC;AAEA,eAAsB,QAAQ,QAAsB,MAAmC;CACrF,OAAO,QAAQ,QAAQ,MAAM,mBAAmB,IAAI,GAAG;AACzD;AAEA,eAAsB,gBAAgB,QAAsB,MAAmC;CAC7F,OAAO,QAAQ,QAAQ,MAAM,mBAAmB,IAAI,EAAE,aAAa;AACrE;;;;;;;;AASA,eAAe,QACb,QACA,OACA,OAAoB,CAAC,GACA;CACrB,MAAM,OAAO,OAAO,SAAS,WAAW;CACxC,MAAM,MAAM,GAAG,OAAO,QAAQ,QAAQ,OAAO,EAAE,IAAI;CAEnD,IAAI;CACJ,IAAI;EACF,WAAW,MAAM,KAAK,KAAK;GACzB,GAAG;GACH,SAAS;IACP,GAAI,KAAK,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,gBAAgB,mBAAmB;IACxE,eAAe,UAAU,OAAO;IAChC,GAAG,KAAK;GACV;EACF,CAAC;CACH,SAAS,OAAO;EACd,OAAO;GACL,IAAI;GACJ,SACE,0CAA0C,OAAO,QAAQ,IAAI,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,EAAE;EAExH;CACF;CAEA,MAAM,OAAgB,MAAM,SAAS,KAAK,CAAC,CAAC,YAAY,KAAA,CAAS;CAEjE,IAAI,CAAC,SAAS,IAAI;EAChB,MAAM,SAAS,YAAY,IAAI;EAC/B,OAAO;GACL,IAAI;GACJ,SACE,SAAS,WAAW,OAAO,SAAS,WAAW,MAC3C,mCAAmC,OAAO,SAAS,MAAM,EAAE,8BAC3D,mCAAmC,OAAO,SAAS,MAAM,EAAE,GAAG,WAAW,KAAA,IAAY,MAAM,KAAK;GACtG,GAAI,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM,KAAK;EAC7C;CACF;CAEA,OAAO;EAAE,IAAI;EAAM,SAAS;EAAS,MAAM;CAAK;AAClD;AAEA,SAAS,YAAY,MAAmC;CACtD,IAAI,SAAS,QAAQ,OAAO,SAAS,UAAU,OAAO,KAAA;CACtD,MAAM,SAAS;CACf,IAAI,OAAO,OAAO,YAAY,UAAU,OAAO,OAAO;CACtD,IAAI,OAAO,OAAO,UAAU,UAAU,OAAO,OAAO;AAEtD;;;;;;;;;;;AC3XA,MAAa,mBAAmB;CAC9B,eACE;CAGF,eACE;CAKF,YACE;CAEF,iBACE;CAKF,mBACE;CAKF,cACE;CAKF,YAAY;CACZ,UAAU;CACV,kBAAkB;AACpB;;;;;;;;;;;;;AAcA,MAAa,kBACX,cAAc,YAAY,GAAG,CAAC,CAAC,iBAAiB,CAAC,CACjD;;;;;;;;;;AAWF,MAAM,eAAe;CACnB,IAAI,EAAE,QAAQ,CAAC,CAAC,SAAS,sCAAsC;CAC/D,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,yCAAyC;CACtE,MAAM,EAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,+CAA+C;AACvF;;;;;;;;;AAUA,SAAS,QAAQ,QAIf;CAKA,OAAO;EACL,SAAS,CAAC;GAAE,MAAM;GAAQ,MAJ1B,OAAO,SAAS,KAAA,IACZ,OAAO,UACP,GAAG,OAAO,QAAQ,MAAM,KAAK,UAAU,OAAO,MAAM,MAAM,CAAC;EAEhC,CAAC;EAChC,mBAAmB;GACjB,IAAI,OAAO;GACX,SAAS,OAAO;GAChB,GAAI,OAAO,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM,OAAO,KAAK;EAC3D;EAGA,GAAI,OAAO,KAAK,CAAC,IAAI,EAAE,SAAS,KAAK;CACvC;AACF;;;;;;;;;;AAWA,MAAM,cAA+B;CACnC,cAAc;CAGd,eAAe;AACjB;AAEA,MAAM,cAA+B;CAAE,cAAc;CAAM,eAAe;AAAK;;;;;;;;;;AAW/E,MAAM,eAAgC;CACpC,cAAc;CACd,iBAAiB;CACjB,gBAAgB;CAChB,eAAe;AACjB;;AAGA,SAAS,SAAS,MAA0B;CAC1C,OAAO;EACL,IAAI;EACJ,SACE,GAAG,KAAK;CAGZ;AACF;;;;;;;;;;AAWA,MAAM,WAAW,EAAE,QAAQ,CAAC,CAAC,SAAS,oDAAoD;AAC1F,MAAM,YAAY,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,4CAA4C;AAMzF,MAAM,YAAY,EACf,MAAM,EAAE,QAAQ,CAAC,CAAC,CAClB,SACC,oHAEF;AACF,MAAM,WAAW,EACd,OAAO,CAAC,CACR,SAAS,CAAC,CACV,SACC,0IAEF;AAEF,SAAgB,wBAAwB,UAA4B,CAAC,GAAc;CACjF,MAAM,SAAS,IAAI,UAAU;EAAE,MAAM;EAAY,SAAS;CAAgB,CAAC;CAC3E,MAAM,EAAE,WAAW;CAEnB,OAAO,aAAa,iBAAiB;EAAE,aAAa,iBAAiB;EAAe,cAAc;EAAc,aAAa;CAAY,SACvI,QAAQ,aAAa,CAAC,CACxB;CAEA,OAAO,aACL,iBACA;EAAE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EAAa,aAAa,EAAE,UAAU,SAAS;CAAE,IAC/D,EAAE,eAAe,QAAQ,aAAa,QAAQ,CAAC,CAClD;CAEA,OAAO,aACL,cACA;EACE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EACb,aAAa;GAAE,QAAQ;GAAU,OAAO;EAAS;CACnD,IACC,EAAE,QAAQ,YAAY,QAAQ,UAAU,QAAQ,KAAK,CAAC,CACzD;CAEA,OAAO,aACL,mBACA;EACE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EACb,aAAa;GAAE,UAAU;GAAU,WAAW;EAAU;CAC1D,IACC,EAAE,UAAU,gBAAgB,QAAQ,eAAe,UAAU,SAAkB,CAAC,CACnF;CAEA,OAAO,aACL,qBACA;EACE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EACb,aAAa;GAAE,MAAM;GAAW,UAAU;EAAS;CACrD,GACA,OAAO,EAAE,MAAM,eACb,QACE,WAAW,KAAA,IACP,SAAS,mBAAmB,IAC5B,MAAM,gBAAgB,QAAQ,MAAM,QAAQ,CAClD,CACJ;CAEA,OAAO,aACL,gBACA;EACE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EACb,aAAa;GAAE,MAAM;GAAW,UAAU;GAAU,SAAS;EAAS;CACxE,GACA,OAAO,EAAE,MAAM,UAAU,cACvB,QACE,WAAW,KAAA,IACP,SAAS,cAAc,IACvB,MAAM,YAAY,QAAQ,MAAM,UAAU,OAAO,CACvD,CACJ;CAEA,OAAO,aAAa,cAAc;EAAE,aAAa,iBAAiB;EAAY,cAAc;EAAc,aAAa;CAAY,GAAG,YACpI,QAAQ,WAAW,KAAA,IAAY,SAAS,YAAY,IAAI,MAAM,UAAU,MAAM,CAAC,CACjF;CAEA,OAAO,aACL,YACA;EAAE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EAAa,aAAa,EAAE,MAAM,UAAU;CAAE,GAC7D,OAAO,EAAE,WACP,QAAQ,WAAW,KAAA,IAAY,SAAS,UAAU,IAAI,MAAM,QAAQ,QAAQ,IAAI,CAAC,CACrF;CAEA,OAAO,aACL,oBACA;EAAE,aAAa,iBAAiB;EAC9B,cAAc;EACd,aAAa;EAAa,aAAa,EAAE,MAAM,UAAU;CAAE,GAC7D,OAAO,EAAE,WACP,QACE,WAAW,KAAA,IAAY,SAAS,kBAAkB,IAAI,MAAM,gBAAgB,QAAQ,IAAI,CAC1F,CACJ;CAgBA,OAAO,eACL,gBACA;EACE,OAAO;EACP,aACE;EAEF,YAAY,EACV,aAAa,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,6CAA6C,EACvF;CACF,IACC,EAAE,mBAAmB,EACpB,UAAU,CACR;EACE,MAAM;EACN,SAAS;GACP,MAAM;GACN,MAAM;IACJ,8BAA8B;IAC9B;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;GACF,CAAC,CAAC,KAAK,IAAI;EACb;CACF,CACF,EACF,EACF;CAEA,OAAO,eACL,iBACA;EACE,OAAO;EACP,aACE;EAEF,YAAY;GACV,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,4CAA4C;GAC7E,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,0CAA0C;EAC/E;CACF,IACC,EAAE,MAAM,cAAc,EACrB,UAAU,CACR;EACE,MAAM;EACN,SAAS;GACP,MAAM;GACN,MAAM;IACJ,uBAAuB,KAAK,KAAK;IACjC;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;GACF,CAAC,CAAC,KAAK,IAAI;EACb;CACF,CACF,EACF,EACF;CAEA,OAAO,eACL,gBACA;EACE,OAAO;EACP,aAAa;EACb,YAAY,EACV,WAAW,EAAE,KAAK,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,SAAS,sCAAsC,EACzF;CACF,IACC,EAAE,iBAAiB,EAClB,UAAU,CACR;EACE,MAAM;EACN,SAAS;GACP,MAAM;GAIN,MACE,cAAc,YACV;IACE;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;GACF,CAAC,CAAC,KAAK,IAAI,IACX;IACE;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;GACF,CAAC,CAAC,KAAK,IAAI;EACnB;CACF,CACF,EACF,EACF;CAEA,OAAO;AACT"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@formancy/mcp",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "description": "formancy as tools for a coding agent: author a form, have it checked before it exists, and publish it.",
   "license": "Apache-2.0",
   "type": "module",
@@ -20,8 +20,8 @@
     "NOTICE"
   ],
   "dependencies": {
-    "@formancy/core": "0.3.0",
-    "@formancy/spec": "0.3.0",
+    "@formancy/core": "0.4.0",
+    "@formancy/spec": "0.4.0",
     "@modelcontextprotocol/sdk": "^1.30.1",
     "zod": "^4.6.5"
   },

package/dist/server-CdcuxHHN.mjs

@@ -1,280 +0,0 @@
-import { authoringFacts, diffSchemas } from "@formancy/spec";
-import { validateSchema } from "@formancy/spec/validate";
-import { engineRefusal, expressionProblems } from "@formancy/core";
-import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
-import { z } from "zod";
-//#region src/tools.ts
-/**
-* Everything the spec allows, so a model does not have to guess.
-*
-* The cheapest tool here and probably the most valuable: without it a model
-* invents `type: "phone"` or `type: "email"` from its memory of other form
-* builders, gets a validation error, and burns a turn finding out that `text`
-* with `format: "email"` is the answer. Told up front, it does not.
-*/
-function describeSpec() {
-	const facts = authoringFacts();
-	return {
-		ok: true,
-		summary: `formancy speaks spec versions ${facts.specVersions.join(" and ")}; new documents should use "${facts.currentSpecVersion}". A field type not in this list does not exist, whatever other form builders call it — an email field is type "text" with format "email".`,
-		data: facts
-	};
-}
-/**
-* Check a document without publishing it — the server's publish checks, in the
-* gate's order. Only the analysis of regular-expression `pattern`s stays on
-* the server: it needs an analysis engine this package does not carry, and the
-* server's refusal names the pattern.
-*
-* Schema validity, the engine's compile and expression sanity are different
-* failures with different fixes, and a later check means nothing in a document
-* an earlier one has rejected. So the structure is checked first, then whether
-* the engine would open the document at all, then whether its expressions
-* would ever do anything.
-*
-* The middle check was once missing, and this tool told a model that a form
-* with a misspelled field name was valid: the validator does not read CEL and
-* the expression check skips what the engine refuses, so nothing here asked
-* the engine. The server did, and refused it.
-*/
-function validateForm(document) {
-	const result = validateSchema(document);
-	if (!result.valid) return {
-		ok: false,
-		summary: `Not a valid formancy document: ${String(result.errors.length)} problem(s). Fix these before publishing.`,
-		data: {
-			valid: false,
-			errors: result.errors
-		}
-	};
-	const refusal = engineRefusal(document);
-	if (refusal !== void 0) return {
-		ok: false,
-		summary: "The document is structurally valid, but the engine refuses to open it — the same engine the server's publish gate and every renderer build, so this form could be neither published nor shown. " + refusal,
-		data: {
-			valid: true,
-			engineRefusal: refusal
-		}
-	};
-	const problems = expressionProblems(document);
-	if (problems.length > 0) return {
-		ok: false,
-		summary: `The document is structurally valid, but ${String(problems.length)} expression(s) will never do anything. These compile and then fail at evaluation, so nothing would report them at runtime: a computed field would stay empty and a visible rule would show the field it was meant to hide.`,
-		data: {
-			valid: true,
-			expressionProblems: problems
-		}
-	};
-	return {
-		ok: true,
-		summary: "Valid, and every expression type-checks.",
-		data: { valid: true }
-	};
-}
-/**
-* What a change does to the submissions already collected.
-*
-* The question an agent cannot answer by reading the two documents, and the
-* one whose wrong answer is permanent. `breaking` is not advice.
-*/
-function diffForms(before, after) {
-	const first = validateSchema(before);
-	const second = validateSchema(after);
-	if (!first.valid || !second.valid) return {
-		ok: false,
-		summary: "Both documents have to be valid before they can be compared. Run validate_form on each.",
-		data: {
-			beforeValid: first.valid,
-			afterValid: second.valid
-		}
-	};
-	const changes = diffSchemas(before, after);
-	const worst = severityOf(changes);
-	return {
-		ok: true,
-		summary: changes.length === 0 ? "No change: the two documents are identical once canonicalised." : `${String(changes.length)} change(s), worst severity ${worst}. ` + ADVICE[worst],
-		data: {
-			severity: worst,
-			changes
-		}
-	};
-}
-const ADVICE = {
-	none: "",
-	compatible: "Existing drafts and submissions rebind silently.",
-	lossy: "Existing data rebinds, but some answers no longer have a field to live in. They are kept under data.__orphaned rather than deleted.",
-	breaking: "Existing drafts CANNOT rebind and will open read-only against the version that produced them. Say so before publishing, and consider a new form instead."
-};
-function severityOf(changes) {
-	if (changes.some((change) => change.severity === "breaking")) return "breaking";
-	if (changes.some((change) => change.severity === "lossy")) return "lossy";
-	if (changes.length > 0) return "compatible";
-	return "none";
-}
-/**
-* Publish, but check first.
-*
-* The local validation is not an optimisation. A model that gets a 422 back
-* has to guess what the server meant from an error shape it has never seen;
-* a model that gets `expressionProblems` back is told which rule, in which
-* words, and what to write instead. And an invalid document never travels.
-*/
-async function publishForm(access, path, document) {
-	const checked = validateForm(document);
-	if (!checked.ok) return {
-		ok: false,
-		summary: `Not published, because the document would not have worked. ${checked.summary}`,
-		data: checked.data
-	};
-	return request(access, "/forms", {
-		method: "POST",
-		body: JSON.stringify({
-			path,
-			schema: document
-		})
-	});
-}
-async function listForms(access) {
-	return request(access, "/forms");
-}
-async function getForm(access, path) {
-	return request(access, `/f/${encodeURIComponent(path)}`);
-}
-async function listSubmissions(access, path) {
-	return request(access, `/f/${encodeURIComponent(path)}/submissions`);
-}
-/**
-* One request, and one place that knows how a failure is reported.
-*
-* Every error comes back as `ok: false` with the server's own words rather
-* than as a thrown exception, because a thrown exception reaches a model as a
-* stack trace and tells it nothing it can act on.
-*/
-async function request(access, route, init = {}) {
-	const send = access.fetch ?? globalThis.fetch;
-	const url = `${access.baseUrl.replace(/\/$/, "")}${route}`;
-	let response;
-	try {
-		response = await send(url, {
-			...init,
-			headers: {
-				...init.body === void 0 ? {} : { "content-type": "application/json" },
-				authorization: `Bearer ${access.apiKey}`,
-				...init.headers
-			}
-		});
-	} catch (error) {
-		return {
-			ok: false,
-			summary: `Could not reach the formancy server at ${access.baseUrl}: ${error instanceof Error ? error.message : String(error)}. Check FORMANCY_URL, and that the server is running.`
-		};
-	}
-	const body = await response.json().catch(() => void 0);
-	if (!response.ok) {
-		const detail = messageFrom(body);
-		return {
-			ok: false,
-			summary: response.status === 401 || response.status === 403 ? `The server refused the request (${String(response.status)}). Check FORMANCY_API_KEY.` : `The server refused the request (${String(response.status)})${detail === void 0 ? "." : `: ${detail}`}`,
-			...body === void 0 ? {} : { data: body }
-		};
-	}
-	return {
-		ok: true,
-		summary: "Done.",
-		data: body
-	};
-}
-function messageFrom(body) {
-	if (body === null || typeof body !== "object") return void 0;
-	const record = body;
-	if (typeof record.message === "string") return record.message;
-	if (typeof record.error === "string") return record.error;
-}
-//#endregion
-//#region src/server.ts
-/**
-* Names and descriptions, apart from the wiring.
-*
-* Exported because the description is the prompt: it is the only thing telling
-* a model when to reach for a tool, and a wrong one means a tool that is never
-* called or called for the wrong reason. Kept where it can be read and tested
-* rather than buried in a registration call.
-*/
-const TOOL_DEFINITIONS = {
-	describe_spec: "List every field type, layout kind, rule kind and format the formancy spec defines. Call this BEFORE writing a form document. A type not in the list does not exist, whatever other form builders call it.",
-	validate_form: "Run the server's publish checks without publishing: against the spec, through the engine that renders the form (a misspelled field name, a cycle between computed fields, a condition that is not certain to produce a bool), and for expressions that compile but can never evaluate — the failure that is silent at runtime. Each comes back separately, with what to change.",
-	diff_forms: "Compare two form documents and report what the change would do to submissions already collected: compatible, lossy, or breaking. Call this before publishing over an existing form.",
-	publish_form: "Publish a form document to a formancy server. Validates locally first and refuses to send an invalid document, so the reason comes back as something to fix rather than as a 422.",
-	list_forms: "List the forms on the formancy server, with their current version.",
-	get_form: "Fetch one form document from the formancy server, with its version and schema hash.",
-	list_submissions: "List submissions for one form."
-};
-/** MCP wants string content; a tool that answered with prose alone would throw
-*  away the part an agent can act on, so both travel. */
-function respond(result) {
-	return {
-		content: [{
-			type: "text",
-			text: result.data === void 0 ? result.summary : `${result.summary}\n\n${JSON.stringify(result.data, null, 2)}`
-		}],
-		...result.ok ? {} : { isError: true }
-	};
-}
-/** A tool that needs a server, when there is not one. */
-function noServer(name) {
-	return {
-		ok: false,
-		summary: `${name} needs a formancy server, and none is configured. Set FORMANCY_URL and FORMANCY_API_KEY. The local tools — describe_spec, validate_form and diff_forms — work without one, so a form can be written and checked before a server exists.`
-	};
-}
-/**
-* The arguments each tool takes.
-*
-* A document arrives as `unknown` on purpose: it is checked by
-* `validateSchema` against the spec's own JSON Schema, which is the one
-* authority on what a formancy document is. Describing its shape a second
-* time here in Zod would be a second authority, and the day the two disagree
-* the tool would reject a document the product accepts.
-*/
-const DOCUMENT = z.unknown().describe("A formancy form document (the JSON schema object).");
-const FORM_PATH = z.string().min(1).describe("The form's path, as it appears in its URL.");
-function createFormancyMcpServer(options = {}) {
-	const server = new McpServer({
-		name: "formancy",
-		version: "0.1.0"
-	});
-	const { access } = options;
-	server.registerTool("describe_spec", { description: TOOL_DEFINITIONS.describe_spec }, () => respond(describeSpec()));
-	server.registerTool("validate_form", {
-		description: TOOL_DEFINITIONS.validate_form,
-		inputSchema: { document: DOCUMENT }
-	}, ({ document }) => respond(validateForm(document)));
-	server.registerTool("diff_forms", {
-		description: TOOL_DEFINITIONS.diff_forms,
-		inputSchema: {
-			before: DOCUMENT,
-			after: DOCUMENT
-		}
-	}, ({ before, after }) => respond(diffForms(before, after)));
-	server.registerTool("publish_form", {
-		description: TOOL_DEFINITIONS.publish_form,
-		inputSchema: {
-			path: FORM_PATH,
-			document: DOCUMENT
-		}
-	}, async ({ path, document }) => respond(access === void 0 ? noServer("publish_form") : await publishForm(access, path, document)));
-	server.registerTool("list_forms", { description: TOOL_DEFINITIONS.list_forms }, async () => respond(access === void 0 ? noServer("list_forms") : await listForms(access)));
-	server.registerTool("get_form", {
-		description: TOOL_DEFINITIONS.get_form,
-		inputSchema: { path: FORM_PATH }
-	}, async ({ path }) => respond(access === void 0 ? noServer("get_form") : await getForm(access, path)));
-	server.registerTool("list_submissions", {
-		description: TOOL_DEFINITIONS.list_submissions,
-		inputSchema: { path: FORM_PATH }
-	}, async ({ path }) => respond(access === void 0 ? noServer("list_submissions") : await listSubmissions(access, path)));
-	return server;
-}
-//#endregion
-export { getForm as a, publishForm as c, diffForms as i, validateForm as l, createFormancyMcpServer as n, listForms as o, describeSpec as r, listSubmissions as s, TOOL_DEFINITIONS as t };
-
-//# sourceMappingURL=server-CdcuxHHN.mjs.map

package/dist/server-CdcuxHHN.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"server-CdcuxHHN.mjs","names":[],"sources":["../src/tools.ts","../src/server.ts"],"sourcesContent":["import { authoringFacts, diffSchemas } from '@formancy/spec'\nimport { validateSchema } from '@formancy/spec/validate'\nimport type { Change, FormSchema } from '@formancy/spec'\nimport { engineRefusal, expressionProblems } from '@formancy/core'\n\n/**\n * What formancy can be asked to do by a coding agent, as plain functions.\n *\n * Separated from the MCP server itself for the same reason `server-core` is separated\n * from `server`: a use-case that can only be exercised through a transport is one nobody\n * can test. Everything here is a function from JSON to JSON.\n *\n * **The tools check first and act second.** `publish_form` validates locally before it\n * opens a socket, so an invalid document never reaches the server and the model gets the\n * reason rather than a 422. That is possible because the format has a published JSON\n * Schema and the expressions are statically type-checked — a generated document is\n * checkable before anything is done with it.\n */\n\n/** A tool's answer: what happened, and what the agent should do about it. */\nexport interface ToolResult {\n  /** False means the agent must fix something before trying again. */\n  readonly ok: boolean\n  /** Prose for the model. Written to be acted on, not logged. */\n  readonly summary: string\n  /** The machine-readable part, when there is one. */\n  readonly data?: unknown\n}\n\n/** Where a formancy server is, and how to prove who you are to it. */\nexport interface ServerAccess {\n  readonly baseUrl: string\n  readonly apiKey: string\n  /** Injected so tests do not need a socket. */\n  readonly fetch?: typeof globalThis.fetch\n}\n\n// ---------------------------------------------------------------- local tools\n\n/**\n * Everything the spec allows, so a model does not have to guess.\n *\n * The cheapest tool here and probably the most valuable: without it a model\n * invents `type: \"phone\"` or `type: \"email\"` from its memory of other form\n * builders, gets a validation error, and burns a turn finding out that `text`\n * with `format: \"email\"` is the answer. Told up front, it does not.\n */\nexport function describeSpec(): ToolResult {\n  const facts = authoringFacts()\n  return {\n    ok: true,\n    summary:\n      `formancy speaks spec versions ${facts.specVersions.join(' and ')}; new documents should ` +\n      `use \"${facts.currentSpecVersion}\". A field type not in this list does not exist, whatever ` +\n      `other form builders call it — an email field is type \"text\" with format \"email\".`,\n    data: facts,\n  }\n}\n\n/**\n * Check a document without publishing it — the server's publish checks, in the\n * gate's order. Only the analysis of regular-expression `pattern`s stays on\n * the server: it needs an analysis engine this package does not carry, and the\n * server's refusal names the pattern.\n *\n * Schema validity, the engine's compile and expression sanity are different\n * failures with different fixes, and a later check means nothing in a document\n * an earlier one has rejected. So the structure is checked first, then whether\n * the engine would open the document at all, then whether its expressions\n * would ever do anything.\n *\n * The middle check was once missing, and this tool told a model that a form\n * with a misspelled field name was valid: the validator does not read CEL and\n * the expression check skips what the engine refuses, so nothing here asked\n * the engine. The server did, and refused it.\n */\nexport function validateForm(document: unknown): ToolResult {\n  const result = validateSchema(document)\n  if (!result.valid) {\n    return {\n      ok: false,\n      summary: `Not a valid formancy document: ${String(result.errors.length)} problem(s). Fix these before publishing.`,\n      data: { valid: false, errors: result.errors },\n    }\n  }\n\n  const refusal = engineRefusal(document as FormSchema)\n  if (refusal !== undefined) {\n    return {\n      ok: false,\n      summary:\n        `The document is structurally valid, but the engine refuses to open it — the same engine the ` +\n        `server's publish gate and every renderer build, so this form could be neither published nor shown. ` +\n        refusal,\n      data: { valid: true, engineRefusal: refusal },\n    }\n  }\n\n  const problems = expressionProblems(document as FormSchema)\n  if (problems.length > 0) {\n    return {\n      ok: false,\n      summary:\n        `The document is structurally valid, but ${String(problems.length)} expression(s) will never ` +\n        `do anything. These compile and then fail at evaluation, so nothing would report them at runtime: ` +\n        `a computed field would stay empty and a visible rule would show the field it was meant to hide.`,\n      data: { valid: true, expressionProblems: problems },\n    }\n  }\n\n  return {\n    ok: true,\n    summary: 'Valid, and every expression type-checks.',\n    data: { valid: true },\n  }\n}\n\n/**\n * What a change does to the submissions already collected.\n *\n * The question an agent cannot answer by reading the two documents, and the\n * one whose wrong answer is permanent. `breaking` is not advice.\n */\nexport function diffForms(before: unknown, after: unknown): ToolResult {\n  const first = validateSchema(before)\n  const second = validateSchema(after)\n  if (!first.valid || !second.valid) {\n    return {\n      ok: false,\n      summary: 'Both documents have to be valid before they can be compared. Run validate_form on each.',\n      data: { beforeValid: first.valid, afterValid: second.valid },\n    }\n  }\n\n  const changes = diffSchemas(before as FormSchema, after as FormSchema)\n  const worst = severityOf(changes)\n\n  return {\n    ok: true,\n    summary:\n      changes.length === 0\n        ? 'No change: the two documents are identical once canonicalised.'\n        : `${String(changes.length)} change(s), worst severity ${worst}. ` + ADVICE[worst],\n    data: { severity: worst, changes },\n  }\n}\n\nconst ADVICE: Readonly<Record<'none' | 'compatible' | 'lossy' | 'breaking', string>> = {\n  none: '',\n  compatible: 'Existing drafts and submissions rebind silently.',\n  lossy: 'Existing data rebinds, but some answers no longer have a field to live in. They are kept under data.__orphaned rather than deleted.',\n  breaking:\n    'Existing drafts CANNOT rebind and will open read-only against the version that produced them. Say so before publishing, and consider a new form instead.',\n}\n\nfunction severityOf(changes: readonly Change[]): 'none' | 'compatible' | 'lossy' | 'breaking' {\n  if (changes.some((change) => change.severity === 'breaking')) return 'breaking'\n  if (changes.some((change) => change.severity === 'lossy')) return 'lossy'\n  if (changes.length > 0) return 'compatible'\n  return 'none'\n}\n\n// --------------------------------------------------------------- server tools\n\n/**\n * Publish, but check first.\n *\n * The local validation is not an optimisation. A model that gets a 422 back\n * has to guess what the server meant from an error shape it has never seen;\n * a model that gets `expressionProblems` back is told which rule, in which\n * words, and what to write instead. And an invalid document never travels.\n */\nexport async function publishForm(\n  access: ServerAccess,\n  path: string,\n  document: unknown,\n): Promise<ToolResult> {\n  const checked = validateForm(document)\n  if (!checked.ok) {\n    return {\n      ok: false,\n      summary: `Not published, because the document would not have worked. ${checked.summary}`,\n      data: checked.data,\n    }\n  }\n\n  return request(access, '/forms', {\n    method: 'POST',\n    body: JSON.stringify({ path, schema: document }),\n  })\n}\n\nexport async function listForms(access: ServerAccess): Promise<ToolResult> {\n  return request(access, '/forms')\n}\n\nexport async function getForm(access: ServerAccess, path: string): Promise<ToolResult> {\n  return request(access, `/f/${encodeURIComponent(path)}`)\n}\n\nexport async function listSubmissions(access: ServerAccess, path: string): Promise<ToolResult> {\n  return request(access, `/f/${encodeURIComponent(path)}/submissions`)\n}\n\n/**\n * One request, and one place that knows how a failure is reported.\n *\n * Every error comes back as `ok: false` with the server's own words rather\n * than as a thrown exception, because a thrown exception reaches a model as a\n * stack trace and tells it nothing it can act on.\n */\nasync function request(\n  access: ServerAccess,\n  route: string,\n  init: RequestInit = {},\n): Promise<ToolResult> {\n  const send = access.fetch ?? globalThis.fetch\n  const url = `${access.baseUrl.replace(/\\/$/, '')}${route}`\n\n  let response: Response\n  try {\n    response = await send(url, {\n      ...init,\n      headers: {\n        ...(init.body === undefined ? {} : { 'content-type': 'application/json' }),\n        authorization: `Bearer ${access.apiKey}`,\n        ...init.headers,\n      },\n    })\n  } catch (error) {\n    return {\n      ok: false,\n      summary:\n        `Could not reach the formancy server at ${access.baseUrl}: ${error instanceof Error ? error.message : String(error)}. ` +\n        `Check FORMANCY_URL, and that the server is running.`,\n    }\n  }\n\n  const body: unknown = await response.json().catch(() => undefined)\n\n  if (!response.ok) {\n    const detail = messageFrom(body)\n    return {\n      ok: false,\n      summary:\n        response.status === 401 || response.status === 403\n          ? `The server refused the request (${String(response.status)}). Check FORMANCY_API_KEY.`\n          : `The server refused the request (${String(response.status)})${detail === undefined ? '.' : `: ${detail}`}`,\n      ...(body === undefined ? {} : { data: body }),\n    }\n  }\n\n  return { ok: true, summary: 'Done.', data: body }\n}\n\nfunction messageFrom(body: unknown): string | undefined {\n  if (body === null || typeof body !== 'object') return undefined\n  const record = body as { message?: unknown; error?: unknown }\n  if (typeof record.message === 'string') return record.message\n  if (typeof record.error === 'string') return record.error\n  return undefined\n}\n","import { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js'\nimport { z } from 'zod'\nimport {\n  describeSpec,\n  diffForms,\n  getForm,\n  listForms,\n  listSubmissions,\n  publishForm,\n  validateForm,\n} from './tools.js'\nimport type { ServerAccess, ToolResult } from './tools.js'\n\n/**\n * The tools, wired to the protocol.\n *\n * Thin on purpose: every one of these is a call into `tools.ts` and a\n * conversion of the answer into MCP's content shape. The logic is tested\n * without a protocol, because a use-case that can only be exercised through a\n * transport is a use-case nobody tests properly.\n */\n\nexport interface McpServerOptions {\n  /**\n   * Where a formancy server is, if there is one.\n   *\n   * Absent is a supported state and not a degraded one: the four local tools\n   * — describe_spec, validate_form, diff_forms and the checking half of\n   * publishing — need no server at all, which means an agent can author and\n   * verify a whole form before anybody has deployed anything.\n   */\n  readonly access?: ServerAccess\n}\n\n/**\n * Names and descriptions, apart from the wiring.\n *\n * Exported because the description is the prompt: it is the only thing telling\n * a model when to reach for a tool, and a wrong one means a tool that is never\n * called or called for the wrong reason. Kept where it can be read and tested\n * rather than buried in a registration call.\n */\nexport const TOOL_DEFINITIONS = {\n  describe_spec:\n    'List every field type, layout kind, rule kind and format the formancy spec defines. ' +\n    'Call this BEFORE writing a form document. A type not in the list does not exist, whatever ' +\n    'other form builders call it.',\n  validate_form:\n    \"Run the server's publish checks without publishing: against the spec, through the engine \" +\n    'that renders the form (a misspelled field name, a cycle between computed fields, a ' +\n    'condition that is not certain to produce a bool), and for expressions that compile but ' +\n    'can never evaluate — the failure that is silent at runtime. Each comes back separately, ' +\n    'with what to change.',\n  diff_forms:\n    'Compare two form documents and report what the change would do to submissions already ' +\n    'collected: compatible, lossy, or breaking. Call this before publishing over an existing form.',\n  publish_form:\n    'Publish a form document to a formancy server. Validates locally first and refuses to send ' +\n    'an invalid document, so the reason comes back as something to fix rather than as a 422.',\n  list_forms: 'List the forms on the formancy server, with their current version.',\n  get_form: 'Fetch one form document from the formancy server, with its version and schema hash.',\n  list_submissions: 'List submissions for one form.',\n} as const\n\n/** MCP wants string content; a tool that answered with prose alone would throw\n *  away the part an agent can act on, so both travel. */\nfunction respond(result: ToolResult): {\n  content: { type: 'text'; text: string }[]\n  isError?: boolean\n} {\n  const text =\n    result.data === undefined\n      ? result.summary\n      : `${result.summary}\\n\\n${JSON.stringify(result.data, null, 2)}`\n  // `isError` rather than a thrown exception: a refusal is an answer the model\n  // should read and act on, not a transport failure.\n  return { content: [{ type: 'text', text }], ...(result.ok ? {} : { isError: true }) }\n}\n\n/** A tool that needs a server, when there is not one. */\nfunction noServer(name: string): ToolResult {\n  return {\n    ok: false,\n    summary:\n      `${name} needs a formancy server, and none is configured. Set FORMANCY_URL and ` +\n      `FORMANCY_API_KEY. The local tools — describe_spec, validate_form and diff_forms — work ` +\n      `without one, so a form can be written and checked before a server exists.`,\n  }\n}\n\n/**\n * The arguments each tool takes.\n *\n * A document arrives as `unknown` on purpose: it is checked by\n * `validateSchema` against the spec's own JSON Schema, which is the one\n * authority on what a formancy document is. Describing its shape a second\n * time here in Zod would be a second authority, and the day the two disagree\n * the tool would reject a document the product accepts.\n */\nconst DOCUMENT = z.unknown().describe('A formancy form document (the JSON schema object).')\nconst FORM_PATH = z.string().min(1).describe(\"The form's path, as it appears in its URL.\")\n\nexport function createFormancyMcpServer(options: McpServerOptions = {}): McpServer {\n  const server = new McpServer({ name: 'formancy', version: '0.1.0' })\n  const { access } = options\n\n  server.registerTool('describe_spec', { description: TOOL_DEFINITIONS.describe_spec }, () =>\n    respond(describeSpec()),\n  )\n\n  server.registerTool(\n    'validate_form',\n    { description: TOOL_DEFINITIONS.validate_form, inputSchema: { document: DOCUMENT } },\n    ({ document }) => respond(validateForm(document)),\n  )\n\n  server.registerTool(\n    'diff_forms',\n    {\n      description: TOOL_DEFINITIONS.diff_forms,\n      inputSchema: { before: DOCUMENT, after: DOCUMENT },\n    },\n    ({ before, after }) => respond(diffForms(before, after)),\n  )\n\n  server.registerTool(\n    'publish_form',\n    {\n      description: TOOL_DEFINITIONS.publish_form,\n      inputSchema: { path: FORM_PATH, document: DOCUMENT },\n    },\n    async ({ path, document }) =>\n      respond(\n        access === undefined\n          ? noServer('publish_form')\n          : await publishForm(access, path, document),\n      ),\n  )\n\n  server.registerTool('list_forms', { description: TOOL_DEFINITIONS.list_forms }, async () =>\n    respond(access === undefined ? noServer('list_forms') : await listForms(access)),\n  )\n\n  server.registerTool(\n    'get_form',\n    { description: TOOL_DEFINITIONS.get_form, inputSchema: { path: FORM_PATH } },\n    async ({ path }) =>\n      respond(access === undefined ? noServer('get_form') : await getForm(access, path)),\n  )\n\n  server.registerTool(\n    'list_submissions',\n    { description: TOOL_DEFINITIONS.list_submissions, inputSchema: { path: FORM_PATH } },\n    async ({ path }) =>\n      respond(\n        access === undefined ? noServer('list_submissions') : await listSubmissions(access, path),\n      ),\n  )\n\n  return server\n}\n"],"mappings":";;;;;;;;;;;;;;AA+CA,SAAgB,eAA2B;CACzC,MAAM,QAAQ,eAAe;CAC7B,OAAO;EACL,IAAI;EACJ,SACE,iCAAiC,MAAM,aAAa,KAAK,OAAO,EAAE,8BAC1D,MAAM,mBAAmB;EAEnC,MAAM;CACR;AACF;;;;;;;;;;;;;;;;;;AAmBA,SAAgB,aAAa,UAA+B;CAC1D,MAAM,SAAS,eAAe,QAAQ;CACtC,IAAI,CAAC,OAAO,OACV,OAAO;EACL,IAAI;EACJ,SAAS,kCAAkC,OAAO,OAAO,OAAO,MAAM,EAAE;EACxE,MAAM;GAAE,OAAO;GAAO,QAAQ,OAAO;EAAO;CAC9C;CAGF,MAAM,UAAU,cAAc,QAAsB;CACpD,IAAI,YAAY,KAAA,GACd,OAAO;EACL,IAAI;EACJ,SACE,oMAEA;EACF,MAAM;GAAE,OAAO;GAAM,eAAe;EAAQ;CAC9C;CAGF,MAAM,WAAW,mBAAmB,QAAsB;CAC1D,IAAI,SAAS,SAAS,GACpB,OAAO;EACL,IAAI;EACJ,SACE,2CAA2C,OAAO,SAAS,MAAM,EAAE;EAGrE,MAAM;GAAE,OAAO;GAAM,oBAAoB;EAAS;CACpD;CAGF,OAAO;EACL,IAAI;EACJ,SAAS;EACT,MAAM,EAAE,OAAO,KAAK;CACtB;AACF;;;;;;;AAQA,SAAgB,UAAU,QAAiB,OAA4B;CACrE,MAAM,QAAQ,eAAe,MAAM;CACnC,MAAM,SAAS,eAAe,KAAK;CACnC,IAAI,CAAC,MAAM,SAAS,CAAC,OAAO,OAC1B,OAAO;EACL,IAAI;EACJ,SAAS;EACT,MAAM;GAAE,aAAa,MAAM;GAAO,YAAY,OAAO;EAAM;CAC7D;CAGF,MAAM,UAAU,YAAY,QAAsB,KAAmB;CACrE,MAAM,QAAQ,WAAW,OAAO;CAEhC,OAAO;EACL,IAAI;EACJ,SACE,QAAQ,WAAW,IACf,mEACA,GAAG,OAAO,QAAQ,MAAM,EAAE,6BAA6B,MAAM,MAAM,OAAO;EAChF,MAAM;GAAE,UAAU;GAAO;EAAQ;CACnC;AACF;AAEA,MAAM,SAAiF;CACrF,MAAM;CACN,YAAY;CACZ,OAAO;CACP,UACE;AACJ;AAEA,SAAS,WAAW,SAA0E;CAC5F,IAAI,QAAQ,MAAM,WAAW,OAAO,aAAa,UAAU,GAAG,OAAO;CACrE,IAAI,QAAQ,MAAM,WAAW,OAAO,aAAa,OAAO,GAAG,OAAO;CAClE,IAAI,QAAQ,SAAS,GAAG,OAAO;CAC/B,OAAO;AACT;;;;;;;;;AAYA,eAAsB,YACpB,QACA,MACA,UACqB;CACrB,MAAM,UAAU,aAAa,QAAQ;CACrC,IAAI,CAAC,QAAQ,IACX,OAAO;EACL,IAAI;EACJ,SAAS,8DAA8D,QAAQ;EAC/E,MAAM,QAAQ;CAChB;CAGF,OAAO,QAAQ,QAAQ,UAAU;EAC/B,QAAQ;EACR,MAAM,KAAK,UAAU;GAAE;GAAM,QAAQ;EAAS,CAAC;CACjD,CAAC;AACH;AAEA,eAAsB,UAAU,QAA2C;CACzE,OAAO,QAAQ,QAAQ,QAAQ;AACjC;AAEA,eAAsB,QAAQ,QAAsB,MAAmC;CACrF,OAAO,QAAQ,QAAQ,MAAM,mBAAmB,IAAI,GAAG;AACzD;AAEA,eAAsB,gBAAgB,QAAsB,MAAmC;CAC7F,OAAO,QAAQ,QAAQ,MAAM,mBAAmB,IAAI,EAAE,aAAa;AACrE;;;;;;;;AASA,eAAe,QACb,QACA,OACA,OAAoB,CAAC,GACA;CACrB,MAAM,OAAO,OAAO,SAAS,WAAW;CACxC,MAAM,MAAM,GAAG,OAAO,QAAQ,QAAQ,OAAO,EAAE,IAAI;CAEnD,IAAI;CACJ,IAAI;EACF,WAAW,MAAM,KAAK,KAAK;GACzB,GAAG;GACH,SAAS;IACP,GAAI,KAAK,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,gBAAgB,mBAAmB;IACxE,eAAe,UAAU,OAAO;IAChC,GAAG,KAAK;GACV;EACF,CAAC;CACH,SAAS,OAAO;EACd,OAAO;GACL,IAAI;GACJ,SACE,0CAA0C,OAAO,QAAQ,IAAI,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,EAAE;EAExH;CACF;CAEA,MAAM,OAAgB,MAAM,SAAS,KAAK,CAAC,CAAC,YAAY,KAAA,CAAS;CAEjE,IAAI,CAAC,SAAS,IAAI;EAChB,MAAM,SAAS,YAAY,IAAI;EAC/B,OAAO;GACL,IAAI;GACJ,SACE,SAAS,WAAW,OAAO,SAAS,WAAW,MAC3C,mCAAmC,OAAO,SAAS,MAAM,EAAE,8BAC3D,mCAAmC,OAAO,SAAS,MAAM,EAAE,GAAG,WAAW,KAAA,IAAY,MAAM,KAAK;GACtG,GAAI,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM,KAAK;EAC7C;CACF;CAEA,OAAO;EAAE,IAAI;EAAM,SAAS;EAAS,MAAM;CAAK;AAClD;AAEA,SAAS,YAAY,MAAmC;CACtD,IAAI,SAAS,QAAQ,OAAO,SAAS,UAAU,OAAO,KAAA;CACtD,MAAM,SAAS;CACf,IAAI,OAAO,OAAO,YAAY,UAAU,OAAO,OAAO;CACtD,IAAI,OAAO,OAAO,UAAU,UAAU,OAAO,OAAO;AAEtD;;;;;;;;;;;AC3NA,MAAa,mBAAmB;CAC9B,eACE;CAGF,eACE;CAKF,YACE;CAEF,cACE;CAEF,YAAY;CACZ,UAAU;CACV,kBAAkB;AACpB;;;AAIA,SAAS,QAAQ,QAGf;CAOA,OAAO;EAAE,SAAS,CAAC;GAAE,MAAM;GAAQ,MALjC,OAAO,SAAS,KAAA,IACZ,OAAO,UACP,GAAG,OAAO,QAAQ,MAAM,KAAK,UAAU,OAAO,MAAM,MAAM,CAAC;EAGzB,CAAC;EAAG,GAAI,OAAO,KAAK,CAAC,IAAI,EAAE,SAAS,KAAK;CAAG;AACtF;;AAGA,SAAS,SAAS,MAA0B;CAC1C,OAAO;EACL,IAAI;EACJ,SACE,GAAG,KAAK;CAGZ;AACF;;;;;;;;;;AAWA,MAAM,WAAW,EAAE,QAAQ,CAAC,CAAC,SAAS,oDAAoD;AAC1F,MAAM,YAAY,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,4CAA4C;AAEzF,SAAgB,wBAAwB,UAA4B,CAAC,GAAc;CACjF,MAAM,SAAS,IAAI,UAAU;EAAE,MAAM;EAAY,SAAS;CAAQ,CAAC;CACnE,MAAM,EAAE,WAAW;CAEnB,OAAO,aAAa,iBAAiB,EAAE,aAAa,iBAAiB,cAAc,SACjF,QAAQ,aAAa,CAAC,CACxB;CAEA,OAAO,aACL,iBACA;EAAE,aAAa,iBAAiB;EAAe,aAAa,EAAE,UAAU,SAAS;CAAE,IAClF,EAAE,eAAe,QAAQ,aAAa,QAAQ,CAAC,CAClD;CAEA,OAAO,aACL,cACA;EACE,aAAa,iBAAiB;EAC9B,aAAa;GAAE,QAAQ;GAAU,OAAO;EAAS;CACnD,IACC,EAAE,QAAQ,YAAY,QAAQ,UAAU,QAAQ,KAAK,CAAC,CACzD;CAEA,OAAO,aACL,gBACA;EACE,aAAa,iBAAiB;EAC9B,aAAa;GAAE,MAAM;GAAW,UAAU;EAAS;CACrD,GACA,OAAO,EAAE,MAAM,eACb,QACE,WAAW,KAAA,IACP,SAAS,cAAc,IACvB,MAAM,YAAY,QAAQ,MAAM,QAAQ,CAC9C,CACJ;CAEA,OAAO,aAAa,cAAc,EAAE,aAAa,iBAAiB,WAAW,GAAG,YAC9E,QAAQ,WAAW,KAAA,IAAY,SAAS,YAAY,IAAI,MAAM,UAAU,MAAM,CAAC,CACjF;CAEA,OAAO,aACL,YACA;EAAE,aAAa,iBAAiB;EAAU,aAAa,EAAE,MAAM,UAAU;CAAE,GAC3E,OAAO,EAAE,WACP,QAAQ,WAAW,KAAA,IAAY,SAAS,UAAU,IAAI,MAAM,QAAQ,QAAQ,IAAI,CAAC,CACrF;CAEA,OAAO,aACL,oBACA;EAAE,aAAa,iBAAiB;EAAkB,aAAa,EAAE,MAAM,UAAU;CAAE,GACnF,OAAO,EAAE,WACP,QACE,WAAW,KAAA,IAAY,SAAS,kBAAkB,IAAI,MAAM,gBAAgB,QAAQ,IAAI,CAC1F,CACJ;CAEA,OAAO;AACT"}