niceeval 0.17.1 → 0.19.0

package/dist/assertions/match.d.cts

@@ -1,3 +1,4 @@
+import { type Quantity, type Unit } from "./quantity.cjs";
 import type { StandardSchemaV1 as StandardSchema } from "@standard-schema/spec";
 import { Effect } from "effect";
 import type { CommandProjection, LogicalToolOccurrence } from "../o11y/types.cjs";
@@ -72,13 +73,16 @@ declare const numericComparisonMatchBrand: unique symbol;
 declare const assertionEventIdentityBrand: unique symbol;
 declare const assertionEventPositionBrand: unique symbol;
 declare const toolOccurrenceIdentityBrand: unique symbol;
-export declare const NUMERIC_COMPARATORS: readonly ["less-than", "at-most", "greater-than", "at-least"];
+export declare const NUMERIC_COMPARATORS: readonly ["less-than", "at-most", "greater-than", "at-least", "between"];
 export type NumericComparator = (typeof NUMERIC_COMPARATORS)[number];
 export interface NumericComparison {
     readonly comparator: NumericComparator;
     readonly threshold: number;
+    readonly upperThreshold?: number;
+    readonly unit?: Unit;
 }
-export type NumericMaterial = {
+export type NumericMaterial<U extends Unit | undefined = undefined> = {
+    readonly unit?: U;
     readonly provenance?: {
         readonly source: string;
         readonly scope: string;
@@ -105,8 +109,8 @@ export interface BooleanMatch<in T, out R extends T, D extends MatchDomain = "va
     readonly kind: "boolean";
     readonly [matchRefinementBrand]: () => R;
 }
-export interface NumericComparisonMatch extends BooleanMatch<number, number, "value"> {
-    readonly [numericComparisonMatchBrand]: true;
+export interface NumericComparisonMatch<U extends Unit | undefined = undefined> extends BooleanMatch<U extends Unit ? Quantity<U> : number, U extends Unit ? Quantity<U> : number, "value"> {
+    readonly [numericComparisonMatchBrand]: (unit: U) => U;
 }
 export interface ScoreMatch<in T> extends Match<T, "value"> {
     readonly kind: "score";
@@ -300,11 +304,18 @@ export declare function assertManagedValueMatch(value: unknown, label?: string):
  * The sole numeric comparison evaluator. A lower bound can only decide a
  * monotone result; all other partial observations remain unavailable.
  */
-export declare function evaluateNumericComparison(material: NumericMaterial, comparison: NumericComparison): BooleanMatchEvaluation<number>;
+export declare function evaluateNumericComparison(material: NumericMaterial<Unit | undefined>, comparison: NumericComparison): BooleanMatchEvaluation<number>;
+export declare function lessThan<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function lessThan(threshold: number): NumericComparisonMatch;
+export declare function atMost<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function atMost(threshold: number): NumericComparisonMatch;
+export declare function greaterThan<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function greaterThan(threshold: number): NumericComparisonMatch;
+export declare function atLeast<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function atLeast(threshold: number): NumericComparisonMatch;
+/** Match a value inside inclusive bounds with the same unit. */
+export declare function between<U extends Unit>(minimum: Quantity<U>, maximum: Quantity<NoInfer<U>>): NumericComparisonMatch<U>;
+export declare function between(minimum: number, maximum: number): NumericComparisonMatch;
 /** @internal Project a raw message into the closed assertion-event surface. */
 export declare function makeAssertionMessageEvent(input: {
     readonly eventId?: string;

package/dist/assertions/match.d.mts

@@ -1,3 +1,4 @@
+import { type Quantity, type Unit } from "./quantity.mjs";
 import type { StandardSchemaV1 as StandardSchema } from "@standard-schema/spec";
 import { Effect } from "effect";
 import type { CommandProjection, LogicalToolOccurrence } from "../o11y/types.mjs";
@@ -72,13 +73,16 @@ declare const numericComparisonMatchBrand: unique symbol;
 declare const assertionEventIdentityBrand: unique symbol;
 declare const assertionEventPositionBrand: unique symbol;
 declare const toolOccurrenceIdentityBrand: unique symbol;
-export declare const NUMERIC_COMPARATORS: readonly ["less-than", "at-most", "greater-than", "at-least"];
+export declare const NUMERIC_COMPARATORS: readonly ["less-than", "at-most", "greater-than", "at-least", "between"];
 export type NumericComparator = (typeof NUMERIC_COMPARATORS)[number];
 export interface NumericComparison {
     readonly comparator: NumericComparator;
     readonly threshold: number;
+    readonly upperThreshold?: number;
+    readonly unit?: Unit;
 }
-export type NumericMaterial = {
+export type NumericMaterial<U extends Unit | undefined = undefined> = {
+    readonly unit?: U;
     readonly provenance?: {
         readonly source: string;
         readonly scope: string;
@@ -105,8 +109,8 @@ export interface BooleanMatch<in T, out R extends T, D extends MatchDomain = "va
     readonly kind: "boolean";
     readonly [matchRefinementBrand]: () => R;
 }
-export interface NumericComparisonMatch extends BooleanMatch<number, number, "value"> {
-    readonly [numericComparisonMatchBrand]: true;
+export interface NumericComparisonMatch<U extends Unit | undefined = undefined> extends BooleanMatch<U extends Unit ? Quantity<U> : number, U extends Unit ? Quantity<U> : number, "value"> {
+    readonly [numericComparisonMatchBrand]: (unit: U) => U;
 }
 export interface ScoreMatch<in T> extends Match<T, "value"> {
     readonly kind: "score";
@@ -300,11 +304,18 @@ export declare function assertManagedValueMatch(value: unknown, label?: string):
  * The sole numeric comparison evaluator. A lower bound can only decide a
  * monotone result; all other partial observations remain unavailable.
  */
-export declare function evaluateNumericComparison(material: NumericMaterial, comparison: NumericComparison): BooleanMatchEvaluation<number>;
+export declare function evaluateNumericComparison(material: NumericMaterial<Unit | undefined>, comparison: NumericComparison): BooleanMatchEvaluation<number>;
+export declare function lessThan<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function lessThan(threshold: number): NumericComparisonMatch;
+export declare function atMost<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function atMost(threshold: number): NumericComparisonMatch;
+export declare function greaterThan<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function greaterThan(threshold: number): NumericComparisonMatch;
+export declare function atLeast<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function atLeast(threshold: number): NumericComparisonMatch;
+/** Match a value inside inclusive bounds with the same unit. */
+export declare function between<U extends Unit>(minimum: Quantity<U>, maximum: Quantity<NoInfer<U>>): NumericComparisonMatch<U>;
+export declare function between(minimum: number, maximum: number): NumericComparisonMatch;
 /** @internal Project a raw message into the closed assertion-event surface. */
 export declare function makeAssertionMessageEvent(input: {
     readonly eventId?: string;

package/dist/assertions/match.d.ts

@@ -1,3 +1,4 @@
+import { type Quantity, type Unit } from "./quantity.js";
 import type { StandardSchemaV1 as StandardSchema } from "@standard-schema/spec";
 import { Effect } from "effect";
 import type { CommandProjection, LogicalToolOccurrence } from "../o11y/types.js";
@@ -72,13 +73,16 @@ declare const numericComparisonMatchBrand: unique symbol;
 declare const assertionEventIdentityBrand: unique symbol;
 declare const assertionEventPositionBrand: unique symbol;
 declare const toolOccurrenceIdentityBrand: unique symbol;
-export declare const NUMERIC_COMPARATORS: readonly ["less-than", "at-most", "greater-than", "at-least"];
+export declare const NUMERIC_COMPARATORS: readonly ["less-than", "at-most", "greater-than", "at-least", "between"];
 export type NumericComparator = (typeof NUMERIC_COMPARATORS)[number];
 export interface NumericComparison {
     readonly comparator: NumericComparator;
     readonly threshold: number;
+    readonly upperThreshold?: number;
+    readonly unit?: Unit;
 }
-export type NumericMaterial = {
+export type NumericMaterial<U extends Unit | undefined = undefined> = {
+    readonly unit?: U;
     readonly provenance?: {
         readonly source: string;
         readonly scope: string;
@@ -105,8 +109,8 @@ export interface BooleanMatch<in T, out R extends T, D extends MatchDomain = "va
     readonly kind: "boolean";
     readonly [matchRefinementBrand]: () => R;
 }
-export interface NumericComparisonMatch extends BooleanMatch<number, number, "value"> {
-    readonly [numericComparisonMatchBrand]: true;
+export interface NumericComparisonMatch<U extends Unit | undefined = undefined> extends BooleanMatch<U extends Unit ? Quantity<U> : number, U extends Unit ? Quantity<U> : number, "value"> {
+    readonly [numericComparisonMatchBrand]: (unit: U) => U;
 }
 export interface ScoreMatch<in T> extends Match<T, "value"> {
     readonly kind: "score";
@@ -300,11 +304,18 @@ export declare function assertManagedValueMatch(value: unknown, label?: string):
  * The sole numeric comparison evaluator. A lower bound can only decide a
  * monotone result; all other partial observations remain unavailable.
  */
-export declare function evaluateNumericComparison(material: NumericMaterial, comparison: NumericComparison): BooleanMatchEvaluation<number>;
+export declare function evaluateNumericComparison(material: NumericMaterial<Unit | undefined>, comparison: NumericComparison): BooleanMatchEvaluation<number>;
+export declare function lessThan<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function lessThan(threshold: number): NumericComparisonMatch;
+export declare function atMost<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function atMost(threshold: number): NumericComparisonMatch;
+export declare function greaterThan<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function greaterThan(threshold: number): NumericComparisonMatch;
+export declare function atLeast<U extends Unit>(threshold: Quantity<U>): NumericComparisonMatch<U>;
 export declare function atLeast(threshold: number): NumericComparisonMatch;
+/** Match a value inside inclusive bounds with the same unit. */
+export declare function between<U extends Unit>(minimum: Quantity<U>, maximum: Quantity<NoInfer<U>>): NumericComparisonMatch<U>;
+export declare function between(minimum: number, maximum: number): NumericComparisonMatch;
 /** @internal Project a raw message into the closed assertion-event surface. */
 export declare function makeAssertionMessageEvent(input: {
     readonly eventId?: string;

package/dist/assertions/match.js

@@ -17,98 +17,100 @@ const __niceevalExport6 = __niceevalCanonical["atLeast"];
 export { __niceevalExport6 as atLeast };
 const __niceevalExport7 = __niceevalCanonical["atMost"];
 export { __niceevalExport7 as atMost };
-const __niceevalExport8 = __niceevalCanonical["collectionMatchSpecOf"];
-export { __niceevalExport8 as collectionMatchSpecOf };
-const __niceevalExport9 = __niceevalCanonical["commandMatch"];
-export { __niceevalExport9 as commandMatch };
-const __niceevalExport10 = __niceevalCanonical["commandSucceeded"];
-export { __niceevalExport10 as commandSucceeded };
-const __niceevalExport11 = __niceevalCanonical["countWhere"];
-export { __niceevalExport11 as countWhere };
-const __niceevalExport12 = __niceevalCanonical["deepEqual"];
-export { __niceevalExport12 as deepEqual };
-const __niceevalExport13 = __niceevalCanonical["defineScoreMatch"];
-export { __niceevalExport13 as defineScoreMatch };
-const __niceevalExport14 = __niceevalCanonical["defineValueMatch"];
-export { __niceevalExport14 as defineValueMatch };
-const __niceevalExport15 = __niceevalCanonical["equals"];
-export { __niceevalExport15 as equals };
-const __niceevalExport16 = __niceevalCanonical["evaluateBooleanMatch"];
-export { __niceevalExport16 as evaluateBooleanMatch };
-const __niceevalExport17 = __niceevalCanonical["evaluateNumericComparison"];
-export { __niceevalExport17 as evaluateNumericComparison };
-const __niceevalExport18 = __niceevalCanonical["evaluateScoreMatch"];
-export { __niceevalExport18 as evaluateScoreMatch };
-const __niceevalExport19 = __niceevalCanonical["eventMatch"];
-export { __niceevalExport19 as eventMatch };
-const __niceevalExport20 = __niceevalCanonical["exactLlmOptions"];
-export { __niceevalExport20 as exactLlmOptions };
-const __niceevalExport21 = __niceevalCanonical["excludes"];
-export { __niceevalExport21 as excludes };
-const __niceevalExport22 = __niceevalCanonical["filterWhere"];
-export { __niceevalExport22 as filterWhere };
-const __niceevalExport23 = __niceevalCanonical["greaterThan"];
-export { __niceevalExport23 as greaterThan };
-const __niceevalExport24 = __niceevalCanonical["hasSections"];
-export { __niceevalExport24 as hasSections };
-const __niceevalExport25 = __niceevalCanonical["inOrder"];
-export { __niceevalExport25 as inOrder };
-const __niceevalExport26 = __niceevalCanonical["includes"];
-export { __niceevalExport26 as includes };
-const __niceevalExport27 = __niceevalCanonical["includesUrl"];
-export { __niceevalExport27 as includesUrl };
-const __niceevalExport28 = __niceevalCanonical["isDefined"];
-export { __niceevalExport28 as isDefined };
-const __niceevalExport29 = __niceevalCanonical["isFalse"];
-export { __niceevalExport29 as isFalse };
-const __niceevalExport30 = __niceevalCanonical["isManagedCollectionMatch"];
-export { __niceevalExport30 as isManagedCollectionMatch };
-const __niceevalExport31 = __niceevalCanonical["isManagedEventMatch"];
-export { __niceevalExport31 as isManagedEventMatch };
-const __niceevalExport32 = __niceevalCanonical["isManagedMatch"];
-export { __niceevalExport32 as isManagedMatch };
-const __niceevalExport33 = __niceevalCanonical["isManagedToolMatch"];
-export { __niceevalExport33 as isManagedToolMatch };
-const __niceevalExport34 = __niceevalCanonical["isNumericComparisonMatch"];
-export { __niceevalExport34 as isNumericComparisonMatch };
-const __niceevalExport35 = __niceevalCanonical["isTrue"];
-export { __niceevalExport35 as isTrue };
-const __niceevalExport36 = __niceevalCanonical["jsonMatch"];
-export { __niceevalExport36 as jsonMatch };
-const __niceevalExport37 = __niceevalCanonical["lessThan"];
-export { __niceevalExport37 as lessThan };
-const __niceevalExport38 = __niceevalCanonical["looksLikeCollectionMatch"];
-export { __niceevalExport38 as looksLikeCollectionMatch };
-const __niceevalExport39 = __niceevalCanonical["looksLikeMatch"];
-export { __niceevalExport39 as looksLikeMatch };
-const __niceevalExport40 = __niceevalCanonical["makeAssertionMessageEvent"];
-export { __niceevalExport40 as makeAssertionMessageEvent };
-const __niceevalExport41 = __niceevalCanonical["makeAssertionToolEvent"];
-export { __niceevalExport41 as makeAssertionToolEvent };
-const __niceevalExport42 = __niceevalCanonical["managedScoreMatchOf"];
-export { __niceevalExport42 as managedScoreMatchOf };
-const __niceevalExport43 = __niceevalCanonical["mapEach"];
-export { __niceevalExport43 as mapEach };
-const __niceevalExport44 = __niceevalCanonical["mapValue"];
-export { __niceevalExport44 as mapValue };
-const __niceevalExport45 = __niceevalCanonical["matches"];
-export { __niceevalExport45 as matches };
-const __niceevalExport46 = __niceevalCanonical["not"];
-export { __niceevalExport46 as not };
-const __niceevalExport47 = __niceevalCanonical["numericComparisonOf"];
-export { __niceevalExport47 as numericComparisonOf };
-const __niceevalExport48 = __niceevalCanonical["or"];
-export { __niceevalExport48 as or };
-const __niceevalExport49 = __niceevalCanonical["pattern"];
-export { __niceevalExport49 as pattern };
-const __niceevalExport50 = __niceevalCanonical["referencesAnyPath"];
-export { __niceevalExport50 as referencesAnyPath };
-const __niceevalExport51 = __niceevalCanonical["satisfies"];
-export { __niceevalExport51 as satisfies };
-const __niceevalExport52 = __niceevalCanonical["similarity"];
-export { __niceevalExport52 as similarity };
-const __niceevalExport53 = __niceevalCanonical["toolMatch"];
-export { __niceevalExport53 as toolMatch };
-const __niceevalExport54 = __niceevalCanonical["validateSchema"];
-export { __niceevalExport54 as validateSchema };
+const __niceevalExport8 = __niceevalCanonical["between"];
+export { __niceevalExport8 as between };
+const __niceevalExport9 = __niceevalCanonical["collectionMatchSpecOf"];
+export { __niceevalExport9 as collectionMatchSpecOf };
+const __niceevalExport10 = __niceevalCanonical["commandMatch"];
+export { __niceevalExport10 as commandMatch };
+const __niceevalExport11 = __niceevalCanonical["commandSucceeded"];
+export { __niceevalExport11 as commandSucceeded };
+const __niceevalExport12 = __niceevalCanonical["countWhere"];
+export { __niceevalExport12 as countWhere };
+const __niceevalExport13 = __niceevalCanonical["deepEqual"];
+export { __niceevalExport13 as deepEqual };
+const __niceevalExport14 = __niceevalCanonical["defineScoreMatch"];
+export { __niceevalExport14 as defineScoreMatch };
+const __niceevalExport15 = __niceevalCanonical["defineValueMatch"];
+export { __niceevalExport15 as defineValueMatch };
+const __niceevalExport16 = __niceevalCanonical["equals"];
+export { __niceevalExport16 as equals };
+const __niceevalExport17 = __niceevalCanonical["evaluateBooleanMatch"];
+export { __niceevalExport17 as evaluateBooleanMatch };
+const __niceevalExport18 = __niceevalCanonical["evaluateNumericComparison"];
+export { __niceevalExport18 as evaluateNumericComparison };
+const __niceevalExport19 = __niceevalCanonical["evaluateScoreMatch"];
+export { __niceevalExport19 as evaluateScoreMatch };
+const __niceevalExport20 = __niceevalCanonical["eventMatch"];
+export { __niceevalExport20 as eventMatch };
+const __niceevalExport21 = __niceevalCanonical["exactLlmOptions"];
+export { __niceevalExport21 as exactLlmOptions };
+const __niceevalExport22 = __niceevalCanonical["excludes"];
+export { __niceevalExport22 as excludes };
+const __niceevalExport23 = __niceevalCanonical["filterWhere"];
+export { __niceevalExport23 as filterWhere };
+const __niceevalExport24 = __niceevalCanonical["greaterThan"];
+export { __niceevalExport24 as greaterThan };
+const __niceevalExport25 = __niceevalCanonical["hasSections"];
+export { __niceevalExport25 as hasSections };
+const __niceevalExport26 = __niceevalCanonical["inOrder"];
+export { __niceevalExport26 as inOrder };
+const __niceevalExport27 = __niceevalCanonical["includes"];
+export { __niceevalExport27 as includes };
+const __niceevalExport28 = __niceevalCanonical["includesUrl"];
+export { __niceevalExport28 as includesUrl };
+const __niceevalExport29 = __niceevalCanonical["isDefined"];
+export { __niceevalExport29 as isDefined };
+const __niceevalExport30 = __niceevalCanonical["isFalse"];
+export { __niceevalExport30 as isFalse };
+const __niceevalExport31 = __niceevalCanonical["isManagedCollectionMatch"];
+export { __niceevalExport31 as isManagedCollectionMatch };
+const __niceevalExport32 = __niceevalCanonical["isManagedEventMatch"];
+export { __niceevalExport32 as isManagedEventMatch };
+const __niceevalExport33 = __niceevalCanonical["isManagedMatch"];
+export { __niceevalExport33 as isManagedMatch };
+const __niceevalExport34 = __niceevalCanonical["isManagedToolMatch"];
+export { __niceevalExport34 as isManagedToolMatch };
+const __niceevalExport35 = __niceevalCanonical["isNumericComparisonMatch"];
+export { __niceevalExport35 as isNumericComparisonMatch };
+const __niceevalExport36 = __niceevalCanonical["isTrue"];
+export { __niceevalExport36 as isTrue };
+const __niceevalExport37 = __niceevalCanonical["jsonMatch"];
+export { __niceevalExport37 as jsonMatch };
+const __niceevalExport38 = __niceevalCanonical["lessThan"];
+export { __niceevalExport38 as lessThan };
+const __niceevalExport39 = __niceevalCanonical["looksLikeCollectionMatch"];
+export { __niceevalExport39 as looksLikeCollectionMatch };
+const __niceevalExport40 = __niceevalCanonical["looksLikeMatch"];
+export { __niceevalExport40 as looksLikeMatch };
+const __niceevalExport41 = __niceevalCanonical["makeAssertionMessageEvent"];
+export { __niceevalExport41 as makeAssertionMessageEvent };
+const __niceevalExport42 = __niceevalCanonical["makeAssertionToolEvent"];
+export { __niceevalExport42 as makeAssertionToolEvent };
+const __niceevalExport43 = __niceevalCanonical["managedScoreMatchOf"];
+export { __niceevalExport43 as managedScoreMatchOf };
+const __niceevalExport44 = __niceevalCanonical["mapEach"];
+export { __niceevalExport44 as mapEach };
+const __niceevalExport45 = __niceevalCanonical["mapValue"];
+export { __niceevalExport45 as mapValue };
+const __niceevalExport46 = __niceevalCanonical["matches"];
+export { __niceevalExport46 as matches };
+const __niceevalExport47 = __niceevalCanonical["not"];
+export { __niceevalExport47 as not };
+const __niceevalExport48 = __niceevalCanonical["numericComparisonOf"];
+export { __niceevalExport48 as numericComparisonOf };
+const __niceevalExport49 = __niceevalCanonical["or"];
+export { __niceevalExport49 as or };
+const __niceevalExport50 = __niceevalCanonical["pattern"];
+export { __niceevalExport50 as pattern };
+const __niceevalExport51 = __niceevalCanonical["referencesAnyPath"];
+export { __niceevalExport51 as referencesAnyPath };
+const __niceevalExport52 = __niceevalCanonical["satisfies"];
+export { __niceevalExport52 as satisfies };
+const __niceevalExport53 = __niceevalCanonical["similarity"];
+export { __niceevalExport53 as similarity };
+const __niceevalExport54 = __niceevalCanonical["toolMatch"];
+export { __niceevalExport54 as toolMatch };
+const __niceevalExport55 = __niceevalCanonical["validateSchema"];
+export { __niceevalExport55 as validateSchema };
 //# sourceMappingURL=match.js.map

package/dist/assertions/measurements.cjs

@@ -0,0 +1,61 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.measured = measured;
+exports.quantile = quantile;
+const quantity_ts_1 = require("./quantity.cjs");
+function measured(value, options) {
+    if (typeof options?.unavailable !== "string" || options.unavailable.trim().length === 0) {
+        throw new TypeError("measured() requires a non-empty unavailable reason.");
+    }
+    if (value === null)
+        return Object.freeze({ state: "unavailable", reason: options.unavailable });
+    if ((0, quantity_ts_1.isQuantity)(value))
+        return Object.freeze({ state: "exact", value: value.value, unit: value.unit });
+    if (typeof value !== "number")
+        throw new TypeError("measured() requires a number or null.");
+    return Number.isFinite(value)
+        ? Object.freeze({ state: "exact", value })
+        : Object.freeze({ state: "unavailable", reason: "non-finite-number" });
+}
+function quantile(samples, p, options = {}) {
+    if (!Array.isArray(samples))
+        throw new TypeError("quantile() requires an array of samples.");
+    if (!Number.isFinite(p) || p < 0 || p > 1)
+        throw new TypeError("quantile() probability must be a finite number in [0, 1].");
+    const method = options.method ?? "linear";
+    if (method !== "linear" && method !== "nearest-rank")
+        throw new TypeError("quantile() method must be linear or nearest-rank.");
+    const statistics = Object.freeze({ sampleCount: samples.length, probability: p, method });
+    if (samples.length === 0)
+        return Object.freeze({ state: "unavailable", reason: "no-samples", statistics });
+    const sampleUnits = new Set();
+    const values = [];
+    let invalidSample = false;
+    for (const sample of samples) {
+        if (typeof sample !== "number" && !(0, quantity_ts_1.isQuantity)(sample)) {
+            invalidSample = true;
+            continue;
+        }
+        sampleUnits.add(typeof sample === "number" ? undefined : sample.unit);
+        const value = typeof sample === "number" ? sample : sample.value;
+        if (!Number.isFinite(value))
+            invalidSample = true;
+        values.push(value);
+    }
+    if (sampleUnits.size > 1)
+        throw new TypeError("quantile() samples must use one unit, or all be numbers.");
+    const unit = sampleUnits.values().next().value;
+    if (invalidSample)
+        return Object.freeze({ state: "unavailable", reason: "non-finite-sample", statistics, ...(unit === undefined ? {} : { unit }) });
+    const sorted = values.sort((a, b) => a - b);
+    const position = (sorted.length - 1) * p;
+    const lower = sorted[Math.floor(position)];
+    const upper = sorted[Math.ceil(position)];
+    const fraction = position - Math.floor(position);
+    const delta = upper - lower;
+    const value = method === "nearest-rank"
+        ? sorted[Math.max(0, Math.ceil(sorted.length * p) - 1)]
+        : Number.isFinite(delta) ? lower + delta * fraction : lower * (1 - fraction) + upper * fraction;
+    return Object.freeze({ state: "exact", value, statistics, ...(unit === undefined ? {} : { unit }) });
+}
+//# sourceMappingURL=measurements.cjs.map

package/dist/assertions/measurements.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"measurements.js","sourceRoot":"","sources":["measurements.ts"],"names":[],"mappings":";;AASA,4BAeC;AAgBD,4BA0CC;AAlFD,+CAAqE;AASrE,SAAgB,QAAQ,CAAC,KAA+B,EAAE,OAEzD;IACG,IAAI,OAAO,OAAO,EAAE,WAAW,KAAK,QAAQ,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,KAAK,IAAI;QACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAChF,IAAI,IAAA,wBAAU,EAAC,KAAK,CAAC;QACjB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACnF,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAC/E,CAAC;AAgBD,SAAgB,QAAQ,CAAC,OAAuC,EAAE,CAAS,EAAE,UAEzE,EAAE;IACF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;QACrC,MAAM,IAAI,SAAS,CAAC,2DAA2D,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC;IAC1C,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,cAAc;QAChD,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC;IACrF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAA,wBAAU,EAAC,MAAM,CAAC,EAAE,CAAC;YACpD,aAAa,GAAG,IAAI,CAAC;YACrB,SAAS;QACb,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QACjE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACvB,aAAa,GAAG,IAAI,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC;QACpB,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;IAC/C,IAAI,aAAa;QACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACrI,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,KAAK,cAAc;QACnC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE;QACxD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,KAAK,GAAG,QAAQ,CAAC;IACpG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACzG,CAAC","sourcesContent":["import { isQuantity, type Quantity, type Unit } from \"./quantity.ts\";\nimport type { NumericMaterial } from \"./match.ts\";\n/** Preserve a missing observation instead of coercing null to zero. */\nexport function measured(value: number | null, options: {\n    readonly unavailable: string;\n}): NumericMaterial;\nexport function measured<U extends Unit>(value: Quantity<U> | null, options: {\n    readonly unavailable: string;\n}): NumericMaterial<U>;\nexport function measured(value: number | Quantity | null, options: {\n    readonly unavailable: string;\n}): NumericMaterial<Unit | undefined> {\n    if (typeof options?.unavailable !== \"string\" || options.unavailable.trim().length === 0) {\n        throw new TypeError(\"measured() requires a non-empty unavailable reason.\");\n    }\n    if (value === null)\n        return Object.freeze({ state: \"unavailable\", reason: options.unavailable });\n    if (isQuantity(value))\n        return Object.freeze({ state: \"exact\", value: value.value, unit: value.unit });\n    if (typeof value !== \"number\")\n        throw new TypeError(\"measured() requires a number or null.\");\n    return Number.isFinite(value)\n        ? Object.freeze({ state: \"exact\", value })\n        : Object.freeze({ state: \"unavailable\", reason: \"non-finite-number\" });\n}\nexport type QuantileMethod = \"linear\" | \"nearest-rank\";\nexport type QuantileMaterial<U extends Unit | undefined = undefined> = NumericMaterial<U> & {\n    readonly statistics: {\n        readonly sampleCount: number;\n        readonly probability: number;\n        readonly method: QuantileMethod;\n    };\n};\n/** Compute a quantile without changing or retaining the samples. Empty or invalid samples remain unavailable. */\nexport function quantile(samples: readonly number[], p: number, options?: {\n    readonly method?: QuantileMethod;\n}): QuantileMaterial;\nexport function quantile<U extends Unit>(samples: readonly Quantity<U>[], p: number, options?: {\n    readonly method?: QuantileMethod;\n}): QuantileMaterial<U>;\nexport function quantile(samples: readonly (number | Quantity)[], p: number, options: {\n    readonly method?: QuantileMethod;\n} = {}): QuantileMaterial<Unit | undefined> {\n    if (!Array.isArray(samples))\n        throw new TypeError(\"quantile() requires an array of samples.\");\n    if (!Number.isFinite(p) || p < 0 || p > 1)\n        throw new TypeError(\"quantile() probability must be a finite number in [0, 1].\");\n    const method = options.method ?? \"linear\";\n    if (method !== \"linear\" && method !== \"nearest-rank\")\n        throw new TypeError(\"quantile() method must be linear or nearest-rank.\");\n    const statistics = Object.freeze({ sampleCount: samples.length, probability: p, method });\n    if (samples.length === 0)\n        return Object.freeze({ state: \"unavailable\", reason: \"no-samples\", statistics });\n    const sampleUnits = new Set<Unit | undefined>();\n    const values: number[] = [];\n    let invalidSample = false;\n    for (const sample of samples) {\n        if (typeof sample !== \"number\" && !isQuantity(sample)) {\n            invalidSample = true;\n            continue;\n        }\n        sampleUnits.add(typeof sample === \"number\" ? undefined : sample.unit);\n        const value = typeof sample === \"number\" ? sample : sample.value;\n        if (!Number.isFinite(value))\n            invalidSample = true;\n        values.push(value);\n    }\n    if (sampleUnits.size > 1)\n        throw new TypeError(\"quantile() samples must use one unit, or all be numbers.\");\n    const unit = sampleUnits.values().next().value;\n    if (invalidSample)\n        return Object.freeze({ state: \"unavailable\", reason: \"non-finite-sample\", statistics, ...(unit === undefined ? {} : { unit }) });\n    const sorted = values.sort((a, b) => a - b);\n    const position = (sorted.length - 1) * p;\n    const lower = sorted[Math.floor(position)]!;\n    const upper = sorted[Math.ceil(position)]!;\n    const fraction = position - Math.floor(position);\n    const delta = upper - lower;\n    const value = method === \"nearest-rank\"\n        ? sorted[Math.max(0, Math.ceil(sorted.length * p) - 1)]!\n        : Number.isFinite(delta) ? lower + delta * fraction : lower * (1 - fraction) + upper * fraction;\n    return Object.freeze({ state: \"exact\", value, statistics, ...(unit === undefined ? {} : { unit }) });\n}\n"]}

package/dist/assertions/measurements.d.cts

@@ -0,0 +1,24 @@
+import { type Quantity, type Unit } from "./quantity.cjs";
+import type { NumericMaterial } from "./match.cjs";
+/** Preserve a missing observation instead of coercing null to zero. */
+export declare function measured(value: number | null, options: {
+    readonly unavailable: string;
+}): NumericMaterial;
+export declare function measured<U extends Unit>(value: Quantity<U> | null, options: {
+    readonly unavailable: string;
+}): NumericMaterial<U>;
+export type QuantileMethod = "linear" | "nearest-rank";
+export type QuantileMaterial<U extends Unit | undefined = undefined> = NumericMaterial<U> & {
+    readonly statistics: {
+        readonly sampleCount: number;
+        readonly probability: number;
+        readonly method: QuantileMethod;
+    };
+};
+/** Compute a quantile without changing or retaining the samples. Empty or invalid samples remain unavailable. */
+export declare function quantile(samples: readonly number[], p: number, options?: {
+    readonly method?: QuantileMethod;
+}): QuantileMaterial;
+export declare function quantile<U extends Unit>(samples: readonly Quantity<U>[], p: number, options?: {
+    readonly method?: QuantileMethod;
+}): QuantileMaterial<U>;

package/dist/assertions/measurements.d.mts

@@ -0,0 +1,24 @@
+import { type Quantity, type Unit } from "./quantity.mjs";
+import type { NumericMaterial } from "./match.mjs";
+/** Preserve a missing observation instead of coercing null to zero. */
+export declare function measured(value: number | null, options: {
+    readonly unavailable: string;
+}): NumericMaterial;
+export declare function measured<U extends Unit>(value: Quantity<U> | null, options: {
+    readonly unavailable: string;
+}): NumericMaterial<U>;
+export type QuantileMethod = "linear" | "nearest-rank";
+export type QuantileMaterial<U extends Unit | undefined = undefined> = NumericMaterial<U> & {
+    readonly statistics: {
+        readonly sampleCount: number;
+        readonly probability: number;
+        readonly method: QuantileMethod;
+    };
+};
+/** Compute a quantile without changing or retaining the samples. Empty or invalid samples remain unavailable. */
+export declare function quantile(samples: readonly number[], p: number, options?: {
+    readonly method?: QuantileMethod;
+}): QuantileMaterial;
+export declare function quantile<U extends Unit>(samples: readonly Quantity<U>[], p: number, options?: {
+    readonly method?: QuantileMethod;
+}): QuantileMaterial<U>;

package/dist/assertions/measurements.d.ts

@@ -0,0 +1,24 @@
+import { type Quantity, type Unit } from "./quantity.js";
+import type { NumericMaterial } from "./match.js";
+/** Preserve a missing observation instead of coercing null to zero. */
+export declare function measured(value: number | null, options: {
+    readonly unavailable: string;
+}): NumericMaterial;
+export declare function measured<U extends Unit>(value: Quantity<U> | null, options: {
+    readonly unavailable: string;
+}): NumericMaterial<U>;
+export type QuantileMethod = "linear" | "nearest-rank";
+export type QuantileMaterial<U extends Unit | undefined = undefined> = NumericMaterial<U> & {
+    readonly statistics: {
+        readonly sampleCount: number;
+        readonly probability: number;
+        readonly method: QuantileMethod;
+    };
+};
+/** Compute a quantile without changing or retaining the samples. Empty or invalid samples remain unavailable. */
+export declare function quantile(samples: readonly number[], p: number, options?: {
+    readonly method?: QuantileMethod;
+}): QuantileMaterial;
+export declare function quantile<U extends Unit>(samples: readonly Quantity<U>[], p: number, options?: {
+    readonly method?: QuantileMethod;
+}): QuantileMaterial<U>;

package/dist/assertions/measurements.js

@@ -0,0 +1,8 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./measurements.cjs");
+const __niceevalExport0 = __niceevalCanonical["measured"];
+export { __niceevalExport0 as measured };
+const __niceevalExport1 = __niceevalCanonical["quantile"];
+export { __niceevalExport1 as quantile };
+//# sourceMappingURL=measurements.js.map

package/dist/assertions/measurements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"measurements.js","sources":[],"names":[],"mappings":""}

package/dist/assertions/numeric.cjs

@@ -13,6 +13,8 @@ function numericCriterion(match, subject) {
         numeric: Object.freeze({
             comparator: comparison.comparator,
             threshold: comparison.threshold,
+            ...(comparison.upperThreshold === undefined ? {} : { upperThreshold: comparison.upperThreshold }),
+            ...(comparison.unit === undefined ? {} : { unit: comparison.unit }),
             subject: Object.freeze({ ...subject }),
         }),
     });

package/dist/assertions/numeric.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"numeric.js","sourceRoot":"","sources":["numeric.ts"],"names":[],"mappings":";;AAsCA,gEA+BC;AArED,mCAAgC;AAEhC,yCAAsH;AAkBtH,SAAS,gBAAgB,CAAC,KAA4C,EAAE,OAAgC;IACpG,MAAM,UAAU,GAAG,IAAA,8BAAmB,EAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,mEAAmE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,aAAsB;QAC5B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC;SACzC,CAAC;KACL,CAAC,CAAC;AACP,CAAC;AACD;;;GAGG;AACH,SAAgB,0BAA0B,CAAU,KAMnD;IACG,MAAM,UAAU,GAAG,IAAA,8BAAmB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,mEAAmE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC;QAChE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ;QAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ;QACjC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW;QACvC,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,GAAwC,EAAE;YAClE,MAAM,MAAM,GAAG,IAAA,oCAAyB,EAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACrE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;gBAChC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,MAAM,EAAE,oBAA6B;gBACrC,UAAU,EAAE,MAAM,CAAC,UAAU;aAChC,CAAC,CAAC;QACP,CAAC,CAAC;KACL,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Effect } from \"effect\";\nimport type { AssertionCriterion, BooleanAssertionEvaluation, BooleanAssertionRegistration, CapturedAssertionSnapshot, } from \"./api.ts\";\nimport { evaluateNumericComparison, numericComparisonOf, type BooleanMatch, type NumericMaterial, } from \"./match.ts\";\nexport type NumericCriterionSubject = {\n    readonly kind: \"explicit-value\";\n} | {\n    readonly kind: \"scope-metric\";\n    readonly metric: \"tokens\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly unit: \"tokens\";\n} | {\n    readonly kind: \"scope-metric\";\n    readonly metric: \"cost\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly unit: \"usd\";\n} | {\n    readonly kind: \"collection-cardinality\";\n    readonly collection: \"tool-calls\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n};\nfunction numericCriterion(match: BooleanMatch<number, number, \"value\">, subject: NumericCriterionSubject): AssertionCriterion {\n    const comparison = numericComparisonOf(match);\n    if (comparison === undefined) {\n        throw new TypeError(\"numeric assertion registration requires a managed numeric matcher\");\n    }\n    return Object.freeze({\n        kind: \"value-match\" as const,\n        numeric: Object.freeze({\n            comparator: comparison.comparator,\n            threshold: comparison.threshold,\n            subject: Object.freeze({ ...subject }),\n        }),\n    });\n}\n/**\n * Private registration primitive shared by explicit values and scope metrics.\n * It owns criterion encoding input and the sole numeric material evaluator.\n */\nexport function numericBooleanRegistration<Refined>(input: {\n    readonly match: BooleanMatch<number, number, \"value\">;\n    readonly criterionSubject: NumericCriterionSubject;\n    readonly material: NumericMaterial;\n    readonly captured: CapturedAssertionSnapshot;\n    readonly matchedValue: (value: number) => Refined;\n}): BooleanAssertionRegistration<Refined> {\n    const comparison = numericComparisonOf(input.match);\n    if (comparison === undefined) {\n        throw new TypeError(\"numeric assertion registration requires a managed numeric matcher\");\n    }\n    return Object.freeze({\n        criterion: numericCriterion(input.match, input.criterionSubject),\n        subject: input.captured.material,\n        coverage: input.captured.coverage,\n        limitations: input.captured.limitations,\n        evaluate: () => Effect.sync((): BooleanAssertionEvaluation<Refined> => {\n            const result = evaluateNumericComparison(input.material, comparison);\n            if (result.state === \"matched\") {\n                return Object.freeze({ state: \"matched\" as const, value: input.matchedValue(result.value) });\n            }\n            if (result.state === \"mismatched\") {\n                return Object.freeze({ state: \"mismatched\" as const, diagnostic: result.diagnostic });\n            }\n            return Object.freeze({\n                state: \"unavailable\" as const,\n                reason: \"source-unavailable\" as const,\n                diagnostic: result.diagnostic,\n            });\n        }),\n    });\n}\n"]}
+{"version":3,"file":"numeric.js","sourceRoot":"","sources":["numeric.ts"],"names":[],"mappings":";;AAwCA,gEA+BC;AAvED,mCAAgC;AAEhC,yCAAsH;AAkBtH,SAAS,gBAAgB,CAAC,KAA4C,EAAE,OAAgC;IACpG,MAAM,UAAU,GAAG,IAAA,8BAAmB,EAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,mEAAmE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,aAAsB;QAC5B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,GAAG,CAAC,UAAU,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC;YACjG,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;YACnE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC;SACzC,CAAC;KACL,CAAC,CAAC;AACP,CAAC;AACD;;;GAGG;AACH,SAAgB,0BAA0B,CAAU,KAMnD;IACG,MAAM,UAAU,GAAG,IAAA,8BAAmB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,mEAAmE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC;QAChE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ;QAChC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ;QACjC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW;QACvC,QAAQ,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,GAAwC,EAAE;YAClE,MAAM,MAAM,GAAG,IAAA,oCAAyB,EAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACrE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;gBAChC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,MAAM,EAAE,oBAA6B;gBACrC,UAAU,EAAE,MAAM,CAAC,UAAU;aAChC,CAAC,CAAC;QACP,CAAC,CAAC;KACL,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Effect } from \"effect\";\nimport type { AssertionCriterion, BooleanAssertionEvaluation, BooleanAssertionRegistration, CapturedAssertionSnapshot, } from \"./api.ts\";\nimport { evaluateNumericComparison, numericComparisonOf, type BooleanMatch, type NumericMaterial, } from \"./match.ts\";\nexport type NumericCriterionSubject = {\n    readonly kind: \"explicit-value\";\n} | {\n    readonly kind: \"scope-metric\";\n    readonly metric: \"tokens\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly unit: \"tokens\";\n} | {\n    readonly kind: \"scope-metric\";\n    readonly metric: \"cost\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n    readonly unit: \"usd\";\n} | {\n    readonly kind: \"collection-cardinality\";\n    readonly collection: \"tool-calls\";\n    readonly scope: \"turn\" | \"session\" | \"attempt\";\n};\nfunction numericCriterion(match: BooleanMatch<number, number, \"value\">, subject: NumericCriterionSubject): AssertionCriterion {\n    const comparison = numericComparisonOf(match);\n    if (comparison === undefined) {\n        throw new TypeError(\"numeric assertion registration requires a managed numeric matcher\");\n    }\n    return Object.freeze({\n        kind: \"value-match\" as const,\n        numeric: Object.freeze({\n            comparator: comparison.comparator,\n            threshold: comparison.threshold,\n            ...(comparison.upperThreshold === undefined ? {} : { upperThreshold: comparison.upperThreshold }),\n            ...(comparison.unit === undefined ? {} : { unit: comparison.unit }),\n            subject: Object.freeze({ ...subject }),\n        }),\n    });\n}\n/**\n * Private registration primitive shared by explicit values and scope metrics.\n * It owns criterion encoding input and the sole numeric material evaluator.\n */\nexport function numericBooleanRegistration<Refined>(input: {\n    readonly match: BooleanMatch<number, number, \"value\">;\n    readonly criterionSubject: NumericCriterionSubject;\n    readonly material: NumericMaterial<import(\"./quantity.ts\").Unit | undefined>;\n    readonly captured: CapturedAssertionSnapshot;\n    readonly matchedValue: (value: number) => Refined;\n}): BooleanAssertionRegistration<Refined> {\n    const comparison = numericComparisonOf(input.match);\n    if (comparison === undefined) {\n        throw new TypeError(\"numeric assertion registration requires a managed numeric matcher\");\n    }\n    return Object.freeze({\n        criterion: numericCriterion(input.match, input.criterionSubject),\n        subject: input.captured.material,\n        coverage: input.captured.coverage,\n        limitations: input.captured.limitations,\n        evaluate: () => Effect.sync((): BooleanAssertionEvaluation<Refined> => {\n            const result = evaluateNumericComparison(input.material, comparison);\n            if (result.state === \"matched\") {\n                return Object.freeze({ state: \"matched\" as const, value: input.matchedValue(result.value) });\n            }\n            if (result.state === \"mismatched\") {\n                return Object.freeze({ state: \"mismatched\" as const, diagnostic: result.diagnostic });\n            }\n            return Object.freeze({\n                state: \"unavailable\" as const,\n                reason: \"source-unavailable\" as const,\n                diagnostic: result.diagnostic,\n            });\n        }),\n    });\n}\n"]}

package/dist/assertions/numeric.d.cts

@@ -24,7 +24,7 @@ export type NumericCriterionSubject = {
 export declare function numericBooleanRegistration<Refined>(input: {
     readonly match: BooleanMatch<number, number, "value">;
     readonly criterionSubject: NumericCriterionSubject;
-    readonly material: NumericMaterial;
+    readonly material: NumericMaterial<import("./quantity.cjs").Unit | undefined>;
     readonly captured: CapturedAssertionSnapshot;
     readonly matchedValue: (value: number) => Refined;
 }): BooleanAssertionRegistration<Refined>;

package/dist/assertions/numeric.d.mts

@@ -24,7 +24,7 @@ export type NumericCriterionSubject = {
 export declare function numericBooleanRegistration<Refined>(input: {
     readonly match: BooleanMatch<number, number, "value">;
     readonly criterionSubject: NumericCriterionSubject;
-    readonly material: NumericMaterial;
+    readonly material: NumericMaterial<import("./quantity.mjs").Unit | undefined>;
     readonly captured: CapturedAssertionSnapshot;
     readonly matchedValue: (value: number) => Refined;
 }): BooleanAssertionRegistration<Refined>;

package/dist/assertions/numeric.d.ts

@@ -24,7 +24,7 @@ export type NumericCriterionSubject = {
 export declare function numericBooleanRegistration<Refined>(input: {
     readonly match: BooleanMatch<number, number, "value">;
     readonly criterionSubject: NumericCriterionSubject;
-    readonly material: NumericMaterial;
+    readonly material: NumericMaterial<import("./quantity.js").Unit | undefined>;
     readonly captured: CapturedAssertionSnapshot;
     readonly matchedValue: (value: number) => Refined;
 }): BooleanAssertionRegistration<Refined>;