@cortex-js/compute-engine 0.129.0 → 0.129.1

package/dist/types/big-decimal/big-decimal.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * BigDecimal: an arbitrary-precision decimal type.
  *
  * Value = significand * 10^exponent

package/dist/types/big-decimal/index.d.ts

@@ -1,2 +1,2 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import './transcendentals.js';

package/dist/types/big-decimal/transcendentals.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Transcendental / irrational operations for BigDecimal.
  *
  * This module attaches `sqrt()` and `cbrt()` to BigDecimal.prototype

package/dist/types/big-decimal/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Fixed-point BigInt utilities for internal use by transcendental functions.
  *
  * A "fixed-point BigInt" represents a real number as `value = n / 2^bits`

package/dist/types/common/ansi-codes.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export declare const DEFAULT_COLOR = "\u001B[39m";
 export declare const DEFAULT_BG = "\u001B[49m";
 export declare const WHITE_BG = "\u001B[47m";

package/dist/types/common/cache-stats.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Opt-in instrumentation for the engine's memoization layers, gated on the
  * `CE_CACHE_STATS` environment variable (env-gated like `CE_DEBUG_BINDINGS`
  * and `CE_MEMO_PARANOID`). A measuring aid, not a semantic mode: with the

package/dist/types/common/configuration-change.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
     private _listeners;
     private _registered;
     private _pending;

