@ghostry/fabricator 0.0.7 → 0.0.9

package/dist/esm/Bound.js

@@ -76,6 +76,11 @@ function toLengthRange(length, label) {
         max: toBound(length.max)
     };
     assertNonemptyDiscrete(label, range.min, range.max);
-    return range;
+    if ("number" == typeof length || void 0 === length.distribution) return range;
+    return {
+        min: range.min,
+        max: range.max,
+        distribution: length.distribution
+    };
 }
 export { assertNonemptyContinuous, assertNonemptyDiscrete, assertNonemptyDiscreteBigint, constrainContinuous, effectiveDiscrete, effectiveDiscreteBigint, epochBound, toBound, toLengthRange, towardInterior };

package/dist/esm/Distribution/index.js

@@ -42,6 +42,14 @@ function unitPosition(x, min, max) {
     if (!Number.isFinite(ratio)) return 0;
     return 1 / (1 + ratio);
 }
+function discreteSampler(distribution, range, stream) {
+    const { min, max } = range;
+    const draw = sampler(null != distribution ? distribution : Distribution_Distribution.uniform(), {
+        min,
+        max: max + 1
+    }, stream);
+    return ()=>Math.min(max, Math.floor(draw()));
+}
 function sampler(distribution, range, stream) {
     const { min, max } = range;
     const span = max - min;
@@ -135,6 +143,7 @@ function normalInv(p) {
     return -(((((-0.007784894002430293 * q - 3.223964580411365e-1) * q - 2.400758277161838) * q - 2.549732539343734) * q + 4.374664141464968) * q + 2.938163982698783) / ((((7.784695709041462e-3 * q + 3.224671290700398e-1) * q + 2.445134137142996) * q + 3.754408661907416) * q + 1);
 }
 function sample(list, stream) {
+    if (0 === list.length) throw new FabricatorError.EmptyItemsError("sample", "item");
     const index = Math.floor(stream.next() * list.length);
     const item = list[index];
     return item;
@@ -197,4 +206,4 @@ function weighted(weights, stream, label) {
     };
 }
 var Distribution_Distribution;
-export { Distribution_Distribution as Distribution, assertDrawableKeyedWeights, assertDrawableWeights, drawableOutcomes, isDrawable, isValidWeight, sample, sampler, shuffle, weighted };
+export { Distribution_Distribution as Distribution, assertDrawableKeyedWeights, assertDrawableWeights, discreteSampler, drawableOutcomes, isDrawable, isValidWeight, sample, sampler, shuffle, weighted };

package/dist/esm/Enumeration/Plan.js

@@ -186,6 +186,14 @@ function axisFor(node, planning) {
                         slots
                     }));
             }
