@cyanheads/calculator-mcp-server 0.4.2 → 0.5.0

package/dist/mcp-server/tools/definitions/calculate.tool.js

@@ -6,6 +6,7 @@
 import { tool, z } from '@cyanheads/mcp-ts-core';
 import { JsonRpcErrorCode } from '@cyanheads/mcp-ts-core/errors';
 import { getMathService } from '../../../services/math/math-service.js';
+import { MAX_EVALUATION_ELEMENTS, MAX_MATRIX_ELEMENTS } from '../../../services/math/size-guard.js';
 export const calculateTool = tool('calculate', {
     description: 'Evaluate math expressions, simplify algebraic expressions, or compute symbolic derivatives. One expression per call. Supports arithmetic, trigonometry, statistics, matrices, complex numbers, units, and combinatorics.',
     annotations: {
@@ -17,7 +18,7 @@ export const calculateTool = tool('calculate', {
         expression: z
             .string()
             .min(1)
-            .describe(`One mathematical expression per call — neither \`;\` nor newlines separate statements. Inside matrices, \`;\` separates rows (e.g. \`[1, 2; 3, 4]\`). Supports arithmetic (+, -, *, /, ^, %), functions across arithmetic/trig (sin, cos, sqrt, log, abs, round), statistics (mean, median, std, variance), combinatorics (factorial, permutations, combinations), and matrix (det, inv, transpose), plus constants (pi, e, phi, i), units (5 kg to lbs), and variables (when scope is provided). Standard notation \`ln\` and \`arc*\` (e.g. \`arcsin\`, \`arctan\`) is accepted alongside the math.js names \`log\` and \`asin\`/\`atan\`; common synonyms such as \`stdev\`, \`permute\`, \`nCr\`, and \`length\`/\`len\` resolve to their math.js names (\`std\`, \`permutations\`, \`combinations\`, \`count\`).`),
+            .describe(`One mathematical expression per call — neither \`;\` nor newlines separate statements. Inside matrices, \`;\` separates rows (e.g. \`[1, 2; 3, 4]\`). Supports arithmetic (+, -, *, /, ^, %), functions across arithmetic/trig (sin, cos, sqrt, log, abs, round), statistics (mean, median, std, variance — std and variance return the sample (n − 1) form by default; pass "uncorrected" for the population form, e.g. \`std([2, 4, 6], "uncorrected")\`), combinatorics (factorial, permutations, combinations), and matrix (det, inv, transpose), plus constants (pi, e, phi, i), units (5 kg to lbs), and variables (when scope is provided). Standard notation \`ln\` and \`arc*\` (e.g. \`arcsin\`, \`arctan\`) is accepted alongside the math.js names \`log\` and \`asin\`/\`atan\`; common synonyms such as \`stdev\`, \`permute\`, \`nCr\`, and \`length\`/\`len\` resolve to their math.js names (\`std\`, \`permutations\`, \`combinations\`, \`count\`).`),
         operation: z
             .enum(['evaluate', 'simplify', 'derivative'])
             .default('evaluate')
@@ -36,24 +37,24 @@ export const calculateTool = tool('calculate', {
         scope: z
             .record(z.string(), z.number())
             .optional()
-            .describe('Variable assignments for the expression. Example: { "x": 5, "y": 3 } makes "x + y" evaluate to 8.'),
+            .describe('Variable assignments for evaluate; simplify and derivative ignore them. Example: { "x": 5, "y": 3 } makes "x + y" evaluate to 8.'),
         precision: z
             .union([
             z.literal('').describe('Empty string — treated as omitted.'),
             z.number().int().min(1).max(16).describe('Significant digits (integer, 1–16).'),
         ])
             .optional()
-            .describe('Significant digits (1–16) for numeric results. Omit for full precision. Empty string is treated as omitted. Ignored for symbolic operations (simplify, derivative).'),
+            .describe('Significant digits (1–16) for numeric results. Omit for full precision. Empty string is treated as omitted. Fraction results always print exactly, and symbolic operations (simplify, derivative) ignore it.'),
         numericType: z
             .enum(['number', 'BigNumber', 'Fraction'])
             .default('number')
-            .describe('Numeric type for evaluate. "number" (default): 64-bit IEEE 754 float — fastest, standard precision. "BigNumber": arbitrary-precision decimal — use when intermediate values overflow 64-bit float (e.g. large factorial ratios like 10000!/9999!); slower than "number". "Fraction": exact rational arithmetic — eliminates floating-point rounding (e.g. 0.1 + 0.2 = 0.3 exactly); limited to expressions with exactly-rational results — an irrational or transcendental result (sqrt, sin, log, …) fails with fraction_unsupported, so use "number" or "BigNumber" for those. Ignored for symbolic operations (simplify, derivative). When "number" evaluation produces a non-finite result (undefined_result error), retry with "BigNumber".'),
+            .describe('Numeric type for evaluate. "number" (default): 64-bit IEEE 754 float — fastest, about 16 significant digits; a value past about 1.8e308 (171!, 2^1024, exp(1000)) overflows and fails with undefined_result. "BigNumber": decimal with 64 significant digits and a much wider exponent range, slower than "number" — retry an overflow with it; results are 64-digit approximations (10000!/9999! returns 9999.99…96, which precision: 16 rounds to 10000). Division by zero, 0/0, and log(0) are undefined in every numeric type, so another numeric type does not fix them. "Fraction": exact rational arithmetic (0.1 + 0.2 returns 3/10); fails with fraction_unsupported when the result has no exact rational value (sqrt(2), sin(1), log(3)), the expression calls a function Fraction mode cannot compute (sqrt(4), 5!, combinations(5, 2)), or it uses a value Fraction mode holds only as a rounded float (pi, e, 2^(1/2), a complex number with a non-integer part, number(x), random()) — use "number" or "BigNumber" for those. A unit conversion with an irrational factor (30 deg to rad) returns a close rational approximation, not an exact value. Ignored for symbolic operations (simplify, derivative).'),
     }),
     output: z.object({
         result: z.string().describe('The computed result as a string.'),
         resultType: z
             .string()
-            .describe('Type of result as reported by math.js: number, BigNumber, Complex, DenseMatrix, Unit, string, boolean. Symbolic operations return "string".'),
+            .describe('Type of result as reported by math.js. Common values: number, BigNumber, Fraction, Complex, DenseMatrix, SparseMatrix, Array, Unit, string, boolean. Symbolic operations return "string".'),
         expression: z.string().describe('The original expression as received.'),
         operation: z
             .enum(['evaluate', 'simplify', 'derivative'])
@@ -61,11 +62,11 @@ export const calculateTool = tool('calculate', {
         scopeVars: z
             .array(z.string())
             .optional()
-            .describe('Keys from the scope that were active during evaluation. Omitted when no scope was provided. Values are omitted to keep output compact.'),
+            .describe('Keys from the scope that were active during evaluation. Omitted when no scope was provided and for symbolic operations, which ignore scope. Values are omitted to keep output compact.'),
         precisionUsed: z
             .number()
             .optional()
-            .describe('Significant-digit precision applied to the result. Omitted when full precision was used or the operation is symbolic.'),
+            .describe('The precision value supplied for evaluate. Fraction results print exactly regardless. Omitted when no precision was supplied or the operation is symbolic.'),
         unchanged: z
             .boolean()
             .optional()
@@ -75,56 +76,86 @@ export const calculateTool = tool('calculate', {
         {
             reason: 'empty_expression',
             code: JsonRpcErrorCode.ValidationError,
+            thrownBy: 'service',
             when: 'Expression is empty or whitespace-only.',
             recovery: 'Provide a non-empty math expression in the expression parameter.',
         },
         {
             reason: 'expression_too_long',
             code: JsonRpcErrorCode.ValidationError,
+            thrownBy: 'service',
             when: 'Expression exceeds the configured max length (CALC_MAX_EXPRESSION_LENGTH).',
             recovery: 'Shorten the expression or split it into multiple separate calls.',
         },
         {
             reason: 'multiple_expressions',
             code: JsonRpcErrorCode.ValidationError,
-            when: 'Expression contains a separator (`;` or newline) outside matrix brackets.',
+            thrownBy: 'service',
+            when: 'Expression holds more than one statement — a `;` or newline at the top level, outside brackets, parentheses, and string literals.',
             recovery: 'Send one expression per call; issue separate calls for each statement.',
         },
         {
             reason: 'reserved_scope_key',
             code: JsonRpcErrorCode.ValidationError,
+            thrownBy: 'service',
             when: 'Scope contains a reserved JS property name (`__proto__`, `constructor`, etc.).',
             recovery: 'Rename the variable to avoid reserved JavaScript property names.',
         },
         {
             reason: 'disallowed_result_type',
             code: JsonRpcErrorCode.ValidationError,
-            when: 'Result is a function, parser, or multi-expression ResultSet, or the expression converts a function to a string (e.g. `cos.toString()`) — security guard.',
-            recovery: 'Rewrite the expression to produce a value (number, matrix, unit) instead of a function or its source.',
+            thrownBy: 'service',
+            when: 'The result is a function (e.g. a bare `sin`, or `f(x) = x^2`) or a help() object, or the expression converts a function to a string (e.g. `cos.toString()`) — security guard.',
+            recovery: 'Rewrite the expression to produce a value (number, matrix, unit) instead of a function or its source; for function documentation, read the calculator://help resource.',
         },
         {
             reason: 'result_too_large',
             code: JsonRpcErrorCode.ValidationError,
-            when: 'Stringified result exceeds the configured max size (CALC_MAX_RESULT_LENGTH).',
+            thrownBy: 'service',
+            when: `The result exceeds the configured max size (CALC_MAX_RESULT_LENGTH), or the expression would build a matrix or string over the per-call limit (${MAX_MATRIX_ELEMENTS.toLocaleString('en-US')} elements or characters), or more than ${MAX_EVALUATION_ELEMENTS.toLocaleString('en-US')} in total across one evaluation.`,
             recovery: 'Reduce precision, narrow the input range, or compute smaller subproblems separately.',
         },
         {
             reason: 'undefined_result',
             code: JsonRpcErrorCode.ValidationError,
-            when: 'Expression evaluated to Infinity, -Infinity, or NaN (e.g., division by zero).',
-            recovery: 'Check for division by zero, log of non-positive numbers, or other undefined operations.',
+            thrownBy: 'service',
+            when: 'The result is Infinity, -Infinity, or NaN anywhere in it (including matrix elements, unit magnitudes, and object values): an undefined operation such as 1/0, 0/0, or log(0), or a value that overflowed its numeric range (e.g. 171! or 2^1024 under numericType "number").',
+            recovery: 'Division by zero, 0/0, and log(0) are undefined in every numericType, so fix the expression; for an overflow (large powers, factorials, exp), retry with numericType "BigNumber".',
         },
         {
             reason: 'fraction_unsupported',
             code: JsonRpcErrorCode.ValidationError,
-            when: 'numericType is "Fraction" but the expression has no exact rational value (irrational or transcendental result, e.g. sqrt, sin, log).',
-            recovery: 'Retry with numericType "number" or "BigNumber" — those represent irrational and transcendental results.',
+            thrownBy: 'service',
+            when: 'numericType is "Fraction" and the result has no exact rational value (e.g. sqrt(2), sin(1), log(3)), the expression calls a function Fraction mode cannot compute, even for a rational result (e.g. sqrt(4), 5!, combinations(5, 2)), or it uses a value Fraction mode holds only as a rounded 64-bit float (e.g. pi, e, 2^(1/2), a complex number with a non-integer part, number(x), random()).',
+            recovery: 'Retry with numericType "number" or "BigNumber" — both compute these functions and values, including irrational and transcendental results.',
         },
         {
             reason: 'parse_failed',
             code: JsonRpcErrorCode.ValidationError,
-            when: 'mathjs could not parse the expression.',
-            recovery: 'Check syntax for balanced parentheses, valid operators, and correct function names.',
+            thrownBy: 'service',
+            when: 'mathjs could not parse the expression, or it names an undefined symbol, function, or unit, or calls a function disabled for security.',
+            recovery: 'Check syntax for balanced parentheses, valid operators, and correct function and unit names; pass variable values through scope.',
+        },
+        {
+            reason: 'operation_as_function',
+            code: JsonRpcErrorCode.ValidationError,
+            thrownBy: 'service',
+            when: 'The expression calls `evaluate`, `simplify`, or `derivative` — those are operations, selected with the `operation` parameter.',
+            recovery: 'Send the inner expression as `expression` with `operation` set to that function name; for `derivative`, also pass `variable`.',
+        },
+        {
+            reason: 'type_mismatch',
+            code: JsonRpcErrorCode.ValidationError,
+            thrownBy: 'service',
+            when: 'An operand has the wrong type or unit for the operation — a bare number added to a unit, mismatched units, a unit in an exponent, a non-numeric string in arithmetic, or a function used as a value (`5 min`, where `min` is the minimum function; that case carries its own recovery hint).',
+            recovery: 'Attach the same unit to the bare operand (`5 kg + 3 kg`) or strip it (`number(5 kg, "kg") + 3`), keep exponents unitless, and use numbers instead of strings.',
+        },
+        {
+            reason: 'evaluation_failed',
+            code: JsonRpcErrorCode.ValidationError,
+            thrownBy: 'service',
+            when: 'The expression parsed but could not be computed — wrong argument count, a value outside the function domain, a singular matrix, mismatched matrix dimensions, or an index out of range — or simplify/derivative cannot process part of it (e.g. a function with no derivative rule).',
+            recovery: 'The syntax is valid — fix the argument the error message names (its count, value range, or matrix dimensions) and retry.',
         },
         {
             reason: 'derivative_missing_variable',
@@ -135,6 +166,7 @@ export const calculateTool = tool('calculate', {
         {
             reason: 'evaluation_timeout',
             code: JsonRpcErrorCode.Timeout,
+            thrownBy: 'service',
             when: 'Expression evaluation exceeded the configured timeout (CALC_EVALUATION_TIMEOUT_MS).',
             retryable: false,
             recovery: 'Simplify the expression or reduce computational complexity to fit within the timeout.',
@@ -187,12 +219,10 @@ export const calculateTool = tool('calculate', {
         }
     },
     format: (output) => {
-        const scopeVars = output.scopeVars && output.scopeVars.length > 0 ? output.scopeVars.join(', ') : 'none';
-        const precision = output.precisionUsed ?? 'full';
         const lines = [
-            `**Expression:** \`${output.expression}\``,
+            `**Expression:**${labeled(output.expression)}`,
             `**Operation:** ${output.operation}`,
-            `**Result:** ${output.result}`,
+            `**Result:**${labeled(output.result)}`,
             `**Type:** ${output.resultType}`,
         ];
         if (output.unchanged !== undefined) {
@@ -201,11 +231,49 @@ export const calculateTool = tool('calculate', {
                 ? '**Simplified:** unchanged — expression could not be reduced further'
                 : '**Simplified:** reduced (unchanged: false)');
         }
-        if (output.operation !== 'simplify') {
+        // Symbolic operations ignore scope and precision, so only evaluate reports them.
+        if (output.operation === 'evaluate') {
+            const scopeVars = output.scopeVars?.length
+                ? output.scopeVars.map(literal).join(', ')
+                : 'none';
             lines.push(`**Scope variables:** ${scopeVars}`);
-            lines.push(`**Precision:** ${precision}`);
+            lines.push(`**Precision:** ${output.precisionUsed ?? 'full'}`);
         }
         return [{ type: 'text', text: lines.join('\n') }];
     },
 });
+/** Length of the longest run of consecutive backticks in `value` (0 when it has none). */
+function longestBacktickRun(value) {
+    return Math.max(0, ...(value.match(/`+/g) ?? []).map((run) => run.length));
+}
+/**
+ * Render caller-influenced text so a CommonMark reader sees it byte-for-byte:
+ * a code span whose fence is one backtick longer than the value's longest
+ * backtick run, space-padded when the value starts or ends with a backtick or
+ * space (CommonMark strips one padding space from each side). A value made only
+ * of spaces is never stripped, so it goes unpadded; an empty value cannot be a
+ * code span and renders as a plain marker. A value with a line break goes in a
+ * fenced block on its own lines, sized the same way. No backslash escaping:
+ * `*`, `_`, `^`, and `[` are math syntax and must survive a copy. CommonMark
+ * normalizes a carriage return to a line feed, so a value holding one (only an
+ * expression or scope key can — math.js escapes it in results) reads back with
+ * `\n` in its place; `structuredContent` keeps the exact bytes.
+ */
+function literal(value) {
+    if (value === '')
+        return '(empty)';
+    const run = longestBacktickRun(value);
+    if (/[\r\n]/.test(value)) {
+        const fence = '`'.repeat(Math.max(3, run + 1));
+        return `\n${fence}\n${value}\n${fence}\n`;
+    }
+    const fence = '`'.repeat(run + 1);
+    const pad = /^[` ]|[` ]$/.test(value) && !/^ +$/.test(value) ? ' ' : '';
+    return `${fence}${pad}${value}${pad}${fence}`;
+}
+/** A labeled value: a code span after the label, or a fenced block below it. */
+function labeled(value) {
+    const rendered = literal(value);
+    return rendered.startsWith('\n') ? rendered.slice(0, -1) : ` ${rendered}`;
+}
 //# sourceMappingURL=calculate.tool.js.map

package/dist/mcp-server/tools/definitions/calculate.tool.js.map

@@ -1 +1 @@
-{"version":3,"file":"calculate.tool.js","sourceRoot":"","sources":["../../../../src/mcp-server/tools/definitions/calculate.tool.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,EAAE;IAC7C,WAAW,EACT,0NAA0N;IAC5N,WAAW,EAAE;QACX,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,aAAa,EAAE,KAAK;KACrB;IACD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,GAAG,CAAC,CAAC,CAAC;aACN,QAAQ,CACP,uxBAAuxB,CACxxB;QACH,SAAS,EAAE,CAAC;aACT,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;aAC5C,OAAO,CAAC,UAAU,CAAC;aACnB,QAAQ,CACP,+dAA+d,CAChe;QACH,QAAQ,EAAE,CAAC;aACR,KAAK,CAAC;YACL,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,oCAAoC,CAAC;YAC5D,CAAC;iBACE,MAAM,EAAE;iBACR,GAAG,CAAC,EAAE,CAAC;iBACP,KAAK,CACJ,0BAA0B,EAC1B,wDAAwD,CACzD;iBACA,QAAQ,CAAC,mEAAmE,CAAC;SACjF,CAAC;aACD,QAAQ,EAAE;aACV,QAAQ,CACP,uIAAuI,CACxI;QACH,KAAK,EAAE,CAAC;aACL,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;aAC9B,QAAQ,EAAE;aACV,QAAQ,CACP,mGAAmG,CACpG;QACH,SAAS,EAAE,CAAC;aACT,KAAK,CAAC;YACL,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,oCAAoC,CAAC;YAC5D,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,qCAAqC,CAAC;SAChF,CAAC;aACD,QAAQ,EAAE;aACV,QAAQ,CACP,qKAAqK,CACtK;QACH,WAAW,EAAE,CAAC;aACX,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;aACzC,OAAO,CAAC,QAAQ,CAAC;aACjB,QAAQ,CACP,ktBAAktB,CACntB;KACJ,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;QAC/D,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,QAAQ,CACP,6IAA6I,CAC9I;QACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sCAAsC,CAAC;QACvE,SAAS,EAAE,CAAC;aACT,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;aAC5C,QAAQ,CAAC,iCAAiC,CAAC;QAC9C,SAAS,EAAE,CAAC;aACT,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aACjB,QAAQ,EAAE;aACV,QAAQ,CACP,wIAAwI,CACzI;QACH,aAAa,EAAE,CAAC;aACb,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,QAAQ,CACP,uHAAuH,CACxH;QACH,SAAS,EAAE,CAAC;aACT,OAAO,EAAE;aACT,QAAQ,EAAE;aACV,QAAQ,CACP,wTAAwT,CACzT;KACJ,CAAC;IACF,MAAM,EAAE;QACN;YACE,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,yCAAyC;YAC/C,QAAQ,EAAE,kEAAkE;SAC7E;QACD;YACE,MAAM,EAAE,qBAAqB;YAC7B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,4EAA4E;YAClF,QAAQ,EAAE,kEAAkE;SAC7E;QACD;YACE,MAAM,EAAE,sBAAsB;YAC9B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,2EAA2E;YACjF,QAAQ,EAAE,wEAAwE;SACnF;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,gFAAgF;YACtF,QAAQ,EAAE,kEAAkE;SAC7E;QACD;YACE,MAAM,EAAE,wBAAwB;YAChC,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,0JAA0J;YAChK,QAAQ,EACN,uGAAuG;SAC1G;QACD;YACE,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,8EAA8E;YACpF,QAAQ,EACN,sFAAsF;SACzF;QACD;YACE,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,+EAA+E;YACrF,QAAQ,EACN,yFAAyF;SAC5F;QACD;YACE,MAAM,EAAE,sBAAsB;YAC9B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,sIAAsI;YAC5I,QAAQ,EACN,yGAAyG;SAC5G;QACD;YACE,MAAM,EAAE,cAAc;YACtB,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,wCAAwC;YAC9C,QAAQ,EACN,qFAAqF;SACxF;QACD;YACE,MAAM,EAAE,6BAA6B;YACrC,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,8DAA8D;YACpE,QAAQ,EAAE,yEAAyE;SACpF;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,IAAI,EAAE,gBAAgB,CAAC,OAAO;YAC9B,IAAI,EAAE,qFAAqF;YAC3F,SAAS,EAAE,KAAK;YAChB,QAAQ,EACN,uFAAuF;SAC1F;KACF;IAED,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;QAEtC,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;gBAClE,OAAO;oBACL,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC;oBAC1E,UAAU;oBACV,SAAS;oBACT,wEAAwE;oBACxE,uEAAuE;oBACvE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjE,CAAC;YACJ,KAAK,UAAU,EAAE,CAAC;gBAChB,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAChE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,uBAAuB,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC3F,uEAAuE;gBACvE,6EAA6E;gBAC7E,OAAO;oBACL,MAAM,EAAE,cAAc,CAAC,MAAM;oBAC7B,UAAU,EAAE,cAAc,CAAC,UAAU;oBACrC,UAAU;oBACV,SAAS;oBACT,SAAS,EAAE,cAAc,CAAC,SAAS;iBACpC,CAAC;YACJ,CAAC;YACD,KAAK,YAAY;gBACf,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,GAAG,CAAC,IAAI,CACZ,6BAA6B,EAC7B,sEAAsE,EACtE,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,6BAA6B,CAAC,EAAE,CACtD,CAAC;gBACJ,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACpE,uEAAuE;gBACvE,OAAO;oBACL,GAAG,IAAI,CAAC,uBAAuB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC;oBAC1D,UAAU;oBACV,SAAS;iBACV,CAAC;YACJ;gBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAmB,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,MAAM,SAAS,GACb,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACzF,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC;QACjD,MAAM,KAAK,GAAG;YACZ,qBAAqB,MAAM,CAAC,UAAU,IAAI;YAC1C,kBAAkB,MAAM,CAAC,SAAS,EAAE;YACpC,eAAe,MAAM,CAAC,MAAM,EAAE;YAC9B,aAAa,MAAM,CAAC,UAAU,EAAE;SACjC,CAAC;QACF,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACnC,qFAAqF;YACrF,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,SAAS;gBACd,CAAC,CAAC,qEAAqE;gBACvE,CAAC,CAAC,4CAA4C,CACjD,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,EAAE,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,kBAAkB,SAAS,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"calculate.tool.js","sourceRoot":"","sources":["../../../../src/mcp-server/tools/definitions/calculate.tool.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAE7F,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,EAAE;IAC7C,WAAW,EACT,0NAA0N;IAC5N,WAAW,EAAE;QACX,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,aAAa,EAAE,KAAK;KACrB;IACD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,GAAG,CAAC,CAAC,CAAC;aACN,QAAQ,CACP,w6BAAw6B,CACz6B;QACH,SAAS,EAAE,CAAC;aACT,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;aAC5C,OAAO,CAAC,UAAU,CAAC;aACnB,QAAQ,CACP,+dAA+d,CAChe;QACH,QAAQ,EAAE,CAAC;aACR,KAAK,CAAC;YACL,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,oCAAoC,CAAC;YAC5D,CAAC;iBACE,MAAM,EAAE;iBACR,GAAG,CAAC,EAAE,CAAC;iBACP,KAAK,CACJ,0BAA0B,EAC1B,wDAAwD,CACzD;iBACA,QAAQ,CAAC,mEAAmE,CAAC;SACjF,CAAC;aACD,QAAQ,EAAE;aACV,QAAQ,CACP,uIAAuI,CACxI;QACH,KAAK,EAAE,CAAC;aACL,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;aAC9B,QAAQ,EAAE;aACV,QAAQ,CACP,kIAAkI,CACnI;QACH,SAAS,EAAE,CAAC;aACT,KAAK,CAAC;YACL,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,oCAAoC,CAAC;YAC5D,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,qCAAqC,CAAC;SAChF,CAAC;aACD,QAAQ,EAAE;aACV,QAAQ,CACP,8MAA8M,CAC/M;QACH,WAAW,EAAE,CAAC;aACX,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;aACzC,OAAO,CAAC,QAAQ,CAAC;aACjB,QAAQ,CACP,8pCAA8pC,CAC/pC;KACJ,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;QAC/D,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,QAAQ,CACP,2LAA2L,CAC5L;QACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sCAAsC,CAAC;QACvE,SAAS,EAAE,CAAC;aACT,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;aAC5C,QAAQ,CAAC,iCAAiC,CAAC;QAC9C,SAAS,EAAE,CAAC;aACT,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aACjB,QAAQ,EAAE;aACV,QAAQ,CACP,wLAAwL,CACzL;QACH,aAAa,EAAE,CAAC;aACb,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,QAAQ,CACP,4JAA4J,CAC7J;QACH,SAAS,EAAE,CAAC;aACT,OAAO,EAAE;aACT,QAAQ,EAAE;aACV,QAAQ,CACP,wTAAwT,CACzT;KACJ,CAAC;IACF,MAAM,EAAE;QACN;YACE,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,yCAAyC;YAC/C,QAAQ,EAAE,kEAAkE;SAC7E;QACD;YACE,MAAM,EAAE,qBAAqB;YAC7B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,4EAA4E;YAClF,QAAQ,EAAE,kEAAkE;SAC7E;QACD;YACE,MAAM,EAAE,sBAAsB;YAC9B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,mIAAmI;YACzI,QAAQ,EAAE,wEAAwE;SACnF;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,gFAAgF;YACtF,QAAQ,EAAE,kEAAkE;SAC7E;QACD;YACE,MAAM,EAAE,wBAAwB;YAChC,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,+KAA+K;YACrL,QAAQ,EACN,wKAAwK;SAC3K;QACD;YACE,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,kJAAkJ,mBAAmB,CAAC,cAAc,CAAC,OAAO,CAAC,0CAA0C,uBAAuB,CAAC,cAAc,CAAC,OAAO,CAAC,kCAAkC;YAC9T,QAAQ,EACN,sFAAsF;SACzF;QACD;YACE,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,8QAA8Q;YACpR,QAAQ,EACN,mLAAmL;SACtL;QACD;YACE,MAAM,EAAE,sBAAsB;YAC9B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,mYAAmY;YACzY,QAAQ,EACN,4IAA4I;SAC/I;QACD;YACE,MAAM,EAAE,cAAc;YACtB,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,uIAAuI;YAC7I,QAAQ,EACN,kIAAkI;SACrI;QACD;YACE,MAAM,EAAE,uBAAuB;YAC/B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,+HAA+H;YACrI,QAAQ,EACN,+HAA+H;SAClI;QACD;YACE,MAAM,EAAE,eAAe;YACvB,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,8RAA8R;YACpS,QAAQ,EACN,+JAA+J;SAClK;QACD;YACE,MAAM,EAAE,mBAAmB;YAC3B,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,sRAAsR;YAC5R,QAAQ,EACN,0HAA0H;SAC7H;QACD;YACE,MAAM,EAAE,6BAA6B;YACrC,IAAI,EAAE,gBAAgB,CAAC,eAAe;YACtC,IAAI,EAAE,8DAA8D;YACpE,QAAQ,EAAE,yEAAyE;SACpF;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,IAAI,EAAE,gBAAgB,CAAC,OAAO;YAC9B,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,qFAAqF;YAC3F,SAAS,EAAE,KAAK;YAChB,QAAQ,EACN,uFAAuF;SAC1F;KACF;IAED,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;QAC9B,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;QAEtC,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;gBAClE,OAAO;oBACL,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC;oBAC1E,UAAU;oBACV,SAAS;oBACT,wEAAwE;oBACxE,uEAAuE;oBACvE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjE,CAAC;YACJ,KAAK,UAAU,EAAE,CAAC;gBAChB,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAChE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,uBAAuB,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC3F,uEAAuE;gBACvE,6EAA6E;gBAC7E,OAAO;oBACL,MAAM,EAAE,cAAc,CAAC,MAAM;oBAC7B,UAAU,EAAE,cAAc,CAAC,UAAU;oBACrC,UAAU;oBACV,SAAS;oBACT,SAAS,EAAE,cAAc,CAAC,SAAS;iBACpC,CAAC;YACJ,CAAC;YACD,KAAK,YAAY;gBACf,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,GAAG,CAAC,IAAI,CACZ,6BAA6B,EAC7B,sEAAsE,EACtE,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,6BAA6B,CAAC,EAAE,CACtD,CAAC;gBACJ,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACpE,uEAAuE;gBACvE,OAAO;oBACL,GAAG,IAAI,CAAC,uBAAuB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC;oBAC1D,UAAU;oBACV,SAAS;iBACV,CAAC;YACJ;gBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,SAAmB,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,MAAM,KAAK,GAAG;YACZ,kBAAkB,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;YAC9C,kBAAkB,MAAM,CAAC,SAAS,EAAE;YACpC,cAAc,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;YACtC,aAAa,MAAM,CAAC,UAAU,EAAE;SACjC,CAAC;QACF,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACnC,qFAAqF;YACrF,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,SAAS;gBACd,CAAC,CAAC,qEAAqE;gBACvE,CAAC,CAAC,4CAA4C,CACjD,CAAC;QACJ,CAAC;QACD,iFAAiF;QACjF,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM;gBACxC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1C,CAAC,CAAC,MAAM,CAAC;YACX,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,EAAE,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,aAAa,IAAI,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;CACF,CAAC,CAAC;AAEH,0FAA0F;AAC1F,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,OAAO,CAAC,KAAa;IAC5B,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IACnC,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,KAAK,KAAK,KAAK,KAAK,KAAK,KAAK,IAAI,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,OAAO,GAAG,KAAK,GAAG,GAAG,GAAG,KAAK,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC;AAChD,CAAC;AAED,gFAAgF;AAChF,SAAS,OAAO,CAAC,KAAa;IAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;AAC5E,CAAC"}

package/dist/services/math/math-service.d.ts

@@ -1,7 +1,9 @@
 /**
  * @fileoverview Hardened math.js wrapper for secure expression evaluation.
  * Creates a restricted math.js instance with dangerous functions disabled in
- * the expression scope, and wraps evaluation in a vm sandbox with timeout.
+ * the expression scope, parses each expression once and checks the tree before
+ * anything runs, and evaluates, inspects, and formats the result inside a vm
+ * sandbox with a timeout.
  * @module services/math/math-service
  */
 import type { Context } from '@cyanheads/mcp-ts-core';
@@ -10,15 +12,16 @@ import type { MathResult, NumericType } from './types.js';
 export declare class MathService {
     /** Default IEEE 754 instance — used for the vast majority of evaluations. */
     private readonly defaultInstance;
-    /** BigNumber instance — arbitrary precision; selected via numericType: "BigNumber". */
+    /** BigNumber instance — 64 significant digits; selected via numericType: "BigNumber". */
     private readonly bigNumberInstance;
     /** Fraction instance — exact rational arithmetic; selected via numericType: "Fraction". */
     private readonly fractionInstance;
-    private readonly parse;
     private readonly simplify;
     private readonly derivative;
     private readonly simplifyRules;
     private readonly config;
+    /** vm context reused by every timed call; see {@link runWithTimeout}. */
+    private readonly sandbox;
     constructor(config: ServerConfig);
     /** Select the pre-initialized evaluate/format/typeOf bundle for a given numeric type. */
     private instanceFor;
@@ -31,36 +34,72 @@ export declare class MathService {
     /** Get formatted help content listing available functions, operators, and syntax. */
     getHelpContent(): string;
     private validateInput;
+    /**
+     * Parse once and check the tree before anything evaluates. A parse failure is
+     * `parse_failed`. Multiple statements are detected structurally — math.js parses
+     * `a; b` and a top-level newline into a `BlockNode` — so `;` inside a matrix or
+     * inside either quote style (`"a;b"`, `'a;b'`) is data, transpose `A'` stays an
+     * operator, and a real separator is rejected before either statement runs (#32).
+     * math.js treats a bare carriage return as a syntax error rather than a
+     * separator; when it is what broke the parse, the input is re-parsed with line
+     * feeds purely to report `multiple_expressions` — the rewritten text is never
+     * evaluated. The same tree then gets the stringifier check, the
+     * operation-as-function check (#27), and the notation rename (#24), and yields
+     * the names it uses as values that resolve to functions (#38). Every operation
+     * starts here, so it also resets the instance's auto unit system (#37).
+     */
+    private parseExpression;
+    /** Whether `expression` parses to multiple statements. */
+    private parsesAsBlock;
+    private multipleExpressions;
     /** Reject scope keys that could pollute the object prototype chain. */
     private validateScope;
     /** Reject result types that leak internals (functions, parsers, multi-expression ResultSets). */
     private validateResultType;
-    /** Reject results holding a non-finite value (Infinity, -Infinity, NaN), including inside matrices and complex numbers. */
-    private validateFinite;
+    /**
+     * Inspect a result before it is formatted: reject a `help()` object (its
+     * rendering evaluates the documentation examples, #31), a collection too large
+     * to ever fit `maxResultLength` (checked before formatting, so it is never
+     * stringified), any non-finite number, scalar or nested (#21), and under
+     * numericType "Fraction", any float approximation, scalar or nested (#35).
+     */
+    private validateResultValue;
     /** Reject results that exceed the configured maximum size. */
     private validateResultSize;
+    private resultTooLarge;
     /**
-     * Reject expressions that access `.toString` / `.toLocaleString` on any value.
-     * math.js permits these methods on function-valued identifiers (`cos.toString()`,
-     * `import.toString()`), returning the function's source as a plain string — which
-     * slips past {@link validateResultType}, whose function defense only inspects the
-     * value AFTER stringification. The check is parse-time and AST-based rather than a
-     * runtime `Function.prototype` patch: math.js itself calls `toString` on functions
-     * internally while evaluating units, statistics, and complex results, so patching
-     * the prototype would reject legitimate expressions. No real calculator expression
-     * needs `.toString()`/`.toLocaleString()`, so blocking the accessor outright (dot
-     * or bracket form, on any operand) is both sufficient and side-effect-free. String
-     * literals that merely contain the text "toString" parse as ConstantNodes, not
-     * accessors, so they are unaffected.
+     * Runs a synchronous function inside a vm sandbox with timeout protection and
+     * maps anything it throws to a declared reason via {@link classifyFailure}.
+     *
+     * The context exists only to carry the timeout — `fn` and everything it calls
+     * run in this realm — so one context is reused for every call and cleared
+     * afterwards. A fresh context per call costs ~100 µs and, under Bun, retains
+     * ~100 KB of memory per call.
      */
-    private validateNoFunctionStringification;
+    private runWithTimeout;
     /**
-     * Runs a synchronous function inside a vm sandbox with timeout protection.
-     * `numericType` is supplied only by the evaluate path so a Fraction-mode
-     * conversion failure can be remapped to the actionable `fraction_unsupported`
-     * error instead of the misleading `parse_failed` (#19).
+     * Classify a failure raised after the expression parsed (evaluation, result
+     * inspection, formatting, or a symbolic operation). First match wins:
+     *
+     * 1. Already-classified `McpError`s (result checks) pass through.
+     * 2. Timeout → `evaluation_timeout`.
+     * 3. A size guard (see size-guard.ts) → `result_too_large`.
+     * 4. Fraction mode calling a function with no Fraction implementation (sqrt,
+     *    sin, log, factorial, …) → `fraction_unsupported` (#19); so does Fraction
+     *    mode meeting a float with no equal Fraction (`pi * 2/3`, #35).
+     * 5. fraction.js `Division by Zero`, in any numericType → `undefined_result` (#21).
+     * 6. Name errors (undefined symbol/function/unit, disabled function, blocked
+     *    property) → `parse_failed`.
+     * 7. A symbolic operation (simplify, derivative) that cannot process the parsed
+     *    tree → `evaluation_failed`, with a hint about the symbolic engine rather
+     *    than about argument values (see {@link symbolicFailure}).
+     * 8. Operand type/unit errors (typed-function `wrongType`, unit mismatch,
+     *    string-to-number) → `type_mismatch`.
+     * 9. Anything else — arity, domain, singular matrix, dimensions, index →
+     *    `evaluation_failed` (#29). Stage decides, not error class: a runtime
+     *    `SyntaxError` such as `number("abc")` lands here, never in `parse_failed`.
      */
-    private runWithTimeout;
+    private classifyFailure;
 }
 /** Initialize the math service. Call once from createApp setup(). */
 export declare function initMathService(config: ServerConfig): void;

package/dist/services/math/math-service.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"math-service.d.ts","sourceRoot":"","sources":["../../../src/services/math/math-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAGtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAgT1D,qBAAa,WAAW;IACtB,6EAA6E;IAC7E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAe;IAC/C,uFAAuF;IACvF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAe;IACjD,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAe;IAEhD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA6B;IACnD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmE;IAC5F,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA6D;IACxF,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAiB;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAe;IAEtC,YAAY,MAAM,EAAE,YAAY,EAmB/B;IAED,yFAAyF;IACzF,OAAO,CAAC,WAAW;IAWnB,4FAA4F;IAC5F,kBAAkB,CAChB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,OAAO,EACZ,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,SAAS,CAAC,EAAE,MAAM,EAClB,WAAW,GAAE,WAAsB,GAClC,UAAU,CAuBZ;IAED,qDAAqD;IACrD,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,UAAU,CA0B/D;IAED,mFAAmF;IACnF,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,UAAU,CAQtF;IAED,qFAAqF;IACrF,cAAc,IAAI,MAAM,CAEvB;IAED,OAAO,CAAC,aAAa;IAqBrB,uEAAuE;IACvE,OAAO,CAAC,aAAa;IAWrB,iGAAiG;IACjG,OAAO,CAAC,kBAAkB;IAS1B,2HAA2H;IAC3H,OAAO,CAAC,cAAc;IAStB,8DAA8D;IAC9D,OAAO,CAAC,kBAAkB;IAS1B;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,iCAAiC;IAyBzC;;;;;OAKG;IACH,OAAO,CAAC,cAAc;CA6BvB;AAMD,qEAAqE;AACrE,wBAAgB,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAE1D;AAED,iDAAiD;AACjD,wBAAgB,cAAc,IAAI,WAAW,CAG5C"}
+{"version":3,"file":"math-service.d.ts","sourceRoot":"","sources":["../../../src/services/math/math-service.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAkBtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAQ9D,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAioB1D,qBAAa,WAAW;IACtB,6EAA6E;IAC7E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAe;IAC/C,yFAAyF;IACzF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAe;IACjD,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAe;IAEhD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA2B;IACpD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA6B;IACxD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAiB;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAe;IACtC,yEAAyE;IACzE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA4C;IAEpE,YAAY,MAAM,EAAE,YAAY,EAkB/B;IAED,yFAAyF;IACzF,OAAO,CAAC,WAAW;IAWnB,4FAA4F;IAC5F,kBAAkB,CAChB,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,OAAO,EACZ,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,SAAS,CAAC,EAAE,MAAM,EAClB,WAAW,GAAE,WAAsB,GAClC,UAAU,CAsCZ;IAED,qDAAqD;IACrD,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,UAAU,CAe/D;IAED,mFAAmF;IACnF,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,UAAU,CAStF;IAED,qFAAqF;IACrF,cAAc,IAAI,MAAM,CAEvB;IAED,OAAO,CAAC,aAAa;IAarB;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,eAAe;IA6CvB,0DAA0D;IAC1D,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,mBAAmB;IAQ3B,uEAAuE;IACvE,OAAO,CAAC,aAAa;IAYrB,iGAAiG;IACjG,OAAO,CAAC,kBAAkB;IAU1B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IA0B3B,8DAA8D;IAC9D,OAAO,CAAC,kBAAkB;IAI1B,OAAO,CAAC,cAAc;IAQtB;;;;;;;;OAQG;IACH,OAAO,CAAC,cAAc;IAetB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,CAAC,eAAe;CA8CxB;AAiFD,qEAAqE;AACrE,wBAAgB,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAE1D;AAED,iDAAiD;AACjD,wBAAgB,cAAc,IAAI,WAAW,CAG5C"}