proschi 0.2.0 → 0.4.0

package/dist/cli.cjs

@@ -2796,11 +2796,11 @@ var require_validate = __commonJS({
         jsonPointer = $data;
         data = names_1.default.rootData;
       } else {
-        const matches = RELATIVE_JSON_POINTER.exec($data);
-        if (!matches)
+        const matches2 = RELATIVE_JSON_POINTER.exec($data);
+        if (!matches2)
           throw new Error(`Invalid JSON-pointer: ${$data}`);
-        const up = +matches[1];
-        jsonPointer = matches[2];
+        const up = +matches2[1];
+        jsonPointer = matches2[2];
         if (jsonPointer === "#") {
           if (up >= dataLevel)
             throw new Error(errorMsg("property/index", up));
@@ -3687,11 +3687,11 @@ var require_schemes = __commonJS({
         urnComponent.error = "URN can not be parsed";
         return urnComponent;
       }
-      const matches = urnComponent.path.match(URN_REG);
-      if (matches && matches[0] === urnComponent.path) {
+      const matches2 = urnComponent.path.match(URN_REG);
+      if (matches2 && matches2[0] === urnComponent.path) {
         const scheme = options.scheme || urnComponent.scheme || "urn";
-        urnComponent.nid = matches[1].toLowerCase();
-        urnComponent.nss = matches[2];
+        urnComponent.nid = matches2[1].toLowerCase();
+        urnComponent.nss = matches2[2];
         const urnScheme = `${scheme}:${options.nid || urnComponent.nid}`;
         const schemeHandler = getSchemeHandler(urnScheme);
         urnComponent.path = void 0;
@@ -4005,8 +4005,8 @@ var require_fast_uri = __commonJS({
     var URI_PARSE = /^(?:([^#/:?]+):)?(?:\/\/((?:([^#/?@]*)@)?(\[[^#/?\]]+\]|[^#/:?]*)(?::(\d*))?))?([^#?]*)(?:\?([^#]*))?(?:#((?:.|[\n\r])*))?/u;
     var AUTHORITY_PREFIX = /^(?:[^#/:?]+:)?\/\/([^/?#]*)/;
     var AUTHORITY_INTRODUCER_REGION = /^(?:[^#/:?]+:)?([/\\\t\n\r]*)/;
-    function getParseError(parsed, matches) {
-      if (matches[2] !== void 0 && parsed.path && parsed.path[0] !== "/") {
+    function getParseError(parsed, matches2) {
+      if (matches2[2] !== void 0 && parsed.path && parsed.path[0] !== "/") {
         return 'URI path must start with "/" when authority is present.';
       }
       if (typeof parsed.port === "number" && (parsed.port < 0 || parsed.port > 65535)) {
@@ -4028,9 +4028,9 @@ var require_fast_uri = __commonJS({
     function isIPLiteral(host) {
       return host[0] === "[" && host[host.length - 1] === "]";
     }
-    function hasMalformedComponentPercentEncoding(matches) {
-      const host = matches[4];
-      return hasMalformedPercentEncoding(matches[3]) || host !== void 0 && !isIPLiteral(host) && hasMalformedPercentEncoding(host) || hasMalformedPercentEncoding(matches[6]) || hasMalformedPercentEncoding(matches[7]) || hasMalformedPercentEncoding(matches[8]);
+    function hasMalformedComponentPercentEncoding(matches2) {
+      const host = matches2[4];
+      return hasMalformedPercentEncoding(matches2[3]) || host !== void 0 && !isIPLiteral(host) && hasMalformedPercentEncoding(host) || hasMalformedPercentEncoding(matches2[6]) || hasMalformedPercentEncoding(matches2[7]) || hasMalformedPercentEncoding(matches2[8]);
     }
     function canonicalizeHost(parsed, options, schemeHandler, isIP) {
       if (!options.unicodeSupport && (!schemeHandler || !schemeHandler.unicodeSupport) && parsed.host && !isIPLiteral(parsed.host) && (options.domainHost || schemeHandler && schemeHandler.domainHost) && isIP === false && nonSimpleDomain(parsed.host)) {
@@ -4087,15 +4087,15 @@ var require_fast_uri = __commonJS({
           }
         }
       }
-      const matches = uri.match(URI_PARSE);
-      if (matches) {
-        parsed.scheme = matches[1];
-        parsed.userinfo = matches[3];
-        parsed.host = matches[4];
-        parsed.port = parseInt(matches[5], 10);
-        parsed.path = matches[6] || "";
-        parsed.query = matches[7];
-        parsed.fragment = matches[8];
+      const matches2 = uri.match(URI_PARSE);
+      if (matches2) {
+        parsed.scheme = matches2[1];
+        parsed.userinfo = matches2[3];
+        parsed.host = matches2[4];
+        parsed.port = parseInt(matches2[5], 10);
+        parsed.path = matches2[6] || "";
+        parsed.query = matches2[7];
+        parsed.fragment = matches2[8];
         if (parsed.scheme !== void 0) {
           const decodedScheme = unescape(parsed.scheme);
           if (VALID_SCHEME.test(decodedScheme)) {
@@ -4105,14 +4105,14 @@ var require_fast_uri = __commonJS({
             malformedScheme = true;
           }
         }
-        malformedPercentEncoding = hasMalformedComponentPercentEncoding(matches);
+        malformedPercentEncoding = hasMalformedComponentPercentEncoding(matches2);
         if (malformedPercentEncoding) {
           parsed.error = parsed.error || "URI contains malformed percent-encoding.";
         }
         if (isNaN(parsed.port)) {
-          parsed.port = matches[5];
+          parsed.port = matches2[5];
         }
-        const parseError = getParseError(parsed, matches);
+        const parseError = getParseError(parsed, matches2);
         if (parseError !== void 0) {
           parsed.error = parsed.error || parseError;
           malformedAuthorityOrPort = true;
@@ -4820,13 +4820,13 @@ var require_core = __commonJS({
       RULES.all[keyword] = rule;
       (_a = definition.implements) === null || _a === void 0 ? void 0 : _a.forEach((kwd) => this.addKeyword(kwd));
     }
-    function addBeforeRule(ruleGroup, rule, before) {
-      const i = ruleGroup.rules.findIndex((_rule) => _rule.keyword === before);
+    function addBeforeRule(ruleGroup, rule, before2) {
+      const i = ruleGroup.rules.findIndex((_rule) => _rule.keyword === before2);
       if (i >= 0) {
         ruleGroup.rules.splice(i, 0, rule);
       } else {
         ruleGroup.rules.push(rule);
-        this.logger.warn(`rule ${before} is not defined`);
+        this.logger.warn(`rule ${before2} is not defined`);
       }
     }
     function keywordMetaschema(def) {
@@ -12353,11 +12353,11 @@ var require_compose_scalar = __commonJS({
 var require_util_empty_scalar_position = __commonJS({
   "node_modules/yaml/dist/compose/util-empty-scalar-position.js"(exports2) {
     "use strict";
-    function emptyScalarPosition(offset, before, pos) {
-      if (before) {
-        pos ?? (pos = before.length);
+    function emptyScalarPosition(offset, before2, pos) {
+      if (before2) {
+        pos ?? (pos = before2.length);
         for (let i = pos - 1; i >= 0; --i) {
-          let st = before[i];
+          let st = before2[i];
           switch (st.type) {
             case "space":
             case "comment":
@@ -12365,10 +12365,10 @@ var require_util_empty_scalar_position = __commonJS({
               offset -= st.source.length;
               continue;
           }
-          st = before[++i];
+          st = before2[++i];
           while (st?.type === "space") {
             offset += st.source.length;
-            st = before[++i];
+            st = before2[++i];
           }
           break;
         }
@@ -12446,10 +12446,10 @@ var require_compose_node = __commonJS({
         node.srcToken = token;
       return node;
     }
-    function composeEmptyNode(ctx, offset, before, pos, { spaceBefore, comment, anchor, tag, end }, onError) {
+    function composeEmptyNode(ctx, offset, before2, pos, { spaceBefore, comment, anchor, tag, end }, onError) {
       const token = {
         type: "scalar",
-        offset: utilEmptyScalarPosition.emptyScalarPosition(offset, before, pos),
+        offset: utilEmptyScalarPosition.emptyScalarPosition(offset, before2, pos),
         indent: -1,
         source: ""
       };
@@ -13464,9 +13464,9 @@ var require_lexer = __commonJS({
         }
       }
       *parseQuotedScalar() {
-        const quote = this.charAt(0);
-        let end = this.buffer.indexOf(quote, this.pos + 1);
-        if (quote === "'") {
+        const quote2 = this.charAt(0);
+        let end = this.buffer.indexOf(quote2, this.pos + 1);
+        if (quote2 === "'") {
           while (end !== -1 && this.buffer[end + 1] === "'")
             end = this.buffer.indexOf("'", end + 2);
         } else {
@@ -14934,8 +14934,8 @@ var OpenApiSpec = class {
     return requestBody && this.validateContent(requestBody.pointer, body);
   }
   validateResponse(op, key, body) {
-    const response = this.resolve(`${op.pointer}/responses/${esc(key)}`);
-    return response && this.validateContent(response.pointer, 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) {
@@ -15090,9 +15090,9 @@ function checkStep(spec, step, warn) {
   }
   if (step.failed) return;
   const label = `${op.method} ${op.path}`;
-  const request = jsonBody(step.requestFormat, step.requestBody);
-  if (request !== void 0) {
-    const errors = spec.validateRequest(op, request.value);
+  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;
@@ -15103,9 +15103,9 @@ function checkStep(spec, step, warn) {
     warn(`Status ${step.statusCode} is not documented for ${label} (documented: ${documented.join(", ") || "none"})`, responseLoc);
     return;
   }
-  const response = jsonBody(step.responseFormat, step.responseBody);
-  if (response !== void 0) {
-    const errors = spec.validateResponse(op, key, response.value);
+  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);
   }
 }
@@ -15180,11 +15180,14 @@ function openApiDiagnostics(file, diagram, overrides = {}) {
 }
 
 // src/render/usage.ts
-var RENDER_USAGE = `  proschi render [--out <dir>] [--format svg|md|html] <file>`;
+var RENDER_USAGE = `  proschi render [--out <dir>] [--format svg|md|html|hld-md|hld-html] <file>`;
 var RENDER_HELP = `render  Writes the diagram as static files into --out (default: the current
         directory). svg (default): architecture.svg and <usecase>--<scenario>.svg
         per scenario; md: <file>.md with Mermaid blocks; html: <file>.html with
-        the SVGs. Refuses (exit 1) when the document has errors.`;
+        the SVGs; hld-md / hld-html: <file>.hld.md / <file>.hld.html, the
+        high-level design document (overview, requirements, capacity,
+        components, data model, APIs, scenarios, decisions, risks).
+        Refuses (exit 1) when the document has errors.`;
 
 // src/fmt.ts
 var import_node_fs3 = require("node:fs");
@@ -15333,6 +15336,8 @@ var IDENT_START = /[A-Za-z_]/;
 var IDENT_PART = /[A-Za-z0-9_]/;
 var TEAM_PART = /[A-Za-z0-9_-]/;
 var DIGIT = /[0-9]/;
+var LETTER = /[A-Za-z]/;
+var SEPARATE_UNIT = /^[ \t]+(rps|rpm|rpd|ms|s|%|usd\/month|usd\/GB|MB\/s|GB\/s)(?![A-Za-z0-9_/])/;
 function tokenizeLine(text, line) {
   const tokens = [];
   const diagnostics = [];
@@ -15386,8 +15391,16 @@ function tokenizeLine(text, line) {
       }
     }
     if (DIGIT.test(ch)) {
-      while (i < text.length && DIGIT.test(text[i])) i++;
-      tokens.push({ kind: "number", value: text.slice(start, i), col: start + 1, length: i - start });
+      i = readQuantity(text, i);
+      const value = text.slice(start, i).replace(/[ \t]+/g, "");
+      const kind = /^\d+$/.test(value) ? "number" : "quantity";
+      tokens.push({ kind, value, col: start + 1, length: i - start });
+      continue;
+    }
+    if (ch === "<" || ch === ">") {
+      const value = text[i + 1] === "=" ? ch + "=" : ch;
+      tokens.push({ kind: "op", value, col: start + 1, length: value.length });
+      i += value.length;
       continue;
     }
     if (ch === "@") {
@@ -15413,6 +15426,26 @@ function tokenizeLine(text, line) {
   }
   return { tokens, diagnostics };
 }
+function readQuantity(text, start) {
+  let i = start;
+  while (i < text.length && DIGIT.test(text[i])) i++;
+  if (text[i] === "." && DIGIT.test(text[i + 1] ?? "")) {
+    i++;
+    while (i < text.length && DIGIT.test(text[i])) i++;
+  }
+  const suffixStart = i;
+  if (text[i] === "%") return i + 1;
+  while (i < text.length && LETTER.test(text[i])) i++;
+  if (i > suffixStart && text[i] === "/" && LETTER.test(text[i + 1] ?? "")) {
+    i++;
+    while (i < text.length && LETTER.test(text[i])) i++;
+  }
+  if (/^[kmb]?$/.test(text.slice(suffixStart, i))) {
+    const unit = SEPARATE_UNIT.exec(text.slice(i));
+    if (unit) i += unit[0].length;
+  }
+  return i;
+}
 function readString(text, start) {
   let value = "";
   let i = start + 1;
@@ -15431,15 +15464,15 @@ function readString(text, start) {
 }
 function stripTrailingComment(text) {
   let depth = 0;
-  let quote = null;
+  let quote2 = null;
   for (let i = 0; i < text.length; i++) {
     const ch = text[i];
-    if (quote) {
+    if (quote2) {
       if (ch === "\\") i++;
-      else if (ch === quote) quote = null;
+      else if (ch === quote2) quote2 = null;
       continue;
     }
-    if (ch === '"') quote = ch;
+    if (ch === '"') quote2 = ch;
     else if (ch === "{" || ch === "[") depth++;
     else if (ch === "}" || ch === "]") depth = Math.max(0, depth - 1);
     else if (ch === "#" && depth === 0 && (i === 0 || /\s/.test(text[i - 1]))) return text.slice(0, i);
@@ -15495,11 +15528,169 @@ function endpointGroupKey(endpoint, all) {
   return method ? `${method} ${templatize(path)}` : templatize(path);
 }
 
+// ../frontend/src/dsl/kinds.ts
+var KINDS = ["client", "edge", "cdn", "loadbalancer", "gateway", "dns", "service", "function", "cache", "database", "search", "analytics", "queue", "storage", "external", "other"];
+var DATA_STORE_KINDS = ["cache", "database", "search", "analytics", "queue", "storage"];
+var EDGE_KINDS = ["edge", "cdn", "loadbalancer", "gateway", "dns"];
+var BY_TECH = {
+  "AWS CloudFront": "cdn",
+  "Azure CDN": "cdn",
+  "GCP Cloud CDN": "cdn",
+  "Azure Front Door": "cdn",
+  "AWS Load Balancer": "loadbalancer",
+  "GCP Load Balancing": "loadbalancer",
+  "AWS API Gateway": "gateway",
+  "Azure API Management": "gateway",
+  "AWS Route53": "dns",
+  "Azure DNS": "dns",
+  "GCP Cloud DNS": "dns",
+  Redis: "cache",
+  Elasticsearch: "search",
+  "GCP BigQuery": "analytics",
+  InfluxDB: "analytics",
+  TimescaleDB: "analytics",
+  // A note shape annotates the diagram; it is not a client.
+  Note: "other"
+};
+var BY_TYPE = {
+  shape: "client",
+  cdn: "edge",
+  service: "service",
+  compute: "service",
+  container: "service",
+  serverless: "function",
+  cache: "cache",
+  database: "database",
+  queue: "queue",
+  storage: "storage",
+  external: "external"
+};
+function kindOf(node) {
+  if (node.kind !== "component") return "other";
+  return BY_TECH[node.techStack] ?? BY_TYPE[node.type] ?? "other";
+}
+function isKind(word) {
+  return KINDS.includes(word);
+}
+function isDataStore(kind) {
+  return DATA_STORE_KINDS.includes(kind);
+}
+function isEdge(kind) {
+  return EDGE_KINDS.includes(kind);
+}
+function kindMatches(actual, wanted) {
+  return actual === wanted || wanted === "edge" && isEdge(actual);
+}
+
+// ../frontend/src/dsl/quantity.ts
+function parseQuantity(text) {
+  const m = /^(\d+(?:\.\d+)?)(.*)$/.exec(text.replace(/\s+/g, ""));
+  if (!m) return { error: `'${text}' is not a number` };
+  const number = Number(m[1]);
+  const suffix = m[2];
+  const unit = UNITS.get(suffix);
+  if (suffix === "" || unit) return unit ? { value: round(number * unit.factor), unit: unit.unit } : { value: number };
+  const magnitude = MAGNITUDES.get(suffix[0]);
+  const rest = suffix.slice(1);
+  const after2 = UNITS.get(rest);
+  if (magnitude && (rest === "" || after2)) {
+    return after2 ? { value: round(number * magnitude * after2.factor), unit: after2.unit } : { value: round(number * magnitude) };
+  }
+  return { error: `Unknown unit '${suffix}' in '${text}'; use rps, rpm, rpd, ms, s, %, usd/month, MB/s, GB/s or usd/GB (with k, m or b for thousands, millions, billions)` };
+}
+var round = (n) => Number(n.toPrecision(12));
+var MAGNITUDES = /* @__PURE__ */ new Map([
+  ["k", 1e3],
+  ["m", 1e6],
+  ["b", 1e9]
+]);
+var UNITS = /* @__PURE__ */ new Map([
+  ["rps", { unit: "rps", factor: 1 }],
+  ["rpm", { unit: "rps", factor: 1 / 60 }],
+  ["rpd", { unit: "rps", factor: 1 / 86400 }],
+  ["ms", { unit: "ms", factor: 1 }],
+  ["s", { unit: "ms", factor: 1e3 }],
+  ["%", { unit: "%", factor: 1 }],
+  ["usd/month", { unit: "usd/month", factor: 1 }],
+  ["MB/s", { unit: "MBps", factor: 1 }],
+  ["GB/s", { unit: "MBps", factor: 1e3 }],
+  ["usd/GB", { unit: "usd/GB", factor: 1 }]
+]);
+
+// ../frontend/src/dsl/access.ts
+var WRITE_METHODS = ["POST", "PUT", "PATCH", "DELETE"];
+var WRITE_VERBS = [
+  "INSERT",
+  "UPDATE",
+  "UPSERT",
+  "DELETE",
+  "PUT",
+  "SET",
+  "WRITE",
+  "APPEND",
+  "INCR",
+  "DECR",
+  "LPUSH",
+  "RPUSH",
+  "ZADD",
+  "HSET",
+  "GEOADD",
+  "PUBLISH",
+  "SEND",
+  "ENQUEUE",
+  "PRODUCE",
+  "CHARGE",
+  "CREATE",
+  // DynamoDB and Redis commands that store data
+  "PUTITEM",
+  "UPDATEITEM",
+  "DELETEITEM",
+  "BATCHWRITEITEM",
+  "INCRBY",
+  "HINCRBY",
+  "SADD",
+  "XADD",
+  "MSET",
+  // Plain words for storing something
+  "SAVE",
+  "STORE",
+  "UPLOAD",
+  "COMMIT",
+  "RECORD",
+  "MARK",
+  // Claiming a resource changes state: a seat, a driver, stock
+  "RESERVE",
+  "HOLD",
+  "BOOK",
+  // Handing something on: a write at the receiver (a queue, a provider), like SEND and PUBLISH
+  "EMIT",
+  "NOTIFY"
+];
+function accessOf(httpMethod, label) {
+  if (httpMethod) return WRITE_METHODS.includes(httpMethod.toUpperCase()) ? "write" : "read";
+  const word = /^\s*"?([A-Za-z_]+)/.exec(label)?.[1];
+  return word && WRITE_VERBS.includes(word.toUpperCase()) ? "write" : "read";
+}
+
 // ../frontend/src/dsl/parser.ts
 var HTTP_METHODS = ["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD", "OPTIONS"];
 var DEFAULT_TECH = "Rectangle";
 var DEFAULT_GROUP_TECH = "Logical Group";
 var MAX_SCENARIOS = 32;
+var REPLICAS = /^x(\d+)$/;
+var PERCENTILES = { p50: 50, p90: 90, p95: 95, p99: 99, p999: 99.9 };
+var FIELD_FLAGS = ["key", "index", "unique", "optional"];
+var UNIT_EXAMPLES = {
+  rps: "a rate, e.g. 100k rps, 6k rpm or 1m rpd",
+  ms: "a duration, e.g. 50ms or 1.5s",
+  "%": "a percentage, e.g. 99.9%",
+  "usd/month": "a monthly cost, e.g. 400 usd/month",
+  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 or egress";
+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 techByName = new Map(
   componentCatalog.map((c) => [c.techStack.toLowerCase(), { type: c.type, techStack: c.techStack }])
 );
@@ -15527,6 +15718,16 @@ var Parser = class {
   /** `a|b` for every connection, both directions; filled before use cases are built. */
   connected = /* @__PURE__ */ new Set();
   title;
+  summary;
+  traffic = [];
+  requirements = [];
+  capacity = [];
+  entities = [];
+  decisions = [];
+  tests = [];
+  /** Checks of use case, scenario and node names, run once every file is read and use cases are built. */
+  deferred = [];
+  built = [];
   options;
   constructor(source2, options) {
     this.options = options;
@@ -15541,11 +15742,21 @@ var Parser = class {
     const useCases = this.useCases.map(({ useCase, body }) => this.buildUseCase(useCase, body));
     const endpoints = useCases.flatMap((u) => u.endpoint ? [u.endpoint] : []);
     for (const u of useCases) if (u.endpoint) u.endpointGroup = endpointGroupKey(u.endpoint, endpoints);
+    this.built = useCases;
+    for (const check of this.deferred) check();
     const diagram = {
       title: this.title,
       nodes: [...this.nodes.values()],
       edges: this.edges,
-      useCases
+      useCases,
+      // The HLD sections are left out when a document has none, so older documents parse exactly as before.
+      ...this.summary !== void 0 ? { summary: this.summary } : {},
+      ...this.traffic.length ? { traffic: this.traffic } : {},
+      ...this.requirements.length ? { requirements: this.requirements } : {},
+      ...this.capacity.length ? { capacity: this.capacity } : {},
+      ...this.entities.length ? { entities: this.entities } : {},
+      ...this.decisions.length ? { decisions: this.decisions } : {},
+      ...this.tests.length ? { tests: this.tests } : {}
     };
     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);
@@ -15557,7 +15768,7 @@ var Parser = class {
       i = this.parseLine(i);
     }
     for (const frame of this.stack) {
-      const what = frame.kind === "group" ? `group '${frame.id}'` : frame.kind === "usecase" ? `usecase '${frame.useCase.name}'` : frame.kind === "alt" ? `alt '${frame.name}'` : "par block";
+      const what = frame.kind === "group" ? `group '${frame.id}'` : frame.kind === "usecase" ? `usecase '${frame.useCase.name}'` : frame.kind === "alt" ? `alt '${frame.name}'` : frame.kind === "par" ? "par block" : sectionName(frame);
       this.error(`Missing } to close ${what}`, frame.loc);
     }
   }
@@ -15567,8 +15778,19 @@ var Parser = class {
     const { tokens, diagnostics } = tokenizeLine(this.lines[index], line);
     this.diagnostics.push(...diagnostics.map((d) => ({ ...d, ...this.fileField() })));
     if (tokens.length === 0 || diagnostics.some((d) => d.severity === "error")) return index;
-    const [first, second] = tokens;
+    const [first, second, third] = tokens;
     const loc = (t) => this.locOf(t, line);
+    const top = this.top();
+    if (top?.kind === "section") {
+      if (first.kind === "rbrace") {
+        this.stack.pop();
+        if (!top.discard) this.closeSection(top);
+        if (second) this.error("Unexpected input after }", loc(second));
+      } else if (!top.discard) {
+        this.parseSectionLine(top, tokens, line);
+      }
+      return index;
+    }
     if (first.kind === "rbrace") {
       if (this.stack.length === 0) this.error("Unmatched }", loc(first));
       else this.closeFrame();
@@ -15602,6 +15824,26 @@ var Parser = class {
       case "import":
         this.parseImport(tokens, line);
         break;
+      // These words are keywords only in the shape of their statement, so older documents may still use them as ids.
+      case "traffic":
+      case "requirements":
+      case "capacity":
+        if (second?.kind === "lbrace") this.openSection(first.value, tokens, line);
+        else this.parseNode(tokens, line);
+        break;
+      case "entity":
+        if (second?.kind === "ident" && second.value !== "pos" && !REPLICAS.test(second.value)) this.parseEntity(tokens, line);
+        else this.parseNode(tokens, line);
+        break;
+      case "decision":
+        if (second?.kind === "string" && (third?.kind === "lbrace" || third?.kind === "ident" && third.value !== "pos" && !REPLICAS.test(third.value)))
+          this.parseDecision(tokens, line);
+        else this.parseNode(tokens, line);
+        break;
+      case "test":
+        if (second?.kind === "string" && tokens[tokens.length - 1].kind === "lbrace") this.parseTest(tokens, line);
+        else this.parseNode(tokens, line);
+        break;
       default:
         this.parseNode(tokens, line);
     }
@@ -15613,8 +15855,12 @@ var Parser = class {
       this.error('Expected a title, e.g. title "My System"', this.locOf(tokens[0], line));
       return;
     }
-    if (this.file === void 0) this.title = value.value;
-    this.expectEnd(tokens, 2, line);
+    const summary = tokens[2]?.kind === "string" ? tokens[2] : void 0;
+    if (this.file === void 0) {
+      this.title = value.value;
+      if (summary) this.summary = summary.value;
+    }
+    this.expectEnd(tokens, summary ? 3 : 2, line);
   }
   parseImport(tokens, line) {
     const keyword = tokens[0];
@@ -15823,6 +16069,13 @@ var Parser = class {
         }
         node.position = { x: Number(x.value), y: Number(y.value) };
         i += 3;
+      } else if (t.kind === "ident" && REPLICAS.test(t.value)) {
+        const replicas = Number(REPLICAS.exec(t.value)[1]);
+        if (replicas < 1) {
+          this.error("A node needs at least one replica: x1, x2, \u2026", this.locOf(t, line));
+          return;
+        }
+        node.replicas = replicas;
       } else if (t.kind === "label" || t.kind === "arrow") {
         this.error(`Expected '${idToken.value} -> target' for a connection`, this.locOf(t, line));
         return;
@@ -15868,7 +16121,20 @@ var Parser = class {
     if (top?.kind === "usecase" || top?.kind === "alt" || top?.kind === "par") {
       const body = this.currentBody();
       body.openAlt = void 0;
-      body.items.push({ kind: "step", step: { from, to, arrow, label, parallelGroup: top.kind === "par" ? top.group : void 0, loc } });
+      const prefixes = arrow === "-->" ? { rest: label } : this.readLabelPrefixes(label, labelToken, line);
+      body.items.push({
+        kind: "step",
+        step: {
+          from,
+          to,
+          arrow,
+          label: prefixes.rest,
+          parallelGroup: top.kind === "par" ? top.group : void 0,
+          ...prefixes.multiplier !== void 0 ? { multiplier: prefixes.multiplier } : {},
+          ...prefixes.sizeBytes !== void 0 ? { sizeBytes: prefixes.sizeBytes } : {},
+          loc
+        }
+      });
     } else if (arrow === "-x") {
       this.error("'-x' marks a failed call and is only allowed in use case steps", this.locOf(arrowToken, line));
     } else {
@@ -15878,6 +16144,751 @@ var Parser = class {
     }
     return lastLine;
   }
+  /**
+   * Reads `x<N>` (fan-out) and `~<size>` (payload size) at the start of a step
+   * label, in either order (§7.3), and returns the label without them. A
+   * prefix must be followed by whitespace or end the label, so `xml …` and
+   * `x-request-id` are ordinary labels. Problems are reported at the prefix.
+   */
+  readLabelPrefixes(label, token, line) {
+    const out = { rest: label };
+    if (!token) return out;
+    const after2 = this.lines[line - 1].slice(token.col);
+    const base = token.col + 1 + (after2.length - after2.trimStart().length);
+    let offset = 0;
+    for (; ; ) {
+      const rest = label.slice(offset);
+      const at = (length) => ({ line, col: base + offset, length, ...this.fileField() });
+      const fanOut = /^x(\d+)(?=\s|$)/.exec(rest);
+      const size = rest.startsWith("~") ? /^~(\S*)/.exec(rest) : null;
+      const match = fanOut ?? size;
+      if (!match) break;
+      if (fanOut) {
+        const n = Number(fanOut[1]);
+        if (out.multiplier !== void 0) this.error("The fan-out is given twice; write one x<N>", at(match[0].length));
+        else if (n < 1) this.error("A fan-out needs at least one call per request: x1, x2, \u2026", at(match[0].length));
+        else out.multiplier = n;
+      } else {
+        const bytes = parseSize(size[1]);
+        if (out.sizeBytes !== void 0) this.error("The payload size is given twice; write one ~<size>", at(match[0].length));
+        else if ("error" in bytes) this.error(bytes.error, at(match[0].length));
+        else out.sizeBytes = bytes.value;
+      }
+      offset += match[0].length;
+      offset += label.slice(offset).length - label.slice(offset).trimStart().length;
+    }
+    out.rest = label.slice(offset);
+    return out;
+  }
+  // ---- HLD sections: traffic, requirements, capacity, entity, decision, test (docs/design/hld-and-practice.md §1) ----
+  /**
+   * Starts a section block. Sections are top level only; a misplaced one, or
+   * one whose header is broken, still opens a block so that its lines and its
+   * `}` are not mistaken for nodes and the end of an enclosing block.
+   */
+  openSection(section, tokens, line, fill = {}) {
+    const keyword = tokens[0];
+    const loc = this.locOf(keyword, line);
+    if (this.stack.length > 0) {
+      this.error(`${section} is only allowed at the top level`, loc);
+      this.skipSection(section, tokens, line);
+      return false;
+    }
+    if (section === "traffic" || section === "requirements" || section === "capacity") this.expectEnd(tokens, 2, line);
+    this.stack.push({ kind: "section", section, ...fill, loc });
+    return true;
+  }
+  /** After an error in a section header: skips the block, if the line opens one. */
+  skipSection(section, tokens, line) {
+    if (tokens[tokens.length - 1].kind === "lbrace") this.stack.push({ kind: "section", section, discard: true, loc: this.locOf(tokens[0], line) });
+  }
+  closeSection(frame) {
+    if (frame.test && frame.test.assertions.length === 0) this.warning(`Test '${frame.test.name}' has no assertions`, frame.test.loc);
+  }
+  parseSectionLine(frame, tokens, line) {
+    switch (frame.section) {
+      case "traffic":
+        return this.parseTrafficLine(tokens, line);
+      case "requirements":
+        return this.parseRequirement(tokens, line);
+      case "capacity":
+        return this.parseCapacityLine(tokens, line);
+      case "entity":
+        return this.parseField(frame.entity, tokens, line);
+      case "decision":
+        return this.parseDecisionLine(frame.decision, tokens, line);
+      case "test": {
+        const assertion2 = this.parseAssertion(tokens, line);
+        if (assertion2) frame.test.assertions.push(assertion2);
+        return;
+      }
+    }
+  }
+  /** `"Redirect" 100k rps mix "Cache hit" 90%, "Cache miss" 10%` */
+  parseTrafficLine(tokens, line) {
+    const [name, rate] = tokens;
+    if (name.kind !== "string") {
+      this.error('Expected a use case name in quotes and a rate, e.g. "Redirect" 100k rps', this.locOf(name, line));
+      return;
+    }
+    const rps = this.quantityOf(rate, "rps", name, line);
+    if (rps === void 0) return;
+    const entry = { useCase: name.value, rps, loc: this.lineLoc(tokens, line) };
+    const shares = [];
+    let i = 2;
+    if (tokens[i]) {
+      const mix = tokens[i++];
+      if (!isWord(mix, "mix")) {
+        this.error(`Unexpected ${describe(mix)}; expected mix "Scenario" 90%, "Other" 10%`, this.locOf(mix, line));
+        return;
+      }
+      for (; ; ) {
+        const scenario = tokens[i];
+        if (scenario?.kind !== "string") {
+          this.error('Expected a scenario name in quotes and its share, e.g. "Cache hit" 90%', this.locOf(scenario ?? tokens[i - 1], line));
+          return;
+        }
+        const share = this.quantityOf(tokens[i + 1], "%", scenario, line);
+        if (share === void 0) return;
+        const loc = this.locOf(scenario, line);
+        if (shares.some((s) => s.scenario === scenario.value)) {
+          this.error(`Scenario '${scenario.value}' is in the mix twice`, loc);
+          return;
+        }
+        shares.push({ scenario: scenario.value, share, loc });
+        i += 2;
+        if (!tokens[i]) break;
+        if (tokens[i].kind !== "comma") {
+          this.error(`Expected , between mix shares, not ${describe(tokens[i])}`, this.locOf(tokens[i], line));
+          return;
+        }
+        i++;
+      }
+      const total = shares.reduce((sum, s) => sum + s.share, 0);
+      if (total <= 0) {
+        this.error("Mix shares must add up to more than 0%", this.locOf(mix, line));
+        return;
+      }
+      if (Math.abs(total - 100) > 1e-9) {
+        this.warning(`Mix shares add up to ${Number(total.toFixed(3))}%, not 100%; they are scaled to fit`, this.locOf(mix, line));
+      }
+      entry.mix = shares.map((s) => ({ scenario: s.scenario, share: s.share / total }));
+    }
+    const nameLoc = this.locOf(name, line);
+    const first = this.traffic.find((t) => t.useCase === entry.useCase);
+    if (first) {
+      this.error(`Duplicate traffic for '${entry.useCase}' (first ${this.where(first.loc, nameLoc)})`, nameLoc);
+      return;
+    }
+    this.traffic.push(entry);
+    this.deferred.push(() => {
+      const useCase = this.checkUseCase(entry.useCase, nameLoc);
+      if (useCase) for (const s of shares) this.checkScenario(useCase, s.scenario, s.loc);
+    });
+  }
+  /** One line of `requirements { … }`. */
+  parseRequirement(tokens, line) {
+    const [first] = tokens;
+    const loc = this.lineLoc(tokens, line);
+    const help = 'Expected a requirement: p99 "Use case" < 50ms, availability >= 99.9%, durable "Use case", survive any node failure, cost <= 3000 usd/month';
+    if (first.kind !== "ident") {
+      this.error(help, this.locOf(first, line));
+      return;
+    }
+    const word = first.value;
+    let i = 1;
+    let useCase;
+    const readUseCase = () => {
+      if (tokens[i]?.kind !== "string") return;
+      useCase = { name: tokens[i].value, loc: this.locOf(tokens[i], line) };
+      i++;
+    };
+    const commit = (requirement2, scenario) => {
+      this.requirements.push(requirement2);
+      const named = useCase;
+      if (named)
+        this.deferred.push(() => {
+          const found = this.checkUseCase(named.name, named.loc);
+          if (found && scenario) this.checkScenario(found, scenario.name, scenario.loc);
+        });
+    };
+    const withUseCase = () => useCase ? { useCase: useCase.name } : {};
+    if (/^p\d+$/.test(word)) {
+      const percentile = PERCENTILES[word];
+      if (percentile === void 0) {
+        this.error(`Unknown percentile '${word}'; use p50, p90, p95, p99 or p999`, this.locOf(first, line));
+        return;
+      }
+      readUseCase();
+      let scenario;
+      if (isWord(tokens[i], "scenario")) {
+        const name = tokens[i + 1];
+        if (!useCase) {
+          this.error(`A scenario belongs to a use case; write ${word} "Use case" scenario "Scenario" < 100ms`, this.locOf(tokens[i], line));
+          return;
+        }
+        if (name?.kind !== "string") {
+          this.error("Expected a scenario name in quotes after scenario", this.locOf(name ?? tokens[i], line));
+          return;
+        }
+        scenario = { name: name.value, loc: this.locOf(name, line) };
+        i += 2;
+      }
+      if (!this.expectOp(tokens, i, ["<", "<="], `${word} "Use case" < 50ms`, line)) return;
+      const maxMs = this.quantityOf(tokens[i + 1], "ms", tokens[i], line);
+      if (maxMs === void 0 || !this.expectEnd(tokens, i + 2, line)) return;
+      commit({ kind: "latency", percentile, ...withUseCase(), ...scenario ? { scenario: scenario.name } : {}, maxMs, loc }, scenario);
+      return;
+    }
+    switch (word) {
+      case "availability": {
+        readUseCase();
+        if (!this.expectOp(tokens, i, [">=", ">"], 'availability "Use case" >= 99.9%', line)) return;
+        const minPercent = this.quantityOf(tokens[i + 1], "%", tokens[i], line);
+        if (minPercent === void 0) return;
+        if (minPercent > 100) {
+          this.error("Availability cannot be more than 100%", this.locOf(tokens[i + 1], line));
+          return;
+        }
+        if (!this.expectEnd(tokens, i + 2, line)) return;
+        commit({ kind: "availability", ...withUseCase(), minPercent, loc });
+        return;
+      }
+      case "durable":
+        readUseCase();
+        if (!useCase) {
+          this.error('Expected a use case name in quotes, e.g. durable "Shorten"', this.locOf(tokens[1] ?? first, line));
+          return;
+        }
+        if (!this.expectEnd(tokens, i, line)) return;
+        commit({ kind: "durable", useCase: useCase.name, loc });
+        return;
+      case "survive": {
+        if (isWord(tokens[1], "any") && isWord(tokens[2], "node") && isWord(tokens[3], "failure")) {
+          if (this.expectEnd(tokens, 4, line)) commit({ kind: "survive", target: "any", loc });
+          return;
+        }
+        if (!isWord(tokens[1], "failure") || !isWord(tokens[2], "of")) {
+          this.error("Expected survive any node failure, or survive failure of <node | [Tech] | any kind>", this.locOf(tokens[1] ?? first, line));
+          return;
+        }
+        const target = this.parseSelector(tokens, 3, line);
+        if (!target || !this.expectEnd(tokens, target.next, line)) return;
+        commit({ kind: "survive", target: target.selector, loc });
+        this.checkSelectorLater(target);
+        return;
+      }
+      case "cost": {
+        if (!this.expectOp(tokens, 1, ["<=", "<"], "cost <= 3000 usd/month", line)) return;
+        const maxUsdPerMonth = this.quantityOf(tokens[2], "usd/month", tokens[1], line);
+        if (maxUsdPerMonth === void 0 || !this.expectEnd(tokens, 3, line)) return;
+        commit({ kind: "cost", maxUsdPerMonth, loc });
+        return;
+      }
+      default:
+        this.error(`Unknown requirement '${word}'. ${help}`, this.locOf(first, line));
+    }
+  }
+  /** `db 20k rps latency 4ms availability 99.95% cost 400 usd/month durable`, parts in any order. */
+  parseCapacityLine(tokens, line) {
+    const [id] = tokens;
+    if (id.kind !== "ident") {
+      this.error("Expected a node id and its overrides, e.g. db 20k rps latency 4ms", this.locOf(id, line));
+      return;
+    }
+    const override = { node: id.value, loc: this.lineLoc(tokens, line) };
+    const seen = /* @__PURE__ */ new Set();
+    for (let i = 1; i < tokens.length; ) {
+      const t = tokens[i];
+      let part;
+      if (t.kind === "quantity" || t.kind === "number") {
+        part = "rate";
+        const rps = this.quantityOf(t, "rps", t, line);
+        if (rps === void 0) return;
+        override.rps = rps;
+        i++;
+      } else if (isWord(t, "latency") || isWord(t, "availability") || isWord(t, "cost")) {
+        part = t.value;
+        const unit = part === "latency" ? "ms" : part === "availability" ? "%" : "usd/month";
+        const value = this.quantityOf(tokens[i + 1], unit, t, line);
+        if (value === void 0) return;
+        if (part === "latency") override.latencyMs = value;
+        else if (part === "availability") override.availability = value;
+        else override.costUsd = value;
+        i += 2;
+      } else if (isWord(t, "durable") || isWord(t, "volatile")) {
+        part = "durable or volatile";
+        override.durable = t.value === "durable";
+        i++;
+      } else if (isWord(t, "reads") || isWord(t, "writes")) {
+        part = t.value;
+        const value = this.quantityOf(tokens[i + 1], "rps", t, line);
+        if (value === void 0) return;
+        if (part === "reads") override.readRps = value;
+        else override.writeRps = value;
+        i += 2;
+      } else if (isWord(t, "shards")) {
+        part = "shards";
+        const n = tokens[i + 1];
+        if (n?.kind !== "number" || Number(n.value) < 1) {
+          this.error("Expected a whole number of shards, at least 1, e.g. shards 4", this.locOf(n ?? t, line));
+          return;
+        }
+        override.shards = Number(n.value);
+        i += 2;
+      } else if (isWord(t, "consistency")) {
+        part = "consistency";
+        const value = tokens[i + 1];
+        if (!isWord(value, "strong") && !isWord(value, "eventual")) {
+          this.error(`Expected strong or eventual after consistency${value ? `, not ${describe(value)}` : ""}`, this.locOf(value ?? t, line));
+          return;
+        }
+        override.consistency = value.value;
+        i += 2;
+      } else if (isWord(t, "bandwidth") || isWord(t, "egress")) {
+        part = t.value;
+        const value = this.quantityOf(tokens[i + 1], part === "bandwidth" ? "MBps" : "usd/GB", t, line);
+        if (value === void 0) return;
+        if (part === "bandwidth") {
+          if (value <= 0) {
+            this.error("Bandwidth must be more than 0", this.locOf(tokens[i + 1], line));
+            return;
+          }
+          override.bandwidthMBps = value;
+        } else override.egressUsdPerGb = value;
+        i += 2;
+      } else {
+        this.error(`Unexpected ${describe(t)}; expected ${CAPACITY_PARTS}`, this.locOf(t, line));
+        return;
+      }
+      const clash = part === "rate" ? ["reads", "writes"].find((p) => seen.has(p)) : part === "reads" || part === "writes" ? seen.has("rate") ? part : void 0 : void 0;
+      if (clash) {
+        this.error(`A rate sets both reads and writes; give either a rate or reads and writes for '${id.value}'`, this.locOf(t, line));
+        return;
+      }
+      if (seen.has(part)) {
+        this.error(`${part[0].toUpperCase()}${part.slice(1)} is given twice for '${id.value}'`, this.locOf(t, line));
+        return;
+      }
+      seen.add(part);
+    }
+    const idLoc = this.locOf(id, line);
+    if (seen.size === 0) {
+      this.warning(`Capacity line for '${id.value}' overrides nothing; add ${CAPACITY_PARTS}`, idLoc);
+      return;
+    }
+    const first = this.capacity.find((c) => c.node === id.value);
+    if (first) {
+      this.error(`Duplicate capacity for '${id.value}' (first ${this.where(first.loc, idLoc)})`, idLoc);
+      return;
+    }
+    this.capacity.push(override);
+    this.deferred.push(() => {
+      const node = this.nodes.get(id.value);
+      if (!node) {
+        this.warning(`Unknown node '${id.value}' in capacity`, idLoc);
+        return;
+      }
+      const storeOnly = ["shards", "consistency"].filter((p) => seen.has(p));
+      if (storeOnly.length && !isDataStore(kindOf(node)))
+        this.warning(`'${id.value}' is not a data store (${DATA_STORE_KINDS.join(", ")}); ${storeOnly.join(" and ")} only apply to data stores`, idLoc);
+    });
+  }
+  /** `entity Url [in db] ["description"] {` */
+  parseEntity(tokens, line) {
+    const name = tokens[1];
+    let i = 2;
+    let store;
+    if (isWord(tokens[i], "in")) {
+      const id = tokens[i + 1];
+      if (id?.kind !== "ident") {
+        this.error("Expected the id of the node that stores the entity after in, e.g. entity Url in db {", this.locOf(id ?? tokens[i], line));
+        this.skipSection("entity", tokens, line);
+        return;
+      }
+      store = { id: id.value, loc: this.locOf(id, line) };
+      i += 2;
+    }
+    const description = tokens[i]?.kind === "string" ? tokens[i++].value : void 0;
+    if (tokens[i]?.kind !== "lbrace") {
+      this.error('Expected { after the entity header, e.g. entity Url in db "Short codes" {', this.locOf(tokens[i] ?? tokens[i - 1], line));
+      this.skipSection("entity", tokens, line);
+      return;
+    }
+    this.expectEnd(tokens, i + 1, line);
+    const loc = this.locOf(name, line);
+    const entity = { name: name.value, ...store ? { store: store.id } : {}, ...description !== void 0 ? { description } : {}, fields: [], loc };
+    const first = this.entities.find((e) => e.name === entity.name);
+    if (first) {
+      this.error(`Duplicate entity '${entity.name}' (first ${this.where(first.loc, loc)})`, loc);
+      this.skipSection("entity", tokens, line);
+      return;
+    }
+    if (!this.openSection("entity", tokens, line, { entity })) return;
+    this.entities.push(entity);
+    if (store) {
+      const { id, loc: storeLoc } = store;
+      this.deferred.push(() => {
+        const node = this.nodes.get(id);
+        if (!node) this.warning(`Unknown node '${id}'`, storeLoc);
+        else if (!isDataStore(kindOf(node)))
+          this.warning(`'${id}' is not a data store (${DATA_STORE_KINDS.join(", ")}); entity '${entity.name}' is placed in a ${kindOf(node)}`, storeLoc);
+      });
+    }
+  }
+  /** `code string key`: a field name, a type and flags. */
+  parseField(entity, tokens, line) {
+    const [name, type] = tokens;
+    if (name.kind !== "ident") {
+      this.error("Expected a field: name type [key] [index] [unique] [optional], e.g. code string key", this.locOf(name, line));
+      return;
+    }
+    if (type?.kind !== "ident") {
+      this.error(`Expected a type after '${name.value}', e.g. ${name.value} string`, this.locOf(type ?? name, line));
+      return;
+    }
+    const flags = [];
+    for (const t of tokens.slice(2)) {
+      if (t.kind !== "ident" || !FIELD_FLAGS.includes(t.value)) {
+        this.error(`Unknown field flag ${describe(t)}; use key, index, unique or optional`, this.locOf(t, line));
+        return;
+      }
+      if (flags.includes(t.value)) {
+        this.error(`Flag '${t.value}' is given twice`, this.locOf(t, line));
+        return;
+      }
+      flags.push(t.value);
+    }
+    if (entity.fields.some((f) => f.name === name.value)) {
+      this.error(`Duplicate field '${name.value}' in entity '${entity.name}'`, this.locOf(name, line));
+      return;
+    }
+    entity.fields.push({ name: name.value, type: type.value, flags });
+  }
+  /** `decision "Title" because "Reason"`, or `decision "Title" {` with because / rejected lines. */
+  parseDecision(tokens, line) {
+    const title = tokens[1];
+    const decision = { title: title.value, rejected: [], loc: this.locOf(title, line) };
+    const third = tokens[2];
+    if (third.kind === "lbrace") {
+      this.expectEnd(tokens, 3, line);
+      if (this.openSection("decision", tokens, line, { decision })) this.decisions.push(decision);
+      return;
+    }
+    if (!isWord(third, "because")) {
+      this.error(`Expected because "reason" or { after the decision title, not ${describe(third)}`, this.locOf(third, line));
+      this.skipSection("decision", tokens, line);
+      return;
+    }
+    if (this.stack.length > 0) {
+      this.error("decision is only allowed at the top level", this.locOf(tokens[0], line));
+      return;
+    }
+    const reason = tokens[3];
+    if (reason?.kind !== "string") {
+      this.error("Expected the reason in quotes after because", this.locOf(reason ?? third, line));
+      return;
+    }
+    if (!this.expectEnd(tokens, 4, line)) return;
+    decision.because = reason.value;
+    this.decisions.push(decision);
+  }
+  parseDecisionLine(decision, tokens, line) {
+    const [word] = tokens;
+    if (isWord(word, "because")) {
+      if (tokens[1]?.kind !== "string") {
+        this.error("Expected the reason in quotes after because", this.locOf(tokens[1] ?? word, line));
+        return;
+      }
+      if (decision.because !== void 0) {
+        this.error('A decision has one because; list the other options with rejected "option" "reason"', this.locOf(word, line));
+        return;
+      }
+      if (this.expectEnd(tokens, 2, line)) decision.because = tokens[1].value;
+      return;
+    }
+    if (isWord(word, "rejected")) {
+      const [, option, reason] = tokens;
+      if (option?.kind !== "string" || reason?.kind !== "string") {
+        const bad = option?.kind !== "string" ? option : reason;
+        this.error('Expected rejected "option" "reason"', this.locOf(bad ?? tokens[tokens.length - 1], line));
+        return;
+      }
+      if (this.expectEnd(tokens, 3, line)) decision.rejected.push({ option: option.value, reason: reason.value });
+      return;
+    }
+    this.error('Expected because "reason" or rejected "option" "reason"', this.locOf(word, line));
+  }
+  /** `test "Name" {` */
+  parseTest(tokens, line) {
+    const name = tokens[1];
+    const loc = this.locOf(name, line);
+    if (tokens[2].kind !== "lbrace") {
+      this.error(`Expected { after the test name, not ${describe(tokens[2])}`, this.locOf(tokens[2], line));
+      this.skipSection("test", tokens, line);
+      return;
+    }
+    this.expectEnd(tokens, 3, line);
+    const first = this.tests.find((t) => t.name === name.value);
+    if (first) {
+      this.error(`Duplicate test '${name.value}' (first ${this.where(first.loc, loc)})`, loc);
+      this.skipSection("test", tokens, line);
+      return;
+    }
+    const test = { name: name.value, assertions: [], loc };
+    if (this.openSection("test", tokens, line, { test })) this.tests.push(test);
+  }
+  /** One assertion line of a test (docs/design/hld-and-practice.md §1.9). */
+  parseAssertion(tokens, line) {
+    const loc = this.lineLoc(tokens, line);
+    const [first] = tokens;
+    const selectors = [];
+    const selector = (i2) => {
+      const s = this.parseSelector(tokens, i2, line);
+      if (s) selectors.push(s);
+      return s;
+    };
+    const done = (assertion3, end) => {
+      if (!this.expectEnd(tokens, end, line)) return void 0;
+      selectors.forEach((s) => this.checkSelectorLater(s));
+      return assertion3;
+    };
+    const expectWords = (i2, words, example) => {
+      for (const [k, w] of words.entries()) {
+        if (!isWord(tokens[i2 + k], w)) {
+          this.error(`Expected '${w}' here, e.g. ${example}`, this.locOf(tokens[i2 + k] ?? tokens[tokens.length - 1], line));
+          return false;
+        }
+      }
+      return true;
+    };
+    if (isWord(first, "no") && isWord(tokens[1], "path")) {
+      const example = "no path from client to any database";
+      if (!expectWords(2, ["from"], example)) return;
+      const from = selector(3);
+      if (!from || !expectWords(from.next, ["to"], example)) return;
+      const to = selector(from.next + 1);
+      if (!to) return;
+      return done({ kind: "noPath", from: from.selector, to: to.selector, loc }, to.next);
+    }
+    if (first.kind !== "string") {
+      if (first.kind !== "ident" && first.kind !== "tech") {
+        this.error(ASSERTION_HELP, this.locOf(first, line));
+        return;
+      }
+      const inUseCase = isWord(first, "in") && tokens[1]?.kind === "string" ? { name: tokens[1].value, loc: this.locOf(tokens[1], line) } : void 0;
+      const target = selector(inUseCase ? 2 : 0);
+      if (!target) return;
+      const word = tokens[target.next];
+      if (isWord(word, "calls") || isWord(word, "never")) {
+        const never = word.value === "never";
+        if (never && !expectWords(target.next + 1, ["calls"], "any service never calls any storage")) return;
+        const to = selector(target.next + (never ? 2 : 1));
+        if (!to) return;
+        const assertion3 = done(
+          { kind: "senderCalls", ...inUseCase ? { useCase: inUseCase.name } : {}, from: target.selector, to: to.selector, quantifier: never ? "never" : "some", loc },
+          to.next
+        );
+        if (assertion3 && inUseCase) this.deferred.push(() => this.checkUseCase(inUseCase.name, inUseCase.loc));
+        return assertion3;
+      }
+      if (inUseCase) {
+        this.error(`Expected calls or never calls here, e.g. in "${inUseCase.name}" api calls db`, this.locOf(word ?? tokens[tokens.length - 1], line));
+        return;
+      }
+      if (!isWord(word, "has")) {
+        this.error(ASSERTION_HELP, this.locOf(word ?? first, line));
+        return;
+      }
+      const i2 = target.next + 1;
+      const example = "api has replicas >= 2";
+      if (!expectWords(i2, ["replicas"], example) || !this.expectOp(tokens, i2 + 1, [">="], example, line)) return;
+      const n = tokens[i2 + 2];
+      if (n?.kind !== "number" || Number(n.value) < 1) {
+        this.error("Expected a whole number of replicas, at least 1", this.locOf(n ?? tokens[i2 + 1], line));
+        return;
+      }
+      return done({ kind: "replicas", target: target.selector, min: Number(n.value), loc }, i2 + 3);
+    }
+    const useCase = first.value;
+    const useCaseLoc = this.locOf(first, line);
+    let i = 1;
+    let scenario;
+    if (isWord(tokens[i], "scenario")) {
+      const s = tokens[i + 1];
+      if (s?.kind !== "string") {
+        this.error("Expected a scenario name in quotes after scenario", this.locOf(s ?? tokens[i], line));
+        return;
+      }
+      scenario = { name: s.value, loc: this.locOf(s, line) };
+      i += 2;
+    }
+    const withScenario = scenario ? { scenario: scenario.name } : {};
+    const verb = tokens[i];
+    const wholeUseCase = (what) => {
+      if (!scenario) return true;
+      this.error(`${what} is about the whole use case; leave out scenario "\u2026"`, scenario.loc);
+      return false;
+    };
+    let assertion2;
+    if (isWord(verb, "calls")) {
+      const target = selector(i + 1);
+      if (!target) return;
+      if (isWord(tokens[target.next], "before")) {
+        const then = selector(target.next + 1);
+        if (!then) return;
+        assertion2 = done({ kind: "before", useCase, ...withScenario, first: target.selector, then: then.selector, loc }, then.next);
+      } else if (isWord(tokens[target.next], "after")) {
+        const after2 = selector(target.next + 1);
+        if (!after2) return;
+        assertion2 = done({ kind: "after", useCase, ...withScenario, target: target.selector, after: after2.selector, loc }, after2.next);
+      } else {
+        assertion2 = done({ kind: "calls", useCase, ...withScenario, target: target.selector, quantifier: "some", loc }, target.next);
+      }
+    } else if (isWord(verb, "every")) {
+      if (!expectWords(i + 1, ["scenario", "calls"], `"${useCase}" every scenario calls any cache`)) return;
+      const target = selector(i + 3);
+      if (!target) return;
+      assertion2 = done({ kind: "calls", useCase, ...withScenario, target: target.selector, quantifier: "every", loc }, target.next);
+    } else if (isWord(verb, "never") && isWord(tokens[i + 1], "waits")) {
+      if (!expectWords(i + 2, ["for"], `"${useCase}" never waits for any queue`)) return;
+      const target = selector(i + 3);
+      if (!target) return;
+      assertion2 = done({ kind: "neverWaits", useCase, ...withScenario, target: target.selector, loc }, target.next);
+    } else if (isWord(verb, "starts")) {
+      if (!wholeUseCase("starts at") || !expectWords(i + 1, ["at"], `"${useCase}" starts at any queue`)) return;
+      const target = selector(i + 2);
+      if (!target) return;
+      assertion2 = done({ kind: "startsAt", useCase, target: target.selector, loc }, target.next);
+    } else if (isWord(verb, "never")) {
+      if (!expectWords(i + 1, ["calls"], `"${useCase}" never calls any database`)) return;
+      const target = selector(i + 2);
+      if (!target) return;
+      assertion2 = done({ kind: "calls", useCase, ...withScenario, target: target.selector, quantifier: "never", loc }, target.next);
+    } else if (isWord(verb, "writes")) {
+      const target = selector(i + 1);
+      if (!target || !expectWords(target.next, ["before", "responding"], `"${useCase}" writes db before responding`)) return;
+      assertion2 = done({ kind: "writesBeforeResponding", useCase, ...withScenario, target: target.selector, loc }, target.next + 2);
+    } else if (isWord(verb, "responds")) {
+      const status = tokens[i + 1];
+      if (!status || status.kind !== "number" && status.kind !== "quantity" || !/^[1-5](\d\d|xx)$/.test(status.value)) {
+        this.error("Expected a status code or class after responds, e.g. 201 or 4xx", this.locOf(status ?? verb, line));
+        return;
+      }
+      assertion2 = done({ kind: "responds", useCase, ...withScenario, status: status.value, loc }, i + 2);
+    } else if (isWord(verb, "has")) {
+      if (!wholeUseCase("has scenario") || !expectWords(i + 1, ["scenario"], `"${useCase}" has scenario "Not found"`)) return;
+      const name = tokens[i + 2];
+      if (name?.kind !== "string") {
+        this.error("Expected a scenario name in quotes after has scenario", this.locOf(name ?? tokens[i + 1], line));
+        return;
+      }
+      assertion2 = done({ kind: "hasScenario", useCase, scenario: name.value, loc }, i + 3);
+    } else if (isWord(verb, "handles")) {
+      if (!wholeUseCase("handles failure") || !expectWords(i + 1, ["failure", "of"], `"${useCase}" handles failure of cache`)) return;
+      const target = selector(i + 3);
+      if (!target) return;
+      assertion2 = done({ kind: "handlesFailure", useCase, target: target.selector, loc }, target.next);
+    } else {
+      this.error(`Expected ${ASSERTION_VERBS} after "${useCase}"`, this.locOf(verb ?? first, line));
+      return;
+    }
+    if (assertion2) {
+      this.deferred.push(() => {
+        const found = this.checkUseCase(useCase, useCaseLoc);
+        if (found && scenario) this.checkScenario(found, scenario.name, scenario.loc);
+      });
+    }
+    return assertion2;
+  }
+  /** A selector starting at `tokens[i]`: one or more of node id, `[Tech]`, `any <kind>`, `any strong store`, joined by `or`. */
+  parseSelector(tokens, i, line) {
+    const atoms = [];
+    let next = i;
+    for (; ; ) {
+      const atom = this.parseSelectorAtom(tokens, next, line);
+      if (!atom) return void 0;
+      atoms.push(atom);
+      next = atom.next;
+      if (!isWord(tokens[next], "or")) break;
+      next++;
+    }
+    const selector = atoms.length === 1 ? atoms[0].selector : { anyOf: atoms.map((a) => a.selector) };
+    return { selector, next, atoms };
+  }
+  /** One node id, `[Tech]`, `any <kind>` or `any strong|eventual store` at `tokens[i]`. */
+  parseSelectorAtom(tokens, i, line) {
+    const t = tokens[i];
+    if (t?.kind === "tech") {
+      const tech = techByName.get(t.value.toLowerCase())?.techStack ?? t.value;
+      return { selector: { tech }, next: i + 1, token: t, loc: this.locOf(t, line) };
+    }
+    if (isWord(t, "any")) {
+      const kind = tokens[i + 1];
+      if (isWord(kind, "strong") || isWord(kind, "eventual")) {
+        if (!isWord(tokens[i + 2], "store")) {
+          this.error(`Expected 'store' here, e.g. any ${kind.value} store`, this.locOf(tokens[i + 2] ?? kind, line));
+          return void 0;
+        }
+        return { selector: { consistency: kind.value }, next: i + 3, token: t, loc: this.locOf(t, line) };
+      }
+      if (kind?.kind !== "ident" || !isKind(kind.value)) {
+        this.error(`Expected a kind after any: ${KINDS.join(", ")}, or strong store / eventual store`, this.locOf(kind ?? t, line));
+        return void 0;
+      }
+      return { selector: { kind: kind.value }, next: i + 2, token: t, loc: this.locOf(t, line) };
+    }
+    if (t?.kind === "ident") return { selector: { node: t.value }, next: i + 1, token: t, loc: this.locOf(t, line) };
+    this.error(`Expected a node id, [Tech] or any <kind>${t ? `, not ${describe(t)}` : ""}`, this.locOf(t ?? tokens[tokens.length - 1], line));
+    return void 0;
+  }
+  /** Warns about a selector naming a tech stack that does not exist, and (once every file is read) a node that does not. */
+  checkSelectorLater({ atoms }) {
+    for (const { selector, token, loc } of atoms) {
+      if ("tech" in selector && !techByName.has(token.value.toLowerCase())) this.warning(`Unknown tech stack '${token.value}'`, loc);
+      if ("node" in selector) {
+        this.deferred.push(() => {
+          if (!this.nodes.has(selector.node)) this.warning(`Unknown node '${selector.node}'`, loc);
+        });
+      }
+    }
+  }
+  checkUseCase(name, loc) {
+    const useCase = this.built.find((u) => u.name === name);
+    if (!useCase) this.warning(`Unknown use case '${name}'`, loc);
+    return useCase;
+  }
+  checkScenario(useCase, name, loc) {
+    if (useCase.scenarios.some((s) => s.name === name)) return;
+    const names = useCase.scenarios.map((s) => `'${s.name}'`).join(", ");
+    this.warning(`Use case '${useCase.name}' has no scenario '${name}'; its scenarios are ${names}`, loc);
+  }
+  /** The value of a quantity token in `unit`, or undefined after reporting what is wrong. `after` locates a missing token. */
+  quantityOf(token, unit, after2, line) {
+    const expected = UNIT_EXAMPLES[unit];
+    if (token?.kind !== "quantity" && token?.kind !== "number") {
+      this.error(`Expected ${expected}${token ? `, not ${describe(token)}` : ""}`, this.locOf(token ?? after2, line));
+      return void 0;
+    }
+    const loc = this.locOf(token, line);
+    const written = this.lines[line - 1].slice(token.col - 1, token.col - 1 + token.length);
+    const q = parseQuantity(written);
+    if ("error" in q) {
+      this.error(q.error, loc);
+      return void 0;
+    }
+    if (q.unit !== unit) {
+      this.error(q.unit ? `Expected ${expected}, not '${written}'` : `'${written}' needs a unit: expected ${expected}`, loc);
+      return void 0;
+    }
+    return q.value;
+  }
+  expectOp(tokens, i, ops, example, line) {
+    const t = tokens[i];
+    if (t?.kind === "op" && ops.includes(t.value)) return true;
+    this.error(`Expected ${ops[0]} here, e.g. ${example}`, this.locOf(t ?? tokens[tokens.length - 1], line));
+    return false;
+  }
   buildUseCase(useCase, body) {
     let paths = expand(body.items);
     if (paths.length > MAX_SCENARIOS) {
@@ -15920,22 +16931,22 @@ var Parser = class {
     for (const step of raw) {
       this.checkConnection(step);
       if (step.arrow === "-->") {
-        const request = [...steps].reverse().find((s) => s.fromServiceId === step.to && s.toServiceId === step.from && !answered.has(s) && !s.failed);
-        if (!request) {
+        const request2 = [...steps].reverse().find((s) => s.fromServiceId === step.to && s.toServiceId === step.from && !answered.has(s) && !s.failed);
+        if (!request2) {
           this.warning(`Response has no matching request from '${step.to}' to '${step.from}'`, step.loc);
           continue;
         }
-        answered.add(request);
-        request.responseLoc = step.loc;
+        answered.add(request2);
+        request2.responseLoc = step.loc;
         const status = step.label.match(/^(\d{3})\b\s*([\s\S]*)$/);
-        if (status) request.statusCode = Number(status[1]);
+        if (status) request2.statusCode = Number(status[1]);
         const payload = splitPayload(status ? status[2] : step.label);
         const body = payload.body ?? payload.text;
         if (body) {
-          request.responseBody = body;
-          request.responseFormat = payload.body ? payload.format : "FREE_TEXT";
+          request2.responseBody = body;
+          request2.responseFormat = payload.body ? payload.format : "FREE_TEXT";
         }
-        if (request.executionType === "ASYNC_FIRE_AND_FORGET") request.executionType = "ASYNC_REQUEST_RESPONSE";
+        if (request2.executionType === "ASYNC_FIRE_AND_FORGET") request2.executionType = "ASYNC_REQUEST_RESPONSE";
         continue;
       }
       const label = parseStepLabel(step.label);
@@ -15959,7 +16970,10 @@ var Parser = class {
         isParallel: step.parallelGroup !== void 0,
         isConditional: false,
         ...step.arrow === "-x" ? { failed: true } : {},
-        loc: step.loc
+        loc: step.loc,
+        ...step.multiplier !== void 0 ? { multiplier: step.multiplier } : {},
+        ...step.sizeBytes !== void 0 ? { sizeBytes: step.sizeBytes } : {},
+        access: accessOf(label.method, step.label)
       });
     }
     return steps;
@@ -15982,13 +16996,15 @@ var Parser = class {
   addNode(node) {
     const existing = this.nodes.get(node.id);
     if (existing) {
-      const first = existing.loc.file;
-      const where = first === node.loc.file ? `on line ${existing.loc.line}` : `in ${fileName(first ?? this.options.path ?? "the root document")} on line ${existing.loc.line}`;
-      this.error(`Duplicate id '${node.id}' (first declared ${where})`, node.loc);
+      this.error(`Duplicate id '${node.id}' (first declared ${this.where(existing.loc, node.loc)})`, node.loc);
       return;
     }
     this.nodes.set(node.id, node);
   }
+  /** `on line 3`, or `in infra.proschi on line 3` when `first` is in another file than `later`. */
+  where(first, later) {
+    return first.file === later.file ? `on line ${first.line}` : `in ${fileName(first.file ?? this.options.path ?? "the root document")} on line ${first.line}`;
+  }
   resolveTech(token, line) {
     const resolved = techByName.get(token.value.toLowerCase());
     if (resolved) return resolved;
@@ -16026,8 +17042,17 @@ var Parser = class {
   inUseCase() {
     return this.currentUseCase() !== void 0;
   }
+  /** Reports the first token from `from` on; true when there is none. */
   expectEnd(tokens, from, line) {
-    if (tokens.length > from) this.error(`Unexpected ${describe(tokens[from])}`, this.locOf(tokens[from], line));
+    if (tokens.length <= from) return true;
+    this.error(`Unexpected ${describe(tokens[from])}`, this.locOf(tokens[from], line));
+    return false;
+  }
+  /** From the first token of a line to the end of its last one. */
+  lineLoc(tokens, line) {
+    const first = tokens[0];
+    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() };
@@ -16069,6 +17094,15 @@ function expand(items) {
   }
   return paths;
 }
+function isWord(token, word) {
+  return token?.kind === "ident" && token.value === word;
+}
+function sectionName(frame) {
+  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;
 }
@@ -16105,6 +17139,16 @@ function parseStepLabel(input) {
   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";
@@ -16154,8 +17198,9 @@ function format(source2) {
   };
   tidyBlankLines(entries).forEach((entry) => {
     const last = run2[run2.length - 1];
-    if (last && (entry.kind !== last.kind || entry.depth !== last.depth || last.kind === "connection" && last.continuation.length)) flush();
-    if (entry.kind === "node" || entry.kind === "connection") run2.push(entry);
+    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") run2.push(entry);
     else {
       flush();
       out.push(entry.kind === "blank" ? "" : indent(entry.depth) + entry.text);
@@ -16169,6 +17214,7 @@ var KEYWORDS = /* @__PURE__ */ new Set(["title", "import", "group", "usecase", "
 function classify(lines) {
   const entries = [];
   let depth = 0;
+  let section;
   for (let i = 0; i < lines.length; i++) {
     const raw = lines[i];
     const original = raw.trim();
@@ -16184,7 +17230,13 @@ function classify(lines) {
     const comment = commentOf(raw, tokens);
     const base = { depth, original, tokens, comment };
     const [first, second, third, fourth] = tokens;
-    if (first.kind === "ident" && second?.kind === "arrow" && third?.kind === "ident" && tokens.length <= 4 && (!fourth || fourth.kind === "label")) {
+    const inSection = section !== void 0 && depth === 1 && first.kind !== "rbrace";
+    const cells = inSection ? sectionCells(section, raw, tokens) : void 0;
+    if (cells) {
+      entries.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: [] };
       if (fourth && bracketDepth(fourth.value) > 0) {
         const delta = depth * INDENT.length - width(leadingSpace(raw));
@@ -16199,11 +17251,12 @@ function classify(lines) {
       entries.push(entry);
       continue;
     }
-    if (first.kind === "ident" && !KEYWORDS.has(first.value) && tokens.slice(1).every((t) => ["string", "tech", "team", "ident", "number", "comma"].includes(t.kind))) {
+    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 cells = [first.value, take("string"), take("tech"), take("team"), join2(raw, tokens.slice(k))];
-      entries.push({ ...base, kind: "node", cells });
+      const cells2 = [first.value, take("string"), take("tech"), take("team"), join2(raw, tokens.slice(k))];
+      entries.push({ ...base, kind: "node", cells: cells2 });
       continue;
     }
     const closes = first.kind === "rbrace";
@@ -16211,10 +17264,44 @@ function classify(lines) {
     const code = join2(raw, tokens);
     const text = withComment(code, comment);
     entries.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 entries;
 }
+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(entries) {
   const kept = [];
   for (const entry of entries) {
@@ -16231,7 +17318,7 @@ function tidyBlankLines(entries) {
   return kept;
 }
 function renderRun(run2) {
-  const codes = run2[0].kind === "node" ? alignNodes(run2) : alignConnections(run2);
+  const codes = run2[0].kind === "node" ? alignNodes(run2) : run2[0].kind === "cells" ? alignCells(run2) : alignConnections(run2);
   const items = run2;
   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;
@@ -16250,6 +17337,11 @@ function alignNodes(run2) {
     return (line + cells[4]).trimEnd();
   });
 }
+function alignCells(run2) {
+  const widths = [];
+  for (const { cells } of run2) cells.slice(0, -1).forEach((c, i) => widths[i] = Math.max(widths[i] ?? 0, len(c)));
+  return run2.map(({ cells }) => cells.map((c, i) => i < cells.length - 1 ? pad(c, widths[i] + 1) : c).join(""));
+}
 function alignConnections(run2) {
   const head = Math.max(...run2.map((e) => len(e.from) + 1 + e.arrow.length));
   const labelled = run2.filter((e) => e.label !== void 0);
@@ -16263,8 +17355,8 @@ function alignConnections(run2) {
 function commentOf(raw, tokens) {
   const last = tokens[tokens.length - 1];
   if (last.kind === "label") {
-    const after = raw.slice(last.col);
-    return after.slice(stripTrailingComment(after).length).trim();
+    const after2 = raw.slice(last.col);
+    return after2.slice(stripTrailingComment(after2).length).trim();
   }
   return raw.slice(last.col - 1 + last.length).trim();
 }
@@ -16272,7 +17364,7 @@ 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";
+    const tight = t.kind === "comma" || tokens[i - 1]?.kind === "comma" && t.kind === "number";
     out += (i === 0 || tight ? "" : " ") + text;
   }
   return out;
@@ -16286,7 +17378,10 @@ function reindent(line, delta) {
   const body = line.slice(lead.length).trimEnd();
   return body ? " ".repeat(Math.max(0, width(lead) + delta)) + body : "";
 }
-var source = (raw, t) => raw.slice(t.col - 1, t.col - 1 + t.length);
+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);
@@ -16294,6 +17389,92 @@ var indent = (depth) => INDENT.repeat(depth);
 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) {
+  const flat = text.replace(/\s+/g, " ").trim();
+  return flat.length > max ? `${flat.slice(0, max - 1).trimEnd()}\u2026` : flat;
+}
+function requestLabel(step) {
+  const name = !step.httpMethod && step.stepName === `${step.fromServiceId} \u2192 ${step.toServiceId}` ? "" : step.stepName;
+  return [name, step.description, step.requestBody && shorten(step.requestBody)].filter(Boolean).join(" ");
+}
+function responseLabel(step) {
+  return [step.statusCode, step.responseBody && shorten(step.responseBody)].filter((p) => p !== void 0 && p !== "").join(" ");
+}
+function hasResponse(step) {
+  return !step.failed && (!!step.responseLoc || step.statusCode !== void 0 || !!step.responseBody);
+}
+function request(step) {
+  return {
+    kind: "request",
+    from: step.fromServiceId,
+    to: step.toServiceId,
+    number: step.stepOrder + 1,
+    label: requestLabel(step),
+    async: step.executionType !== "SYNC_REQUEST_RESPONSE",
+    failed: !!step.failed,
+    error: !!step.failed,
+    step
+  };
+}
+function response(step) {
+  return {
+    kind: "response",
+    from: step.toServiceId,
+    to: step.fromServiceId,
+    number: step.stepOrder + 1,
+    label: responseLabel(step),
+    async: false,
+    failed: false,
+    error: (step.statusCode ?? 0) >= 400,
+    status: step.statusCode,
+    step
+  };
+}
+function buildSequence(useCase, scenario, nodes = []) {
+  const items = [];
+  const stack = [];
+  const emit = (message) => items.push({ kind: "message", message });
+  const unwindFor = (from) => {
+    const depth = stack.map((s) => s.toServiceId).lastIndexOf(from);
+    while (stack.length > depth + 1) emit(response(stack.pop()));
+  };
+  const steps = scenario.steps;
+  for (let i = 0; i < steps.length; i++) {
+    const step = steps[i];
+    if (step.parallelGroup === void 0) {
+      unwindFor(step.fromServiceId);
+      emit(request(step));
+      if (hasResponse(step)) stack.push(step);
+      continue;
+    }
+    const group = [];
+    while (i < steps.length && steps[i].parallelGroup === step.parallelGroup) group.push(steps[i++]);
+    i--;
+    unwindFor(step.fromServiceId);
+    items.push({ kind: "par", branches: group.map((s) => hasResponse(s) ? [request(s), response(s)] : [request(s)]) });
+  }
+  while (stack.length) emit(response(stack.pop()));
+  const byId = new Map(nodes.map((n) => [n.id, n]));
+  const participants = [];
+  const seen = /* @__PURE__ */ new Set();
+  const add = (id) => {
+    if (seen.has(id)) return;
+    seen.add(id);
+    const node = byId.get(id);
+    participants.push({ id, name: node?.name ?? id, tech: node && !node.implicit ? node.techStack : void 0 });
+  };
+  for (const step of steps) {
+    add(step.fromServiceId);
+    add(step.toServiceId);
+  }
+  return { useCase, scenario, participants, items, condition: scenario.condition || void 0 };
+}
+function sequenceMessages(items) {
+  return items.flatMap((item) => item.kind === "message" ? [item.message] : item.branches.flat());
+}
+
 // ../frontend/src/dsl/mermaid.ts
 var RESERVED = new Set(
   [
@@ -16343,6 +17524,992 @@ var RESERVED = new Set(
   ].map((w) => w.toLowerCase())
 );
 
+// ../frontend/src/sim/access.ts
+function stepAccess(step) {
+  return step.access ?? accessOf(step.httpMethod, step.stepName ?? "");
+}
+function accessIn(diagram) {
+  const queues = new Set(diagram.nodes.filter((n) => kindOf(n) === "queue").map((n) => n.id));
+  return (step) => queues.has(step.toServiceId) ? "write" : stepAccess(step);
+}
+
+// ../frontend/src/sim/profiles.ts
+var NEUTRAL = { rps: Infinity, latencyMs: 0, availability: 1, costUsd: 0, durable: false };
+var RELATIONAL = {
+  rps: 2e4,
+  readRps: 2e4,
+  writeRps: 5e3,
+  writeScaling: "shards",
+  latencyMs: 5,
+  availability: 0.9995,
+  costUsd: 400,
+  durable: true,
+  consistency: "strong"
+};
+var KIND_PROFILES = {
+  client: { ...NEUTRAL, bandwidthMBps: 10 },
+  edge: { rps: 1e5, latencyMs: 2, availability: 0.9999, costUsd: 50, durable: false },
+  cdn: { rps: 2e5, latencyMs: 5, availability: 0.9999, costUsd: 100, durable: false, egressUsdPerGb: 0.02 },
+  loadbalancer: { rps: 1e5, latencyMs: 2, availability: 0.9999, costUsd: 50, durable: false },
+  gateway: { rps: 1e4, latencyMs: 10, availability: 0.9995, costUsd: 100, durable: false },
+  // Name resolution happens before the request and is cached: off the request path.
+  dns: { rps: Infinity, latencyMs: 0, availability: 1, costUsd: 0, durable: false },
+  service: { rps: 2e3, latencyMs: 10, availability: 0.995, costUsd: 100, durable: false },
+  function: { rps: 1e4, latencyMs: 25, availability: 0.9995, costUsd: 200, durable: false },
+  cache: { rps: 1e5, latencyMs: 1, availability: 0.999, costUsd: 150, durable: false, consistency: "eventual" },
+  database: RELATIONAL,
+  search: { rps: 3e3, latencyMs: 15, availability: 0.999, costUsd: 400, durable: true, consistency: "eventual" },
+  analytics: { rps: 200, latencyMs: 500, availability: 0.999, costUsd: 300, durable: true, consistency: "eventual" },
+  queue: { rps: 5e4, latencyMs: 5, availability: 0.9999, costUsd: 200, durable: true, consistency: "strong" },
+  storage: { rps: 5e3, latencyMs: 30, availability: 0.9999, costUsd: 50, durable: true, consistency: "eventual", egressUsdPerGb: 0.09 },
+  external: { rps: 1e3, latencyMs: 200, availability: 0.999, costUsd: 0, durable: false },
+  other: NEUTRAL
+};
+var NOSQL = { rps: 2e4, latencyMs: 5, availability: 0.9999, costUsd: 500, durable: true, consistency: "eventual" };
+var NOSQL_STRONG = { ...NOSQL, consistency: "strong" };
+var TECH_PROFILES = {
+  DynamoDB: NOSQL,
+  "AWS DynamoDB": NOSQL,
+  Cassandra: NOSQL,
+  CouchDB: NOSQL,
+  "Azure Cosmos DB": NOSQL,
+  MongoDB: NOSQL_STRONG,
+  "GCP Bigtable": NOSQL_STRONG,
+  "GCP Firestore": NOSQL_STRONG,
+  "GCP Spanner": NOSQL_STRONG
+};
+var BANDWIDTH = {
+  client: 10,
+  edge: 1e3,
+  cdn: 1e3,
+  loadbalancer: 1e3,
+  gateway: 1e3,
+  dns: 1e3,
+  service: 200
+};
+var DEFAULT_BANDWIDTH_MBPS = 100;
+function profileOf(node, override) {
+  const kind = kindOf(node);
+  const base = TECH_PROFILES[node.techStack] ?? KIND_PROFILES[kind];
+  const baseRead = base.readRps ?? base.rps;
+  const baseWrite = base.writeRps ?? base.rps;
+  const readRps = override?.readRps ?? override?.rps ?? baseRead;
+  const writeRps = override?.writeRps ?? override?.rps ?? baseWrite;
+  const consistency = override?.consistency ?? base.consistency;
+  return {
+    kind,
+    rps: readRps,
+    readRps,
+    writeRps,
+    writeScaling: base.writeScaling ?? "replicas",
+    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,
+    durable: override?.durable ?? base.durable,
+    ...consistency && isDataStore(kind) ? { consistency } : {},
+    bandwidthMBps: override?.bandwidthMBps ?? base.bandwidthMBps ?? BANDWIDTH[kind] ?? DEFAULT_BANDWIDTH_MBPS,
+    egressUsdPerGb: override?.egressUsdPerGb ?? base.egressUsdPerGb ?? 0
+  };
+}
+function capacityOf(p, replicas) {
+  return {
+    readRps: p.readRps * replicas * p.shards,
+    writeRps: p.writeRps * (p.writeScaling === "shards" ? 1 : replicas) * p.shards
+  };
+}
+function combinedUtilization(p, readUtilization, writeUtilization) {
+  return p.writeScaling === "shards" ? Math.max(readUtilization, writeUtilization) : readUtilization + writeUtilization;
+}
+
+// ../frontend/src/sim/flow.ts
+function findUseCase(diagram, name) {
+  const lower = name.toLowerCase();
+  return diagram.useCases.find((u) => u.name === name) ?? diagram.useCases.find((u) => u.name.toLowerCase() === lower) ?? diagram.useCases.find((u) => u.id === name);
+}
+function findScenario2(useCase, name) {
+  const norm = (s) => s.replace(/\s*(›|>)\s*/g, " \u203A ").trim().toLowerCase();
+  const wanted = norm(name);
+  return useCase.scenarios.find((s) => s.name === name) ?? useCase.scenarios.find((s) => norm(s.name) === wanted || s.id === name);
+}
+function afterEntryResponse(entry, step) {
+  const r = entry.responseLoc;
+  if (!r || step === entry || step.loc.file !== r.file) return false;
+  return step.loc.line > r.line || step.loc.line === r.line && step.loc.col > r.col;
+}
+function criticalPath(useCase, scenario) {
+  const entry = scenario.steps[0];
+  if (!entry) return [];
+  const { items } = buildSequence(useCase, scenario);
+  const working = /* @__PURE__ */ new Map([[entry.fromServiceId, 1]]);
+  const opened = /* @__PURE__ */ new Set();
+  let answered = false;
+  const parts = [];
+  const visit = (m, hops) => {
+    if (m.kind === "response") {
+      if (opened.delete(m.step)) working.set(m.step.toServiceId, (working.get(m.step.toServiceId) ?? 1) - 1);
+      if (m.step === entry) answered = true;
+      return;
+    }
+    if (afterEntryResponse(entry, m.step)) answered = true;
+    if (answered || !working.get(m.from)) return;
+    hops.push({ step: m.step, target: m.to, failed: m.failed, async: m.async });
+    if (!m.async && !m.failed) {
+      opened.add(m.step);
+      working.set(m.to, (working.get(m.to) ?? 0) + 1);
+    }
+  };
+  for (const item of items) {
+    const hops = [];
+    if (item.kind === "message") visit(item.message, hops);
+    else for (const branch of item.branches) for (const m of branch) visit(m, hops);
+    if (hops.length) parts.push(hops);
+  }
+  return parts;
+}
+function pathNodes(useCase, scenario) {
+  const entry = scenario.steps[0];
+  if (!entry) return [];
+  const ids = [entry.fromServiceId, ...criticalPath(useCase, scenario).flatMap((part) => part.filter((h) => !h.failed).map((h) => h.target))];
+  return [...new Set(ids)];
+}
+function requestOrder(useCase, scenario) {
+  const entry = scenario.steps[0];
+  const messages = sequenceMessages(buildSequence(useCase, scenario).items);
+  const requests = [];
+  let beforeResponse = -1;
+  for (const m of messages) {
+    if (m.kind === "request") {
+      if (beforeResponse < 0 && entry && afterEntryResponse(entry, m.step)) beforeResponse = requests.length;
+      requests.push(m);
+    } else if (m.step === entry && beforeResponse < 0) beforeResponse = requests.length;
+  }
+  return { requests, beforeResponse: beforeResponse < 0 ? requests.length : beforeResponse };
+}
+function writesBeforeResponse(useCase, scenario, accept, isWrite = (step) => stepAccess(step) === "write") {
+  const { requests, beforeResponse } = requestOrder(useCase, scenario);
+  return requests.slice(0, beforeResponse).some((m) => !m.async && !m.failed && accept(m.to) && isWrite(m.step));
+}
+function callsOk(scenario, nodeId) {
+  return scenario.steps.some((s) => s.toServiceId === nodeId && !s.failed);
+}
+function needs(useCase, nodeId) {
+  return useCase.scenarios.some((s) => s.outcome === "success" && callsOk(s, nodeId));
+}
+function fallbacksFor(useCase, nodeId) {
+  return useCase.scenarios.filter((s) => {
+    if (s.outcome !== "success") return false;
+    const { requests, beforeResponse } = requestOrder(useCase, s);
+    const early = requests.slice(0, beforeResponse).filter((m) => m.to === nodeId);
+    const window = early.some((m) => m.failed) ? early : requests.filter((m) => m.to === nodeId);
+    return window.some((m) => m.failed) && !window.some((m) => !m.failed && !m.async);
+  });
+}
+function selectorText(selector) {
+  if ("node" in selector) return selector.node;
+  if ("tech" in selector) return `[${selector.tech}]`;
+  if ("anyOf" in selector) return selector.anyOf.map(selectorText).join(" or ");
+  if ("consistency" in selector) return `any ${selector.consistency} store`;
+  return `any ${selector.kind}`;
+}
+function selectNodes(diagram, selector) {
+  return diagram.nodes.filter((n) => n.kind === "component" && matches(n, selector, diagram));
+}
+function matches(node, selector, diagram) {
+  if (node.kind !== "component") return false;
+  if ("node" in selector) return node.id === selector.node;
+  if ("tech" in selector) return node.techStack.toLowerCase() === selector.tech.toLowerCase();
+  if ("anyOf" in selector) return selector.anyOf.some((s) => matches(node, s, diagram));
+  if ("consistency" in selector) {
+    const override = diagram?.capacity?.find((o) => o.node === node.id);
+    return profileOf(node, override).consistency === selector.consistency;
+  }
+  return kindMatches(kindOf(node), selector.kind);
+}
+function techOf(node) {
+  return node && !node.implicit ? node.techStack : void 0;
+}
+function nodeLabel(diagram, id) {
+  const tech = techOf(diagram.nodes.find((n) => n.id === id));
+  return tech ? `${id} (${tech})` : id;
+}
+
+// ../frontend/src/sim/format.ts
+var trim = (n, digits) => String(Number(n.toFixed(digits)));
+function formatRps(rps) {
+  if (!Number.isFinite(rps)) return "\u221E rps";
+  if (rps >= 1e6) return `${trim(rps / 1e6, 1)}m rps`;
+  if (rps >= 1e3) return `${trim(rps / 1e3, 1)}k rps`;
+  return `${trim(rps, rps < 10 ? 2 : 0)} rps`;
+}
+function formatMs(ms) {
+  return `${trim(ms, ms < 100 ? 1 : 0)} ms`;
+}
+function formatAvailability(fraction) {
+  if (fraction >= 1) return "100%";
+  const down = (1 - fraction) * 100;
+  const digits = Math.min(6, Math.max(1, Math.ceil(-Math.log10(down)) + 1));
+  return `${trim(Math.floor(fraction * 100 * 10 ** digits + 1e-6) / 10 ** digits, digits)}%`;
+}
+function formatPercent(fraction) {
+  return `${Math.round(fraction * 100)}%`;
+}
+function formatUsd(usd) {
+  return `$${Math.round(usd).toLocaleString("en-US")}/month`;
+}
+
+// ../frontend/src/sim/analyze.ts
+var DEFAULT_TIMEOUT_MS = 1e3;
+var HOT = 0.7;
+var QUEUE_CAP = 0.95;
+var SECONDS_PER_MONTH = 2592e3;
+var BYTES_PER_MB = 1e6;
+var BYTES_PER_GB = 1e9;
+var PERCENTILE_FACTORS = { 50: 1, 90: 1.6, 95: 2, 99: 3, 99.9: 5 };
+var PERCENTILE_KEYS = { 50: "p50", 90: "p90", 95: "p95", 99: "p99", 99.9: "p999" };
+var PERCENTILES2 = Object.keys(PERCENTILE_KEYS).map(Number);
+function components(diagram) {
+  return diagram.nodes.filter((n) => n.kind === "component");
+}
+var replicasOf = (node) => Math.max(1, node.replicas ?? 1);
+function resolveTraffic(diagram, warnings = []) {
+  const result = /* @__PURE__ */ new Map();
+  for (const u of diagram.useCases) result.set(u.id, { rps: 0, shares: u.scenarios.map((_, i) => i === 0 ? 1 : 0) });
+  const seen = /* @__PURE__ */ new Set();
+  for (const entry of diagram.traffic ?? []) {
+    const useCase = findUseCase(diagram, entry.useCase);
+    if (!useCase) {
+      warnings.push(`Traffic for unknown use case "${entry.useCase}" is ignored`);
+      continue;
+    }
+    if (seen.has(useCase.id)) continue;
+    seen.add(useCase.id);
+    const shares = useCase.scenarios.map(() => 0);
+    for (const { scenario, share } of entry.mix ?? []) {
+      const found = findScenario2(useCase, scenario);
+      if (found) shares[useCase.scenarios.indexOf(found)] += share;
+      else warnings.push(`"${useCase.name}" has no scenario "${scenario}"; its traffic share is ignored`);
+    }
+    const total = shares.reduce((a, b) => a + b, 0);
+    if (total <= 0) shares[0] = 1;
+    else {
+      if (Math.abs(total - 1) > 1e-6) warnings.push(`Traffic mix of "${useCase.name}" adds up to ${formatPercent(total)}; shares are scaled to 100%`);
+      for (let i = 0; i < shares.length; i++) shares[i] /= total;
+    }
+    result.set(useCase.id, { rps: entry.rps, shares: useCase.scenarios.length ? shares : [] });
+  }
+  return result;
+}
+var multiplierOf = (step) => step.multiplier !== void 0 && step.multiplier > 0 ? step.multiplier : 1;
+function forEachStepRate(diagram, traffic, visit) {
+  for (const u of diagram.useCases) {
+    const { rps, shares } = traffic.get(u.id) ?? { rps: 0, shares: [] };
+    u.scenarios.forEach((s, i) => {
+      const rate = rps * (shares[i] ?? 0);
+      if (rate > 0) for (const step of s.steps) visit(step, rate);
+    });
+  }
+}
+function computeLoad(diagram, traffic) {
+  const load = /* @__PURE__ */ new Map();
+  const access = accessIn(diagram);
+  forEachStepRate(diagram, traffic, (step, rate) => {
+    const entry = load.get(step.toServiceId) ?? { read: 0, write: 0 };
+    entry[access(step)] += rate * multiplierOf(step);
+    load.set(step.toServiceId, entry);
+  });
+  return load;
+}
+var egressSource = (step, access) => access === "read" ? step.toServiceId : step.fromServiceId;
+function computeEgressGb(diagram, traffic) {
+  const gb = /* @__PURE__ */ new Map();
+  const access = accessIn(diagram);
+  forEachStepRate(diagram, traffic, (step, rate) => {
+    if (!step.sizeBytes || step.sizeBytes <= 0) return;
+    const source2 = egressSource(step, access(step));
+    gb.set(source2, (gb.get(source2) ?? 0) + rate * multiplierOf(step) * step.sizeBytes * SECONDS_PER_MONTH / BYTES_PER_GB);
+  });
+  return gb;
+}
+function transferMs(step, bandwidthOf) {
+  if (!step.sizeBytes || step.sizeBytes <= 0) return 0;
+  const mbps = Math.min(bandwidthOf(step.fromServiceId), bandwidthOf(step.toServiceId));
+  return mbps > 0 && Number.isFinite(mbps) ? step.sizeBytes / BYTES_PER_MB / mbps * 1e3 : 0;
+}
+var utilizationOf = (load, capacity) => Number.isFinite(capacity) && capacity > 0 ? load / capacity : 0;
+var hopLatency = (baseMs, utilization) => baseMs / (1 - Math.min(utilization, QUEUE_CAP));
+var replicatedAvailability = (a, replicas) => 1 - (1 - a) ** replicas;
+function usageOf(p, replicas, readLoadRps, writeLoadRps) {
+  const { readRps: readCapacityRps, writeRps: writeCapacityRps } = capacityOf(p, replicas);
+  const readUtilization = utilizationOf(readLoadRps, readCapacityRps);
+  const writeUtilization = utilizationOf(writeLoadRps, writeCapacityRps);
+  const utilization = combinedUtilization(p, readUtilization, writeUtilization);
+  const loadRps = readLoadRps + writeLoadRps;
+  return {
+    loadRps,
+    capacityRps: readCapacityRps === writeCapacityRps || utilization === 0 ? readCapacityRps : loadRps / utilization,
+    utilization,
+    saturated: utilization >= 1,
+    readLoadRps,
+    writeLoadRps,
+    readCapacityRps,
+    writeCapacityRps,
+    readUtilization,
+    writeUtilization,
+    writeScaling: p.writeScaling
+  };
+}
+function usageText(n) {
+  const part = (load, capacity, rho) => `${formatRps(load)} of ${formatRps(capacity)}, ${formatPercent(rho)}`;
+  if (n.writeScaling === "shards" && n.writeLoadRps > 0) {
+    return `reads ${part(n.readLoadRps, n.readCapacityRps, n.readUtilization)}; writes ${part(n.writeLoadRps, n.writeCapacityRps, n.writeUtilization)}`;
+  }
+  return part(n.loadRps, n.capacityRps, n.utilization);
+}
+var writeBound = (n) => n.writeScaling === "shards" && n.writeUtilization >= n.readUtilization && n.writeLoadRps > 0;
+function useCasePercentile(scenarios, q) {
+  const tail = 1 - q / 100 - 1e-9;
+  const heavy = scenarios.filter((s) => s.share >= tail && s.share > 0);
+  if (heavy.length) return Math.max(...heavy.map((s) => s.value));
+  let covered = 0;
+  for (const s of [...scenarios].sort((a, b) => b.value - a.value)) {
+    covered += s.share;
+    if (covered >= tail) return s.value;
+  }
+  return scenarios.length ? Math.max(...scenarios.map((s) => s.value)) : 0;
+}
+function mainScenarioIndex(shares) {
+  let best = 0;
+  shares.forEach((share, i) => {
+    if (share > shares[best]) best = i;
+  });
+  return best;
+}
+function profilesOf(diagram, warnings = []) {
+  const nodes = components(diagram);
+  const ids = new Set(nodes.map((n) => n.id));
+  const overrides = new Map((diagram.capacity ?? []).map((o) => [o.node, o]));
+  for (const o of diagram.capacity ?? []) if (!ids.has(o.node)) warnings.push(`Capacity for unknown node '${o.node}' is ignored`);
+  return new Map(nodes.map((n) => [n.id, profileOf(n, overrides.get(n.id))]));
+}
+function analyze(diagram, options = {}) {
+  const timeoutMs = options.timeoutMs ?? DEFAULT_TIMEOUT_MS;
+  const warnings = [];
+  const nodes = components(diagram);
+  const profiles = profilesOf(diagram, warnings);
+  const traffic = resolveTraffic(diagram, warnings);
+  const load = computeLoad(diagram, traffic);
+  const egress = computeEgressGb(diagram, traffic);
+  const nodeResults = nodes.map((n) => {
+    const p = profiles.get(n.id);
+    const replicas = replicasOf(n);
+    const { read, write } = load.get(n.id) ?? { read: 0, write: 0 };
+    const usage = usageOf(p, replicas, read, write);
+    const egressGbPerMonth = egress.get(n.id) ?? 0;
+    const egressUsd = egressGbPerMonth * p.egressUsdPerGb;
+    return {
+      id: n.id,
+      kind: p.kind,
+      replicas,
+      shards: p.shards,
+      ...usage,
+      ...p.consistency ? { consistency: p.consistency } : {},
+      latencyMs: hopLatency(p.latencyMs, usage.utilization),
+      availability: replicatedAvailability(p.availability, replicas),
+      costUsd: replicas * p.shards * p.costUsd + egressUsd,
+      egressGbPerMonth,
+      egressUsd,
+      durable: p.durable
+    };
+  });
+  const nodeById = new Map(nodeResults.map((n) => [n.id, n]));
+  const hopMs = (id) => nodeById.get(id)?.latencyMs ?? 0;
+  const availabilityOf = (id) => nodeById.get(id)?.availability ?? 1;
+  const bandwidthOf = (id) => profiles.get(id)?.bandwidthMBps ?? Infinity;
+  for (const n of nodeResults) {
+    const usage = usageText(n);
+    if (n.saturated) warnings.push(`'${n.id}' is saturated: ${usage}. ${writeBound(n) ? "Add shards for writes" : "Add replicas"} or take load off it.`);
+    else if (n.utilization > HOT) warnings.push(`'${n.id}' runs hot: ${usage}.`);
+  }
+  const useCases = diagram.useCases.map((u) => {
+    const { rps, shares } = traffic.get(u.id);
+    const scenarios = u.scenarios.map((s, i) => {
+      const meanMs = criticalPath(u, s).reduce(
+        (sum, part) => sum + Math.max(...part.map((hop) => hop.failed ? timeoutMs : hopMs(hop.target) + transferMs(hop.step, bandwidthOf))),
+        0
+      );
+      return { id: s.id, name: s.name, share: shares[i] ?? 0, meanMs, percentiles: percentilesOf(meanMs) };
+    });
+    const percentiles = Object.fromEntries(
+      PERCENTILES2.map((q) => [PERCENTILE_KEYS[q], useCasePercentile(scenarios.map((s) => ({ share: s.share, value: s.percentiles[PERCENTILE_KEYS[q]] })), q)])
+    );
+    if (rps > 0 && u.scenarios.length === 0) warnings.push(`"${u.name}" has traffic but no steps`);
+    return { id: u.id, name: u.name, rps, scenarios, percentiles, availability: useCaseAvailability(u, shares, availabilityOf) };
+  });
+  return {
+    nodes: nodeResults,
+    useCases,
+    totalCostUsd: nodeResults.reduce((sum, n) => sum + n.costUsd, 0),
+    totalEgressUsd: nodeResults.reduce((sum, n) => sum + n.egressUsd, 0),
+    singlePointsOfFailure: singlePointsOfFailure(diagram),
+    warnings
+  };
+}
+function percentilesOf(meanMs) {
+  return Object.fromEntries(PERCENTILES2.map((q) => [PERCENTILE_KEYS[q], meanMs * PERCENTILE_FACTORS[q]]));
+}
+function useCaseAvailability(useCase, shares, availabilityOf) {
+  if (useCase.scenarios.length === 0) return 1;
+  const main = pathNodes(useCase, useCase.scenarios[mainScenarioIndex(shares)]);
+  const onMain = new Set(main);
+  let result = 1;
+  for (const id of main) {
+    const a = availabilityOf(id);
+    const fallback = Math.max(
+      0,
+      ...fallbacksFor(useCase, id).map(
+        (s) => pathNodes(useCase, s).filter((other) => other !== id && !onMain.has(other)).reduce((product, other) => product * availabilityOf(other), 1)
+      )
+    );
+    result *= 1 - (1 - a) * (1 - fallback);
+  }
+  return result;
+}
+var DEPLOYED = (kind) => kind !== "client" && kind !== "other" && kind !== "external" && kind !== "dns";
+function singlePointsOfFailure(diagram) {
+  return components(diagram).filter((n) => replicasOf(n) === 1 && DEPLOYED(profileOf(n).kind)).filter((n) => diagram.useCases.some((u) => needs(u, n.id) && fallbacksFor(u, n.id).length === 0)).map((n) => n.id);
+}
+
+// ../frontend/src/sim/tests.ts
+var pass = (message) => ({ passed: true, message });
+var fail = (message, hint) => ({ passed: false, message, hint });
+function runTests(diagram, analysis = analyze(diagram)) {
+  const access = accessIn(diagram);
+  const run2 = {
+    diagram,
+    analysis,
+    nodes: new Map(analysis.nodes.map((n) => [n.id, n])),
+    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"
+  };
+  const results = (diagram.requirements ?? []).map((r, i) => {
+    const { passed, message, hint } = requirement(run2, r);
+    return { id: `req:${i + 1}`, name: requirementName(r), category: CATEGORY[r.kind], passed, message, hint, loc: r.loc };
+  });
+  const names = /* @__PURE__ */ new Map();
+  for (const test of diagram.tests ?? []) {
+    const n = (names.get(test.name) ?? 0) + 1;
+    names.set(test.name, n);
+    results.push({ id: n === 1 ? `test:${test.name}` : `test:${test.name}#${n}`, name: test.name, category: "flow", ...flowTest(run2, test), loc: test.loc });
+  }
+  return results.map(({ hint, ...r }) => r.passed || !hint ? r : { ...r, hint });
+}
+var CATEGORY = {
+  latency: "latency",
+  availability: "availability",
+  durable: "durability",
+  survive: "resilience",
+  cost: "cost"
+};
+var percentileName = (q) => PERCENTILE_KEYS[q];
+var lineOf = (loc) => `${loc.file ? `${loc.file}:` : "line "}${loc.line}`;
+function stepText(step) {
+  const arrow = step.failed ? "-x" : step.executionType === "SYNC_REQUEST_RESPONSE" ? "->" : "->>";
+  const label = requestLabel(step);
+  return `${step.fromServiceId} ${arrow} ${step.toServiceId}${label ? ` : ${label}` : ""} at ${lineOf(step.loc)}`;
+}
+function requirementName(r) {
+  switch (r.kind) {
+    case "latency":
+      return `${percentileName(r.percentile)} of ${r.useCase ?? "every use case"}${r.scenario !== void 0 ? ` scenario ${r.scenario}` : ""} < ${formatMs(r.maxMs)}`;
+    case "availability":
+      return `availability of ${r.useCase ?? "every use case"} \u2265 ${r.minPercent}%`;
+    case "durable":
+      return `${r.useCase} is durable`;
+    case "survive":
+      return r.target === "any" ? "survive any node failure" : `survive failure of ${selectorText(r.target)}`;
+    case "cost":
+      return `cost \u2264 ${formatUsd(r.maxUsdPerMonth)}`;
+  }
+}
+function requirement(run2, r) {
+  switch (r.kind) {
+    case "latency":
+      if (r.useCase !== void 0 && r.scenario !== void 0) return scenarioLatency(run2, r.useCase, r.scenario, r.percentile, r.maxMs);
+      return overUseCases(run2, r.useCase, (u) => latency(run2, u, r.percentile, r.maxMs), `(limit ${formatMs(r.maxMs)})`);
+    case "availability":
+      return overUseCases(run2, r.useCase, (u) => availability(run2, u, r.minPercent), `(limit ${r.minPercent}%)`, true);
+    case "durable":
+      return durable(run2, r.useCase);
+    case "survive":
+      return survive(run2, r.target);
+    case "cost":
+      return cost(run2, r.maxUsdPerMonth);
+  }
+}
+function overUseCases(run2, name, check, limit, anyWithoutTraffic = false) {
+  if (name !== void 0) {
+    const u = findUseCase(run2.diagram, name);
+    return u ? check(u) : unknownUseCase(run2, name);
+  }
+  let targets = run2.diagram.useCases.filter((u) => (run2.useCases.get(u.id)?.rps ?? 0) > 0);
+  if (targets.length === 0 && anyWithoutTraffic) targets = run2.diagram.useCases;
+  if (targets.length === 0) return fail("No use case has traffic, so there is nothing to measure", 'Add traffic { "<use case>" 1k rps } for the use cases this applies to');
+  const checks = targets.map(check);
+  const failed = checks.filter((c) => !c.passed);
+  if (failed.length === 0) {
+    return pass(checks.length === 1 ? checks[0].message : `All ${checks.length} use cases hold; ${checks.map((c) => c.value).join(", ")} ${limit}`);
+  }
+  return fail(failed.length === 1 ? failed[0].message : `${failed.map((c) => c.value ?? c.message).join("; ")} ${limit}`, failed[0].hint);
+}
+function unknownUseCase(run2, name) {
+  const known = run2.diagram.useCases.map((u) => `"${u.name}"`);
+  return { ...fail(`No use case named "${name}"`, known.length ? `Use one of ${known.join(", ")}` : 'Add a usecase "\u2026" { \u2026 } block'), missing: `use case ${name}` };
+}
+function saturatedOn(run2, ids, value, maxMs) {
+  const n = [...new Set(ids)].map((id) => run2.nodes.get(id)).find((x) => !!x?.saturated);
+  if (!n) return void 0;
+  const v = value(n);
+  return { ...fail(`${v} (limit ${formatMs(maxMs)})`, saturationHint(run2, n)), value: v };
+}
+function latency(run2, u, q, maxMs) {
+  const result = run2.useCases.get(u.id);
+  const key = percentileName(q);
+  const shares = run2.shares.get(u.id) ?? [];
+  const touched = u.scenarios.flatMap((s, i) => (shares[i] ?? 0) > 0 ? s.steps.map((step) => step.toServiceId) : []);
+  const saturated = saturatedOn(run2, touched, (n) => `${key} of ${u.name}: ${n.id} is saturated (${usageText(n)})`, maxMs);
+  if (saturated) return saturated;
+  const ms = result.percentiles[key];
+  const value = `${key} of ${u.name} is ${formatMs(ms)}${result.rps > 0 ? "" : " with no traffic"}`;
+  const message = `${value} (limit ${formatMs(maxMs)})`;
+  if (ms < maxMs) return { ...pass(message), value };
+  const index = Math.max(0, result.scenarios.findIndex((s) => s.percentiles[key] === ms));
+  const lead = u.scenarios.length > 1 ? `The "${u.scenarios[index].name}" path (${formatPercent(result.scenarios[index].share)} of traffic) sets ${key}. ` : "";
+  return { ...fail(message, lead + latencyHint(run2, u, u.scenarios[index])), value };
+}
+function scenarioLatency(run2, useCase, scenario, q, maxMs) {
+  const sc = scope(run2, useCase, scenario);
+  if (isCheck(sc)) return sc;
+  const s = sc.scenarios[0];
+  const key = percentileName(q);
+  const what = `${key} of "${sc.u.name}" scenario "${s.name}"`;
+  const saturated = saturatedOn(run2, s.steps.map((step) => step.toServiceId), (n) => `${what}: ${n.id} is saturated (${usageText(n)})`, maxMs);
+  if (saturated) return saturated;
+  const result = run2.useCases.get(sc.u.id)?.scenarios[sc.u.scenarios.indexOf(s)];
+  const ms = result?.percentiles[key] ?? 0;
+  const message = `${what} is ${formatMs(ms)} (limit ${formatMs(maxMs)})`;
+  return ms < maxMs ? pass(message) : fail(message, latencyHint(run2, sc.u, s));
+}
+function saturationHint(run2, n) {
+  const label = nodeLabel(run2.diagram, n.id);
+  if (writeBound(n)) {
+    const perShard = n.writeCapacityRps / n.shards;
+    const shards = Math.ceil(n.writeLoadRps / (perShard * HOT));
+    return `Writes to ${label} need ${formatRps(n.writeLoadRps)} and each primary takes ${formatRps(perShard)}; read replicas do not add write capacity. Add shards (capacity { ${n.id} shards ${shards} } keeps writes under ${formatPercent(HOT)}), move the data to a partitioned store (DynamoDB, Cassandra), or batch writes through a queue`;
+  }
+  const rho = n.writeScaling === "shards" ? n.readUtilization : n.utilization;
+  const replicas = Math.ceil(rho * n.replicas / HOT);
+  return `Add replicas to ${label}: x${replicas} keeps it under ${formatPercent(HOT)}, or take load off it (a cache in front, or async work)`;
+}
+function latencyHint(run2, u, scenario) {
+  const hops = criticalPath(u, scenario).flat();
+  const cost2 = (h) => h.failed ? DEFAULT_TIMEOUT_MS : run2.nodes.get(h.target)?.latencyMs ?? 0;
+  const slowest = hops.reduce((best, h) => !best || cost2(h) > cost2(best) ? h : best, void 0);
+  if (!slowest) return "Shorten the synchronous path of the request.";
+  const label = nodeLabel(run2.diagram, slowest.target);
+  if (slowest.failed) return `It waits ${formatMs(DEFAULT_TIMEOUT_MS)} for the failed call to ${label}; give that path a smaller share of traffic or avoid the call.`;
+  const sized = hops.find((h) => (h.step.sizeBytes ?? 0) > 0);
+  const node = run2.nodes.get(slowest.target);
+  if (node && node.utilization > HOT) return `${label} runs at ${formatPercent(node.utilization)} and queues requests; add replicas to it.`;
+  const payload = sized ? ` Payloads add transfer time too (${stepText(sized.step)}): send fewer bytes or let the client fetch them from a CDN or storage directly.` : "";
+  return `Its slowest hop is ${label} at ${formatMs(cost2(slowest))}: put a cache in front of it, run independent calls in par, or move work off the request path with ->>.${payload}`;
+}
+function availability(run2, u, minPercent) {
+  const result = run2.useCases.get(u.id);
+  const value = `availability of ${u.name} is ${formatAvailability(result.availability)}`;
+  const message = `${value} (limit ${minPercent}%)`;
+  if (result.availability * 100 >= minPercent - 1e-9) return { ...pass(message), value };
+  const shares = run2.shares.get(u.id) ?? [];
+  const main = u.scenarios.length ? pathNodes(u, u.scenarios[mainScenarioIndex(shares)]) : [];
+  const weakest = main.filter((id) => fallbacksFor(u, id).length === 0).map((id) => run2.nodes.get(id)).filter((n) => !!n && n.availability < 1).sort((a, b) => a.availability - b.availability)[0];
+  const hint = weakest ? `The weakest link is ${nodeLabel(run2.diagram, weakest.id)} at ${formatAvailability(weakest.availability)}: add a replica (x${weakest.replicas + 1}) or a fallback scenario that calls it with -x and still completes` : "Add replicas to the nodes on the main path, or fallback scenarios that complete without them";
+  return { ...fail(message, hint), value };
+}
+function writeGap(run2, u, s, accept) {
+  const { requests, beforeResponse } = requestOrder(u, s);
+  const hits = requests.map((m, i) => ({ m, i })).filter(({ m }) => !m.failed && accept(m.to));
+  const writes = hits.filter(({ m }) => run2.isWrite(m.step));
+  const early = writes.find(({ m, i }) => m.async && i < beforeResponse);
+  if (early) return { kind: "async", step: early.m.step };
+  const late = writes.find(({ i }) => i >= beforeResponse);
+  if (late) return { kind: "after", step: late.m.step };
+  const read = hits.find(({ m, i }) => i < beforeResponse && !m.async);
+  if (read) return { kind: "read", step: read.m.step };
+  return { kind: "none" };
+}
+function writesCheck(run2, u, scenarios, accept, what) {
+  const success = scenarios.filter((s) => s.outcome === "success");
+  if (success.length === 0) return fail(`"${u.name}" has no success scenario to check`, "Add a scenario whose entry request is answered with a 2xx");
+  const gaps = success.filter((s) => !writesBeforeResponse(u, s, accept, run2.isWrite));
+  if (gaps.length === 0) {
+    const label = success.length === 1 ? `"${u.name}"` : `Every success scenario of "${u.name}"`;
+    return pass(`${label} writes to ${what} before responding`);
+  }
+  const details = gaps.map((s) => ({ s, gap: writeGap(run2, u, s, accept) }));
+  const where = (s) => u.scenarios.length > 1 ? `"${s.name}"` : `"${u.name}"`;
+  const text = (s, gap) => {
+    switch (gap.kind) {
+      case "async":
+        return `${where(s)} writes to ${what} only asynchronously: ${stepText(gap.step)}`;
+      case "after":
+        return `${where(s)} writes to ${what} only after responding: ${stepText(gap.step)}`;
+      case "read":
+        return `${where(s)} only reads from ${what} before responding: ${stepText(gap.step)} is a read`;
+      case "none":
+        return `${where(s)} never writes to ${what} before responding`;
+    }
+  };
+  const message = details.map(({ s, gap }) => text(s, gap)).join("; ");
+  const hints = {
+    async: "Make the write a synchronous request (->) so it is acknowledged before the response",
+    after: "Move the write before the step that answers the entry request",
+    read: "Only writes count: start the label with a write verb (INSERT, UPDATE, PUT, SET, \u2026) or use POST, PUT, PATCH or DELETE if the step stores data",
+    none: `Add a synchronous write (->) to ${what} before the entry request is answered`
+  };
+  return fail(message, hints[details[0].gap.kind]);
+}
+function durable(run2, name) {
+  const u = findUseCase(run2.diagram, name);
+  if (!u) return unknownUseCase(run2, name);
+  return writesCheck(run2, u, u.scenarios, (id) => !!run2.nodes.get(id)?.durable, "a durable store");
+}
+function survive(run2, target) {
+  const all = components(run2.diagram);
+  const selected = target === "any" ? all.filter((n) => DEPLOYED(run2.nodes.get(n.id).kind)) : selectNodes(run2.diagram, target);
+  const what = target === "any" ? "any one node" : selectorText(target);
+  if (selected.length === 0) {
+    return target === "any" ? pass("No nodes to lose") : fail(`No node matches ${what}`, "Use a node id, [Tech] or any <kind>");
+  }
+  const failures = [];
+  for (const node of selected) {
+    const n = run2.nodes.get(node.id);
+    const label = nodeLabel(run2.diagram, node.id);
+    const replicas = replicasOf(node);
+    if (replicas >= 2) {
+      const left = usageOf(run2.profiles.get(node.id), replicas - 1, n.readLoadRps, n.writeLoadRps);
+      if (left.saturated) {
+        failures.push(
+          fail(
+            `Losing one of ${replicas} ${node.id} replicas leaves ${formatRps(left.capacityRps)} for ${formatRps(n.loadRps)} (${formatPercent(left.utilization)})`,
+            writeBound(left) ? saturationHint(run2, { ...n, ...left }) : `Add a replica to ${label} (x${replicas + 1}) so the rest carry the load`
+          )
+        );
+      }
+      continue;
+    }
+    for (const u of run2.diagram.useCases) {
+      if (needs(u, node.id) && fallbacksFor(u, node.id).length === 0) {
+        failures.push(
+          fail(
+            `Losing ${label} breaks "${u.name}"`,
+            `Add a replica (x2 on ${node.id}) or a fallback scenario in "${u.name}" that calls ${node.id} with -x and still completes`
+          )
+        );
+      }
+    }
+  }
+  if (failures.length === 0) {
+    const count = selected.length === 1 ? selected[0].id : `any of ${selected.length} nodes`;
+    return pass(`Every use case keeps working after losing ${count}`);
+  }
+  const more = failures.length > 1 ? ` (and ${failures.length - 1} more)` : "";
+  return fail(`${failures[0].message}${more}`, failures[0].hint);
+}
+function cost(run2, max) {
+  const { totalCostUsd: total, totalEgressUsd: egress } = run2.analysis;
+  const ofWhich = egress > 0 ? `, ${formatUsd(egress)} of it egress` : "";
+  const message = `Total cost is ${formatUsd(total)}${ofWhich} (limit ${formatUsd(max)})`;
+  if (total <= max) return pass(message);
+  const usd = (x) => formatUsd(x).replace("/month", "");
+  const top = [...run2.analysis.nodes].filter((n) => n.costUsd > 0).sort((a, b) => b.costUsd - a.costUsd).slice(0, 3).map((n) => {
+    const notes = [n.replicas > 1 ? `${n.replicas} replicas` : "", n.shards > 1 ? `${n.shards} shards` : "", n.egressUsd > 0 ? `${usd(n.egressUsd)} of it egress` : ""].filter(Boolean);
+    return `${n.id} ${formatUsd(n.costUsd)}${notes.length ? ` (${notes.join(", ")})` : ""}`;
+  });
+  const egressHint = egress > total / 2 ? " Most of it is egress: serve repeated downloads from a CDN ($0.02/GB) instead of storage ($0.09/GB), or send fewer bytes." : "";
+  return fail(message, `Biggest items: ${top.join(", ")}. Drop replicas on nodes with low utilisation or pick cheaper techs.${egressHint}`);
+}
+function flowTest(run2, test) {
+  const checks = test.assertions.map((a) => ({ ...assertion(run2, a), loc: a.loc }));
+  const assertions = checks.map(({ passed, message, hint, loc }) => hint === void 0 ? { passed, message, loc } : { passed, message, hint, loc });
+  if (assertions.length === 0) return { passed: true, message: "No assertions to check", assertions };
+  const failed = checks.filter((a) => !a.passed);
+  if (failed.length === 0) {
+    return { passed: true, message: assertions.length === 1 ? assertions[0].message : `All ${assertions.length} assertions hold`, assertions };
+  }
+  const seen = /* @__PURE__ */ new Set();
+  const reported = failed.filter((a) => {
+    const key = a.missing ?? a.message;
+    if (seen.has(key)) return false;
+    seen.add(key);
+    return true;
+  });
+  return { passed: false, message: reported.map((a) => a.message).join("; "), hint: reported[0].hint, assertions };
+}
+var quote = (s) => `"${s}"`;
+function scope(run2, useCase, scenario) {
+  const u = findUseCase(run2.diagram, useCase);
+  if (!u) return unknownUseCase(run2, useCase);
+  if (scenario === void 0) return { u, scenarios: u.scenarios, label: quote(u.name) };
+  const s = findScenario2(u, scenario);
+  if (!s) return missingScenario(u, scenario);
+  return { u, scenarios: [s], label: `${quote(u.name)} scenario ${quote(s.name)}` };
+}
+function missingScenario(u, scenario) {
+  const names = u.scenarios.map((s) => quote(s.name)).join(", ");
+  return {
+    ...fail(`${quote(u.name)} has no scenario ${quote(scenario)}${names ? `; it has ${names}` : ""}`, `Add alt "${scenario}" { \u2026 } to "${u.name}"`),
+    missing: `scenario ${u.name} \u203A ${scenario}`
+  };
+}
+var isCheck = (x) => "passed" in x;
+var idsOf = (run2, selector) => new Set(selectNodes(run2.diagram, selector).map((n) => n.id));
+function assertion(run2, a) {
+  switch (a.kind) {
+    case "calls":
+      return calls(run2, a);
+    case "before":
+      return before(run2, a);
+    case "writesBeforeResponding": {
+      const sc = scope(run2, a.useCase, a.scenario);
+      if (isCheck(sc)) return sc;
+      const ids = idsOf(run2, a.target);
+      if (ids.size === 0) return noMatch(a.target);
+      return writesCheck(run2, sc.u, sc.scenarios, (id) => ids.has(id), selectorText(a.target));
+    }
+    case "responds":
+      return responds(run2, a);
+    case "hasScenario": {
+      const u = findUseCase(run2.diagram, a.useCase);
+      if (!u) return unknownUseCase(run2, a.useCase);
+      const s = findScenario2(u, a.scenario);
+      return s ? pass(`${quote(u.name)} has scenario ${quote(s.name)}`) : missingScenario(u, a.scenario);
+    }
+    case "handlesFailure": {
+      const u = findUseCase(run2.diagram, a.useCase);
+      if (!u) return unknownUseCase(run2, a.useCase);
+      const ids = idsOf(run2, a.target);
+      if (ids.size === 0) return noMatch(a.target);
+      const handled = u.scenarios.find((s) => s.outcome === "success" && s.steps.some((step) => step.failed && ids.has(step.toServiceId)));
+      const what = selectorText(a.target);
+      return handled ? pass(`${quote(u.name)} handles a failed call to ${what} in ${quote(handled.name)}`) : fail(
+        `No success scenario of ${quote(u.name)} has a failed call to ${what}`,
+        `Add alt "${what} down" { \u2026 -x ${[...ids][0]} \u2026 } that still answers the entry request with a 2xx`
+      );
+    }
+    case "noPath":
+      return noPath(run2, a.from, a.to);
+    case "replicas": {
+      const nodes = selectNodes(run2.diagram, a.target);
+      if (nodes.length === 0) return noMatch(a.target);
+      const short = nodes.filter((n) => replicasOf(n) < a.min);
+      const has = (n) => `${n.id} has ${replicasOf(n)} replica${replicasOf(n) === 1 ? "" : "s"}`;
+      if (short.length === 0) return pass(`${nodes.map(has).join(", ")} (minimum ${a.min})`);
+      return fail(`${short.map(has).join(", ")} (minimum ${a.min})`, `Declare ${short[0].id} with x${a.min}`);
+    }
+    case "neverWaits":
+      return neverWaits(run2, a);
+    case "after":
+      return after(run2, a);
+    case "senderCalls":
+      return senderCalls(run2, a);
+    case "startsAt":
+      return startsAt(run2, a);
+  }
+}
+function noMatch(selector) {
+  return fail(`No node matches ${selectorText(selector)}`, "Use a node id, [Tech] or any <kind> (any cache, any database, \u2026)");
+}
+function calls(run2, a) {
+  const sc = scope(run2, a.useCase, a.scenario);
+  if (isCheck(sc)) return sc;
+  const what = selectorText(a.target);
+  const ids = idsOf(run2, a.target);
+  const called = (s) => s.steps.filter((step) => ids.has(step.toServiceId));
+  const calling = sc.scenarios.filter((s) => called(s).length > 0);
+  const names = (list) => list.map((s) => quote(s.name)).join(", ");
+  const multi = sc.scenarios.length > 1;
+  if (a.quantifier === "never") {
+    if (calling.length === 0) return pass(`${sc.label} never calls ${what}`);
+    const first = calling[0];
+    const step = called(first)[0];
+    return fail(
+      `${multi ? quote(first.name) : sc.label} calls ${nodeLabel(run2.diagram, step.toServiceId)}: ${stepText(step)}`,
+      `Take the call to ${step.toServiceId} out of ${quote(first.name)}, e.g. serve it from a cache`
+    );
+  }
+  if (ids.size === 0) return noMatch(a.target);
+  if (a.quantifier === "some") {
+    if (calling.length) return pass(`${sc.label} calls ${what}${multi ? ` in ${names(calling)}` : ""}`);
+    return fail(`${sc.label} never calls ${what}`, `Add a step to ${what}`);
+  }
+  const missing = sc.scenarios.filter((s) => !calling.includes(s));
+  if (missing.length === 0 && sc.scenarios.length) return pass(`Every scenario of ${sc.label} calls ${what}`);
+  return fail(`${sc.label} does not call ${what} in ${names(missing) || "any scenario"}`, `Add a step to ${what} in ${names(missing) || "a scenario"}`);
+}
+function before(run2, a) {
+  const sc = scope(run2, a.useCase, a.scenario);
+  if (isCheck(sc)) return sc;
+  const first = idsOf(run2, a.first);
+  const then = idsOf(run2, a.then);
+  const [x, y] = [selectorText(a.first), selectorText(a.then)];
+  if (first.size === 0) return noMatch(a.first);
+  if (then.size === 0) return noMatch(a.then);
+  let checked = 0;
+  for (const s of sc.scenarios) {
+    const order = requestOrder(sc.u, s).requests;
+    const iy = order.findIndex((m) => then.has(m.to));
+    if (iy < 0) continue;
+    checked++;
+    const ix = order.findIndex((m) => first.has(m.to));
+    if (ix < 0 || ix > iy) {
+      const where = sc.scenarios.length > 1 || a.scenario ? `In ${quote(s.name)}` : `In ${quote(sc.u.name)}`;
+      return fail(
+        ix < 0 ? `${where}, ${order[iy].to} is called (${stepText(order[iy].step)}) but ${x} never is` : `${where}, ${order[iy].to} is called (${stepText(order[iy].step)}) before ${order[ix].to} (${stepText(order[ix].step)})`,
+        `Call ${x} before the first call to ${y}`
+      );
+    }
+  }
+  if (checked === 0) return fail(`${sc.label} never calls ${y}`, `Add a step to ${y} after the call to ${x}`);
+  return pass(`${sc.label} calls ${x} before ${y}${checked > 1 ? ` in all ${checked} scenarios that call ${y}` : ""}`);
+}
+function neverWaits(run2, a) {
+  const sc = scope(run2, a.useCase, a.scenario);
+  if (isCheck(sc)) return sc;
+  const ids = idsOf(run2, a.target);
+  const what = selectorText(a.target);
+  for (const s of sc.scenarios) {
+    const hop = criticalPath(sc.u, s).flat().find((h) => !h.async && ids.has(h.target));
+    if (hop) {
+      const where = sc.scenarios.length > 1 ? quote(s.name) : sc.label;
+      return fail(
+        `${where} waits for ${nodeLabel(run2.diagram, hop.target)} before responding: ${stepText(hop.step)}${hop.failed ? " times out on the request path" : " is synchronous"}`,
+        `Send it with ->> (through a queue if it must not be lost), or move it after the line that answers the entry request`
+      );
+    }
+  }
+  const calledAtAll = sc.scenarios.some((s) => s.steps.some((step) => ids.has(step.toServiceId)));
+  return pass(`${sc.label} never waits for ${what}${calledAtAll ? "" : ` (it never calls ${what})`}`);
+}
+function after(run2, a) {
+  const sc = scope(run2, a.useCase, a.scenario);
+  if (isCheck(sc)) return sc;
+  const targets = idsOf(run2, a.target);
+  const firsts = idsOf(run2, a.after);
+  const [y, x] = [selectorText(a.target), selectorText(a.after)];
+  if (targets.size === 0) return noMatch(a.target);
+  if (firsts.size === 0) return noMatch(a.after);
+  let checked = 0;
+  for (const s of sc.scenarios) {
+    const order = requestOrder(sc.u, s).requests;
+    const ix = order.findIndex((m) => firsts.has(m.to));
+    const iy = order.map((m) => targets.has(m.to)).lastIndexOf(true);
+    if (ix < 0 || iy < 0) continue;
+    checked++;
+    if (iy < ix) {
+      const where = sc.scenarios.length > 1 || a.scenario ? `In ${quote(s.name)}` : `In ${quote(sc.u.name)}`;
+      return fail(
+        `${where}, the last call to ${y} (${stepText(order[iy].step)}) comes before the first call to ${x} (${stepText(order[ix].step)})`,
+        `Call ${y} after ${x}: move the step to ${order[iy].to} below the call to ${order[ix].to}`
+      );
+    }
+  }
+  if (checked === 0) {
+    const callsY = sc.scenarios.some((s) => s.steps.some((step) => targets.has(step.toServiceId)));
+    const callsX = sc.scenarios.some((s) => s.steps.some((step) => firsts.has(step.toServiceId)));
+    const why = !callsY && !callsX ? `calls neither ${x} nor ${y}` : !callsY ? `never calls ${y}` : !callsX ? `never calls ${x}` : `never calls ${x} and ${y} in the same scenario`;
+    return fail(`${sc.label} ${why}`, `Add a step to ${y} after the call to ${x}`);
+  }
+  return pass(`${sc.label} calls ${y} after ${x}${checked > 1 ? ` in all ${checked} scenarios that call both` : ""}`);
+}
+function senderCalls(run2, a) {
+  let useCases = run2.diagram.useCases;
+  if (a.useCase !== void 0) {
+    const u = findUseCase(run2.diagram, a.useCase);
+    if (!u) return unknownUseCase(run2, a.useCase);
+    useCases = [u];
+  }
+  const from = idsOf(run2, a.from);
+  const to = idsOf(run2, a.to);
+  const [x, y] = [selectorText(a.from), selectorText(a.to)];
+  const within = a.useCase !== void 0 ? ` in ${quote(useCases[0].name)}` : "";
+  for (const u of useCases) {
+    for (const s of u.scenarios) {
+      const step = s.steps.find((st) => from.has(st.fromServiceId) && to.has(st.toServiceId));
+      if (!step) continue;
+      const where = u.scenarios.length > 1 ? `${quote(u.name)} scenario ${quote(s.name)}` : quote(u.name);
+      if (a.quantifier === "some") return pass(`${x} calls ${y}${within}: ${stepText(step)} in ${where}`);
+      return fail(
+        `${x} calls ${y}${within}: ${stepText(step)} in ${where}`,
+        `Let another node make this call (e.g. the client uploads to storage with a presigned URL), or remove the step`
+      );
+    }
+  }
+  if (a.quantifier === "never") return pass(`${x} never calls ${y}${within}`);
+  if (from.size === 0) return noMatch(a.from);
+  if (to.size === 0) return noMatch(a.to);
+  return fail(`No step is sent by ${x} to ${y}${within}`, `Add a step ${[...from][0]} -> ${[...to][0]}${within}`);
+}
+function startsAt(run2, a) {
+  const u = findUseCase(run2.diagram, a.useCase);
+  if (!u) return unknownUseCase(run2, a.useCase);
+  const ids = idsOf(run2, a.target);
+  const what = selectorText(a.target);
+  if (ids.size === 0) return noMatch(a.target);
+  const entries = u.scenarios.map((s) => s.steps[0]).filter((s) => !!s);
+  if (entries.length === 0) return fail(`${quote(u.name)} has no steps`, `Start "${u.name}" with a step sent by ${what}`);
+  const wrong = entries.find((s) => !ids.has(s.fromServiceId));
+  if (wrong) {
+    return fail(
+      `${quote(u.name)} starts at ${nodeLabel(run2.diagram, wrong.fromServiceId)}, not ${what}: ${stepText(wrong)}`,
+      `Make the first step of "${u.name}" a step sent by ${what}`
+    );
+  }
+  return pass(`${quote(u.name)} starts at ${nodeLabel(run2.diagram, entries[0].fromServiceId)}`);
+}
+function statusMatches(status, wanted) {
+  if (status === void 0) return false;
+  const cls = /^([1-5])xx$/i.exec(wanted);
+  return cls ? Math.floor(status / 100) === Number(cls[1]) : String(status) === wanted;
+}
+function responds(run2, a) {
+  const sc = scope(run2, a.useCase, a.scenario);
+  if (isCheck(sc)) return sc;
+  const hit = sc.scenarios.find((s) => statusMatches(s.steps[0]?.statusCode, a.status));
+  if (hit) return pass(`${sc.label} responds ${hit.steps[0].statusCode}${sc.scenarios.length > 1 ? ` in ${quote(hit.name)}` : ""}`);
+  const seen = [...new Set(sc.scenarios.map((s) => s.steps[0]?.failed ? "a failed call" : s.steps[0]?.statusCode ?? "no status"))];
+  return fail(`${sc.label} never responds ${a.status}; it answers ${seen.join(", ") || "nothing"}`, `Add a scenario (alt) whose entry request is answered with ${a.status}`);
+}
+function noPath(run2, from, to) {
+  const sources = idsOf(run2, from);
+  const targets = idsOf(run2, to);
+  const [x, y] = [selectorText(from), selectorText(to)];
+  const hint = `Route it through a node that guards ${y} (a gateway or a service) instead of going there directly`;
+  const edge = run2.diagram.edges.find((e) => sources.has(e.source) && targets.has(e.target));
+  if (edge) return fail(`The connection ${edge.source} -> ${edge.target} (${lineOf(edge.loc)}) goes directly from ${x} to ${y}`, hint);
+  for (const u of run2.diagram.useCases) {
+    for (const s of u.scenarios) {
+      const step = s.steps.find((st) => sources.has(st.fromServiceId) && targets.has(st.toServiceId));
+      if (step) {
+        const where = u.scenarios.length > 1 ? `${quote(u.name)} scenario ${quote(s.name)}` : quote(u.name);
+        return fail(`The step ${step.fromServiceId} -> ${step.toServiceId} in ${where} (${lineOf(step.loc)}) goes directly from ${x} to ${y}`, hint);
+      }
+    }
+  }
+  return pass(`No connection or step goes directly from ${x} to ${y}`);
+}
+
 // src/fmt.ts
 var FMT_USAGE = `  proschi fmt [--check] <file|dir>...`;
 var FMT_HELP = `fmt     Rewrites files in the canonical layout and lists the ones it changed.
@@ -16387,6 +18554,173 @@ function displayPath2(file) {
 // src/imports.ts
 var import_node_fs4 = require("node:fs");
 var import_node_path5 = require("node:path");
+
+// src/simulation.ts
+var SIM_USAGE = `  proschi test [--format text|github|json] <file|dir>...
+  proschi analyze [--format text|json] <file>`;
+var SIM_HELP = `test    Runs the requirements and test blocks of each file (imports are
+        followed) against the simulation. Exits with 1 if any fails or a file
+        has errors.
+analyze Prints the capacity table: reads and writes (load of capacity and
+        utilisation), latency, availability, egress and cost per node; latency
+        percentiles per use case and scenario.`;
+function testFiles(files, load = parseFile) {
+  return files.map((file) => {
+    const { diagram, diagnostics } = load(file);
+    return { file: displayPath3(file), errors: diagnostics.filter((d) => d.severity === "error"), results: runTests(diagram) };
+  });
+}
+var escape2 = (s) => s.replace(/%/g, "%25").replace(/\r?\n/g, "%0A");
+function formatTestReports(reports, style) {
+  if (style === "json") return JSON.stringify(reports, null, 2);
+  const lines = [];
+  for (const { file, errors, results } of reports) {
+    const where = (loc) => ({ file: loc?.file ?? file, line: loc?.line ?? 1, col: loc?.col ?? 1 });
+    if (style === "github") {
+      for (const e of errors) lines.push(`::error file=${e.file ?? file},line=${e.line},col=${e.col},title=proschi::${escape2(e.message)}`);
+      for (const r of results.filter((r2) => !r2.passed)) {
+        const at = where(r.loc);
+        lines.push(`::error file=${at.file},line=${at.line},col=${at.col},title=proschi test: ${escape2(r.name)}::${escape2(r.hint ? `${r.message}. ${r.hint}` : r.message)}`);
+      }
+      continue;
+    }
+    lines.push(file);
+    for (const e of errors) lines.push(`  error ${e.file ? `${e.file}:` : ""}${e.line}:${e.col}: ${e.message}`);
+    if (results.length === 0) lines.push("  no requirements or tests");
+    for (const r of results) {
+      const at = r.loc ? ` (${r.loc.file ? `${r.loc.file}:` : "line "}${r.loc.line})` : "";
+      lines.push(`  ${r.passed ? "\u2713" : "\u2717"} ${r.name}${r.passed ? "" : at}: ${r.message}`);
+      if (!r.passed) {
+        for (const a of r.assertions ?? []) if (!a.passed && r.assertions.length > 1) lines.push(`      \u2717 line ${a.loc.line}: ${a.message}`);
+        if (r.hint) lines.push(`      \u2192 ${r.hint}`);
+      }
+    }
+  }
+  if (style === "text") {
+    const all = reports.flatMap((r) => r.results);
+    const failed = all.filter((r) => !r.passed).length;
+    const errors = reports.reduce((n, r) => n + r.errors.length, 0);
+    const files = reports.length === 1 ? "1 file" : `${reports.length} files`;
+    lines.push(`${files}: ${all.length - failed} passed, ${failed} failed${errors ? `, ${errors} error(s)` : ""}`);
+  }
+  return lines.join("\n");
+}
+function parseArgs(args, styles, err) {
+  let style = "text";
+  const paths = [];
+  for (let i = 0; i < args.length; i++) {
+    const arg = args[i];
+    if (arg === "--format") {
+      const value = args[++i];
+      if (!styles.includes(value)) {
+        err(`Unknown format '${value ?? ""}'; use ${styles.join(", ")}`);
+        return void 0;
+      }
+      style = value;
+    } else if (arg.startsWith("-")) {
+      err(`Unknown option ${arg}
+
+Usage:
+${SIM_USAGE}`);
+      return void 0;
+    } else paths.push(arg);
+  }
+  if (paths.length === 0) {
+    err(`Usage:
+${SIM_USAGE}`);
+    return void 0;
+  }
+  return { style, paths };
+}
+function runTest(args, collectFiles2, out, err, load = parseFile) {
+  const parsed = parseArgs(args, ["text", "github", "json"], err);
+  if (!parsed) return 2;
+  let reports;
+  try {
+    reports = testFiles(collectFiles2(parsed.paths), load);
+  } catch (e) {
+    err(String(e.message));
+    return 2;
+  }
+  const text = formatTestReports(reports, parsed.style);
+  if (text) out(text);
+  return reports.some((r) => r.errors.length > 0 || r.results.some((t) => !t.passed)) ? 1 : 0;
+}
+function runAnalyze(args, out, err, load = parseFile) {
+  const parsed = parseArgs(args, ["text", "json"], err);
+  if (!parsed) return 2;
+  if (parsed.paths.length !== 1) {
+    err(`Usage:
+${SIM_USAGE}`);
+    return 2;
+  }
+  const [file] = parsed.paths;
+  let result;
+  try {
+    result = load(file);
+  } catch (e) {
+    err(String(e.message));
+    return 2;
+  }
+  const analysis = analyze(result.diagram);
+  if (parsed.style === "json") out(JSON.stringify({ file: displayPath3(file), analysis }, null, 2));
+  else out(capacityReport(result.diagram, analysis, displayPath3(file)));
+  return result.diagnostics.some((d) => d.severity === "error") ? 1 : 0;
+}
+function table(rows, left = 1) {
+  const widths = rows[0].map((_, c) => Math.max(...rows.map((r) => r[c].length)));
+  return rows.map((r) => r.map((cell, c) => c < left ? cell.padEnd(widths[c]) : cell.padStart(widths[c])).join("  ").trimEnd());
+}
+function accessCell(load, capacity, utilization) {
+  return load > 0 ? `${formatRps(load).replace(" rps", "")}/${formatRps(capacity)} ${formatPercent(utilization)}` : "-";
+}
+function formatGb(gb) {
+  const n = (x, digits) => Number(x.toFixed(digits)).toLocaleString("en-US");
+  return gb >= 1e3 ? `${n(gb / 1e3, 1)} TB` : `${n(gb, gb < 10 ? 1 : 0)} GB`;
+}
+function egressCell(n) {
+  return n.egressGbPerMonth > 0 ? `${formatUsd(n.egressUsd).replace("/month", "")} (${formatGb(n.egressGbPerMonth)})` : "-";
+}
+function capacityReport(diagram, analysis, file) {
+  const lines = [diagram.title ? `${diagram.title} (${file})` : file, ""];
+  if ((diagram.traffic ?? []).length === 0) lines.push("No traffic { \u2026 } block: loads are zero and latencies are at idle.", "");
+  const nodes = analysis.nodes.filter((n) => n.kind !== "client" && n.kind !== "other");
+  lines.push(
+    ...table([
+      ["Node", "Kind", "Replicas", "Reads", "Writes", "Util", "Latency", "Availability", "Egress/month", "Cost/month"],
+      ...nodes.map((n) => [
+        n.id,
+        n.kind,
+        n.shards > 1 ? `${n.replicas}x${n.shards} shards` : String(n.replicas),
+        accessCell(n.readLoadRps, n.readCapacityRps, n.readUtilization),
+        accessCell(n.writeLoadRps, n.writeCapacityRps, n.writeUtilization),
+        `${formatPercent(n.utilization)}${n.saturated ? " SATURATED" : n.utilization > HOT ? " hot" : ""}`,
+        formatMs(n.latencyMs),
+        formatAvailability(n.availability),
+        egressCell(n),
+        formatUsd(n.costUsd).replace("/month", "")
+      ])
+    ], 2),
+    "",
+    `Total cost: ${formatUsd(analysis.totalCostUsd)}${analysis.totalEgressUsd > 0 ? ` (${formatUsd(analysis.totalEgressUsd)} of it egress)` : ""}`,
+    ""
+  );
+  if (analysis.useCases.length) {
+    const rows = [["Use case", "Traffic", "p50", "p95", "p99", "p99.9", "Availability"]];
+    for (const u of analysis.useCases) {
+      rows.push([u.name, u.rps > 0 ? formatRps(u.rps) : "-", ...["p50", "p95", "p99", "p999"].map((p) => formatMs(u.percentiles[p])), formatAvailability(u.availability)]);
+      if (u.scenarios.length > 1) {
+        for (const s of u.scenarios) rows.push([`  ${s.name}`, formatPercent(s.share), formatMs(s.percentiles.p50), formatMs(s.percentiles.p95), formatMs(s.percentiles.p99), formatMs(s.percentiles.p999), ""]);
+      }
+    }
+    lines.push(...table(rows), "");
+  }
+  lines.push(`Single points of failure: ${analysis.singlePointsOfFailure.join(", ") || "none"}`);
+  if (analysis.warnings.length) lines.push("", "Warnings:", ...analysis.warnings.map((w) => `  ${w}`));
+  return lines.join("\n");
+}
+
+// src/imports.ts
 function displayPath3(file, cwd = process.cwd()) {
   const abs = (0, import_node_path5.resolve)(cwd, file);
   const rel = (0, import_node_path5.relative)(cwd, abs);
@@ -16422,12 +18756,13 @@ function checkFiles(files, extra) {
 }
 
 // src/cli.ts
-var VERSION = true ? "0.2.0" : "dev";
+var VERSION = true ? "0.4.0" : "dev";
 var USAGE = `Usage:
   proschi check [--strict] [--format text|github|json] [--openapi <node>=<spec>]... <file|dir>...
   proschi parse <file>
 ${RENDER_USAGE}
 ${FMT_USAGE}
+${SIM_USAGE}
   proschi --version
 
 check   Reports errors and warnings. Directories are searched for *.proschi files.
@@ -16439,7 +18774,8 @@ check   Reports errors and warnings. Directories are searched for *.proschi file
 parse   Prints {"diagram", "diagnostics"} as JSON; the shape is described by
         schema/proschi-diagram.schema.json.
 ${RENDER_HELP}
-${FMT_HELP}`;
+${FMT_HELP}
+${SIM_HELP}`;
 function collectFiles(paths) {
   const out = [];
   const walk = (dir) => {
@@ -16497,6 +18833,8 @@ function run(argv, out = console.log, err = console.error) {
   }
   if (command === "render") return import("./render.cjs").then((m) => m.renderCommand(rest, out, err, USAGE));
   if (command === "fmt") return runFmt(rest, collectFiles, out, err);
+  if (command === "test") return runTest(rest, collectFiles, out, err);
+  if (command === "analyze") return runAnalyze(rest, out, err);
   if (command === "check") {
     let strict = false;
     let style = "text";