@cortex-js/compute-engine 0.57.0 → 0.59.0

package/dist/types/compute-engine/index.d.ts

@@ -1,11 +1,11 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { BigDecimal } from '../big-decimal';
 import { Type, TypeResolver, TypeString } from '../common/type/types';
 import { BoxedType } from '../common/type/boxed-type';
 import type { OneOf } from '../common/one-of';
 import type { ConfigurationChangeListener } from '../common/configuration-change';
 import type { MathJsonExpression, MathJsonSymbol, MathJsonNumberObject } from '../math-json/types';
-import type { ValueDefinition, OperatorDefinition, AngularUnit, AssignValue, AssumeResult, Expression, BoxedRule, BoxedRuleSet, BoxedSubstitution, CanonicalOptions, Metadata, Rule, Scope, EvalContext, ExpressionInput, IComputeEngine, ILatexSyntax, BoxedDefinition, SymbolDefinition, SequenceDefinition, SequenceStatus, SequenceInfo, OEISSequenceInfo, OEISOptions, LibraryDefinition, OperatorInfo } from './global-types';
+import type { ValueDefinition, OperatorDefinition, AngularUnit, AssignValue, AssumeResult, Expression, BoxedRule, BoxedRuleSet, BoxedSubstitution, CanonicalOptions, Metadata, Rule, RulePurpose, Scope, EvalContext, ExpressionInput, IComputeEngine, ILatexSyntax, BoxedDefinition, SymbolDefinition, SequenceDefinition, SequenceStatus, SequenceInfo, OEISSequenceInfo, OEISOptions, LibraryDefinition, OperatorInfo, SymbolInfo } from './global-types';
 import type { LibraryCategory, ParseLatexOptions, SerializeLatexOptions } from './latex-syntax/types';
 import type { BigNum, Rational } from './numerics/types';
 import { ExactNumericValueData, NumericValue, NumericValueData } from './numeric-value/types';
