typebox 1.0.9 → 1.0.11

package/build/value/codec/from-object.mjs

@@ -3,6 +3,7 @@ import { Unreachable } from '../../system/unreachable/index.mjs';
 import { Guard } from '../../guard/index.mjs';
 import { FromType } from './from-type.mjs';
 import { Callback } from './callback.mjs';
+import { IsOptionalUndefined } from '../shared/index.mjs';
 // ------------------------------------------------------------------
 // Decode
 // ------------------------------------------------------------------
@@ -12,7 +13,8 @@ function Decode(direction, context, type, value) {
         return Unreachable();
     // deno-coverage-ignore-stop
     for (const key of Guard.Keys(type.properties)) {
-        if (!Guard.HasPropertyKey(value, key))
+        // Ignore for non-present or optional-undefined
+        if (!Guard.HasPropertyKey(value, key) || IsOptionalUndefined(type.properties[key], key, value))
             continue;
         value[key] = FromType(direction, context, type.properties[key], value[key]);
     }
@@ -26,7 +28,8 @@ function Encode(direction, context, type, value) {
     if (!Guard.IsObjectNotArray(exterior))
         return exterior;
     for (const key of Guard.Keys(type.properties)) {
-        if (!Guard.HasPropertyKey(exterior, key))
+        // Ignore for non-present or optional-undefined
+        if (!Guard.HasPropertyKey(exterior, key) || IsOptionalUndefined(type.properties[key], key, exterior))
             continue;
         exterior[key] = FromType(direction, context, type.properties[key], exterior[key]);
     }

package/build/value/convert/from-object.d.mts

@@ -1,2 +1,2 @@
-import type { TObject, TProperties } from '../../type/index.mjs';
+import { type TObject, type TProperties } from '../../type/index.mjs';
 export declare function FromObject(context: TProperties, type: TObject, value: unknown): unknown;

package/build/value/convert/from-object.mjs

@@ -2,14 +2,19 @@
 import { Guard } from '../../guard/index.mjs';
 import { FromType } from './from-type.mjs';
 import { FromAdditionalProperties } from './from-additional.mjs';
+import { IsOptionalUndefined } from '../shared/index.mjs';
+// ------------------------------------------------------------------
+// FromProperties
+// ------------------------------------------------------------------
 function FromProperties(context, type, value) {
     const entries = Guard.EntriesRegExp(type.properties);
     const keys = Guard.Keys(value);
-    for (const [regexp, schema] of entries) {
+    for (const [regexp, property] of entries) {
         for (const key of keys) {
-            if (regexp.test(key)) {
-                value[key] = FromType(context, schema, value[key]);
-            }
+            // Ignore for non-present or optional-undefined
+            if (!regexp.test(key) || IsOptionalUndefined(property, key, value))
+                continue;
+            value[key] = FromType(context, property, value[key]);
         }
     }
     return (Guard.HasPropertyKey(type, 'additionalProperties') && Guard.IsObject(type.additionalProperties)

package/build/value/shared/index.d.mts

@@ -0,0 +1 @@
+export * from './optional-undefined.mjs';

package/build/value/shared/index.mjs

@@ -0,0 +1,2 @@
+// deno-fmt-ignore-file
+export * from './optional-undefined.mjs';

package/build/value/shared/optional-undefined.d.mts

@@ -0,0 +1,2 @@
+import { type TSchema } from '../../type/index.mjs';
+export declare function IsOptionalUndefined(property: TSchema, key: PropertyKey, value: Record<PropertyKey, unknown>): boolean;

package/build/value/shared/optional-undefined.mjs

@@ -0,0 +1,15 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../guard/index.mjs';
+import { IsOptional } from '../../type/index.mjs';
+// ------------------------------------------------------------------
+// IsOptionalUndefined
+//
+// Indicates whether a key should be excluded from processing when it is 
+// defined as optional in the schema and its corresponding value is undefined. 
+// This case cannot be reliably distinguished from an omitted key, and therefore 
+// introduces ambiguity between a key that is not provided and one that is 
+// explicitly assigned an undefined value.
+// ------------------------------------------------------------------
+export function IsOptionalUndefined(property, key, value) {
+    return IsOptional(property) && Guard.IsUndefined(value[key]);
+}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "A Runtime Type System for JavaScript",
-  "version": "1.0.9",
+  "version": "1.0.11",
   "keywords": [
     "typescript",
     "jsonschema"