@skmtc/core 0.31.0 → 0.32.1

package/esm/oas/pathItem/PathItem.d.ts

@@ -1,5 +1,6 @@
 import type { OasParameter } from '../parameter/Parameter.js';
 import type { OasRef } from '../ref/Ref.js';
+import type { OasServer } from '../server/Server.js';
 /**
  * Constructor fields for {@link OasPathItem}.
  */
@@ -10,6 +11,8 @@ export type PathItemFields = {
     description?: string | undefined;
     /** Parameters that are applicable for all operations on this path */
     parameters?: (OasParameter | OasRef<'parameter'>)[] | undefined;
+    /** Servers that replace the document's servers for all operations on this path */
+    servers?: OasServer[] | undefined;
     /** Custom extension fields (x-* properties) */
     extensionFields?: Record<string, unknown>;
 };
@@ -103,6 +106,8 @@ export declare class OasPathItem {
     summary: string | undefined;
     description: string | undefined;
     parameters: (OasParameter | OasRef<'parameter'>)[] | undefined;
+    /** Servers that replace the document's servers for all operations on this path */
+    servers: OasServer[] | undefined;
     extensionFields: Record<string, unknown> | undefined;
     constructor(fields?: PathItemFields);
 }

package/esm/oas/pathItem/PathItem.js

@@ -109,6 +109,13 @@ export class OasPathItem {
             writable: true,
             value: void 0
         });
+        /** Servers that replace the document's servers for all operations on this path */
+        Object.defineProperty(this, "servers", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
         Object.defineProperty(this, "extensionFields", {
             enumerable: true,
             configurable: true,
@@ -118,6 +125,7 @@ export class OasPathItem {
         this.summary = fields.summary;
         this.description = fields.description;
         this.parameters = fields.parameters;
+        this.servers = fields.servers;
         this.extensionFields = fields.extensionFields;
     }
 }

package/esm/parse/v3-0/parameter/toParameterV3.d.ts

@@ -1,10 +1,11 @@
 import type { ParseContextType } from '../../../context/parseTypes.js';
-import type { OasParameterLocation } from '../../../oas/parameter/parameter-types.js';
+import type { OasParameterLocation, OasParameterStyle } from '../../../oas/parameter/parameter-types.js';
 import type { OpenAPIV3 } from 'openapi-types';
 import { OasParameter } from '../../../oas/parameter/Parameter.js';
 import type { OasRef } from '../../../oas/ref/Ref.js';
 import type { StackTrail } from '../../../context/StackTrail.js';
 type ParameterLocation = Exclude<OasParameterLocation, 'querystring'>;
+type ParameterStyle = Exclude<OasParameterStyle, 'cookie'>;
 export type ToParameterListV3Args = {
     parameters: (OpenAPIV3.ParameterObject | OpenAPIV3.ReferenceObject)[] | undefined;
     stackTrail: StackTrail;
@@ -35,7 +36,7 @@ export type ToStyleArgs = {
 };
 export type ToExplodeArgs = {
     explode: boolean | undefined;
-    style: string | undefined;
+    style: ParameterStyle;
     stackTrail: StackTrail;
 };
 export {};

package/esm/parse/v3-0/parameter/toParameterV3.js

@@ -72,14 +72,15 @@ const toParameterV3 = ({ parameter, stackTrail, context }) => {
     }
     // Set missing 'required' to true for path parameters and false for others
     const defaultRequired = typeof required === 'undefined' ? (parsedLocation === 'path' ? true : false) : required;
+    const parsedStyle = stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st }));
     const fields = {
         name,
         location: parsedLocation,
         description,
         required: defaultRequired,
         deprecated,
-        style: stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st })),
-        explode: stackTrail.trace('explode', st => toExplode({ explode, style, stackTrail: st })),
+        style: parsedStyle,
+        explode: stackTrail.trace('explode', st => toExplode({ explode, style: parsedStyle, stackTrail: st })),
         allowEmptyValue,
         allowReserved,
         schema: stackTrail.trace('schema', st => toOptionalSchemaV3({ schema, stackTrail: st, context })),

package/esm/parse/v3-0/pathItem/toPathItemV3.js

@@ -1,12 +1,22 @@
 import { toParameterListV3 } from '../parameter/toParameterV3.js';
 import { OasPathItem } from '../../../oas/pathItem/PathItem.js';
