@orkestrel/reason 0.0.10 → 0.0.12

package/dist/src/core/index.cjs

@@ -144,7 +144,7 @@ var ReasonError = class extends Error {
 * ```
 */
 function isReasonError(value) {
-	return value instanceof ReasonError;
+	return (0, _orkestrel_contract.isInstance)(value, ReasonError);
 }
 //#endregion
 //#region src/core/validators.ts
@@ -1351,7 +1351,7 @@ function resolveSource(source, subject, fallback) {
 			const value = (0, _orkestrel_contract.parseNumberField)(subject, source.field);
 			if (value === void 0) return fallback;
 			for (const range of source.ranges) {
-				if (typeof range !== "object" || range === null) continue;
+				if (!(0, _orkestrel_contract.isObject)(range)) continue;
 				const limit = range.bounds;
 				if (!limit) return range.value;
 				const aboveMinimum = limit.minimum === void 0 || value >= limit.minimum;
@@ -1389,7 +1389,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 (!(0, _orkestrel_contract.isFiniteNumber)(factor) || factor === 0) return value;
 	return Math.round(value * factor) / factor;
 }
 /**
@@ -1444,7 +1444,7 @@ function equalValues(left, right) {
 function sortByPriority(items) {
 	const usable = [];
 	for (const item of items) {
-		if (typeof item !== "object" || item === null) continue;
+		if (!(0, _orkestrel_contract.isObject)(item)) continue;
 		usable.push(item);
 	}
 	return usable.sort((left, right) => (left.priority ?? 0) - (right.priority ?? 0));
@@ -1564,7 +1564,7 @@ function indexByArity(facts) {
 * ```
 */
 function termToKey(term, identities) {
-	if (typeof term === "object" && term !== null || typeof term === "function") {
+	if ((0, _orkestrel_contract.isObject)(term) || (0, _orkestrel_contract.isFunction)(term)) {
 		const existing = identities.get(term);
 		if (existing !== void 0) return `${typeof term}:#${existing}`;
 		const id = identities.size;
@@ -1639,11 +1639,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 ((0, _orkestrel_contract.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 ((0, _orkestrel_contract.isString)(factTerm) && factTerm.startsWith("?")) {
 			if (factTerm in bindings) {
 				if (bindings[factTerm] !== patternTerm) return void 0;
 			} else bindings[factTerm] = patternTerm;
@@ -1675,7 +1675,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 ((0, _orkestrel_contract.isString)(term) && term.startsWith("?") && term in bindings) return bindings[term];
 		return term;
 	});
 	return {
@@ -1749,7 +1749,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 ((0, _orkestrel_contract.isObject)(value)) continue;
 		facts.push({
 			id: `subject:${key}`,
 			predicate: "has",
@@ -2092,7 +2092,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 (!(0, _orkestrel_contract.isArray)(atomLeaf.check.field)) continue;
 		const key = formatField(atomLeaf.check.field);
 		if (seenWrites.has(key)) continue;
 		seenWrites.add(key);
@@ -2100,7 +2100,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 (!(0, _orkestrel_contract.isArray)(atomLeaf.check.field)) continue;
 		readKeys.add(formatField(atomLeaf.check.field));
 	}
 	return writeKeys.filter((key) => readKeys.has(key));
@@ -3344,7 +3344,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((0, _orkestrel_contract.isString)(baseId) ? {
 		...subject,
 		id: `${baseId}-${index}`
 	} : { ...subject });
@@ -3499,7 +3499,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, (0, _orkestrel_contract.isError)(error) ? error.message : String(error));
 		}
 	}
 	#ensureAlive() {
@@ -3549,7 +3549,7 @@ var Evaluator = class {
 				actual
 			};
 		} catch (error) {
-			const message = error instanceof Error ? error.message : String(error);
+			const message = (0, _orkestrel_contract.isError)(error) ? error.message : String(error);
 			return {
 				field: check.field,
 				met: false,
@@ -3765,7 +3765,7 @@ var QuantitativeReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.groups || !Array.isArray(definition.groups)) return {
+		if (!(0, _orkestrel_contract.isArray)(definition.groups)) return {
 			reasoning: "quantitative",
 			value: 0,
 			groups: [],
@@ -3779,7 +3779,7 @@ var QuantitativeReasoner = class {
 		let count = 0;
 		const groupResults = [];
 		for (const group of definition.groups) {
-			if (typeof group !== "object" || group === null) continue;
+			if (!(0, _orkestrel_contract.isObject)(group)) continue;
 			if (group.enabled === false) {
 				trace.push(`Skipped group "${group.id}" (disabled)`);
 				continue;
@@ -3794,7 +3794,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 (!(0, _orkestrel_contract.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}`);
@@ -3840,7 +3840,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 (!(0, _orkestrel_contract.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);
@@ -3878,7 +3878,7 @@ var QuantitativeReasoner = class {
 				value: 0
 			};
 		}
-		if (!Number.isFinite(raw)) {
+		if (!(0, _orkestrel_contract.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}`);
@@ -3892,7 +3892,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 (!(0, _orkestrel_contract.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}`);
@@ -4004,7 +4004,7 @@ var LogicalReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.rules || !Array.isArray(definition.rules)) return {
+		if (!(0, _orkestrel_contract.isArray)(definition.rules)) return {
 			reasoning: "logical",
 			conclusion: false,
 			rules: [],
@@ -4033,7 +4033,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 (!(0, _orkestrel_contract.isObject)(rule)) continue;
 			if (rule.enabled === false) continue;
 			if (!rule.premises || rule.premises.length === 0) {
 				errors.push(`Rule "${rule.id}" has no premises — skipped`);
@@ -4075,7 +4075,7 @@ var LogicalReasoner = class {
 		};
 		const finalResults = [];
 		for (const rule of definition.rules) {
-			if (typeof rule !== "object" || rule === null) continue;
+			if (!(0, _orkestrel_contract.isObject)(rule)) continue;
 			if (rule.enabled === false) continue;
 			if (reportedErrors.has(rule.id)) continue;
 			finalResults.push(this.#evaluateRule(rule, finalSubject));
@@ -4091,9 +4091,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 (!(0, _orkestrel_contract.isObject)(rule)) return false;
 			if (rule.enabled === false) return false;
-			if (!rule.premises || !Array.isArray(rule.premises)) {
+			if (!(0, _orkestrel_contract.isArray)(rule.premises)) {
 				errors.push(`Rule "${rule.id}" has no premises — skipped`);
 				return false;
 			}
@@ -4104,7 +4104,7 @@ var LogicalReasoner = class {
 			return true;
 		}));
 		for (const rule of definition.rules) {
-			if (typeof rule !== "object" || rule === null) continue;
+			if (!(0, _orkestrel_contract.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);
@@ -4155,7 +4155,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 (!(0, _orkestrel_contract.isObject)(rule)) continue;
 			if (visited.has(rule.id)) continue;
 			const conclusionFacts = extractConclusions(rule.conclusion);
 			const field = formatField(expression.check.field);
@@ -4341,7 +4341,7 @@ var SymbolicReasoner = class {
 			definition: definition.id,
 			reasoning: this.reasoning
 		});
-		if (!definition.equations || !Array.isArray(definition.equations)) return {
+		if (!(0, _orkestrel_contract.isArray)(definition.equations)) return {
 			reasoning: "symbolic",
 			solutions: {},
 			success: false,
@@ -4374,12 +4374,12 @@ var SymbolicReasoner = class {
 			};
 		}
 		for (const equation of definition.equations) {
-			if (typeof equation !== "object" || equation === null) continue;
+			if (!(0, _orkestrel_contract.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 (!(0, _orkestrel_contract.isFiniteNumber)(value) || !(0, _orkestrel_contract.isFiniteNumber)(rounded)) {
+					const offender = (0, _orkestrel_contract.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})`);
@@ -4388,14 +4388,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 = (0, _orkestrel_contract.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 (!(0, _orkestrel_contract.isObject)(equation)) continue;
 			const value = bindings[equation.target];
 			if (value !== void 0) solutions[equation.target] = value;
 		}
@@ -4541,11 +4541,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 (!(0, _orkestrel_contract.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 (!(0, _orkestrel_contract.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`);
@@ -4563,7 +4563,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 || !(0, _orkestrel_contract.isArray)(definition.facts) || !definition.inferences || !(0, _orkestrel_contract.isArray)(definition.inferences)) return {
 			reasoning: "inferential",
 			derived: [],
 			success: false,
@@ -4588,7 +4588,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 (!(0, _orkestrel_contract.isObject)(known)) continue;
 			knownFacts.push(known);
 		}
 		const derived = [];
@@ -4603,7 +4603,7 @@ var InferentialReasoner = class {
 		}
 		const validInferences = [];
 		for (const inference of definition.inferences) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!(0, _orkestrel_contract.isObject)(inference)) continue;
 			if (inference.enabled === false) continue;
 			if (!inference.premises || inference.premises.length === 0) {
 				errors.push(`Inference "${inference.id}" has no premises — skipped`);
@@ -4652,7 +4652,7 @@ var InferentialReasoner = class {
 		const derived = [];
 		const allBaseFacts = [];
 		for (const known of [...definition.facts, ...subjectFacts]) {
-			if (typeof known !== "object" || known === null) continue;
+			if (!(0, _orkestrel_contract.isObject)(known)) continue;
 			allBaseFacts.push(known);
 		}
 		if (definition.inferences.length === 0) {
@@ -4660,7 +4660,7 @@ var InferentialReasoner = class {
 			return { derived };
 		}
 		for (const inference of definition.inferences) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!(0, _orkestrel_contract.isObject)(inference)) continue;
 			if (inference.enabled === false) continue;
 			if (!inference.conclusion) {
 				errors.push(`Inference "${inference.id}" has no conclusion — skipped`);
@@ -4689,9 +4689,9 @@ var InferentialReasoner = class {
 			depth
 		};
 		for (const inference of inferences) {
-			if (typeof inference !== "object" || inference === null) continue;
+			if (!(0, _orkestrel_contract.isObject)(inference)) continue;
 			if (inference.enabled === false) continue;
-			if (!inference.premises || !Array.isArray(inference.premises)) continue;
+			if (!(0, _orkestrel_contract.isArray)(inference.premises)) continue;
 			if (!inference.conclusion) continue;
 			const conclusionBindings = matchFacts(goal, inference.conclusion);
 			if (!conclusionBindings) continue;
@@ -5715,8 +5715,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 = (0, _orkestrel_contract.isString)(id) ? id : void 0;
+		if ((0, _orkestrel_contract.isString)(this.#id)) this.#subject = {
 			...seed,
 			id: this.#id
 		};
@@ -5762,7 +5762,7 @@ var SubjectBuilder = class {
 	merge(incoming) {
 		this.#ensureAlive();
 		const merged = mergeSubjects(this.#subject, incoming);
-		if (typeof this.#id !== "string" && Object.hasOwn(merged, "id")) {
+		if (!(0, _orkestrel_contract.isString)(this.#id) && Object.hasOwn(merged, "id")) {
 			const { id: _id, ...rest } = merged;
 			this.#subject = rest;
 		} else this.#subject = merged;
@@ -5770,7 +5770,7 @@ var SubjectBuilder = class {
 	}
 	clear() {
 		this.#ensureAlive();
-		this.#subject = typeof this.#id === "string" ? { id: this.#id } : {};
+		this.#subject = (0, _orkestrel_contract.isString)(this.#id) ? { id: this.#id } : {};
 		this.#emitter.emit("clear");
 	}
 	repeat(count) {