typebox 1.0.40 → 1.0.41

package/build/value/repair/from-type.mjs

@@ -1,6 +1,8 @@
 // deno-fmt-ignore-file
 import { Guard, GlobalsGuard } from '../../guard/index.mjs';
 import * as T from '../../type/index.mjs';
+import { Check } from '../check/index.mjs';
+import { Create } from '../create/index.mjs';
 import { FromArray } from './from-array.mjs';
 import { FromBase } from './from-base.mjs';
 import { FromEnum } from './from-enum.mjs';
@@ -42,16 +44,35 @@ function AssertRepairableType(context, type, value) {
     }
 }
 // ------------------------------------------------------------------
+// FinalizeRepair
+//
+// When a type includes the ~refine modifier, a post-repair validation
+// check must be performed to ensure the repaired value satisfies the
+// refine constraint. This logic is implemented as part of FromType to
+// ensure the post-refine validation check is handled outside of
+// sub-schema constraint checking (i.e., at the top level).
+//
+// ------------------------------------------------------------------
+function FinalizeRepair(context, type, repaired) {
+    return T.IsRefine(type)
+        ? Check(context, type, repaired)
+            ? repaired
+            : Create(context, type)
+        : repaired;
+}
+// ------------------------------------------------------------------
 // FromType
 // ------------------------------------------------------------------
 export function FromType(context, type, value) {
-    // Intercept Base
-    if (T.IsBase(type))
-        return FromBase(context, type, value);
-    // Standard Repair
+    // Base Repair
+    if (T.IsBase(type)) {
+        const repaired = FromBase(context, type, value);
+        return FinalizeRepair(context, type, repaired);
+    }
+    // Schema Repair
     AssertRepairableValue(context, type, value);
     AssertRepairableType(context, type, value);
-    return (T.IsArray(type) ? FromArray(context, type, value) :
+    const repaired = (T.IsArray(type) ? FromArray(context, type, value) :
         T.IsEnum(type) ? FromEnum(context, type, value) :
             T.IsIntersect(type) ? FromIntersect(context, type, value) :
                 T.IsObject(type) ? FromObject(context, type, value) :
@@ -61,4 +82,5 @@ export function FromType(context, type, value) {
                                 T.IsTuple(type) ? FromTuple(context, type, value) :
                                     T.IsUnion(type) ? FromUnion(context, type, value) :
                                         FromUnknown(context, type, value));
+    return FinalizeRepair(context, type, repaired);
 }

package/build/value/repair/repair.mjs

@@ -2,8 +2,6 @@
 import { Arguments } from '../../system/arguments/index.mjs';
 import { FromType } from './from-type.mjs';
 import { Assert } from '../assert/index.mjs';
-import { Check } from '../check/index.mjs';
-import { Create } from '../create/index.mjs';
 /**
  * Repairs a value to match the provided type. This function is intended for data migration
  * scenarios where existing values need to be migrating to an updated type. This function will
@@ -17,7 +15,6 @@ export function Repair(...args) {
         2: (type, value) => [{}, type, value],
     });
     const repaired = FromType(context, type, value);
-    const checked = Check(context, type, repaired) ? repaired : Create(context, type);
-    Assert(context, type, checked); // ensure correct
-    return checked;
+    Assert(context, type, repaired);
+    return repaired;
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
-  "version": "1.0.40",
+  "version": "1.0.41",
   "keywords": [
     "typescript",
     "jsonschema"