+import { toOptionalServersV3 } from '../server/toServerV3.js';
+import { tryParseAt } from '../../../context/tryParseAt.js';
 import { toSpecificationExtensionsV3 } from '../specificationExtensions/toSpecificationExtensionsV3.js';
 export const toPathItemV3 = ({ pathItem, stackTrail, context }) => {
-    const { summary, description, parameters, ...skipped } = pathItem;
+    const { summary, description, parameters, servers, ...skipped } = pathItem;
     return new OasPathItem({
         summary,
         description,
         parameters: stackTrail.trace('parameters', st => toParameterListV3({ parameters, stackTrail: st, context })),
+        servers: tryParseAt({
+            stackTrail,
+            key: 'servers',
+            context,
+            type: 'INVALID_OPERATION',
+            parent: pathItem,
+            fn: st => toOptionalServersV3({ servers, stackTrail: st, context })
+        }),
         extensionFields: toSpecificationExtensionsV3({
             skipped,
             parent: pathItem,

package/esm/parse/v3-1/parameter/toParameterV3.d.ts

@@ -1,10 +1,11 @@
 import type { ParseContextType } from '../../../context/parseTypes.js';
-import type { OasParameterLocation } from '../../../oas/parameter/parameter-types.js';
+import type { OasParameterLocation, OasParameterStyle } from '../../../oas/parameter/parameter-types.js';
 import type { OpenAPIV3 } from 'openapi-types';
 import { OasParameter } from '../../../oas/parameter/Parameter.js';
 import type { OasRef } from '../../../oas/ref/Ref.js';
 import type { StackTrail } from '../../../context/StackTrail.js';
 type ParameterLocation = Exclude<OasParameterLocation, 'querystring'>;
+type ParameterStyle = Exclude<OasParameterStyle, 'cookie'>;
 export type ToParameterListV3Args = {
     parameters: (OpenAPIV3.ParameterObject | OpenAPIV3.ReferenceObject)[] | undefined;
     stackTrail: StackTrail;
@@ -35,7 +36,7 @@ export type ToStyleArgs = {
 };
 export type ToExplodeArgs = {
     explode: boolean | undefined;
-    style: string | undefined;
+    style: ParameterStyle;
     stackTrail: StackTrail;
 };
 export {};

package/esm/parse/v3-1/parameter/toParameterV3.js

@@ -72,14 +72,15 @@ const toParameterV3 = ({ parameter, stackTrail, context }) => {
     }
     // Set missing 'required' to true for path parameters and false for others
     const defaultRequired = typeof required === 'undefined' ? (parsedLocation === 'path' ? true : false) : required;
+    const parsedStyle = stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st }));
     const fields = {
         name,
         location: parsedLocation,
         description,
         required: defaultRequired,
         deprecated,
-        style: stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st })),
-        explode: stackTrail.trace('explode', st => toExplode({ explode, style, stackTrail: st })),
+        style: parsedStyle,
+        explode: stackTrail.trace('explode', st => toExplode({ explode, style: parsedStyle, stackTrail: st })),
         allowEmptyValue,
         allowReserved,
         schema: stackTrail.trace('schema', st => toOptionalSchemaV3({ schema, stackTrail: st, context })),

package/esm/parse/v3-1/pathItem/toPathItemV3.js

@@ -1,12 +1,22 @@
 import { toParameterListV3 } from '../parameter/toParameterV3.js';
 import { OasPathItem } from '../../../oas/pathItem/PathItem.js';
+import { toOptionalServersV3 } from '../server/toServerV3.js';
+import { tryParseAt } from '../../../context/tryParseAt.js';
 import { toSpecificationExtensionsV3 } from '../specificationExtensions/toSpecificationExtensionsV3.js';
 export const toPathItemV3 = ({ pathItem, stackTrail, context }) => {
-    const { summary, description, parameters, ...skipped } = pathItem;
+    const { summary, description, parameters, servers, ...skipped } = pathItem;
     return new OasPathItem({
         summary,
         description,
         parameters: stackTrail.trace('parameters', st => toParameterListV3({ parameters, stackTrail: st, context })),
+        servers: tryParseAt({
+            stackTrail,
+            key: 'servers',
+            context,
+            type: 'INVALID_OPERATION',
+            parent: pathItem,
+            fn: st => toOptionalServersV3({ servers, stackTrail: st, context })
+        }),
         extensionFields: toSpecificationExtensionsV3({
             skipped,
             parent: pathItem,

package/esm/parse/v3-1/schema/toSchemasV3.js

@@ -171,16 +171,79 @@ const normalizeContentFormat = (schema) => {
     const { contentMediaType: _contentMediaType, contentEncoding: _contentEncoding, ...rest } = view;
     return 'format' in rest ? rest : { ...rest, format: derivedFormat };
 };
+/**
+ * In-place applicators that evaluate keys `unevaluatedProperties` would
+ * otherwise see. `$ref` and `not` never reach `normalizeSchemaShape`.
+ */
+const inPlaceApplicators = [
+    'allOf',
+    'oneOf',
+    'anyOf',
+    'if',
+    'then',
+    'else',
+    'dependentSchemas',
+    '$dynamicRef'
+];
+/**
+ * With no in-place applicator on the same schema, `unevaluatedProperties`
+ * means the same as `additionalProperties` (JSON Schema 2020-12 §11.3,
+ * §10.3.2.3), so rename it. When `additionalProperties` is also present it
+ * evaluates every remaining key, so `unevaluatedProperties` is dropped.
+ */
+const normalizeUnevaluatedProperties = (schema) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    if (inPlaceApplicators.some(keyword => keyword in schema)) {
+        return schema;
+    }
+    // `unevaluatedProperties` is a 3.1 keyword the 3.0-typed SchemaObject does
+    // not model; read it via an annotated destructure.
+    const { unevaluatedProperties, ...rest } = schema;
+    if ('additionalProperties' in rest) {
+        return rest;
+    }
+    if (!isAdditionalPropertiesValue(unevaluatedProperties)) {
+        return schema;
+    }
+    return { ...rest, additionalProperties: unevaluatedProperties };
+};
+/**
+ * Is this a value `additionalProperties` accepts: a boolean, or a schema or
+ * `$ref` object?
+ */
+const isAdditionalPropertiesValue = (value) => typeof value === 'boolean' ||
+    (typeof value === 'object' && value !== null && !Array.isArray(value));
+/**
+ * Remove `unevaluatedProperties` from an `allOf`/`oneOf`/`anyOf` wrapper and
+ * log it as skipped. Left in place, it would be renamed to
+ * `additionalProperties` when the merged or collapsed schema is dispatched
+ * again with no composition keyword left.
+ */
+const withoutWrapperUnevaluatedProperties = ({ schema, parentType, stackTrail, context }) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    const { unevaluatedProperties, ...rest } = schema;
+    context.logSkippedFields({
+        skipped: { unevaluatedProperties },
+        parent: schema,
+        parentType,
+        stackTrail
+    });
+    return rest;
+};
 /**
  * Map the 3.1-only schema-shape encodings onto the shared IR shape before
- * dispatching: type arrays, `const`, `examples[]`, numeric exclusive bounds,
- * and binary/base64 content keywords. Each step returns its input unchanged
- * when it does not apply, so the composed result is referentially equal to
- * `schema` when nothing matched — letting the dispatcher re-dispatch only when
- * needed.
+ * dispatching: `unevaluatedProperties`, type arrays, `const`, `examples[]`,
+ * numeric exclusive bounds, and binary/base64 content keywords. Each step
+ * returns its input unchanged when it does not apply, so the composed result
+ * is referentially equal to `schema` when nothing matched — letting the
+ * dispatcher re-dispatch only when needed.
  */
 const normalizeSchemaShape = (schema) => {
-    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(schema)))));
+    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(normalizeUnevaluatedProperties(schema))))));
 };
 /**
  * Is this a 3.1 `{ type: 'null' }` schema member? (`'null'` is a 3.1 type
@@ -252,6 +315,12 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
         return toSchemaV3({ schema: normalized, stackTrail, context });
     }
     if ('allOf' in schema && Array.isArray(schema.allOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'allOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('allOf', st => {
             // A single-member allOf collapses to its sole member — the value must
             // satisfy exactly that one schema. When the member is a `$ref`, keep it
@@ -261,7 +330,7 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
             // self-referential, and eagerly resolving it would not terminate. The
             // ref resolves at use time like every other ref. Mirrors the
             // single-member oneOf/anyOf handling below.
-            const { allOf, ...value } = schema;
+            const { allOf, ...value } = wrapper;
             const members = allOf ?? [];
             if (members.length === 1) {
                 const [member] = members;
@@ -281,20 +350,26 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
                 });
             }
             const merged = mergeIntersection({
-                schema,
+                schema: wrapper,
                 getRef: toGetRef(context.documentObject)
             });
             return toSchemaV3({ schema: merged, stackTrail: st, context });
         });
     }
     if ('oneOf' in schema && Array.isArray(schema.oneOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'oneOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('oneOf', st => {
             // 3.1: a `{ type: 'null' }` member makes the union nullable. Fold it
             // into a `nullable` flag the collapse/union logic already understands.
-            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.oneOf ?? []);
+            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.oneOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, oneOf: oneOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, oneOf: oneOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = mergeUnion({
                 schema: withoutNull,
                 getRef: toGetRef(context.documentObject),
@@ -337,19 +412,25 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
         });
     }
     if ('anyOf' in schema && Array.isArray(schema.anyOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'anyOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('anyOf', st => {
             // deno-lint-ignore ban-ts-comment
             // @ts-expect-error
-            if (schema['x-expansionResources'] && Array.isArray(schema.anyOf)) {
-                const { anyOf, ...value } = schema;
+            if (wrapper['x-expansionResources'] && Array.isArray(wrapper.anyOf)) {
+                const { anyOf, ...value } = wrapper;
                 return toUnion({ value, members: anyOf, parentType: 'anyOf', stackTrail: st, context });
             }
             // 3.1: a `{ type: 'null' }` member makes the union nullable (mirrors
             // the oneOf branch above).
-            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.anyOf ?? []);
+            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.anyOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, anyOf: anyOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, anyOf: anyOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = mergeUnion({
                 schema: withoutNull,
                 getRef: toGetRef(context.documentObject),

package/esm/parse/v3-2/parameter/toParameterV3.d.ts

@@ -1,5 +1,5 @@
 import type { ParseContextType } from '../../../context/parseTypes.js';
-import { type OasParameterLocation } from '../../../oas/parameter/parameter-types.js';
+import { type OasParameterLocation, type OasParameterStyle } from '../../../oas/parameter/parameter-types.js';
 import type { OpenAPIV3 } from 'openapi-types';
 import { OasParameter } from '../../../oas/parameter/Parameter.js';
 import type { OasRef } from '../../../oas/ref/Ref.js';
@@ -34,6 +34,6 @@ export type ToStyleArgs = {
 };
 export type ToExplodeArgs = {
     explode: boolean | undefined;
-    style: string | undefined;
+    style: OasParameterStyle | undefined;
     stackTrail: StackTrail;
 };

package/esm/parse/v3-2/parameter/toParameterV3.js

@@ -91,14 +91,15 @@ const toParameterV3 = ({ parameter, stackTrail, context }) => {
     }
     // Set missing 'required' to true for path parameters and false for others
     const defaultRequired = typeof required === 'undefined' ? (parsedLocation === 'path' ? true : false) : required;
+    const parsedStyle = stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st }));
     const fields = {
         name,
         location: parsedLocation,
         description,
         required: defaultRequired,
         deprecated,
-        style: stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st })),
-        explode: stackTrail.trace('explode', st => toExplode({ explode, style, stackTrail: st })),
+        style: parsedStyle,
+        explode: stackTrail.trace('explode', st => toExplode({ explode, style: parsedStyle, stackTrail: st })),
         allowEmptyValue,
         allowReserved,
         schema: stackTrail.trace('schema', st => toOptionalSchemaV3({ schema, stackTrail: st, context })),

package/esm/parse/v3-2/pathItem/toPathItemV3.js

@@ -1,13 +1,23 @@
 import { toParameterListV3 } from '../parameter/toParameterV3.js';
 import { OasPathItem } from '../../../oas/pathItem/PathItem.js';
+import { toOptionalServersV3 } from '../server/toServerV3.js';
+import { tryParseAt } from '../../../context/tryParseAt.js';
 import { toSpecificationExtensionsV3 } from '../specificationExtensions/toSpecificationExtensionsV3.js';
 import { isEmpty } from '../../../helpers/isEmpty.js';
 export const toPathItemV3 = ({ pathItem, stackTrail, context }) => {
-    const { summary, description, parameters, ...skipped } = pathItem;
+    const { summary, description, parameters, servers, ...skipped } = pathItem;
     return new OasPathItem({
         summary,
         description,
         parameters: stackTrail.trace('parameters', st => toParameterListV3({ parameters, stackTrail: st, context })),
+        servers: tryParseAt({
+            stackTrail,
+            key: 'servers',
+            context,
+            type: 'INVALID_OPERATION',
+            parent: pathItem,
+            fn: st => toOptionalServersV3({ servers, stackTrail: st, context })
+        }),
         extensionFields: toSpecificationExtensionsV3({
             skipped,
             parent: pathItem,

package/esm/parse/v3-2/schema/toSchemasV3.js

@@ -171,16 +171,79 @@ const normalizeContentFormat = (schema) => {
     const { contentMediaType: _contentMediaType, contentEncoding: _contentEncoding, ...rest } = view;
     return 'format' in rest ? rest : { ...rest, format: derivedFormat };
 };
+/**
+ * In-place applicators that evaluate keys `unevaluatedProperties` would
+ * otherwise see. `$ref` and `not` never reach `normalizeSchemaShape`.
+ */
+const inPlaceApplicators = [
+    'allOf',
+    'oneOf',
+    'anyOf',
+    'if',
+    'then',
+    'else',
+    'dependentSchemas',
+    '$dynamicRef'
+];
+/**
+ * With no in-place applicator on the same schema, `unevaluatedProperties`
+ * means the same as `additionalProperties` (JSON Schema 2020-12 §11.3,
+ * §10.3.2.3), so rename it. When `additionalProperties` is also present it
+ * evaluates every remaining key, so `unevaluatedProperties` is dropped.
+ */
+const normalizeUnevaluatedProperties = (schema) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    if (inPlaceApplicators.some(keyword => keyword in schema)) {
+        return schema;
+    }
+    // `unevaluatedProperties` is a 3.1 keyword the 3.0-typed SchemaObject does
+    // not model; read it via an annotated destructure.
+    const { unevaluatedProperties, ...rest } = schema;
+    if ('additionalProperties' in rest) {
+        return rest;
+    }
+    if (!isAdditionalPropertiesValue(unevaluatedProperties)) {
+        return schema;
+    }
+    return { ...rest, additionalProperties: unevaluatedProperties };
+};
+/**
+ * Is this a value `additionalProperties` accepts: a boolean, or a schema or
+ * `$ref` object?
+ */
+const isAdditionalPropertiesValue = (value) => typeof value === 'boolean' ||
+    (typeof value === 'object' && value !== null && !Array.isArray(value));
+/**
+ * Remove `unevaluatedProperties` from an `allOf`/`oneOf`/`anyOf` wrapper and
+ * log it as skipped. Left in place, it would be renamed to
+ * `additionalProperties` when the merged or collapsed schema is dispatched
+ * again with no composition keyword left.
+ */
+const withoutWrapperUnevaluatedProperties = ({ schema, parentType, stackTrail, context }) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    const { unevaluatedProperties, ...rest } = schema;
+    context.logSkippedFields({
+        skipped: { unevaluatedProperties },
+        parent: schema,
+        parentType,
+        stackTrail
+    });
+    return rest;
+};
 /**
  * Map the 3.1-only schema-shape encodings onto the shared IR shape before
- * dispatching: type arrays, `const`, `examples[]`, numeric exclusive bounds,
- * and binary/base64 content keywords. Each step returns its input unchanged
- * when it does not apply, so the composed result is referentially equal to
- * `schema` when nothing matched — letting the dispatcher re-dispatch only when
- * needed.
+ * dispatching: `unevaluatedProperties`, type arrays, `const`, `examples[]`,
+ * numeric exclusive bounds, and binary/base64 content keywords. Each step
+ * returns its input unchanged when it does not apply, so the composed result
+ * is referentially equal to `schema` when nothing matched — letting the
+ * dispatcher re-dispatch only when needed.
  */
 const normalizeSchemaShape = (schema) => {
-    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(schema)))));
+    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(normalizeUnevaluatedProperties(schema))))));
 };
 /**
  * Is this a 3.1 `{ type: 'null' }` schema member? (`'null'` is a 3.1 type
@@ -252,6 +315,12 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
         return toSchemaV3({ schema: normalized, stackTrail, context });
     }
     if ('allOf' in schema && Array.isArray(schema.allOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'allOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('allOf', st => {
             // A single-member allOf collapses to its sole member — the value must
             // satisfy exactly that one schema. When the member is a `$ref`, keep it
@@ -261,7 +330,7 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
             // self-referential, and eagerly resolving it would not terminate. The
             // ref resolves at use time like every other ref. Mirrors the
             // single-member oneOf/anyOf handling below.
-            const { allOf, ...value } = schema;
+            const { allOf, ...value } = wrapper;
             const members = allOf ?? [];
             if (members.length === 1) {
                 const [member] = members;
@@ -281,20 +350,26 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
                 });
             }
             const merged = mergeIntersection({
-                schema,
+                schema: wrapper,
                 getRef: toGetRef(context.documentObject)
             });
             return toSchemaV3({ schema: merged, stackTrail: st, context });
         });
     }
     if ('oneOf' in schema && Array.isArray(schema.oneOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'oneOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('oneOf', st => {
             // 3.1: a `{ type: 'null' }` member makes the union nullable. Fold it
             // into a `nullable` flag the collapse/union logic already understands.
-            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.oneOf ?? []);
+            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.oneOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, oneOf: oneOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, oneOf: oneOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = mergeUnion({
                 schema: withoutNull,
                 getRef: toGetRef(context.documentObject),
@@ -337,19 +412,25 @@ export const toSchemaV3 = ({ schema, stackTrail, context }) => {
         });
     }
     if ('anyOf' in schema && Array.isArray(schema.anyOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'anyOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('anyOf', st => {
             // deno-lint-ignore ban-ts-comment
             // @ts-expect-error
-            if (schema['x-expansionResources'] && Array.isArray(schema.anyOf)) {
-                const { anyOf, ...value } = schema;
+            if (wrapper['x-expansionResources'] && Array.isArray(wrapper.anyOf)) {
+                const { anyOf, ...value } = wrapper;
                 return toUnion({ value, members: anyOf, parentType: 'anyOf', stackTrail: st, context });
             }
             // 3.1: a `{ type: 'null' }` member makes the union nullable (mirrors
             // the oneOf branch above).
-            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.anyOf ?? []);
+            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.anyOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, anyOf: anyOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, anyOf: anyOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = mergeUnion({
                 schema: withoutNull,
                 getRef: toGetRef(context.documentObject),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@skmtc/core",
-  "version": "0.31.0",
+  "version": "0.32.1",
   "description": "Skmtc is a declarative code generation framework",
   "keywords": [
     "openapi",

package/script/oas/pathItem/PathItem.d.ts

@@ -1,5 +1,6 @@
 import type { OasParameter } from '../parameter/Parameter.js';
 import type { OasRef } from '../ref/Ref.js';
+import type { OasServer } from '../server/Server.js';
 /**
  * Constructor fields for {@link OasPathItem}.
  */
