@cs-object/react 0.1.0 → 1.0.0

package/dist/index.js

@@ -31,11 +31,11 @@ var __objRest = (source, exclude) => {
 };
 
 // src/formula-sheet/tokens.ts
-var headerTextClass = "font-['Plus_Jakarta_Sans'] text-[12px] text-black/50";
+var headerTextClass = "font-['Plus_Jakarta_Sans'] text-[12px] text-slate-600";
 var valueTextClass = "font-['KaTeX_Main'] text-[16.335px]";
 var FORMULA_SHEET_SPACER_CELL_CLASS = "w-[1.5%] p-[3px]";
 var FORMULA_SHEET_DESCRIPTION_CELL_CLASS = `flex w-[37%] flex-col justify-start py-[3px] ${headerTextClass}`;
-var FORMULA_SHEET_COMMENT_CELL_CLASS = `flex w-[23.5%] flex-col justify-start py-[3px] text-right ${headerTextClass}`;
+var FORMULA_SHEET_COMMENT_CELL_CLASS = `flex w-[23.5%] flex-col justify-start py-[3px] ${headerTextClass}`;
 var FORMULA_SHEET_SYMBOL_CELL_BASE_CLASS = "flex w-[14%] min-w-[14%] items-center justify-end overflow-visible border-r border-gray-300";
 var FORMULA_SHEET_SYMBOL_CELL_HEADER_CLASS = `p-[3px] ${headerTextClass}`;
 var FORMULA_SHEET_SYMBOL_CELL_VALUE_CLASS = `p-[3px] pr-[5px] ${valueTextClass}`;
@@ -166,11 +166,6 @@ import { parseNotation } from "@cs-object/core";
 
 // src/ascii-math/NotationMathmlView.tsx
 import { assertNever } from "@cs-object/core";
