proschi 0.8.0 → 0.10.0

package/dist/server.cjs

@@ -24992,304 +24992,6 @@ var import_node_fs = require("node:fs");
 var import_node_path = require("node:path");
 var import__ = __toESM(require__(), 1);
 var import_yaml = __toESM(require_dist(), 1);
-var METHODS = ["get", "put", "post", "delete", "options", "head", "patch", "trace"];
-var isObject = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
-var esc = (key) => key.replace(/~/g, "~0").replace(/\//g, "~1");
-var OpenApiSpec = class {
-  constructor(file, doc) {
-    this.file = file;
-    this.name = (0, import_node_path.basename)(file);
-    const version = String(doc.openapi ?? "");
-    if (!/^3\./.test(version)) {
-      throw new Error(doc.swagger ? "Swagger 2.0 is not supported; convert it to OpenAPI 3" : "not an OpenAPI 3 document (no openapi: 3.x field)");
-    }
-    this.doc = version.startsWith("3.0") ? from30(structuredClone(doc)) : doc;
-    this.prefix = serverPrefix(this.doc.servers);
-    this.ajv = new import__.Ajv2020({ strict: false, allErrors: true, validateSchema: false, validateFormats: false });
-    this.ajv.addSchema(this.doc, "openapi:spec");
-  }
-  file;
-  /** The file name, for messages. */
-  name;
-  /** Path prefix from `servers[0].url`, e.g. `/v1`; empty when there is none. */
-  prefix;
-  doc;
-  ajv;
-  validators = /* @__PURE__ */ new Map();
-  /** Path templates the spec documents. */
-  get templates() {
-    return isObject(this.doc.paths) ? Object.keys(this.doc.paths) : [];
-  }
-  /** Methods (upper case) documented for a path template. */
-  methods(path) {
-    const item = this.resolve(`/paths/${esc(path)}`)?.value;
-    return isObject(item) ? METHODS.filter((m) => isObject(item[m])).map((m) => m.toUpperCase()) : [];
-  }
-  operation(path, method) {
-    const item = this.resolve(`/paths/${esc(path)}`);
-    if (!item || !isObject(item.value)) return void 0;
-    const m = method.toLowerCase();
-    const value = item.value[m];
-    return isObject(value) ? { path, method: method.toUpperCase(), pointer: `${item.pointer}/${m}`, value } : void 0;
-  }
-  /** Documented response keys of an operation: `201`, `4XX`, `default`. */
-  statuses(op) {
-    const responses = op.value.responses;
-    return isObject(responses) ? Object.keys(responses) : [];
-  }
-  /** The response key that covers a status code: exact, then a `4XX` range, then `default`. */
-  responseKey(op, status) {
-    const keys = this.statuses(op);
-    return keys.find((k) => k === String(status)) ?? keys.find((k) => k.toUpperCase() === `${String(status)[0]}XX`) ?? keys.find((k) => k === "default");
-  }
-  /** Validates a request body; undefined when the operation has no JSON schema for it. */
-  validateRequest(op, body) {
-    const requestBody = this.resolve(`${op.pointer}/requestBody`);
-    return requestBody && this.validateContent(requestBody.pointer, body);
-  }
-  validateResponse(op, key, body) {
-    const response2 = this.resolve(`${op.pointer}/responses/${esc(key)}`);
-    return response2 && this.validateContent(response2.pointer, body);
-  }
-  /** Validates against the `application/json` (or `+json`) schema of a request body or response object. */
-  validateContent(pointer, body) {
-    const owner = this.resolve(pointer)?.value;
-    if (!isObject(owner) || !isObject(owner.content)) return void 0;
-    const type = Object.keys(owner.content).find((t) => /^application\/([\w.-]+\+)?json\b/i.test(t));
-    if (!type || !isObject(owner.content[type]) || !("schema" in owner.content[type])) return void 0;
-    const schemaPointer = `${pointer}/content/${esc(type)}/schema`;
-    let validate2 = this.validators.get(schemaPointer);
-    if (validate2 === void 0) {
-      try {
-        validate2 = this.ajv.compile({ $ref: `openapi:spec#${schemaPointer}` });
-      } catch {
-        validate2 = null;
-      }
-      this.validators.set(schemaPointer, validate2);
-    }
-    if (!validate2) return void 0;
-    return validate2(body) ? [] : (validate2.errors ?? []).map(describeError);
-  }
-  /** Follows local `$ref`s from the value at a JSON pointer; returns the final pointer and value. */
-  resolve(pointer) {
-    let value = this.at(pointer);
-    for (let hops = 0; isObject(value) && typeof value.$ref === "string" && hops < 20; hops++) {
-      if (!value.$ref.startsWith("#")) return void 0;
-      pointer = decodeURIComponent(value.$ref.slice(1));
-      value = this.at(pointer);
-    }
-    return value === void 0 ? void 0 : { pointer, value };
-  }
-  at(pointer) {
-    let value = this.doc;
-    for (const raw of pointer.split("/").slice(1)) {
-      const key = raw.replace(/~1/g, "/").replace(/~0/g, "~");
-      if (Array.isArray(value)) value = value[Number(key)];
-      else if (isObject(value)) value = value[key];
-      else return void 0;
-    }
-    return value;
-  }
-};
-function describeError(e) {
-  const where = e.instancePath || "(root)";
-  const p = e.params;
-  let message = e.message ?? "is invalid";
-  if (e.keyword === "additionalProperties" || e.keyword === "unevaluatedProperties") message += ` ('${p.additionalProperty ?? p.unevaluatedProperty}')`;
-  if (e.keyword === "enum" && Array.isArray(p.allowedValues)) message += `: ${p.allowedValues.map((v) => JSON.stringify(v)).join(", ")}`;
-  return `${where} ${message}`;
-}
-function serverPrefix(servers) {
-  const server = Array.isArray(servers) ? servers[0] : void 0;
-  if (!isObject(server) || typeof server.url !== "string") return "";
-  const vars = isObject(server.variables) ? server.variables : {};
-  const url = server.url.replace(/\{([^}]+)\}/g, (_, name) => {
-    const v = vars[name];
-    return isObject(v) && v.default !== void 0 ? String(v.default) : "";
-  });
-  const path = url.match(/^[a-z][a-z0-9+.-]*:\/\/[^/]*(\/.*)?$/i)?.[1] ?? (url.startsWith("/") ? url : "");
-  return path.replace(/[?#].*$/, "").replace(/\/+$/, "");
-}
-function from30(value) {
-  if (Array.isArray(value)) return value.map(from30);
-  if (!isObject(value)) return value;
-  const out = {};
-  for (const [k, v] of Object.entries(value)) out[k] = from30(v);
-  for (const [bool, bound] of [
-    ["exclusiveMinimum", "minimum"],
-    ["exclusiveMaximum", "maximum"]
-  ]) {
-    if (typeof out[bool] !== "boolean") continue;
-    if (out[bool] && typeof out[bound] === "number") {
-      out[bool] = out[bound];
-      delete out[bound];
-    } else delete out[bool];
-  }
-  if (typeof out.nullable === "boolean") {
-    const nullable = out.nullable;
-    delete out.nullable;
-    if (nullable) {
-      if (typeof out.type === "string" && !("$ref" in out)) {
-        out.type = [out.type, "null"];
-        if (Array.isArray(out.enum) && !out.enum.includes(null)) out.enum = [...out.enum, null];
-      } else return { anyOf: [out, { type: "null" }] };
-    }
-  }
-  return out;
-}
-var cache = /* @__PURE__ */ new Map();
-function loadSpec(file) {
-  const { mtimeMs } = (0, import_node_fs.statSync)(file);
-  const cached = cache.get(file);
-  if (cached?.mtimeMs === mtimeMs) return cached.spec;
-  const text = (0, import_node_fs.readFileSync)(file, "utf8");
-  const doc = file.endsWith(".json") ? JSON.parse(text) : (0, import_yaml.parse)(text);
-  if (!isObject(doc)) throw new Error("not an OpenAPI document");
-  const spec = new OpenApiSpec(file, doc);
-  cache.set(file, { mtimeMs, spec });
-  return spec;
-}
-
-// src/openapi/check.ts
-var MAX_SCHEMA_ERRORS = 3;
-function checkOpenApi(diagram, specFiles) {
-  const diagnostics = [];
-  const add = (severity, message, loc) => {
-    if (!diagnostics.some((d) => d.message === message && d.line === loc.line && d.col === loc.col && d.file === loc.file)) diagnostics.push({ severity, message, ...loc });
-  };
-  const specs = /* @__PURE__ */ new Map();
-  const specOf = (nodeId) => {
-    if (specs.has(nodeId)) return specs.get(nodeId);
-    let spec = null;
-    try {
-      spec = loadSpec(specFiles[nodeId]);
-    } catch (e) {
-      const node = diagram.nodes.find((n) => n.id === nodeId);
-      add("error", `Cannot read OpenAPI spec '${displayPath(specFiles[nodeId])}' for '${nodeId}': ${e.message}`, node.loc);
-    }
-    specs.set(nodeId, spec);
-    return spec;
-  };
-  for (const useCase of diagram.useCases) {
-    for (const scenario of useCase.scenarios) {
-      for (const step of scenario.steps) {
-        if (!step.httpMethod || !Object.hasOwn(specFiles, step.toServiceId)) continue;
-        const spec = specOf(step.toServiceId);
-        if (spec) checkStep(spec, step, (message, loc) => add("warning", message, loc));
-      }
-    }
-  }
-  return diagnostics.sort((a, b) => a.line - b.line || a.col - b.col);
-}
-function checkStep(spec, step, warn) {
-  const call = `${step.httpMethod} ${step.endpoint}`;
-  const path = normalizePath(step.endpoint);
-  const candidates = [path, stripPrefix(path, spec.prefix)].filter((p) => p !== void 0);
-  const templates = [...new Set(candidates.flatMap((p) => matchTemplates(spec.templates, p)))];
-  if (templates.length === 0) {
-    const shown = stripPrefix(path, spec.prefix) ?? path;
-    const near = closestTemplate(spec.templates, shown);
-    const nearMethod = near && (spec.methods(near).includes(step.httpMethod) ? step.httpMethod : spec.methods(near)[0]);
-    const hint = near ? `; did you mean ${nearMethod ? `${nearMethod} ` : ""}${near}?` : "";
-    warn(`${call}: '${spec.name}' has no path ${shown}${hint}`, step.loc);
-    return;
-  }
-  let op;
-  for (const t of templates) op ??= spec.operation(t, step.httpMethod);
-  if (!op) {
-    const documented = templates.flatMap((t) => spec.methods(t).map((m) => `${m} ${t}`));
-    const hint = documented.length === 1 ? `; did you mean ${documented[0]}?` : documented.length ? ` (documented: ${documented.join(", ")})` : "";
-    warn(`${call}: '${spec.name}' has no ${step.httpMethod} ${templates[0]}${hint}`, step.loc);
-    return;
-  }
-  if (step.failed) return;
-  const label = `${op.method} ${op.path}`;
-  const request2 = jsonBody(step.requestFormat, step.requestBody);
-  if (request2 !== void 0) {
-    const errors = spec.validateRequest(op, request2.value);
-    if (errors?.length) warn(`Request body does not match the schema of ${label}: ${summarize(errors)}`, step.loc);
-  }
-  if (step.statusCode === void 0) return;
-  const responseLoc = step.responseLoc ?? step.loc;
-  const key = spec.responseKey(op, step.statusCode);
-  if (!key) {
-    const documented = spec.statuses(op);
-    warn(`Status ${step.statusCode} is not documented for ${label} (documented: ${documented.join(", ") || "none"})`, responseLoc);
-    return;
-  }
-  const response2 = jsonBody(step.responseFormat, step.responseBody);
-  if (response2 !== void 0) {
-    const errors = spec.validateResponse(op, key, response2.value);
-    if (errors?.length) warn(`${step.statusCode} response body does not match the schema of ${label}: ${summarize(errors)}`, responseLoc);
-  }
-}
-function displayPath(file) {
-  const rel = (0, import_node_path2.relative)(process.cwd(), file);
-  return rel && !rel.startsWith("..") && !(0, import_node_path2.isAbsolute)(rel) ? rel : file;
-}
-function jsonBody(format2, body) {
-  if (format2 !== "JSON" || !body) return void 0;
-  try {
-    return { value: JSON.parse(body) };
-  } catch {
-    return void 0;
-  }
-}
-function summarize(errors) {
-  const shown = errors.slice(0, MAX_SCHEMA_ERRORS).join("; ");
-  return errors.length > MAX_SCHEMA_ERRORS ? `${shown} (and ${errors.length - MAX_SCHEMA_ERRORS} more)` : shown;
-}
-
-// src/openapi/config.ts
-var CONFIG_FILE = "proschi.json";
-function findConfigFile(dir) {
-  for (let current = (0, import_node_path3.resolve)(dir); ; current = (0, import_node_path3.dirname)(current)) {
-    const candidate = (0, import_node_path3.join)(current, CONFIG_FILE);
-    if ((0, import_node_fs2.existsSync)(candidate) && (0, import_node_fs2.statSync)(candidate).isFile()) return candidate;
-    if ((0, import_node_path3.dirname)(current) === current) return void 0;
-  }
-}
-var used = /* @__PURE__ */ new Set();
-function watchedFiles() {
-  return [...used];
-}
-var configs = /* @__PURE__ */ new Map();
-function readConfig(file) {
-  const { mtimeMs } = (0, import_node_fs2.statSync)(file);
-  const cached = configs.get(file);
-  if (cached?.mtimeMs === mtimeMs) return cached.config;
-  let json;
-  try {
-    json = JSON.parse((0, import_node_fs2.readFileSync)(file, "utf8"));
-  } catch (e) {
-    throw new Error(`Invalid ${file}: ${e.message}`);
-  }
-  const openapi = json?.openapi ?? {};
-  if (typeof openapi !== "object" || openapi === null || Array.isArray(openapi) || Object.values(openapi).some((v) => typeof v !== "string")) {
-    throw new Error(`Invalid ${file}: "openapi" must map node ids to spec paths, e.g. {"openapi": {"orders": "specs/orders.yaml"}}`);
-  }
-  const config = {
-    file,
-    openapi: Object.fromEntries(Object.entries(openapi).map(([id, path]) => [id, (0, import_node_path3.resolve)((0, import_node_path3.dirname)(file), path)]))
-  };
-  configs.set(file, { mtimeMs, config });
-  return config;
-}
-function openApiDiagnostics(file, diagram, overrides = {}) {
-  let specs = {};
-  const configFile = findConfigFile((0, import_node_path3.dirname)((0, import_node_path3.resolve)(file)));
-  if (configFile) {
-    used.add(configFile);
-    try {
-      specs = readConfig(configFile).openapi;
-    } catch (e) {
-      return [{ severity: "error", message: e.message, line: 1, col: 1, length: 0 }];
-    }
-  }
-  specs = { ...specs, ...overrides };
-  for (const spec of Object.values(specs)) used.add(spec);
-  return Object.keys(specs).length ? checkOpenApi(diagram, specs) : [];
-}
 
 // ../frontend/src/catalog/componentCatalog.ts
 var componentCatalog = [
@@ -25762,37 +25464,208 @@ var BracketCounter = class {
   }
 };
 
-// ../frontend/src/dsl/paths.ts
-var PARAM2 = /^\{[^{}/]+\}$/;
-var ID_SEGMENT = /^(\d+|[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12})$/i;
-function segments(path) {
-  return path.split("?")[0].split("/");
+// ../frontend/src/dsl/format.ts
+function format(source2) {
+  const entries2 = classify(source2.split("\n").map((l) => l.endsWith("\r") ? l.slice(0, -1) : l));
+  const out = [];
+  let run = [];
+  const flush = () => {
+    if (run.length) out.push(...renderRun(run));
+    run = [];
+  };
+  tidyBlankLines(entries2).forEach((entry) => {
+    const last = run[run.length - 1];
+    if (last && (entry.kind !== last.kind || entry.depth !== last.depth || last.kind === "connection" && last.continuation.length || last.kind === "cells" && entry.kind === "cells" && entry.section !== last.section))
+      flush();
+    if (entry.kind === "node" || entry.kind === "connection" || entry.kind === "cells") run.push(entry);
+    else {
+      flush();
+      out.push(entry.kind === "blank" ? "" : indent(entry.depth) + entry.text);
+    }
+  });
+  flush();
+  return out.length ? out.join("\n") + "\n" : "";
 }
-function isTemplate(path) {
-  return segments(path).some((s) => PARAM2.test(s));
+var INDENT = "  ";
+var KEYWORDS = /* @__PURE__ */ new Set(["title", "import", "group", "usecase", "par", "alt"]);
+function classify(lines) {
+  const entries2 = [];
+  let depth = 0;
+  let section;
+  for (let i = 0; i < lines.length; i++) {
+    const raw = lines[i];
+    const original = raw.trim();
+    if (!original) {
+      entries2.push({ kind: "blank", depth, text: "" });
+      continue;
+    }
+    const { tokens, diagnostics } = tokenizeLine(raw, i + 1);
+    if (diagnostics.some((d) => d.severity === "error") || tokens.length === 0) {
+      entries2.push({ kind: "line", depth, text: original });
+      continue;
+    }
+    const comment = commentOf(raw, tokens);
+    const base = { depth, original, tokens, comment };
+    const [first, second, third, fourth] = tokens;
+    const inSection = section !== void 0 && depth === 1 && first.kind !== "rbrace";
+    const cells = inSection ? sectionCells(section, raw, tokens) : void 0;
+    if (cells) {
+      entries2.push({ ...base, kind: "cells", section, cells });
+      continue;
+    }
+    if (!inSection && first.kind === "ident" && second?.kind === "arrow" && third?.kind === "ident" && tokens.length <= 4 && (!fourth || fourth.kind === "label")) {
+      const entry = { ...base, kind: "connection", from: first.value, arrow: second.value, to: third.value, label: fourth?.value, continuation: [] };
+      const brackets = new BracketCounter();
+      if (fourth && brackets.feed(fourth.value) > 0) {
+        const delta = indent(depth).length - width(leadingSpace(raw));
+        while (i + 1 < lines.length) {
+          const next = lines[++i];
+          entry.continuation.push(reindent(next, delta));
+          if (brackets.feed("\n" + next) <= 0) break;
+        }
+        while (entry.continuation[entry.continuation.length - 1] === "") entry.continuation.pop();
+      }
+      entries2.push(entry);
+      continue;
+    }
+    const oneLineDecision = first.value === "decision" && second?.kind === "string" && third?.kind === "ident" && third.value === "because";
+    if (!inSection && first.kind === "ident" && !KEYWORDS.has(first.value) && !oneLineDecision && tokens.slice(1).every((t) => ["string", "tech", "team", "ident", "number", "comma"].includes(t.kind))) {
+      let k = 1;
+      const take = (kind) => tokens[k]?.kind === kind ? source(raw, tokens[k++]) : "";
+      const cells2 = [first.value, take("string"), take("tech"), take("team"), join(raw, tokens.slice(k))];
+      entries2.push({ ...base, kind: "node", cells: cells2 });
+      continue;
+    }
+    const closes = first.kind === "rbrace";
+    const opens = tokens[tokens.length - 1].kind === "lbrace";
+    const code = join(raw, tokens);
+    const text = withComment(code, comment);
+    entries2.push({ kind: "line", depth: Math.max(0, depth - (closes ? 1 : 0)), text: sameTokens(text, tokens) ? text : original, opens, closes });
+    if (depth === 0) section = sectionOpenedBy(tokens);
+    for (const t of tokens) depth = Math.max(0, depth + (t.kind === "lbrace" ? 1 : t.kind === "rbrace" ? -1 : 0));
+    if (depth === 0) section = void 0;
+  }
+  return entries2;
 }
-function matchesTemplate(template, path) {
-  const t = segments(template);
-  const p = segments(path);
-  return t.length === p.length && t.every((seg, i) => PARAM2.test(seg) ? p[i] !== "" : seg === p[i]);
+function sectionOpenedBy(tokens) {
+  const [first, second] = tokens;
+  if (first.kind !== "ident" || tokens[tokens.length - 1].kind !== "lbrace") return void 0;
+  switch (first.value) {
+    case "traffic":
+    case "requirements":
+    case "capacity":
+      return second?.kind === "lbrace" ? first.value : void 0;
+    case "entity":
+      return second?.kind === "ident" ? "entity" : void 0;
+    case "decision":
+    case "test":
+      return second?.kind === "string" ? first.value : void 0;
+    default:
+      return void 0;
+  }
 }
-function templatize(path) {
-  return segments(path).map((s) => ID_SEGMENT.test(s) ? "{id}" : s).join("/");
+function sectionCells(section, raw, tokens) {
+  const [first, second] = tokens;
+  if (tokens.some((t) => t.kind === "lbrace" || t.kind === "rbrace" || t.kind === "arrow" || t.kind === "label")) return void 0;
+  const rest = (from) => tokens.length > from ? [join(raw, tokens.slice(from))] : [];
+  switch (section) {
+    case "traffic":
+      return first.kind === "string" && (second?.kind === "quantity" || second?.kind === "number") ? [source(raw, first), source(raw, second), ...rest(2)] : void 0;
+    case "capacity":
+      return first.kind === "ident" && tokens.length > 1 ? [first.value, ...rest(1)] : void 0;
+    case "entity":
+      return first.kind === "ident" && second?.kind === "ident" ? [first.value, second.value, ...rest(2)] : void 0;
+    default:
+      return void 0;
+  }
 }
-function split(endpoint) {
-  const space = endpoint.indexOf(" ");
-  return space === -1 ? { method: "", path: endpoint } : { method: endpoint.slice(0, space), path: endpoint.slice(space + 1) };
+function tidyBlankLines(entries2) {
+  const kept = [];
+  for (const entry of entries2) {
+    if (entry.kind !== "blank") {
+      if (entry.kind === "line" && entry.closes) while (kept[kept.length - 1]?.kind === "blank") kept.pop();
+      kept.push(entry);
+      continue;
+    }
+    const prev = kept[kept.length - 1];
+    if (!prev || prev.kind === "blank" || prev.kind === "line" && prev.opens) continue;
+    kept.push(entry);
+  }
+  while (kept[kept.length - 1]?.kind === "blank") kept.pop();
+  return kept;
 }
-function endpointGroupKey(endpoint, all) {
-  if (isTemplate(endpoint)) return endpoint;
-  const { method, path } = split(endpoint);
-  const template = all.find((other) => {
-    const o = split(other);
-    return o.method === method && isTemplate(o.path) && matchesTemplate(o.path, path);
+function renderRun(run) {
+  const codes = run[0].kind === "node" ? alignNodes(run) : run[0].kind === "cells" ? alignCells(run) : alignConnections(run);
+  const items = run;
+  const commented = items.filter((e) => e.comment);
+  const commentCol = commented.length > 1 ? Math.max(...items.map((e, i) => e.comment ? len(codes[i]) : 0)) + 1 : 0;
+  return items.flatMap((entry, i) => {
+    const code = entry.comment && commentCol ? pad(codes[i], commentCol) + entry.comment : withComment(codes[i], entry.comment);
+    const text = sameTokens(code, entry.tokens) ? code : entry.original;
+    return [indent(entry.depth) + text, ...entry.kind === "connection" ? entry.continuation : []];
   });
-  if (template) return template;
-  return method ? `${method} ${templatize(path)}` : templatize(path);
 }
+function alignNodes(run) {
+  const widths = [0, 1, 2, 3].map((c) => Math.max(...run.map((e) => len(e.cells[c]))));
+  return run.map(({ cells }) => {
+    let line = "";
+    const columns = !cells[3] && cells[4] ? 3 : 4;
+    for (let c = 0; c < columns; c++) if (widths[c]) line += pad(cells[c], widths[c] + 1);
+    return (line + cells[4]).trimEnd();
+  });
+}
+function alignCells(run) {
+  const widths = [];
+  for (const { cells } of run) cells.slice(0, -1).forEach((c, i) => widths[i] = Math.max(widths[i] ?? 0, len(c)));
+  return run.map(({ cells }) => cells.map((c, i) => i < cells.length - 1 ? pad(c, widths[i] + 1) : c).join(""));
+}
+function alignConnections(run) {
+  const head = Math.max(...run.map((e) => len(e.from) + 1 + e.arrow.length));
+  const labelled = run.filter((e) => e.label !== void 0);
+  const target = labelled.length ? Math.max(...labelled.map((e) => len(e.to))) : 0;
+  return run.map((e) => {
+    const start = e.from + " ".repeat(head - len(e.from) - e.arrow.length) + e.arrow + " ";
+    if (e.label === void 0) return start + e.to;
+    return start + pad(e.to, target) + " :" + (e.label ? " " + e.label : "");
+  });
+}
+function commentOf(raw, tokens) {
+  const last = tokens[tokens.length - 1];
+  if (last.kind === "label") {
+    const after2 = raw.slice(last.col);
+    return after2.slice(stripTrailingComment(after2).length).trim();
+  }
+  return raw.slice(last.col - 1 + last.length).trim();
+}
+function join(raw, tokens) {
+  let out = "";
+  for (const [i, t] of tokens.entries()) {
+    const text = t.kind === "label" ? ":" + (t.value ? " " + t.value : "") : source(raw, t);
+    const tight = t.kind === "comma" || tokens[i - 1]?.kind === "comma" && t.kind === "number";
+    out += (i === 0 || tight ? "" : " ") + text;
+  }
+  return out;
+}
+function sameTokens(text, tokens) {
+  const { tokens: again, diagnostics } = tokenizeLine(text, 1);
+  return diagnostics.length === 0 && again.length === tokens.length && again.every((t, i) => t.kind === tokens[i].kind && t.value === tokens[i].value);
+}
+function reindent(line, delta) {
+  const lead = leadingSpace(line);
+  const body = line.slice(lead.length).trimEnd();
+  return body ? " ".repeat(Math.max(0, width(lead) + delta)) + body : "";
+}
+var source = (raw, t) => {
+  const text = raw.slice(t.col - 1, t.col - 1 + t.length);
+  return t.kind === "quantity" ? text.replace(/[ \t]+/g, " ") : text;
+};
+var withComment = (code, comment) => comment ? code + " " + comment : code;
+var leadingSpace = (line) => /^[ \t]*/.exec(line)[0];
+var width = (space) => [...space].reduce((n, ch) => n + (ch === "	" ? INDENT.length : 1), 0);
+var MAX_INDENT = 32;
+var indent = (depth) => INDENT.repeat(Math.min(depth, MAX_INDENT));
+var len = (s) => [...s].length;
+var pad = (s, to) => s + " ".repeat(Math.max(0, to - len(s)));
 
 // ../frontend/src/dsl/kinds.ts
 var KINDS = ["client", "edge", "cdn", "loadbalancer", "gateway", "dns", "service", "function", "cache", "database", "search", "analytics", "queue", "storage", "external", "other"];
@@ -25866,6 +25739,38 @@ function kindMatches(actual, wanted) {
   return actual === wanted || wanted === "edge" && isEdge(actual);
 }
 
+// ../frontend/src/dsl/paths.ts
+var PARAM2 = /^\{[^{}/]+\}$/;
+var ID_SEGMENT = /^(\d+|[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12})$/i;
+function segments(path) {
+  return path.split("?")[0].split("/");
+}
+function isTemplate(path) {
+  return segments(path).some((s) => PARAM2.test(s));
+}
+function matchesTemplate(template, path) {
+  const t = segments(template);
+  const p = segments(path);
+  return t.length === p.length && t.every((seg, i) => PARAM2.test(seg) ? p[i] !== "" : seg === p[i]);
+}
+function templatize(path) {
+  return segments(path).map((s) => ID_SEGMENT.test(s) ? "{id}" : s).join("/");
+}
+function split(endpoint) {
+  const space = endpoint.indexOf(" ");
+  return space === -1 ? { method: "", path: endpoint } : { method: endpoint.slice(0, space), path: endpoint.slice(space + 1) };
+}
+function endpointGroupKey(endpoint, all) {
+  if (isTemplate(endpoint)) return endpoint;
+  const { method, path } = split(endpoint);
+  const template = all.find((other) => {
+    const o = split(other);
+    return o.method === method && isTemplate(o.path) && matchesTemplate(o.path, path);
+  });
+  if (template) return template;
+  return method ? `${method} ${templatize(path)}` : templatize(path);
+}
+
 // ../frontend/src/dsl/quantity.ts
 function parseQuantity(text) {
   const m = /^(\d+(?:\.\d+)?)(.*)$/.exec(text.replace(/\s+/g, ""));
@@ -25973,7 +25878,7 @@ var UNIT_EXAMPLES = {
   MBps: "a bandwidth, e.g. 500 MB/s or 1 GB/s",
   "usd/GB": "a price per gigabyte, e.g. 0.05 usd/GB"
 };
-var CAPACITY_PARTS = "a rate, reads, writes, shards, latency, availability, cost, durable or volatile, consistency, bandwidth, egress or timeout";
+var CAPACITY_PARTS = "a rate, reads, writes, shards, size, latency, availability, cost, durable or volatile, consistency, bandwidth, egress or timeout";
 var ASSERTION_HELP = 'Expected an assertion: "Use case" calls <node>, "Use case" writes <node> before responding, <node> calls <node>, no path from <node> to <node>, <node> has replicas >= 2, \u2026';
 var ASSERTION_VERBS = "calls, every scenario calls, never calls, never waits for, writes, responds, starts at, has scenario or handles failure of";
 var GENERIC_TECH = {
@@ -26034,6 +25939,7 @@ var Parser = class {
   entities = [];
   decisions = [];
   tests = [];
+  blocks = [];
   /** Checks of use case, scenario and node names, run once every file is read and use cases are built. */
   deferred = [];
   built = [];
@@ -26069,7 +25975,12 @@ var Parser = class {
     };
     const order = (d) => this.fileOrder.get(d.file) ?? 0;
     this.diagnostics.sort((a, b) => order(a) - order(b) || a.line - b.line || a.col - b.col);
-    return { diagram, diagnostics: this.diagnostics, ...this.imports.length ? { imports: this.imports } : {} };
+    return {
+      diagram,
+      diagnostics: this.diagnostics,
+      ...this.imports.length ? { imports: this.imports } : {},
+      ...this.blocks.length ? { blocks: this.blocks } : {}
+    };
   }
   /** Reads the current file's lines and reports blocks it leaves open. */
   parseFile() {
@@ -26105,6 +26016,7 @@ var Parser = class {
       if (first.kind === "rbrace") {
         this.stack.pop();
         if (!top.discard) this.closeSection(top);
+        if (!top.discard && this.file === void 0) this.blocks.push({ kind: top.section, start: top.loc.line, end: line });
         if (second) this.error("Unexpected input after }", loc(second));
       } else if (!top.discard) {
         this.parseSectionLine(top, tokens, line);
@@ -26769,6 +26681,15 @@ var Parser = class {
         }
         override.shards = Number(n.value);
         i += 2;
+      } else if (isWord(t, "size")) {
+        part = "size";
+        const value = tokens[i + 1];
+        if (!isWord(value, "S") && !isWord(value, "M") && !isWord(value, "L")) {
+          this.error(`Expected S, M or L after size${value ? `, not ${describe(value)}` : ""}`, this.locOf(value ?? t, line));
+          return;
+        }
+        override.size = value.value;
+        i += 2;
       } else if (isWord(t, "consistency")) {
         part = "consistency";
         const value = tokens[i + 1];
@@ -27406,143 +27327,446 @@ var Parser = class {
     const last = tokens[tokens.length - 1];
     return { line, col: first.col, length: last.col + last.length - first.col, ...this.fileField() };
   }
-  locOf(token, line) {
-    return token ? { line, col: token.col, length: token.length, ...this.fileField() } : { line, col: 1, length: 1, ...this.fileField() };
+  locOf(token, line) {
+    return token ? { line, col: token.col, length: token.length, ...this.fileField() } : { line, col: 1, length: 1, ...this.fileField() };
+  }
+  /** `{ file }` inside an imported file; nothing for the root document, whose locations stay as they were. */
+  fileField() {
+    return this.file === void 0 ? {} : { file: this.file };
+  }
+  error(message, loc) {
+    this.diagnostics.push({ severity: "error", message, ...loc });
+  }
+  warning(message, loc) {
+    const key = `${loc.file ?? ""}
+${loc.line}
+${loc.col}
+${message}`;
+    if (this.warned.has(key)) return;
+    this.warned.add(key);
+    this.diagnostics.push({ severity: "warning", message, ...loc });
+  }
+};
+function expand(items) {
+  let paths = [{ names: [], conditions: [], locs: [], steps: [] }];
+  for (const item of items) {
+    if (item.kind === "step") {
+      for (const path of paths) path.steps.push(item.step);
+      continue;
+    }
+    const next = [];
+    for (const path of paths) {
+      for (const branch of item.branches) {
+        for (const sub of expand(branch.items)) {
+          next.push({
+            names: [...path.names, branch.name, ...sub.names],
+            conditions: [...path.conditions, ...branch.condition ? [branch.condition] : [], ...sub.conditions],
+            locs: [...path.locs, branch.loc, ...sub.locs],
+            steps: [...path.steps, ...sub.steps]
+          });
+        }
+      }
+      if (next.length > MAX_SCENARIOS * 4) break;
+    }
+    paths = next;
+  }
+  return paths;
+}
+function isWord(token, word) {
+  return token?.kind === "ident" && token.value === word;
+}
+function sectionName(frame) {
+  if (frame.skipped) return frame.skipped;
+  if (frame.entity) return `entity '${frame.entity.name}'`;
+  if (frame.decision) return `decision '${frame.decision.title}'`;
+  if (frame.test) return `test '${frame.test.name}'`;
+  return `${frame.section} block`;
+}
+function fileName(path) {
+  return path.split(/[\\/]/).pop() || path;
+}
+function slug(text) {
+  return text.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-|-$/g, "");
+}
+function splitPayload(input) {
+  const text = input.trim();
+  const formats = { json: "JSON", xml: "XML", text: "FREE_TEXT" };
+  const leading = text.match(/^(json|xml|text)\s+([\s\S]+)$/i);
+  if (leading) return { text: "", format: formats[leading[1].toLowerCase()], body: leading[2].trim() };
+  const keyed = text.match(/^([\s\S]*?)\s+(json|xml)\s+([{[<][\s\S]*)$/i);
+  if (keyed) return { text: keyed[1].trim(), format: formats[keyed[2].toLowerCase()], body: keyed[3].trim() };
+  const bare = text.search(/(^|\s)[{[<]/);
+  if (bare !== -1) {
+    const body = text.slice(bare).trim();
+    return { text: text.slice(0, bare).trim(), format: body.startsWith("<") ? "XML" : "JSON", body };
+  }
+  return { text: unquote(text), format: "JSON" };
+}
+function parseStepLabel(input) {
+  const http = input.trim().match(/^([A-Z]+)\s+(\S+)\s*([\s\S]*)$/);
+  if (http && HTTP_METHODS.includes(http[1])) {
+    const payload2 = splitPayload(http[3]);
+    return {
+      name: `${http[1]} ${http[2]}`,
+      method: http[1],
+      endpoint: http[2],
+      description: payload2.text || void 0,
+      format: payload2.body ? payload2.format : void 0,
+      body: payload2.body
+    };
+  }
+  const payload = splitPayload(input);
+  return { name: payload.text, format: payload.body ? payload.format : void 0, body: payload.body };
+}
+var SIZE_UNITS = { B: 1, KB: 1e3, MB: 1e6, GB: 1e9, TB: 1e12 };
+function parseSize(text) {
+  const m = /^(\d+(?:\.\d+)?)([A-Za-z]*)$/.exec(text);
+  if (!m) return { error: `Expected a payload size after ~, e.g. ~2MB, ~500KB or ~1.5GB${text ? `, not '~${text}'` : ""}` };
+  const factor = SIZE_UNITS[m[2]];
+  if (factor === void 0) return { error: m[2] ? `Unknown size unit '${m[2]}' in '~${text}'; use B, KB, MB, GB or TB` : `'~${text}' needs a unit: B, KB, MB, GB or TB` };
+  const value = Math.round(Number(m[1]) * factor);
+  if (value <= 0) return { error: `A payload size must be more than 0, not '~${text}'` };
+  return { value };
+}
+function inferProtocol(isAsync, method, target) {
+  if (isAsync || target?.type === "queue") return "MESSAGING";
+  if (!method) return "OTHER";
+  switch (target?.techStack) {
+    case "GraphQL":
+      return "GRAPHQL";
+    case "gRPC":
+      return "GRPC";
+    case "SOAP API":
+      return "SOAP";
+    default:
+      return "REST";
+  }
+}
+function unquote(text) {
+  const t = text.trim();
+  return t.length >= 2 && t.startsWith('"') && t.endsWith('"') ? t.slice(1, -1) : t;
+}
+function describe(token) {
+  switch (token.kind) {
+    case "string":
+      return `string "${token.value}"`;
+    case "tech":
+      return `[${token.value}]`;
+    case "team":
+      return `@${token.value}`;
+    case "label":
+      return "':'";
+    case "lbrace":
+    case "rbrace":
+    case "comma":
+    case "arrow":
+      return `'${token.value}'`;
+    default:
+      return `'${token.value}'`;
+  }
+}
+
+// ../frontend/src/dsl/importOpenApi.ts
+var isObject = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+function serverPrefix(servers) {
+  const server = Array.isArray(servers) ? servers[0] : void 0;
+  if (!isObject(server) || typeof server.url !== "string") return "";
+  const vars = isObject(server.variables) ? server.variables : {};
+  const url = server.url.replace(/\{([^}]+)\}/g, (_, name) => {
+    const v = vars[name];
+    return isObject(v) && v.default !== void 0 ? String(v.default) : "";
+  });
+  const path = url.match(/^[a-z][a-z0-9+.-]*:\/\/[^/]*(\/.*)?$/i)?.[1] ?? (url.startsWith("/") ? url : "");
+  return path.replace(/[?#].*$/, "").replace(/\/+$/, "");
+}
+
+// src/openapi/spec.ts
+var METHODS = ["get", "put", "post", "delete", "options", "head", "patch", "trace"];
+var isObject2 = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+var esc = (key) => key.replace(/~/g, "~0").replace(/\//g, "~1");
+var OpenApiSpec = class {
+  constructor(file, doc) {
+    this.file = file;
+    this.name = (0, import_node_path.basename)(file);
+    const version = String(doc.openapi ?? "");
+    if (!/^3\./.test(version)) {
+      throw new Error(doc.swagger ? "Swagger 2.0 is not supported; convert it to OpenAPI 3" : "not an OpenAPI 3 document (no openapi: 3.x field)");
+    }
+    this.doc = version.startsWith("3.0") ? from30(structuredClone(doc)) : doc;
+    this.prefix = serverPrefix(this.doc.servers);
+    this.ajv = new import__.Ajv2020({ strict: false, allErrors: true, validateSchema: false, validateFormats: false });
+    this.ajv.addSchema(this.doc, "openapi:spec");
+  }
+  file;
+  /** The file name, for messages. */
+  name;
+  /** Path prefix from `servers[0].url`, e.g. `/v1`; empty when there is none. */
+  prefix;
+  doc;
+  ajv;
+  validators = /* @__PURE__ */ new Map();
+  /** Path templates the spec documents. */
+  get templates() {
+    return isObject2(this.doc.paths) ? Object.keys(this.doc.paths) : [];
+  }
+  /** Methods (upper case) documented for a path template. */
+  methods(path) {
+    const item = this.resolve(`/paths/${esc(path)}`)?.value;
+    return isObject2(item) ? METHODS.filter((m) => isObject2(item[m])).map((m) => m.toUpperCase()) : [];
+  }
+  operation(path, method) {
+    const item = this.resolve(`/paths/${esc(path)}`);
+    if (!item || !isObject2(item.value)) return void 0;
+    const m = method.toLowerCase();
+    const value = item.value[m];
+    return isObject2(value) ? { path, method: method.toUpperCase(), pointer: `${item.pointer}/${m}`, value } : void 0;
+  }
+  /** Documented response keys of an operation: `201`, `4XX`, `default`. */
+  statuses(op) {
+    const responses = op.value.responses;
+    return isObject2(responses) ? Object.keys(responses) : [];
+  }
+  /** The response key that covers a status code: exact, then a `4XX` range, then `default`. */
+  responseKey(op, status) {
+    const keys = this.statuses(op);
+    return keys.find((k) => k === String(status)) ?? keys.find((k) => k.toUpperCase() === `${String(status)[0]}XX`) ?? keys.find((k) => k === "default");
+  }
+  /** Validates a request body; undefined when the operation has no JSON schema for it. */
+  validateRequest(op, body) {
+    const requestBody = this.resolve(`${op.pointer}/requestBody`);
+    return requestBody && this.validateContent(requestBody.pointer, body);
+  }
+  validateResponse(op, key, body) {
+    const response2 = this.resolve(`${op.pointer}/responses/${esc(key)}`);
+    return response2 && this.validateContent(response2.pointer, body);
+  }
+  /** Validates against the `application/json` (or `+json`) schema of a request body or response object. */
+  validateContent(pointer, body) {
+    const owner = this.resolve(pointer)?.value;
+    if (!isObject2(owner) || !isObject2(owner.content)) return void 0;
+    const type = Object.keys(owner.content).find((t) => /^application\/([\w.-]+\+)?json\b/i.test(t));
+    if (!type || !isObject2(owner.content[type]) || !("schema" in owner.content[type])) return void 0;
+    const schemaPointer = `${pointer}/content/${esc(type)}/schema`;
+    let validate2 = this.validators.get(schemaPointer);
+    if (validate2 === void 0) {
+      try {
+        validate2 = this.ajv.compile({ $ref: `openapi:spec#${schemaPointer}` });
+      } catch {
+        validate2 = null;
+      }
+      this.validators.set(schemaPointer, validate2);
+    }
+    if (!validate2) return void 0;
+    return validate2(body) ? [] : (validate2.errors ?? []).map(describeError);
+  }
+  /** Follows local `$ref`s from the value at a JSON pointer; returns the final pointer and value. */
+  resolve(pointer) {
+    let value = this.at(pointer);
+    for (let hops = 0; isObject2(value) && typeof value.$ref === "string" && hops < 20; hops++) {
+      if (!value.$ref.startsWith("#")) return void 0;
+      pointer = decodeURIComponent(value.$ref.slice(1));
+      value = this.at(pointer);
+    }
+    return value === void 0 ? void 0 : { pointer, value };
   }
-  /** `{ file }` inside an imported file; nothing for the root document, whose locations stay as they were. */
-  fileField() {
-    return this.file === void 0 ? {} : { file: this.file };
+  at(pointer) {
+    let value = this.doc;
+    for (const raw of pointer.split("/").slice(1)) {
+      const key = raw.replace(/~1/g, "/").replace(/~0/g, "~");
+      if (Array.isArray(value)) value = value[Number(key)];
+      else if (isObject2(value)) value = value[key];
+      else return void 0;
+    }
+    return value;
   }
-  error(message, loc) {
-    this.diagnostics.push({ severity: "error", message, ...loc });
+};
+function describeError(e) {
+  const where = e.instancePath || "(root)";
+  const p = e.params;
+  let message = e.message ?? "is invalid";
+  if (e.keyword === "additionalProperties" || e.keyword === "unevaluatedProperties") message += ` ('${p.additionalProperty ?? p.unevaluatedProperty}')`;
+  if (e.keyword === "enum" && Array.isArray(p.allowedValues)) message += `: ${p.allowedValues.map((v) => JSON.stringify(v)).join(", ")}`;
+  return `${where} ${message}`;
+}
+function from30(value) {
+  if (Array.isArray(value)) return value.map(from30);
+  if (!isObject2(value)) return value;
+  const out = {};
+  for (const [k, v] of Object.entries(value)) out[k] = from30(v);
+  for (const [bool, bound] of [
+    ["exclusiveMinimum", "minimum"],
+    ["exclusiveMaximum", "maximum"]
+  ]) {
+    if (typeof out[bool] !== "boolean") continue;
+    if (out[bool] && typeof out[bound] === "number") {
+      out[bool] = out[bound];
+      delete out[bound];
+    } else delete out[bool];
   }
-  warning(message, loc) {
-    const key = `${loc.file ?? ""}
-${loc.line}
-${loc.col}
-${message}`;
-    if (this.warned.has(key)) return;
-    this.warned.add(key);
-    this.diagnostics.push({ severity: "warning", message, ...loc });
+  if (typeof out.nullable === "boolean") {
+    const nullable = out.nullable;
+    delete out.nullable;
+    if (nullable) {
+      if (typeof out.type === "string" && !("$ref" in out)) {
+        out.type = [out.type, "null"];
+        if (Array.isArray(out.enum) && !out.enum.includes(null)) out.enum = [...out.enum, null];
+      } else return { anyOf: [out, { type: "null" }] };
+    }
   }
-};
-function expand(items) {
-  let paths = [{ names: [], conditions: [], locs: [], steps: [] }];
-  for (const item of items) {
-    if (item.kind === "step") {
-      for (const path of paths) path.steps.push(item.step);
-      continue;
+  return out;
+}
+var cache = /* @__PURE__ */ new Map();
+function loadSpec(file) {
+  const { mtimeMs } = (0, import_node_fs.statSync)(file);
+  const cached = cache.get(file);
+  if (cached?.mtimeMs === mtimeMs) return cached.spec;
+  const text = (0, import_node_fs.readFileSync)(file, "utf8");
+  const doc = file.endsWith(".json") ? JSON.parse(text) : (0, import_yaml.parse)(text);
+  if (!isObject2(doc)) throw new Error("not an OpenAPI document");
+  const spec = new OpenApiSpec(file, doc);
+  cache.set(file, { mtimeMs, spec });
+  return spec;
+}
+
+// src/openapi/check.ts
+var MAX_SCHEMA_ERRORS = 3;
+function checkOpenApi(diagram, specFiles) {
+  const diagnostics = [];
+  const add = (severity, message, loc) => {
+    if (!diagnostics.some((d) => d.message === message && d.line === loc.line && d.col === loc.col && d.file === loc.file)) diagnostics.push({ severity, message, ...loc });
+  };
+  const specs = /* @__PURE__ */ new Map();
+  const specOf = (nodeId) => {
+    if (specs.has(nodeId)) return specs.get(nodeId);
+    let spec = null;
+    try {
+      spec = loadSpec(specFiles[nodeId]);
+    } catch (e) {
+      const node = diagram.nodes.find((n) => n.id === nodeId);
+      add("error", `Cannot read OpenAPI spec '${displayPath(specFiles[nodeId])}' for '${nodeId}': ${e.message}`, node.loc);
     }
-    const next = [];
-    for (const path of paths) {
-      for (const branch of item.branches) {
-        for (const sub of expand(branch.items)) {
-          next.push({
-            names: [...path.names, branch.name, ...sub.names],
-            conditions: [...path.conditions, ...branch.condition ? [branch.condition] : [], ...sub.conditions],
-            locs: [...path.locs, branch.loc, ...sub.locs],
-            steps: [...path.steps, ...sub.steps]
-          });
-        }
+    specs.set(nodeId, spec);
+    return spec;
+  };
+  for (const useCase of diagram.useCases) {
+    for (const scenario of useCase.scenarios) {
+      for (const step of scenario.steps) {
+        if (!step.httpMethod || !Object.hasOwn(specFiles, step.toServiceId)) continue;
+        const spec = specOf(step.toServiceId);
+        if (spec) checkStep(spec, step, (message, loc) => add("warning", message, loc));
       }
-      if (next.length > MAX_SCENARIOS * 4) break;
     }
-    paths = next;
   }
-  return paths;
-}
-function isWord(token, word) {
-  return token?.kind === "ident" && token.value === word;
-}
-function sectionName(frame) {
-  if (frame.skipped) return frame.skipped;
-  if (frame.entity) return `entity '${frame.entity.name}'`;
-  if (frame.decision) return `decision '${frame.decision.title}'`;
-  if (frame.test) return `test '${frame.test.name}'`;
-  return `${frame.section} block`;
+  return diagnostics.sort((a, b) => a.line - b.line || a.col - b.col);
 }
-function fileName(path) {
-  return path.split(/[\\/]/).pop() || path;
+function checkStep(spec, step, warn) {
+  const call = `${step.httpMethod} ${step.endpoint}`;
+  const path = normalizePath(step.endpoint);
+  const candidates = [path, stripPrefix(path, spec.prefix)].filter((p) => p !== void 0);
+  const templates = [...new Set(candidates.flatMap((p) => matchTemplates(spec.templates, p)))];
+  if (templates.length === 0) {
+    const shown = stripPrefix(path, spec.prefix) ?? path;
+    const near = closestTemplate(spec.templates, shown);
+    const nearMethod = near && (spec.methods(near).includes(step.httpMethod) ? step.httpMethod : spec.methods(near)[0]);
+    const hint = near ? `; did you mean ${nearMethod ? `${nearMethod} ` : ""}${near}?` : "";
+    warn(`${call}: '${spec.name}' has no path ${shown}${hint}`, step.loc);
+    return;
+  }
+  let op;
+  for (const t of templates) op ??= spec.operation(t, step.httpMethod);
+  if (!op) {
+    const documented = templates.flatMap((t) => spec.methods(t).map((m) => `${m} ${t}`));
+    const hint = documented.length === 1 ? `; did you mean ${documented[0]}?` : documented.length ? ` (documented: ${documented.join(", ")})` : "";
+    warn(`${call}: '${spec.name}' has no ${step.httpMethod} ${templates[0]}${hint}`, step.loc);
+    return;
+  }
+  if (step.failed) return;
+  const label = `${op.method} ${op.path}`;
+  const request2 = jsonBody(step.requestFormat, step.requestBody);
+  if (request2 !== void 0) {
+    const errors = spec.validateRequest(op, request2.value);
+    if (errors?.length) warn(`Request body does not match the schema of ${label}: ${summarize(errors)}`, step.loc);
+  }
+  if (step.statusCode === void 0) return;
+  const responseLoc = step.responseLoc ?? step.loc;
+  const key = spec.responseKey(op, step.statusCode);
+  if (!key) {
+    const documented = spec.statuses(op);
+    warn(`Status ${step.statusCode} is not documented for ${label} (documented: ${documented.join(", ") || "none"})`, responseLoc);
+    return;
+  }
+  const response2 = jsonBody(step.responseFormat, step.responseBody);
+  if (response2 !== void 0) {
+    const errors = spec.validateResponse(op, key, response2.value);
+    if (errors?.length) warn(`${step.statusCode} response body does not match the schema of ${label}: ${summarize(errors)}`, responseLoc);
+  }
 }
-function slug(text) {
-  return text.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-|-$/g, "");
+function displayPath(file) {
+  const rel = (0, import_node_path2.relative)(process.cwd(), file);
+  return rel && !rel.startsWith("..") && !(0, import_node_path2.isAbsolute)(rel) ? rel : file;
 }
-function splitPayload(input) {
-  const text = input.trim();
-  const formats = { json: "JSON", xml: "XML", text: "FREE_TEXT" };
-  const leading = text.match(/^(json|xml|text)\s+([\s\S]+)$/i);
-  if (leading) return { text: "", format: formats[leading[1].toLowerCase()], body: leading[2].trim() };
-  const keyed = text.match(/^([\s\S]*?)\s+(json|xml)\s+([{[<][\s\S]*)$/i);
-  if (keyed) return { text: keyed[1].trim(), format: formats[keyed[2].toLowerCase()], body: keyed[3].trim() };
-  const bare = text.search(/(^|\s)[{[<]/);
-  if (bare !== -1) {
-    const body = text.slice(bare).trim();
-    return { text: text.slice(0, bare).trim(), format: body.startsWith("<") ? "XML" : "JSON", body };
+function jsonBody(format2, body) {
+  if (format2 !== "JSON" || !body) return void 0;
+  try {
+    return { value: JSON.parse(body) };
+  } catch {
+    return void 0;
   }
-  return { text: unquote(text), format: "JSON" };
 }
-function parseStepLabel(input) {
-  const http = input.trim().match(/^([A-Z]+)\s+(\S+)\s*([\s\S]*)$/);
-  if (http && HTTP_METHODS.includes(http[1])) {
-    const payload2 = splitPayload(http[3]);
-    return {
-      name: `${http[1]} ${http[2]}`,
-      method: http[1],
-      endpoint: http[2],
-      description: payload2.text || void 0,
-      format: payload2.body ? payload2.format : void 0,
-      body: payload2.body
-    };
+function summarize(errors) {
+  const shown = errors.slice(0, MAX_SCHEMA_ERRORS).join("; ");
+  return errors.length > MAX_SCHEMA_ERRORS ? `${shown} (and ${errors.length - MAX_SCHEMA_ERRORS} more)` : shown;
+}
+
+// src/openapi/config.ts
+var CONFIG_FILE = "proschi.json";
+function findConfigFile(dir) {
+  for (let current = (0, import_node_path3.resolve)(dir); ; current = (0, import_node_path3.dirname)(current)) {
+    const candidate = (0, import_node_path3.join)(current, CONFIG_FILE);
+    if ((0, import_node_fs2.existsSync)(candidate) && (0, import_node_fs2.statSync)(candidate).isFile()) return candidate;
+    if ((0, import_node_path3.dirname)(current) === current) return void 0;
   }
-  const payload = splitPayload(input);
-  return { name: payload.text, format: payload.body ? payload.format : void 0, body: payload.body };
 }
-var SIZE_UNITS = { B: 1, KB: 1e3, MB: 1e6, GB: 1e9, TB: 1e12 };
-function parseSize(text) {
-  const m = /^(\d+(?:\.\d+)?)([A-Za-z]*)$/.exec(text);
-  if (!m) return { error: `Expected a payload size after ~, e.g. ~2MB, ~500KB or ~1.5GB${text ? `, not '~${text}'` : ""}` };
-  const factor = SIZE_UNITS[m[2]];
-  if (factor === void 0) return { error: m[2] ? `Unknown size unit '${m[2]}' in '~${text}'; use B, KB, MB, GB or TB` : `'~${text}' needs a unit: B, KB, MB, GB or TB` };
-  const value = Math.round(Number(m[1]) * factor);
-  if (value <= 0) return { error: `A payload size must be more than 0, not '~${text}'` };
-  return { value };
+var used = /* @__PURE__ */ new Set();
+function watchedFiles() {
+  return [...used];
 }
-function inferProtocol(isAsync, method, target) {
-  if (isAsync || target?.type === "queue") return "MESSAGING";
-  if (!method) return "OTHER";
-  switch (target?.techStack) {
-    case "GraphQL":
-      return "GRAPHQL";
-    case "gRPC":
-      return "GRPC";
-    case "SOAP API":
-      return "SOAP";
-    default:
-      return "REST";
+var configs = /* @__PURE__ */ new Map();
+function readConfig(file) {
+  const { mtimeMs } = (0, import_node_fs2.statSync)(file);
+  const cached = configs.get(file);
+  if (cached?.mtimeMs === mtimeMs) return cached.config;
+  let json;
+  try {
+    json = JSON.parse((0, import_node_fs2.readFileSync)(file, "utf8"));
+  } catch (e) {
+    throw new Error(`Invalid ${file}: ${e.message}`);
   }
+  const openapi = json?.openapi ?? {};
+  if (typeof openapi !== "object" || openapi === null || Array.isArray(openapi) || Object.values(openapi).some((v) => typeof v !== "string")) {
+    throw new Error(`Invalid ${file}: "openapi" must map node ids to spec paths, e.g. {"openapi": {"orders": "specs/orders.yaml"}}`);
+  }
+  const config = {
+    file,
+    openapi: Object.fromEntries(Object.entries(openapi).map(([id, path]) => [id, (0, import_node_path3.resolve)((0, import_node_path3.dirname)(file), path)]))
+  };
+  configs.set(file, { mtimeMs, config });
+  return config;
 }
-function unquote(text) {
-  const t = text.trim();
-  return t.length >= 2 && t.startsWith('"') && t.endsWith('"') ? t.slice(1, -1) : t;
-}
-function describe(token) {
-  switch (token.kind) {
-    case "string":
-      return `string "${token.value}"`;
-    case "tech":
-      return `[${token.value}]`;
-    case "team":
-      return `@${token.value}`;
-    case "label":
-      return "':'";
-    case "lbrace":
-    case "rbrace":
-    case "comma":
-    case "arrow":
-      return `'${token.value}'`;
-    default:
-      return `'${token.value}'`;
+function openApiDiagnostics(file, diagram, overrides = {}) {
+  let specs = {};
+  const configFile = findConfigFile((0, import_node_path3.dirname)((0, import_node_path3.resolve)(file)));
+  if (configFile) {
+    used.add(configFile);
+    try {
+      specs = readConfig(configFile).openapi;
+    } catch (e) {
+      return [{ severity: "error", message: e.message, line: 1, col: 1, length: 0 }];
+    }
   }
+  specs = { ...specs, ...overrides };
+  for (const spec of Object.values(specs)) used.add(spec);
+  return Object.keys(specs).length ? checkOpenApi(diagram, specs) : [];
 }
 
 // ../frontend/src/dsl/edit.ts
@@ -27569,209 +27793,6 @@ ${text}
 `;
 }
 
-// ../frontend/src/dsl/format.ts
-function format(source2) {
-  const entries2 = classify(source2.split("\n").map((l) => l.endsWith("\r") ? l.slice(0, -1) : l));
-  const out = [];
-  let run = [];
-  const flush = () => {
-    if (run.length) out.push(...renderRun(run));
-    run = [];
-  };
-  tidyBlankLines(entries2).forEach((entry) => {
-    const last = run[run.length - 1];
-    if (last && (entry.kind !== last.kind || entry.depth !== last.depth || last.kind === "connection" && last.continuation.length || last.kind === "cells" && entry.kind === "cells" && entry.section !== last.section))
-      flush();
-    if (entry.kind === "node" || entry.kind === "connection" || entry.kind === "cells") run.push(entry);
-    else {
-      flush();
-      out.push(entry.kind === "blank" ? "" : indent(entry.depth) + entry.text);
-    }
-  });
-  flush();
-  return out.length ? out.join("\n") + "\n" : "";
-}
-var INDENT = "  ";
-var KEYWORDS = /* @__PURE__ */ new Set(["title", "import", "group", "usecase", "par", "alt"]);
-function classify(lines) {
-  const entries2 = [];
-  let depth = 0;
-  let section;
-  for (let i = 0; i < lines.length; i++) {
-    const raw = lines[i];
-    const original = raw.trim();
-    if (!original) {
-      entries2.push({ kind: "blank", depth, text: "" });
-      continue;
-    }
-    const { tokens, diagnostics } = tokenizeLine(raw, i + 1);
-    if (diagnostics.some((d) => d.severity === "error") || tokens.length === 0) {
-      entries2.push({ kind: "line", depth, text: original });
-      continue;
-    }
-    const comment = commentOf(raw, tokens);
-    const base = { depth, original, tokens, comment };
-    const [first, second, third, fourth] = tokens;
-    const inSection = section !== void 0 && depth === 1 && first.kind !== "rbrace";
-    const cells = inSection ? sectionCells(section, raw, tokens) : void 0;
-    if (cells) {
-      entries2.push({ ...base, kind: "cells", section, cells });
-      continue;
-    }
-    if (!inSection && first.kind === "ident" && second?.kind === "arrow" && third?.kind === "ident" && tokens.length <= 4 && (!fourth || fourth.kind === "label")) {
-      const entry = { ...base, kind: "connection", from: first.value, arrow: second.value, to: third.value, label: fourth?.value, continuation: [] };
-      const brackets = new BracketCounter();
-      if (fourth && brackets.feed(fourth.value) > 0) {
-        const delta = indent(depth).length - width(leadingSpace(raw));
-        while (i + 1 < lines.length) {
-          const next = lines[++i];
-          entry.continuation.push(reindent(next, delta));
-          if (brackets.feed("\n" + next) <= 0) break;
-        }
-        while (entry.continuation[entry.continuation.length - 1] === "") entry.continuation.pop();
-      }
-      entries2.push(entry);
-      continue;
-    }
-    const oneLineDecision = first.value === "decision" && second?.kind === "string" && third?.kind === "ident" && third.value === "because";
-    if (!inSection && first.kind === "ident" && !KEYWORDS.has(first.value) && !oneLineDecision && tokens.slice(1).every((t) => ["string", "tech", "team", "ident", "number", "comma"].includes(t.kind))) {
-      let k = 1;
-      const take = (kind) => tokens[k]?.kind === kind ? source(raw, tokens[k++]) : "";
-      const cells2 = [first.value, take("string"), take("tech"), take("team"), join2(raw, tokens.slice(k))];
-      entries2.push({ ...base, kind: "node", cells: cells2 });
-      continue;
-    }
-    const closes = first.kind === "rbrace";
-    const opens = tokens[tokens.length - 1].kind === "lbrace";
-    const code = join2(raw, tokens);
-    const text = withComment(code, comment);
-    entries2.push({ kind: "line", depth: Math.max(0, depth - (closes ? 1 : 0)), text: sameTokens(text, tokens) ? text : original, opens, closes });
-    if (depth === 0) section = sectionOpenedBy(tokens);
-    for (const t of tokens) depth = Math.max(0, depth + (t.kind === "lbrace" ? 1 : t.kind === "rbrace" ? -1 : 0));
-    if (depth === 0) section = void 0;
-  }
-  return entries2;
-}
-function sectionOpenedBy(tokens) {
-  const [first, second] = tokens;
-  if (first.kind !== "ident" || tokens[tokens.length - 1].kind !== "lbrace") return void 0;
-  switch (first.value) {
-    case "traffic":
-    case "requirements":
-    case "capacity":
-      return second?.kind === "lbrace" ? first.value : void 0;
-    case "entity":
-      return second?.kind === "ident" ? "entity" : void 0;
-    case "decision":
-    case "test":
-      return second?.kind === "string" ? first.value : void 0;
-    default:
-      return void 0;
-  }
-}
-function sectionCells(section, raw, tokens) {
-  const [first, second] = tokens;
-  if (tokens.some((t) => t.kind === "lbrace" || t.kind === "rbrace" || t.kind === "arrow" || t.kind === "label")) return void 0;
-  const rest = (from) => tokens.length > from ? [join2(raw, tokens.slice(from))] : [];
-  switch (section) {
-    case "traffic":
-      return first.kind === "string" && (second?.kind === "quantity" || second?.kind === "number") ? [source(raw, first), source(raw, second), ...rest(2)] : void 0;
-    case "capacity":
-      return first.kind === "ident" && tokens.length > 1 ? [first.value, ...rest(1)] : void 0;
-    case "entity":
-      return first.kind === "ident" && second?.kind === "ident" ? [first.value, second.value, ...rest(2)] : void 0;
-    default:
-      return void 0;
-  }
-}
-function tidyBlankLines(entries2) {
-  const kept = [];
-  for (const entry of entries2) {
-    if (entry.kind !== "blank") {
-      if (entry.kind === "line" && entry.closes) while (kept[kept.length - 1]?.kind === "blank") kept.pop();
-      kept.push(entry);
-      continue;
-    }
-    const prev = kept[kept.length - 1];
-    if (!prev || prev.kind === "blank" || prev.kind === "line" && prev.opens) continue;
-    kept.push(entry);
-  }
-  while (kept[kept.length - 1]?.kind === "blank") kept.pop();
-  return kept;
-}
-function renderRun(run) {
-  const codes = run[0].kind === "node" ? alignNodes(run) : run[0].kind === "cells" ? alignCells(run) : alignConnections(run);
-  const items = run;
-  const commented = items.filter((e) => e.comment);
-  const commentCol = commented.length > 1 ? Math.max(...items.map((e, i) => e.comment ? len(codes[i]) : 0)) + 1 : 0;
-  return items.flatMap((entry, i) => {
-    const code = entry.comment && commentCol ? pad(codes[i], commentCol) + entry.comment : withComment(codes[i], entry.comment);
-    const text = sameTokens(code, entry.tokens) ? code : entry.original;
-    return [indent(entry.depth) + text, ...entry.kind === "connection" ? entry.continuation : []];
-  });
-}
-function alignNodes(run) {
-  const widths = [0, 1, 2, 3].map((c) => Math.max(...run.map((e) => len(e.cells[c]))));
-  return run.map(({ cells }) => {
-    let line = "";
-    const columns = !cells[3] && cells[4] ? 3 : 4;
-    for (let c = 0; c < columns; c++) if (widths[c]) line += pad(cells[c], widths[c] + 1);
-    return (line + cells[4]).trimEnd();
-  });
-}
-function alignCells(run) {
-  const widths = [];
-  for (const { cells } of run) cells.slice(0, -1).forEach((c, i) => widths[i] = Math.max(widths[i] ?? 0, len(c)));
-  return run.map(({ cells }) => cells.map((c, i) => i < cells.length - 1 ? pad(c, widths[i] + 1) : c).join(""));
-}
-function alignConnections(run) {
-  const head = Math.max(...run.map((e) => len(e.from) + 1 + e.arrow.length));
-  const labelled = run.filter((e) => e.label !== void 0);
-  const target = labelled.length ? Math.max(...labelled.map((e) => len(e.to))) : 0;
-  return run.map((e) => {
-    const start = e.from + " ".repeat(head - len(e.from) - e.arrow.length) + e.arrow + " ";
-    if (e.label === void 0) return start + e.to;
-    return start + pad(e.to, target) + " :" + (e.label ? " " + e.label : "");
-  });
-}
-function commentOf(raw, tokens) {
-  const last = tokens[tokens.length - 1];
-  if (last.kind === "label") {
-    const after2 = raw.slice(last.col);
-    return after2.slice(stripTrailingComment(after2).length).trim();
-  }
-  return raw.slice(last.col - 1 + last.length).trim();
-}
-function join2(raw, tokens) {
-  let out = "";
-  for (const [i, t] of tokens.entries()) {
-    const text = t.kind === "label" ? ":" + (t.value ? " " + t.value : "") : source(raw, t);
-    const tight = t.kind === "comma" || tokens[i - 1]?.kind === "comma" && t.kind === "number";
-    out += (i === 0 || tight ? "" : " ") + text;
-  }
-  return out;
-}
-function sameTokens(text, tokens) {
-  const { tokens: again, diagnostics } = tokenizeLine(text, 1);
-  return diagnostics.length === 0 && again.length === tokens.length && again.every((t, i) => t.kind === tokens[i].kind && t.value === tokens[i].value);
-}
-function reindent(line, delta) {
-  const lead = leadingSpace(line);
-  const body = line.slice(lead.length).trimEnd();
-  return body ? " ".repeat(Math.max(0, width(lead) + delta)) + body : "";
-}
-var source = (raw, t) => {
-  const text = raw.slice(t.col - 1, t.col - 1 + t.length);
-  return t.kind === "quantity" ? text.replace(/[ \t]+/g, " ") : text;
-};
-var withComment = (code, comment) => comment ? code + " " + comment : code;
-var leadingSpace = (line) => /^[ \t]*/.exec(line)[0];
-var width = (space) => [...space].reduce((n, ch) => n + (ch === "	" ? INDENT.length : 1), 0);
-var MAX_INDENT = 32;
-var indent = (depth) => INDENT.repeat(Math.min(depth, MAX_INDENT));
-var len = (s) => [...s].length;
-var pad = (s, to) => s + " ".repeat(Math.max(0, to - len(s)));
-
 // ../frontend/src/dsl/sequence.ts
 var PAYLOAD_LIMIT = 40;
 function shorten(text, max = PAYLOAD_LIMIT) {
@@ -27968,11 +27989,17 @@ var BANDWIDTH = {
 };
 var DEFAULT_BANDWIDTH_MBPS = 100;
 var CHARGES_EGRESS = (kind) => kind !== "client" && kind !== "external" && kind !== "dns" && kind !== "other";
+var SIZES = {
+  S: { capacity: 1, cost: 1 },
+  M: { capacity: 2, cost: 1.8 },
+  L: { capacity: 4, cost: 3.5 }
+};
 function profileOf(node, override) {
   const kind = kindOf(node);
   const base = (Object.hasOwn(TECH_PROFILES, node.techStack) ? TECH_PROFILES[node.techStack] : void 0) ?? KIND_PROFILES[kind];
-  const baseRead = base.readRps ?? base.rps;
-  const baseWrite = base.writeRps ?? base.rps;
+  const size = SIZES[override?.size ?? "S"];
+  const baseRead = (base.readRps ?? base.rps) * size.capacity;
+  const baseWrite = (base.writeRps ?? base.rps) * size.capacity;
   const readRps = override?.readRps ?? override?.rps ?? baseRead;
   const writeRps = override?.writeRps ?? override?.rps ?? baseWrite;
   const consistency = override?.consistency ?? base.consistency;
@@ -27985,7 +28012,7 @@ function profileOf(node, override) {
     shards: Math.max(1, Math.floor(override?.shards ?? 1)),
     latencyMs: override?.latencyMs ?? base.latencyMs,
     availability: override?.availability !== void 0 ? override.availability / 100 : base.availability,
-    costUsd: override?.costUsd ?? base.costUsd,
+    costUsd: override?.costUsd ?? base.costUsd * size.cost,
     durable: override?.durable ?? base.durable,
     ...consistency && isDataStore(kind) ? { consistency } : {},
     bandwidthMBps: override?.bandwidthMBps ?? base.bandwidthMBps ?? BANDWIDTH[kind] ?? DEFAULT_BANDWIDTH_MBPS,
@@ -28316,6 +28343,19 @@ function pathAt(path, l) {
 var pathQuantile = (path, p) => pathAt(path, tailFactor(p));
 function pathCdf(path, t) {
   if (pathAt(path, 0) > t) return 0;
+  if (path.parts.every((part) => part.length <= 1)) {
+    let fixed = 0;
+    let tail = 0;
+    for (const part of path.parts) {
+      if (part.length) {
+        fixed += part[0].fixedMs;
+        tail += part[0].tailMs;
+      }
+    }
+    if (tail <= 0) return 1;
+    const l = (t - fixed) / tail;
+    return l > 1e6 ? 1 : 1 - Math.exp(-l);
+  }
   let hi = 1;
   while (pathAt(path, hi) <= t) {
     hi *= 2;
@@ -28427,9 +28467,11 @@ function analyze(diagram, options = {}) {
       percentiles: Object.fromEntries(PERCENTILES2.map((q) => [PERCENTILE_KEYS[q], pathQuantile(paths[i], q / 100)]))
     }));
     const weighted = paths.map((path, i) => ({ share: shares[i] ?? 0, path }));
-    const percentiles = Object.fromEntries(PERCENTILES2.map((q) => [PERCENTILE_KEYS[q], mixtureQuantile(weighted, q / 100)]));
+    const wanted = new Set(options.percentiles ?? PERCENTILES2);
+    const percentiles = Object.fromEntries(PERCENTILES2.map((q) => [PERCENTILE_KEYS[q], wanted.has(q) ? mixtureQuantile(weighted, q / 100) : NaN]));
     const tailScenario = Object.fromEntries(
       PERCENTILES2.map((q) => {
+        if (!wanted.has(q)) return [PERCENTILE_KEYS[q], 0];
         const t = percentiles[PERCENTILE_KEYS[q]];
         const above = weighted.map((s) => s.share > 0 ? s.share * (1 - pathCdf(s.path, t * (1 - 1e-9))) : -1);
         return [PERCENTILE_KEYS[q], Math.max(0, above.indexOf(Math.max(...above)))];
@@ -28482,7 +28524,7 @@ function singlePointsOfFailure(diagram) {
 // ../frontend/src/sim/tests.ts
 var pass = (message) => ({ passed: true, message });
 var fail = (message, hint) => ({ passed: false, message, hint });
-function makeRun(diagram, analysis) {
+function makeRun(diagram, analysis, options = {}) {
   const access = accessIn(diagram);
   return {
     diagram,
@@ -28491,11 +28533,12 @@ function makeRun(diagram, analysis) {
     useCases: new Map(analysis.useCases.map((u) => [u.id, u])),
     shares: new Map([...resolveTraffic(diagram)].map(([id, t]) => [id, t.shares])),
     profiles: profilesOf(diagram),
-    isWrite: (step) => access(step) === "write"
+    isWrite: (step) => access(step) === "write",
+    options
   };
 }
-function runTests(diagram, analysis = analyze(diagram)) {
-  const run = makeRun(diagram, analysis);
+function runTests(diagram, analysis = analyze(diagram), options = {}) {
+  const run = makeRun(diagram, analysis, options);
   const results = (diagram.requirements ?? []).map((r, i) => {
     const { passed, message, hint } = requirement(run, r);
     return { id: `req:${i + 1}`, name: requirementName(r), category: CATEGORY[r.kind], passed, message, hint, loc: r.loc };
@@ -28709,7 +28752,8 @@ function survive(run, target) {
     const label = nodeLabel(run.diagram, node.id);
     const replicas = replicasOf(node);
     if (replicas >= 2) {
-      const degraded = makeRun(run.diagram, analyze(run.diagram, { replicas: /* @__PURE__ */ new Map([[node.id, replicas - 1]]) }));
+      const degradedOptions = { ...run.options, replicas: new Map([...run.options.replicas ?? [], [node.id, replicas - 1]]) };
+      const degraded = makeRun(run.diagram, analyze(run.diagram, degradedOptions), degradedOptions);
       const left = degraded.nodes.get(node.id);
       const lost = n.shards > 1 ? `one of the ${replicas} replicas of a ${node.id} shard` : `one of ${replicas} ${node.id} replicas`;
       if (left.saturated) {
@@ -29388,7 +29432,7 @@ function positionAt(text, offset) {
 
 // src/server.ts
 if (process.argv.includes("--version")) {
-  console.log(true ? "0.8.0" : "dev");
+  console.log(true ? "0.10.0" : "dev");
   process.exit(0);
 }
 var connection = (0, import_node.createConnection)(import_node.ProposedFeatures.all);
@@ -29429,7 +29473,7 @@ connection.onInitialize(() => ({
     documentFormattingProvider: true,
     codeActionProvider: { codeActionKinds: [import_node.CodeActionKind.QuickFix] }
   },
-  serverInfo: { name: "proschi-language-server", version: true ? "0.8.0" : "dev" }
+  serverInfo: { name: "proschi-language-server", version: true ? "0.10.0" : "dev" }
 }));
 function validate(document) {
   const analysis = analysisOf(document);