@orkestrel/reason 0.0.3 → 0.0.5

package/dist/src/core/index.d.cts

@@ -3287,7 +3287,7 @@ export declare interface AggregatorOptions {
         * operation('abs', variable('x')) // unary — no right operand
         * ```
         */
-       export declare const operation: (operator: MathOperation, left: SymbolicExpression, right?: SymbolicExpression) => SymbolicExpression;
+       export declare function operation(operator: MathOperation, left: SymbolicExpression, right?: SymbolicExpression): SymbolicExpression;
 
        /**
         * Parse a JSON string into a {@link Definition}, failing safe to `undefined`.
@@ -4693,7 +4693,7 @@ export declare interface AggregatorOptions {
                * transform stays exact-record valid; the transformer then applies its
                * per-operation default (`1` for `multiply` / `divide` / `power`, `0` otherwise).
                *
-               * @param operation - The math operation to apply
+               * @param operator - The math operation to apply
                * @param operand - The operand (ignored by the unary operations)
                * @returns A fresh transform
                *
@@ -4705,7 +4705,7 @@ export declare interface AggregatorOptions {
                * transform('round')       // { operation: 'round' }
                * ```
                */
-              export declare function transform(operation: MathOperation, operand?: number): Transform;
+              export declare function transform(operator: MathOperation, operand?: number): Transform;
 
               /**
                * Applies math {@link Transform}s to numbers — the quantitative reasoner's
@@ -4720,13 +4720,14 @@ export declare interface AggregatorOptions {
                * a strict left fold — `NaN` flows through untouched. Stateless and
                * deterministic.
                */
-              export declare class Transformer implements TransformerInterface {
+              declare class Transformer_2 implements TransformerInterface {
                   #private;
                   constructor(options?: TransformerOptions);
                   get id(): string;
                   apply(value: number, transform: Transform): number;
                   chain(value: number, transforms: readonly Transform[]): number;
               }
+              export { Transformer_2 as Transformer }
 
               /** Default `id` for a `Transformer`. */
               export declare const TRANSFORMER_ID = "transformer";

package/dist/src/core/index.d.ts

@@ -3287,7 +3287,7 @@ export declare interface AggregatorOptions {
         * operation('abs', variable('x')) // unary — no right operand
         * ```
         */
-       export declare const operation: (operator: MathOperation, left: SymbolicExpression, right?: SymbolicExpression) => SymbolicExpression;
+       export declare function operation(operator: MathOperation, left: SymbolicExpression, right?: SymbolicExpression): SymbolicExpression;
 
        /**
         * Parse a JSON string into a {@link Definition}, failing safe to `undefined`.
@@ -4693,7 +4693,7 @@ export declare interface AggregatorOptions {
                * transform stays exact-record valid; the transformer then applies its
                * per-operation default (`1` for `multiply` / `divide` / `power`, `0` otherwise).
                *
-               * @param operation - The math operation to apply
+               * @param operator - The math operation to apply
                * @param operand - The operand (ignored by the unary operations)
                * @returns A fresh transform
                *
@@ -4705,7 +4705,7 @@ export declare interface AggregatorOptions {
                * transform('round')       // { operation: 'round' }
                * ```
                */
-              export declare function transform(operation: MathOperation, operand?: number): Transform;
+              export declare function transform(operator: MathOperation, operand?: number): Transform;
 
               /**
                * Applies math {@link Transform}s to numbers — the quantitative reasoner's
@@ -4720,13 +4720,14 @@ export declare interface AggregatorOptions {
                * a strict left fold — `NaN` flows through untouched. Stateless and
                * deterministic.
                */
-              export declare class Transformer implements TransformerInterface {
+              declare class Transformer_2 implements TransformerInterface {
                   #private;
                   constructor(options?: TransformerOptions);
                   get id(): string;
                   apply(value: number, transform: Transform): number;
                   chain(value: number, transforms: readonly Transform[]): number;
               }
+              export { Transformer_2 as Transformer }
 
               /** Default `id` for a `Transformer`. */
               export declare const TRANSFORMER_ID = "transformer";

package/dist/src/core/index.js

@@ -104,7 +104,7 @@ var ReasonError = class extends Error {
 		super(message);
 		this.name = "ReasonError";
 		this.code = code;
-		this.context = context;
+		if (context !== void 0) this.context = context;
 	}
 };
 /**
@@ -948,7 +948,7 @@ function rule(id, premises, conclusion, overrides) {
 * transform stays exact-record valid; the transformer then applies its
 * per-operation default (`1` for `multiply` / `divide` / `power`, `0` otherwise).
 *
-* @param operation - The math operation to apply
+* @param operator - The math operation to apply
 * @param operand - The operand (ignored by the unary operations)
 * @returns A fresh transform
 *
@@ -960,9 +960,9 @@ function rule(id, premises, conclusion, overrides) {
 * transform('round')       // { operation: 'round' }
 * ```
 */
-function transform(operation, operand) {
-	return operand === void 0 ? { operation } : {
-		operation,
+function transform(operator, operand) {
+	return operand === void 0 ? { operation: operator } : {
+		operation: operator,
 		operand
 	};
 }
@@ -1050,7 +1050,7 @@ function constant(value) {
 * operation('abs', variable('x')) // unary — no right operand
 * ```
 */
-var operation = (operator, left, right) => {
+function operation(operator, left, right) {
 	return right === void 0 ? {
 		form: "operation",
 		operator,
@@ -1061,7 +1061,7 @@ var operation = (operator, left, right) => {
 		left,
 		right
 	};
-};
+}
 /**
 * Build an {@link Equation} — `left = right`, solved for `target`.
 *
@@ -2100,7 +2100,10 @@ function extractAtoms(expression) {
 			continue;
 		}
 		const operands = node.operands;
-		for (let index = operands.length - 1; index >= 0; index--) if (index in operands) stack.push(operands[index]);
+		for (let index = operands.length - 1; index >= 0; index--) {
+			const operand = operands[index];
+			if (operand !== void 0) stack.push(operand);
+		}
 	}
 	return atoms;
 }
@@ -3428,10 +3431,7 @@ var Reason = class {
 	constructor(options) {
 		this.#bail = options?.bail ?? true;
 		this.#validate = options?.validate ?? false;
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 		for (const reasoner of options?.reasoners ?? []) this.#reasoners.set(reasoner.reasoning, reasoner);
 	}
 	get emitter() {
@@ -4103,34 +4103,7 @@ var LogicalReasoner = class {
 			if (typeof rule !== "object" || rule === null) continue;
 			if (rule.enabled === false) trace.push(`Skipped rule "${rule.id}" (disabled)`);
 		}
-		const prove = (rule, depth, visited) => {
-			if (depth > maxDepth) return false;
-			if (visited.has(rule.id)) return false;
-			const nextVisited = new Set(visited);
-			nextVisited.add(rule.id);
-			const currentSubject = {
-				...subject,
-				...derived
-			};
-			const premiseResults = [];
-			for (const premise of rule.premises) premiseResults.push(this.#establish(premise, currentSubject, sortedRules, depth + 1, nextVisited, derived, subject, trace, ruleResults, maxDepth));
-			const allMet = premiseResults.every(Boolean);
-			ruleResults.set(rule.id, {
-				id: rule.id,
-				applied: allMet,
-				premises: premiseResults,
-				conclusion: allMet
-			});
-			if (allMet) {
-				const conclusions = extractConclusions(rule.conclusion);
-				for (const [key, value] of Object.entries(conclusions)) if (!equalValues(derived[key], value)) {
-					derived[key] = value;
-					trace.push(`Rule "${rule.id}" derived: ${key}=${String(value)} (backward, depth ${depth})`);
-				}
-			} else trace.push(`Rule "${rule.id}": does not hold (backward, depth ${depth})`);
-			return allMet;
-		};
-		for (const rule of sortedRules) prove(rule, 0, /* @__PURE__ */ new Set());
+		for (const rule of sortedRules) this.#proveRule(rule, 0, /* @__PURE__ */ new Set(), sortedRules, derived, subject, trace, ruleResults, maxDepth);
 		const finalResults = [];
 		for (const rule of sortedRules) {
 			const existing = ruleResults.get(rule.id);
@@ -4145,6 +4118,33 @@ var LogicalReasoner = class {
 			rules: finalResults
 		};
 	}
+	#proveRule(rule, depth, visited, rules, derived, subject, trace, ruleResults, maxDepth) {
+		if (depth > maxDepth) return false;
+		if (visited.has(rule.id)) return false;
+		const nextVisited = new Set(visited);
+		nextVisited.add(rule.id);
+		const currentSubject = {
+			...subject,
+			...derived
+		};
+		const premiseResults = [];
+		for (const premise of rule.premises) premiseResults.push(this.#establish(premise, currentSubject, rules, depth + 1, nextVisited, derived, subject, trace, ruleResults, maxDepth));
+		const allMet = premiseResults.every(Boolean);
+		ruleResults.set(rule.id, {
+			id: rule.id,
+			applied: allMet,
+			premises: premiseResults,
+			conclusion: allMet
+		});
+		if (allMet) {
+			const conclusions = extractConclusions(rule.conclusion);
+			for (const [key, value] of Object.entries(conclusions)) if (!equalValues(derived[key], value)) {
+				derived[key] = value;
+				trace.push(`Rule "${rule.id}" derived: ${key}=${String(value)} (backward, depth ${depth})`);
+			}
+		} else trace.push(`Rule "${rule.id}": does not hold (backward, depth ${depth})`);
+		return allMet;
+	}
 	#establish(expression, currentSubject, rules, depth, visited, derived, subject, trace, ruleResults, maxDepth) {
 		if (this.#evaluateExpression(expression, currentSubject)) return true;
 		return this.#proveExpression(expression, rules, depth, visited, derived, subject, trace, ruleResults, maxDepth);
@@ -4532,7 +4532,7 @@ var InferentialReasoner = class {
 		return {
 			reasoning: "inferential",
 			derived: result.derived,
-			proof: result.proof,
+			...result.proof === void 0 ? {} : { proof: result.proof },
 			success: errors.length === 0,
 			trace,
 			errors
@@ -4721,10 +4721,7 @@ var EquationManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#equations = options?.equations ?? [];
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -4791,10 +4788,7 @@ var FactManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#facts = options?.facts ?? [];
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -4863,10 +4857,7 @@ var FactorManager = class {
 	#destroyed = false;
 	constructor(groups, options) {
 		this.#groups = groups;
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -4935,10 +4926,7 @@ var GroupManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#groups = options?.groups ?? [];
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5005,10 +4993,7 @@ var InferenceManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#inferences = options?.inferences ?? [];
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5075,10 +5060,7 @@ var RuleManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#rules = options?.rules ?? [];
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5147,10 +5129,7 @@ var VariableManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#variables = options?.variables ?? {};
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5232,10 +5211,7 @@ var DefinitionBuilder = class {
 			id: this.#id
 		};
 		this.#envelope = this.#strip(seeded);
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 		this.groups = options?.groups ?? new GroupManager({ groups: seeded.reasoning === "quantitative" ? seeded.groups : [] });
 		this.factors = options?.factors ?? new FactorManager(this.groups);
 		this.rules = options?.rules ?? new RuleManager({ rules: seeded.reasoning === "logical" ? seeded.rules : [] });
@@ -5422,10 +5398,7 @@ var SubjectBuilder = class {
 			const { id: _id, ...rest } = seed;
 			this.#subject = rest;
 		}
-		this.#emitter = new Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new Emitter(options);
 	}
 	get id() {
 		return this.#id;