compasso 0.1.0 → 0.2.0

package/dist/index.cjs

@@ -15,19 +15,27 @@ var CHAR_W = 0.6;
 function estimateTextWidth(text, fontPx) {
   return text.length * fontPx * CHAR_W;
 }
-function wrapLabel(label, perLine) {
+function wrapLabel(label, perLine, maxLines = 2) {
   if (label.length <= perLine) return [label];
   const cap = (s) => s.length > perLine ? s.slice(0, Math.max(1, perLine - 1)) + "\u2026" : s;
-  let line1 = "";
-  let line2 = "";
+  const lines = [""];
   for (const word of label.split(/\s+/)) {
-    if (line2 === "" && (line1 === "" || (line1 + " " + word).length <= perLine)) {
-      line1 = line1 === "" ? word : `${line1} ${word}`;
+    const last = lines.length - 1;
+    const current = lines[last];
+    if (current === "" || (current + " " + word).length <= perLine) {
+      lines[last] = current === "" ? word : `${current} ${word}`;
+    } else if (lines.length < maxLines) {
+      lines.push(word);
     } else {
-      line2 = line2 === "" ? word : `${line2} ${word}`;
+      lines[last] = `${current} ${word}`;
     }
   }
-  return line2 === "" ? [cap(line1)] : [cap(line1), cap(line2)];
+  if (lines.length > 1 && lines[lines.length - 1] === "") lines.pop();
+  return lines.map(cap);
+}
+function wrapLabelBalanced(label, maxLines) {
+  const perLine = Math.min(26, Math.max(14, Math.ceil(label.length / 2) + 2));
+  return wrapLabel(label, perLine, maxLines);
 }
 function clampLabel(label, maxChars) {
   if (maxChars === void 0 || label.length <= maxChars) return label;
@@ -35,6 +43,28 @@ function clampLabel(label, maxChars) {
 }
 var FONT_FAMILY = "Helvetica, Arial, sans-serif";
 
+// src/core/legend.ts
+var LEGEND_ROW_H = 18;
+var LEGEND_PAD = 16;
+var LEGEND_SWATCH_W = 22;
+var LEGEND_GAP = 14;
+var LEGEND_FONT = 11;
+var LEGEND_TEXT_FILL = "#52525b";
+function legendBlock(entries, startY) {
+  if (entries.length === 0) return { svg: "", width: 0, height: startY };
+  const rows = entries.map((entry, i) => {
+    const rowCenterY = startY + i * LEGEND_ROW_H + LEGEND_ROW_H / 2;
+    const textX = LEGEND_PAD + LEGEND_SWATCH_W + LEGEND_GAP;
+    return entry.swatch(LEGEND_PAD, rowCenterY) + `<text x="${textX}" y="${rowCenterY + LEGEND_FONT * 0.32}" font-family="${FONT_FAMILY}" font-size="${LEGEND_FONT}" fill="${LEGEND_TEXT_FILL}">${xmlEscape(entry.label)}</text>`;
+  });
+  const widestLabel = entries.reduce((m, e) => Math.max(m, estimateTextWidth(e.label, LEGEND_FONT)), 0);
+  return {
+    svg: `<g data-compasso-legend="true">${rows.join("")}</g>`,
+    width: LEGEND_PAD + LEGEND_SWATCH_W + LEGEND_GAP + widestLabel + LEGEND_PAD,
+    height: startY + entries.length * LEGEND_ROW_H + LEGEND_PAD / 2
+  };
+}
+
 // src/core/stroke.ts
 var EDGE_STROKE = {
   plain: { width: 1.5, dash: null, opacity: 0.6 },
@@ -1001,11 +1031,11 @@ var STRUCT_WIDTH = 1.5;
 var STRUCT_OPACITY = 0.75;
 var DOTTED_DASH = [2, 3];
 var DOTTED_OPACITY = 0.55;
-var LEGEND_ROW_H = 18;
-var LEGEND_PAD = 16;
-var LEGEND_SWATCH_W = 22;
-var LEGEND_GAP = 14;
-var LEGEND_FONT = 11;
+var LEGEND_ROW_H2 = 18;
+var LEGEND_PAD2 = 16;
+var LEGEND_SWATCH_W2 = 22;
+var LEGEND_GAP2 = 14;
+var LEGEND_FONT2 = 11;
 function glyphSvg(shape, cx, cy, half) {
   const stroke = `fill="transparent" stroke="${GLYPH_STROKE}" stroke-width="2"`;
   if (shape === "square") {
@@ -1115,13 +1145,13 @@ function genogramLayoutSvg(layout, opts = {}) {
     for (const shape of ["square", "circle", "diamond"]) {
       if (!shapesUsed.has(shape)) continue;
       entries.push({
-        swatch: (x, y) => glyphSvg(shape, x + LEGEND_SWATCH_W / 2, y, 6),
+        swatch: (x, y) => glyphSvg(shape, x + LEGEND_SWATCH_W2 / 2, y, 6),
         label: labels.shapes[shape]
       });
     }
     if (layout.nodes.some((n) => n.deceased)) {
       entries.push({
-        swatch: (x, y) => glyphSvg("square", x + LEGEND_SWATCH_W / 2, y, 6) + `<line x1="${x + LEGEND_SWATCH_W / 2 - 6}" y1="${y - 6}" x2="${x + LEGEND_SWATCH_W / 2 + 6}" y2="${y + 6}" stroke="${GLYPH_STROKE}" stroke-width="2"/>`,
+        swatch: (x, y) => glyphSvg("square", x + LEGEND_SWATCH_W2 / 2, y, 6) + `<line x1="${x + LEGEND_SWATCH_W2 / 2 - 6}" y1="${y - 6}" x2="${x + LEGEND_SWATCH_W2 / 2 + 6}" y2="${y + 6}" stroke="${GLYPH_STROKE}" stroke-width="2"/>`,
         label: labels.deceased
       });
     }
@@ -1131,27 +1161,27 @@ function genogramLayoutSvg(layout, opts = {}) {
       const ink = EDGE_STROKE[style];
       const dashAttr = ink.dash === null ? "" : ` stroke-dasharray="${ink.dash[0]} ${ink.dash[1]}"`;
       entries.push({
-        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W}" y2="${y}" stroke="${EDGE_INK}" stroke-width="${ink.width}" stroke-opacity="${ink.opacity}"${dashAttr}/>`,
+        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W2}" y2="${y}" stroke="${EDGE_INK}" stroke-width="${ink.width}" stroke-opacity="${ink.opacity}"${dashAttr}/>`,
         label: labels.bondStyles[style]
       });
     }
     if (layout.isolatedPersonIds.length > 0) {
       entries.push({
-        swatch: (x, y) => glyphSvg("square", x + LEGEND_SWATCH_W / 2, y, 6),
+        swatch: (x, y) => glyphSvg("square", x + LEGEND_SWATCH_W2 / 2, y, 6),
         label: labels.isolated
       });
     }
     if (entries.length > 0) {
       const startY = layout.height;
       const rows = entries.map((entry, i) => {
-        const rowCenterY = startY + i * LEGEND_ROW_H + LEGEND_ROW_H / 2;
-        const textX = LEGEND_PAD + LEGEND_SWATCH_W + LEGEND_GAP;
-        return entry.swatch(LEGEND_PAD, rowCenterY) + `<text x="${textX}" y="${rowCenterY + LEGEND_FONT * 0.32}" font-family="${FONT_FAMILY}" font-size="${LEGEND_FONT}" fill="${GLYPH_STROKE}">${xmlEscape(entry.label)}</text>`;
+        const rowCenterY = startY + i * LEGEND_ROW_H2 + LEGEND_ROW_H2 / 2;
+        const textX = LEGEND_PAD2 + LEGEND_SWATCH_W2 + LEGEND_GAP2;
+        return entry.swatch(LEGEND_PAD2, rowCenterY) + `<text x="${textX}" y="${rowCenterY + LEGEND_FONT2 * 0.32}" font-family="${FONT_FAMILY}" font-size="${LEGEND_FONT2}" fill="${GLYPH_STROKE}">${xmlEscape(entry.label)}</text>`;
       });
       parts.push(`<g data-compasso-legend="true">${rows.join("")}</g>`);
-      const widestLabel = entries.reduce((m, e) => Math.max(m, estimateTextWidth(e.label, LEGEND_FONT)), 0);
-      width = Math.max(width, LEGEND_PAD + LEGEND_SWATCH_W + LEGEND_GAP + widestLabel + LEGEND_PAD);
-      height = startY + entries.length * LEGEND_ROW_H + LEGEND_PAD / 2;
+      const widestLabel = entries.reduce((m, e) => Math.max(m, estimateTextWidth(e.label, LEGEND_FONT2)), 0);
+      width = Math.max(width, LEGEND_PAD2 + LEGEND_SWATCH_W2 + LEGEND_GAP2 + widestLabel + LEGEND_PAD2);
+      height = startY + entries.length * LEGEND_ROW_H2 + LEGEND_PAD2 / 2;
     }
   }
   return `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 ${width} ${height}" width="${width}" height="${height}" role="img" aria-label="${xmlEscape(labels.ariaLabel)}">` + parts.join("") + `</svg>`;
@@ -1228,11 +1258,11 @@ var SINGLE_RING_MAX = 8;
 var NODE_STROKE = "#52525b";
 var LABEL_FILL = "#3f3f46";
 var EDGE_INK2 = "#71717a";
-var LEGEND_ROW_H2 = 18;
-var LEGEND_PAD2 = 16;
-var LEGEND_SWATCH_W2 = 22;
-var LEGEND_GAP2 = 14;
-var LEGEND_FONT2 = 11;
+var LEGEND_ROW_H3 = 18;
+var LEGEND_PAD3 = 16;
+var LEGEND_SWATCH_W3 = 22;
+var LEGEND_GAP3 = 14;
+var LEGEND_FONT3 = 11;
 var round = (n) => Math.round(n * 100) / 100;
 function wrapTieLabel(displayLabel) {
   const perLine = Math.min(26, Math.max(14, Math.ceil(displayLabel.length / 2) + 2));
@@ -1368,7 +1398,7 @@ function ecomapSvg(input, opts = {}) {
     const entries = [];
     if (sats.some((s) => s.style === "plain")) {
       entries.push({
-        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W2}" y2="${y}" stroke="${EDGE_INK2}" stroke-width="${EDGE_STROKE.plain.width}" stroke-opacity="${EDGE_STROKE.plain.opacity}"/>`,
+        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W3}" y2="${y}" stroke="${EDGE_INK2}" stroke-width="${EDGE_STROKE.plain.width}" stroke-opacity="${EDGE_STROKE.plain.opacity}"/>`,
         label: labels.neutralTie
       });
     }
@@ -1378,28 +1408,973 @@ function ecomapSvg(input, opts = {}) {
       const ink = EDGE_STROKE[style];
       const dashAttr = ink.dash === null ? "" : ` stroke-dasharray="${ink.dash[0]} ${ink.dash[1]}"`;
       entries.push({
-        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W2}" y2="${y}" stroke="${EDGE_INK2}" stroke-width="${ink.width}" stroke-opacity="${ink.opacity}"${dashAttr}/>`,
+        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W3}" y2="${y}" stroke="${EDGE_INK2}" stroke-width="${ink.width}" stroke-opacity="${ink.opacity}"${dashAttr}/>`,
         label: labels.bondStyles[style]
       });
     }
     if (sats.some((s) => s.tie.direction !== null)) {
       entries.push({
-        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W2 - 8}" y2="${y}" stroke="${EDGE_INK2}" stroke-width="1.5" stroke-opacity="0.75"/>` + arrowHead(x + LEGEND_SWATCH_W2, y, 1, 0, 0.75),
+        swatch: (x, y) => `<line x1="${x}" y1="${y}" x2="${x + LEGEND_SWATCH_W3 - 8}" y2="${y}" stroke="${EDGE_INK2}" stroke-width="1.5" stroke-opacity="0.75"/>` + arrowHead(x + LEGEND_SWATCH_W3, y, 1, 0, 0.75),
         label: labels.direction
       });
     }
     if (entries.length > 0) {
       const startY = height;
       const rows = entries.map((entry, i) => {
-        const rowCenterY = startY + i * LEGEND_ROW_H2 + LEGEND_ROW_H2 / 2;
-        const textX = LEGEND_PAD2 + LEGEND_SWATCH_W2 + LEGEND_GAP2;
-        return entry.swatch(LEGEND_PAD2, rowCenterY) + `<text x="${textX}" y="${rowCenterY + LEGEND_FONT2 * 0.32}" font-family="${FONT_FAMILY}" font-size="${LEGEND_FONT2}" fill="${NODE_STROKE}">${xmlEscape(entry.label)}</text>`;
+        const rowCenterY = startY + i * LEGEND_ROW_H3 + LEGEND_ROW_H3 / 2;
+        const textX = LEGEND_PAD3 + LEGEND_SWATCH_W3 + LEGEND_GAP3;
+        return entry.swatch(LEGEND_PAD3, rowCenterY) + `<text x="${textX}" y="${rowCenterY + LEGEND_FONT3 * 0.32}" font-family="${FONT_FAMILY}" font-size="${LEGEND_FONT3}" fill="${NODE_STROKE}">${xmlEscape(entry.label)}</text>`;
       });
       parts.push(`<g data-compasso-legend="true">${rows.join("")}</g>`);
-      const widestLabel = entries.reduce((m, e) => Math.max(m, estimateTextWidth(e.label, LEGEND_FONT2)), 0);
-      width = Math.max(width, LEGEND_PAD2 + LEGEND_SWATCH_W2 + LEGEND_GAP2 + widestLabel + LEGEND_PAD2);
-      height = startY + entries.length * LEGEND_ROW_H2 + LEGEND_PAD2 / 2;
+      const widestLabel = entries.reduce((m, e) => Math.max(m, estimateTextWidth(e.label, LEGEND_FONT3)), 0);
+      width = Math.max(width, LEGEND_PAD3 + LEGEND_SWATCH_W3 + LEGEND_GAP3 + widestLabel + LEGEND_PAD3);
+      height = startY + entries.length * LEGEND_ROW_H3 + LEGEND_PAD3 / 2;
+    }
+  }
+  const w = Math.ceil(width);
+  const h = Math.ceil(height);
+  return `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 ${w} ${h}" width="${w}" height="${h}" role="img" aria-label="${xmlEscape(labels.ariaLabel)}">` + parts.join("") + `</svg>`;
+}
+
+// src/fault-tree/types.ts
+var FAULT_TREE_EVENT_KINDS = [
+  "intermediate",
+  "basic",
+  "undeveloped",
+  "house",
+  "conditioning",
+  "transfer"
+];
+var GATE_TYPES = ["and", "or", "xor", "inhibit", "vote"];
+
+// src/fault-tree/labels.ts
+var FAULT_TREE_TITLE_LABELS_EN = {
+  gates: {
+    and: "AND gate",
+    or: "OR gate",
+    xor: "Exclusive-OR gate",
+    inhibit: "Inhibit gate",
+    vote: "Voting gate"
+  },
+  condition: "condition"
+};
+var FAULT_TREE_SVG_LABELS_EN = {
+  events: {
+    intermediate: "Intermediate event",
+    basic: "Basic event",
+    undeveloped: "Undeveloped event",
+    house: "External event (normally occurs)",
+    conditioning: "Conditioning event",
+    transfer: "Transfer (developed elsewhere)"
+  },
+  gates: {
+    and: "AND gate (all inputs)",
+    or: "OR gate (any input)",
+    xor: "Exclusive-OR gate (exactly one input)",
+    inhibit: "INHIBIT gate (input under condition)",
+    vote: "Voting gate (k of n)"
+  },
+  ariaLabel: "Fault tree"
+};
+
+// src/fault-tree/validate.ts
+var FaultTreeValidationError = class extends Error {
+  issues;
+  constructor(issues) {
+    super(`invalid fault tree: ${issues.map((i) => i.message).join("; ")}`);
+    this.name = "FaultTreeValidationError";
+    this.issues = issues;
+  }
+};
+function listIds(ids) {
+  if (ids.length === 1) return String(ids[0]);
+  return `${ids.slice(0, -1).join(", ")} and ${ids[ids.length - 1]}`;
+}
+function sortIssues(issues) {
+  const unique = /* @__PURE__ */ new Map();
+  for (const issue of issues) unique.set(`${issue.code} ${issue.message}`, issue);
+  return [...unique.values()].sort(
+    (a, b) => a.code !== b.code ? a.code < b.code ? -1 : 1 : a.message < b.message ? -1 : a.message > b.message ? 1 : 0
+  );
+}
+function faultTreeIssues(input) {
+  if (input.events.length === 0 && input.gates.length === 0) return [];
+  const issues = [];
+  const push = (code, message) => {
+    issues.push({ code, message });
+  };
+  const eventById = /* @__PURE__ */ new Map();
+  const dupEventIds = /* @__PURE__ */ new Set();
+  for (const e of input.events) {
+    if (eventById.has(e.id)) dupEventIds.add(e.id);
+    else eventById.set(e.id, e);
+  }
+  for (const id of [...dupEventIds].sort((a, b) => a - b)) {
+    push("duplicate-id", `duplicate event id ${id}`);
+  }
+  const gateById = /* @__PURE__ */ new Map();
+  const dupGateIds = /* @__PURE__ */ new Set();
+  for (const g of input.gates) {
+    if (gateById.has(g.id)) dupGateIds.add(g.id);
+    else gateById.set(g.id, g);
+  }
+  for (const id of [...dupGateIds].sort((a, b) => a - b)) {
+    push("duplicate-id", `duplicate gate id ${id}`);
+  }
+  if (issues.length > 0) {
+    return sortIssues(issues);
+  }
+  const gates = [...gateById.values()].sort((a, b) => a.id - b.id);
+  const top = eventById.get(input.topId);
+  if (top === void 0 || top.kind !== "intermediate") {
+    push("top-not-intermediate", `topId ${input.topId} is not an intermediate event`);
+  }
+  const conditioningAsInput = /* @__PURE__ */ new Set();
+  for (const g of gates) {
+    const out = eventById.get(g.eventId);
+    if (out !== void 0 && out.kind === "transfer") {
+      push("transfer-with-gate", `transfer event ${g.eventId} cannot have a gate`);
+    } else if (out === void 0 || out.kind !== "intermediate") {
+      push("gate-on-non-intermediate", `gate ${g.id} resolves non-intermediate event ${g.eventId}`);
+    }
+    if (g.type === "inhibit") {
+      if (g.inputIds.length !== 1) push("gate-arity", `inhibit gate ${g.id} needs exactly 1 input`);
+    } else if (g.inputIds.length < 2) {
+      push("gate-arity", `${g.type} gate ${g.id} needs \u22652 inputs`);
+    }
+    if (g.type === "vote" && (!Number.isInteger(g.k) || g.k < 1 || g.k > g.inputIds.length)) {
+      push("vote-threshold", `vote gate ${g.id}: k=${g.k} of ${g.inputIds.length}`);
+    }
+    if (g.type === "inhibit") {
+      const cond = eventById.get(g.conditionId);
+      if (cond === void 0 || cond.kind !== "conditioning") {
+        push("inhibit-condition", `inhibit gate ${g.id} conditionId ${g.conditionId} is not a conditioning event`);
+      }
+    }
+    for (const inputId of g.inputIds) {
+      const child = eventById.get(inputId);
+      if (child === void 0) {
+        push("unknown-input", `gate ${g.id} input ${inputId} is not a declared event`);
+        continue;
+      }
+      if (inputId === input.topId) push("top-as-input", `top event ${input.topId} is used as a gate input`);
+      if (child.kind === "conditioning") conditioningAsInput.add(inputId);
+    }
+  }
+  for (const id of [...conditioningAsInput].sort((a, b) => a - b)) {
+    push("conditioning-as-input", `conditioning event ${id} used as a gate input`);
+  }
+  const gatesByEvent = /* @__PURE__ */ new Map();
+  for (const g of gates) {
+    const arr = gatesByEvent.get(g.eventId) ?? [];
+    arr.push(g.id);
+    gatesByEvent.set(g.eventId, arr);
+  }
+  for (const [eventId, gateIds] of [...gatesByEvent.entries()].sort((a, b) => a[0] - b[0])) {
+    if (gateIds.length > 1) {
+      push("event-with-two-gates", `event ${eventId} is resolved by gates ${listIds(gateIds.sort((a, b) => a - b))}`);
+    }
+  }
+  for (const e of [...eventById.values()].sort((a, b) => a.id - b.id)) {
+    if (e.kind === "intermediate" && !gatesByEvent.has(e.id)) {
+      push("event-without-gate", `intermediate event ${e.id} has no gate \u2014 declare it kind "undeveloped" instead`);
+    }
+  }
+  const intermediateRefs = /* @__PURE__ */ new Map();
+  for (const g of gates) {
+    for (const inputId of g.inputIds) {
+      if (eventById.get(inputId)?.kind !== "intermediate") continue;
+      const arr = intermediateRefs.get(inputId) ?? [];
+      arr.push(g.id);
+      intermediateRefs.set(inputId, arr);
+    }
+  }
+  for (const [eventId, gateIds] of [...intermediateRefs.entries()].sort((a, b) => a[0] - b[0])) {
+    if (gateIds.length > 1) {
+      push(
+        "intermediate-reused",
+        `intermediate event ${eventId} feeds gates ${listIds(gateIds.sort((a, b) => a - b))} \u2014 repeat it via a "transfer" event`
+      );
+    }
+  }
+  const GRAPH_BLOCKING = /* @__PURE__ */ new Set([
+    "duplicate-id",
+    "unknown-input",
+    "gate-on-non-intermediate",
+    "transfer-with-gate",
+    "event-with-two-gates",
+    "inhibit-condition",
+    "top-not-intermediate"
+  ]);
+  if (!issues.some((i) => GRAPH_BLOCKING.has(i.code))) {
+    const gateOf = (eventId) => gates.find((g) => g.eventId === eventId);
+    const reachable = /* @__PURE__ */ new Set();
+    const queue = [input.topId];
+    while (queue.length > 0) {
+      const id = queue.shift();
+      if (reachable.has(id)) continue;
+      reachable.add(id);
+      const g = gateOf(id);
+      if (g === void 0) continue;
+      queue.push(...g.inputIds);
+      if (g.type === "inhibit") queue.push(g.conditionId);
+    }
+    for (const e of [...eventById.values()].sort((a, b) => a.id - b.id)) {
+      if (!reachable.has(e.id)) push("unreachable-event", `event ${e.id} is declared but unreachable from the top`);
+    }
+    const color = /* @__PURE__ */ new Map();
+    const seenCycles = /* @__PURE__ */ new Set();
+    const dfs = (start) => {
+      const stack = [{ id: start, nextChild: 0 }];
+      color.set(start, 1);
+      while (stack.length > 0) {
+        const frame = stack[stack.length - 1];
+        const children = gateOf(frame.id)?.inputIds ?? [];
+        if (frame.nextChild >= children.length) {
+          color.set(frame.id, 2);
+          stack.pop();
+          continue;
+        }
+        const child = children[frame.nextChild];
+        frame.nextChild += 1;
+        const c = color.get(child) ?? 0;
+        if (c === 1) {
+          const from = stack.findIndex((f) => f.id === child);
+          const cycle = stack.slice(from).map((f) => f.id);
+          const minIdx = cycle.indexOf(Math.min(...cycle));
+          const rotated = [...cycle.slice(minIdx), ...cycle.slice(0, minIdx)];
+          const key = rotated.join(">");
+          if (!seenCycles.has(key)) {
+            seenCycles.add(key);
+            push("cycle", `cycle: ${[...rotated, rotated[0]].join(" \u2192 ")}`);
+          }
+        } else if (c === 0) {
+          color.set(child, 1);
+          stack.push({ id: child, nextChild: 0 });
+        }
+      }
+    };
+    for (const e of [...eventById.values()].sort((a, b) => a.id - b.id)) {
+      if ((color.get(e.id) ?? 0) === 0) dfs(e.id);
+    }
+  }
+  return sortIssues(issues);
+}
+function validateFaultTree(input) {
+  const issues = faultTreeIssues(input);
+  if (issues.length > 0) throw new FaultTreeValidationError(issues);
+}
+
+// src/fault-tree/layout.ts
+var FT_LABEL_FONT = 12;
+var FT_LABEL_LINE_H = 14;
+var CODE_FONT = 10;
+var LABEL_GAP = 6;
+var PADDING3 = 32;
+var H_GAP = 28;
+var CORRIDOR = 30;
+var STEM = 10;
+var COND_GAP = 14;
+var GATE_W = 44;
+var GATE_H = 36;
+var XOR_H = GATE_H + 5;
+var INHIBIT_W = 36;
+var INHIBIT_H = 46;
+var INHIBIT_CY = 23;
+var FT_STEM_ID_BASE = 1e6;
+var FT_DROP_ID_BASE = 2e6;
+var FT_BUS_ID_BASE = 3e6;
+var FT_RISER_ID_BASE = 4e6;
+var FT_CONDITION_ID_BASE = 5e6;
+var round2 = (n) => Math.round(n * 100) / 100;
+function wrapLeafLabel(displayLabel) {
+  const perLine = Math.min(20, Math.max(12, Math.ceil(displayLabel.length / 2) + 2));
+  return wrapLabel(displayLabel, perLine);
+}
+var CODE_REAL_HEADROOM = 1.15;
+var CODE_MARGIN = 2;
+function codeGlyphHalfAt(kind, y) {
+  if (kind === "basic") {
+    const dy = y - 22;
+    return Math.sqrt(Math.max(0, 22 * 22 - dy * dy));
+  }
+  if (kind === "undeveloped") {
+    return 24 * Math.max(0, 1 - Math.abs(y - 24) / 24);
+  }
+  if (kind === "house") {
+    return y >= 16 ? 22 : 22 * y / 16;
+  }
+  return 22 * Math.max(0, Math.min(35, y)) / 35;
+}
+function codeBaselineHalfWidth(kind, glyphH) {
+  return codeGlyphHalfAt(kind, glyphH / 2 + CODE_FONT * 0.32);
+}
+function maxCodeChars(kind, glyphH) {
+  const half = codeBaselineHalfWidth(kind, glyphH);
+  const perChar = CODE_FONT * CHAR_W * CODE_REAL_HEADROOM / 2;
+  return Math.max(1, Math.floor((half - CODE_MARGIN) / perChar));
+}
+function measureEvent(event, maxLabelChars) {
+  if (event.kind === "intermediate") {
+    const lines2 = event.label === "" ? [] : wrapLabelBalanced(clampLabel(event.label, maxLabelChars), 3);
+    const maxLineW = lines2.reduce((m, l) => Math.max(m, estimateTextWidth(l, FT_LABEL_FONT)), 0);
+    const w = Math.max(96, maxLineW + 24);
+    const h = lines2.length * FT_LABEL_LINE_H + 18;
+    return { nodeW: w, nodeH: h, glyphW: w, glyphH: h, labelLines: lines2, code: null };
+  }
+  const rawCode = event.code === null || event.code === "" ? null : event.code;
+  const lines = event.label === "" ? [] : wrapLeafLabel(clampLabel(event.label, maxLabelChars));
+  const labelW = lines.reduce((m, l) => Math.max(m, estimateTextWidth(l, FT_LABEL_FONT)), 0);
+  let glyphW;
+  let glyphH;
+  let code = rawCode;
+  if (event.kind === "basic") {
+    glyphW = 44;
+    glyphH = 44;
+    code = rawCode === null ? null : clampLabel(rawCode, maxCodeChars("basic", glyphH));
+  } else if (event.kind === "undeveloped") {
+    glyphW = 48;
+    glyphH = 48;
+    code = rawCode === null ? null : clampLabel(rawCode, maxCodeChars("undeveloped", glyphH));
+  } else if (event.kind === "house") {
+    glyphW = 44;
+    glyphH = 40;
+    code = rawCode === null ? null : clampLabel(rawCode, maxCodeChars("house", glyphH));
+  } else if (event.kind === "conditioning") {
+    code = rawCode === null ? null : clampLabel(rawCode, 6);
+    const rx = Math.max(30, estimateTextWidth(code ?? "", CODE_FONT) / 2 + 8);
+    glyphW = rx * 2;
+    glyphH = 32;
+  } else {
+    glyphW = 44;
+    glyphH = 35;
+    code = rawCode === null ? null : clampLabel(rawCode, maxCodeChars("transfer", glyphH));
+  }
+  const nodeW = Math.max(glyphW, labelW);
+  const nodeH = glyphH + (lines.length > 0 ? LABEL_GAP + lines.length * FT_LABEL_LINE_H : 0);
+  return { nodeW, nodeH, glyphW, glyphH, labelLines: lines, code };
+}
+function eventTitle(event) {
+  if (event.title !== void 0) return event.title;
+  return event.code !== null && event.code !== "" ? `${event.code} \xB7 ${event.label}` : event.label;
+}
+function computeFaultTreeLayout(input, opts = {}) {
+  if (input.events.length === 0 && input.gates.length === 0) {
+    return { width: PADDING3 * 2, height: PADDING3 * 2, nodes: [], gates: [], elements: [] };
+  }
+  validateFaultTree(input);
+  const titleLabels = opts.titleLabels ?? FAULT_TREE_TITLE_LABELS_EN;
+  const eventById = new Map(input.events.map((e) => [e.id, e]));
+  const gateByEvent = new Map(input.gates.map((g) => [g.eventId, g]));
+  const seqByEvent = /* @__PURE__ */ new Map();
+  const newInst = (event, gate, depth) => {
+    const seq = seqByEvent.get(event.id) ?? 0;
+    seqByEvent.set(event.id, seq + 1);
+    const inst = {
+      event,
+      gate,
+      children: [],
+      cond: null,
+      depth,
+      m: measureEvent(event, opts.maxLabelChars),
+      title: eventTitle(event),
+      seq,
+      spanL: 0,
+      spanR: 0,
+      offset: 0,
+      cx: 0
+    };
+    return inst;
+  };
+  const build = (eventId, depth) => {
+    const event = eventById.get(eventId);
+    const gate = gateByEvent.get(eventId) ?? null;
+    const inst = newInst(event, gate, depth);
+    if (gate !== null) {
+      if (gate.type === "inhibit") {
+        inst.cond = newInst(eventById.get(gate.conditionId), null, depth);
+      }
+      for (const childId of gate.inputIds) inst.children.push(build(childId, depth + 1));
+    }
+    return inst;
+  };
+  const root = build(input.topId, 0);
+  const pack = (inst) => {
+    for (const c of inst.children) pack(c);
+    const condW = inst.cond !== null ? COND_GAP + inst.cond.m.nodeW : 0;
+    const selfL = inst.m.nodeW / 2;
+    const selfR = inst.m.nodeW / 2 + condW;
+    if (inst.children.length === 0) {
+      inst.spanL = selfL;
+      inst.spanR = selfR;
+      return;
+    }
+    const xs = [0];
+    for (let i = 1; i < inst.children.length; i++) {
+      xs.push(xs[i - 1] + inst.children[i - 1].spanR + H_GAP + inst.children[i].spanL);
+    }
+    const first = inst.children[0];
+    const last2 = inst.children[inst.children.length - 1];
+    const px = (xs[0] + xs[xs.length - 1]) / 2;
+    inst.children.forEach((c, i) => c.offset = xs[i] - px);
+    inst.spanL = Math.max(selfL, px - (xs[0] - first.spanL));
+    inst.spanR = Math.max(selfR, xs[xs.length - 1] + last2.spanR - px);
+  };
+  pack(root);
+  root.cx = PADDING3 + root.spanL;
+  const placeX = (inst) => {
+    for (const c of inst.children) {
+      c.cx = inst.cx + c.offset;
+      placeX(c);
+    }
+  };
+  placeX(root);
+  const rowInsts = [];
+  const visitRows = (inst) => {
+    (rowInsts[inst.depth] ??= []).push(inst);
+    for (const c of inst.children) visitRows(c);
+  };
+  visitRows(root);
+  const depthCount = rowInsts.length;
+  const gateExtent = (inst) => {
+    const g = inst.gate;
+    if (g.type === "xor") return XOR_H;
+    if (g.type === "inhibit") {
+      const condBottom = INHIBIT_CY - 16 + inst.cond.m.nodeH;
+      return Math.max(INHIBIT_H, condBottom);
+    }
+    return GATE_H;
+  };
+  const rowH = [];
+  const gateZone = [];
+  for (let d = 0; d < depthCount; d++) {
+    const insts = rowInsts[d];
+    rowH.push(insts.reduce((m, i) => Math.max(m, i.m.nodeH), 0));
+    const gated = insts.filter((i) => i.gate !== null);
+    gateZone.push(gated.length === 0 ? 0 : STEM + gated.reduce((m, i) => Math.max(m, gateExtent(i)), 0));
+  }
+  const rowTop = [PADDING3];
+  for (let d = 0; d < depthCount - 1; d++) {
+    rowTop.push(rowTop[d] + rowH[d] + gateZone[d] + CORRIDOR);
+  }
+  const busY = (d) => rowTop[d + 1] - CORRIDOR / 2;
+  const width = Math.ceil(PADDING3 * 2 + root.spanL + root.spanR);
+  const last = depthCount - 1;
+  const height = Math.ceil(rowTop[last] + rowH[last] + gateZone[last] + PADDING3);
+  const instanceOf = (inst) => (seqByEvent.get(inst.event.id) ?? 0) > 1 ? inst.seq : null;
+  const nodes = [];
+  const gates = [];
+  const elements = [];
+  const gateTitle = (g) => g.type === "vote" ? `${titleLabels.gates.vote} ${g.k}/${g.inputIds.length}` : titleLabels.gates[g.type];
+  const pushNode = (inst, top) => {
+    const isRect = inst.event.kind === "intermediate";
+    const labelTop = !isRect && inst.m.labelLines.length > 0 ? top + inst.m.glyphH + LABEL_GAP : null;
+    nodes.push({
+      eventId: inst.event.id,
+      kind: inst.event.kind,
+      instance: instanceOf(inst),
+      cx: round2(inst.cx),
+      top: round2(top),
+      nodeW: round2(inst.m.nodeW),
+      nodeH: round2(inst.m.nodeH),
+      glyphW: round2(inst.m.glyphW),
+      glyphH: round2(inst.m.glyphH),
+      labelLines: inst.m.labelLines,
+      labelTop: labelTop === null ? null : round2(labelTop),
+      code: inst.m.code,
+      depth: inst.depth,
+      title: inst.title
+    });
+  };
+  const emit = (inst) => {
+    const d = inst.depth;
+    pushNode(inst, rowTop[d]);
+    const g = inst.gate;
+    if (g === null) return;
+    const gateTop = rowTop[d] + rowH[d] + STEM;
+    const glyphW = g.type === "inhibit" ? INHIBIT_W : GATE_W;
+    const glyphH = g.type === "xor" ? XOR_H : g.type === "inhibit" ? INHIBIT_H : GATE_H;
+    const title = gateTitle(g);
+    gates.push({
+      gateId: g.id,
+      type: g.type,
+      cx: round2(inst.cx),
+      top: round2(gateTop),
+      glyphW,
+      glyphH,
+      title,
+      voteText: g.type === "vote" ? `${g.k}/${g.inputIds.length}` : null
+    });
+    if (inst.cond !== null) {
+      const cond = inst.cond;
+      const nodeLeft = inst.cx + INHIBIT_W / 2 + COND_GAP;
+      cond.cx = nodeLeft + cond.m.nodeW / 2;
+      const condTop = gateTop + INHIBIT_CY - 16;
+      pushNode(cond, condTop);
+      const ovalLeft = cond.cx - cond.m.glyphW / 2;
+      elements.push({
+        edgeId: FT_CONDITION_ID_BASE + g.id,
+        kind: "condition",
+        points: [
+          { x: round2(inst.cx + INHIBIT_W / 2), y: round2(gateTop + INHIBIT_CY) },
+          { x: round2(ovalLeft), y: round2(gateTop + INHIBIT_CY) }
+        ],
+        instance: null,
+        title: titleLabels.condition
+      });
+    }
+    elements.push({
+      edgeId: FT_STEM_ID_BASE + g.id,
+      kind: "stem",
+      points: [
+        { x: round2(inst.cx), y: round2(rowTop[d] + inst.m.nodeH) },
+        { x: round2(inst.cx), y: round2(gateTop) }
+      ],
+      instance: null,
+      title
+    });
+    const by = busY(d);
+    elements.push({
+      edgeId: FT_DROP_ID_BASE + g.id,
+      kind: "drop",
+      points: [
+        { x: round2(inst.cx), y: round2(gateTop + glyphH) },
+        { x: round2(inst.cx), y: round2(by) }
+      ],
+      instance: null,
+      title
+    });
+    if (inst.children.length > 1) {
+      const xs = inst.children.map((c) => c.cx);
+      elements.push({
+        edgeId: FT_BUS_ID_BASE + g.id,
+        kind: "bus",
+        points: [
+          { x: round2(Math.min(...xs)), y: round2(by) },
+          { x: round2(Math.max(...xs)), y: round2(by) }
+        ],
+        instance: null,
+        title
+      });
+    }
+    for (const c of inst.children) {
+      elements.push({
+        edgeId: FT_RISER_ID_BASE + c.event.id,
+        kind: "riser",
+        points: [
+          { x: round2(c.cx), y: round2(by) },
+          { x: round2(c.cx), y: round2(rowTop[d + 1]) }
+        ],
+        instance: instanceOf(c),
+        title
+      });
     }
+    for (const c of inst.children) emit(c);
+  };
+  emit(root);
+  return { width, height, nodes, gates, elements };
+}
+
+// src/fault-tree/svg.ts
+var GLYPH_STROKE2 = "#52525b";
+var LABEL_FILL2 = "#3f3f46";
+var EDGE_INK3 = "#71717a";
+var GLYPH_ATTRS = `fill="transparent" stroke="${GLYPH_STROKE2}" stroke-width="2"`;
+var round3 = (n) => Math.round(n * 100) / 100;
+function eventGlyph(n) {
+  const cx = n.cx;
+  const top = n.top;
+  if (n.kind === "intermediate") {
+    return `<rect x="${round3(cx - n.nodeW / 2)}" y="${top}" width="${n.nodeW}" height="${n.nodeH}" rx="2" ${GLYPH_ATTRS}/>`;
+  }
+  if (n.kind === "basic") {
+    return `<circle cx="${cx}" cy="${round3(top + 22)}" r="22" ${GLYPH_ATTRS}/>`;
+  }
+  if (n.kind === "undeveloped") {
+    const pts2 = `${cx},${top} ${round3(cx + 24)},${round3(top + 24)} ${cx},${round3(top + 48)} ${round3(cx - 24)},${round3(top + 24)}`;
+    return `<polygon points="${pts2}" ${GLYPH_ATTRS}/>`;
+  }
+  if (n.kind === "house") {
+    const yB = round3(top + 40);
+    const eave = round3(top + 16);
+    const pts2 = `${round3(cx - 22)},${yB} ${round3(cx - 22)},${eave} ${cx},${top} ${round3(cx + 22)},${eave} ${round3(cx + 22)},${yB}`;
+    return `<polygon points="${pts2}" ${GLYPH_ATTRS}/>`;
+  }
+  if (n.kind === "conditioning") {
+    return `<ellipse cx="${cx}" cy="${round3(top + 16)}" rx="${round3(n.glyphW / 2)}" ry="16" ${GLYPH_ATTRS}/>`;
+  }
+  const pts = `${cx},${top} ${round3(cx + 22)},${round3(top + 35)} ${round3(cx - 22)},${round3(top + 35)}`;
+  return `<polygon points="${pts}" ${GLYPH_ATTRS}/>`;
+}
+function nodeSvg(n) {
+  const pieces = [`<title>${xmlEscape(n.title)}</title>`, eventGlyph(n)];
+  if (n.code !== null && n.kind !== "intermediate") {
+    pieces.push(
+      `<text x="${n.cx}" y="${round3(n.top + n.glyphH / 2 + CODE_FONT * 0.32)}" text-anchor="middle" font-family="${FONT_FAMILY}" font-size="${CODE_FONT}" fill="${LABEL_FILL2}">${xmlEscape(n.code)}</text>`
+    );
+  }
+  if (n.labelLines.length > 0) {
+    const firstBaseline = n.labelTop === null ? round3(n.top + 19) : round3(n.labelTop + 10);
+    const tspans = n.labelLines.map((line, i) => `<tspan x="${n.cx}" y="${round3(firstBaseline + i * FT_LABEL_LINE_H)}">${xmlEscape(line)}</tspan>`).join("");
+    pieces.push(
+      `<text text-anchor="middle" font-family="${FONT_FAMILY}" font-size="${FT_LABEL_FONT}" fill="${LABEL_FILL2}">${tspans}</text>`
+    );
+  }
+  const instance = n.instance === null ? "" : ` data-instance="${n.instance}"`;
+  return `<g data-node-id="e${n.eventId}"${instance}>${pieces.join("")}</g>`;
+}
+function orBodyPath(cx, top, yB) {
+  return `M ${round3(cx - 22)} ${yB} Q ${cx} ${round3(yB - 14)} ${round3(cx + 22)} ${yB} Q ${round3(cx + 22)} ${round3(top + 14)} ${cx} ${top} Q ${round3(cx - 22)} ${round3(top + 14)} ${round3(cx - 22)} ${yB} Z`;
+}
+function gateGlyph(g) {
+  const cx = g.cx;
+  const top = g.top;
+  const yB = round3(top + 36);
+  if (g.type === "and") {
+    const d = `M ${round3(cx - 22)} ${yB} L ${round3(cx - 22)} ${round3(yB - 14)} A 22 22 0 0 1 ${round3(cx + 22)} ${round3(yB - 14)} L ${round3(cx + 22)} ${yB} Z`;
+    return `<path d="${d}" ${GLYPH_ATTRS}/>`;
+  }
+  if (g.type === "or") {
+    return `<path d="${orBodyPath(cx, top, yB)}" ${GLYPH_ATTRS}/>`;
+  }
+  if (g.type === "xor") {
+    const arc = `M ${round3(cx - 22)} ${round3(yB + 5)} Q ${cx} ${round3(yB - 9)} ${round3(cx + 22)} ${round3(yB + 5)}`;
+    return `<path d="${orBodyPath(cx, top, yB)}" ${GLYPH_ATTRS}/><path d="${arc}" ${GLYPH_ATTRS}/>`;
+  }
+  if (g.type === "inhibit") {
+    const pts = `${cx},${top} ${round3(cx + 18)},${round3(top + 12)} ${round3(cx + 18)},${round3(top + 34)} ${cx},${round3(top + 46)} ${round3(cx - 18)},${round3(top + 34)} ${round3(cx - 18)},${round3(top + 12)}`;
+    return `<polygon points="${pts}" ${GLYPH_ATTRS}/>`;
+  }
+  return `<path d="${orBodyPath(cx, top, yB)}" ${GLYPH_ATTRS}/><text x="${cx}" y="${round3(yB - 10)}" text-anchor="middle" font-family="${FONT_FAMILY}" font-size="9" fill="${LABEL_FILL2}">${xmlEscape(g.voteText ?? "")}</text>`;
+}
+function gateSvg(g) {
+  return `<g data-node-id="g${g.gateId}"><title>${xmlEscape(g.title)}</title>${gateGlyph(g)}</g>`;
+}
+function elementSvg2(el) {
+  const a = el.points[0];
+  const b = el.points[1];
+  const instance = el.instance === null ? "" : ` data-instance="${el.instance}"`;
+  return `<g data-edge-id="${el.edgeId}"${instance}><title>${xmlEscape(el.title)}</title><line x1="${a.x}" y1="${a.y}" x2="${b.x}" y2="${b.y}" stroke="${EDGE_INK3}" stroke-width="1.5" stroke-opacity="0.75"/></g>`;
+}
+var MINI_ATTRS = `fill="transparent" stroke="${GLYPH_STROKE2}" stroke-width="1.5"`;
+function miniEventSwatch(kind, x, y) {
+  const cx = round3(x + LEGEND_SWATCH_W / 2);
+  if (kind === "intermediate") {
+    return `<rect x="${round3(cx - 7)}" y="${round3(y - 4.5)}" width="14" height="9" rx="1" ${MINI_ATTRS}/>`;
+  }
+  if (kind === "basic") return `<circle cx="${cx}" cy="${y}" r="6" ${MINI_ATTRS}/>`;
+  if (kind === "undeveloped") {
+    return `<polygon points="${cx},${round3(y - 7)} ${round3(cx + 7)},${y} ${cx},${round3(y + 7)} ${round3(cx - 7)},${y}" ${MINI_ATTRS}/>`;
+  }
+  if (kind === "house") {
+    return `<polygon points="${round3(cx - 6)},${round3(y + 5.5)} ${round3(cx - 6)},${round3(y - 1)} ${cx},${round3(y - 5.5)} ${round3(cx + 6)},${round3(y - 1)} ${round3(cx + 6)},${round3(y + 5.5)}" ${MINI_ATTRS}/>`;
+  }
+  if (kind === "conditioning") return `<ellipse cx="${cx}" cy="${y}" rx="9" ry="5.5" ${MINI_ATTRS}/>`;
+  return `<polygon points="${cx},${round3(y - 5)} ${round3(cx + 6)},${round3(y + 5)} ${round3(cx - 6)},${round3(y + 5)}" ${MINI_ATTRS}/>`;
+}
+function miniOrPath(cx, y) {
+  return `M ${round3(cx - 7)} ${round3(y + 5.5)} Q ${cx} ${round3(y + 1)} ${round3(cx + 7)} ${round3(y + 5.5)} Q ${round3(cx + 7)} ${round3(y - 1.5)} ${cx} ${round3(y - 5.5)} Q ${round3(cx - 7)} ${round3(y - 1.5)} ${round3(cx - 7)} ${round3(y + 5.5)} Z`;
+}
+function miniGateSwatch(type, x, y) {
+  const cx = round3(x + LEGEND_SWATCH_W / 2);
+  if (type === "and") {
+    const d = `M ${round3(cx - 7)} ${round3(y + 5.5)} L ${round3(cx - 7)} ${round3(y + 1.5)} A 7 7 0 0 1 ${round3(cx + 7)} ${round3(y + 1.5)} L ${round3(cx + 7)} ${round3(y + 5.5)} Z`;
+    return `<path d="${d}" ${MINI_ATTRS}/>`;
+  }
+  if (type === "xor") {
+    return `<path d="${miniOrPath(cx, y)}" ${MINI_ATTRS}/><path d="M ${round3(cx - 7)} ${round3(y + 7.5)} Q ${cx} ${round3(y + 3)} ${round3(cx + 7)} ${round3(y + 7.5)}" ${MINI_ATTRS}/>`;
+  }
+  if (type === "inhibit") {
+    return `<polygon points="${cx},${round3(y - 5.5)} ${round3(cx + 4.5)},${round3(y - 2.5)} ${round3(cx + 4.5)},${round3(y + 2.5)} ${cx},${round3(y + 5.5)} ${round3(cx - 4.5)},${round3(y + 2.5)} ${round3(cx - 4.5)},${round3(y - 2.5)}" ${MINI_ATTRS}/>`;
+  }
+  return `<path d="${miniOrPath(cx, y)}" ${MINI_ATTRS}/>`;
+}
+function faultTreeLayoutSvg(layout, opts = {}) {
+  const labels = opts.labels ?? FAULT_TREE_SVG_LABELS_EN;
+  const parts = [];
+  for (const el of layout.elements) parts.push(elementSvg2(el));
+  for (const g of layout.gates) parts.push(gateSvg(g));
+  for (const n of layout.nodes) parts.push(nodeSvg(n));
+  let width = layout.width;
+  let height = layout.height;
+  if (opts.legend !== false && layout.nodes.length > 0) {
+    const kindsUsed = new Set(layout.nodes.map((n) => n.kind));
+    const typesUsed = new Set(layout.gates.map((g) => g.type));
+    const entries = [];
+    for (const kind of FAULT_TREE_EVENT_KINDS) {
+      if (!kindsUsed.has(kind)) continue;
+      entries.push({ swatch: (x, y) => miniEventSwatch(kind, x, y), label: labels.events[kind] });
+    }
+    for (const type of GATE_TYPES) {
+      if (!typesUsed.has(type)) continue;
+      entries.push({ swatch: (x, y) => miniGateSwatch(type, x, y), label: labels.gates[type] });
+    }
+    const block = legendBlock(entries, layout.height);
+    if (block.svg !== "") {
+      parts.push(block.svg);
+      width = Math.max(width, block.width);
+      height = block.height;
+    }
+  }
+  const w = Math.ceil(width);
+  const h = Math.ceil(height);
+  return `<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 ${w} ${h}" width="${w}" height="${h}" role="img" aria-label="${xmlEscape(labels.ariaLabel)}">` + parts.join("") + `</svg>`;
+}
+
+// src/fault-tree/render.ts
+function faultTreeSvg(input, opts = {}) {
+  const layout = computeFaultTreeLayout(input, {
+    ...opts.maxLabelChars !== void 0 ? { maxLabelChars: opts.maxLabelChars } : {},
+    ...opts.titleLabels !== void 0 ? { titleLabels: opts.titleLabels } : {}
+  });
+  const svg = faultTreeLayoutSvg(layout, {
+    ...opts.legend === false ? { legend: false } : {},
+    ...opts.svgLabels !== void 0 ? { labels: opts.svgLabels } : {}
+  });
+  return { svg, layout };
+}
+
+// src/fishbone/render.ts
+var FISHBONE_LABELS_EN = {
+  cause: "Cause",
+  subCause: "Sub-cause",
+  ariaLabel: "Cause-and-effect diagram (Ishikawa)"
+};
+var FishboneValidationError = class extends Error {
+  issues;
+  constructor(issues) {
+    super(`invalid fishbone: ${issues.map((i) => i.message).join("; ")}`);
+    this.name = "FishboneValidationError";
+    this.issues = issues;
+  }
+};
+function duplicateIds(ids) {
+  const seen = /* @__PURE__ */ new Set();
+  const dups = /* @__PURE__ */ new Set();
+  for (const id of ids) {
+    if (seen.has(id)) dups.add(id);
+    seen.add(id);
+  }
+  return [...dups].sort((a, b) => a - b);
+}
+function validateIds(input) {
+  const issues = [];
+  const collect = (noun, ids) => {
+    for (const id of duplicateIds(ids)) {
+      issues.push({ code: "duplicate-id", message: `duplicate ${noun} id ${id}` });
+    }
+  };
+  collect("category", input.categories.map((c) => c.id));
+  collect("cause", input.categories.flatMap((c) => c.causes.map((k) => k.id)));
+  collect(
+    "sub-cause",
+    input.categories.flatMap((c) => c.causes.flatMap((k) => k.subCauses.map((s) => s.id)))
+  );
+  if (issues.length > 0) throw new FishboneValidationError(issues);
+}
+var TAN60 = 1.7320508075688772;
+var SIN60 = 0.8660254037844386;
+var COS60 = 0.5;
+var PADDING4 = 32;
+var ROW_GAP = 12;
+var BONE_GAP = 36;
+var CAT_PAD_X = 12;
+var CAT_PAD_Y = 8;
+var CAT_GAP = 12;
+var TAIL_EXTRA = 44;
+var HEAD_GAP = 24;
+var HEAD_PAD_X = 14;
+var HEAD_PAD_Y = 10;
+var SUB_PER_LINE = 18;
+var ASCENT_12 = 11;
+var DESCENT_12 = 3;
+function verticalMetrics(fontSize) {
+  const ascent = Math.ceil(ASCENT_12 * fontSize / 12);
+  const descent = Math.ceil(DESCENT_12 * fontSize / 12);
+  const lineH = ascent + descent;
+  const twigGap = descent + 1;
+  return {
+    ascent,
+    lineH,
+    twigGap,
+    sV: 2 * lineH + twigGap + 8,
+    spineClear: 2 * lineH + twigGap,
+    boneClear: Math.ceil((2 * lineH + twigGap) / TAN60) + 25,
+    subGap: lineH
+  };
+}
+var EDGE_INK4 = "#71717a";
+var BOX_STROKE = "#52525b";
+var LABEL_FILL3 = "#3f3f46";
+var SPINE_W = 2.5;
+var SPINE_OP = 0.85;
+var BONE_W = 2;
+var BONE_OP = 0.8;
+var TWIG_W = 1.5;
+var TWIG_OP = 0.75;
+var SUB_W = 1.2;
+var SUB_OP = 0.7;
+var round4 = (n) => Math.round(n * 100) / 100;
+function arrowHead2(tipX, tipY, ux, uy, opacity) {
+  const LEN = 9;
+  const HALF_W = 4.5;
+  const bx = tipX - ux * LEN;
+  const by = tipY - uy * LEN;
+  const px = -uy;
+  const py = ux;
+  const points = [
+    `${round4(tipX)},${round4(tipY)}`,
+    `${round4(bx + px * HALF_W)},${round4(by + py * HALF_W)}`,
+    `${round4(bx - px * HALF_W)},${round4(by - py * HALF_W)}`
+  ].join(" ");
+  return `<polygon points="${points}" fill="${EDGE_INK4}" fill-opacity="${opacity}"/>`;
+}
+function lineEl(x1, y1, x2, y2, w, op) {
+  return `<line x1="${round4(x1)}" y1="${round4(y1)}" x2="${round4(x2)}" y2="${round4(y2)}" stroke="${EDGE_INK4}" stroke-width="${w}" stroke-opacity="${op}"/>`;
+}
+function fishboneSvg(input, opts = {}) {
+  validateIds(input);
+  const fontSize = opts.fontSize ?? 12;
+  const { ascent, lineH, twigGap, sV, spineClear, boneClear, subGap } = verticalMetrics(fontSize);
+  const labels = opts.labels ?? FISHBONE_LABELS_EN;
+  const arrows = opts.arrowheads !== false;
+  const bones = input.categories.map((category, idx) => {
+    let cursor = spineClear;
+    const bands = category.causes.map((cause) => {
+      const lines = wrapLabelBalanced(clampLabel(cause.label, opts.maxLabelChars));
+      const labelW = Math.max(...lines.map((l) => estimateTextWidth(l, fontSize)));
+      const blockH = lines.length * lineH;
+      const offset = cursor;
+      const bx = -offset / TAN60;
+      const subs = [];
+      for (const sub of cause.subCauses) {
+        const line = wrapLabel(clampLabel(sub.label, opts.maxLabelChars), SUB_PER_LINE, 1)[0];
+        const w2 = estimateTextWidth(line, fontSize);
+        const prev = subs.length > 0 ? subs[subs.length - 1] : null;
+        const sx = prev === null ? bx - (sV + lineH) / TAN60 - 10 - w2 / 2 : prev.sx - (prev.w + w2) * 0.6 - subGap;
+        subs.push({ sub, line, w: w2, sx, outerX: sx - sV / TAN60 });
+      }
+      const last = subs.length > 0 ? subs[subs.length - 1] : null;
+      const subSpan = last === null ? 0 : bx - (last.outerX - last.w / 2);
+      const twigLen = last === null ? labelW + boneClear : Math.max(labelW + boneClear, subSpan + boneClear, labelW + (bx - last.outerX) + 10);
+      const bandH = Math.max(blockH + twigGap, subs.length > 0 ? sV + lineH + twigGap : 0) + ROW_GAP;
+      cursor += bandH;
+      return { cause, lines, labelW, blockH, offset, bandH, bx, freeEnd: bx - twigLen, subs };
+    });
+    const B = cursor + 16;
+    const catLines = wrapLabelBalanced(clampLabel(category.label, opts.maxLabelChars));
+    const boxW = Math.max(...catLines.map((l) => estimateTextWidth(l, fontSize))) + CAT_PAD_X * 2;
+    const boxH = catLines.length * lineH + CAT_PAD_Y * 2;
+    const tipX = -B / TAN60;
+    return {
+      category,
+      up: idx % 2 === 0,
+      bands,
+      B,
+      catLines,
+      boxW,
+      boxH,
+      // Left extent: the category box's left edge or the deepest twig free end —
+      // every label sits AT or right of its twig's free end, every sub label sits
+      // right of the free end too (twigLen ≥ subSpan + boneClear).
+      relL: Math.max(B / TAN60 + boxW / 2, ...bands.map((b) => -b.freeEnd)),
+      // Right extent: a wide category box on a short bone may overhang the attach.
+      relR: Math.max(0, boxW / 2 + tipX),
+      ax: 0
+    };
+  });
+  const cursors = { top: 0, bottom: 0 };
+  for (const bone of bones) {
+    const side = bone.up ? "top" : "bottom";
+    bone.ax = cursors[side] - bone.relR;
+    cursors[side] = bone.ax - bone.relL - BONE_GAP;
+  }
+  const effLines = wrapLabelBalanced(clampLabel(input.effectLabel, opts.maxLabelChars));
+  const headW = Math.max(...effLines.map((l) => estimateTextWidth(l, fontSize))) + HEAD_PAD_X * 2;
+  const headH = effLines.length * lineH + HEAD_PAD_Y * 2;
+  const headLeft = bones.length > 0 ? HEAD_GAP : 0;
+  const tailX = bones.length > 0 ? Math.min(...bones.map((b) => b.ax - b.relL)) - TAIL_EXTRA : headLeft - (TAIL_EXTRA + HEAD_GAP);
+  let minY = -headH / 2;
+  let maxY = headH / 2;
+  for (const bone of bones) {
+    const reach = bone.B + CAT_GAP + bone.boxH;
+    if (bone.up) minY = Math.min(minY, -reach);
+    else maxY = Math.max(maxY, reach);
+  }
+  const dx = PADDING4 - tailX;
+  const dy = PADDING4 - minY;
+  let width = headLeft + headW - tailX + PADDING4 * 2;
+  let height = maxY - minY + PADDING4 * 2;
+  const spineY = dy;
+  const centeredYs = (cy, n) => Array.from({ length: n }, (_, i) => cy - (n - 1) * lineH / 2 + i * lineH + fontSize * 0.32);
+  const bandBaselines = (e, n, up) => Array.from(
+    { length: n },
+    (_, k) => up ? spineY - (e + twigGap + (n - 1 - k) * lineH) : spineY + e + twigGap + ascent + k * lineH
+  );
+  const textBlock = (anchor, x, ys, lines) => `<text text-anchor="${anchor}" font-family="${FONT_FAMILY}" font-size="${fontSize}" fill="${LABEL_FILL3}">` + lines.map((line, i) => `<tspan x="${round4(x)}" y="${round4(ys[i])}">${xmlEscape(line)}</tspan>`).join("") + `</text>`;
+  const parts = [];
+  {
+    const body = [lineEl(tailX + dx, spineY, headLeft + dx, spineY, SPINE_W, SPINE_OP)];
+    if (arrows) body.push(arrowHead2(headLeft + dx, spineY, 1, 0, SPINE_OP));
+    parts.push(`<g data-edge-id="spine"><title>${xmlEscape(labels.ariaLabel)}</title>${body.join("")}</g>`);
+  }
+  for (const bone of bones) {
+    const sgn = bone.up ? -1 : 1;
+    const ax = bone.ax + dx;
+    const tipX = ax - bone.B / TAN60;
+    const body = [lineEl(tipX, spineY + sgn * bone.B, ax, spineY, BONE_W, BONE_OP)];
+    if (arrows) body.push(arrowHead2(ax, spineY, COS60, -sgn * SIN60, BONE_OP));
+    const boxTop = bone.up ? spineY - bone.B - CAT_GAP - bone.boxH : spineY + bone.B + CAT_GAP;
+    body.push(
+      `<rect x="${round4(tipX - bone.boxW / 2)}" y="${round4(boxTop)}" width="${round4(bone.boxW)}" height="${round4(bone.boxH)}" rx="2" fill="transparent" stroke="${BOX_STROKE}" stroke-width="1.5"/>`
+    );
+    body.push(textBlock("middle", tipX, centeredYs(boxTop + bone.boxH / 2, bone.catLines.length), bone.catLines));
+    parts.push(
+      `<g data-node-id="b${bone.category.id}"><title>${xmlEscape(bone.category.title ?? bone.category.label)}</title>${body.join("")}</g>`
+    );
+    for (const band of bone.bands) {
+      const ty = spineY + sgn * band.offset;
+      const bx = ax + band.bx;
+      const freeEnd = ax + band.freeEnd;
+      const cbody = [lineEl(freeEnd, ty, bx, ty, TWIG_W, TWIG_OP)];
+      if (arrows) cbody.push(arrowHead2(bx, ty, 1, 0, TWIG_OP));
+      cbody.push(textBlock("start", freeEnd + 2, bandBaselines(band.offset, band.lines.length, bone.up), band.lines));
+      parts.push(
+        `<g data-node-id="c${band.cause.id}"><title>${xmlEscape(band.cause.title ?? band.cause.label)}</title>${cbody.join("")}</g>`
+      );
+      for (const s of band.subs) {
+        const sx = ax + s.sx;
+        const ox = ax + s.outerX;
+        const sbody = [lineEl(ox, spineY + sgn * (band.offset + sV), sx, ty, SUB_W, SUB_OP)];
+        if (arrows) sbody.push(arrowHead2(sx, ty, COS60, -sgn * SIN60, SUB_OP));
+        const baseline = bone.up ? spineY - (band.offset + sV + twigGap) : spineY + band.offset + sV + twigGap + ascent;
+        sbody.push(textBlock("middle", ox, [baseline], [s.line]));
+        parts.push(`<g data-node-id="s${s.sub.id}"><title>${xmlEscape(s.sub.label)}</title>${sbody.join("")}</g>`);
+      }
+    }
+  }
+  {
+    const x = headLeft + dx;
+    parts.push(
+      `<g data-node-id="head"><title>${xmlEscape(input.effectLabel)}</title><rect x="${round4(x)}" y="${round4(spineY - headH / 2)}" width="${round4(headW)}" height="${round4(headH)}" rx="2" fill="transparent" stroke="${BOX_STROKE}" stroke-width="2"/>` + textBlock("middle", x + headW / 2, centeredYs(spineY, effLines.length), effLines) + `</g>`
+    );
+  }
+  const anySubs = input.categories.some((c) => c.causes.some((k) => k.subCauses.length > 0));
+  if (opts.legend !== false && anySubs) {
+    const entries = [
+      {
+        swatch: (x, y) => lineEl(x, y, x + LEGEND_SWATCH_W, y, TWIG_W, TWIG_OP),
+        label: labels.cause
+      },
+      {
+        swatch: (x, y) => lineEl(x, y + 5, x + LEGEND_SWATCH_W, y - 5, SUB_W, SUB_OP),
+        label: labels.subCause
+      }
+    ];
+    const block = legendBlock(entries, height);
+    parts.push(block.svg);
+    width = Math.max(width, block.width);
+    height = block.height;
   }
   const w = Math.ceil(width);
   const h = Math.ceil(height);
@@ -1407,15 +2382,36 @@ function ecomapSvg(input, opts = {}) {
 }
 
 exports.CHAR_W = CHAR_W;
+exports.CODE_FONT = CODE_FONT;
 exports.ECOMAP_LABELS_EN = ECOMAP_LABELS_EN;
 exports.EDGE_FONT = EDGE_FONT;
 exports.EDGE_STROKE = EDGE_STROKE;
+exports.FAULT_TREE_EVENT_KINDS = FAULT_TREE_EVENT_KINDS;
+exports.FAULT_TREE_SVG_LABELS_EN = FAULT_TREE_SVG_LABELS_EN;
+exports.FAULT_TREE_TITLE_LABELS_EN = FAULT_TREE_TITLE_LABELS_EN;
+exports.FISHBONE_LABELS_EN = FISHBONE_LABELS_EN;
 exports.FONT_FAMILY = FONT_FAMILY;
+exports.FT_BUS_ID_BASE = FT_BUS_ID_BASE;
+exports.FT_CONDITION_ID_BASE = FT_CONDITION_ID_BASE;
+exports.FT_DROP_ID_BASE = FT_DROP_ID_BASE;
+exports.FT_LABEL_FONT = FT_LABEL_FONT;
+exports.FT_LABEL_LINE_H = FT_LABEL_LINE_H;
+exports.FT_RISER_ID_BASE = FT_RISER_ID_BASE;
+exports.FT_STEM_ID_BASE = FT_STEM_ID_BASE;
+exports.FaultTreeValidationError = FaultTreeValidationError;
+exports.FishboneValidationError = FishboneValidationError;
+exports.GATE_TYPES = GATE_TYPES;
 exports.GENOGRAM_SVG_LABELS_EN = GENOGRAM_SVG_LABELS_EN;
 exports.GENOGRAM_TITLE_LABELS_EN = GENOGRAM_TITLE_LABELS_EN;
 exports.KINSHIP_EN = KINSHIP_EN;
 exports.LABEL_FONT = LABEL_FONT;
+exports.LABEL_GAP = LABEL_GAP;
 exports.LABEL_LINE_H = LABEL_LINE_H;
+exports.LEGEND_FONT = LEGEND_FONT;
+exports.LEGEND_GAP = LEGEND_GAP;
+exports.LEGEND_PAD = LEGEND_PAD;
+exports.LEGEND_ROW_H = LEGEND_ROW_H;
+exports.LEGEND_SWATCH_W = LEGEND_SWATCH_W;
 exports.NODE_SIZE = NODE_SIZE;
 exports.PARENT_REL_ID_BASE = PARENT_REL_ID_BASE;
 exports.PROMOTED_REL_ID_BASE = PROMOTED_REL_ID_BASE;
@@ -1425,17 +2421,25 @@ exports.UNION_REL_ID_BASE = UNION_REL_ID_BASE;
 exports.UNION_STATUSES = UNION_STATUSES;
 exports.clampLabel = clampLabel;
 exports.classifyRelationshipType = classifyRelationshipType;
+exports.computeFaultTreeLayout = computeFaultTreeLayout;
 exports.computeGenogramLayout = computeGenogramLayout;
 exports.ecomapSvg = ecomapSvg;
 exports.estimateTextWidth = estimateTextWidth;
+exports.faultTreeIssues = faultTreeIssues;
+exports.faultTreeLayoutSvg = faultTreeLayoutSvg;
+exports.faultTreeSvg = faultTreeSvg;
+exports.fishboneSvg = fishboneSvg;
 exports.genogramLayoutSvg = genogramLayoutSvg;
 exports.genogramSvg = genogramSvg;
 exports.latestUnionPerPair = latestUnionPerPair;
+exports.legendBlock = legendBlock;
 exports.normalizeText = normalizeText;
 exports.pathData = pathData;
 exports.qualityLineStyle = qualityLineStyle;
 exports.relationshipTypeTokens = relationshipTypeTokens;
+exports.validateFaultTree = validateFaultTree;
 exports.wrapLabel = wrapLabel;
+exports.wrapLabelBalanced = wrapLabelBalanced;
 exports.xmlEscape = xmlEscape;
 //# sourceMappingURL=index.cjs.map
 //# sourceMappingURL=index.cjs.map