@orkestrel/reason 0.0.10 → 0.0.12

package/dist/src/core/index.js

@@ -1,4 +1,4 @@
-import { GUARD_DEPTH_LIMIT, arrayOf, holds, isArray, isBoolean, isFiniteNumber, isNumber, isObject, isRecord, isString, lazyOf, literalOf, notOf, orOf, parseJSONAs, parseNumber, parseNumberField, readArrayEntries, recordOf, resolveField, unionOf, whereOf } from "@orkestrel/contract";
+import { GUARD_DEPTH_LIMIT, arrayOf, holds, isArray, isBoolean, isError, isFiniteNumber, isFunction, isInstance, isNumber, isObject, isRecord, isString, lazyOf, literalOf, notOf, orOf, parseJSONAs, parseNumber, parseNumberField, readArrayEntries, recordOf, resolveField, unionOf, whereOf } from "@orkestrel/contract";
 import { Emitter } from "@orkestrel/emitter";
 //#region src/core/constants.ts
 /**
@@ -143,7 +143,7 @@ var ReasonError = class extends Error {
 * ```
 */
 function isReasonError(value) {
-	return value instanceof ReasonError;
+	return isInstance(value, ReasonError);
 }
 //#endregion
 //#region src/core/validators.ts
@@ -1350,7 +1350,7 @@ function resolveSource(source, subject, fallback) {
 			const value = parseNumberField(subject, source.field);
 			if (value === void 0) return fallback;
 			for (const range of source.ranges) {
-				if (typeof range !== "object" || range === null) continue;
+				if (!isObject(range)) continue;
 				const limit = range.bounds;
 				if (!limit) return range.value;
 				const aboveMinimum = limit.minimum === void 0 || value >= limit.minimum;
@@ -1388,7 +1388,7 @@ function resolveSource(source, subject, fallback) {
 */
 function roundTo(value, precision = 0) {
 	const factor = Math.pow(10, precision);
-	if (!Number.isFinite(factor) || factor === 0) return value;
+	if (!isFiniteNumber(factor) || factor === 0) return value;
 	return Math.round(value * factor) / factor;
 }
 /**
@@ -1443,7 +1443,7 @@ function equalValues(left, right) {
 function sortByPriority(items) {
 	const usable = [];
 	for (const item of items) {
-		if (typeof item !== "object" || item === null) continue;
+		if (!isObject(item)) continue;
 		usable.push(item);
 	}
 	return usable.sort((left, right) => (left.priority ?? 0) - (right.priority ?? 0));
@@ -1563,7 +1563,7 @@ function indexByArity(facts) {
 * ```
 */
 function termToKey(term, identities) {
-	if (typeof term === "object" && term !== null || typeof term === "function") {
+	if (isObject(term) || isFunction(term)) {
 		const existing = identities.get(term);
 		if (existing !== void 0) return `${typeof term}:#${existing}`;
 		const id = identities.size;
@@ -1638,11 +1638,11 @@ function matchFacts(pattern, candidate) {
 	for (let index = 0; index < pattern.terms.length; index++) {
 		const patternTerm = pattern.terms[index];
 		const factTerm = candidate.terms[index];
-		if (typeof patternTerm === "string" && patternTerm.startsWith("?")) {
+		if (isString(patternTerm) && patternTerm.startsWith("?")) {
 			if (patternTerm in bindings) {
 				if (bindings[patternTerm] !== factTerm) return void 0;
 			} else bindings[patternTerm] = factTerm;
-		} else if (typeof factTerm === "string" && factTerm.startsWith("?")) {
+		} else if (isString(factTerm) && factTerm.startsWith("?")) {
 			if (factTerm in bindings) {
 				if (bindings[factTerm] !== patternTerm) return void 0;
 			} else bindings[factTerm] = patternTerm;
@@ -1674,7 +1674,7 @@ function matchFacts(pattern, candidate) {
 */
 function instantiateFact(fact, bindings) {
 	const terms = fact.terms.map((term) => {
-		if (typeof term === "string" && term.startsWith("?") && term in bindings) return bindings[term];
+		if (isString(term) && term.startsWith("?") && term in bindings) return bindings[term];
 		return term;
 	});
 	return {
@@ -1748,7 +1748,7 @@ function subjectToFacts(subject) {
 		if (key === "id") continue;
 		const value = subject[key];
 		if (value === void 0 || value === null) continue;
-		if (typeof value === "object") continue;
+		if (isObject(value)) continue;
 		facts.push({
 			id: `subject:${key}`,
 			predicate: "has",
@@ -2091,7 +2091,7 @@ function findOverlayMismatches(rules) {
 	const writeKeys = [];
 	const seenWrites = /* @__PURE__ */ new Set();
 	for (const candidate of rules) for (const atomLeaf of extractAtoms(candidate.conclusion)) {
-		if (!Array.isArray(atomLeaf.check.field)) continue;
+		if (!isArray(atomLeaf.check.field)) continue;
 		const key = formatField(atomLeaf.check.field);
 		if (seenWrites.has(key)) continue;
 		seenWrites.add(key);
@@ -2099,7 +2099,7 @@ function findOverlayMismatches(rules) {
 	}
 	const readKeys = /* @__PURE__ */ new Set();
 	for (const candidate of rules) for (const premise of candidate.premises) for (const atomLeaf of extractAtoms(premise)) {
-		if (!Array.isArray(atomLeaf.check.field)) continue;
+		if (!isArray(atomLeaf.check.field)) continue;
 		readKeys.add(formatField(atomLeaf.check.field));
 	}
 	return writeKeys.filter((key) => readKeys.has(key));
@@ -3343,7 +3343,7 @@ function mergeSubjects(base, incoming) {
 function repeatSubject(subject, count) {
 	const baseId = subject.id;
 	const clones = [];
-	for (let index = 0; index < count; index += 1) clones.push(typeof baseId === "string" ? {
+	for (let index = 0; index < count; index += 1) clones.push(isString(baseId) ? {
 		...subject,
 		id: `${baseId}-${index}`
 	} : { ...subject });
@@ -3498,7 +3498,7 @@ var Reason = class {
 		} catch (error) {
 			this.#emitter.emit("error", error);
 			if (this.#bail) throw error;
-			return buildErrorResult(definition, error instanceof Error ? error.message : String(error));
+			return buildErrorResult(definition, isError(error) ? error.message : String(error));
 		}
 	}
 	#ensureAlive() {
@@ -3548,7 +3548,7 @@ var Evaluator = class {
 				actual
 			};
 		} catch (error) {
-			const message = error instanceof Error ? error.message : String(error);
+			const message = isError(error) ? error.message : String(error);
 			return {
 				field: check.field,
 				met: false,
@@ -3764,7 +3764,7 @@ var QuantitativeReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.groups || !Array.isArray(definition.groups)) return {
+		if (!isArray(definition.groups)) return {
 			reasoning: "quantitative",
 			value: 0,
 			groups: [],
@@ -3778,7 +3778,7 @@ var QuantitativeReasoner = class {
 		let count = 0;
 		const groupResults = [];
 		for (const group of definition.groups) {
-			if (typeof group !== "object" || group === null) continue;
+			if (!isObject(group)) continue;
 			if (group.enabled === false) {
 				trace.push(`Skipped group "${group.id}" (disabled)`);
 				continue;
@@ -3793,7 +3793,7 @@ var QuantitativeReasoner = class {
 		trace.push(`Aggregated ${groupValues.length} groups with "${definition.aggregation}": base=${base}, raw=${value}`);
 		value = clamp(value, definition.bounds);
 		value = roundTo(value, definition.precision ?? 4);
-		if (!Number.isFinite(value)) {
+		if (!isFiniteNumber(value)) {
 			const description = Number.isNaN(value) ? "NaN" : String(value);
 			trace.push(`Definition "${definition.id}": produced non-finite value (${description})`);
 			errors.push(`Definition "${definition.id}" produced non-finite value: ${description}`);
@@ -3839,7 +3839,7 @@ var QuantitativeReasoner = class {
 		const factorValues = appliedFactors.map((factor) => factor.value);
 		const weightById = /* @__PURE__ */ new Map();
 		for (const original of group.factors) {
-			if (typeof original !== "object" || original === null) continue;
+			if (!isObject(original)) continue;
 			if (!weightById.has(original.id)) weightById.set(original.id, original.weight ?? 1);
 		}
 		const weights = appliedFactors.map((factor) => weightById.get(factor.id) ?? 1);
@@ -3877,7 +3877,7 @@ var QuantitativeReasoner = class {
 				value: 0
 			};
 		}
-		if (!Number.isFinite(raw)) {
+		if (!isFiniteNumber(raw)) {
 			const description = Number.isNaN(raw) ? "NaN" : String(raw);
 			trace.push(`Factor "${factor.id}": source produced non-finite value (${description})`);
 			errors.push(`Factor "${factor.id}" produced non-finite value: ${description}`);
@@ -3891,7 +3891,7 @@ var QuantitativeReasoner = class {
 		let value = raw;
 		if (factor.transforms && factor.transforms.length > 0) value = this.#transformer.chain(value, factor.transforms);
 		value = clamp(value, factor.bounds);
-		if (!Number.isFinite(value)) {
+		if (!isFiniteNumber(value)) {
 			const description = Number.isNaN(value) ? "NaN" : String(value);
 			trace.push(`Factor "${factor.id}": produced non-finite value (${description})`);
 			errors.push(`Factor "${factor.id}" produced non-finite value: ${description}`);
@@ -4003,7 +4003,7 @@ var LogicalReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.rules || !Array.isArray(definition.rules)) return {
+		if (!isArray(definition.rules)) return {
 			reasoning: "logical",
 			conclusion: false,
 			rules: [],
@@ -4032,7 +4032,7 @@ var LogicalReasoner = class {
 		const sortedRules = sortByPriority(definition.rules);
 		const reportedErrors = /* @__PURE__ */ new Set();
 		for (const rule of sortedRules) {
-			if (typeof rule !== "object" || rule === null) continue;
+			if (!isObject(rule)) continue;
 			if (rule.enabled === false) continue;
 			if (!rule.premises || rule.premises.length === 0) {
 				errors.push(`Rule "${rule.id}" has no premises — skipped`);
@@ -4074,7 +4074,7 @@ var LogicalReasoner = class {
 		};
 		const finalResults = [];
 		for (const rule of definition.rules) {
-			if (typeof rule !== "object" || rule === null) continue;
+			if (!isObject(rule)) continue;
 			if (rule.enabled === false) continue;
 			if (reportedErrors.has(rule.id)) continue;
 			finalResults.push(this.#evaluateRule(rule, finalSubject));
@@ -4090,9 +4090,9 @@ var LogicalReasoner = class {
 		const ruleResults = /* @__PURE__ */ new Map();
 		if (definition.rules.length === 0) trace.push("No rules defined");
 		const sortedRules = sortByPriority(definition.rules.filter((rule) => {
-			if (typeof rule !== "object" || rule === null) return false;
+			if (!isObject(rule)) return false;
 			if (rule.enabled === false) return false;
-			if (!rule.premises || !Array.isArray(rule.premises)) {
+			if (!isArray(rule.premises)) {
 				errors.push(`Rule "${rule.id}" has no premises — skipped`);
 				return false;
 			}
@@ -4103,7 +4103,7 @@ var LogicalReasoner = class {
 			return true;
 		}));
 		for (const rule of definition.rules) {
-			if (typeof rule !== "object" || rule === null) continue;
+			if (!isObject(rule)) continue;
 			if (rule.enabled === false) trace.push(`Skipped rule "${rule.id}" (disabled)`);
 		}
 		for (const rule of sortedRules) this.#proveRule(rule, 0, /* @__PURE__ */ new Set(), sortedRules, derived, subject, trace, ruleResults, maxDepth);
@@ -4154,7 +4154,7 @@ var LogicalReasoner = class {
 	#proveExpression(expression, rules, depth, visited, derived, subject, trace, ruleResults, maxDepth) {
 		if (depth > maxDepth) return false;
 		if (expression.form === "atom") for (const rule of rules) {
-			if (typeof rule !== "object" || rule === null) continue;
+			if (!isObject(rule)) continue;
 			if (visited.has(rule.id)) continue;
 			const conclusionFacts = extractConclusions(rule.conclusion);
 			const field = formatField(expression.check.field);
@@ -4340,7 +4340,7 @@ var SymbolicReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.equations || !Array.isArray(definition.equations)) return {
+		if (!isArray(definition.equations)) return {
 			reasoning: "symbolic",
 			solutions: {},
 			success: false,
@@ -4373,12 +4373,12 @@ var SymbolicReasoner = class {
 			};
 		}
 		for (const equation of definition.equations) {
-			if (typeof equation !== "object" || equation === null) continue;
+			if (!isObject(equation)) continue;
 			try {
 				const value = this.#solve(equation, bindings);
 				const rounded = roundTo(value, precision);
-				if (!Number.isFinite(value) || !Number.isFinite(rounded)) {
-					const offender = Number.isFinite(value) ? rounded : value;
+				if (!isFiniteNumber(value) || !isFiniteNumber(rounded)) {
+					const offender = isFiniteNumber(value) ? rounded : value;
 					const description = Number.isNaN(offender) ? "NaN" : `${offender}`;
 					errors.push(`Equation "${equation.id}": produced non-finite value (${description})`);
 					trace.push(`Equation "${equation.id}": FAILED — produced non-finite value (${description})`);
@@ -4387,14 +4387,14 @@ var SymbolicReasoner = class {
 				bindings[equation.target] = rounded;
 				trace.push(`Equation "${equation.id}": ${equation.target} = ${rounded}`);
 			} catch (error) {
-				const message = error instanceof Error ? error.message : String(error);
+				const message = isError(error) ? error.message : String(error);
 				errors.push(`Equation "${equation.id}": ${message}`);
 				trace.push(`Equation "${equation.id}": FAILED — ${message}`);
 			}
 		}
 		const solutions = {};
 		for (const equation of definition.equations) {
-			if (typeof equation !== "object" || equation === null) continue;
+			if (!isObject(equation)) continue;
 			const value = bindings[equation.target];
 			if (value !== void 0) solutions[equation.target] = value;
 		}
@@ -4540,11 +4540,11 @@ var InferentialReasoner = class {
 		if (!definition.inferences || definition.inferences.length === 0) warnings.push("Definition has no inference rules");
 		for (const id of findDuplicates(definition.inferences ?? [])) warnings.push(`Duplicate inference id "${id}"`);
 		for (const fact of definition.facts ?? []) {
-			if (typeof fact !== "object" || fact === null) continue;
+			if (!isObject(fact)) continue;
 			if (fact.confidence !== void 0 && !(fact.confidence >= 0 && fact.confidence <= 1)) warnings.push(`Fact "${fact.id}" confidence outside [0, 1]`);
 		}
 		for (const inference of definition.inferences ?? []) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!isObject(inference)) continue;
 			if (!inference.id) errors.push("Inference must have an id");
 			if (!inference.premises || inference.premises.length === 0) warnings.push(`Inference "${inference.id}" has no premises`);
 			if (!inference.conclusion) errors.push(`Inference "${inference.id}" must have a conclusion`);
@@ -4562,7 +4562,7 @@ var InferentialReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.facts || !Array.isArray(definition.facts) || !definition.inferences || !Array.isArray(definition.inferences)) return {
+		if (!definition.facts || !isArray(definition.facts) || !definition.inferences || !isArray(definition.inferences)) return {
 			reasoning: "inferential",
 			derived: [],
 			success: false,
@@ -4587,7 +4587,7 @@ var InferentialReasoner = class {
 		const maxDepth = definition.depth ?? 10;
 		const knownFacts = [];
 		for (const known of [...definition.facts, ...subjectFacts]) {
-			if (typeof known !== "object" || known === null) continue;
+			if (!isObject(known)) continue;
 			knownFacts.push(known);
 		}
 		const derived = [];
@@ -4602,7 +4602,7 @@ var InferentialReasoner = class {
 		}
 		const validInferences = [];
 		for (const inference of definition.inferences) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!isObject(inference)) continue;
 			if (inference.enabled === false) continue;
 			if (!inference.premises || inference.premises.length === 0) {
 				errors.push(`Inference "${inference.id}" has no premises — skipped`);
@@ -4651,7 +4651,7 @@ var InferentialReasoner = class {
 		const derived = [];
 		const allBaseFacts = [];
 		for (const known of [...definition.facts, ...subjectFacts]) {
-			if (typeof known !== "object" || known === null) continue;
+			if (!isObject(known)) continue;
 			allBaseFacts.push(known);
 		}
 		if (definition.inferences.length === 0) {
@@ -4659,7 +4659,7 @@ var InferentialReasoner = class {
 			return { derived };
 		}
 		for (const inference of definition.inferences) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!isObject(inference)) continue;
 			if (inference.enabled === false) continue;
 			if (!inference.conclusion) {
 				errors.push(`Inference "${inference.id}" has no conclusion — skipped`);
@@ -4688,9 +4688,9 @@ var InferentialReasoner = class {
 			depth
 		};
 		for (const inference of inferences) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!isObject(inference)) continue;
 			if (inference.enabled === false) continue;
-			if (!inference.premises || !Array.isArray(inference.premises)) continue;
+			if (!isArray(inference.premises)) continue;
 			if (!inference.conclusion) continue;
 			const conclusionBindings = matchFacts(goal, inference.conclusion);
 			if (!conclusionBindings) continue;
@@ -5714,8 +5714,8 @@ var SubjectBuilder = class {
 	#destroyed = false;
 	constructor(seed, options) {
 		const id = options?.id ?? seed.id;
-		this.#id = typeof id === "string" ? id : void 0;
-		if (typeof this.#id === "string") this.#subject = {
+		this.#id = isString(id) ? id : void 0;
+		if (isString(this.#id)) this.#subject = {
 			...seed,
 			id: this.#id
 		};
@@ -5761,7 +5761,7 @@ var SubjectBuilder = class {
 	merge(incoming) {
 		this.#ensureAlive();
 		const merged = mergeSubjects(this.#subject, incoming);
-		if (typeof this.#id !== "string" && Object.hasOwn(merged, "id")) {
+		if (!isString(this.#id) && Object.hasOwn(merged, "id")) {
 			const { id: _id, ...rest } = merged;
 			this.#subject = rest;
 		} else this.#subject = merged;
@@ -5769,7 +5769,7 @@ var SubjectBuilder = class {
 	}
 	clear() {
 		this.#ensureAlive();
-		this.#subject = typeof this.#id === "string" ? { id: this.#id } : {};
+		this.#subject = isString(this.#id) ? { id: this.#id } : {};
 		this.#emitter.emit("clear");
 	}
 	repeat(count) {