@orkestrel/brief 0.0.1 → 0.0.2

package/dist/src/core/index.cjs

@@ -260,53 +260,6 @@ var isTaskDomain = (0, _orkestrel_contract.literalOf)(TASK_DOMAINS);
 var isOutputFormat = (0, _orkestrel_contract.literalOf)(OUTPUT_FORMATS);
 /** `true` when the value is one of the three `RiskSeverity` literals. */
 var isRiskSeverity = (0, _orkestrel_contract.literalOf)(RISK_SEVERITIES);
-/**
-* `true` when the value is a non-null object whose named members can be read.
-*
-* @remarks
-* Wider than the contract package's plain-record guard, which refuses any object carrying its
-* own prototype — a class instance among them. The verdict guards below narrow FOREIGN
-* interfaces, and an
-* interface is satisfied by a class instance as readily as by a literal — refusing one is the
-* same narrowing-past-the-contract mistake that made an exact-record verdict guard fail the
-* gate closed on a valid engine.
-*
-* Arrays are excluded because no interface this narrows is an array, and admitting one would
-* let index access stand in for member access.
-*/
-var isObject = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
-/**
-* `true` when the value is a well-formed reasons `RuleResult`.
-*
-* @remarks
-* `@orkestrel/reason` publishes the type but no guard for it, and `BriefCompiler` reads these
-* off a BORROWED engine's return value, so the shape has to be checked rather than trusted.
-*/
-var isRuleVerdict = (value) => isObject(value) && (0, _orkestrel_contract.isNonEmptyString)(value["id"]) && (0, _orkestrel_contract.isBoolean)(value["applied"]) && (0, _orkestrel_contract.arrayOf)(_orkestrel_contract.isBoolean)(value["premises"]) && (0, _orkestrel_contract.isBoolean)(value["conclusion"]);
-/**
-* `true` when the value is a well-formed reasons `LogicalResult`.
-*
-* @remarks
-* The gate's reasoner is supplied by the caller through `BriefCompilerOptions.reason`, so its
-* return value is FOREIGN data no matter how well-typed the interface is. `BriefCompiler`
-* dereferences `reasoning`, `conclusion`, and `rules`; checking one field left a malformed
-* result to throw a raw `TypeError` out of `compile`, from the very code that contains stage
-* failures. Total: returns `false` for `undefined`, `null`, and every off-shape value.
-*
-* Checks the WHOLE published shape rather than only the three members read today, because a
-* guard that narrows to `LogicalResult` while ignoring four of its members is unsound.
-*
-* OPEN on unknown keys, deliberately. The exact-record combinator this file uses elsewhere
-* refuses a value a FOREIGN interface permits: `LogicalResult` is a TypeScript interface,
-* so a conforming reasoner returning a richer result is still returning a `LogicalResult`. An
-* exact check refused it and failed the gate closed on a valid engine — trading a loud crash
-* for a wrong refusal, which is the worse of the two. Exactness belongs on records this
-* package OWNS, where an extra key means the caller misunderstood the contract.
-*
-* `count` is checked as a number rather than an integer for the same reason: the published
-* type says `number`, and narrowing past a foreign contract is the same mistake.
-*/
-var isLogicalVerdict = (value) => isObject(value) && value["reasoning"] === "logical" && (0, _orkestrel_contract.isBoolean)(value["conclusion"]) && (0, _orkestrel_contract.arrayOf)(isRuleVerdict)(value["rules"]) && (0, _orkestrel_contract.isNumber)(value["count"]) && (0, _orkestrel_contract.isBoolean)(value["success"]) && (0, _orkestrel_contract.arrayOf)(_orkestrel_contract.isString)(value["trace"]) && (0, _orkestrel_contract.arrayOf)(_orkestrel_contract.isString)(value["errors"]);
 /** `true` when the value is a well-formed `Task` — both vocabularies closed, statement one line. */
 var isTask = (0, _orkestrel_contract.recordOf)({
 	operation: isTaskOperation,
@@ -1835,7 +1788,7 @@ var BriefCompiler = class {
 			return this.#refuse(void 0, void 0, [], void 0, stages, failures);
 		}
 		const owned = taken.value;
-		const interpretation = this.#read(owned, stages, failures);
+		const interpretation = this.#read(owned, input, stages, failures);
 		const drafted = (0, _orkestrel_contract.attempt)(() => this.#draft(owned, interpretation, this.#unresolved(interpretation, failures)));
 		if (!drafted.success) {
 			const message = errorToMessage(drafted.error);
@@ -1933,7 +1886,7 @@ var BriefCompiler = class {
 			field: "reason"
 		});
 		const verdict = ruled.value;
-		if (!isLogicalVerdict(verdict)) throw new BriefError("GATE_FAILED", "The gate reasoner returned a non-logical result", {
+		if (!(0, _orkestrel_reason.isLogicalResult)(verdict)) throw new BriefError("GATE_FAILED", "The gate reasoner returned a non-logical result", {
 			stage: "gate",
 			field: "reasoning"
 		});
@@ -1954,22 +1907,39 @@ var BriefCompiler = class {
 		const cloned = (0, _orkestrel_contract.attempt)(() => structuredClone(value));
 		return freezeDeep(cloned.success ? cloned.value : value);
 	}
-	#read(input, stages, failures) {
+	#read(input, raw, stages, failures) {
 		const text = input.text;
-		if (text === void 0) return input.interpretation;
-		const read = (0, _orkestrel_contract.attempt)(() => this.#own(this.#interpret.interpret(text)));
-		if (read.success) {
+		if (text !== void 0) {
+			const read = (0, _orkestrel_contract.attempt)(() => this.#own(this.#interpret.interpret(text)));
+			if (read.success && (0, _orkestrel_interpret.isInterpretation)(read.value)) {
+				stages.push(Object.freeze({
+					stage: "interpret",
+					input: text,
+					output: read.value
+				}));
+				return read.value;
+			}
+			const message = read.success ? "The interpret engine returned a non-interpretation result" : errorToMessage(read.error);
 			stages.push(Object.freeze({
 				stage: "interpret",
 				input: text,
-				output: read.value
+				error: message
+			}));
+			failures.push(Object.freeze({
+				stage: "interpret",
+				code: "INTERPRET_FAILED",
+				message
 			}));
-			return read.value;
+			this.#emitter.emit("error", read.success ? new BriefError("INTERPRET_FAILED", message, { stage: "interpret" }) : read.error);
 		}
-		const message = errorToMessage(read.error);
+		const supplied = input.interpretation;
+		if (supplied === void 0 || (0, _orkestrel_interpret.isInterpretation)(supplied)) return supplied;
+		const live = raw.interpretation;
+		if (live !== void 0 && (0, _orkestrel_interpret.isInterpretation)(live)) return freezeDeep(live);
+		const message = "The supplied interpretation does not satisfy the published shape";
 		stages.push(Object.freeze({
 			stage: "interpret",
-			input: text,
+			input: "interpretation",
 			error: message
 		}));
 		failures.push(Object.freeze({
@@ -1977,8 +1947,6 @@ var BriefCompiler = class {
 			code: "INTERPRET_FAILED",
 			message
 		}));
-		this.#emitter.emit("error", read.error);
-		return input.interpretation;
 	}
 	#blockage(questions, unready, verdict) {
 		if (questions.length > 0) return {
@@ -1991,7 +1959,7 @@ var BriefCompiler = class {
 			code: "BLOCKED",
 			message: `Gate refused: ${unready.join(", ")}`
 		};
-		if (!isLogicalVerdict(verdict)) return void 0;
+		if (!(0, _orkestrel_reason.isLogicalResult)(verdict)) return void 0;
 		const refused = verdict.rules.filter((entry) => !entry.conclusion).map((entry) => entry.id).join(", ");
 		if (refused.length === 0) return {
 			stage: "gate",
@@ -2180,9 +2148,7 @@ exports.isExample = isExample;
 exports.isGap = isGap;
 exports.isGiven = isGiven;
 exports.isLine = isLine;
-exports.isLogicalVerdict = isLogicalVerdict;
 exports.isManifest = isManifest;
-exports.isObject = isObject;
 exports.isOutcome = isOutcome;
 exports.isOutput = isOutput;
 exports.isOutputFormat = isOutputFormat;
@@ -2190,7 +2156,6 @@ exports.isProof = isProof;
 exports.isReference = isReference;
 exports.isRisk = isRisk;
 exports.isRiskSeverity = isRiskSeverity;
-exports.isRuleVerdict = isRuleVerdict;
 exports.isTask = isTask;
 exports.isTaskDomain = isTaskDomain;
 exports.isTaskOperation = isTaskOperation;