+        case "derive":
+            {
+                const from = node[Children];
+                const axes = from.map((slot)=>plan(slot, planning));
+                return productAxis(planning.strategy, axes, (slots)=>({
+                        slots
+                    }));
+            }
         case "object":
             {
                 const definition = node[Meta].definition;
@@ -271,6 +279,14 @@ function resolve(node, pin) {
                 const elements = node[Children];
                 return elements.map((element, i)=>resolve(element, p.slots[i]));
             }
+        case "derive":
+            {
+                const p = pin;
+                const from = node[Children];
+                return node.fabricate({
+                    from: from.map((slot, i)=>resolve(slot, p.slots[i]))
+                });
+            }
         case "object":
             {
                 const p = pin;

package/dist/esm/Error/index.js

@@ -88,6 +88,14 @@ class Error_FabricatorError extends Error {
         }
     }
     FabricatorError.ComputeResultMismatchError = ComputeResultMismatchError;
+    class DeriveResultMismatchError extends FabricatorError {
+        constructor(kind, value){
+            super(), _define_property(this, "kind", void 0), _define_property(this, "value", void 0), this.kind = kind, this.value = value;
+            this.name = "DeriveResultMismatchError";
+            this.message = `A T.derive resolver returned a value of type ${typeof value} that does not match its \`to\` schema ("${kind}").`;
+        }
+    }
+    FabricatorError.DeriveResultMismatchError = DeriveResultMismatchError;
     class UnknownOverrideFieldError extends FabricatorError {
         constructor(field, available){
             super(), _define_property(this, "field", void 0), _define_property(this, "available", void 0), this.field = field, this.available = available;

package/dist/esm/Fabricator/Constructor.js

@@ -209,6 +209,19 @@ function Constructor(source, stack, ancestry) {
                         schema: s
                     }, elements);
                 }
+            case "derive":
+                {
+                    const s = schema;
+                    const from = s[Meta].from.map((item, i)=>make(item, [
+                            ...path,
+                            "from",
+                            i.toString(10)
+                        ], context));
+                    return Primitive.derive.Fabricator({
+                        ...common,
+                        schema: s
+                    }, from);
+                }
             case "object.compute":
                 {
                     const s = schema;

package/dist/esm/Instance/Core.js

@@ -96,14 +96,14 @@ function instantiate(config, stack, parent) {
             return normalizeSalt((null != (_ref = null == (_visibleFrame = visibleFrame()) ? void 0 : _visibleFrame.config) ? _ref : config).salt);
         },
         get algorithm () {
-            var _ref1;
-            var _visibleFrame1;
-            return (null != (_ref1 = null == (_visibleFrame1 = visibleFrame()) ? void 0 : _visibleFrame1.config) ? _ref1 : config).algorithm;
+            var _ref;
+            var _visibleFrame;
+            return (null != (_ref = null == (_visibleFrame = visibleFrame()) ? void 0 : _visibleFrame.config) ? _ref : config).algorithm;
         },
         get clock () {
-            var _ref2;
-            var _visibleFrame2;
-            return resolveClock(null != (_ref2 = null == (_visibleFrame2 = visibleFrame()) ? void 0 : _visibleFrame2.config) ? _ref2 : config);
+            var _ref;
+            var _visibleFrame;
+            return resolveClock(null != (_ref = null == (_visibleFrame = visibleFrame()) ? void 0 : _visibleFrame.config) ? _ref : config);
         },
         scope: ()=>{
             var _ref;
@@ -118,8 +118,8 @@ function instantiate(config, stack, parent) {
         T: config.types,
         ancestry,
         get root () {
-            var _ref3;
-            return null != (_ref3 = null == parent ? void 0 : parent.root) ? _ref3 : instance;
+            var _ref;
+            return null != (_ref = null == parent ? void 0 : parent.root) ? _ref : instance;
         },
         Fabricator,
         combinatorial,

package/dist/esm/Primitive/always/Schema.js

@@ -1,9 +1,11 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind } from "../../Types.js";
 function Schema(schema) {
     return {
         ...schema,
         [Kind]: "always",
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/array/Fabricator.js

@@ -1,7 +1,7 @@
 import { effectiveDiscrete } from "../../Bound.js";
+import { discreteSampler } from "../../Distribution/index.js";
 import { toStreamFromTrace } from "../../Random/index.js";
 import { Children, Kind, Meta } from "../../Types.js";
-import { inline } from "../../Utility/Core.js";
 import { Schema } from "./Schema.js";
 function Fabricator(context, element) {
     const { schema, algorithm, trace } = context;
@@ -24,15 +24,10 @@ function Fabricator(context, element) {
     }
     const stream = toStreamFromTrace(algorithm, trace);
     const whereby = meta.whereby;
-    const fabricate = ()=>{
-        const length = inline(()=>{
-            const { min, max } = effectiveDiscrete(whereby.length.min, whereby.length.max);
-            return min + Math.floor(stream.next() * (max - min + 1));
-        });
-        return Array.from({
-            length
+    const drawLength = discreteSampler(whereby.length.distribution, effectiveDiscrete(whereby.length.min, whereby.length.max), stream);
+    const fabricate = ()=>Array.from({
+            length: drawLength()
         }, ()=>element.fabricate());
-    };
     return {
         [Kind]: "array",
         [Meta]: meta,

package/dist/esm/Primitive/array/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -11,6 +12,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/bigint/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -11,6 +12,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/boolean/Schema.js

@@ -1,5 +1,6 @@
 import { withAdaptations } from "../../Adapter/Core.js";
 import { assertDrawableKeyedWeights } from "../../Distribution/index.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 import { outcomes } from "./Outcomes.js";
 function Schema(schema) {
@@ -13,6 +14,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         weighted: (weights)=>{
             const merged = {
                 ...schema[Meta].weights,

package/dist/esm/Primitive/choice/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -11,6 +12,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/date/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -11,6 +12,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/derive/Fabricator.js

@@ -0,0 +1,31 @@
+import { FabricatorError } from "../../Error/index.js";
+import { toStreamFromTrace } from "../../Random/index.js";
+import { toValueKind, violatesKind } from "../../Schema/Core.js";
+import { Children, Kind, Meta } from "../../Types.js";
+import { Schema } from "./Schema.js";
+function Fabricator(context, from) {
+    const { schema, algorithm, trace } = context;
+    const meta = schema[Meta];
+    const rehydrated = Schema(schema);
+    const stream = toStreamFromTrace(algorithm, trace);
+    const resolve = meta.resolve;
+    const toKind = toValueKind(meta.to);
+    return {
+        [Kind]: "derive",
+        [Meta]: meta,
+        trace,
+        [Children]: from,
+        fabricate: (params)=>{
+            var _ref;
+            const values = null != (_ref = null == params ? void 0 : params.from) ? _ref : from.map((slot)=>slot.fabricate());
+            const result = resolve(values, {
+                random: stream,
+                clock: trace.clock
+            });
+            if (violatesKind(toKind, result)) throw new FabricatorError.DeriveResultMismatchError(toKind, result);
+            return result;
+        },
+        schema: rehydrated
+    };
+}
+export { Fabricator };

package/dist/esm/Primitive/derive/Registry.js

@@ -0,0 +1,17 @@
+import { toSchema } from "../../Schema/Core.js";
+import { Kind, Meta } from "../../Types.js";
+import { Schema } from "./Schema.js";
+function Registry({ to, from }) {
+    const normalized = from.map((item)=>toSchema(item));
+    return {
+        as: (resolve)=>Schema({
+                [Kind]: "derive",
+                [Meta]: {
+                    from: normalized,
+                    to,
+                    resolve
+                }
+            })
+    };
+}
+export default Registry;

package/dist/esm/Primitive/derive/Schema.js

@@ -0,0 +1,12 @@
+import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
+import { Kind } from "../../Types.js";
+function Schema(schema) {
+    return {
+        ...schema,
+        [Kind]: "derive",
+        satisfies: schemaSatisfies,
+        adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
+    };
+}
+export { Schema };

package/dist/esm/Primitive/derive/Types.js

@@ -0,0 +1 @@
+export { };

package/dist/esm/Primitive/derive/index.js

@@ -0,0 +1,5 @@
+export * from "./Types.js";
+export * from "./Schema.js";
+export * from "./Fabricator.js";
+export * from "./Registry.js";
+export { default } from "./Registry.js";

package/dist/esm/Primitive/enum/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -11,6 +12,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/index.js

@@ -5,6 +5,7 @@ export { default as bigint } from "./bigint/index.js";
 export { default as boolean } from "./boolean/index.js";
 export { default as choice } from "./choice/index.js";
 export { default as date } from "./date/index.js";
+export { default as derive } from "./derive/index.js";
 export { default as enum } from "./enum/index.js";
 export { default as null } from "./null/index.js";
 export { default as nullable } from "./nullable/index.js";

package/dist/esm/Primitive/namespace.js

@@ -4,6 +4,7 @@ import * as __rspack_external__bigint_index_js_adedcded from "./bigint/index.js"
 import * as __rspack_external__boolean_index_js_0a69a391 from "./boolean/index.js";
 import * as __rspack_external__choice_index_js_ce126df9 from "./choice/index.js";
 import * as __rspack_external__date_index_js_99c830c9 from "./date/index.js";
+import * as __rspack_external__derive_index_js_be41c87a from "./derive/index.js";
 import * as __rspack_external__enum_index_js_39677e4c from "./enum/index.js";
 import * as __rspack_external__null_index_js_b154bd62 from "./null/index.js";
 import * as __rspack_external__nullable_index_js_a31c5679 from "./nullable/index.js";
@@ -18,4 +19,4 @@ import * as __rspack_external__symbol_index_js_65f53bf7 from "./symbol/index.js"
 import * as __rspack_external__tuple_index_js_fe5f0f11 from "./tuple/index.js";
 import * as __rspack_external__undefinable_index_js_01dfdeb8 from "./undefinable/index.js";
 import * as __rspack_external__undefined_index_js_b61f9fc3 from "./undefined/index.js";
-export { __rspack_external__always_index_js_5b7da93f as always, __rspack_external__array_index_js_e390953b as array, __rspack_external__bigint_index_js_adedcded as bigint, __rspack_external__boolean_index_js_0a69a391 as boolean, __rspack_external__choice_index_js_ce126df9 as choice, __rspack_external__date_index_js_99c830c9 as date, __rspack_external__enum_index_js_39677e4c as enum, __rspack_external__null_index_js_b154bd62 as null, __rspack_external__nullable_index_js_a31c5679 as nullable, __rspack_external__nullish_index_js_03ff6564 as nullish, __rspack_external__number_index_js_b8c783ea as number, __rspack_external__object_index_js_53384658 as object, __rspack_external__opaque_index_js_0795d628 as opaque, __rspack_external__record_index_js_120e2811 as record, __rspack_external__recursive_index_js_3c8bba6b as recursive, __rspack_external__string_index_js_18f2393a as string, __rspack_external__symbol_index_js_65f53bf7 as symbol, __rspack_external__tuple_index_js_fe5f0f11 as tuple, __rspack_external__undefinable_index_js_01dfdeb8 as undefinable, __rspack_external__undefined_index_js_b61f9fc3 as undefined };
+export { __rspack_external__always_index_js_5b7da93f as always, __rspack_external__array_index_js_e390953b as array, __rspack_external__bigint_index_js_adedcded as bigint, __rspack_external__boolean_index_js_0a69a391 as boolean, __rspack_external__choice_index_js_ce126df9 as choice, __rspack_external__date_index_js_99c830c9 as date, __rspack_external__derive_index_js_be41c87a as derive, __rspack_external__enum_index_js_39677e4c as enum, __rspack_external__null_index_js_b154bd62 as null, __rspack_external__nullable_index_js_a31c5679 as nullable, __rspack_external__nullish_index_js_03ff6564 as nullish, __rspack_external__number_index_js_b8c783ea as number, __rspack_external__object_index_js_53384658 as object, __rspack_external__opaque_index_js_0795d628 as opaque, __rspack_external__record_index_js_120e2811 as record, __rspack_external__recursive_index_js_3c8bba6b as recursive, __rspack_external__string_index_js_18f2393a as string, __rspack_external__symbol_index_js_65f53bf7 as symbol, __rspack_external__tuple_index_js_fe5f0f11 as tuple, __rspack_external__undefinable_index_js_01dfdeb8 as undefinable, __rspack_external__undefined_index_js_b61f9fc3 as undefined };

package/dist/esm/Primitive/null/Schema.js

@@ -1,9 +1,11 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind } from "../../Types.js";
 function Schema(schema) {
     return {
         ...schema,
         [Kind]: "null",
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/nullable/Schema.js

@@ -1,5 +1,6 @@
 import { withAdaptations } from "../../Adapter/Core.js";
 import { assertDrawableKeyedWeights } from "../../Distribution/index.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 import { outcomes } from "./Outcomes.js";
 function Schema(schema) {
@@ -13,6 +14,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         weighted: (weights)=>{
             const merged = {
                 ...schema[Meta].weights,

package/dist/esm/Primitive/nullish/Schema.js

@@ -1,5 +1,6 @@
 import { withAdaptations } from "../../Adapter/Core.js";
 import { assertDrawableKeyedWeights } from "../../Distribution/index.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 import { outcomes } from "./Outcomes.js";
 function Schema(schema) {
@@ -13,6 +14,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         weighted: (weights)=>{
             const merged = {
                 ...schema[Meta].weights,

package/dist/esm/Primitive/number/Fabricator.js

@@ -1,5 +1,5 @@
 import { constrainContinuous, effectiveDiscrete } from "../../Bound.js";
-import { Distribution, sampler } from "../../Distribution/index.js";
+import { Distribution, discreteSampler, sampler } from "../../Distribution/index.js";
 import { toStreamFromTrace } from "../../Random/index.js";
 import { Kind, Meta } from "../../Types.js";
 import { unboundedContinuous, unboundedDiscrete } from "./defaults.js";
@@ -46,16 +46,12 @@ function Fabricator(context) {
     };
     const distribution = null != (_range_distribution = range.distribution) ? _range_distribution : Distribution.uniform();
     if (meta.integer) {
-        const { min, max } = effectiveDiscrete(range.min, range.max);
-        const draw = sampler(distribution, {
-            min,
-            max: max + 1
-        }, stream);
+        const draw = discreteSampler(distribution, effectiveDiscrete(range.min, range.max), stream);
         return {
             [Kind]: "number",
             [Meta]: meta,
             trace,
-            fabricate: ()=>Math.min(max, Math.floor(draw())),
+            fabricate: ()=>draw(),
             schema: rehydrated
         };
     }

package/dist/esm/Primitive/number/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -12,6 +13,7 @@ function Schema(schema) {
                     hints
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/object/Registry.js

@@ -1,13 +1,13 @@
 import { mergeAdaptations } from "../../Adapter/Core.js";
 import { FabricatorError } from "../../Error/index.js";
-import { toSchema, violatesKind } from "../../Schema/Core.js";
+import { toSchema, toValueKind, violatesKind } from "../../Schema/Core.js";
 import { Adaptation, Fixed, Kind, Meta, Omitted } from "../../Types.js";
 import { isPlainObject } from "../../Utility/Core.js";
 import { shallowMerge } from "../../Utility/ShallowMerge.js";
 import { isNullableSchema } from "../nullable/Schema.js";
 import { isNullishSchema } from "../nullish/Schema.js";
 import { isUndefinableSchema } from "../undefinable/Schema.js";
-import compute_0, { isObjectComputeSchema } from "./compute/index.js";
+import compute_0 from "./compute/index.js";
 import { isObjectOmittableSchema } from "./omittable/Schema.js";
 import { isObjectOptionalSchema } from "./optional/Schema.js";
 import { Schema, isObjectSchema } from "./Schema.js";
@@ -67,7 +67,7 @@ function make(definition, refinements, adaptations) {
                         };
                         continue;
                     }
-                    const innerKind = fieldSchema[Meta].definition[Kind];
+                    const innerKind = toValueKind(fieldSchema[Meta].definition);
                     if (violatesKind(innerKind, value)) throw new FabricatorError.InvalidOverrideValueError(key, innerKind, value);
                     overridden[key] = {
                         ...toSchema(fieldSchema),
@@ -83,7 +83,7 @@ function make(definition, refinements, adaptations) {
                         };
                         continue;
                     }
-                    const innerKind = fieldSchema[Meta].definition[Kind];
+                    const innerKind = toValueKind(fieldSchema[Meta].definition);
                     if (violatesKind(innerKind, value)) throw new FabricatorError.InvalidOverrideValueError(key, innerKind, value);
                     overridden[key] = {
                         ...toSchema(fieldSchema),
@@ -93,7 +93,7 @@ function make(definition, refinements, adaptations) {
                 }
                 if (isUndefinableSchema(fieldSchema)) {
                     if (void 0 !== value) {
-                        const innerKind = fieldSchema[Meta].definition[Kind];
+                        const innerKind = toValueKind(fieldSchema[Meta].definition);
                         if (violatesKind(innerKind, value)) throw new FabricatorError.InvalidOverrideValueError(key, innerKind, value);
                     }
                     overridden[key] = {
@@ -104,7 +104,7 @@ function make(definition, refinements, adaptations) {
                 }
                 if (isNullableSchema(fieldSchema)) {
                     if (null !== value) {
-                        const innerKind = fieldSchema[Meta].definition[Kind];
+                        const innerKind = toValueKind(fieldSchema[Meta].definition);
                         if (violatesKind(innerKind, value)) throw new FabricatorError.InvalidOverrideValueError(key, innerKind, value);
                     }
                     overridden[key] = {
@@ -115,7 +115,7 @@ function make(definition, refinements, adaptations) {
                 }
                 if (isNullishSchema(fieldSchema)) {
                     if (null != value) {
-                        const innerKind = fieldSchema[Meta].definition[Kind];
+                        const innerKind = toValueKind(fieldSchema[Meta].definition);
                         if (violatesKind(innerKind, value)) throw new FabricatorError.InvalidOverrideValueError(key, innerKind, value);
                     }
                     overridden[key] = {
@@ -125,7 +125,7 @@ function make(definition, refinements, adaptations) {
                     continue;
                 }
                 if (value === Omitted) throw new FabricatorError.IllegalOmittedOverrideError(key, fieldSchema[Kind]);
-                const kind = isObjectComputeSchema(fieldSchema) ? fieldSchema[Meta].source[Kind] : fieldSchema[Kind];
+                const kind = toValueKind(fieldSchema);
                 if (violatesKind(kind, value)) throw new FabricatorError.InvalidOverrideValueError(key, kind, value);
                 overridden[key] = {
                     ...toSchema(fieldSchema),

package/dist/esm/Primitive/object/Schema.js

@@ -1,3 +1,4 @@
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -9,7 +10,8 @@ function Schema(schema) {
                     ...schema[Meta],
                     produce
                 }
-            })
+            }),
+        satisfies: schemaSatisfies
     };
 }
 function isObjectSchema(candidate) {

package/dist/esm/Primitive/object/compute/Schema.js

@@ -1,9 +1,11 @@
 import { withAdaptations } from "../../../Adapter/Core.js";
+import { schemaSatisfies } from "../../../Schema/Satisfies.js";
 import { Kind } from "../../../Types.js";
 function Schema(schema) {
     return {
         ...schema,
         [Kind]: "object.compute",
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/object/omittable/Schema.js

@@ -1,5 +1,6 @@
 import { withAdaptations } from "../../../Adapter/Core.js";
 import { assertDrawableKeyedWeights } from "../../../Distribution/index.js";
+import { schemaSatisfies } from "../../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../../Types.js";
 import { outcomes } from "./Outcomes.js";
 function Schema(schema) {
@@ -13,6 +14,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         weighted: (weights)=>{
             const merged = {
                 ...schema[Meta].weights,

package/dist/esm/Primitive/object/optional/Schema.js

@@ -1,5 +1,6 @@
 import { withAdaptations } from "../../../Adapter/Core.js";
 import { assertDrawableKeyedWeights } from "../../../Distribution/index.js";
+import { schemaSatisfies } from "../../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../../Types.js";
 import { outcomes } from "./Outcomes.js";
 function Schema(schema) {
@@ -13,6 +14,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         weighted: (weights)=>{
             const merged = {
                 ...schema[Meta].weights,

package/dist/esm/Primitive/opaque/Schema.js

@@ -1,9 +1,11 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind } from "../../Types.js";
 function Schema(schema) {
     return {
         ...schema,
         [Kind]: "opaque",
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }

package/dist/esm/Primitive/record/Fabricator.js

@@ -1,3 +1,4 @@
+import { discreteSampler } from "../../Distribution/index.js";
 import { toStreamFromTrace } from "../../Random/index.js";
 import { Children, Kind, Meta } from "../../Types.js";
 import { Schema } from "./Schema.js";
@@ -25,8 +26,12 @@ function Fabricator(context, key, value) {
     }
     const stream = toStreamFromTrace(algorithm, trace);
     const { max, minTried = 0 } = meta.whereby.size;
+    const drawSize = discreteSampler(void 0, {
+        min: minTried,
+        max
+    }, stream);
     const fabricate = ()=>{
-        const size = minTried + Math.floor(stream.next() * (max - minTried + 1));
+        const size = drawSize();
         const fabricated = {};
         for(let i = 0; i < size; i++){
             const k = key.fabricate();

package/dist/esm/Primitive/record/Schema.js

@@ -1,4 +1,5 @@
 import { withAdaptations } from "../../Adapter/Core.js";
+import { schemaSatisfies } from "../../Schema/Satisfies.js";
 import { Kind, Meta } from "../../Types.js";
 function Schema(schema) {
     return {
@@ -11,6 +12,7 @@ function Schema(schema) {
                     produce
                 }
             }),
+        satisfies: schemaSatisfies,
         adapt: (adapter, produce)=>Schema(withAdaptations(schema, adapter, produce))
     };
 }