@orkestrel/reason 0.0.3 → 0.0.5

package/dist/src/core/index.cjs

@@ -105,7 +105,7 @@ var ReasonError = class extends Error {
 		super(message);
 		this.name = "ReasonError";
 		this.code = code;
-		this.context = context;
+		if (context !== void 0) this.context = context;
 	}
 };
 /**
@@ -949,7 +949,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
 *
@@ -961,9 +961,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
 	};
 }
@@ -1051,7 +1051,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,
@@ -1062,7 +1062,7 @@ var operation = (operator, left, right) => {
 		left,
 		right
 	};
-};
+}
 /**
 * Build an {@link Equation} — `left = right`, solved for `target`.
 *
@@ -2101,7 +2101,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;
 }
@@ -3429,10 +3432,7 @@ var Reason = class {
 	constructor(options) {
 		this.#bail = options?.bail ?? true;
 		this.#validate = options?.validate ?? false;
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 		for (const reasoner of options?.reasoners ?? []) this.#reasoners.set(reasoner.reasoning, reasoner);
 	}
 	get emitter() {
@@ -4104,34 +4104,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);
@@ -4146,6 +4119,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);
@@ -4533,7 +4533,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
@@ -4722,10 +4722,7 @@ var EquationManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#equations = options?.equations ?? [];
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -4792,10 +4789,7 @@ var FactManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#facts = options?.facts ?? [];
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -4864,10 +4858,7 @@ var FactorManager = class {
 	#destroyed = false;
 	constructor(groups, options) {
 		this.#groups = groups;
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -4936,10 +4927,7 @@ var GroupManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#groups = options?.groups ?? [];
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5006,10 +4994,7 @@ var InferenceManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#inferences = options?.inferences ?? [];
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5076,10 +5061,7 @@ var RuleManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#rules = options?.rules ?? [];
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5148,10 +5130,7 @@ var VariableManager = class {
 	#destroyed = false;
 	constructor(options) {
 		this.#variables = options?.variables ?? {};
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get emitter() {
 		return this.#emitter;
@@ -5233,10 +5212,7 @@ var DefinitionBuilder = class {
 			id: this.#id
 		};
 		this.#envelope = this.#strip(seeded);
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.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 : [] });
@@ -5423,10 +5399,7 @@ var SubjectBuilder = class {
 			const { id: _id, ...rest } = seed;
 			this.#subject = rest;
 		}
-		this.#emitter = new _orkestrel_emitter.Emitter({
-			on: options?.on,
-			error: options?.error
-		});
+		this.#emitter = new _orkestrel_emitter.Emitter(options);
 	}
 	get id() {
 		return this.#id;