-
-// src/mathml/constants.ts
-var MATHML_FONT_SIZE = "15px";
-
-// src/ascii-math/NotationMathmlView.tsx
 import { jsx as jsx9, jsxs as jsxs4 } from "react/jsx-runtime";
 var fenceCharacters = {
   round: ["(", ")"],
@@ -263,8 +258,8 @@ var NotationNodeMathmlView = ({
       );
     case "fraction":
       return /* @__PURE__ */ jsxs4("mfrac", { children: [
-        /* @__PURE__ */ jsx9("mstyle", { style: { fontSize: MATHML_FONT_SIZE }, children: renderNode(node.numerator) }),
-        /* @__PURE__ */ jsx9("mstyle", { style: { fontSize: MATHML_FONT_SIZE }, children: renderNode(node.denominator) })
+        /* @__PURE__ */ jsx9("mrow", { children: renderNode(node.numerator) }),
+        /* @__PURE__ */ jsx9("mrow", { children: renderNode(node.denominator) })
       ] });
     case "subscript":
       return /* @__PURE__ */ jsxs4("msub", { children: [
@@ -312,6 +307,9 @@ var AsciiMathView = (_a) => {
   );
 };
 
+// src/mathml/constants.ts
+var MATHML_FONT_SIZE = "15px";
+
 // src/mathml/props.ts
 var defaultMathBlockProps = {
   style: {
@@ -362,12 +360,35 @@ import {
   isSheetLiteralEmpty,
   sheetLiteralToDisplayString
 } from "@cs-object/core";
-import { jsx as jsx13 } from "react/jsx-runtime";
+
+// src/formula-sheet/NumericalValue.tsx
+import { formatNumerical } from "@cs-object/core";
+import { jsx as jsx13, jsxs as jsxs5 } from "react/jsx-runtime";
+var NumericalValue = ({
+  value,
+  numericKind
+}) => {
+  const formatted = Object.is(value, -0) ? "-0" : numericKind === "int" ? String(value) : formatNumerical(value);
+  const text = formatted.startsWith("(") ? formatted.slice(1, -1) : formatted;
+  const scientific = /^(-?[\d.]+)e([+-]?\d+)$/u.exec(text);
+  return scientific ? /* @__PURE__ */ jsx13("math", { style: { fontSize: "inherit", fontFamily: "inherit" }, children: /* @__PURE__ */ jsxs5("mrow", { children: [
+    /* @__PURE__ */ jsx13("mn", { children: scientific[1] }),
+    /* @__PURE__ */ jsx13("mo", { children: "\xD7" }),
+    /* @__PURE__ */ jsxs5("msup", { children: [
+      /* @__PURE__ */ jsx13("mn", { children: "10" }),
+      /* @__PURE__ */ jsx13("mn", { children: String(Number(scientific[2])) })
+    ] })
+  ] }) }) : formatted;
+};
+
+// src/formula-sheet/FormulaSheetResultCell.tsx
+import { jsx as jsx14 } from "react/jsx-runtime";
 var FormulaSheetResultCell = ({
-  literal
+  literal,
+  numericKind
 }) => {
-  const formattedValue = sheetLiteralToDisplayString(literal);
-  return /* @__PURE__ */ jsx13(FormulaSheetValueCell, { children: isSheetLiteralEmpty(literal) ? /* @__PURE__ */ jsx13("span", { className: "rounded-sm bg-orange-500 px-1.5 py-0 text-black opacity-70", children: "NaN" }) : formattedValue });
+  const formattedValue = literal.kind === "number" ? /* @__PURE__ */ jsx14(NumericalValue, { value: literal.value, numericKind }) : sheetLiteralToDisplayString(literal);
+  return /* @__PURE__ */ jsx14(FormulaSheetValueCell, { children: isSheetLiteralEmpty(literal) ? /* @__PURE__ */ jsx14("span", { className: "rounded-sm bg-orange-500 px-1.5 py-0 text-black opacity-70", children: "NaN" }) : formattedValue });
 };
 
 // src/formula-sheet/FormulaSheetValueTree.tsx
@@ -387,28 +408,28 @@ import {
 } from "@cs-object/core";
 
 // src/mathml/function-renderers.tsx
-import { jsx as jsx14, jsxs as jsxs5 } from "react/jsx-runtime";
-var baseStyle = { fontSize: MATHML_FONT_SIZE, textAlign: "left" };
-var fontSizeStyle = { fontSize: MATHML_FONT_SIZE };
+import { jsx as jsx15, jsxs as jsxs6 } from "react/jsx-runtime";
+var baseStyle = { textAlign: "left" };
+var branchStyle = __spreadProps(__spreadValues({}, baseStyle), { paddingBlock: "0.4em" });
 var ConditionalFunctionMathml = ({
   argCnd,
   argTrue,
   argFalse
 }) => {
-  return /* @__PURE__ */ jsxs5("mrow", { style: baseStyle, children: [
-    /* @__PURE__ */ jsx14("mo", { style: fontSizeStyle, children: "{" }),
-    /* @__PURE__ */ jsxs5("mtable", { columnalign: "left", style: baseStyle, children: [
-      /* @__PURE__ */ jsxs5("mtr", { style: fontSizeStyle, children: [
-        /* @__PURE__ */ jsx14("mtd", { style: __spreadProps(__spreadValues({}, baseStyle), { paddingRight: "0.5em" }), children: argTrue }),
-        /* @__PURE__ */ jsxs5("mtd", { style: baseStyle, children: [
-          /* @__PURE__ */ jsx14("mtext", { style: fontSizeStyle, children: "if " }),
-          /* @__PURE__ */ jsx14("mspace", { width: "5px" }),
+  return /* @__PURE__ */ jsxs6("mrow", { style: baseStyle, children: [
+    /* @__PURE__ */ jsx15("mo", { children: "{" }),
+    /* @__PURE__ */ jsxs6("mtable", { columnalign: "left", style: baseStyle, children: [
+      /* @__PURE__ */ jsxs6("mtr", { children: [
+        /* @__PURE__ */ jsx15("mtd", { style: __spreadProps(__spreadValues({}, branchStyle), { paddingRight: "0.5em" }), children: argTrue }),
+        /* @__PURE__ */ jsxs6("mtd", { style: branchStyle, children: [
+          /* @__PURE__ */ jsx15("mtext", { children: "if " }),
+          /* @__PURE__ */ jsx15("mspace", { width: "5px" }),
           argCnd
         ] })
       ] }),
-      /* @__PURE__ */ jsxs5("mtr", { style: fontSizeStyle, children: [
-        /* @__PURE__ */ jsx14("mtd", { style: __spreadProps(__spreadValues({}, baseStyle), { paddingRight: "0.5em" }), children: argFalse }),
-        /* @__PURE__ */ jsx14("mtd", { style: baseStyle, children: /* @__PURE__ */ jsx14("mtext", { style: fontSizeStyle, children: "otherwise." }) })
+      /* @__PURE__ */ jsxs6("mtr", { children: [
+        /* @__PURE__ */ jsx15("mtd", { style: __spreadProps(__spreadValues({}, branchStyle), { paddingRight: "0.5em" }), children: argFalse }),
+        /* @__PURE__ */ jsx15("mtd", { style: branchStyle, children: /* @__PURE__ */ jsx15("mtext", { children: "otherwise." }) })
       ] })
     ] })
   ] });
@@ -417,39 +438,39 @@ var FractionFunctionMathml = ({
   numerator,
   denominator
 }) => {
-  return /* @__PURE__ */ jsxs5("mfrac", { children: [
-    /* @__PURE__ */ jsx14("mstyle", { style: { fontSize: MATHML_FONT_SIZE }, children: numerator }),
-    /* @__PURE__ */ jsx14("mstyle", { style: { fontSize: MATHML_FONT_SIZE }, children: denominator })
+  return /* @__PURE__ */ jsxs6("mfrac", { children: [
+    /* @__PURE__ */ jsx15("mrow", { style: { fontSize: "1em" }, children: numerator }),
+    /* @__PURE__ */ jsx15("mrow", { style: { fontSize: "1em" }, children: denominator })
   ] });
 };
 var PowerFunctionMathml = ({
   base,
   exponent
 }) => {
-  return /* @__PURE__ */ jsxs5("msup", { children: [
-    /* @__PURE__ */ jsx14("mstyle", { style: { fontSize: MATHML_FONT_SIZE }, children: base }),
-    /* @__PURE__ */ jsx14("mstyle", { style: { scale: "0.8" }, children: exponent })
+  return /* @__PURE__ */ jsxs6("msup", { children: [
+    /* @__PURE__ */ jsx15("mrow", { children: base }),
+    /* @__PURE__ */ jsx15("mrow", { children: exponent })
   ] });
 };
 var SquareRootFunctionMathml = ({
   value
 }) => {
-  return /* @__PURE__ */ jsx14("msqrt", { children: /* @__PURE__ */ jsx14("mstyle", { style: { padding: "3px", fontSize: MATHML_FONT_SIZE }, children: value }) });
+  return /* @__PURE__ */ jsx15("msqrt", { children: /* @__PURE__ */ jsx15("mstyle", { style: { padding: "0.2em" }, children: value }) });
 };
 var AbsoluteValueFunctionMathml = ({
   value
 }) => {
-  return /* @__PURE__ */ jsxs5("mrow", { style: fontSizeStyle, children: [
-    /* @__PURE__ */ jsx14("mo", { fence: "true", stretchy: "true", children: "|" }),
+  return /* @__PURE__ */ jsxs6("mrow", { children: [
+    /* @__PURE__ */ jsx15("mo", { fence: "true", stretchy: "true", children: "|" }),
     value,
-    /* @__PURE__ */ jsx14("mo", { fence: "true", stretchy: "true", children: "|" })
+    /* @__PURE__ */ jsx15("mo", { fence: "true", stretchy: "true", children: "|" })
   ] });
 };
 var UnaryMinusFunctionMathml = ({
   value
 }) => {
-  return /* @__PURE__ */ jsxs5("mrow", { style: { fontSize: MATHML_FONT_SIZE }, children: [
-    /* @__PURE__ */ jsx14("mo", { style: { fontSize: MATHML_FONT_SIZE }, children: "-" }),
+  return /* @__PURE__ */ jsxs6("mrow", { children: [
+    /* @__PURE__ */ jsx15("mo", { children: "-" }),
     value
   ] });
 };
@@ -457,17 +478,42 @@ var renderSpecialValueFunction = ({
   functionId,
   argReactNodes
 }) => {
+  if (functionId === "fg.not" && argReactNodes.length === 1) {
+    return /* @__PURE__ */ jsxs6("mrow", { children: [
+      /* @__PURE__ */ jsx15("mo", { form: "prefix", rspace: "0.3em", children: "not" }),
+      /* @__PURE__ */ jsxs6("mrow", { children: [
+        /* @__PURE__ */ jsx15("mo", { fence: "true", children: "(" }),
+        argReactNodes[0],
+        /* @__PURE__ */ jsx15("mo", { fence: "true", children: ")" })
+      ] })
+    ] });
+  }
+  if (functionId === "fg.xor" && argReactNodes.length === 2) {
+    return /* @__PURE__ */ jsxs6("mrow", { children: [
+      /* @__PURE__ */ jsxs6("mrow", { children: [
+        /* @__PURE__ */ jsx15("mo", { fence: "true", children: "(" }),
+        argReactNodes[0],
+        /* @__PURE__ */ jsx15("mo", { fence: "true", children: ")" })
+      ] }),
+      /* @__PURE__ */ jsx15("mo", { form: "infix", lspace: "0.3em", rspace: "0.3em", children: "xor" }),
+      /* @__PURE__ */ jsxs6("mrow", { children: [
+        /* @__PURE__ */ jsx15("mo", { fence: "true", children: "(" }),
+        argReactNodes[1],
+        /* @__PURE__ */ jsx15("mo", { fence: "true", children: ")" })
+      ] })
+    ] });
+  }
   if (functionId === "fg.abs" && argReactNodes.length === 1) {
-    return /* @__PURE__ */ jsx14(AbsoluteValueFunctionMathml, { value: argReactNodes[0] });
+    return /* @__PURE__ */ jsx15(AbsoluteValueFunctionMathml, { value: argReactNodes[0] });
   }
   if (functionId === "fg.sqrt" && argReactNodes.length === 1) {
-    return /* @__PURE__ */ jsx14(SquareRootFunctionMathml, { value: argReactNodes[0] });
+    return /* @__PURE__ */ jsx15(SquareRootFunctionMathml, { value: argReactNodes[0] });
   }
   if (functionId === "fg.uminus" && argReactNodes.length === 1) {
-    return /* @__PURE__ */ jsx14(UnaryMinusFunctionMathml, { value: argReactNodes[0] });
+    return /* @__PURE__ */ jsx15(UnaryMinusFunctionMathml, { value: argReactNodes[0] });
   }
   if (functionId === "fg.cnd" && argReactNodes.length === 3) {
-    return /* @__PURE__ */ jsx14(
+    return /* @__PURE__ */ jsx15(
       ConditionalFunctionMathml,
       {
         argCnd: argReactNodes[0],
@@ -477,7 +523,7 @@ var renderSpecialValueFunction = ({
     );
   }
   if (functionId === "fg.divide" && argReactNodes.length === 2) {
-    return /* @__PURE__ */ jsx14(
+    return /* @__PURE__ */ jsx15(
       FractionFunctionMathml,
       {
         numerator: argReactNodes[0],
@@ -486,7 +532,7 @@ var renderSpecialValueFunction = ({
     );
   }
   if (functionId === "fg.pow" && argReactNodes.length === 2) {
-    return /* @__PURE__ */ jsx14(
+    return /* @__PURE__ */ jsx15(
       PowerFunctionMathml,
       {
         base: argReactNodes[0],
@@ -498,9 +544,9 @@ var renderSpecialValueFunction = ({
 };
 
 // src/mathml/symbol-value/components.tsx
-import { assertNever as assertNever2, formatNumerical } from "@cs-object/core";
+import { assertNever as assertNever2, formatNumerical as formatNumerical2 } from "@cs-object/core";
 import { isValidElement } from "react";
-import { Fragment, jsx as jsx15, jsxs as jsxs6 } from "react/jsx-runtime";
+import { Fragment, jsx as jsx16, jsxs as jsxs7 } from "react/jsx-runtime";
 var isDraftPositionValid = ({
   draft,
   position
@@ -536,34 +582,30 @@ var stableReactNodeKey = (node) => {
 var SymbolValueRootMathmlView = ({
   children
 }) => {
-  return /* @__PURE__ */ jsx15("math", { children: children != null ? children : "Tree Without Root" });
+  return /* @__PURE__ */ jsx16("math", { children: children != null ? children : "Tree Without Root" });
 };
 var SymbolValueDraftMathmlView = ({
   draft,
   position
 }) => {
-  const textStyle = { fontSize: MATHML_FONT_SIZE };
-  return position !== void 0 && isDraftPositionValid({ draft, position }) ? /* @__PURE__ */ jsxs6("mrow", { style: { fontSize: MATHML_FONT_SIZE }, children: [
-    position > 0 && /* @__PURE__ */ jsx15("mtext", { style: textStyle, children: draft.substring(0, position) }),
-    position < draft.length && /* @__PURE__ */ jsx15("mtext", { style: textStyle, children: draft.substring(position) })
-  ] }) : /* @__PURE__ */ jsx15("mrow", { style: { fontSize: MATHML_FONT_SIZE }, children: /* @__PURE__ */ jsx15("mtext", { style: textStyle, children: draft }) });
+  return position !== void 0 && isDraftPositionValid({ draft, position }) ? /* @__PURE__ */ jsxs7("mrow", { children: [
+    position > 0 && /* @__PURE__ */ jsx16("mtext", { children: draft.substring(0, position) }),
+    position < draft.length && /* @__PURE__ */ jsx16("mtext", { children: draft.substring(position) })
+  ] }) : /* @__PURE__ */ jsx16("mrow", { children: /* @__PURE__ */ jsx16("mtext", { children: draft }) });
 };
 var SymbolValueLiteralMathmlView = ({
   literal
 }) => {
-  const mathProps = {
-    style: { fontSize: MATHML_FONT_SIZE }
-  };
   switch (literal == null ? void 0 : literal.kind) {
     case void 0:
     case "empty":
-      return /* @__PURE__ */ jsx15("mi", __spreadProps(__spreadValues({}, mathProps), { children: "\u25A2" }));
+      return /* @__PURE__ */ jsx16("mi", { children: "\u25A2" });
     case "boolean":
-      return /* @__PURE__ */ jsx15("mi", __spreadProps(__spreadValues({}, mathProps), { children: literal.value ? "true" : "false" }));
+      return /* @__PURE__ */ jsx16("mi", { children: literal.value ? "true" : "false" });
     case "number":
-      return /* @__PURE__ */ jsx15("mn", __spreadProps(__spreadValues({}, mathProps), { children: formatNumerical(literal.value) }));
+      return /* @__PURE__ */ jsx16("mn", { children: formatNumerical2(literal.value) });
     case "string":
-      return /* @__PURE__ */ jsx15("mtext", __spreadProps(__spreadValues({}, mathProps), { children: literal.value }));
+      return /* @__PURE__ */ jsx16("mtext", { children: literal.value });
     default:
       return assertNever2(literal);
   }
@@ -572,7 +614,7 @@ var SymbolValueGlyphMathmlView = ({
   glyph
 }) => {
   const mathProps = {};
-  return /* @__PURE__ */ jsx15(AsciiMathView, __spreadValues({ expression: glyph }, mathProps));
+  return /* @__PURE__ */ jsx16(AsciiMathView, __spreadValues({ expression: glyph }, mathProps));
 };
 var SymbolValueGroupMathmlView = ({
   prefix,
@@ -583,21 +625,21 @@ var SymbolValueGroupMathmlView = ({
   const mathProps = {
     mathbackground: cursor ? "lightgray" : void 0
   };
-  return /* @__PURE__ */ jsxs6("mrow", __spreadProps(__spreadValues({}, mathProps), { children: [
+  return /* @__PURE__ */ jsxs7("mrow", __spreadProps(__spreadValues({}, mathProps), { children: [
     prefix,
-    (children.length > 0 || empty === "fence") && /* @__PURE__ */ jsxs6(Fragment, { children: [
-      /* @__PURE__ */ jsx15("mo", { fence: "true", children: "(" }),
+    (children.length > 0 || empty === "fence") && /* @__PURE__ */ jsxs7(Fragment, { children: [
+      /* @__PURE__ */ jsx16("mo", { fence: "true", children: "(" }),
       children.flatMap((child, argIndex, arr) => {
         const next = arr[argIndex + 1];
         const separatorKey = `sep-${stableReactNodeKey(child)}-to-${stableReactNodeKey(next)}`;
         return [
           child,
           ...argIndex < arr.length - 1 ? [
-            /* @__PURE__ */ jsx15("mo", { separator: "true", children: "," }, separatorKey)
+            /* @__PURE__ */ jsx16("mo", { separator: "true", children: "," }, separatorKey)
           ] : []
         ];
       }),
-      /* @__PURE__ */ jsx15("mo", { fence: "true", children: ")" })
+      /* @__PURE__ */ jsx16("mo", { fence: "true", children: ")" })
     ] })
   ] }));
 };
@@ -607,9 +649,9 @@ var SymbolValueBinaryOperatorMathmlView = ({
   argRight
 }) => {
   const spacing = operator.id === "fg.and" || operator.id === "fg.or" ? "0.3em" : void 0;
-  return /* @__PURE__ */ jsxs6("mrow", { children: [
+  return /* @__PURE__ */ jsxs7("mrow", { children: [
     argLeft,
-    /* @__PURE__ */ jsx15("mo", { lspace: spacing, rspace: spacing, children: operator.glyph }),
+    /* @__PURE__ */ jsx16("mo", { lspace: spacing, rspace: spacing, children: operator.glyph }),
     argRight
   ] });
 };
@@ -655,11 +697,11 @@ var requiresExplicitOperandGroup = ({
     }
   }
   const negative = draft !== void 0 ? /^\s*[-−]/u.test(draft) : (literal == null ? void 0 : literal.kind) === "number" && (literal.value < 0 || Object.is(literal.value, -0));
-  return argumentIndex === 0 && (parentFunctionId === "fg.pow" && (node.kind === "function" || negative) || parentFunctionId === "fg.uminus" && node.kind === "function") || argumentIndex === 1 && (parentFunctionId === "fg.add" || parentFunctionId === "fg.multiply" || parentFunctionId === "fg.subtract") && (negative || node.kind === "function" && node.functionId === "fg.uminus");
+  return (parentFunctionId === "fg.and" || parentFunctionId === "fg.or") && node.kind === "function" && node.functionId === "fg.xor" || argumentIndex === 0 && (parentFunctionId === "fg.pow" && (node.kind === "function" || negative) || parentFunctionId === "fg.uminus" && node.kind === "function") || argumentIndex === 1 && (parentFunctionId === "fg.add" || parentFunctionId === "fg.multiply" || parentFunctionId === "fg.subtract") && (negative || node.kind === "function" && node.functionId === "fg.uminus");
 };
 
 // src/mathml/symbol-value/ValueTreeMathmlRenderer.tsx
-import { Fragment as Fragment2, jsx as jsx16, jsxs as jsxs7 } from "react/jsx-runtime";
+import { Fragment as Fragment2, jsx as jsx17, jsxs as jsxs8 } from "react/jsx-runtime";
 var ValueTreeMathmlRenderer = ({
   sheet,
   valueTree,
@@ -668,9 +710,9 @@ var ValueTreeMathmlRenderer = ({
 }) => {
   const rootNode = getValueNodeByKeyOrUndefined(valueTree, valueTree.rootKey);
   if (!rootNode) {
-    return /* @__PURE__ */ jsx16(Fragment2, { children: "Empty Value" });
+    return /* @__PURE__ */ jsx17(Fragment2, { children: "Empty Value" });
   }
-  const rootValue = /* @__PURE__ */ jsx16(
+  const rootValue = /* @__PURE__ */ jsx17(
     ValueTreeNodeMathmlView,
     {
       sheet,
@@ -679,7 +721,7 @@ var ValueTreeMathmlRenderer = ({
       viewOptions
     }
   );
-  return noRootContainer ? rootValue : /* @__PURE__ */ jsx16(SymbolValueRootMathmlView, { children: rootValue });
+  return noRootContainer ? rootValue : /* @__PURE__ */ jsx17(SymbolValueRootMathmlView, { children: rootValue });
 };
 var ValueTreeNodeMathmlView = ({
   sheet,
@@ -694,16 +736,16 @@ var ValueTreeNodeMathmlView = ({
       literalsAsDrafts: viewOptions.literalsAsDrafts
     });
     if (draft !== void 0) {
-      return /* @__PURE__ */ jsx16(SymbolValueDraftMathmlView, { draft });
+      return /* @__PURE__ */ jsx17(SymbolValueDraftMathmlView, { draft });
     }
-    return /* @__PURE__ */ jsx16(SymbolValueLiteralMathmlView, { literal: node.value });
+    return /* @__PURE__ */ jsx17(SymbolValueLiteralMathmlView, { literal: node.value });
   }
   if (node.kind === "symbol") {
     const nodeSymbol = getSymbolById2(sheet, node.symbolId);
     if (!viewOptions.numerical) {
-      return /* @__PURE__ */ jsx16(SymbolValueGlyphMathmlView, { glyph: (nodeSymbol == null ? void 0 : nodeSymbol.glyph) || "" });
+      return /* @__PURE__ */ jsx17(SymbolValueGlyphMathmlView, { glyph: (nodeSymbol == null ? void 0 : nodeSymbol.glyph) || "" });
     }
-    return /* @__PURE__ */ jsx16(
+    return /* @__PURE__ */ jsx17(
       SymbolValueLiteralMathmlView,
       {
         literal: (_a = nodeSymbol == null ? void 0 : nodeSymbol.valueTree.result) != null ? _a : emptyLiteral()
@@ -711,7 +753,7 @@ var ValueTreeNodeMathmlView = ({
     );
   }
   if (node.kind === "function") {
-    return /* @__PURE__ */ jsx16(
+    return /* @__PURE__ */ jsx17(
       ValueTreeFunctionMathmlView,
       {
         sheet,
@@ -721,7 +763,7 @@ var ValueTreeNodeMathmlView = ({
       }
     );
   }
-  return /* @__PURE__ */ jsx16(Fragment2, { children: "Error (Unknown value-tree node)" });
+  return /* @__PURE__ */ jsx17(Fragment2, { children: "Error (Unknown value-tree node)" });
 };
 var ValueTreeFunctionMathmlView = ({
   sheet,
@@ -730,13 +772,13 @@ var ValueTreeFunctionMathmlView = ({
   viewOptions
 }) => {
   if (node.kind !== "function") {
-    return /* @__PURE__ */ jsx16(Fragment2, { children: "Error (Expected function value-tree node)" });
+    return /* @__PURE__ */ jsx17(Fragment2, { children: "Error (Expected function value-tree node)" });
   }
   const argNodes = node.argKeys.map(
     (argKey) => getValueNodeByKey(valueTree, argKey)
   );
   const argReactNodes = argNodes.map((argNode, index) => {
-    const rendered = /* @__PURE__ */ jsx16(
+    const rendered = /* @__PURE__ */ jsx17(
       ValueTreeNodeMathmlView,
       {
         sheet,
@@ -754,7 +796,7 @@ var ValueTreeFunctionMathmlView = ({
       parentFunctionId: node.functionId,
       argumentIndex: index
     });
-    return grouped ? /* @__PURE__ */ jsx16(SymbolValueGroupMathmlView, { cursor: void 0, children: [rendered] }, argNode.key) : rendered;
+    return grouped ? /* @__PURE__ */ jsx17(SymbolValueGroupMathmlView, { cursor: void 0, children: [rendered] }, argNode.key) : rendered;
   });
   const specialFunction = renderSpecialValueFunction({
     functionId: node.functionId,
@@ -764,15 +806,15 @@ var ValueTreeFunctionMathmlView = ({
     return specialFunction;
   }
   const operator = getFunctionBinaryOperatorById(node.functionId);
-  if (operator && argNodes.length > 2 && (node.functionId === "fg.and" || node.functionId === "fg.or")) {
-    return /* @__PURE__ */ jsx16("mrow", { children: argReactNodes.map((argument, index) => {
+  if (operator && argNodes.length >= 2 && (node.functionId === "fg.and" || node.functionId === "fg.or")) {
+    return /* @__PURE__ */ jsx17("mtable", { columnalign: "left", "data-logical-lines": "true", children: argReactNodes.map((argument, index) => {
       const child = argNodes[index];
       const childOperator = child.kind === "function" ? getFunctionBinaryOperatorById(child.functionId) : void 0;
-      const grouped = childOperator !== void 0 && childOperator.priority < operator.priority;
-      return /* @__PURE__ */ jsxs7("mrow", { children: [
-        index > 0 && /* @__PURE__ */ jsx16("mo", { form: "infix", lspace: "0.3em", rspace: "0.3em", children: operator.glyph }),
-        grouped ? /* @__PURE__ */ jsx16(SymbolValueGroupMathmlView, { cursor: void 0, children: [argument] }) : argument
-      ] }, child.key);
+      const grouped = childOperator !== void 0 && (childOperator.priority < operator.priority || index > 0 && childOperator.priority === operator.priority);
+      return /* @__PURE__ */ jsx17("mtr", { children: /* @__PURE__ */ jsxs8("mtd", { style: { textAlign: "left" }, children: [
+        index > 0 && /* @__PURE__ */ jsx17("mo", { form: "infix", lspace: "0.3em", rspace: "0.3em", children: operator.glyph }),
+        grouped ? /* @__PURE__ */ jsx17(SymbolValueGroupMathmlView, { cursor: void 0, children: [argument] }) : argument
+      ] }) }, child.key);
     }) });
   }
   if (operator && argNodes.length === 2) {
@@ -781,9 +823,9 @@ var ValueTreeFunctionMathmlView = ({
     );
     const implicitParenthesisLeft = argOperatorLeft && argOperatorLeft.priority < operator.priority;
     const implicitParenthesisRight = argOperatorRight && argOperatorRight.priority <= operator.priority;
-    const argLeft = implicitParenthesisLeft ? /* @__PURE__ */ jsx16(SymbolValueGroupMathmlView, { cursor: void 0, children: [argReactNodes[0]] }) : argReactNodes[0];
-    const argRight = implicitParenthesisRight ? /* @__PURE__ */ jsx16(SymbolValueGroupMathmlView, { cursor: void 0, children: [argReactNodes[1]] }) : argReactNodes[1];
-    return /* @__PURE__ */ jsx16(
+    const argLeft = implicitParenthesisLeft ? /* @__PURE__ */ jsx17(SymbolValueGroupMathmlView, { cursor: void 0, children: [argReactNodes[0]] }) : argReactNodes[0];
+    const argRight = implicitParenthesisRight ? /* @__PURE__ */ jsx17(SymbolValueGroupMathmlView, { cursor: void 0, children: [argReactNodes[1]] }) : argReactNodes[1];
+    return /* @__PURE__ */ jsx17(
       SymbolValueBinaryOperatorMathmlView,
       {
         operator,
@@ -794,14 +836,14 @@ var ValueTreeFunctionMathmlView = ({
   }
   const nodeFunction = getFunctionSpec(node.functionId);
   const functionNameGlyph = (nodeFunction == null ? void 0 : nodeFunction.glyph) || "";
-  const groupPrefix = node.functionId === "fg.noop" ? "" : node.functionId === "fg.stub" ? /* @__PURE__ */ jsx16(SymbolValueDraftMathmlView, { draft: "" }) : /* @__PURE__ */ jsx16(SymbolValueGlyphMathmlView, { glyph: functionNameGlyph });
-  return /* @__PURE__ */ jsx16(
+  const groupPrefix = node.functionId === "fg.noop" ? "" : node.functionId === "fg.stub" ? /* @__PURE__ */ jsx17(SymbolValueDraftMathmlView, { draft: "" }) : /* @__PURE__ */ jsx17(SymbolValueGlyphMathmlView, { glyph: functionNameGlyph });
+  return /* @__PURE__ */ jsx17(
     SymbolValueGroupMathmlView,
     {
       prefix: groupPrefix,
       cursor: void 0,
       empty: node.functionId === "fg.pi" || node.functionId === "fg.noop" || node.functionId === "fg.stub" ? "omit" : "fence",
-      children: node.argKeys.map((key) => getValueNodeByKey(valueTree, key)).map((argNode) => /* @__PURE__ */ jsx16(
+      children: node.argKeys.map((key) => getValueNodeByKey(valueTree, key)).map((argNode) => /* @__PURE__ */ jsx17(
         ValueTreeNodeMathmlView,
         {
           sheet,
@@ -816,14 +858,14 @@ var ValueTreeFunctionMathmlView = ({
 };
 
 // src/mathml/symbol-value/SymbolValueMathmlView.tsx
-import { jsx as jsx17 } from "react/jsx-runtime";
+import { jsx as jsx18 } from "react/jsx-runtime";
 var SymbolValueMathmlView = ({
   sheet,
   valueTree,
   viewOptions,
   noRootContainer
 }) => {
-  return /* @__PURE__ */ jsx17(
+  return /* @__PURE__ */ jsx18(
     ValueTreeMathmlRenderer,
     {
       sheet,
@@ -835,7 +877,7 @@ var SymbolValueMathmlView = ({
 };
 
 // src/mathml/SymbolValueMathBlock.tsx
-import { jsx as jsx18, jsxs as jsxs8 } from "react/jsx-runtime";
+import { jsx as jsx19, jsxs as jsxs9 } from "react/jsx-runtime";
 var SymbolValueMathBlock = ({
   sheet,
   symbol,
@@ -863,33 +905,37 @@ var SymbolValueMathBlock = ({
       flexShrink: "0"
     }
   };
-  return /* @__PURE__ */ jsxs8("div", { children: [
-    showGlyph && /* @__PURE__ */ jsx18("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx18("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsx18("mrow", { children: /* @__PURE__ */ jsx18(AsciiMathView, { expression: symbol.glyph }) }) })) })),
-    showSymbolic && showGlyph && /* @__PURE__ */ jsx18("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx18("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsx18("mrow", { children: /* @__PURE__ */ jsx18("mo", { className: "px-1 py-2", children: "=" }) }) })) })),
-    showSymbolic && /* @__PURE__ */ jsx18("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx18("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsx18("mrow", { children: /* @__PURE__ */ jsx18(
-      SymbolValueMathmlView,
-      {
-        sheet,
-        valueTree: symbol.valueTree,
-        noRootContainer: true,
-        viewOptions: { literalsAsDrafts: true }
-      }
-    ) }) })) })),
-    showNumeric && (showGlyph || showSymbolic) && /* @__PURE__ */ jsx18("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx18("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsx18("mrow", { children: /* @__PURE__ */ jsx18("mo", { className: "px-1 py-2", children: "=" }) }) })) })),
-    showNumeric && /* @__PURE__ */ jsx18("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx18("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsx18("mrow", { children: /* @__PURE__ */ jsx18(
-      SymbolValueMathmlView,
-      {
-        sheet,
-        valueTree: symbol.valueTree,
-        noRootContainer: true,
-        viewOptions: { numerical: true, literalsAsDrafts: true }
-      }
-    ) }) })) }))
+  return /* @__PURE__ */ jsxs9("div", { children: [
+    showGlyph && /* @__PURE__ */ jsx19("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx19("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsx19("mrow", { children: /* @__PURE__ */ jsx19(AsciiMathView, { expression: symbol.glyph }) }) })) })),
+    showSymbolic && /* @__PURE__ */ jsx19("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx19("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsxs9("mrow", { children: [
+      showGlyph && /* @__PURE__ */ jsx19("mo", { className: "px-1 py-2", children: "=" }),
+      /* @__PURE__ */ jsx19(
+        SymbolValueMathmlView,
+        {
+          sheet,
+          valueTree: symbol.valueTree,
+          noRootContainer: true,
+          viewOptions: { literalsAsDrafts: true }
+        }
+      )
+    ] }) })) })),
+    showNumeric && /* @__PURE__ */ jsx19("div", __spreadProps(__spreadValues({}, divProps), { children: /* @__PURE__ */ jsx19("math", __spreadProps(__spreadValues({}, baseMathProps), { children: /* @__PURE__ */ jsxs9("mrow", { children: [
+      (showGlyph || showSymbolic) && /* @__PURE__ */ jsx19("mo", { className: "px-1 py-2", children: "=" }),
+      /* @__PURE__ */ jsx19(
+        SymbolValueMathmlView,
+        {
+          sheet,
+          valueTree: symbol.valueTree,
+          noRootContainer: true,
+          viewOptions: { numerical: true, literalsAsDrafts: true }
+        }
+      )
+    ] }) })) }))
   ] });
 };
 
 // src/formula-sheet/FormulaSheetValueTree.tsx
-import { jsx as jsx19, jsxs as jsxs9 } from "react/jsx-runtime";
+import { jsx as jsx20, jsxs as jsxs10 } from "react/jsx-runtime";
 var additionTerms = (tree, key, ancestors = /* @__PURE__ */ new Set()) => {
   if (ancestors.has(key)) {
     throw new Error(`Recursive formula node '${key}'`);
@@ -920,71 +966,111 @@ var hasActiveSymbol = (tree) => {
 };
 var FormulaSheetValueTree = ({
   sheet,
-  symbol
+  symbol,
+  symbolicOnly = false
 }) => {
   const showSymbolic = hasActiveSymbol(symbol.valueTree);
   const terms = additionTerms(symbol.valueTree, symbol.valueTree.rootKey);
   if (terms.length > 4) {
-    return /* @__PURE__ */ jsx19("div", { className: "cso-long-formula", children: (showSymbolic ? [false, true] : [true]).map((numerical) => (
-      // biome-ignore lint/a11y/useSemanticElements: This labels a formula group, not a fieldset of form controls.
-      /* @__PURE__ */ jsx19(
-        "div",
-        {
-          className: "cso-formula-terms",
-          role: "group",
-          "aria-label": numerical ? "Substitution" : "Formula",
-          children: terms.map((rootKey, index) => {
-            const node = symbol.valueTree.nodes.find(
-              (node2) => node2.key === rootKey
-            );
-            const operator = (node == null ? void 0 : node.kind) === "function" ? getFunctionBinaryOperatorById2(node.functionId) : void 0;
-            const grouped = operator !== void 0 && (operator.priority < SheetOperatorPriority.AddSubtract || index > 0 && operator.priority === SheetOperatorPriority.AddSubtract) || node !== void 0 && requiresExplicitOperandGroup({
-              sheet,
-              node,
-              numerical,
-              literalsAsDrafts: true,
-              parentFunctionId: "fg.add",
-              argumentIndex: index === 0 ? 0 : 1
-            });
-            return /* @__PURE__ */ jsx19("span", { className: "cso-formula-term", children: /* @__PURE__ */ jsxs9("math", { display: "inline", children: [
-              index === 0 && /* @__PURE__ */ jsx19(AsciiMathView, { expression: symbol.glyph }),
-              /* @__PURE__ */ jsx19("mo", { children: index === 0 ? "=" : "+" }),
-              grouped && /* @__PURE__ */ jsx19("mo", { children: "(" }),
-              /* @__PURE__ */ jsx19(
-                SymbolValueMathmlView,
+    return /* @__PURE__ */ jsx20("div", { className: "cso-long-formula", children: (symbolicOnly ? [false] : showSymbolic ? [false, true] : [true]).map(
+      (numerical) => (
+        // biome-ignore lint/a11y/useSemanticElements: This labels a formula group, not a fieldset of form controls.
+        /* @__PURE__ */ jsx20(
+          "div",
+          {
+            className: "cso-formula-terms",
+            role: "group",
+            "aria-label": numerical ? "Substitution" : "Formula",
+            children: terms.map((rootKey, index) => {
+              const node = symbol.valueTree.nodes.find(
+                (node2) => node2.key === rootKey
+              );
+              const operator = (node == null ? void 0 : node.kind) === "function" ? getFunctionBinaryOperatorById2(node.functionId) : void 0;
+              const grouped = operator !== void 0 && (operator.priority < SheetOperatorPriority.AddSubtract || index > 0 && operator.priority === SheetOperatorPriority.AddSubtract) || node !== void 0 && requiresExplicitOperandGroup({
+                sheet,
+                node,
+                numerical,
+                literalsAsDrafts: true,
+                parentFunctionId: "fg.add",
+                argumentIndex: index === 0 ? 0 : 1
+              });
+              return /* @__PURE__ */ jsx20(
+                "span",
                 {
-                  sheet,
-                  valueTree: __spreadProps(__spreadValues({}, symbol.valueTree), { rootKey }),
-                  noRootContainer: true,
-                  viewOptions: { numerical, literalsAsDrafts: true }
-                }
-              ),
-              grouped && /* @__PURE__ */ jsx19("mo", { children: ")" })
-            ] }) }, `${index}-${rootKey}`);
-          })
-        },
-        String(numerical)
+                  className: "cso-formula-term",
+                  children: /* @__PURE__ */ jsxs10("math", { display: "inline", children: [
+                    index === 0 && /* @__PURE__ */ jsx20(AsciiMathView, { expression: symbol.glyph }),
+                    /* @__PURE__ */ jsx20("mo", { children: index === 0 ? "=" : "+" }),
+                    grouped && /* @__PURE__ */ jsx20("mo", { children: "(" }),
+                    /* @__PURE__ */ jsx20(
+                      SymbolValueMathmlView,
+                      {
+                        sheet,
+                        valueTree: __spreadProps(__spreadValues({}, symbol.valueTree), { rootKey }),
+                        noRootContainer: true,
+                        viewOptions: { numerical, literalsAsDrafts: true }
+                      }
+                    ),
+                    grouped && /* @__PURE__ */ jsx20("mo", { children: ")" })
+                  ] })
+                },
+                `${index}-${rootKey}`
+              );
+            })
+          },
+          String(numerical)
+        )
       )
-    )) });
+    ) });
   }
-  return /* @__PURE__ */ jsx19(
+  return /* @__PURE__ */ jsx20(
     SymbolValueMathBlock,
     {
       sheet,
       symbol,
       showGlyph: true,
-      showSymbolic,
-      showNumeric: true
+      showSymbolic: symbolicOnly || showSymbolic,
+      showNumeric: !symbolicOnly
     }
   );
 };
 
 // src/formula-sheet/FormulaSheetSymbolRow.tsx
-import { jsx as jsx20, jsxs as jsxs10 } from "react/jsx-runtime";
+import { jsx as jsx21, jsxs as jsxs11 } from "react/jsx-runtime";
+var bindingOrigin = ({
+  sheet,
+  symbol,
+  label,
+  computedReference = false
+}) => {
+  const root = getValueNodeByKey2(symbol.valueTree, symbol.valueTree.rootKey);
+  const source = root.kind === "symbol" ? sheet.symbols.find((item) => item.id === root.symbolId) : computedReference && root.kind === "function" ? symbol : void 0;
+  if (root.kind === "symbol" && !source)
+    throw new Error(`Missing binding origin '${root.symbolId}'`);
+  if (source)
+    return /* @__PURE__ */ jsxs11("span", { "data-binding-origin": source.id, "data-binding-call": label, children: [
+      label ? `${label}: ` : "",
+      "From ",
+      /* @__PURE__ */ jsx21(GlyphMathBlock, { glyph: source.glyph })
+    ] });
+  if (root.kind === "literal" && root.value.kind === "number")
+    return /* @__PURE__ */ jsxs11("span", { "data-binding-origin": "literal", "data-binding-call": label, children: [
+      label ? `${label}: ` : "",
+      "Given",
+      " ",
+      root.draft || (Object.is(root.value.value, -0) ? "-0" : String(root.value.value))
+    ] });
+  return void 0;
+};
 var FormulaSheetSymbolRow = ({
   sheet,
   sheetItemIndex,
-  item: symbol
+  item: symbol,
+  symbolicOnly = false,
+  showFormula = true,
+  numericKind,
+  compactBinding = false,
+  bindingOrigin: suppliedOrigin
 }) => {
   var _a, _b;
   const { glyph: symbolGlyph } = symbol;
@@ -996,41 +1082,66 @@ var FormulaSheetSymbolRow = ({
     symbol.valueTree.rootKey
   );
   const symbolIsSolidLiteral = rootNode.kind === "literal";
-  return /* @__PURE__ */ jsx20("div", { className: "cso-symbol-row flex min-w-0 flex-col", children: /* @__PURE__ */ jsxs10("div", { className: "min-w-0", children: [
-    /* @__PURE__ */ jsxs10("div", { className: "flex min-w-0 border-t border-gray-300", children: [
-      /* @__PURE__ */ jsx20(FormulaSheetSpacerCell, {}),
-      /* @__PURE__ */ jsx20(FormulaSheetDescriptionCell, { children: /* @__PURE__ */ jsxs10("span", { children: [
-        /* @__PURE__ */ jsx20(FormulaSheetItemIndex, { index: sheetItemIndex }),
+  const origin = suppliedOrigin != null ? suppliedOrigin : compactBinding ? bindingOrigin({ sheet, symbol }) : void 0;
+  return /* @__PURE__ */ jsx21("div", { className: "cso-symbol-row flex min-w-0 flex-col", children: /* @__PURE__ */ jsxs11("div", { className: "min-w-0", children: [
+    /* @__PURE__ */ jsxs11("div", { className: "flex min-w-0 border-t border-gray-300", children: [
+      /* @__PURE__ */ jsx21(FormulaSheetSpacerCell, {}),
+      /* @__PURE__ */ jsx21(FormulaSheetDescriptionCell, { children: /* @__PURE__ */ jsxs11("span", { children: [
+        /* @__PURE__ */ jsx21(FormulaSheetItemIndex, { index: sheetItemIndex }),
         " ",
         symbolDescription
       ] }) }),
-      /* @__PURE__ */ jsx20(FormulaSheetSymbolCell, { children: /* @__PURE__ */ jsx20(
+      /* @__PURE__ */ jsx21(FormulaSheetSymbolCell, { children: /* @__PURE__ */ jsx21(
         GlyphMathBlock,
         {
           glyph: symbolGlyph,
           mathProps: { className: "shrink-0" }
         }
       ) }),
-      /* @__PURE__ */ jsx20(FormulaSheetResultCell, { literal: symbol.valueTree.result }),
-      /* @__PURE__ */ jsx20(FormulaSheetUnitCell, { children: /* @__PURE__ */ jsx20(UnitMathBlock, { unit: symbolUnit, optional: true }) }),
-      /* @__PURE__ */ jsx20(FormulaSheetCommentCell, { children: symbolComment || " " })
+      symbolicOnly ? /* @__PURE__ */ jsx21(FormulaSheetValueCell, { children: /* @__PURE__ */ jsx21(
+        "span",
+        {
+          className: "cso-symbolic-value",
+          role: "img",
+          "aria-label": "Value not yet defined",
+          children: "\xD7"
+        }
+      ) }) : /* @__PURE__ */ jsx21(
+        FormulaSheetResultCell,
+        {
+          literal: symbol.valueTree.result,
+          numericKind
+        }
+      ),
+      /* @__PURE__ */ jsx21(FormulaSheetUnitCell, { children: /* @__PURE__ */ jsx21(UnitMathBlock, { unit: symbolUnit, optional: true }) }),
+      /* @__PURE__ */ jsxs11(FormulaSheetCommentCell, { children: [
+        origin ? /* @__PURE__ */ jsx21("div", { children: origin }) : null,
+        symbolComment || " "
+      ] })
     ] }),
-    !symbolIsSolidLiteral && /* @__PURE__ */ jsx20("div", { className: "flex min-w-0", children: /* @__PURE__ */ jsx20("div", { className: "w-full min-w-0 overflow-visible border-t border-gray-300 text-[14px]", children: /* @__PURE__ */ jsxs10("div", { className: "my-2 flex min-w-0", children: [
-      /* @__PURE__ */ jsx20(FormulaSheetSpacerCell, {}),
-      /* @__PURE__ */ jsx20("div", { className: "min-w-0 max-w-full flex-1 overflow-visible", children: /* @__PURE__ */ jsx20(FormulaSheetValueTree, { sheet, symbol }) })
+    showFormula && !origin && (!symbolIsSolidLiteral || symbolicOnly && rootNode.kind === "literal" && rootNode.value.kind !== "empty") && /* @__PURE__ */ jsx21("div", { className: "flex min-w-0", "data-derivation": "true", children: /* @__PURE__ */ jsx21("div", { className: "w-full min-w-0 overflow-visible border-t border-gray-300 text-[14px]", children: /* @__PURE__ */ jsxs11("div", { className: "my-2 flex min-w-0", children: [
+      /* @__PURE__ */ jsx21(FormulaSheetSpacerCell, {}),
+      /* @__PURE__ */ jsx21("div", { className: "min-w-0 max-w-full flex-1 overflow-visible", children: /* @__PURE__ */ jsx21(
+        FormulaSheetValueTree,
+        {
+          sheet,
+          symbol,
+          symbolicOnly
+        }
+      ) })
     ] }) }) })
   ] }) });
 };
 
 // src/formula-sheet/FormulaSheetItem.tsx
-import { jsx as jsx21, jsxs as jsxs11 } from "react/jsx-runtime";
+import { jsx as jsx22, jsxs as jsxs12 } from "react/jsx-runtime";
 var FormulaSheetItem = ({
   sheet,
   item,
   sheetItemIndex
 }) => {
-  return /* @__PURE__ */ jsxs11("div", { className: "relative min-w-0", children: [
-    item.kind === "section" && /* @__PURE__ */ jsx21(
+  return /* @__PURE__ */ jsxs12("div", { className: "relative min-w-0", children: [
+    item.kind === "section" && /* @__PURE__ */ jsx22(
       FormulaSheetSectionRow,
       {
         sheet,
@@ -1038,7 +1149,7 @@ var FormulaSheetItem = ({
         item: item.section
       }
     ),
-    item.kind === "symbol" && /* @__PURE__ */ jsx21(
+    item.kind === "symbol" && /* @__PURE__ */ jsx22(
       FormulaSheetSymbolRow,
       {
         sheet,
@@ -1053,18 +1164,18 @@ var FormulaSheetItem = ({
 import {
   getRootSectionItems
 } from "@cs-object/core";
-import { jsx as jsx22, jsxs as jsxs12 } from "react/jsx-runtime";
+import { jsx as jsx23, jsxs as jsxs13 } from "react/jsx-runtime";
 var getFormulaSheetItemKey = (item, sheetItemIndex) => `${sheetItemIndex}-${item.kind}-${item.kind === "section" ? item.section.id : item.symbol.id}`;
 var FormulaSheet = ({ sheet }) => {
   const sheetItems = getRootSectionItems(sheet);
-  return /* @__PURE__ */ jsxs12(
+  return /* @__PURE__ */ jsxs13(
     "article",
     {
       "data-formula-sheet": "true",
       className: "flex min-h-[297mm] w-[210mm] min-w-[210mm] max-w-none flex-col items-stretch border border-gray-300 bg-white p-[5mm] [&_*:focus-visible]:outline-hidden",
       children: [
-        /* @__PURE__ */ jsx22(FormulaSheetHeader, {}),
-        sheetItems.map((item, sheetItemIndex) => /* @__PURE__ */ jsx22(
+        /* @__PURE__ */ jsx23(FormulaSheetHeader, {}),
+        sheetItems.map((item, sheetItemIndex) => /* @__PURE__ */ jsx23(
           FormulaSheetItem,
           {
             sheet,
@@ -1078,6 +1189,397 @@ var FormulaSheet = ({ sheet }) => {
   );
 };
 
+// src/formula-sheet/partition-comparisons.ts
+var FIT_TOLERANCE_PX = 2;
+function partitionColumnAxis(columnWidths, labelWidth, availableWidth, cap) {
+  var _a;
+  if (columnWidths.length === 0 || availableWidth <= 0) {
+    return {
+      groups: columnWidths.length ? [columnWidths.map((_, index) => index)] : []
+    };
+  }
+  const limit = cap && cap > 0 ? cap : Number.POSITIVE_INFINITY;
+  const groups = [];
+  let current = [];
+  let used = labelWidth;
+  for (let index = 0; index < columnWidths.length; index += 1) {
+    const width = (_a = columnWidths[index]) != null ? _a : 0;
+    const alone = labelWidth + width;
+    if (alone > availableWidth + FIT_TOLERANCE_PX) {
+      return {
+        groups: [],
+        unfit: { column: index, required: alone, available: availableWidth }
+      };
+    }
+    if (current.length > 0 && (current.length >= limit || used + width > availableWidth + FIT_TOLERANCE_PX)) {
+      groups.push(current);
+      current = [];
+      used = labelWidth;
+    }
+    current.push(index);
+    used += width;
+  }
+  if (current.length > 0) groups.push(current);
+  return { groups };
+}
+function partitionRowAxis(rows, chromeHeight, availableHeight, firstAvailable = availableHeight) {
+  var _a, _b, _c, _d;
+  if (rows.length === 0 || availableHeight <= 0) {
+    return { groups: rows.length ? [rows.map((_, index) => index)] : [] };
+  }
+  const groups = [];
+  let current = [];
+  let used = chromeHeight;
+  let limit = firstAvailable > 0 ? firstAvailable : availableHeight;
+  let banner = null;
+  let bannerIncluded = false;
+  for (let index = 0; index < rows.length; index += 1) {
+    const row = rows[index];
+    if (!row) continue;
+    if (row.repeat) {
+      banner = index;
+      bannerIncluded = false;
+      continue;
+    }
+    const bannerHeight = banner !== null && !bannerIncluded ? (_b = (_a = rows[banner]) == null ? void 0 : _a.height) != null ? _b : 0 : 0;
+    const required = chromeHeight + bannerHeight + row.height;
+    if (required > availableHeight + 2) {
+      return {
+        groups: [],
+        unfit: { row: index, required, available: availableHeight }
+      };
+    }
+    if (current.length === 0 && required > limit + 2) {
+      limit = availableHeight;
+    }
+    if (current.length > 0 && used + bannerHeight + row.height > limit + 2) {
+      groups.push(current);
+      current = [];
+      used = chromeHeight;
+      bannerIncluded = false;
+      limit = availableHeight;
+    }
+    if (banner !== null && !bannerIncluded) {
+      current.push(banner);
+      used += (_d = (_c = rows[banner]) == null ? void 0 : _c.height) != null ? _d : 0;
+      bannerIncluded = true;
+    }
+    current.push(index);
+    used += row.height;
+  }
+  if (current.length > 0) groups.push(current);
+  return { groups };
+}
+function planComparisonParts(measurements) {
+  return measurements.map((measurement) => {
+    const partitioned = partitionColumnAxis(
+      measurement.columnWidths,
+      measurement.labelWidth,
+      measurement.availableWidth,
+      measurement.cap
+    );
+    return __spreadValues(__spreadProps(__spreadValues({}, measurement), {
+      groups: partitioned.groups
+    }), partitioned.unfit ? { unfit: partitioned.unfit } : {});
+  });
+}
+function measureComparisons(root) {
+  const scope = root != null ? root : document;
+  const measurements = [];
+  for (const comparison of scope.querySelectorAll(
+    "[data-comparison-id]"
+  )) {
+    const table = comparison.querySelector(
+      'table[data-comparison-table="screen"]'
+    );
+    const scroll = comparison.querySelector(
+      "[data-comparison-scroll]"
+    );
+    if (!table || !scroll || typeof table.getBoundingClientRect !== "function") {
+      continue;
+    }
+    const labelWidth = [
+      ...table.querySelectorAll("[data-comparison-label]")
+    ].reduce(
+      (max, cell) => Math.max(max, cell.getBoundingClientRect().width),
+      0
+    );
+    const columnWidths = [];
+    for (const cell of table.querySelectorAll(
+      "thead [data-comparison-column]"
+    )) {
+      const index = Number(cell.getAttribute("data-comparison-column"));
+      if (!Number.isInteger(index) || columnWidths[index] !== void 0)
+        continue;
+      columnWidths[index] = cell.getBoundingClientRect().width;
+    }
+    const cap = Number(comparison.getAttribute("data-column-cap"));
+    const measurement = {
+      comparisonId: comparison.getAttribute("data-comparison-id") || "",
+      sourcePlacementId: comparison.getAttribute("data-source-placement") || "",
+      labelWidth,
+      columnWidths,
+      availableWidth: scroll.clientWidth
+    };
+    if (Number.isInteger(cap) && cap > 0) measurement.cap = cap;
+    measurements.push(measurement);
+  }
+  return measurements;
+}
+function renderComparisonParts(plans, root, rowPartitioner = partitionRowAxis) {
+  var _a;
+  const noteMatches = (note, comparison, kept) => {
+    if (comparison.getAttribute("data-cases-axis") === "rows") return true;
+    const heading = note.getAttribute("data-case");
+    if (!heading) return true;
+    const header = [
+      ...comparison.querySelectorAll(
+        "thead [data-case-heading][data-comparison-column]"
+      )
+    ].find((cell) => cell.getAttribute("data-case-heading") === heading);
+    if (!header) return true;
+    return kept.has(Number(header.getAttribute("data-comparison-column")));
+  };
+  const keepColumn = (cell, kept) => {
+    if (cell.hasAttribute("data-comparison-label")) return true;
+    if (cell.hasAttribute("data-comparison-banner")) {
+      cell.colSpan = kept.size + 1;
+      return true;
+    }
+    const listed = cell.getAttribute("data-comparison-columns");
+    if (listed !== null) {
+      const next = listed.split(",").filter((value) => kept.has(Number(value)));
+      if (next.length === 0) return false;
+      cell.colSpan = next.length;
+      cell.setAttribute("data-comparison-columns", next.join(","));
+      return true;
+    }
+    const index = cell.getAttribute("data-comparison-column");
+    return index === null || kept.has(Number(index));
+  };
+  const scope = root != null ? root : document;
+  const diagnostics = [];
+  for (const [comparisonIndex, plan] of plans.entries()) {
+    const comparison = [
+      ...scope.querySelectorAll("[data-comparison-id]")
+    ].find(
+      (element) => element.getAttribute("data-comparison-id") === plan.comparisonId
+    );
+    if (!comparison) continue;
+    (_a = comparison.querySelector("[data-comparison-parts]")) == null ? void 0 : _a.remove();
+    const selector = `[data-source-placement=${JSON.stringify(plan.sourcePlacementId)}]`;
+    if (plan.unfit) {
+      const overflowPx = Math.max(
+        0,
+        plan.unfit.required - plan.unfit.available
+      );
+      const layout = {
+        media: "print",
+        selector,
+        left: 0,
+        right: plan.unfit.required,
+        containerLeft: 0,
+        containerRight: plan.unfit.available,
+        overflowPx
+      };
+      if (plan.sourcePlacementId) {
+        layout.sourcePlacementId = plan.sourcePlacementId;
+      }
+      diagnostics.push({
+        code: "DOCUMENT_LAYOUT_OVERFLOW",
+        stage: "rendering",
+        check: "rendering",
+        message: `Comparison column ${plan.unfit.column + 1} cannot fit with its labels in print layout: ${selector}, required ${plan.unfit.required.toFixed(2)}px, available ${plan.unfit.available.toFixed(2)}px.`,
+        layout
+      });
+      continue;
+    }
+    const table = comparison.querySelector(
+      'table[data-comparison-table="screen"]'
+    );
+    if (!table || plan.groups.length === 0) continue;
+    const parts = document.createElement("div");
+    parts.setAttribute("data-comparison-parts", "");
+    parts.className = "cso-comparison-parts";
+    plan.groups.forEach((group, partIndex) => {
+      var _a2, _b, _c, _d, _e, _f;
+      const kept = new Set(group);
+      const part = document.createElement("section");
+      part.className = "cso-comparison-part";
+      part.setAttribute("data-comparison-part", String(partIndex + 1));
+      part.setAttribute("data-part-count", String(plan.groups.length));
+      for (const note of comparison.querySelectorAll(
+        ":scope > p.cso-branch-note"
+      )) {
+        if (noteMatches(note, comparison, kept))
+          part.appendChild(note.cloneNode(true));
+      }
+      const clone = table.cloneNode(true);
+      clone.removeAttribute("data-comparison-table");
+      clone.setAttribute("data-comparison-part-table", String(partIndex + 1));
+      for (const row of clone.querySelectorAll("tr")) {
+        for (const cell of [...row.children]) {
+          if (!keepColumn(cell, kept)) cell.remove();
+        }
+      }
+      const columns = document.createElement("colgroup");
+      const widths = [
+        plan.labelWidth,
+        ...group.map((index) => plan.columnWidths[index] || 0)
+      ];
+      const dataWidth = widths.slice(1).reduce((sum, width) => sum + width, 0);
+      widths.forEach((width, index) => {
+        const column = document.createElement("col");
+        column.style.width = `${index === 0 ? width : dataWidth ? width / dataWidth * (plan.availableWidth - plan.labelWidth) : 0}px`;
+        columns.appendChild(column);
+      });
+      clone.prepend(columns);
+      clone.style.tableLayout = "fixed";
+      const contextRow = document.createElement("tr");
+      const context = document.createElement("th");
+      context.colSpan = group.length + 1;
+      context.setAttribute("data-comparison-context", "");
+      const title = document.createElement("strong");
+      title.textContent = ((_a2 = comparison.querySelector(":scope > h3")) == null ? void 0 : _a2.textContent) || "Comparison";
+      if (plan.groups.length > 1)
+        title.textContent += `. Part ${partIndex + 1} of ${plan.groups.length}`;
+      context.appendChild(title);
+      const methodReference = comparison.querySelector(
+        ":scope > [data-method-reference]"
+      );
+      if (methodReference) context.appendChild(methodReference.cloneNode(true));
+      for (const limit of table.querySelectorAll(
+        'th[data-outcome-kind="applicability"]'
+      )) {
+        const note = document.createElement("div");
+        note.className = "cso-result-status";
+        note.appendChild(document.createTextNode("Applicability limit "));
+        note.appendChild(
+          ((_b = limit.firstElementChild) == null ? void 0 : _b.cloneNode(true)) || document.createTextNode("")
+        );
+        context.appendChild(note);
+      }
+      if (comparison.getAttribute("data-cases-axis") === "columns") {
+        const labels = [];
+        let group2 = "";
+        let indexes = [];
+        const save = () => {
+          if (group2 && indexes.length)
+            labels.push(
+              `${group2} ${indexes[0]}-${indexes[indexes.length - 1]}`
+            );
+        };
+        for (const row of ((_c = clone.tBodies[0]) == null ? void 0 : _c.rows) || []) {
+          const banner = row.querySelector("[data-comparison-banner]");
+          if (banner) {
+            save();
+            group2 = banner.textContent || "";
+            indexes = [];
+          } else {
+            const index = (_e = (_d = row.querySelector("[data-formula-sheet-item-index]")) == null ? void 0 : _d.textContent) == null ? void 0 : _e.replace(".", "");
+            if (index) indexes.push(index);
+          }
+        }
+        save();
+        const key = document.createElement("div");
+        key.className = "cso-result-status";
+        key.textContent = labels.join(" \xB7 ");
+        context.appendChild(key);
+      }
+      contextRow.appendChild(context);
+      (_f = clone.tHead) == null ? void 0 : _f.prepend(contextRow);
+      let rowNumber = 0;
+      for (const row of clone.querySelectorAll("tr")) {
+        const label = row.querySelector("[data-comparison-label]");
+        if (!label) continue;
+        const rowId = `cso-c${comparisonIndex}-p${partIndex}-r${rowNumber}`;
+        rowNumber += 1;
+        label.id = rowId;
+        for (const cell of row.querySelectorAll(
+          "[data-comparison-column]"
+        )) {
+          const column = cell.getAttribute("data-comparison-column");
+          const header = clone.querySelector(
+            `thead [data-comparison-column="${column}"]`
+          );
+          if (header && !header.id) {
+            header.id = `cso-c${comparisonIndex}-p${partIndex}-c${column}`;
+          }
+          if (cell.tagName === "TD" && (header == null ? void 0 : header.id)) {
+            cell.setAttribute("headers", `${rowId} ${header.id}`);
+          }
+        }
+      }
+      part.appendChild(clone);
+      parts.appendChild(part);
+    });
+    const split = splitComparisonParts(parts);
+    if (split) {
+      const overflowPx = Math.max(0, split.required - split.available);
+      const layout = {
+        media: "print",
+        selector,
+        left: 0,
+        right: split.required,
+        containerLeft: 0,
+        containerRight: split.available,
+        overflowPx
+      };
+      if (plan.sourcePlacementId) {
+        layout.sourcePlacementId = plan.sourcePlacementId;
+      }
+      diagnostics.push({
+        code: "DOCUMENT_LAYOUT_OVERFLOW",
+        stage: "rendering",
+        check: "rendering",
+        message: `Comparison row ${split.row + 1} cannot fit with its repeated headings in print layout: ${selector}, required ${split.required.toFixed(2)}px, available ${split.available.toFixed(2)}px.`,
+        layout
+      });
+      continue;
+    }
+    comparison.appendChild(parts);
+  }
+  return diagnostics;
+  function splitComparisonParts(parts) {
+    var _a2;
+    const frame = document.createElement("div");
+    frame.className = "cso-comparison";
+    Object.assign(frame.style, {
+      position: "absolute",
+      left: "0",
+      top: "0",
+      visibility: "hidden"
+    });
+    frame.style.width = getComputedStyle(document.documentElement).getPropertyValue("--cso-print-content-width").trim() || "190mm";
+    const probe = document.createElement("div");
+    probe.style.height = "calc(297mm - 24mm)";
+    frame.appendChild(probe);
+    (document.querySelector("[data-formula-sheet]") || document.body).appendChild(frame);
+    frame.appendChild(parts);
+    const available = probe.getBoundingClientRect().height;
+    probe.remove();
+    let unfit;
+    for (const part of parts.querySelectorAll(
+      ":scope > section"
+    )) {
+      const table = part.querySelector("table");
+      const body = table == null ? void 0 : table.tBodies[0];
+      if (!table || !body) continue;
+      const check = rowPartitioner(
+        [...body.rows].map((row) => ({
+          height: row.getBoundingClientRect().height,
+          repeat: Boolean(row.querySelector("[data-comparison-banner]"))
+        })),
+        ((_a2 = table.tHead) == null ? void 0 : _a2.getBoundingClientRect().height) || 0,
+        available
+      );
+      if (check.unfit) unfit = check.unfit;
+    }
+    frame.remove();
+    return unfit;
+  }
+}
+
 // src/formula-sheet/print.ts
 var DEFAULT_FORMULA_SHEET_SELECTOR = "[data-formula-sheet]";
 var FORMULA_SHEET_PRINT_BODY_CLASS = "formula-sheet-printing";
@@ -1150,6 +1652,10 @@ var printFormulaSheet = (options = {}) => {
     }
     cleanupTimeout = browser.window.setTimeout(cleanup, PRINT_CLEANUP_DELAY_MS);
     try {
+      renderComparisonParts(
+        planComparisonParts(measureComparisons(target)),
+        printClone
+      );
       browser.window.print();
     } catch (error) {
       cleanup();
@@ -1189,37 +1695,39 @@ var printFormulaSheet = (options = {}) => {
 
 // src/PreparedFormulaSheet.tsx
 import {
-  PreparedDocumentSchema,
-  createSheetFromCalculationSourceObject
+  createSheetFromCalculationSourceObject,
+  getValueNodeByKey as getValueNodeByKey3,
+  PreparedDocumentSchema
 } from "@cs-object/core";
+import { Fragment as Fragment5 } from "react";
 
 // src/EngineeringMetadata.tsx
-import { Fragment as Fragment3, jsx as jsx23, jsxs as jsxs13 } from "react/jsx-runtime";
+import { Fragment as Fragment3, jsx as jsx24, jsxs as jsxs14 } from "react/jsx-runtime";
 var ContextValue = ({
   value
 }) => {
   switch (value.kind) {
     case "text":
-      return /* @__PURE__ */ jsx23("span", { "data-engineering-value": value.path, children: String(value.value) });
+      return /* @__PURE__ */ jsx24("span", { "data-engineering-value": value.path, children: String(value.value) });
     case "math":
-      return /* @__PURE__ */ jsx23(
+      return /* @__PURE__ */ jsx24(
         "span",
         {
           "data-engineering-value": value.path,
           "data-engineering-notation": "math",
           "data-engineering-source": value.value,
-          children: /* @__PURE__ */ jsx23(GlyphMathBlock, { glyph: value.value })
+          children: /* @__PURE__ */ jsx24(GlyphMathBlock, { glyph: value.value })
         }
       );
     case "list":
-      return /* @__PURE__ */ jsx23("ul", { children: value.items.map((item, index) => (
+      return /* @__PURE__ */ jsx24("ul", { children: value.items.map((item, index) => (
         // biome-ignore lint/suspicious/noArrayIndexKey: prepared order identifies repeated entries
-        /* @__PURE__ */ jsx23("li", { children: /* @__PURE__ */ jsx23(ContextValue, { value: item }) }, index)
+        /* @__PURE__ */ jsx24("li", { children: /* @__PURE__ */ jsx24(ContextValue, { value: item }) }, index)
       )) });
     case "record":
-      return /* @__PURE__ */ jsx23("dl", { children: value.entries.map((entry) => /* @__PURE__ */ jsxs13("div", { children: [
-        /* @__PURE__ */ jsx23("dt", { children: entry.label }),
-        /* @__PURE__ */ jsx23("dd", { children: /* @__PURE__ */ jsx23(ContextValue, { value: entry.value }) })
+      return /* @__PURE__ */ jsx24("dl", { children: value.entries.map((entry) => /* @__PURE__ */ jsxs14("div", { children: [
+        /* @__PURE__ */ jsx24("dt", { children: entry.label }),
+        /* @__PURE__ */ jsx24("dd", { children: /* @__PURE__ */ jsx24(ContextValue, { value: entry.value }) })
       ] }, entry.label)) });
     default: {
       const exhaustive = value;
@@ -1230,19 +1738,70 @@ var ContextValue = ({
 var EngineeringMetadata = ({
   entries,
   subject
-}) => entries.length > 0 ? /* @__PURE__ */ jsx23("dl", { className: "cso-engineering-context", children: entries.map(({ label, path, value }) => /* @__PURE__ */ jsxs13("div", { "data-engineering-field": path, children: [
-  /* @__PURE__ */ jsxs13("dt", { children: [
-    subject && /* @__PURE__ */ jsxs13(Fragment3, { children: [
+}) => entries.length > 0 ? /* @__PURE__ */ jsx24("dl", { className: "cso-engineering-context", children: entries.map(({ label, path, value }) => /* @__PURE__ */ jsxs14("div", { "data-engineering-field": path, children: [
+  /* @__PURE__ */ jsxs14("dt", { children: [
+    subject && /* @__PURE__ */ jsxs14(Fragment3, { children: [
       subject,
       ": "
     ] }),
     label
   ] }),
-  /* @__PURE__ */ jsx23("dd", { children: /* @__PURE__ */ jsx23(ContextValue, { value }) })
+  /* @__PURE__ */ jsx24("dd", { children: /* @__PURE__ */ jsx24(ContextValue, { value }) })
 ] }, path)) }) : null;
 
+// src/mathml/InlineFormulaMath.tsx
+import { Fragment as Fragment4, jsx as jsx25, jsxs as jsxs15 } from "react/jsx-runtime";
+var InlineFormulaMath = ({
+  sheet,
+  symbol,
+  showGlyph = true
+}) => /* @__PURE__ */ jsx25(
+  "math",
+  __spreadProps(__spreadValues({}, defaultMathBlockProps), {
+    display: "inline",
+    style: __spreadProps(__spreadValues({}, defaultMathBlockProps.style), { display: void 0 }),
+    children: /* @__PURE__ */ jsxs15("mrow", { children: [
+      showGlyph ? /* @__PURE__ */ jsxs15(Fragment4, { children: [
+        /* @__PURE__ */ jsx25(AsciiMathView, { expression: symbol.glyph }),
+        /* @__PURE__ */ jsx25("mo", { children: "=" })
+      ] }) : null,
+      /* @__PURE__ */ jsx25(
+        SymbolValueMathmlView,
+        {
+          sheet,
+          valueTree: symbol.valueTree,
+          noRootContainer: true,
+          viewOptions: { literalsAsDrafts: true }
+        }
+      )
+    ] })
+  })
+);
+
+// src/table-case-notation.ts
+import {
+  compactGlyphScope
+} from "@cs-object/core";
+var tableCaseQualifier = (invocationId, symbols) => {
+  var _a, _b;
+  for (const symbol of symbols) {
+    const owner = (_a = symbol.metadata) == null ? void 0 : _a.invocationId;
+    const scope = (_b = symbol.metadata) == null ? void 0 : _b.glyphScope;
+    if (typeof owner !== "string" || typeof scope !== "string") continue;
+    if (owner !== invocationId && !owner.startsWith(`${invocationId}/`))
+      continue;
+    const nestedDepth = owner === invocationId ? 0 : owner.slice(invocationId.length + 1).split("/").length;
+    const bindings = scope.split(",");
+    if (bindings.length <= nestedDepth) continue;
+    return compactGlyphScope(
+      bindings.slice(0, bindings.length - nestedDepth).join(",")
+    );
+  }
+  return void 0;
+};
+
 // src/PreparedFormulaSheet.tsx
-import { Fragment as Fragment4, jsx as jsx24, jsxs as jsxs14 } from "react/jsx-runtime";
+import { Fragment as Fragment6, jsx as jsx26, jsxs as jsxs16 } from "react/jsx-runtime";
 var mathSheet = (document2) => createSheetFromCalculationSourceObject(
   {
     schemaVersion: "1.0.0",
@@ -1253,6 +1812,11 @@ var mathSheet = (document2) => createSheetFromCalculationSourceObject(
       id: section.id,
       title: section.title,
       items: section.items.flatMap((item) => {
+        if (item.kind === "externalCall") {
+          return [...item.call.inputs, ...item.call.outputs].map(
+            (quantity) => ({ kind: "symbolRef", id: quantity.symbolId })
+          );
+        }
         if (item.kind === "section") {
           return [{ kind: "section", id: item.id }];
         }
@@ -1274,16 +1838,118 @@ var mathSheet = (document2) => createSheetFromCalculationSourceObject(
 ).sheet;
 var requiredItem = (items, id) => {
   const item = items.get(id);
-  if (!item) {
+  if (item === void 0) {
     throw new Error(`Missing prepared item '${id}'`);
   }
   return item;
 };
+var notationSheet = (id, symbols) => {
+  const sheet = createSheetFromCalculationSourceObject(
+    {
+      schemaVersion: "1.0.0",
+      title: id,
+      source: { id, metadata: {} },
+      rootSectionIds: [id],
+      sections: [
+        {
+          id,
+          title: id,
+          items: symbols.map((symbol) => ({ kind: "symbol", symbol }))
+        }
+      ],
+      detachedItems: []
+    },
+    { id, label: id }
+  ).sheet;
+  const byId = new Map(sheet.symbols.map((symbol) => [symbol.id, symbol]));
+  const forwarded = new Set(
+    symbols.filter((symbol) => {
+      var _a;
+      return ((_a = symbol.metadata) == null ? void 0 : _a.csoForwardedReturn) === true;
+    }).map((symbol) => symbol.id)
+  );
+  return {
+    row: (symbolId, index, options = {}) => /* @__PURE__ */ jsx26(
+      FormulaSheetSymbolRow,
+      {
+        sheet,
+        item: requiredItem(byId, symbolId),
+        sheetItemIndex: index,
+        symbolicOnly: true,
+        compactBinding: options.compactBinding || forwarded.has(symbolId),
+        bindingOrigin: options.bindingOrigin
+      }
+    ),
+    origin: (symbolId, label) => bindingOrigin({
+      sheet,
+      symbol: requiredItem(byId, symbolId),
+      label,
+      computedReference: true
+    }),
+    isConnection: (symbolId) => {
+      const symbol = requiredItem(byId, symbolId);
+      const root = getValueNodeByKey3(
+        symbol.valueTree,
+        symbol.valueTree.rootKey
+      );
+      return root.kind === "symbol" || root.kind === "literal";
+    },
+    description: (symbolId) => requiredItem(byId, symbolId).description,
+    formula: (symbolId, showGlyph = true) => /* @__PURE__ */ jsx26(
+      InlineFormulaMath,
+      {
+        sheet,
+        symbol: requiredItem(byId, symbolId),
+        showGlyph
+      }
+    )
+  };
+};
+var readableName = (name) => name.replaceAll("_", " ").replace(/\b\w/u, (letter) => letter.toUpperCase());
+var SymbolicValueNote = () => /* @__PURE__ */ jsx26("p", { className: "cso-symbolic-note", children: "Reusable function for downstream use. Values are not defined yet." });
+var procedureAnchor = (id) => `cso-procedure-${id}`;
+var FunctionIdentity = ({
+  identity
+}) => /* @__PURE__ */ jsxs16(
+  "p",
+  {
+    className: "cso-function-identity",
+    "data-function-identity": `${identity.moduleId}::${identity.function}`,
+    children: [
+      "Function:",
+      " ",
+      /* @__PURE__ */ jsxs16("code", { children: [
+        identity.moduleId,
+        "::",
+        identity.function
+      ] })
+    ]
+  }
+);
+var Procedure = ({
+  title,
+  children,
+  heading: Heading,
+  functionIdentity
+}) => /* @__PURE__ */ jsxs16("table", { className: "cso-procedure-table", children: [
+  /* @__PURE__ */ jsx26("thead", { children: /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsxs16("th", { children: [
+    /* @__PURE__ */ jsx26(Heading, { children: title }),
+    /* @__PURE__ */ jsx26(FunctionIdentity, { identity: functionIdentity }),
+    /* @__PURE__ */ jsx26(SymbolicValueNote, {})
+  ] }) }) }),
+  /* @__PURE__ */ jsx26("tbody", { children: children.map((child, index) => /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("td", { children: child }) }, index)) })
+] });
 var PreparedFormulaSheet = ({
   document: input,
   showSourceDetails = true
 }) => {
+  var _a, _b, _c, _d;
   const document2 = PreparedDocumentSchema.parse(input);
+  const procedures = new Map(
+    document2.sections.flatMap(
+      (section) => section.items.flatMap((item) => item.kind === "method" ? [item] : [])
+    ).map((method, index) => [method.id, `P${index + 1}`])
+  );
   const sheet = mathSheet(document2);
   const sections = new Map(
     document2.sections.map((section) => [section.id, section])
@@ -1292,158 +1958,1067 @@ var PreparedFormulaSheet = ({
     document2.assets.map((asset) => [asset.asset.id, asset])
   );
   const symbols = new Map(sheet.symbols.map((symbol) => [symbol.id, symbol]));
+  const capturedSymbols = [
+    ...document2.detachedSymbols,
+    ...document2.sections.flatMap(
+      (section) => section.items.flatMap(
+        (item) => item.kind === "symbol" ? [item.symbol] : []
+      )
+    )
+  ];
   let symbolIndex = 0;
-  const renderSection = (section) => /* @__PURE__ */ jsxs14(
-    "section",
-    {
-      "data-section-id": section.id,
-      className: "cso-section",
-      children: [
-        /* @__PURE__ */ jsx24(
-          "h2",
+  const renderMethodContent = (content, helpers, notation, shown) => {
+    const helperById = /* @__PURE__ */ new Map();
+    const indexHelpers = (records) => {
+      for (const helper of records) {
+        helperById.set(helper.id, helper);
+        indexHelpers(helper.helpers);
+      }
+    };
+    indexHelpers(helpers);
+    const origins = /* @__PURE__ */ new Map();
+    const inputRows = (items) => items.flatMap(
+      (item) => item.kind === "quantity" && item.role === "input" ? [item] : item.kind === "section" ? inputRows(item.content) : []
+    );
+    const collectOrigins = (items, path = [], active = /* @__PURE__ */ new Set()) => {
+      var _a2;
+      for (const item of items) {
+        if (item.kind === "section") collectOrigins(item.content, path, active);
+        if (item.kind !== "call") continue;
+        const helper = requiredItem(helperById, item.helperId);
+        if (active.has(helper.id))
+          throw new Error(`Cyclic helper '${helper.id}'`);
+        const callPath = [...path, item.binding];
+        for (const input2 of item.inputs) {
+          const quantity = inputRows(helper.content).find(
+            (row) => row.selectionName === input2.name
+          );
+          if (!quantity)
+            throw new Error(`Missing helper input '${input2.name}'`);
+          const bindings = (_a2 = origins.get(quantity.symbolId)) != null ? _a2 : [];
+          bindings.push({
+            path: callPath.join(" / "),
+            symbolId: input2.symbolId
+          });
+          origins.set(quantity.symbolId, bindings);
+        }
+        collectOrigins(
+          helper.content,
+          callPath,
+          /* @__PURE__ */ new Set([...active, helper.id])
+        );
+      }
+    };
+    collectOrigins(content);
+    const renderItems = (items) => items.map((item, index) => {
+      var _a2, _b2, _c2;
+      if (item.kind === "external") {
+        return /* @__PURE__ */ jsx26(
+          "section",
           {
-            "data-source-placement": section.sourcePlacementId,
-            className: "cso-section-heading",
-            children: section.title
-          }
-        ),
-        /* @__PURE__ */ jsx24(EngineeringMetadata, { entries: section.context }),
-        section.items.map((item) => {
-          switch (item.kind) {
-            case "section": {
-              const child = requiredItem(sections, item.id);
-              return /* @__PURE__ */ jsxs14(
-                "div",
-                {
-                  "data-source-placement": item.sourcePlacementId,
-                  children: [
-                    /* @__PURE__ */ jsx24(EngineeringMetadata, { entries: item.context }),
-                    renderSection(child)
-                  ]
-                },
-                item.sourcePlacementId
-              );
-            }
-            case "text": {
-              return /* @__PURE__ */ jsxs14(
-                "div",
+            className: "cso-method-external cso-external-call",
+            "data-method-external": item.binding,
+            children: /* @__PURE__ */ jsxs16("table", { children: [
+              /* @__PURE__ */ jsx26("thead", { children: /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsxs16("th", { colSpan: 2, children: [
+                /* @__PURE__ */ jsx26("h4", { children: readableName(item.binding) }),
+                /* @__PURE__ */ jsx26(SymbolicValueNote, {}),
+                /* @__PURE__ */ jsxs16("p", { children: [
+                  "External source: ",
+                  item.adapter.moduleId,
+                  ",",
+                  " ",
+                  item.adapter.function
+                ] }),
+                /* @__PURE__ */ jsx26("p", { children: "CSO does not check the formulas inside this external calculation." })
+              ] }) }) }),
+              /* @__PURE__ */ jsxs16("tbody", { className: "cso-external-quantities", children: [
+                /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("th", { colSpan: 2, children: "Inputs" }) }),
+                item.inputs.map((input2) => /* @__PURE__ */ jsx26(
+                  "tr",
+                  {
+                    "data-external-method-input": input2.name,
+                    children: /* @__PURE__ */ jsx26("td", { colSpan: 2, className: "cso-external-quantity-cell", children: notation.row(input2.symbolId, symbolIndex++, {
+                      compactBinding: true
+                    }) })
+                  },
+                  input2.name
+                ))
+              ] }),
+              /* @__PURE__ */ jsxs16("tbody", { children: [
+                /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("th", { colSpan: 2, children: "Calculation procedure" }) }),
+                item.declaration.interface.description.split(/\n\s*\n/u).map((paragraph, paragraphIndex) => /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("td", { colSpan: 2, children: paragraph }) }, `paragraph-${paragraphIndex}`))
+              ] }),
+              /* @__PURE__ */ jsxs16("tbody", { className: "cso-external-quantities", children: [
+                /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("th", { colSpan: 2, children: "Outputs" }) }),
+                item.outputs.map((output) => /* @__PURE__ */ jsx26(
+                  "tr",
+                  {
+                    "data-external-method-output": output.name,
+                    children: /* @__PURE__ */ jsx26("td", { colSpan: 2, className: "cso-external-quantity-cell", children: notation.row(output.symbolId, symbolIndex++) })
+                  },
+                  output.name
+                ))
+              ] })
+            ] })
+          },
+          `external-${item.binding}`
+        );
+      }
+      if (item.kind === "boolean") {
+        return /* @__PURE__ */ jsxs16(
+          "p",
+          {
+            className: "cso-branch-note",
+            "data-boolean": item.localId,
+            "data-formula": item.predicateText,
+            children: [
+              item.description.replace(/[.!?:]$/u, ""),
+              ":",
+              " ",
+              item.predicateSymbolId ? notation.formula(item.predicateSymbolId, false) : item.predicateText
+            ]
+          },
+          `boolean-${item.localId}-${index}`
+        );
+      }
+      if (item.kind === "check" || item.kind === "applicability") {
+        return /* @__PURE__ */ jsxs16(
+          "p",
+          {
+            className: "cso-branch-note",
+            "data-check": item.kind === "check" ? item.localId : void 0,
+            "data-applicability": item.kind === "applicability" ? item.localId : void 0,
+            "data-formula": item.predicateText,
+            children: [
+              item.explanation.replace(/[.!?:]$/u, ""),
+              ":",
+              " ",
+              notation.formula(item.predicateSymbolId, false)
+            ]
+          },
+          `${item.kind}-${item.localId}-${index}`
+        );
+      }
+      if (item.kind === "quantity") {
+        return /* @__PURE__ */ jsx26(
+          "div",
+          {
+            className: "cso-method-quantity",
+            "data-quantity": item.selectionName,
+            "data-formula": item.formulaText || void 0,
+            children: notation.row(item.symbolId, symbolIndex++, {
+              bindingOrigin: (_a2 = origins.get(item.symbolId)) == null ? void 0 : _a2.map((origin) => /* @__PURE__ */ jsx26("div", { children: notation.origin(
+                origin.symbolId,
+                readableName(origin.path)
+              ) }, origin.path))
+            })
+          },
+          `quantity-${item.selectionName}-${index}`
+        );
+      }
+      if (item.kind === "text") {
+        return /* @__PURE__ */ jsx26(
+          "p",
+          {
+            className: "cso-method-text",
+            "data-method-text": item.localId,
+            children: item.content
+          },
+          `text-${item.localId}`
+        );
+      }
+      if (item.kind === "figure") {
+        const asset = assets.get(item.assetId);
+        if (!asset) {
+          throw new Error(`Missing method asset '${item.assetId}'`);
+        }
+        return /* @__PURE__ */ jsxs16(
+          "figure",
+          {
+            className: "cso-figure",
+            "data-method-figure": item.localId,
+            children: [
+              /* @__PURE__ */ jsx26("img", { src: asset.dataUrl, alt: item.alt }),
+              item.caption ? /* @__PURE__ */ jsx26("figcaption", { children: item.caption }) : null
+            ]
+          },
+          `figure-${item.localId}`
+        );
+      }
+      if (item.kind === "section") {
+        return /* @__PURE__ */ jsxs16(
+          "section",
+          {
+            className: "cso-method-section",
+            "data-method-section": item.localId,
+            children: [
+              /* @__PURE__ */ jsx26("h4", { children: item.title }),
+              /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: (_b2 = item.context) != null ? _b2 : [] }),
+              renderItems(item.content)
+            ]
+          },
+          `section-${item.localId}`
+        );
+      }
+      const helper = helperById.get(item.helperId);
+      let explanation = null;
+      if (helper && !shown.has(helper.id)) {
+        shown.add(helper.id);
+        explanation = /* @__PURE__ */ jsx26("div", { className: "cso-method-helper", "data-helper": helper.function, children: /* @__PURE__ */ jsx26(
+          Procedure,
+          {
+            title: readableName(helper.function),
+            heading: "h4",
+            functionIdentity: helper.functionIdentity,
+            children: [
+              /* @__PURE__ */ jsx26(
+                EngineeringMetadata,
                 {
-                  "data-source-placement": item.sourcePlacementId,
-                  className: "cso-text",
-                  children: [
-                    item.text.content,
-                    /* @__PURE__ */ jsx24(EngineeringMetadata, { entries: item.context })
-                  ]
+                  entries: (_c2 = helper.context) != null ? _c2 : []
                 },
-                item.sourcePlacementId
-              );
-            }
-            case "figure": {
-              const asset = requiredItem(assets, item.figure.assetId);
-              return /* @__PURE__ */ jsxs14(
-                "figure",
-                {
-                  "data-source-placement": item.sourcePlacementId,
-                  "data-asset-sha256": asset.asset.sha256,
-                  className: "cso-figure",
-                  children: [
-                    /* @__PURE__ */ jsx24(
-                      "img",
-                      {
-                        src: asset.dataUrl,
-                        alt: item.figure.alt,
-                        style: item.figure.width === void 0 ? void 0 : { width: item.figure.width }
-                      }
-                    ),
-                    item.figure.caption && /* @__PURE__ */ jsx24("figcaption", { children: item.figure.caption }),
-                    /* @__PURE__ */ jsx24(EngineeringMetadata, { entries: item.context })
-                  ]
-                },
-                item.sourcePlacementId
-              );
+                "context"
+              ),
+              ...renderItems(helper.content)
+            ]
+          }
+        ) });
+      }
+      const calculations = item.inputs.filter(
+        (input2) => !notation.isConnection(input2.symbolId)
+      );
+      return /* @__PURE__ */ jsxs16(
+        "div",
+        {
+          className: explanation || calculations.length ? "cso-method-call" : void 0,
+          "data-call": item.binding,
+          children: [
+            explanation,
+            calculations.length ? /* @__PURE__ */ jsx26("div", { className: "cso-formula-terms", children: calculations.map((input2) => /* @__PURE__ */ jsx26(
+              "span",
+              {
+                "data-formula": input2.formulaText,
+                className: "cso-formula-term",
+                children: notation.formula(input2.symbolId)
+              },
+              input2.name
+            )) }) : null
+          ]
+        },
+        `call-${item.binding}`
+      );
+    });
+    return renderItems(content);
+  };
+  const renderSection = (section) => {
+    var _a2;
+    return /* @__PURE__ */ jsxs16(
+      "section",
+      {
+        "data-section-id": section.id,
+        className: "cso-section",
+        children: [
+          /* @__PURE__ */ jsx26(
+            "h2",
+            {
+              "data-source-placement": section.sourcePlacementId,
+              className: "cso-section-heading",
+              children: section.title
             }
-            case "symbol":
-            case "symbolRef": {
-              const symbolId = item.kind === "symbol" ? item.symbol.id : item.id;
-              const symbol = requiredItem(symbols, symbolId);
-              const index = symbolIndex++;
-              return /* @__PURE__ */ jsxs14(
-                "div",
-                {
-                  "data-source-placement": item.sourcePlacementId,
-                  "data-symbol-id": symbolId,
-                  className: "cso-symbol-placement",
-                  children: [
-                    /* @__PURE__ */ jsx24(EngineeringMetadata, { entries: item.context }),
-                    item.operands.map(({ symbolId: id, context }) => /* @__PURE__ */ jsx24(
-                      EngineeringMetadata,
-                      {
-                        entries: context,
-                        subject: /* @__PURE__ */ jsxs14(Fragment4, { children: [
-                          "Operand",
-                          " ",
-                          /* @__PURE__ */ jsx24(
-                            GlyphMathBlock,
+          ),
+          /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: section.context }),
+          (_a2 = section.engineeringChecks) == null ? void 0 : _a2.map((check) => /* @__PURE__ */ jsx26(
+            "p",
+            {
+              className: "cso-branch-note",
+              "data-check": check.id,
+              "data-check-result": check.reasons ? "not-applicable" : check.value ? "pass" : "fail",
+              "data-formula": check.predicateText,
+              children: check.reasons ? `Not applicable. ${check.reasons.join(" ")}` : `${check.value ? "Pass" : "Fail"}. ${check.explanation} ${check.predicateText}`
+            },
+            check.id
+          )),
+          section.items.map((item) => {
+            var _a3, _b2, _c2, _d2, _e;
+            switch (item.kind) {
+              case "externalCall": {
+                const outputLabel = (name) => {
+                  const output = item.call.outputs.find(
+                    (quantity) => quantity.name === name
+                  );
+                  return output ? requiredItem(symbols, output.symbolId).description : name;
+                };
+                const quantityRow = (quantity, role, index) => {
+                  var _a4;
+                  const symbol = requiredItem(symbols, quantity.symbolId);
+                  const qualification = (_a4 = item.qualifications) == null ? void 0 : _a4.find(
+                    (note) => note.symbolId === quantity.symbolId
+                  );
+                  return /* @__PURE__ */ jsx26(
+                    "tr",
+                    {
+                      "data-external-quantity": quantity.name,
+                      "data-external-role": role,
+                      "data-external-index": index,
+                      "data-symbol-id": quantity.symbolId,
+                      children: /* @__PURE__ */ jsxs16("td", { colSpan: 2, className: "cso-external-quantity-cell", children: [
+                        qualification ? /* @__PURE__ */ jsxs16(
+                          "p",
+                          {
+                            className: "cso-branch-note",
+                            "data-applicability": "not-applicable",
+                            children: [
+                              "Not applicable. ",
+                              qualification.reasons.join(" ")
+                            ]
+                          }
+                        ) : null,
+                        /* @__PURE__ */ jsx26(
+                          FormulaSheetSymbolRow,
+                          {
+                            sheet,
+                            item: symbol,
+                            sheetItemIndex: symbolIndex++,
+                            showFormula: false,
+                            numericKind: quantity.numericKind
+                          }
+                        )
+                      ] })
+                    },
+                    `${role}-${quantity.name}`
+                  );
+                };
+                return /* @__PURE__ */ jsxs16(
+                  "section",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    "data-external-call": item.call.id,
+                    className: "cso-external-call",
+                    children: [
+                      /* @__PURE__ */ jsxs16("table", { children: [
+                        /* @__PURE__ */ jsx26("thead", { children: /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsxs16("th", { colSpan: 2, children: [
+                          /* @__PURE__ */ jsx26("h3", { children: readableName(item.title) }),
+                          /* @__PURE__ */ jsxs16("p", { children: [
+                            "External source: ",
+                            item.call.adapter.moduleId,
+                            ",",
+                            " ",
+                            item.call.adapter.function
+                          ] }),
+                          /* @__PURE__ */ jsx26("p", { children: "CSO does not check the formulas inside this external calculation." })
+                        ] }) }) }),
+                        /* @__PURE__ */ jsxs16("tbody", { className: "cso-external-quantities", children: [
+                          /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("th", { colSpan: 2, children: "Inputs" }) }),
+                          item.call.inputs.map(
+                            (quantity, index) => quantityRow(quantity, "input", index)
+                          )
+                        ] }),
+                        /* @__PURE__ */ jsxs16("tbody", { children: [
+                          /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("th", { colSpan: 2, children: "Calculation procedure" }) }),
+                          item.call.description.split(/\n\s*\n/u).map((paragraph, index) => /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("td", { colSpan: 2, children: paragraph }) }, `method-${index}`))
+                        ] }),
+                        /* @__PURE__ */ jsxs16("tbody", { className: "cso-external-quantities", children: [
+                          /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("th", { colSpan: 2, children: "Outputs" }) }),
+                          item.call.outputs.map(
+                            (quantity, index) => quantityRow(quantity, "output", index)
+                          ),
+                          item.call.warnings.map((warning, index) => /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26("td", { colSpan: 2, children: warning }) }, `warning-${index}`)),
+                          ((_a3 = document2.verification) == null ? void 0 : _a3.externalReferenceCoverage) ? /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsxs16(
+                            "td",
                             {
-                              glyph: requiredItem(symbols, id).glyph
+                              colSpan: 2,
+                              className: "cso-external-reference-coverage",
+                              children: [
+                                /* @__PURE__ */ jsxs16("p", { children: [
+                                  "Independent check coverage:",
+                                  " ",
+                                  document2.verification.externalReferenceCoverage.status,
+                                  "."
+                                ] }),
+                                /* @__PURE__ */ jsxs16("p", { children: [
+                                  "Independently checked:",
+                                  " ",
+                                  document2.verification.externalReferenceCoverage.checked.filter(
+                                    (slot) => slot.externalCallId === item.call.id
+                                  ).map((slot) => outputLabel(slot.outputName)).join(", ") || "None",
+                                  "."
+                                ] }),
+                                /* @__PURE__ */ jsxs16("p", { children: [
+                                  "Without an independent check:",
+                                  " ",
+                                  document2.verification.externalReferenceCoverage.uncovered.filter(
+                                    (slot) => slot.externalCallId === item.call.id
+                                  ).map((slot) => outputLabel(slot.outputName)).join(", ") || "None",
+                                  "."
+                                ] })
+                              ]
                             }
-                          )
+                          ) }) : null
                         ] })
-                      },
-                      id
-                    )),
-                    /* @__PURE__ */ jsx24(
-                      FormulaSheetSymbolRow,
+                      ] }),
+                      /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: item.context })
+                    ]
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              case "section": {
+                const child = requiredItem(sections, item.id);
+                return /* @__PURE__ */ jsxs16(
+                  "div",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    children: [
+                      /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: item.context }),
+                      renderSection(child)
+                    ]
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              case "text": {
+                return /* @__PURE__ */ jsxs16(
+                  "div",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    className: "cso-text",
+                    children: [
+                      item.text.content,
+                      /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: item.context })
+                    ]
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              case "figure": {
+                const asset = requiredItem(assets, item.figure.assetId);
+                return /* @__PURE__ */ jsxs16(
+                  "figure",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    "data-asset-sha256": asset.asset.sha256,
+                    className: "cso-figure",
+                    children: [
+                      /* @__PURE__ */ jsx26(
+                        "img",
+                        {
+                          src: asset.dataUrl,
+                          alt: item.figure.alt,
+                          style: item.figure.width === void 0 ? void 0 : { width: item.figure.width }
+                        }
+                      ),
+                      item.figure.caption && /* @__PURE__ */ jsx26("figcaption", { children: item.figure.caption }),
+                      /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: item.context })
+                    ]
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              case "method": {
+                return /* @__PURE__ */ jsx26(
+                  "section",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    "data-method-id": item.id,
+                    id: procedureAnchor(requiredItem(procedures, item.id)),
+                    className: "cso-method",
+                    children: /* @__PURE__ */ jsx26(
+                      Procedure,
                       {
-                        sheet,
-                        item: symbol,
-                        sheetItemIndex: index
+                        title: `Procedure ${requiredItem(procedures, item.id)}: ${item.title}`,
+                        heading: "h3",
+                        functionIdentity: item.functionIdentity,
+                        children: [
+                          /* @__PURE__ */ jsx26(
+                            EngineeringMetadata,
+                            {
+                              entries: item.context
+                            },
+                            "context"
+                          ),
+                          ...renderMethodContent(
+                            item.content,
+                            item.helpers,
+                            notationSheet(item.id, item.symbols),
+                            /* @__PURE__ */ new Set()
+                          )
+                        ]
                       }
                     )
-                  ]
-                },
-                item.sourcePlacementId
-              );
-            }
-            default: {
-              const exhaustive = item;
-              return exhaustive;
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              case "table": {
+                const caseHeading = (caseItem) => {
+                  const qualifier = tableCaseQualifier(
+                    caseItem.invocationId,
+                    capturedSymbols
+                  );
+                  return /* @__PURE__ */ jsxs16(Fragment6, { children: [
+                    caseItem.heading,
+                    qualifier ? /* @__PURE__ */ jsxs16(
+                      "span",
+                      {
+                        className: "cso-comparison-case-qualifier",
+                        "data-case-qualifier": qualifier,
+                        children: [
+                          "Subscript: ",
+                          /* @__PURE__ */ jsx26(GlyphMathBlock, { glyph: qualifier })
+                        ]
+                      }
+                    ) : null
+                  ] });
+                };
+                const outcomeRows = (_b2 = item.outcomeRows) != null ? _b2 : [];
+                const rowIndices = /* @__PURE__ */ new Map();
+                for (const group of item.groups)
+                  for (const row of group.rows)
+                    rowIndices.set(`${group.role}:${row.quantity}`, symbolIndex++);
+                for (const row of outcomeRows)
+                  rowIndices.set(row.id, symbolIndex++);
+                const quantityHeading = (quantity) => /* @__PURE__ */ jsxs16("span", { className: "cso-comparison-quantity", children: [
+                  /* @__PURE__ */ jsxs16("span", { className: "cso-comparison-description", children: [
+                    /* @__PURE__ */ jsx26(
+                      FormulaSheetItemIndex,
+                      {
+                        index: requiredItem(
+                          rowIndices,
+                          `${quantity.role}:${quantity.quantity}`
+                        )
+                      }
+                    ),
+                    " ",
+                    quantity.description
+                  ] }),
+                  /* @__PURE__ */ jsxs16("span", { className: "cso-comparison-notation", children: [
+                    /* @__PURE__ */ jsx26(GlyphMathBlock, { glyph: quantity.glyph }),
+                    quantity.unit ? /* @__PURE__ */ jsx26("span", { className: "cso-comparison-unit", children: /* @__PURE__ */ jsx26(UnitMathBlock, { unit: quantity.unit }) }) : null
+                  ] })
+                ] });
+                const shownCell = (cell) => cell.applicability ? /* @__PURE__ */ jsxs16("span", { children: [
+                  /* @__PURE__ */ jsx26(
+                    NumericalValue,
+                    {
+                      value: cell.value,
+                      numericKind: cell.numericKind
+                    }
+                  ),
+                  /* @__PURE__ */ jsx26(
+                    "span",
+                    {
+                      className: "cso-result-status",
+                      title: cell.applicability.reasons.join(" "),
+                      children: "Not applicable"
+                    }
+                  )
+                ] }) : /* @__PURE__ */ jsx26(
+                  NumericalValue,
+                  {
+                    value: cell.value,
+                    numericKind: cell.numericKind
+                  }
+                );
+                const notation = item.symbols ? notationSheet(item.id, item.symbols) : void 0;
+                const outcomeHeading = (row) => {
+                  var _a4, _b3;
+                  const predicate = (_b3 = row.predicateSymbolId) != null ? _b3 : row.kind === "branch" ? (_a4 = row.cells.flatMap((cell) => cell.results)[0]) == null ? void 0 : _a4.conditionSymbolId : void 0;
+                  return /* @__PURE__ */ jsxs16("span", { className: "cso-comparison-description", children: [
+                    /* @__PURE__ */ jsx26(
+                      FormulaSheetItemIndex,
+                      {
+                        index: requiredItem(rowIndices, row.id)
+                      }
+                    ),
+                    " ",
+                    row.kind === "branch" ? `Rule used for ${row.label.toLowerCase()}` : row.label,
+                    predicate ? /* @__PURE__ */ jsx26("span", { className: "cso-result-status", children: notation == null ? void 0 : notation.formula(predicate, false) }) : null
+                  ] });
+                };
+                const outcomeCell = (row, heading) => {
+                  var _a4, _b3, _c3, _d3;
+                  if (row.kind === "branch") {
+                    const results2 = (_b3 = (_a4 = row.cells.find((cell) => cell.heading === heading)) == null ? void 0 : _a4.results) != null ? _b3 : [];
+                    return results2.length ? results2.map((result) => /* @__PURE__ */ jsxs16(
+                      "div",
+                      {
+                        "data-branch-note": heading,
+                        "data-case": heading,
+                        "data-symbol-id": result.symbolId,
+                        "data-node-key": result.nodeKey,
+                        "data-formula": result.value,
+                        children: [
+                          result.callPath ? /* @__PURE__ */ jsx26("span", { className: "cso-result-status", children: readableName(result.callPath) }) : null,
+                          notation == null ? void 0 : notation.formula(result.branchSymbolId, false),
+                          /* @__PURE__ */ jsx26("span", { className: "cso-result-status", children: result.conditionHolds ? "Condition holds" : "Otherwise" })
+                        ]
+                      },
+                      `${result.invocationId}:${result.nodeKey}`
+                    )) : "Not evaluated";
+                  }
+                  const results = (_d3 = (_c3 = row.cells.find((cell) => cell.heading === heading)) == null ? void 0 : _c3.results) != null ? _d3 : [];
+                  return results.length ? results.map((result) => {
+                    var _a5, _b4, _c4, _d4;
+                    const qualified = Boolean((_a5 = result.reasons) == null ? void 0 : _a5.length);
+                    const label = row.kind === "boolean" ? result.value ? "True" : "False" : qualified ? "Not applicable" : row.kind === "check" ? result.value ? "Pass" : "Fail" : result.value ? "Applicable" : "Not applicable";
+                    return /* @__PURE__ */ jsxs16(
+                      "div",
+                      {
+                        "data-case": heading,
+                        "data-invocation-id": result.invocationId,
+                        "data-boolean": row.kind === "boolean" ? row.id : void 0,
+                        "data-value": result.value,
+                        "data-check": row.kind === "check" ? (_b4 = row.localId) != null ? _b4 : row.id : void 0,
+                        "data-check-result": row.kind === "check" ? qualified ? "not-applicable" : result.value ? "pass" : "fail" : void 0,
+                        "data-applicability": row.kind === "applicability" ? (_c4 = row.localId) != null ? _c4 : row.id : void 0,
+                        "data-applicability-result": row.kind === "applicability" ? qualified || !result.value ? "not-applicable" : "applicable" : void 0,
+                        children: [
+                          result.callPath ? /* @__PURE__ */ jsx26("span", { className: "cso-result-status", children: readableName(result.callPath) }) : null,
+                          /* @__PURE__ */ jsx26("strong", { children: label }),
+                          ((_d4 = result.reasons) == null ? void 0 : _d4.length) ? /* @__PURE__ */ jsx26("span", { className: "cso-result-status", children: result.reasons.filter((reason) => reason !== row.label).map((reason) => {
+                            const limit = outcomeRows.find(
+                              (candidate) => candidate.kind === "applicability" && candidate.label === reason
+                            );
+                            return limit ? `See limit ${requiredItem(rowIndices, limit.id)}.` : reason;
+                          }).join(" ") }) : null
+                        ]
+                      },
+                      result.invocationId
+                    );
+                  }) : "Not evaluated";
+                };
+                const quantityColumn = /* @__PURE__ */ new Map();
+                for (const group of item.groups) {
+                  for (const row of group.rows) {
+                    quantityColumn.set(
+                      `${group.role}:${row.quantity}`,
+                      quantityColumn.size
+                    );
+                  }
+                }
+                const groupColumns = (group) => group.rows.map(
+                  (row) => quantityColumn.get(`${group.role}:${row.quantity}`)
+                ).join(",");
+                return /* @__PURE__ */ jsxs16(
+                  "div",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    "data-comparison-id": item.id,
+                    "data-cases-axis": item.casesAxis,
+                    "data-column-cap": item.columnCap,
+                    className: "cso-comparison",
+                    children: [
+                      /* @__PURE__ */ jsx26("h3", { children: item.title }),
+                      /* @__PURE__ */ jsxs16(
+                        "p",
+                        {
+                          className: "cso-function-identity",
+                          "data-method-reference": item.methodId,
+                          "data-function-identity": `${item.functionIdentity.moduleId}::${item.functionIdentity.function}`,
+                          children: [
+                            /* @__PURE__ */ jsxs16(
+                              "a",
+                              {
+                                href: `#${procedureAnchor(requiredItem(procedures, item.methodId))}`,
+                                children: [
+                                  "Uses procedure ",
+                                  requiredItem(procedures, item.methodId)
+                                ]
+                              }
+                            ),
+                            ": ",
+                            /* @__PURE__ */ jsxs16("code", { children: [
+                              item.functionIdentity.moduleId,
+                              "::",
+                              item.functionIdentity.function
+                            ] })
+                          ]
+                        }
+                      ),
+                      !item.outcomeRows && ((_c2 = item.engineeringChecks) == null ? void 0 : _c2.map(
+                        (check) => check.results.map((result) => /* @__PURE__ */ jsxs16(
+                          "p",
+                          {
+                            className: "cso-branch-note",
+                            "data-check": check.id,
+                            "data-check-result": result.reasons ? "not-applicable" : result.value ? "pass" : "fail",
+                            "data-case": result.heading,
+                            "data-formula": check.predicateText,
+                            children: [
+                              result.heading,
+                              result.callPath ? ` / ${result.callPath}` : "",
+                              ":",
+                              " ",
+                              result.reasons ? `Not applicable. ${result.reasons.join(" ")}` : `${result.value ? "Pass" : "Fail"}. ${check.explanation}`
+                            ]
+                          },
+                          `${check.id}-${result.invocationId}`
+                        ))
+                      )),
+                      !item.outcomeRows && ((_d2 = item.applicabilityNotes) == null ? void 0 : _d2.map(
+                        (condition) => condition.results.map((result) => /* @__PURE__ */ jsxs16(
+                          "p",
+                          {
+                            className: "cso-branch-note",
+                            "data-applicability": condition.id,
+                            "data-applicability-result": result.value ? "applicable" : "not-applicable",
+                            "data-case": result.heading,
+                            "data-formula": condition.predicateText,
+                            children: [
+                              result.heading,
+                              result.callPath ? ` / ${result.callPath}` : "",
+                              ":",
+                              " ",
+                              result.reasons ? `Not applicable. ${result.reasons.join(" ")}` : condition.explanation
+                            ]
+                          },
+                          `${condition.id}-${result.invocationId}`
+                        ))
+                      )),
+                      !item.outcomeRows && ((_e = item.branchNotes) == null ? void 0 : _e.map((note) => /* @__PURE__ */ jsxs16(
+                        "p",
+                        {
+                          className: "cso-branch-note",
+                          "data-branch-note": note.heading,
+                          "data-case": note.heading,
+                          "data-symbol-id": note.symbolId,
+                          "data-node-key": note.nodeKey,
+                          "data-formula": note.label,
+                          children: [
+                            note.heading,
+                            note.callPath ? ` / ${note.callPath}` : "",
+                            ":",
+                            " ",
+                            notation == null ? void 0 : notation.description(note.branchSymbolId),
+                            " ",
+                            notation == null ? void 0 : notation.formula(note.branchSymbolId),
+                            ", because",
+                            " ",
+                            notation == null ? void 0 : notation.formula(note.conditionSymbolId, false),
+                            " ",
+                            note.conditionHolds ? "holds" : "does not hold",
+                            "."
+                          ]
+                        },
+                        `${note.invocationId}-${note.symbolId}-${note.nodeKey}`
+                      ))),
+                      item.emptyState ? /* @__PURE__ */ jsx26("p", { className: "cso-comparison-empty", children: item.emptyState }) : null,
+                      item.casesAxis === "rows" ? /* @__PURE__ */ jsx26(
+                        "div",
+                        {
+                          className: "cso-comparison-scroll",
+                          "data-comparison-scroll": "",
+                          children: /* @__PURE__ */ jsxs16("table", { "data-comparison-table": "screen", children: [
+                            /* @__PURE__ */ jsxs16("thead", { children: [
+                              /* @__PURE__ */ jsxs16("tr", { children: [
+                                /* @__PURE__ */ jsx26("th", { scope: "col", "data-comparison-label": "", children: "Case" }),
+                                item.groups.map((group) => /* @__PURE__ */ jsx26(
+                                  "th",
+                                  {
+                                    scope: "colgroup",
+                                    colSpan: group.rows.length,
+                                    "data-comparison-columns": groupColumns(group),
+                                    children: group.label
+                                  },
+                                  group.role
+                                )),
+                                outcomeRows.length ? /* @__PURE__ */ jsx26(
+                                  "th",
+                                  {
+                                    scope: "colgroup",
+                                    colSpan: outcomeRows.length,
+                                    "data-comparison-columns": outcomeRows.map((_, index) => quantityColumn.size + index).join(","),
+                                    children: "Checks and conditions"
+                                  }
+                                ) : null
+                              ] }),
+                              /* @__PURE__ */ jsxs16("tr", { children: [
+                                /* @__PURE__ */ jsx26("th", { scope: "col", "data-comparison-label": "", children: "Quantity" }),
+                                item.groups.flatMap(
+                                  (group) => group.rows.map((row) => /* @__PURE__ */ jsx26(
+                                    "th",
+                                    {
+                                      scope: "col",
+                                      "data-quantity": row.quantity,
+                                      "data-comparison-column": quantityColumn.get(
+                                        `${group.role}:${row.quantity}`
+                                      ),
+                                      children: quantityHeading(row)
+                                    },
+                                    `${group.role}-${row.quantity}`
+                                  ))
+                                ),
+                                outcomeRows.map((row, index) => /* @__PURE__ */ jsx26(
+                                  "th",
+                                  {
+                                    scope: "col",
+                                    "data-outcome-kind": row.kind,
+                                    "data-comparison-column": quantityColumn.size + index,
+                                    children: outcomeHeading(row)
+                                  },
+                                  row.id
+                                ))
+                              ] })
+                            ] }),
+                            /* @__PURE__ */ jsx26("tbody", { children: item.cases.map((caseItem) => /* @__PURE__ */ jsxs16("tr", { children: [
+                              /* @__PURE__ */ jsx26(
+                                "th",
+                                {
+                                  scope: "row",
+                                  "data-comparison-label": "",
+                                  "data-case-heading": caseItem.heading,
+                                  children: caseHeading(caseItem)
+                                }
+                              ),
+                              item.groups.flatMap(
+                                (group) => group.rows.map((row) => {
+                                  const cell = row.cells.find(
+                                    (candidate) => candidate.invocationId === caseItem.invocationId
+                                  );
+                                  if (!cell) {
+                                    throw new Error(
+                                      `Missing ${row.quantity} for ${caseItem.heading}`
+                                    );
+                                  }
+                                  return /* @__PURE__ */ jsx26(
+                                    "td",
+                                    {
+                                      "data-quantity": row.quantity,
+                                      "data-case": caseItem.heading,
+                                      "data-symbol-id": cell.symbolId,
+                                      "data-value": cell.value,
+                                      "data-comparison-column": quantityColumn.get(
+                                        `${group.role}:${row.quantity}`
+                                      ),
+                                      "data-applicability": cell.applicability ? "not-applicable" : void 0,
+                                      children: shownCell(cell)
+                                    },
+                                    `${caseItem.invocationId}-${row.quantity}`
+                                  );
+                                })
+                              ),
+                              outcomeRows.map((row, index) => /* @__PURE__ */ jsx26(
+                                "td",
+                                {
+                                  "data-outcome-kind": row.kind,
+                                  "data-comparison-column": quantityColumn.size + index,
+                                  children: outcomeCell(row, caseItem.heading)
+                                },
+                                row.id
+                              ))
+                            ] }, caseItem.invocationId)) })
+                          ] })
+                        }
+                      ) : /* @__PURE__ */ jsx26(
+                        "div",
+                        {
+                          className: "cso-comparison-scroll",
+                          "data-comparison-scroll": "",
+                          children: /* @__PURE__ */ jsxs16("table", { "data-comparison-table": "screen", children: [
+                            /* @__PURE__ */ jsx26("thead", { children: /* @__PURE__ */ jsxs16("tr", { children: [
+                              /* @__PURE__ */ jsx26("th", { scope: "col", "data-comparison-label": "", children: "Quantity" }),
+                              item.cases.map((caseItem, index) => /* @__PURE__ */ jsx26(
+                                "th",
+                                {
+                                  scope: "col",
+                                  "data-case-heading": caseItem.heading,
+                                  "data-comparison-column": index,
+                                  children: caseHeading(caseItem)
+                                },
+                                caseItem.invocationId
+                              ))
+                            ] }) }),
+                            /* @__PURE__ */ jsxs16("tbody", { children: [
+                              item.groups.map((group) => /* @__PURE__ */ jsxs16(Fragment5, { children: [
+                                /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26(
+                                  "th",
+                                  {
+                                    scope: "colgroup",
+                                    colSpan: item.cases.length + 1,
+                                    "data-comparison-banner": "",
+                                    children: group.label
+                                  }
+                                ) }),
+                                group.rows.map((row) => /* @__PURE__ */ jsxs16("tr", { children: [
+                                  /* @__PURE__ */ jsx26(
+                                    "th",
+                                    {
+                                      scope: "row",
+                                      "data-quantity": row.quantity,
+                                      "data-comparison-label": "",
+                                      children: quantityHeading(row)
+                                    }
+                                  ),
+                                  row.cells.map((cell, index) => /* @__PURE__ */ jsx26(
+                                    "td",
+                                    {
+                                      "data-quantity": row.quantity,
+                                      "data-case": cell.heading,
+                                      "data-symbol-id": cell.symbolId,
+                                      "data-value": cell.value,
+                                      "data-comparison-column": index,
+                                      "data-applicability": cell.applicability ? "not-applicable" : void 0,
+                                      children: shownCell(cell)
+                                    },
+                                    cell.invocationId
+                                  ))
+                                ] }, `${group.role}-${row.quantity}`))
+                              ] }, group.role)),
+                              outcomeRows.length ? /* @__PURE__ */ jsx26("tr", { children: /* @__PURE__ */ jsx26(
+                                "th",
+                                {
+                                  scope: "colgroup",
+                                  colSpan: item.cases.length + 1,
+                                  "data-comparison-banner": "",
+                                  children: "Checks and conditions"
+                                }
+                              ) }) : null,
+                              outcomeRows.map((row) => /* @__PURE__ */ jsxs16("tr", { children: [
+                                /* @__PURE__ */ jsx26(
+                                  "th",
+                                  {
+                                    scope: "row",
+                                    "data-comparison-label": "",
+                                    "data-outcome-kind": row.kind,
+                                    children: outcomeHeading(row)
+                                  }
+                                ),
+                                item.cases.map((caseItem, index) => /* @__PURE__ */ jsx26(
+                                  "td",
+                                  {
+                                    "data-outcome-kind": row.kind,
+                                    "data-comparison-column": index,
+                                    children: outcomeCell(row, caseItem.heading)
+                                  },
+                                  caseItem.invocationId
+                                ))
+                              ] }, row.id))
+                            ] })
+                          ] })
+                        }
+                      ),
+                      /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: item.context })
+                    ]
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              case "symbol":
+              case "symbolRef": {
+                const symbolId = item.kind === "symbol" ? item.symbol.id : item.id;
+                const symbol = requiredItem(symbols, symbolId);
+                const index = symbolIndex++;
+                return /* @__PURE__ */ jsxs16(
+                  "div",
+                  {
+                    "data-source-placement": item.sourcePlacementId,
+                    "data-symbol-id": symbolId,
+                    className: "cso-symbol-placement",
+                    children: [
+                      /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: item.context }),
+                      "applicability" in item && item.applicability ? /* @__PURE__ */ jsxs16(
+                        "p",
+                        {
+                          className: "cso-branch-note",
+                          "data-applicability": "not-applicable",
+                          "data-symbol-id": symbolId,
+                          children: [
+                            "Not applicable. ",
+                            item.applicability.reasons.join(" ")
+                          ]
+                        }
+                      ) : null,
+                      item.operands.map(({ symbolId: id, context }) => /* @__PURE__ */ jsx26(
+                        EngineeringMetadata,
+                        {
+                          entries: context,
+                          subject: /* @__PURE__ */ jsxs16(Fragment6, { children: [
+                            "Operand",
+                            " ",
+                            /* @__PURE__ */ jsx26(
+                              GlyphMathBlock,
+                              {
+                                glyph: requiredItem(symbols, id).glyph
+                              }
+                            )
+                          ] })
+                        },
+                        id
+                      )),
+                      /* @__PURE__ */ jsx26(
+                        FormulaSheetSymbolRow,
+                        {
+                          sheet,
+                          item: symbol,
+                          sheetItemIndex: index
+                        }
+                      )
+                    ]
+                  },
+                  item.sourcePlacementId
+                );
+              }
+              default: {
+                const exhaustive = item;
+                return exhaustive;
+              }
             }
-          }
-        })
-      ]
-    },
-    section.id
-  );
-  return /* @__PURE__ */ jsxs14(
+          })
+        ]
+      },
+      section.id
+    );
+  };
+  return /* @__PURE__ */ jsxs16(
     "article",
     {
       "data-formula-sheet": "true",
       "data-prepared-document": "true",
       className: "cso-document",
       children: [
-        /* @__PURE__ */ jsxs14("header", { className: "cso-document-header", children: [
-          /* @__PURE__ */ jsx24("h1", { children: document2.title }),
-          showSourceDetails && /* @__PURE__ */ jsx24("p", { children: document2.source.kind === "legacy" ? "Development preservation rendering. Numerical agreement has not been verified." : "Execution-bound document. Numerical verification is reported separately." }),
-          showSourceDetails && document2.source.kind === "execution" && /* @__PURE__ */ jsxs14("p", { children: [
-            "Function ",
-            document2.source.function,
-            ". Inputs",
-            " ",
-            Object.entries(document2.source.resolvedInputs).map(
-              ([key, value]) => `${key} = ${Object.is(value, -0) ? "-0" : value}`
-            ).join(", "),
-            "."
-          ] })
+        /* @__PURE__ */ jsxs16("header", { className: "cso-document-header", children: [
+          /* @__PURE__ */ jsx26("h1", { children: document2.title }),
+          showSourceDetails && document2.source.kind === "legacy" ? /* @__PURE__ */ jsx26("p", { children: "Preview only. Numerical agreement has not been verified." }) : null
         ] }),
-        /* @__PURE__ */ jsx24(EngineeringMetadata, { entries: document2.context }),
+        /* @__PURE__ */ jsx26(EngineeringMetadata, { entries: document2.context }),
         document2.rootSectionIds.map((id) => {
           const section = sections.get(id);
           if (!section) {
             throw new Error(`Missing prepared root '${id}'`);
           }
           return renderSection(section);
-        })
+        }),
+        /* @__PURE__ */ jsxs16("footer", { className: "cso-evidence-note", children: [
+          !document2.verification && document2.source.kind === "execution" ? /* @__PURE__ */ jsx26("p", { children: "Numerical verification is reported separately." }) : null,
+          showSourceDetails && document2.source.kind === "execution" ? /* @__PURE__ */ jsxs16("p", { children: [
+            "Source calculation: ",
+            readableName(document2.source.function),
+            ".",
+            Object.keys(document2.source.resolvedInputs).length ? /* @__PURE__ */ jsxs16(Fragment6, { children: [
+              " ",
+              "Supplied values:",
+              " ",
+              Object.entries(document2.source.resolvedInputs).map(
+                ([key, value]) => `${readableName(key)} = ${Object.is(value, -0) ? "-0" : value}`
+              ).join(", "),
+              "."
+            ] }) : null
+          ] }) : null,
+          ((_a = document2.verification) == null ? void 0 : _a.externalCoverage) ? /* @__PURE__ */ jsxs16("p", { children: [
+            "External-result consistency:",
+            " ",
+            (_b = document2.verification.checks.externalResultConsistency) == null ? void 0 : _b.status,
+            ". Formula checks:",
+            " ",
+            (_d = (_c = document2.verification.checks.formulaConsistency.counts) == null ? void 0 : _c.checked) != null ? _d : 0,
+            ". Captured external calls:",
+            " ",
+            document2.verification.externalCoverage.calls,
+            ". External results:",
+            " ",
+            document2.verification.externalCoverage.results,
+            "."
+          ] }) : null
+        ] })
       ]
     }
   );
@@ -1451,18 +3026,24 @@ var PreparedFormulaSheet = ({
 
 // src/prepare-document.ts
 import {
-  executionBindingFrom,
   AssetRecordSchema,
   BoundPreparedDocumentSchema,
   CalculationSourceObjectSchema,
+  contractIssuesToDiagnostics,
+  deriveApplicability,
   ExecutionPayloadSchema,
+  executionBindingFrom,
+  executionBindingKey,
+  VerificationReportSchema,
+  methodInvocationBindings,
+  tableOutcomeRows,
   HistoricalReviewSchema as HistoricalReviewSchema2,
   LegacyAssetManifestSchema,
   PreparedDocumentItemSchema,
   PreparedDocumentSchema as PreparedDocumentSchema2,
+  functionIdentityFrom,
   PreparedDocumentSectionSchema,
-  ResolvedAssetSchema,
-  contractIssuesToDiagnostics
+  ResolvedAssetSchema
 } from "@cs-object/core";
 
 // src/active-symbols.ts
@@ -1492,6 +3073,281 @@ var activeSymbolIds = (initialIds, definitionsById) => {
   return reachableSymbolIds;
 };
 
+// src/method-notation.ts
+import {
+  scopedGlyph
+} from "@cs-object/core";
+var notationId = (...parts) => JSON.stringify(parts);
+var emptyTree = {
+  rootKey: "value",
+  nodes: [{ key: "value", mode: "LITERAL", literal: { kind: "empty" } }]
+};
+var reachableNodes = (nodes, rootKey) => {
+  const byKey = new Map(nodes.map((node) => [node.key, node]));
+  const seen = /* @__PURE__ */ new Set();
+  const visit = (key) => {
+    var _a, _b;
+    if (seen.has(key)) return;
+    seen.add(key);
+    for (const argument of (_b = (_a = byKey.get(key)) == null ? void 0 : _a.funcArgs) != null ? _b : []) visit(argument.key);
+  };
+  visit(rootKey);
+  return nodes.filter((node) => seen.has(node.key));
+};
+var calls = (content) => content.flatMap(
+  (item) => item.kind === "call" || item.kind === "external" ? [item] : item.kind === "section" ? calls(item.content) : []
+);
+var isInput = (quantity) => {
+  var _a;
+  return quantity.nodes.length === 0 || ((_a = quantity.nodes[0]) == null ? void 0 : _a.mode) === "GIVEN_PARAMETER";
+};
+var methodNotation = (method, fail2) => {
+  var _c, _d, _e, _f, _g, _h;
+  const symbols = /* @__PURE__ */ new Map();
+  const helpers = /* @__PURE__ */ new Map();
+  const indexHelpers = (records) => {
+    for (const helper of records) {
+      helpers.set(helper.id, helper);
+      indexHelpers(helper.helpers);
+    }
+  };
+  indexHelpers(method.helpers);
+  const add = (symbol) => {
+    symbols.set(symbol.id, __spreadProps(__spreadValues({}, symbol), { notationScope: symbol.id }));
+    return symbol.id;
+  };
+  const quantitySymbolId = (owner, variableName) => notationId(owner.id, variableName);
+  const callHelper = (owner, binding) => {
+    var _a;
+    const call = calls(owner.content).find((item) => item.binding === binding);
+    return (_a = helpers.get((call == null ? void 0 : call.kind) === "call" ? call.helperId : "")) != null ? _a : fail2(`Call '${binding}' has no helper in '${owner.id}'`);
+  };
+  const outputSymbolId = (owner, binding, output) => {
+    var _a, _b, _c2, _d2;
+    const id = notationId(owner.id, binding, "output", output);
+    if (symbols.has(id)) return id;
+    const external = calls(owner.content).find(
+      (item) => item.kind === "external" && item.binding === binding
+    );
+    if ((external == null ? void 0 : external.kind) === "external") {
+      const declared = (_b = (_a = external.declaration.interface.outputs.find(
+        (item) => item[0] === output
+      )) == null ? void 0 : _a[2]) != null ? _b : fail2(`Call '${binding}' has no external output '${output}'`);
+      return add({
+        id,
+        glyph: scopedGlyph(declared.glyph, binding),
+        description: declared.description,
+        unit: declared.unit,
+        comment: (_c2 = declared.comment) != null ? _c2 : "",
+        valueTree: emptyTree
+      });
+    }
+    const quantity = (_d2 = callHelper(owner, binding).quantities.find(
+      (candidate) => candidate.role === "output" && candidate.selectionName === output
+    )) != null ? _d2 : fail2(`Call '${binding}' has no output '${output}'`);
+    return add(__spreadProps(__spreadValues({
+      id,
+      glyph: scopedGlyph(quantity.glyph, binding),
+      description: quantity.description
+    }, quantity.unit ? { unit: quantity.unit } : {}), {
+      valueTree: emptyTree
+    }));
+  };
+  const referencedId = (owner, node) => {
+    var _a, _b, _c2, _d2, _e2, _f2;
+    if (node.mode === "GIVEN_PARAMETER") {
+      const quantity = (_a = owner.quantities.find(
+        (candidate) => {
+          var _a2;
+          return ((_a2 = candidate.nodes[0]) == null ? void 0 : _a2.mode) === "GIVEN_PARAMETER" && candidate.nodes[0].parameter === node.parameter;
+        }
+      )) != null ? _a : fail2(`Given parameter '${node.parameter}' has no quantity`);
+      return quantitySymbolId(owner, quantity.variableName);
+    }
+    if (((_b = node.ref) == null ? void 0 : _b.kind) === "output") {
+      return outputSymbolId(owner, (_c2 = node.ref.call) != null ? _c2 : "", (_d2 = node.ref.output) != null ? _d2 : "");
+    }
+    const name = (_f2 = (_e2 = node.ref) == null ? void 0 : _e2.name) != null ? _f2 : "";
+    if (!owner.quantities.some((quantity) => quantity.variableName === name)) {
+      fail2(`Formula name '${name}' has no quantity in '${owner.id}'`);
+    }
+    return quantitySymbolId(owner, name);
+  };
+  const tree = (owner, nodes, rootKey = ((_b) => (_b = ((_a) => (_a = nodes[0]) == null ? void 0 : _a.key)()) != null ? _b : fail2("Empty formula"))()) => ({
+    rootKey,
+    nodes: reachableNodes(nodes, rootKey).map(
+      (node) => {
+        var _a2, _b2, _c2;
+        const draft = node.draft === void 0 ? {} : { draft: node.draft };
+        if (node.mode === "LITERAL") {
+          const literal = (_a2 = node.literal) != null ? _a2 : fail2(`Literal '${node.key}' has no value`);
+          return __spreadProps(__spreadValues({
+            key: node.key,
+            mode: "LITERAL"
+          }, draft), {
+            literal: {
+              kind: "number",
+              value: literal.value,
+              numericKind: literal.numericKind
+            }
+          });
+        }
+        if (node.mode === "FUNCTION") {
+          return __spreadProps(__spreadValues({
+            key: node.key,
+            mode: "FUNCTION"
+          }, draft), {
+            funcSpec: (_b2 = node.funcSpec) != null ? _b2 : fail2(`'${node.key}' has no function`),
+            funcArgs: (_c2 = node.funcArgs) != null ? _c2 : []
+          });
+        }
+        return __spreadProps(__spreadValues({
+          key: node.key,
+          mode: "SYMBOL"
+        }, draft), {
+          symbol: { id: referencedId(owner, node) }
+        });
+      }
+    )
+  });
+  const ownerQuantity = (owner, variableName) => {
+    var _a;
+    return (_a = owner.quantities.find(
+      (quantity) => quantity.variableName === variableName
+    )) != null ? _a : fail2(`Quantity '${variableName}' is missing from '${owner.id}'`);
+  };
+  const symbolFor = (id, quantity, valueTree, glyph = quantity.glyph) => __spreadValues(__spreadProps(__spreadValues({
+    id,
+    glyph,
+    description: quantity.description
+  }, quantity.unit ? { unit: quantity.unit } : {}), {
+    valueTree
+  }), quantity.variableName.startsWith("__cso_return_") && quantity.role === "output" ? { metadata: { csoForwardedReturn: true } } : {});
+  const owners = [method, ...helpers.values()];
+  for (const owner of owners) {
+    for (const quantity of owner.quantities) {
+      add(
+        symbolFor(
+          quantitySymbolId(owner, quantity.variableName),
+          quantity,
+          isInput(quantity) ? emptyTree : tree(owner, quantity.nodes)
+        )
+      );
+    }
+  }
+  for (const owner of owners) {
+    for (const call of calls(owner.content)) {
+      if (call.kind === "external") {
+        for (const [name, , declared] of call.declaration.interface.inputs) {
+          const supplied = call.inputs.find((input) => input.name === name);
+          const fallback = call.declaration.interface.defaults.find(
+            (input) => input.name === name
+          );
+          const valueTree = supplied ? tree(owner, supplied.nodes) : fallback ? {
+            rootKey: "value",
+            nodes: [
+              {
+                key: "value",
+                mode: "LITERAL",
+                literal: {
+                  kind: "number",
+                  value: fallback.value,
+                  numericKind: fallback.numericKind
+                }
+              }
+            ]
+          } : emptyTree;
+          add({
+            id: notationId(owner.id, call.binding, "input", name),
+            glyph: scopedGlyph(declared.glyph, call.binding),
+            description: declared.description,
+            unit: declared.unit,
+            comment: (_c = declared.comment) != null ? _c : "",
+            valueTree
+          });
+        }
+        for (const name of call.outputs)
+          outputSymbolId(owner, call.binding, name);
+        continue;
+      }
+      const helper = callHelper(owner, call.binding);
+      for (const input of call.inputs) {
+        const parameter = ownerQuantity(helper, input.name);
+        add(
+          symbolFor(
+            notationId(owner.id, call.binding, "input", input.name),
+            parameter,
+            tree(owner, input.nodes),
+            scopedGlyph(parameter.glyph, call.binding)
+          )
+        );
+      }
+    }
+    for (const declaration of (_d = owner.booleans) != null ? _d : []) {
+      if (declaration.expression.kind !== "predicate") continue;
+      add({
+        id: notationId(owner.id, "boolean", declaration.id),
+        glyph: "b_{condition}",
+        description: declaration.description,
+        valueTree: tree(owner, declaration.expression.nodes)
+      });
+    }
+    for (const condition of [
+      ...((_e = owner.checks) != null ? _e : []).map((condition2) => __spreadProps(__spreadValues({}, condition2), {
+        kind: "check"
+      })),
+      ...((_f = owner.applicability) != null ? _f : []).map((condition2) => __spreadProps(__spreadValues({}, condition2), {
+        kind: "applicability"
+      }))
+    ]) {
+      const targetName = (_g = condition.targets[0]) != null ? _g : "";
+      const target = (_h = owner.quantities.find(
+        (quantity) => quantity.variableName === targetName || quantity.selectionName === targetName
+      )) != null ? _h : fail2(`Condition '${condition.id}' has no target quantity`);
+      add(
+        symbolFor(
+          notationId(owner.id, condition.kind, condition.id),
+          target,
+          tree(owner, condition.nodes)
+        )
+      );
+    }
+  }
+  return {
+    quantityId: (owner, variableName) => quantitySymbolId(owner, variableName),
+    callInputId: (owner, binding, name) => notationId(owner.id, binding, "input", name),
+    callOutputId: (owner, binding, name) => outputSymbolId(owner, binding, name),
+    conditionId: (owner, kind, id) => notationId(owner.id, kind, id),
+    /** The branch a conditional chose and the test that chose it. */
+    branch: (owner, variableName, nodeKey, chosenKey) => {
+      var _a, _b;
+      const quantity = ownerQuantity(owner, variableName);
+      const conditional = (_a = quantity.nodes.find((node) => node.key === nodeKey)) != null ? _a : fail2(`Conditional '${nodeKey}' is missing from '${variableName}'`);
+      const test = (_b = conditional.funcArgs) == null ? void 0 : _b[0];
+      if (!test) fail2(`Conditional '${nodeKey}' is incomplete`);
+      const base = quantitySymbolId(owner, variableName);
+      return {
+        quantitySymbolId: base,
+        branchSymbolId: add(
+          symbolFor(
+            notationId(owner.id, variableName, nodeKey, "branch", chosenKey),
+            quantity,
+            tree(owner, quantity.nodes, chosenKey)
+          )
+        ),
+        conditionSymbolId: add(
+          symbolFor(
+            notationId(owner.id, variableName, nodeKey, "condition"),
+            quantity,
+            tree(owner, quantity.nodes, test.key)
+          )
+        )
+      };
+    },
+    symbols: () => [...symbols.values()]
+  };
+};
+
 // src/prepare-context.ts
 import {
   HistoricalReviewSchema
@@ -1580,7 +3436,30 @@ var engineeringFields = (value, path) => {
     return label && selected ? [{ label, value: selected, path: sourcePath }] : [];
   });
 };
-var prepareDocumentContext = (document2) => {
+var placementContext = (source, path) => ["metadata", "contentMetadata", "additionalFields"].flatMap(
+  (key) => engineeringFields(source == null ? void 0 : source[key], `${path}/${key}`)
+);
+var methodContentContext = (content, path) => content.map(
+  (item, index) => item.kind !== "section" ? item : __spreadProps(__spreadValues({}, item), {
+    context: placementContext(
+      item.contextSource,
+      `${path}/${index}/contextSource`
+    ),
+    content: methodContentContext(
+      item.content,
+      `${path}/${index}/content`
+    )
+  })
+);
+var methodHelperContext = (helpers, path) => helpers.map((helper, index) => __spreadProps(__spreadValues({}, helper), {
+  context: placementContext(
+    helper.contextSource,
+    `${path}/${index}/contextSource`
+  ),
+  content: methodContentContext(helper.content, `${path}/${index}/content`),
+  helpers: methodHelperContext(helper.helpers, `${path}/${index}/helpers`)
+}));
+var prepareDocumentContext = (document2, explained = /* @__PURE__ */ new Set()) => {
   const definitions = new Map([
     ...document2.sections.flatMap(
       (section, sectionIndex) => section.items.flatMap(
@@ -1602,7 +3481,9 @@ var prepareDocumentContext = (document2) => {
   const placed = new Set(
     document2.sections.flatMap(
       (section) => section.items.flatMap(
-        (item) => item.kind === "symbol" ? [item.symbol.id] : item.kind === "symbolRef" ? [item.id] : []
+        (item) => item.kind === "symbol" ? [item.symbol.id] : item.kind === "externalCall" ? [...item.call.inputs, ...item.call.outputs].map(
+          (quantity) => quantity.symbolId
+        ) : item.kind === "symbolRef" ? [item.id] : []
       )
     )
   );
@@ -1645,23 +3526,22 @@ var prepareDocumentContext = (document2) => {
       ),
       items: section.items.map((item, itemIndex) => {
         const path = `/sections/${sectionIndex}/items/${itemIndex}/contextSource`;
-        const context = [
-          "metadata",
-          "contentMetadata",
-          "additionalFields"
-        ].flatMap(
-          (key) => {
-            var _a;
-            return engineeringFields((_a = item.contextSource) == null ? void 0 : _a[key], `${path}/${key}`);
-          }
-        );
+        const context = placementContext(item.contextSource, path);
+        if (item.kind === "method") {
+          const itemPath = `/sections/${sectionIndex}/items/${itemIndex}`;
+          return __spreadProps(__spreadValues({}, item), {
+            context,
+            content: methodContentContext(item.content, `${itemPath}/content`),
+            helpers: methodHelperContext(item.helpers, `${itemPath}/helpers`)
+          });
+        }
         if (item.kind !== "symbol" && item.kind !== "symbolRef") {
           return __spreadProps(__spreadValues({}, item), { context });
         }
         const id = item.kind === "symbol" ? item.symbol.id : item.id;
         return __spreadProps(__spreadValues({}, item), {
           context: [...symbolContext(id), ...context],
-          operands: [...activeSymbolIds([id], symbols)].filter((id2) => !placed.has(id2)).map(operandContext)
+          operands: [...activeSymbolIds([id], symbols)].filter((id2) => !placed.has(id2) && !explained.has(id2)).map(operandContext)
         });
       })
     }))
@@ -1967,9 +3847,481 @@ var resolveExecutionPlacementProvenance = (execution, item) => {
     location: (_i = (_h = metadata == null ? void 0 : metadata.location) != null ? _h : targetCallSite) != null ? _i : definitionLocation
   };
 };
+var applicabilityField = (reasons) => reasons && reasons.length > 0 ? {
+  applicability: {
+    state: "not-applicable",
+    reasons: [...reasons]
+  }
+} : {};
+var sectionChecks = (execution, invocationId, derived) => {
+  var _a;
+  if (typeof invocationId !== "string") return {};
+  const plans = ((_a = execution.methods) != null ? _a : []).flatMap(function walk(plan) {
+    return [plan, ...plan.helpers.flatMap(walk)];
+  });
+  const engineeringChecks = plans.flatMap(
+    (plan) => {
+      var _a2;
+      return ((_a2 = plan.checks) != null ? _a2 : []).flatMap((check) => {
+        var _a3;
+        const outcome = ((_a3 = execution.checkOutcomes) != null ? _a3 : []).find(
+          (item) => item.methodId === plan.id && item.invocationId === invocationId && item.checkId === check.id
+        );
+        return outcome ? [
+          __spreadValues({
+            id: check.id,
+            explanation: check.explanation,
+            predicateText: check.predicateText,
+            value: outcome.value
+          }, (() => {
+            const reasons = derived.reasonsByCheck.get(
+              `${invocationId}|${check.id}`
+            );
+            return reasons ? { reasons: [...reasons] } : {};
+          })())
+        ] : [];
+      });
+    }
+  );
+  return engineeringChecks.length > 0 ? { engineeringChecks } : {};
+};
+var groupedInvocationIds = (execution) => {
+  var _a;
+  return new Set(
+    ((_a = execution.tables) != null ? _a : []).flatMap(
+      (table) => table.cases.map((item) => item.invocationId)
+    )
+  );
+};
+var replacesInvocation = (invocationId, grouped) => invocationId !== void 0 && [...grouped].some(
+  (id) => invocationId === id || invocationId.startsWith(`${id}/`)
+);
+var presentedCell = (execution, cell, applicability) => {
+  var _a, _b;
+  if (cell.role === "input") {
+    const invocation = execution.invocations.find(
+      (item) => item.id === cell.caseInvocationId
+    );
+    const value = invocation == null ? void 0 : invocation.resolvedInputs[cell.quantity];
+    const numericKind = (_a = invocation == null ? void 0 : invocation.resolvedInputKinds) == null ? void 0 : _a[cell.quantity];
+    if (value === void 0 || numericKind !== "int" && numericKind !== "float") {
+      fail("CELL_BINDING_MISMATCH", `Missing input '${cell.quantity}'`);
+    }
+    return __spreadValues({
+      heading: cell.heading,
+      invocationId: cell.caseInvocationId,
+      symbolId: cell.symbolId,
+      value,
+      numericKind
+    }, applicabilityField(applicability.reasonsBySymbolId.get(cell.symbolId)));
+  }
+  const output = (_b = execution.authoring) == null ? void 0 : _b.outputs.find(
+    (item) => item.invocationId === cell.caseInvocationId && item.name === cell.quantity && item.symbolId === cell.symbolId
+  );
+  if (!output || output.numericKind !== "int" && output.numericKind !== "float") {
+    fail("CELL_BINDING_MISMATCH", `Missing output '${cell.quantity}'`);
+  }
+  return __spreadValues({
+    heading: cell.heading,
+    invocationId: cell.caseInvocationId,
+    symbolId: cell.symbolId,
+    value: output.value,
+    numericKind: output.numericKind
+  }, applicabilityField(applicability.reasonsBySymbolId.get(cell.symbolId)));
+};
+var notationFor = (method) => methodNotation(method, (message) => fail("UNKNOWN_QUANTITY", message));
+var presentMethodQuantity = (owner, quantity, notation) => ({
+  selectionName: quantity.selectionName,
+  role: quantity.role,
+  glyph: quantity.glyph,
+  description: quantity.description,
+  unit: quantity.unit,
+  formulaText: quantity.formulaText,
+  symbolId: notation.quantityId(owner, quantity.variableName)
+});
+var presentMethodContent = (owner, content, notation) => content.map((item) => {
+  var _a, _b, _c;
+  if (item.kind === "external") {
+    return {
+      kind: "external",
+      binding: item.binding,
+      declaration: item.declaration,
+      adapter: item.adapter,
+      inputs: item.declaration.interface.inputs.map(([name]) => {
+        var _a2, _b2, _c2, _d;
+        return {
+          name,
+          formulaText: (_d = (_a2 = item.inputs.find((input) => input.name === name)) == null ? void 0 : _a2.formulaText) != null ? _d : String(
+            (_c2 = (_b2 = item.declaration.interface.defaults.find(
+              (input) => input.name === name
+            )) == null ? void 0 : _b2.value) != null ? _c2 : ""
+          ),
+          symbolId: notation.callInputId(owner, item.binding, name)
+        };
+      }),
+      outputs: item.outputs.map((name) => ({
+        name,
+        symbolId: notation.callOutputId(owner, item.binding, name)
+      }))
+    };
+  }
+  if (item.kind === "boolean") {
+    const declared = (_a = owner.booleans) == null ? void 0 : _a.find(
+      (candidate) => candidate.id === item.localId
+    );
+    if (!declared)
+      fail("UNKNOWN_QUANTITY", `Boolean '${item.localId}' is missing`);
+    return __spreadValues({
+      kind: "boolean",
+      localId: item.localId,
+      description: declared.description,
+      predicateText: declared.predicateText
+    }, declared.expression.kind === "predicate" ? {
+      predicateSymbolId: notation.conditionId(
+        owner,
+        "boolean",
+        declared.id
+      )
+    } : {});
+  }
+  if (item.kind === "check" || item.kind === "applicability") {
+    const declared = ((_b = item.kind === "check" ? owner.checks : owner.applicability) != null ? _b : []).find((candidate) => candidate.id === item.localId);
+    if (!declared) {
+      fail("UNKNOWN_QUANTITY", `Condition '${item.localId}' is missing`);
+    }
+    return {
+      kind: item.kind,
+      localId: item.localId,
+      explanation: declared.explanation,
+      predicateText: declared.predicateText,
+      predicateSymbolId: notation.conditionId(owner, item.kind, declared.id)
+    };
+  }
+  if (item.kind === "quantity") {
+    const quantity = owner.quantities.find(
+      (candidate) => candidate.variableName === item.variableName
+    );
+    if (!quantity) {
+      fail("UNKNOWN_QUANTITY", `Quantity '${item.variableName}' is missing`);
+    }
+    return __spreadValues({
+      kind: "quantity"
+    }, presentMethodQuantity(owner, quantity, notation));
+  }
+  if (item.kind === "section") {
+    return {
+      kind: "section",
+      localId: item.localId,
+      title: item.title,
+      contextSource: HistoricalReviewSchema2.shape.originalFields.parse({
+        metadata: (_c = item.metadata) != null ? _c : {}
+      }),
+      content: presentMethodContent(owner, item.content, notation)
+    };
+  }
+  if (item.kind === "call") {
+    return __spreadProps(__spreadValues({}, item), {
+      inputs: item.inputs.map(({ name, formulaText }) => ({
+        name,
+        formulaText,
+        symbolId: notation.callInputId(owner, item.binding, name)
+      }))
+    });
+  }
+  return item;
+});
+var presentMethodHelpers = (helpers, notation) => helpers.map((helper) => {
+  var _a;
+  return {
+    id: helper.id,
+    function: helper.function,
+    functionIdentity: functionIdentityFrom(helper),
+    contextSource: HistoricalReviewSchema2.shape.originalFields.parse({
+      metadata: (_a = helper.metadata) != null ? _a : {}
+    }),
+    content: presentMethodContent(helper, helper.content, notation),
+    helpers: presentMethodHelpers(helper.helpers, notation)
+  };
+});
+var presentedBranchNotes = (execution, table, method, notation, includeUniform = false) => {
+  var _a, _b;
+  const outcomes = (_a = execution.branchOutcomes) != null ? _a : [];
+  const bound = table.cases.flatMap(
+    (caseItem) => methodInvocationBindings(execution, method, caseItem.invocationId).flatMap(
+      ({ plan, invocation, callPath }) => outcomes.filter((outcome) => outcome.invocationId === invocation.id).map((outcome) => {
+        var _a2, _b2;
+        const variable = (_a2 = invocation.symbols.find(
+          (item) => item.symbolId === outcome.symbolId
+        )) == null ? void 0 : _a2.variableName;
+        const quantity = (_b2 = plan.quantities.find((item) => item.variableName === variable)) != null ? _b2 : fail(
+          "UNKNOWN_QUANTITY",
+          `Branch symbol '${outcome.symbolId}' is missing`
+        );
+        return { caseItem, plan, callPath, outcome, quantity };
+      })
+    )
+  );
+  const groupKey = (item) => JSON.stringify([
+    item.plan.id,
+    item.callPath,
+    item.quantity.variableName,
+    item.outcome.nodeKey
+  ]);
+  const labels = /* @__PURE__ */ new Map();
+  for (const item of bound) {
+    const key = groupKey(item);
+    const values = (_b = labels.get(key)) != null ? _b : /* @__PURE__ */ new Set();
+    values.add(item.outcome.label);
+    labels.set(key, values);
+  }
+  return bound.filter(
+    (item) => {
+      var _a2, _b2;
+      return includeUniform || ((_b2 = (_a2 = labels.get(groupKey(item))) == null ? void 0 : _a2.size) != null ? _b2 : 0) > 1;
+    }
+  ).map(({ caseItem, plan, callPath, outcome, quantity }) => {
+    var _a2, _b2, _c, _d, _e, _f;
+    const nodes = new Map(quantity.nodes.map((node) => [node.key, node]));
+    let branch = outcome;
+    let chosen;
+    for (; ; ) {
+      const arm = (_d = (_c = (_b2 = (_a2 = nodes.get(branch.nodeKey)) == null ? void 0 : _a2.funcArgs) == null ? void 0 : _b2[branch.value ? 1 : 2]) == null ? void 0 : _c.key) != null ? _d : fail(
+        "UNKNOWN_QUANTITY",
+        `Conditional '${branch.nodeKey}' is incomplete`
+      );
+      const inner = ((_f = (_e = nodes.get(arm)) == null ? void 0 : _e.funcSpec) == null ? void 0 : _f.id) === "fg.cnd" ? outcomes.find(
+        (item) => item.invocationId === outcome.invocationId && item.symbolId === outcome.symbolId && item.nodeKey === arm
+      ) : void 0;
+      if (!inner) {
+        chosen = arm;
+        break;
+      }
+      branch = inner;
+    }
+    return __spreadValues(__spreadProps(__spreadValues({
+      heading: caseItem.heading
+    }, callPath.length > 0 ? { callPath: callPath.join(" / ") } : {}), {
+      invocationId: outcome.invocationId,
+      symbolId: outcome.symbolId,
+      nodeKey: outcome.nodeKey,
+      label: outcome.label,
+      conditionHolds: outcome.value
+    }), notation.branch(
+      plan,
+      quantity.variableName,
+      outcome.nodeKey,
+      chosen
+    ));
+  });
+};
+var comparisonPlacement = (execution, item, sectionId, index, applicability) => {
+  var _a, _b, _c, _d, _e, _f, _g;
+  if (item.kind !== "method" && item.kind !== "table") {
+    fail("UNKNOWN_METHOD", "Expected a method or table placement");
+  }
+  const provenance = resolveExecutionPlacementProvenance(execution, item);
+  const placement = __spreadValues(__spreadValues(__spreadValues({
+    context: [],
+    sourcePlacementId: placementId(sectionId, index)
+  }, typeof provenance.localId === "string" ? { localId: provenance.localId } : {}), typeof provenance.invocationId === "string" ? { invocationId: provenance.invocationId } : {}), provenance.location ? { location: provenance.location } : {});
+  if (item.kind === "method") {
+    const method2 = (_a = execution.methods) == null ? void 0 : _a.find((record2) => record2.id === item.id);
+    if (!method2) fail("UNKNOWN_METHOD", `Method '${item.id}' is missing`);
+    const notation2 = notationFor(method2);
+    return __spreadValues({
+      kind: "method",
+      id: item.id,
+      title: method2.title,
+      functionIdentity: functionIdentityFrom(method2),
+      contextSource: HistoricalReviewSchema2.shape.originalFields.parse({
+        metadata: (_b = item.metadata) != null ? _b : {},
+        contentMetadata: (_c = method2.metadata) != null ? _c : {}
+      }),
+      quantities: method2.quantities.map(
+        (quantity) => presentMethodQuantity(method2, quantity, notation2)
+      ),
+      content: presentMethodContent(method2, method2.content, notation2),
+      helpers: presentMethodHelpers(method2.helpers, notation2),
+      symbols: notation2.symbols()
+    }, placement);
+  }
+  const table = (_d = execution.tables) == null ? void 0 : _d.find((record2) => record2.id === item.id);
+  if (!table) fail("UNKNOWN_METHOD", `Table '${item.id}' is missing`);
+  const method = (_e = execution.methods) == null ? void 0 : _e.find(
+    (record2) => record2.id === table.methodId
+  );
+  if (!method) fail("UNKNOWN_METHOD", `Method '${table.methodId}' is missing`);
+  const rows = (role, names) => names.map((name) => {
+    const quantity = method.quantities.find(
+      (candidate) => candidate.role === role && candidate.selectionName === name
+    );
+    if (!quantity) {
+      fail(
+        "UNKNOWN_QUANTITY",
+        `Quantity '${name}' is missing from the method`
+      );
+    }
+    return {
+      quantity: name,
+      role,
+      glyph: quantity.glyph,
+      description: quantity.description,
+      unit: quantity.unit,
+      cells: table.cases.map((caseItem) => {
+        const cell = table.cells.find(
+          (candidate) => candidate.caseInvocationId === caseItem.invocationId && candidate.quantity === name && candidate.role === role
+        );
+        if (!cell) {
+          fail("CELL_BINDING_MISMATCH", `Missing cell for '${name}'`);
+        }
+        return presentedCell(execution, cell, applicability);
+      })
+    };
+  });
+  const notation = notationFor(method);
+  const branchNotes = presentedBranchNotes(execution, table, method, notation);
+  const bindings = table.cases.flatMap(
+    (caseItem) => methodInvocationBindings(execution, method, caseItem.invocationId).map(
+      (binding) => __spreadProps(__spreadValues({}, binding), { heading: caseItem.heading })
+    )
+  );
+  const checkPlans = new Map(bindings.map(({ plan }) => [plan.id, plan]));
+  const engineeringChecks = [...checkPlans.values()].flatMap(
+    (plan) => {
+      var _a2;
+      return ((_a2 = plan.checks) != null ? _a2 : []).flatMap((check) => {
+        const results = bindings.filter((binding) => binding.plan.id === plan.id).flatMap(({ invocation, callPath, heading }) => {
+          var _a3;
+          const outcome = ((_a3 = execution.checkOutcomes) != null ? _a3 : []).find(
+            (item2) => item2.methodId === plan.id && item2.invocationId === invocation.id && item2.checkId === check.id
+          );
+          if (!outcome) return [];
+          const reasons = applicability.reasonsByCheck.get(
+            `${invocation.id}|${check.id}`
+          );
+          return [
+            __spreadValues(__spreadValues({
+              heading,
+              invocationId: invocation.id,
+              value: outcome.value
+            }, callPath.length > 0 ? { callPath: callPath.join(" / ") } : {}), reasons ? { reasons: [...reasons] } : {})
+          ];
+        });
+        return results.length > 0 ? [
+          {
+            id: plan.id === method.id ? check.id : JSON.stringify([plan.id, check.id]),
+            explanation: check.explanation,
+            predicateText: check.predicateText,
+            results
+          }
+        ] : [];
+      });
+    }
+  );
+  const applicabilityPlans = [
+    method,
+    ...method.helpers.flatMap(function walk(helper) {
+      return [helper, ...helper.helpers.flatMap(walk)];
+    })
+  ];
+  const applicabilityNotes = applicabilityPlans.flatMap(
+    (plan) => {
+      var _a2;
+      return ((_a2 = plan.applicability) != null ? _a2 : []).flatMap((condition) => {
+        const results = table.cases.flatMap(
+          (caseItem) => {
+            var _a3;
+            return ((_a3 = execution.applicabilityOutcomes) != null ? _a3 : []).filter(
+              (item2) => item2.methodId === plan.id && item2.applicabilityId === condition.id && (item2.invocationId === caseItem.invocationId || item2.invocationId.startsWith(`${caseItem.invocationId}/`))
+            ).map((outcome) => __spreadValues({
+              heading: caseItem.heading,
+              invocationId: outcome.invocationId,
+              value: outcome.value
+            }, outcome.value ? {} : { reasons: [condition.explanation] }));
+          }
+        );
+        return results.length > 0 ? [
+          {
+            id: condition.id,
+            explanation: condition.explanation,
+            predicateText: condition.predicateText,
+            results
+          }
+        ] : [];
+      });
+    }
+  );
+  const outcomeRows = tableOutcomeRows(execution, table);
+  const allBranchNotes = presentedBranchNotes(
+    execution,
+    table,
+    method,
+    notation,
+    true
+  );
+  const branchRows = /* @__PURE__ */ new Map();
+  for (const note of allBranchNotes) {
+    const id = JSON.stringify([note.quantitySymbolId, note.conditionSymbolId]);
+    let row = branchRows.get(id);
+    if (!row) {
+      row = {
+        kind: "branch",
+        id,
+        label: (_g = (_f = notation.symbols().find((symbol) => symbol.id === note.quantitySymbolId)) == null ? void 0 : _f.description) != null ? _g : "Selected rule",
+        predicateText: "",
+        cells: table.cases.map(({ heading }) => ({ heading, results: [] }))
+      };
+      branchRows.set(id, row);
+    }
+    const cell = row.cells.find((cell2) => cell2.heading === note.heading);
+    if (cell) {
+      const _h = note, { heading: _heading, label } = _h, evidence = __objRest(_h, ["heading", "label"]);
+      cell.results.push(__spreadProps(__spreadValues({}, evidence), { value: label }));
+    }
+  }
+  outcomeRows.push(...branchRows.values());
+  return __spreadValues(__spreadProps(__spreadValues(__spreadProps(__spreadValues(__spreadValues(__spreadValues(__spreadValues(__spreadValues(__spreadValues({
+    kind: "table",
+    id: item.id,
+    title: table.title,
+    methodId: method.id,
+    functionIdentity: functionIdentityFrom(method),
+    casesAxis: table.casesAxis
+  }, table.columnCap ? { columnCap: table.columnCap } : {}), branchNotes.length > 0 ? { branchNotes } : {}), outcomeRows.length > 0 ? { symbols: notation.symbols() } : {}), outcomeRows.length > 0 ? { outcomeRows } : {}), engineeringChecks.length > 0 ? { engineeringChecks } : {}), applicabilityNotes.length > 0 ? { applicabilityNotes } : {}), {
+    cases: table.cases.map(({ heading, invocationId }) => ({
+      heading,
+      invocationId
+    })),
+    groups: [
+      ...table.inputs.length > 0 ? [
+        {
+          role: "input",
+          label: "Inputs",
+          rows: rows("input", table.inputs)
+        }
+      ] : [],
+      ...table.outputs.length > 0 ? [
+        {
+          role: "output",
+          label: "Outputs",
+          rows: rows("output", table.outputs)
+        }
+      ] : []
+    ]
+  }), table.cases.length === 0 ? { emptyState: "No cases evaluated" } : {}), {
+    replacedSections: table.cases.map((caseItem) => caseItem.sectionId)
+  }), placement);
+};
 var prepareExecutionDocument = (options) => {
-  var _a, _c;
+  var _a, _b, _d;
   const execution = parseContent(ExecutionPayloadSchema, options.execution);
+  const verification = options.verificationReport === void 0 ? void 0 : parseContent(VerificationReportSchema, options.verificationReport);
+  if (verification && execution.externalCalls && (!verification.executionBinding || executionBindingKey(verification.executionBinding) !== executionBindingKey(executionBindingFrom(execution)))) {
+    fail(
+      "DOCUMENT_VERIFICATION_BINDING_MISMATCH",
+      "Verification must belong to the exact captured execution"
+    );
+  }
   assertExtensionFields(options.execution.cso);
   for (const review of (_a = options.historicalReviews) != null ? _a : [])
     assertDocumentJson(review, "/historicalReview");
@@ -1990,9 +4342,58 @@ var prepareExecutionDocument = (options) => {
       );
     }
   }
-  const sections = reachableSections(cso).map((section) => {
-    var _a2, _b2, _c2;
-    return {
+  const applicability = deriveApplicability(execution);
+  const grouped = groupedInvocationIds(execution);
+  const sectionsById = new Map(
+    cso.sections.map((section) => [section.id, section])
+  );
+  const externalByInvocation = new Map(
+    ((_b = execution.externalCalls) != null ? _b : []).map((call) => [call.id, call])
+  );
+  const externalPlacement = (call, sectionId, index, title = call.callBindingName, suffix = "") => ({
+    kind: "externalCall",
+    id: JSON.stringify([
+      "externalCall",
+      call.parentInvocationId,
+      call.callBindingName
+    ]),
+    title,
+    call,
+    qualifications: [
+      ...new Set(
+        [...call.inputs, ...call.outputs].map((quantity) => quantity.symbolId)
+      )
+    ].flatMap((symbolId) => {
+      const reasons = applicability.reasonsBySymbolId.get(symbolId);
+      return (reasons == null ? void 0 : reasons.length) ? [
+        {
+          symbolId,
+          state: "not-applicable",
+          reasons: [...reasons]
+        }
+      ] : [];
+    }),
+    context: [],
+    sourcePlacementId: placementId(sectionId, index) + suffix,
+    localId: call.callBindingName,
+    invocationId: call.parentInvocationId,
+    location: call.callSite
+  });
+  const replaced = (section) => {
+    var _a2;
+    return replacesInvocation(
+      typeof ((_a2 = section.metadata) == null ? void 0 : _a2.invocationId) === "string" ? section.metadata.invocationId : void 0,
+      grouped
+    );
+  };
+  const sections = reachableSections(cso).filter(
+    (section) => {
+      var _a2;
+      return !replaced(section) && !externalByInvocation.has(String((_a2 = section.metadata) == null ? void 0 : _a2.invocationId));
+    }
+  ).map((section) => {
+    var _a2, _b2, _c2, _d2;
+    return __spreadProps(__spreadValues({
       id: section.id,
       title: section.title,
       sourcePlacementId: placementId(section.id, "heading"),
@@ -2000,15 +4401,64 @@ var prepareExecutionDocument = (options) => {
       localId: (_a2 = section.metadata) == null ? void 0 : _a2.localId,
       invocationId: (_b2 = section.metadata) == null ? void 0 : _b2.invocationId,
       location: (_c2 = section.metadata) == null ? void 0 : _c2.location,
-      metadata: retainedMetadata(section.metadata, true),
-      items: section.items.map((item, index) => {
-        return __spreadValues(__spreadProps(__spreadValues({}, itemFields(item)), {
-          context: [],
-          contextSource: retainItemContextSource(item, true),
-          sourcePlacementId: placementId(section.id, index)
-        }), resolveExecutionPlacementProvenance(execution, item));
+      metadata: retainedMetadata(section.metadata, true)
+    }, sectionChecks(
+      execution,
+      (_d2 = section.metadata) == null ? void 0 : _d2.invocationId,
+      applicability
+    )), {
+      items: section.items.flatMap((item, index) => {
+        var _a3, _b3, _c3;
+        if (item.kind === "section") {
+          const target = sectionsById.get(item.id);
+          const call = externalByInvocation.get(
+            String((_a3 = target == null ? void 0 : target.metadata) == null ? void 0 : _a3.invocationId)
+          );
+          if (call) return [externalPlacement(call, section.id, index)];
+          if (target && replaced(target)) return [];
+        }
+        if (item.kind === "method" || item.kind === "table") {
+          const table = item.kind === "table" ? (_b3 = execution.tables) == null ? void 0 : _b3.find((table2) => table2.id === item.id) : void 0;
+          const retained = (_c3 = table == null ? void 0 : table.cases.flatMap(
+            (caseItem) => {
+              var _a4;
+              return ((_a4 = execution.externalCalls) != null ? _a4 : []).filter(
+                (call) => call.id.startsWith(`${caseItem.invocationId}/`)
+              ).map(
+                (call) => externalPlacement(
+                  call,
+                  section.id,
+                  index,
+                  `${caseItem.heading} / ${call.id.slice(caseItem.invocationId.length + 1).split("/").join(" / ")}`,
+                  `:external:${encodeURIComponent(call.id)}`
+                )
+              );
+            }
+          )) != null ? _c3 : [];
+          return [
+            comparisonPlacement(
+              execution,
+              item,
+              section.id,
+              index,
+              applicability
+            ),
+            ...retained
+          ];
+        }
+        return [
+          __spreadValues(__spreadProps(__spreadValues(__spreadValues({}, itemFields(item)), applicabilityField(
+            item.kind === "symbol" || item.kind === "symbolRef" ? applicability.reasonsBySymbolId.get(
+              item.kind === "symbol" ? item.symbol.id : item.id
+            ) : void 0
+          )), {
+            context: [],
+            contextSource: retainItemContextSource(item, true),
+            sourcePlacementId: placementId(section.id, index)
+          }), resolveExecutionPlacementProvenance(execution, item))
+        ];
       })
-    };
+    });
   });
   const displayed = new Set(
     sections.flatMap(
@@ -2025,10 +4475,15 @@ var prepareExecutionDocument = (options) => {
   const placementHistory = itemHistory.filter(
     (item) => item.kind !== "text" && item.kind !== "figure"
   );
-  const _b = cso.source, { metadata: _sourceMetadata } = _b, sourceProvenance = __objRest(_b, ["metadata"]);
-  const document2 = parseDocument({
-    documentVersion: "2",
-    context: [],
+  const _c = cso.source, { metadata: _sourceMetadata } = _c, sourceProvenance = __objRest(_c, ["metadata"]);
+  const document2 = parseDocument(__spreadProps(__spreadValues({
+    documentVersion: sections.some(
+      (section) => section.items.some(
+        (item) => item.kind === "method" || item.kind === "table"
+      )
+    ) ? "6" : execution.externalCalls ? "4" : "2",
+    context: []
+  }, verification ? { verification } : {}), {
     source: __spreadValues({
       kind: "execution"
     }, executionBindingFrom(execution)),
@@ -2057,12 +4512,19 @@ var prepareExecutionDocument = (options) => {
           return sections2.length > 0 ? { sections: sections2 } : {};
         })()), symbolHistory.length > 0 ? { symbols: symbolHistory } : {}), referencedSymbolHistory.length > 0 ? { referencedSymbols: referencedSymbolHistory } : {}), contentHistory.length > 0 ? { content: contentHistory } : {}), placementHistory.length > 0 ? { placements: placementHistory } : {})
       }),
-      ...(_c = options.historicalReviews) != null ? _c : []
+      ...(_d = options.historicalReviews) != null ? _d : []
     ]
-  });
+  }));
   return parseContent(BoundPreparedDocumentSchema, {
     execution,
-    document: prepareDocumentContext(document2)
+    document: prepareDocumentContext(
+      document2,
+      new Set(
+        execution.invocations.filter((invocation) => replacesInvocation(invocation.id, grouped)).flatMap(
+          (invocation) => invocation.symbols.map((symbol) => symbol.symbolId)
+        )
+      )
+    )
   }).document;
 };
 var legacyFigure = (options, manifest, item, sourcePlacementId) => {
@@ -2188,7 +4650,11 @@ export {
   DocumentPreparationError,
   FormulaSheet,
   PreparedFormulaSheet,
+  measureComparisons,
+  partitionRowAxis,
+  planComparisonParts,
   prepareExecutionDocument,
   prepareLegacyDocument,
-  printFormulaSheet
+  printFormulaSheet,
+  renderComparisonParts
 };