@@ -10,6 +11,8 @@ export type PathItemFields = {
     description?: string | undefined;
     /** Parameters that are applicable for all operations on this path */
     parameters?: (OasParameter | OasRef<'parameter'>)[] | undefined;
+    /** Servers that replace the document's servers for all operations on this path */
+    servers?: OasServer[] | undefined;
     /** Custom extension fields (x-* properties) */
     extensionFields?: Record<string, unknown>;
 };
@@ -103,6 +106,8 @@ export declare class OasPathItem {
     summary: string | undefined;
     description: string | undefined;
     parameters: (OasParameter | OasRef<'parameter'>)[] | undefined;
+    /** Servers that replace the document's servers for all operations on this path */
+    servers: OasServer[] | undefined;
     extensionFields: Record<string, unknown> | undefined;
     constructor(fields?: PathItemFields);
 }

package/script/oas/pathItem/PathItem.js

@@ -112,6 +112,13 @@ class OasPathItem {
             writable: true,
             value: void 0
         });
+        /** Servers that replace the document's servers for all operations on this path */
+        Object.defineProperty(this, "servers", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
         Object.defineProperty(this, "extensionFields", {
             enumerable: true,
             configurable: true,
@@ -121,6 +128,7 @@ class OasPathItem {
         this.summary = fields.summary;
         this.description = fields.description;
         this.parameters = fields.parameters;
+        this.servers = fields.servers;
         this.extensionFields = fields.extensionFields;
     }
 }

package/script/parse/v3-0/parameter/toParameterV3.d.ts

@@ -1,10 +1,11 @@
 import type { ParseContextType } from '../../../context/parseTypes.js';
-import type { OasParameterLocation } from '../../../oas/parameter/parameter-types.js';
+import type { OasParameterLocation, OasParameterStyle } from '../../../oas/parameter/parameter-types.js';
 import type { OpenAPIV3 } from 'openapi-types';
 import { OasParameter } from '../../../oas/parameter/Parameter.js';
 import type { OasRef } from '../../../oas/ref/Ref.js';
 import type { StackTrail } from '../../../context/StackTrail.js';
 type ParameterLocation = Exclude<OasParameterLocation, 'querystring'>;
+type ParameterStyle = Exclude<OasParameterStyle, 'cookie'>;
 export type ToParameterListV3Args = {
     parameters: (OpenAPIV3.ParameterObject | OpenAPIV3.ReferenceObject)[] | undefined;
     stackTrail: StackTrail;
@@ -35,7 +36,7 @@ export type ToStyleArgs = {
 };
 export type ToExplodeArgs = {
     explode: boolean | undefined;
-    style: string | undefined;
+    style: ParameterStyle;
     stackTrail: StackTrail;
 };
 export {};

package/script/parse/v3-0/parameter/toParameterV3.js

@@ -111,14 +111,15 @@ const toParameterV3 = ({ parameter, stackTrail, context }) => {
     }
     // Set missing 'required' to true for path parameters and false for others
     const defaultRequired = typeof required === 'undefined' ? (parsedLocation === 'path' ? true : false) : required;
+    const parsedStyle = stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st }));
     const fields = {
         name,
         location: parsedLocation,
         description,
         required: defaultRequired,
         deprecated,
-        style: stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st })),
-        explode: stackTrail.trace('explode', st => toExplode({ explode, style, stackTrail: st })),
+        style: parsedStyle,
+        explode: stackTrail.trace('explode', st => toExplode({ explode, style: parsedStyle, stackTrail: st })),
         allowEmptyValue,
         allowReserved,
         schema: stackTrail.trace('schema', st => (0, toSchemasV3_js_1.toOptionalSchemaV3)({ schema, stackTrail: st, context })),