@@ -92,6 +92,10 @@ export declare class ComputeEngine implements IComputeEngine {
     private _cost?;
     /** @internal Backing state for simplificationRules */
     private _simplificationRules;
+    /** @internal Backing state for solveRules */
+    private _solveRules;
+    /** @internal Backing state for harmonizationRules */
+    private _harmonizationRules;
     /** @internal Registry of compilation targets */
     private _compilationTargets;
     /** @internal Fu trigonometric simplification algorithm */
@@ -112,6 +116,8 @@ export declare class ComputeEngine implements IComputeEngine {
     get contextStack(): ReadonlyArray<EvalContext>;
     set contextStack(stack: ReadonlyArray<EvalContext>);
     /** @internal */
+    private __typeResolver;
+    /** @internal */
     get _typeResolver(): TypeResolver;
     /**
      * Declare a new type in the current scope.
@@ -259,6 +265,19 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     get recursionLimit(): number;
     set recursionLimit(t: number);
+    /** Maximum number of elements a collection may have when materialized
+     * (converted from a lazy form to a `List`). Default: 10,000.
+     *
+     * When a materialization would exceed this size, the operation leaves
+     * the expression in its lazy form. Consumers can detect oversize
+     * collections via the symbolic form's `count`.
+     *
+     * Set to `Infinity` (or `0` / a negative number) to disable the cap.
+     *
+     * @experimental
+     */
+    get maxCollectionSize(): number;
+    set maxCollectionSize(t: number);
     /**
      * Flag to prevent infinite recursion in the verify/ask/equality checking cycle.
      *
@@ -432,12 +451,51 @@ export declare class ComputeEngine implements IComputeEngine {
      */
     get simplificationRules(): Rule[];
     set simplificationRules(rules: Rule[]);
+    /**
+     * The rules used by `solve()` to find roots of univariate expressions.
+     *
+     * Each rule matches a normalized equation `f(_x) = 0` — the unknown is
+     * the wildcard `_x` — and `replace` produces a root expression.
+     * Conditions should reject matches where other wildcards capture `_x`.
+     *
+     * Candidate roots are validated against the original equation, so an
+     * over-eager template degrades to a no-op rather than a wrong answer.
+     *
+     * Initialized to a copy of the built-in root-finding rules.
+     *
+     * Add custom rules with `push()`:
+     * ```ts
+     * ce.solveRules.push({
+     *   match: ['Add', ['Tan', '_x'], '__b'],
+     *   replace: ['Arctan', ['Negate', '__b']],
+     *   condition: ({ __b }) => !__b.has('_x'),
+     * });
+     * ```
+     *
+     * Or replace entirely:
+     * ```ts
+     * ce.solveRules = myCustomRules;
+     * ```
+     */
+    get solveRules(): Rule[];
+    set solveRules(rules: Rule[]);
+    /**
+     * The rules used by `solve()` to transform an equation into equivalent,
+     * easier-to-solve forms before root-finding (e.g. `ln f(x) → f(x) - 1`).
+     *
+     * Same conventions and extension pattern as `solveRules`: the unknown is
+     * the wildcard `_x`; `push()` to extend, assign to replace.
+     */
+    get harmonizationRules(): Rule[];
+    set harmonizationRules(rules: Rule[]);
     /**
      * Return definition matching the symbol, starting with the current
      * lexical scope and going up the scope chain.
      */
     lookupDefinition(id: MathJsonSymbol): undefined | BoxedDefinition;
+    normalizeIdentifier(latex: string): string;
     operatorInfo(head: string): OperatorInfo | undefined;
+    symbolInfo(name: string): SymbolInfo | undefined;
     /**
      * Associate a new definition to a symbol in the current context.
      *
@@ -723,6 +781,9 @@ export declare class ComputeEngine implements IComputeEngine {
     }): Expression;
     rules(rules: Rule | ReadonlyArray<Rule | BoxedRule> | BoxedRuleSet | undefined | null, options?: {
         canonical?: boolean;
+        /** Default purpose applied to any rule in the set that doesn't carry
+         *  its own `purpose` tag (a per-rule tag takes precedence). */
+        purpose?: RulePurpose;
     }): BoxedRuleSet;
     /**
      * Return a set of built-in rules.

package/dist/types/compute-engine/interval/arithmetic.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Basic interval arithmetic operations
  *
  * @module interval/arithmetic

package/dist/types/compute-engine/interval/comparison.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Comparison and conditional interval operations
  *
  * @module interval/comparison

package/dist/types/compute-engine/interval/elementary.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Elementary interval functions (sqrt, pow, exp, ln, abs, floor, ceil, min, max, mod)
  *
  * @module interval/elementary
@@ -173,15 +173,23 @@ export declare function factorial(x: Interval | IntervalResult): IntervalResult;
 export declare function factorial2(x: Interval | IntervalResult): IntervalResult;
 /**
  * Binomial coefficient C(n, k) on intervals.
- * Both arguments are rounded to nearest integer. Monotonic in n for fixed k.
+ *
+ * Both arguments are rounded to nearest integer. C(n, k) is not monotone in k
+ * (it peaks at k ≈ n/2), so the enclosure enumerates the integer grid.
  */
 export declare function binomial(n: Interval | IntervalResult, k: Interval | IntervalResult): IntervalResult;
 /**
  * GCD on intervals. Both arguments rounded to nearest integer.
+ *
+ * gcd is not monotone (e.g. gcd(6, 5) = 1 sits between gcd(6, 6) = 6 and
+ * gcd(6, 4) = 2), so the enclosure enumerates the integer grid.
  */
 export declare function gcd(a: Interval | IntervalResult, b: Interval | IntervalResult): IntervalResult;
 /**
  * LCM on intervals. Both arguments rounded to nearest integer.
+ *
+ * lcm is not monotone (e.g. lcm(2, 5) = 10 exceeds lcm(2, 6) = 6), so the
+ * enclosure enumerates the integer grid.
  */
 export declare function lcm(a: Interval | IntervalResult, b: Interval | IntervalResult): IntervalResult;
 /**

package/dist/types/compute-engine/interval/index.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Interval arithmetic library for reliable function evaluation
  *
  * This module provides interval versions of mathematical operations
@@ -16,7 +16,7 @@ import { less as _less, lessEqual as _lessEqual, greater as _greater, greaterEqu
 export type { Interval, IntervalResult, BoolInterval } from './types';
 export { ok, point, containsExtremum, unionResults, mergeDomainClip, isPoint, containsZero, isPositive, isNegative, isNonNegative, isNonPositive, width, midpoint, getValue, unwrap, unwrapOrPropagate, } from './util';
 export { add, sub, mul, div, negate, _mul } from './arithmetic';
-export { sqrt, square, pow, powInterval, exp, ln, log10, log2, abs, floor, ceil, round, fract, trunc, min, max, mod, remainder, heaviside, sign, gamma, gammaln, factorial, factorial2, } from './elementary';
+export { sqrt, square, pow, powInterval, exp, ln, log10, log2, abs, floor, ceil, round, fract, trunc, min, max, mod, remainder, heaviside, sign, gamma, gammaln, factorial, factorial2, binomial, gcd, lcm, } from './elementary';
 export { sin, cos, tan, cot, sec, csc, asin, acos, atan, atan2, sinh, cosh, tanh, asinh, acosh, atanh, acot, acsc, asec, coth, csch, sech, acoth, acsch, asech, sinc, fresnelS, fresnelC, } from './trigonometric';
 export { less, lessEqual, greater, greaterEqual, equal, notEqual, and, or, not, piecewise, clamp, } from './comparison';
 /**

package/dist/types/compute-engine/interval/trigonometric.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Trigonometric interval functions
  *
  * @module interval/trigonometric

package/dist/types/compute-engine/interval/types.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Interval arithmetic types for reliable function evaluation
  *
  * @module interval/types

package/dist/types/compute-engine/interval/util.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Utility functions for interval arithmetic
  *
  * @module interval/util

package/dist/types/compute-engine/latex-syntax/dictionary/default-dictionary.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Default LaTeX dictionary assembly.
  *
  * This file imports all individual domain dictionaries and assembles them

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-algebra.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_ALGEBRA: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-arithmetic.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_ARITHMETIC: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-calculus.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_CALCULUS: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-colors.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 /**
  * LaTeX dictionary for color constructors and conversions.
  *

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-complex.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_COMPLEX: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-core.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_CORE: LatexDictionary;
 export declare const DELIMITERS_SHORTHAND: {
     '(': string;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-linear-algebra.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_LINEAR_ALGEBRA: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-logic.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import type { MathJsonExpression } from '../../../math-json';
 export declare const DEFINITIONS_LOGIC: LatexDictionary;
 export declare function parseQuantifier(kind: 'NotForAll' | 'NotExists' | 'ForAll' | 'Exists' | 'ExistsUnique'): (parser: Parser, terminator: Readonly<Terminator>) => MathJsonExpression | null;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-other.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_OTHERS: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-relational-operators.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_INEQUALITIES: LatexDictionaryEntry[];

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-sets.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_SETS: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-statistics.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_STATISTICS: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-symbols.d.ts

@@ -1,3 +1,3 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const SYMBOLS: [string, string, number][];
 export declare const DEFINITIONS_SYMBOLS: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-trigonometry.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFINITIONS_TRIGONOMETRY: LatexDictionary;

package/dist/types/compute-engine/latex-syntax/dictionary/definitions-units.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * LaTeX dictionary entries for parsing and serializing physical quantities
  * with units.
  *

package/dist/types/compute-engine/latex-syntax/dictionary/definitions.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { LatexDictionaryEntry } from '../types';
 export type { CommonEntry, IndexedSymbolEntry, IndexedExpressionEntry, IndexedFunctionEntry, IndexedMatchfixEntry, IndexedInfixEntry, IndexedPrefixEntry, IndexedPostfixEntry, IndexedEnvironmentEntry, IndexedLatexDictionaryEntry, IndexedLatexDictionary, } from './indexed-types';
 import type { IndexedSymbolEntry, IndexedExpressionEntry, IndexedFunctionEntry, IndexedMatchfixEntry, IndexedInfixEntry, IndexedPostfixEntry, IndexedEnvironmentEntry, IndexedLatexDictionaryEntry, IndexedLatexDictionary } from './indexed-types';

package/dist/types/compute-engine/latex-syntax/dictionary/indexed-types.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Type definitions for the indexed LaTeX dictionary.
  *
  * These are separated from definitions.ts to break a circular dependency:
@@ -88,4 +88,7 @@ export type IndexedLatexDictionary = {
     functionByTrigger: Map<string, IndexedFunctionEntry[]>;
     symbolByTrigger: Map<string, IndexedSymbolEntry[]>;
     expressionByTrigger: Map<string, IndexedExpressionEntry[]>;
+    operatorByTrigger: Map<string, (IndexedInfixEntry | IndexedPrefixEntry | IndexedPostfixEntry)[]>;
+    universalDefs: Map<string, IndexedLatexDictionaryEntry[]>;
+    symbolTriggerDefs: Map<string, Map<string, IndexedLatexDictionaryEntry[]>>;
 };

package/dist/types/compute-engine/latex-syntax/latex-syntax.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Standalone LaTeX <-> MathJSON parsing and serialization.
  *
  * This module provides a `LatexSyntax` class and free-standing `parse()` /

package/dist/types/compute-engine/latex-syntax/parse-number.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Number parsing extracted from the _Parser class for modularity.
  *
  * All functions take a `Parser` interface and a `NumberFormatTokens` config

package/dist/types/compute-engine/latex-syntax/parse-symbol.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { Parser } from './types';
 /** For error handling, if we have a symbol prefix, assume
  * the symbol is invalid (it would have been captured by

package/dist/types/compute-engine/latex-syntax/parse.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { ParseLatexOptions, LatexToken, Terminator, Parser, SymbolTable } from './types';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry, IndexedInfixEntry, IndexedPostfixEntry, IndexedPrefixEntry, IndexedSymbolEntry, IndexedExpressionEntry, IndexedFunctionEntry } from './dictionary/definitions';
 import { BoxedType } from '../../common/type/boxed-type';
@@ -67,6 +67,8 @@ export declare class _Parser implements Parser {
     private _boundaries;
     private _lastPeek;
     private _peekCounter;
+    private _lookAheadCache;
+    private _lookAheadIndex;
     constructor(tokens: LatexToken[], dictionary: IndexedLatexDictionary, options: Readonly<ParseLatexOptions>);
     private _numberFormatTokens;
     getSymbolType(id: MathJsonSymbol): BoxedType;
@@ -103,7 +105,6 @@ export declare class _Parser implements Parser {
      */
     private canSkipMatchfixReparsing;
     latex(start: number, end?: number): string;
