@naturalcycles/nodejs-lib 15.106.2 → 15.106.3

package/dist/validation/ajv/jSchema.d.ts

@@ -634,7 +634,7 @@ type HasAllowExtraKeys<T> = T extends {
 type IsAny<T> = 0 extends 1 & T ? true : false;
 type IsAssignableRelaxed<A, B> = IsAny<RelaxIndexSignature<A>> extends true ? true : [RelaxIndexSignature<A>] extends [B] ? true : false;
 type ExactMatchBase<A, B> = (<T>() => T extends A ? 1 : 2) extends <T>() => (T extends B ? 1 : 2) ? (<T>() => T extends B ? 1 : 2) extends <T>() => (T extends A ? 1 : 2) ? true : false : false;
-type ExactMatch<A, B> = HasAllowExtraKeys<B> extends true ? IsAssignableRelaxed<B, A> : ExactMatchBase<Expand<A>, Expand<B>> extends true ? true : ExactMatchBase<Expand<StripIndexSignatureDeep<A>>, Expand<StripIndexSignatureDeep<B>>>;
+type ExactMatch<A, B> = HasAllowExtraKeys<B> extends true ? IsAssignableRelaxed<B, A> : ExactMatchBase<Expand<A>, Expand<B>> extends true ? true : ExactMatchBase<Expand<StripIndexSignatureDeep<A>>, Expand<StripIndexSignatureDeep<B>>> extends true ? true : ExactMatchBase<keyof Expand<A>, keyof Expand<B>> extends true ? [Expand<A>] extends [Expand<B>] ? [Expand<B>] extends [Expand<A>] ? true : false : false : false;
 type BuilderOutUnion<B extends readonly JSchema<any, any>[]> = {
     [K in keyof B]: B[K] extends JSchema<infer O, any> ? O : never;
 }[number];

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@naturalcycles/nodejs-lib",
   "type": "module",
-  "version": "15.106.2",
+  "version": "15.106.3",
   "dependencies": {
     "@naturalcycles/js-lib": "^15",
     "@standard-schema/spec": "^1",

package/src/validation/ajv/jSchema.ts

@@ -2141,7 +2141,21 @@ type ExactMatch<A, B> =
     ? IsAssignableRelaxed<B, A>
     : ExactMatchBase<Expand<A>, Expand<B>> extends true
       ? true
-      : ExactMatchBase<Expand<StripIndexSignatureDeep<A>>, Expand<StripIndexSignatureDeep<B>>>
+      : ExactMatchBase<
+            Expand<StripIndexSignatureDeep<A>>,
+            Expand<StripIndexSignatureDeep<B>>
+          > extends true
+        ? true
+        : // Fallback for types that are structurally identical but have different internal
+          // representations (e.g. enum values from T[keyof T] vs direct enum references).
+          // Keys must match exactly; then check mutual structural assignability.
+          ExactMatchBase<keyof Expand<A>, keyof Expand<B>> extends true
+          ? [Expand<A>] extends [Expand<B>]
+            ? [Expand<B>] extends [Expand<A>]
+              ? true
+              : false
+            : false
+          : false
 
 type BuilderOutUnion<B extends readonly JSchema<any, any>[]> = {
   [K in keyof B]: B[K] extends JSchema<infer O, any> ? O : never