package/dist/types/common/debug-hook.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Debugger statement hook.
  *
  * When set, `evaluateStatements()` (`compute-engine/function-utils.ts` — the

package/dist/types/common/debug.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export declare class Origin {
     url: string;
     source: string;

package/dist/types/common/fuzzy-string-match.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Optimal string alignment distance (restricted Damerau–Levenshtein: handles
  * substitution, insertion, deletion, and adjacent transposition). Bails out
  * early, returning `max + 1`, once the distance is known to exceed `max`.

package/dist/types/common/grapheme-splitter.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Return a string or an array of graphemes.
  *

package/dist/types/common/interruptible.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Machine-readable reason a `CancellationError` was thrown.
  *
  * These are the engine's own cap-breach codes; the union is intentionally

package/dist/types/common/kleene.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Kleene three-valued logic over `boolean | undefined`, where `undefined`
  * means UNDECIDED — not "false".
  *

package/dist/types/common/one-of.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
     infer Head,
     ...infer Rem
 ] ? MergeTypes<Rem, Res & Head> : Res;

package/dist/types/common/signals.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export type RuntimeSignalCode = 'timeout' | 'out-of-memory' | 'recursion-depth-exceeded' | 'iteration-limit-exceeded';
 /** @category Error Handling */
 export type SignalCode = RuntimeSignalCode | ('invalid-name' | 'expected-predicate' | 'expected-symbol' | 'operator-requires-one-operand' | 'postfix-operator-requires-one-operand' | 'prefix-operator-requires-one-operand' | 'unbalanced-symbols' | 'expected-argument' | 'unexpected-command' | 'cyclic-definition' | 'invalid-supersets' | 'expected-supersets' | 'unknown-domain' | 'duplicate-wikidata' | 'invalid-dictionary-entry' | 'syntax-error');

package/dist/types/common/styled-text.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
     fg?: string;
     bg?: string;
     weight?: 'bold' | 'normal' | 'thin';

package/dist/types/common/terminal.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 declare abstract class Terminal {
     width: number | undefined;
     indent: number;

package/dist/types/common/type/ast-nodes.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export interface ASTNode {
     kind: string;
     position: number;

package/dist/types/common/type/boxed-type.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { factsOf } from './facts.js';
 /** @category Type */
 export declare class BoxedType {

package/dist/types/common/type/compatibility.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * The DISJOINTNESS half of **compatibility admission** for callback operands
  * (Design E §3, `docs/TYPE-SYSTEM.md`

package/dist/types/common/type/conditional-conformance.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /** The conformance oracle a conditional target's `is` entries are checked
  * against — `TypeResolver.conformsTo`, supplied by the engine (ruling P36). */
 export type ConformanceOracle = (type: Type, protocol: string) => boolean;

package/dist/types/common/type/effects.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * The closed, engine-versioned enumeration of effect labels, in canonical
  * (alphabetical) order. See `docs/EFFECTS-MODEL.md` for the metadata each

package/dist/types/common/type/facts.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 type Tri = boolean | undefined;
 /**
  * Type-only evidence, computed lazily from shared proofs. Unknown answers

package/dist/types/common/type/immutable.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * A shared frozen numeric leaf built only from scalar fields. The key keeps
  * the exact stored shape: absent bounds differ from explicit infinities,

package/dist/types/common/type/instantiate.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Type variables (parametric polymorphism), type-layer half.
  *

package/dist/types/common/type/intern.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /** Is `t` an object this module handed out? */
 export declare function isInternedType(t: Readonly<Type>): boolean;
 /**

package/dist/types/common/type/lexer.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export interface Token {
     type: TokenType;
     value: string;

package/dist/types/common/type/numeric-range.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * The ONE constructor for a numeric range type. Every site that builds a
  * `numeric` node with bounds goes through here, so the normal form of

package/dist/types/common/type/parse.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Options accepted by the type-string entry points.
  *

package/dist/types/common/type/parser.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { TypeNode } from './ast-nodes.js';
 import { TypeParameter, TypeResolver } from './types.js';
 /**

package/dist/types/common/type/primitive.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /** All the types representing numeric values */
 export declare const NUMERIC_TYPES: NumericPrimitiveType[];
 export declare const INDEXED_COLLECTION_TYPES: PrimitiveType[];

package/dist/types/common/type/reduce.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Reduce the input type
  *

package/dist/types/common/type/reference.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Applied references to a parameterized NOMINAL type — the one node shape
  * `docs/TYPE-SYSTEM.md` adds.

package/dist/types/common/type/serialize.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * The structural de-duplication key of a type: its serialization, with every
  * stated-pure arrow (`effects: []`) written as a bare arrow.

package/dist/types/common/type/size-cap.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * The largest DERIVED type the engine keeps in full, counted in nodes (one
  * per primitive, one per compound). A derived type past this size has its

package/dist/types/common/type/subtype.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /** Return true if lhs is a subtype of rhs */
 export declare function isPrimitiveSubtype(lhs: PrimitiveType, rhs: PrimitiveType): boolean;
 /**

package/dist/types/common/type/type-builder.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { Type, TypeResolver, TypeParameter } from './types.js';
 export declare class TypeBuilder implements ASTVisitor<Type> {
     private typeResolver;

package/dist/types/common/type/types.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * A primitive type is a simple type that represents a concrete value.
  *
  * - `any`: the top type

package/dist/types/common/type/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export { isValidType };
 export { widen, widenAll, narrow } from './subtype.js';
 import type { EffectSet, Type, FunctionSignature, NumericPrimitiveType, TypeReference, TypeString } from './types.js';

package/dist/types/common/type/variance.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Variance of a parameterized NOMINAL type — the position analysis of
  * `docs/TYPE-SYSTEM.md`, the

package/dist/types/common/type/widen-value.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Widen every numeric VALUE type in a type-handler result to its ordinary
  * tier, so a literal type never leaks into a stored expression type.

package/dist/types/common/utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  *
  * <!--
  * !@consider?

package/dist/types/compile.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export { compile } from './compute-engine/compilation/compile-expression.js';
 export { JavaScriptTarget } from './compute-engine/compilation/javascript-target.js';
 export { GPUShaderTarget } from './compute-engine/compilation/gpu-target.js';

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

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { type Subject } from './boxed-expression/constraint-subject.js';
 /**
  * Add an assumption, in the form of a predicate, for example:

package/dist/types/compute-engine/boxed-expression/abstract-boxed-expression.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { MathJsonExpression, MathJsonSymbol } from '../../math-json/types.js';
 import type { EffectLabel, Type, TypeString } from '../../common/type/types.js';
 import { BoxedType } from '../../common/type/boxed-type.js';

package/dist/types/compute-engine/boxed-expression/ambient-chain.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Whether `scope` is reached by walking the parent links up from `from`
  * (`from` itself included). A root scope's parent link may be `undefined`

package/dist/types/compute-engine/boxed-expression/apply.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { BigDecimal } from '../../big-decimal/index.js';
 import type { Expression } from '../global-types.js';
 /**

package/dist/types/compute-engine/boxed-expression/arithmetic-add.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Expression, IComputeEngine as ComputeEngine } from '../global-types.js';
 /**
  *

package/dist/types/compute-engine/boxed-expression/arithmetic-mul-div.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { NumericValue } from '../numeric-value/types.js';
 import type { Rational } from '../numerics/types.js';
 /**

package/dist/types/compute-engine/boxed-expression/arithmetic-power.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Rational } from '../numerics/types.js';
 /**
  * The reduced terms `[p, q]` of a real exponent, for deciding the branch of a

package/dist/types/compute-engine/boxed-expression/ascii-math.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export type AsciiMathSerializer = (expr: Expression, precedence?: number) => string;
 export type AsciiMathOptions = {
     symbols: Record<string, string>;

package/dist/types/compute-engine/boxed-expression/async-only-descendants.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Await the ASYNCHRONOUS-ONLY descendants of a lazy operator's held operands
  * before its synchronous handler runs — for an operator that demands every

package/dist/types/compute-engine/boxed-expression/binders.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * The names bound BY THIS NODE (not by its descendants).
  *

package/dist/types/compute-engine/boxed-expression/binding-sites.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { BindingSiteSelector, Expression, Scope } from '../global-types.js';
 /**
  * The operands at `indices` are this operator's bound variables.

package/dist/types/compute-engine/boxed-expression/binding-tombstone.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * The `popScope` debug invariant, Tier 1
  * (`docs/SCOPING-MODEL.md`).
  *

package/dist/types/compute-engine/boxed-expression/box.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { FormOption } from '../types-serialization.js';
 import type { MathJsonSymbol } from '../../math-json/types.js';
 import { NumericValue } from '../numeric-value/types.js';

package/dist/types/compute-engine/boxed-expression/boxed-character.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { _BoxedExpression } from './abstract-boxed-expression.js';
 import { BoxedType } from '../../common/type/boxed-type.js';
 /**

package/dist/types/compute-engine/boxed-expression/boxed-dictionary.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { _BoxedExpression } from './abstract-boxed-expression.js';
 import { BoxedType } from '../../common/type/boxed-type.js';
 import { DictionaryValue, MathJsonExpression } from '../../math-json/types.js';

package/dist/types/compute-engine/boxed-expression/boxed-function.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { SimplifyOptions, ExplainOperation, ExplainOptions, Explanation, ReplaceOptions, PatternMatchOptions, Expression, BoxedBaseDefinition, BoxedOperatorDefinition, BoxedRuleSet, BoxedSubstitution, CanonicalOptions, EvaluateOptions, IComputeEngine as ComputeEngine, Metadata, Rule, Sign, Substitution, Scope, BoxedValueDefinition, ExpressionInput, FunctionInterface } from '../global-types.js';
 import { type BroadcastOperandView } from './broadcast-lift-type.js';
 import { type OverloadResolution } from './overload.js';

package/dist/types/compute-engine/boxed-expression/boxed-number.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { BigDecimal } from '../../big-decimal/index.js';
 import type { MathJsonExpression, MathJsonNumberObject } from '../../math-json.js';
 import type { Rational, SmallInteger } from '../numerics/types.js';

package/dist/types/compute-engine/boxed-expression/boxed-object.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { BoxedSubstitution, CanonicalOptions, EvaluateOptions, Expression, ExpressionInput, IComputeEngine as ComputeEngine, Metadata, ObjectInterface, PatternMatchOptions, SimplifyOptions, Substitution } from '../global-types.js';
 import type { Type } from '../../common/type/types.js';
 import { BoxedType } from '../../common/type/boxed-type.js';

package/dist/types/compute-engine/boxed-expression/boxed-operator-definition.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { BoxedType } from '../../common/type/boxed-type.js';
 import type { OperatorDefinition, OperatorTypeHandlerOnTypes, Expression, BoxedOperatorDefinition, LambdaDefinition, CollectionHandlers, OperatorCompileHandler, EvaluateOptions, EvaluateHandlerOptions, IComputeEngine as ComputeEngine, Scope, Sign, BindingSiteSelector, BroadcastExemption, TypeProvenanceEntry } from '../global-types.js';
 export declare class _BoxedOperatorDefinition implements BoxedOperatorDefinition {

package/dist/types/compute-engine/boxed-expression/boxed-patterns.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * # Pattern Matching Wildcards
  *
  * Patterns can contain wildcards that match parts of expressions. There are

package/dist/types/compute-engine/boxed-expression/boxed-string.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { _BoxedExpression } from './abstract-boxed-expression.js';
 import { BoxedType } from '../../common/type/boxed-type.js';
 /**

package/dist/types/compute-engine/boxed-expression/boxed-symbol.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Type, TypeString } from '../../common/type/types.js';
 import type { OneOf } from '../../common/one-of.js';
 import { BoxedType } from '../../common/type/boxed-type.js';

package/dist/types/compute-engine/boxed-expression/boxed-value-definition.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Type, TypeString } from '../../common/type/types.js';
 import { BoxedType } from '../../common/type/boxed-type.js';
 import { ConfigurationChangeListener } from '../../common/configuration-change.js';

package/dist/types/compute-engine/boxed-expression/broadcast-cell-widening.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Withhold a number literal's literal type while the interpreter computes a
  * broadcast cell.
  *

package/dist/types/compute-engine/boxed-expression/broadcast-lift-type.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * The broadcast typing of an application over collection operands, shared by
  * the two type-derivation routes.
  *

package/dist/types/compute-engine/boxed-expression/cache.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import { type ObjectDeps } from './object-deps.js';
 /**
  * One memoized answer, with everything that decides whether it may be served.

package/dist/types/compute-engine/boxed-expression/call-result-type.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Type } from '../../common/type/types.js';
 /** Derive a call's result from its body without changing the callable contract.
  * Parameters and straight-line locals carry descriptors, never runtime values.

package/dist/types/compute-engine/boxed-expression/callback-arity.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * One admissible way an operator applies its callback: how many arguments it
  * passes, and what those arguments ARE, in the words the author would use.

package/dist/types/compute-engine/boxed-expression/canonical-utils.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Ensure all expressions in the array are in canonical form
  */

package/dist/types/compute-engine/boxed-expression/canonical.d.ts

@@ -1,2 +1,2 @@
-/* 0.129.0 */
+/* 0.129.1 */
 export declare function canonicalForm(expr: Expression, forms: CanonicalOptions, scope?: Scope): Expression;

package/dist/types/compute-engine/boxed-expression/collection-element-memo.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Element memoization for lazy collection operators (Tycho item 126).
  *

package/dist/types/compute-engine/boxed-expression/compare.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 type ExpandFn = (expr: Expression) => Expression;
 /** @internal */
 export declare function _setExpand(fn: ExpandFn): void;

package/dist/types/compute-engine/boxed-expression/conditional-value.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Producer-side chokepoint for a conditional value (conditional-values design,
  * decision 7). Resolves a *decidable* guard against evaluation + the assumption

package/dist/types/compute-engine/boxed-expression/constants.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Leaf module for shared constants used across boxed-expression modules.
  * No imports from sibling modules to avoid circular dependencies.
  */

package/dist/types/compute-engine/boxed-expression/constraint-subject.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Type } from '../../common/type/types.js';
 /**
  * Constraint subjects (docs/fungrim/FUNGRIM-PLAN-3-ASSUMPTIONS.md §2).

package/dist/types/compute-engine/boxed-expression/cycle-guard.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * Guard against **indirect** reference cycles between symbol values.
  *
  * A pair of bindings such as `a := b` with `b := a` is individually

package/dist/types/compute-engine/boxed-expression/definition-guards.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
  * The two tag guards over a `BoxedDefinition` — is it a VALUE binding, is it
  * an OPERATOR binding. A leaf module on purpose: they are needed by modules
  * that `utils.ts` (transitively, through `boxed-operator-definition.ts` and

package/dist/types/compute-engine/boxed-expression/derive-application-type.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { Type } from '../../common/type/types.js';
 import { type SolveActual } from './generic-instantiation.js';
 /**

package/dist/types/compute-engine/boxed-expression/diophantine.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 /**
  * Symbolic diophantine solving for the `Solve` pipeline (Phase 3).
  *

package/dist/types/compute-engine/boxed-expression/effects-inference.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { BoxedType } from '../../common/type/boxed-type.js';
 import { signatureEffects } from '../../common/type/utils.js';
 import type { Expression, IComputeEngine as ComputeEngine } from '../global-types.js';

package/dist/types/compute-engine/boxed-expression/effects-of.d.ts

@@ -1,4 +1,4 @@
-/* 0.129.0 */
+/* 0.129.1 */
 import type { ComputedEffects } from '../../common/type/effects.js';
 import type { BoxedOperatorDefinition, Expression, IComputeEngine as ComputeEngine } from '../global-types.js';
 /**