-    private latexAhead;
     /**
      * Return at most `this._dictionary.lookahead` LaTeX tokens.
      *

package/dist/types/compute-engine/latex-syntax/serialize-dms.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * DMS (Degrees-Minutes-Seconds) serialization utilities.
  */
 export interface DMSComponents {

package/dist/types/compute-engine/latex-syntax/serialize-number.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { NumberSerializationFormat } from './types';
 /**
  * @param expr - A number, can be represented as a string
@@ -17,13 +17,3 @@ export declare function serializeNumber(expr: MathJsonExpression | null, options
  * Does not handle integer and non-finite values.
  */
 export declare function serializeHexFloat(value: number): string;
-/**
- * Given a correctly formatted float hex, return the corresponding number.
- *
- * - "0xc.3p0" -> 12.1875
- * - "0x3.0Cp2" -> 12.1875
- * - "0x1.91eb851eb851fp+1" -> 3.14
- * - "0x3.23d70a3d70a3ep0" -> 3.14
- *
- */
-export declare function deserializeHexFloat(value: string): number;

package/dist/types/compute-engine/latex-syntax/serializer-style.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { DelimiterScale } from './types';
 export declare function getApplyFunctionStyle(_expr: MathJsonExpression, _level: number): DelimiterScale;
 export declare function getGroupStyle(_expr: MathJsonExpression, _level: number): DelimiterScale;

package/dist/types/compute-engine/latex-syntax/serializer.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { LatexString, SerializeLatexOptions, DelimiterScale } from './types';
 import type { IndexedLatexDictionary, IndexedLatexDictionaryEntry } from './dictionary/definitions';
 export declare class Serializer {

package/dist/types/compute-engine/latex-syntax/tokenizer.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * ## Reference
  * TeX source code:
  * {@link  http://tug.org/texlive/devsrc/Build/source/texk/web2c/tex.web | Tex.web}

package/dist/types/compute-engine/latex-syntax/types.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import type { MathJsonExpression, MathJsonSymbol } from '../../math-json/types';
 import type { TypeString } from '../../common/type/types';
 import { BoxedType } from '../../common/type/boxed-type';

package/dist/types/compute-engine/latex-syntax/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare function asLatexString(s: unknown): string | null;
 export declare function isRelationalOperator(name: string | undefined): boolean;
 export declare function isInequalityOperator(operator: string | undefined): boolean;

package/dist/types/compute-engine/library/arithmetic.d.ts

@@ -1,3 +1,3 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export type CanonicalArithmeticOperators = 'Add' | 'Negate' | 'Multiply' | 'Divide' | 'Power' | 'Sqrt' | 'Root' | 'Ln';
 export declare const ARITHMETIC_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/calculus.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const CALCULUS_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/collections.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const DEFAULT_LINSPACE_COUNT = 50;
 export declare const COLLECTIONS_LIBRARY: SymbolDefinitions;
 /**

package/dist/types/compute-engine/library/colors.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const COLORS_LIBRARY: SymbolDefinitions;

package/dist/types/compute-engine/library/combinatorics.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const COMBINATORICS_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/complex.d.ts

@@ -1,2 +1,14 @@
-/* 0.57.0 */
+/* 0.59.0 */
+import { type SubjectPart } from '../boxed-expression/constraint-subject';
+/**
+ * Assumption-based sign fallback for the part extractors
+ * (`Real`, `Imaginary`, `Argument` — and `Abs` in the arithmetic library):
+ * when the operand is a symbol with no value, look up assumed bounds for the
+ * corresponding subject (e.g. `im:tau` after `assume(Im(tau) > 0)`) and
+ * derive the sign from them (FUNGRIM-PLAN-3-ASSUMPTIONS.md §5.1b).
+ *
+ * Reads the fact index directly (never `ask()`), so it works inside
+ * `verify()`. Returns `undefined` when the facts don't entail a sign.
+ */
+export declare function signFromAssumedPart(ce: ComputeEngine, op: Expression, part: SubjectPart): Sign | undefined;
 export declare const COMPLEX_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/control-structures.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const CONTROL_STRUCTURES_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/core.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const CORE_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/fractals.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const FRACTALS_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/library.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import type { SymbolDefinitions, IComputeEngine as ComputeEngine, LibraryDefinition } from '../global-types';
 /**
  * The standard libraries bundled with the Compute Engine.

package/dist/types/compute-engine/library/linear-algebra.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const LINEAR_ALGEBRA_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/logic-analysis.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 /**
  * Quantifier domain helpers and boolean analysis functions.
  * Extracted from logic.ts for better code organization.

package/dist/types/compute-engine/library/logic.d.ts

@@ -1,3 +1,3 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const LOGIC_LIBRARY: SymbolDefinitions;
 export declare const LOGIC_FUNCTION_LIBRARY: SymbolDefinitions;

package/dist/types/compute-engine/library/number-theory.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const NUMBER_THEORY_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/polynomials.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const POLYNOMIALS_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/quantity-arithmetic.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Arithmetic helpers for Quantity expressions.
  *
  * Extracted from arithmetic.ts to keep that file focused on scalar

package/dist/types/compute-engine/library/random-expression.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare function randomExpression(level?: number): MathJsonExpression;

package/dist/types/compute-engine/library/relational-operator.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const RELOP_LIBRARY: SymbolDefinitions;

package/dist/types/compute-engine/library/sets.d.ts

@@ -1,2 +1,28 @@
-/* 0.57.0 */
+/* 0.59.0 */
+import type { Expression, SymbolDefinitions } from '../global-types';
+/**
+ * Three-valued type membership test used by the `contains` handlers of the
+ * mathematical number sets.
+ *
+ * - `true`: `x` is definitely of type `t` (its type is a subtype of `t`).
+ * - `false`: `x` is definitely *not* of type `t` — either its type is disjoint
+ *   from `t`, or it is a concrete number literal whose exact value (reflected
+ *   in its narrow type) does not match.
+ * - `undefined`: membership is indeterminate — e.g. `x` is a symbol of unknown
+ *   or broader type that could, but need not, be of type `t`.
+ *
+ * Returning `undefined` (rather than a spurious `false`) is what allows
+ * `Element(x, Integers)` and similar to stay unevaluated for symbols of
+ * indeterminate type, instead of collapsing to `False`.
+ *
+ * The `false` refutation relies on the type lattice computing a correct
+ * *meet* for intersections: overlapping numeric primitives intersect to
+ * their greatest lower bound (e.g. `integer ∩ finite_real` =
+ * `finite_integer`), so `'nothing'` genuinely means "disjoint types"
+ * (REVIEW.md G15; see `meetPrimitiveTypes` in `common/type/subtype.ts`).
+ * This is what makes the precise per-set types used by the `contains`
+ * handlers below (e.g. `finite_complex`, `imaginary`) sound: a symbol
+ * declared `finite_real` is *not* refuted as an integer.
+ */
+export declare function typeMembership(x: Expression, t: Type): boolean | undefined;
 export declare const SETS_LIBRARY: SymbolDefinitions;

package/dist/types/compute-engine/library/statistics.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const STATISTICS_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/trigonometry.d.ts

@@ -1,2 +1,2 @@
-/* 0.57.0 */
+/* 0.59.0 */
 export declare const TRIGONOMETRY_LIBRARY: SymbolDefinitions[];

package/dist/types/compute-engine/library/type-handlers.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import type { Type } from '../../common/type/types';
 /** Real inputs → finite_real, otherwise → finite_number. */
 export declare function numericTypeHandler(ops: ReadonlyArray<Expression>): Type;

package/dist/types/compute-engine/library/unit-data.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
  * Re-export the unit registry from its canonical location in numerics/.
  *
  * The unit registry lives in numerics/ so that lower layers (like

package/dist/types/compute-engine/library/units.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import { type UnitExpression } from './unit-data';
 /**
  * Convert a boxed expression representing a unit into a plain

package/dist/types/compute-engine/library/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 /**
  * EL-4: Convert known infinite integer sets to their equivalent Limits bounds.
  * Returns undefined if the set cannot be converted to a Limits form.

package/dist/types/compute-engine/numeric-value/big-numeric-value.d.ts

@@ -1,4 +1,4 @@
-/* 0.57.0 */
+/* 0.59.0 */
 import type { SmallInteger } from '../numerics/types';
 import { NumericValue, NumericValueData } from './types';
 import { ExactNumericValue } from './exact-numeric-value';