package/script/parse/v3-0/pathItem/toPathItemV3.js

@@ -3,13 +3,23 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.toPathItemV3 = void 0;
 const toParameterV3_js_1 = require("../parameter/toParameterV3.js");
 const PathItem_js_1 = require("../../../oas/pathItem/PathItem.js");
+const toServerV3_js_1 = require("../server/toServerV3.js");
+const tryParseAt_js_1 = require("../../../context/tryParseAt.js");
 const toSpecificationExtensionsV3_js_1 = require("../specificationExtensions/toSpecificationExtensionsV3.js");
 const toPathItemV3 = ({ pathItem, stackTrail, context }) => {
-    const { summary, description, parameters, ...skipped } = pathItem;
+    const { summary, description, parameters, servers, ...skipped } = pathItem;
     return new PathItem_js_1.OasPathItem({
         summary,
         description,
         parameters: stackTrail.trace('parameters', st => (0, toParameterV3_js_1.toParameterListV3)({ parameters, stackTrail: st, context })),
+        servers: (0, tryParseAt_js_1.tryParseAt)({
+            stackTrail,
+            key: 'servers',
+            context,
+            type: 'INVALID_OPERATION',
+            parent: pathItem,
+            fn: st => (0, toServerV3_js_1.toOptionalServersV3)({ servers, stackTrail: st, context })
+        }),
         extensionFields: (0, toSpecificationExtensionsV3_js_1.toSpecificationExtensionsV3)({
             skipped,
             parent: pathItem,

package/script/parse/v3-1/parameter/toParameterV3.d.ts

@@ -1,10 +1,11 @@
 import type { ParseContextType } from '../../../context/parseTypes.js';
-import type { OasParameterLocation } from '../../../oas/parameter/parameter-types.js';
+import type { OasParameterLocation, OasParameterStyle } from '../../../oas/parameter/parameter-types.js';
 import type { OpenAPIV3 } from 'openapi-types';
 import { OasParameter } from '../../../oas/parameter/Parameter.js';
 import type { OasRef } from '../../../oas/ref/Ref.js';
 import type { StackTrail } from '../../../context/StackTrail.js';
 type ParameterLocation = Exclude<OasParameterLocation, 'querystring'>;
+type ParameterStyle = Exclude<OasParameterStyle, 'cookie'>;
 export type ToParameterListV3Args = {
     parameters: (OpenAPIV3.ParameterObject | OpenAPIV3.ReferenceObject)[] | undefined;
     stackTrail: StackTrail;
@@ -35,7 +36,7 @@ export type ToStyleArgs = {
 };
 export type ToExplodeArgs = {
     explode: boolean | undefined;
-    style: string | undefined;
+    style: ParameterStyle;
     stackTrail: StackTrail;
 };
 export {};

package/script/parse/v3-1/parameter/toParameterV3.js

@@ -111,14 +111,15 @@ const toParameterV3 = ({ parameter, stackTrail, context }) => {
     }
     // Set missing 'required' to true for path parameters and false for others
     const defaultRequired = typeof required === 'undefined' ? (parsedLocation === 'path' ? true : false) : required;
+    const parsedStyle = stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st }));
     const fields = {
         name,
         location: parsedLocation,
         description,
         required: defaultRequired,
         deprecated,
-        style: stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st })),
-        explode: stackTrail.trace('explode', st => toExplode({ explode, style, stackTrail: st })),
+        style: parsedStyle,
+        explode: stackTrail.trace('explode', st => toExplode({ explode, style: parsedStyle, stackTrail: st })),
         allowEmptyValue,
         allowReserved,
         schema: stackTrail.trace('schema', st => (0, toSchemasV3_js_1.toOptionalSchemaV3)({ schema, stackTrail: st, context })),

package/script/parse/v3-1/pathItem/toPathItemV3.js

@@ -3,13 +3,23 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.toPathItemV3 = void 0;
 const toParameterV3_js_1 = require("../parameter/toParameterV3.js");
 const PathItem_js_1 = require("../../../oas/pathItem/PathItem.js");
+const toServerV3_js_1 = require("../server/toServerV3.js");
+const tryParseAt_js_1 = require("../../../context/tryParseAt.js");
 const toSpecificationExtensionsV3_js_1 = require("../specificationExtensions/toSpecificationExtensionsV3.js");
 const toPathItemV3 = ({ pathItem, stackTrail, context }) => {
-    const { summary, description, parameters, ...skipped } = pathItem;
+    const { summary, description, parameters, servers, ...skipped } = pathItem;
     return new PathItem_js_1.OasPathItem({
         summary,
         description,
         parameters: stackTrail.trace('parameters', st => (0, toParameterV3_js_1.toParameterListV3)({ parameters, stackTrail: st, context })),
+        servers: (0, tryParseAt_js_1.tryParseAt)({
+            stackTrail,
+            key: 'servers',
+            context,
+            type: 'INVALID_OPERATION',
+            parent: pathItem,
+            fn: st => (0, toServerV3_js_1.toOptionalServersV3)({ servers, stackTrail: st, context })
+        }),
         extensionFields: (0, toSpecificationExtensionsV3_js_1.toSpecificationExtensionsV3)({
             skipped,
             parent: pathItem,

package/script/parse/v3-1/schema/toSchemasV3.js

@@ -176,16 +176,79 @@ const normalizeContentFormat = (schema) => {
     const { contentMediaType: _contentMediaType, contentEncoding: _contentEncoding, ...rest } = view;
     return 'format' in rest ? rest : { ...rest, format: derivedFormat };
 };
+/**
+ * In-place applicators that evaluate keys `unevaluatedProperties` would
+ * otherwise see. `$ref` and `not` never reach `normalizeSchemaShape`.
+ */
+const inPlaceApplicators = [
+    'allOf',
+    'oneOf',
+    'anyOf',
+    'if',
+    'then',
+    'else',
+    'dependentSchemas',
+    '$dynamicRef'
+];
+/**
+ * With no in-place applicator on the same schema, `unevaluatedProperties`
+ * means the same as `additionalProperties` (JSON Schema 2020-12 §11.3,
+ * §10.3.2.3), so rename it. When `additionalProperties` is also present it
+ * evaluates every remaining key, so `unevaluatedProperties` is dropped.
+ */
+const normalizeUnevaluatedProperties = (schema) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    if (inPlaceApplicators.some(keyword => keyword in schema)) {
+        return schema;
+    }
+    // `unevaluatedProperties` is a 3.1 keyword the 3.0-typed SchemaObject does
+    // not model; read it via an annotated destructure.
+    const { unevaluatedProperties, ...rest } = schema;
+    if ('additionalProperties' in rest) {
+        return rest;
+    }
+    if (!isAdditionalPropertiesValue(unevaluatedProperties)) {
+        return schema;
+    }
+    return { ...rest, additionalProperties: unevaluatedProperties };
+};
+/**
+ * Is this a value `additionalProperties` accepts: a boolean, or a schema or
+ * `$ref` object?
+ */
+const isAdditionalPropertiesValue = (value) => typeof value === 'boolean' ||
+    (typeof value === 'object' && value !== null && !Array.isArray(value));
+/**
+ * Remove `unevaluatedProperties` from an `allOf`/`oneOf`/`anyOf` wrapper and
+ * log it as skipped. Left in place, it would be renamed to
+ * `additionalProperties` when the merged or collapsed schema is dispatched
+ * again with no composition keyword left.
+ */
+const withoutWrapperUnevaluatedProperties = ({ schema, parentType, stackTrail, context }) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    const { unevaluatedProperties, ...rest } = schema;
+    context.logSkippedFields({
+        skipped: { unevaluatedProperties },
+        parent: schema,
+        parentType,
+        stackTrail
+    });
+    return rest;
+};
 /**
  * Map the 3.1-only schema-shape encodings onto the shared IR shape before
- * dispatching: type arrays, `const`, `examples[]`, numeric exclusive bounds,
- * and binary/base64 content keywords. Each step returns its input unchanged
- * when it does not apply, so the composed result is referentially equal to
- * `schema` when nothing matched — letting the dispatcher re-dispatch only when
- * needed.
+ * dispatching: `unevaluatedProperties`, type arrays, `const`, `examples[]`,
+ * numeric exclusive bounds, and binary/base64 content keywords. Each step
+ * returns its input unchanged when it does not apply, so the composed result
+ * is referentially equal to `schema` when nothing matched — letting the
+ * dispatcher re-dispatch only when needed.
  */
 const normalizeSchemaShape = (schema) => {
-    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(schema)))));
+    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(normalizeUnevaluatedProperties(schema))))));
 };
 /**
  * Is this a 3.1 `{ type: 'null' }` schema member? (`'null'` is a 3.1 type
@@ -257,6 +320,12 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
         return (0, exports.toSchemaV3)({ schema: normalized, stackTrail, context });
     }
     if ('allOf' in schema && Array.isArray(schema.allOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'allOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('allOf', st => {
             // A single-member allOf collapses to its sole member — the value must
             // satisfy exactly that one schema. When the member is a `$ref`, keep it
@@ -266,7 +335,7 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
             // self-referential, and eagerly resolving it would not terminate. The
             // ref resolves at use time like every other ref. Mirrors the
             // single-member oneOf/anyOf handling below.
-            const { allOf, ...value } = schema;
+            const { allOf, ...value } = wrapper;
             const members = allOf ?? [];
             if (members.length === 1) {
                 const [member] = members;
@@ -286,20 +355,26 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
                 });
             }
             const merged = (0, merge_intersection_js_1.mergeIntersection)({
-                schema,
+                schema: wrapper,
                 getRef: (0, refFns_js_2.toGetRef)(context.documentObject)
             });
             return (0, exports.toSchemaV3)({ schema: merged, stackTrail: st, context });
         });
     }
     if ('oneOf' in schema && Array.isArray(schema.oneOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'oneOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('oneOf', st => {
             // 3.1: a `{ type: 'null' }` member makes the union nullable. Fold it
             // into a `nullable` flag the collapse/union logic already understands.
-            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.oneOf ?? []);
+            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.oneOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, oneOf: oneOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, oneOf: oneOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = (0, merge_union_js_1.mergeUnion)({
                 schema: withoutNull,
                 getRef: (0, refFns_js_2.toGetRef)(context.documentObject),
@@ -342,19 +417,25 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
         });
     }
     if ('anyOf' in schema && Array.isArray(schema.anyOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'anyOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('anyOf', st => {
             // deno-lint-ignore ban-ts-comment
             // @ts-expect-error
-            if (schema['x-expansionResources'] && Array.isArray(schema.anyOf)) {
-                const { anyOf, ...value } = schema;
+            if (wrapper['x-expansionResources'] && Array.isArray(wrapper.anyOf)) {
+                const { anyOf, ...value } = wrapper;
                 return (0, toUnion_js_1.toUnion)({ value, members: anyOf, parentType: 'anyOf', stackTrail: st, context });
             }
             // 3.1: a `{ type: 'null' }` member makes the union nullable (mirrors
             // the oneOf branch above).
-            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.anyOf ?? []);
+            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.anyOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, anyOf: anyOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, anyOf: anyOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = (0, merge_union_js_1.mergeUnion)({
                 schema: withoutNull,
                 getRef: (0, refFns_js_2.toGetRef)(context.documentObject),

package/script/parse/v3-2/parameter/toParameterV3.d.ts

@@ -1,5 +1,5 @@
 import type { ParseContextType } from '../../../context/parseTypes.js';
-import { type OasParameterLocation } from '../../../oas/parameter/parameter-types.js';
+import { type OasParameterLocation, type OasParameterStyle } from '../../../oas/parameter/parameter-types.js';
 import type { OpenAPIV3 } from 'openapi-types';
 import { OasParameter } from '../../../oas/parameter/Parameter.js';
 import type { OasRef } from '../../../oas/ref/Ref.js';
@@ -34,6 +34,6 @@ export type ToStyleArgs = {
 };
 export type ToExplodeArgs = {
     explode: boolean | undefined;
-    style: string | undefined;
+    style: OasParameterStyle | undefined;
     stackTrail: StackTrail;
 };

package/script/parse/v3-2/parameter/toParameterV3.js

@@ -130,14 +130,15 @@ const toParameterV3 = ({ parameter, stackTrail, context }) => {
     }
     // Set missing 'required' to true for path parameters and false for others
     const defaultRequired = typeof required === 'undefined' ? (parsedLocation === 'path' ? true : false) : required;
+    const parsedStyle = stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st }));
     const fields = {
         name,
         location: parsedLocation,
         description,
         required: defaultRequired,
         deprecated,
-        style: stackTrail.trace('style', st => toStyle({ style, location: parsedLocation, stackTrail: st })),
-        explode: stackTrail.trace('explode', st => toExplode({ explode, style, stackTrail: st })),
+        style: parsedStyle,
+        explode: stackTrail.trace('explode', st => toExplode({ explode, style: parsedStyle, stackTrail: st })),
         allowEmptyValue,
         allowReserved,
         schema: stackTrail.trace('schema', st => (0, toSchemasV3_js_1.toOptionalSchemaV3)({ schema, stackTrail: st, context })),

package/script/parse/v3-2/pathItem/toPathItemV3.js

@@ -3,14 +3,24 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.toPathItemResultV3 = exports.toPathItemV3 = void 0;
 const toParameterV3_js_1 = require("../parameter/toParameterV3.js");
 const PathItem_js_1 = require("../../../oas/pathItem/PathItem.js");
+const toServerV3_js_1 = require("../server/toServerV3.js");
+const tryParseAt_js_1 = require("../../../context/tryParseAt.js");
 const toSpecificationExtensionsV3_js_1 = require("../specificationExtensions/toSpecificationExtensionsV3.js");
 const isEmpty_js_1 = require("../../../helpers/isEmpty.js");
 const toPathItemV3 = ({ pathItem, stackTrail, context }) => {
-    const { summary, description, parameters, ...skipped } = pathItem;
+    const { summary, description, parameters, servers, ...skipped } = pathItem;
     return new PathItem_js_1.OasPathItem({
         summary,
         description,
         parameters: stackTrail.trace('parameters', st => (0, toParameterV3_js_1.toParameterListV3)({ parameters, stackTrail: st, context })),
+        servers: (0, tryParseAt_js_1.tryParseAt)({
+            stackTrail,
+            key: 'servers',
+            context,
+            type: 'INVALID_OPERATION',
+            parent: pathItem,
+            fn: st => (0, toServerV3_js_1.toOptionalServersV3)({ servers, stackTrail: st, context })
+        }),
         extensionFields: (0, toSpecificationExtensionsV3_js_1.toSpecificationExtensionsV3)({
             skipped,
             parent: pathItem,

package/script/parse/v3-2/schema/toSchemasV3.js

@@ -176,16 +176,79 @@ const normalizeContentFormat = (schema) => {
     const { contentMediaType: _contentMediaType, contentEncoding: _contentEncoding, ...rest } = view;
     return 'format' in rest ? rest : { ...rest, format: derivedFormat };
 };
+/**
+ * In-place applicators that evaluate keys `unevaluatedProperties` would
+ * otherwise see. `$ref` and `not` never reach `normalizeSchemaShape`.
+ */
+const inPlaceApplicators = [
+    'allOf',
+    'oneOf',
+    'anyOf',
+    'if',
+    'then',
+    'else',
+    'dependentSchemas',
+    '$dynamicRef'
+];
+/**
+ * With no in-place applicator on the same schema, `unevaluatedProperties`
+ * means the same as `additionalProperties` (JSON Schema 2020-12 §11.3,
+ * §10.3.2.3), so rename it. When `additionalProperties` is also present it
+ * evaluates every remaining key, so `unevaluatedProperties` is dropped.
+ */
+const normalizeUnevaluatedProperties = (schema) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    if (inPlaceApplicators.some(keyword => keyword in schema)) {
+        return schema;
+    }
+    // `unevaluatedProperties` is a 3.1 keyword the 3.0-typed SchemaObject does
+    // not model; read it via an annotated destructure.
+    const { unevaluatedProperties, ...rest } = schema;
+    if ('additionalProperties' in rest) {
+        return rest;
+    }
+    if (!isAdditionalPropertiesValue(unevaluatedProperties)) {
+        return schema;
+    }
+    return { ...rest, additionalProperties: unevaluatedProperties };
+};
+/**
+ * Is this a value `additionalProperties` accepts: a boolean, or a schema or
+ * `$ref` object?
+ */
+const isAdditionalPropertiesValue = (value) => typeof value === 'boolean' ||
+    (typeof value === 'object' && value !== null && !Array.isArray(value));
+/**
+ * Remove `unevaluatedProperties` from an `allOf`/`oneOf`/`anyOf` wrapper and
+ * log it as skipped. Left in place, it would be renamed to
+ * `additionalProperties` when the merged or collapsed schema is dispatched
+ * again with no composition keyword left.
+ */
+const withoutWrapperUnevaluatedProperties = ({ schema, parentType, stackTrail, context }) => {
+    if (!('unevaluatedProperties' in schema)) {
+        return schema;
+    }
+    const { unevaluatedProperties, ...rest } = schema;
+    context.logSkippedFields({
+        skipped: { unevaluatedProperties },
+        parent: schema,
+        parentType,
+        stackTrail
+    });
+    return rest;
+};
 /**
  * Map the 3.1-only schema-shape encodings onto the shared IR shape before
- * dispatching: type arrays, `const`, `examples[]`, numeric exclusive bounds,
- * and binary/base64 content keywords. Each step returns its input unchanged
- * when it does not apply, so the composed result is referentially equal to
- * `schema` when nothing matched — letting the dispatcher re-dispatch only when
- * needed.
+ * dispatching: `unevaluatedProperties`, type arrays, `const`, `examples[]`,
+ * numeric exclusive bounds, and binary/base64 content keywords. Each step
+ * returns its input unchanged when it does not apply, so the composed result
+ * is referentially equal to `schema` when nothing matched — letting the
+ * dispatcher re-dispatch only when needed.
  */
 const normalizeSchemaShape = (schema) => {
-    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(schema)))));
+    return normalizeExclusiveBounds(normalizeExamples(normalizeConst(normalizeContentFormat(normalizeTypeArray(normalizeUnevaluatedProperties(schema))))));
 };
 /**
  * Is this a 3.1 `{ type: 'null' }` schema member? (`'null'` is a 3.1 type
@@ -257,6 +320,12 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
         return (0, exports.toSchemaV3)({ schema: normalized, stackTrail, context });
     }
     if ('allOf' in schema && Array.isArray(schema.allOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'allOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('allOf', st => {
             // A single-member allOf collapses to its sole member — the value must
             // satisfy exactly that one schema. When the member is a `$ref`, keep it
@@ -266,7 +335,7 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
             // self-referential, and eagerly resolving it would not terminate. The
             // ref resolves at use time like every other ref. Mirrors the
             // single-member oneOf/anyOf handling below.
-            const { allOf, ...value } = schema;
+            const { allOf, ...value } = wrapper;
             const members = allOf ?? [];
             if (members.length === 1) {
                 const [member] = members;
@@ -286,20 +355,26 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
                 });
             }
             const merged = (0, merge_intersection_js_1.mergeIntersection)({
-                schema,
+                schema: wrapper,
                 getRef: (0, refFns_js_2.toGetRef)(context.documentObject)
             });
             return (0, exports.toSchemaV3)({ schema: merged, stackTrail: st, context });
         });
     }
     if ('oneOf' in schema && Array.isArray(schema.oneOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'oneOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('oneOf', st => {
             // 3.1: a `{ type: 'null' }` member makes the union nullable. Fold it
             // into a `nullable` flag the collapse/union logic already understands.
-            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.oneOf ?? []);
+            const { members: oneOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.oneOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, oneOf: oneOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, oneOf: oneOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = (0, merge_union_js_1.mergeUnion)({
                 schema: withoutNull,
                 getRef: (0, refFns_js_2.toGetRef)(context.documentObject),
@@ -342,19 +417,25 @@ const toSchemaV3 = ({ schema, stackTrail, context }) => {
         });
     }
     if ('anyOf' in schema && Array.isArray(schema.anyOf)) {
+        const wrapper = withoutWrapperUnevaluatedProperties({
+            schema,
+            parentType: 'anyOf',
+            stackTrail,
+            context
+        });
         return stackTrail.trace('anyOf', st => {
             // deno-lint-ignore ban-ts-comment
             // @ts-expect-error
-            if (schema['x-expansionResources'] && Array.isArray(schema.anyOf)) {
-                const { anyOf, ...value } = schema;
+            if (wrapper['x-expansionResources'] && Array.isArray(wrapper.anyOf)) {
+                const { anyOf, ...value } = wrapper;
                 return (0, toUnion_js_1.toUnion)({ value, members: anyOf, parentType: 'anyOf', stackTrail: st, context });
             }
             // 3.1: a `{ type: 'null' }` member makes the union nullable (mirrors
             // the oneOf branch above).
-            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(schema.anyOf ?? []);
+            const { members: anyOfWithoutNull, nullable: hasNullMember } = partitionNullMember(wrapper.anyOf ?? []);
             const withoutNull = hasNullMember
-                ? { ...schema, anyOf: anyOfWithoutNull, nullable: true }
-                : schema;
+                ? { ...wrapper, anyOf: anyOfWithoutNull, nullable: true }
+                : wrapper;
             const merged = (0, merge_union_js_1.mergeUnion)({
                 schema: withoutNull,
                 getRef: (0, refFns_js_2.toGetRef)(context.documentObject),