@orkestrel/study 0.0.1 → 0.0.2

package/dist/src/core/index.cjs

@@ -150,7 +150,7 @@ function buildStudySchedule(definition, scenarios) {
 * @param rubric - The independently held grading declaration
 * @param profile - The execution bounds and model room
 * @returns Nothing when every cross-input invariant holds
-* @throws StudyError - Thrown when any input or cross-reference is invalid
+* @throws StudyError - Thrown when any input or cross-reference is invalid, or a quality study has no capacity qualification
 * @example
 * ```ts
 * validateStudyInputs(definition, scenarios, rubric, profile)
@@ -167,6 +167,7 @@ function validateStudyInputs(definition, scenarios, rubric, profile) {
 	}
 	const covered = new Set(rubric.criteria.map((criterion) => (0, _orkestrel_contract.canonicalStringify)([criterion.scenario, criterion.goal]) ?? ""));
 	for (const scenario of scenarios) for (const goal of scenario.goals) if (!covered.has((0, _orkestrel_contract.canonicalStringify)([scenario.id, goal.id]) ?? "")) throw new StudyError("CONFIG", "Every declared goal needs a criterion");
+	if (definition.purpose === "quality" && profile.qualification === void 0) throw new StudyError("CONFIG", "Quality studies require a capacity qualification");
 }
 /**
 * Computes arm intervals over the complete declared criterion horizon.
@@ -631,8 +632,10 @@ var StudyError = class extends Error {
 	*/
 	constructor(code, message, failure) {
 		super(message);
-		Object.defineProperty(this, STUDY_ERROR_BRAND, {
+		_orkestrel_contract.INTRINSICS.define(this, STUDY_ERROR_BRAND, {
 			value: this,
+			enumerable: false,
+			writable: false,
 			configurable: true
 		});
 		this.name = "StudyError";
@@ -641,10 +644,11 @@ var StudyError = class extends Error {
 	}
 };
 /**
-* Narrows a caught value to an attributable study error.
+* Narrows a caught value to a branded study error with valid failure attribution.
 * @remarks
-* Recognition combines the native `Error` base, a subclass prototype, the fixed name, a declared
-* study code, and an own {@link STUDY_ERROR_BRAND} descriptor whose value is the error itself.
+* Recognition combines the native `Error` base, a subclass prototype, a declared study code,
+* valid optional failure members, and an own {@link STUDY_ERROR_BRAND} descriptor whose value is
+* the error itself. Subclasses can replace the name.
 * The global key is recognized across package, ESM, CommonJS and captured module copies; it is
 * not unforgeable provenance. A transparent proxy is refused because its forwarded descriptor
 * stores the target, and an unbranded copy, an inherited brand, or a property-only lookalike
@@ -657,7 +661,27 @@ var StudyError = class extends Error {
 * ```
 */
 function isStudyError(value) {
-	return (0, _orkestrel_contract.isError)(value) && (0, _orkestrel_contract.holds)(() => Object.getPrototypeOf(value) !== Error.prototype && value.name === "StudyError" && Object.getOwnPropertyDescriptor(value, STUDY_ERROR_BRAND)?.value === value && "code" in value && isStudyErrorCode(value.code));
+	return (0, _orkestrel_contract.holds)(() => {
+		if (!(0, _orkestrel_contract.isError)(value) || _orkestrel_contract.INTRINSICS.prototype(value) === _orkestrel_contract.INTRINSICS.error.prototype) return false;
+		const brand = _orkestrel_contract.INTRINSICS.describe(value, STUDY_ERROR_BRAND)?.value;
+		const code = _orkestrel_contract.INTRINSICS.reflect.read(value, "code");
+		const failure = _orkestrel_contract.INTRINSICS.reflect.read(value, "failure");
+		if (brand !== value || !isStudyErrorCode(code) || typeof _orkestrel_contract.INTRINSICS.reflect.read(value, "name") !== "string" || typeof _orkestrel_contract.INTRINSICS.reflect.read(value, "message") !== "string") return false;
+		if (failure === void 0) return true;
+		if (!(0, _orkestrel_contract.isObject)(failure)) return false;
+		const cause = _orkestrel_contract.INTRINSICS.reflect.read(failure, "cause");
+		const message = _orkestrel_contract.INTRINSICS.reflect.read(failure, "message");
+		const role = _orkestrel_contract.INTRINSICS.reflect.read(failure, "role");
+		const stop = _orkestrel_contract.INTRINSICS.reflect.read(failure, "stop");
+		if (!isStudyCause(cause) || typeof message !== "string" || role !== void 0 && !isStudyRole(role)) return false;
+		if (stop === void 0) return true;
+		if (!(0, _orkestrel_contract.isObject)(stop)) return false;
+		const layer = _orkestrel_contract.INTRINSICS.reflect.read(stop, "layer");
+		const id = _orkestrel_contract.INTRINSICS.reflect.read(stop, "id");
+		const max = _orkestrel_contract.INTRINSICS.reflect.read(stop, "max");
+		const consumed = _orkestrel_contract.INTRINSICS.reflect.read(stop, "consumed");
+		return isStudyLayer(layer) && typeof id === "string" && (max === void 0 || (0, _orkestrel_contract.isFiniteNumber)(max)) && (consumed === void 0 || (0, _orkestrel_contract.isFiniteNumber)(consumed));
+	});
 }
 //#endregion
 //#region src/core/parsers.ts
@@ -1877,6 +1901,22 @@ function buildStudyAgentDispatch(dispatch) {
 //#endregion
 //#region src/core/agents/validators.ts
 /**
+* Checks whether a value is a gauge with a finite positive scale and a finite nonnegative overhead.
+* @param value - The candidate gauge; additional members are admitted
+* @returns True if the gauge readings are finite and within their bounds; false otherwise
+* @example
+* ```ts
+* isStudyAgentGauge({ scale: 1, overhead: 0 }) // true
+* ```
+*/
+function isStudyAgentGauge(value) {
+	return (0, _orkestrel_contract.holds)(() => {
+		if (!(0, _orkestrel_contract.isObject)(value) || !("scale" in value) || !("overhead" in value)) return false;
+		const { scale, overhead } = value;
+		return (0, _orkestrel_contract.isFiniteNumber)(scale) && scale > 0 && (0, _orkestrel_contract.isFiniteNumber)(overhead) && overhead >= 0;
+	});
+}
+/**
 * Checks whether a namespace exposes the Agent capabilities the instrumentation invokes.
 * @remarks
 * The guard reads only `estimateRequest`, `measureRequest`, and `isAgentError`, so a namespace
@@ -2020,6 +2060,7 @@ exports.computeStudyOutputStop = computeStudyOutputStop;
 exports.computeStudyScores = computeStudyScores;
 exports.failStudyTicket = failStudyTicket;
 exports.failureToStudyError = failureToStudyError;
+exports.isStudyAgentGauge = isStudyAgentGauge;
 exports.isStudyAgentRuntime = isStudyAgentRuntime;
 exports.isStudyBounds = isStudyBounds;
 exports.isStudyCause = isStudyCause;