openapi-typesafe 1.0.0-rc.3 → 1.0.0-rc.5

package/dist/application/transform/schema/index-signature-type.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-signature-type.cjs","sources":["../../../../src/application/transform/schema/index-signature-type.ts"],"sourcesContent":["import type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { NO_DECLARED_TYPES } from \"../document/declared-types.js\";\nimport { assignabilityProof } from \"../document/type-assignability.js\";\nimport { unionOf } from \"../type-combinators.js\";\n\n/**\n * The index signature type with the property types it does not admit. TypeScript checks an index\n * signature against every key of a value, declared ones too, so `{ total: number } & { [key:\n * string]: string }` admits no value with `total` (with a required `total`, none at all). The\n * signature takes those property types too, as `unevaluated-properties` does. A property type\n * proven assignable adds nothing, so output that admitted its values stays; one the proof cannot\n * decide (a `$ref`) is added, member by member, so the union stays flat. `$defs` is a keyword, not\n * data, so it is not read.\n */\nexport function withPropertyTypes(indexType: IrType, propertyTypes: readonly IrType[]): IrType {\n  const relate = assignabilityProof(NO_DECLARED_TYPES);\n  const members = unionMembers(indexType);\n  const added: IrType[] = [];\n  // Each member of a property type joins the union on its own, unless the union admits it\n  // already: `(string | null) | (string | null)` is written `string | null`.\n  for (const member of propertyTypes.flatMap(unionMembers)) {\n    if (relate(member, unionOf([...members, ...added])) !== \"assignable\") {\n      added.push(member);\n    }\n  }\n  // Without an added member the index type stays as printed before, repeats and all.\n  return added.length === 0 ? indexType : unionOf([...members, ...added]);\n}\n\nconst unionMembers = (type: IrType): readonly IrType[] =>\n  type.kind === \"union\" ? type.types : [type];\n"],"names":["assignabilityProof","NO_DECLARED_TYPES","unionOf"],"mappings":";;;;;;AAcO,SAAS,iBAAA,CAAkB,WAAmB,aAAA,EAA0C;AAC7F,EAAA,MAAM,MAAA,GAASA,qCAAmBC,+BAAiB,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,aAAa,SAAS,CAAA;AACtC,EAAA,MAAM,QAAkB,EAAC;AAGzB,EAAA,KAAA,MAAW,MAAA,IAAU,aAAA,CAAc,OAAA,CAAQ,YAAY,CAAA,EAAG;AACxD,IAAA,IAAI,MAAA,CAAO,MAAA,EAAQC,uBAAA,CAAQ,CAAC,GAAG,OAAA,EAAS,GAAG,KAAK,CAAC,CAAC,CAAA,KAAM,YAAA,EAAc;AACpE,MAAA,KAAA,CAAM,KAAK,MAAM,CAAA;AAAA,IACnB;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,MAAA,KAAW,CAAA,GAAI,SAAA,GAAYA,uBAAA,CAAQ,CAAC,GAAG,OAAA,EAAS,GAAG,KAAK,CAAC,CAAA;AACxE;AAEA,MAAM,YAAA,GAAe,CAAC,IAAA,KACpB,IAAA,CAAK,SAAS,OAAA,GAAU,IAAA,CAAK,KAAA,GAAQ,CAAC,IAAI,CAAA;;"}

package/dist/application/transform/schema/index-signature-type.mjs

@@ -0,0 +1,19 @@
+import { NO_DECLARED_TYPES } from '../document/declared-types.mjs';
+import { assignabilityProof } from '../document/type-assignability.mjs';
+import { unionOf } from '../type-combinators.mjs';
+
+function withPropertyTypes(indexType, propertyTypes) {
+  const relate = assignabilityProof(NO_DECLARED_TYPES);
+  const members = unionMembers(indexType);
+  const added = [];
+  for (const member of propertyTypes.flatMap(unionMembers)) {
+    if (relate(member, unionOf([...members, ...added])) !== "assignable") {
+      added.push(member);
+    }
+  }
+  return added.length === 0 ? indexType : unionOf([...members, ...added]);
+}
+const unionMembers = (type) => type.kind === "union" ? type.types : [type];
+
+export { withPropertyTypes };
+//# sourceMappingURL=index-signature-type.mjs.map

package/dist/application/transform/schema/index-signature-type.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-signature-type.mjs","sources":["../../../../src/application/transform/schema/index-signature-type.ts"],"sourcesContent":["import type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { NO_DECLARED_TYPES } from \"../document/declared-types.js\";\nimport { assignabilityProof } from \"../document/type-assignability.js\";\nimport { unionOf } from \"../type-combinators.js\";\n\n/**\n * The index signature type with the property types it does not admit. TypeScript checks an index\n * signature against every key of a value, declared ones too, so `{ total: number } & { [key:\n * string]: string }` admits no value with `total` (with a required `total`, none at all). The\n * signature takes those property types too, as `unevaluated-properties` does. A property type\n * proven assignable adds nothing, so output that admitted its values stays; one the proof cannot\n * decide (a `$ref`) is added, member by member, so the union stays flat. `$defs` is a keyword, not\n * data, so it is not read.\n */\nexport function withPropertyTypes(indexType: IrType, propertyTypes: readonly IrType[]): IrType {\n  const relate = assignabilityProof(NO_DECLARED_TYPES);\n  const members = unionMembers(indexType);\n  const added: IrType[] = [];\n  // Each member of a property type joins the union on its own, unless the union admits it\n  // already: `(string | null) | (string | null)` is written `string | null`.\n  for (const member of propertyTypes.flatMap(unionMembers)) {\n    if (relate(member, unionOf([...members, ...added])) !== \"assignable\") {\n      added.push(member);\n    }\n  }\n  // Without an added member the index type stays as printed before, repeats and all.\n  return added.length === 0 ? indexType : unionOf([...members, ...added]);\n}\n\nconst unionMembers = (type: IrType): readonly IrType[] =>\n  type.kind === \"union\" ? type.types : [type];\n"],"names":[],"mappings":";;;;AAcO,SAAS,iBAAA,CAAkB,WAAmB,aAAA,EAA0C;AAC7F,EAAA,MAAM,MAAA,GAAS,mBAAmB,iBAAiB,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,aAAa,SAAS,CAAA;AACtC,EAAA,MAAM,QAAkB,EAAC;AAGzB,EAAA,KAAA,MAAW,MAAA,IAAU,aAAA,CAAc,OAAA,CAAQ,YAAY,CAAA,EAAG;AACxD,IAAA,IAAI,MAAA,CAAO,MAAA,EAAQ,OAAA,CAAQ,CAAC,GAAG,OAAA,EAAS,GAAG,KAAK,CAAC,CAAC,CAAA,KAAM,YAAA,EAAc;AACpE,MAAA,KAAA,CAAM,KAAK,MAAM,CAAA;AAAA,IACnB;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,MAAA,KAAW,CAAA,GAAI,SAAA,GAAY,OAAA,CAAQ,CAAC,GAAG,OAAA,EAAS,GAAG,KAAK,CAAC,CAAA;AACxE;AAEA,MAAM,YAAA,GAAe,CAAC,IAAA,KACpB,IAAA,CAAK,SAAS,OAAA,GAAU,IAAA,CAAK,KAAA,GAAQ,CAAC,IAAI,CAAA;;"}

package/dist/application/transform/schema/input-location.cjs

@@ -0,0 +1,23 @@
+'use strict';
+
+const documentPlaces = require('../../../domain/openapi/document-places.cjs');
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const outputFixes = require('../../../domain/output-fixes.cjs');
+
+const ORIGINAL_INPUT_WORDS = ["parameters", "requestBody", "requestBodies"];
+function isInputLocation(path, fixes) {
+  if (path === void 0) {
+    return false;
+  }
+  return fixes.has(outputFixes.FIX.DEFAULT_INPUT_LOCATIONS) ? isStructuralInput(path) : namesInput(path);
+}
+function namesInput(path) {
+  return ORIGINAL_INPUT_WORDS.some((word) => path.includes(word));
+}
+function isStructuralInput(path) {
+  const place = documentPlaces.placeOf(jsonPointer.parseRefPointer(path));
+  return place === "outside" ? namesInput(path) : place === "input";
+}
+
+exports.isInputLocation = isInputLocation;
+//# sourceMappingURL=input-location.cjs.map

package/dist/application/transform/schema/input-location.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-location.cjs","sources":["../../../../src/application/transform/schema/input-location.ts"],"sourcesContent":["import { placeOf } from \"../../../domain/openapi/document-places.js\";\nimport { parseRefPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport { FIX, type OutputFix } from \"../../../domain/output-fixes.js\";\n\n/** The words that mark an input anywhere in a location, as the original reads them. */\nconst ORIGINAL_INPUT_WORDS = [\"parameters\", \"requestBody\", \"requestBodies\"] as const;\n\n/**\n * Whether a schema location describes an input: a parameter or a request body. A client may\n * leave out an input property that has a `default`, so the default makes no such property\n * required. The original tests the location text for a word, so a schema or path that is only\n * named so (`#/components/schemas/Job/properties/parameters`, `/system-parameters`) counts as an\n * input too. The `default-input-locations` fix reads a pointer into the document by the\n * document's structure instead (ADR-021).\n */\nexport function isInputLocation(path: string | undefined, fixes: ReadonlySet<OutputFix>): boolean {\n  if (path === undefined) {\n    return false;\n  }\n  return fixes.has(FIX.DEFAULT_INPUT_LOCATIONS) ? isStructuralInput(path) : namesInput(path);\n}\n\nfunction namesInput(path: string): boolean {\n  return ORIGINAL_INPUT_WORDS.some((word) => path.includes(word));\n}\n\n/**\n * Whether the document's structure makes the pointer an input. A path an exported transformer was\n * given that is no pointer into the document (`/items/{id}`) has no known structure, so the\n * original's words still mark an input there.\n */\nfunction isStructuralInput(path: string): boolean {\n  const place = placeOf(parseRefPointer(path));\n  return place === \"outside\" ? namesInput(path) : place === \"input\";\n}\n"],"names":["FIX","placeOf","parseRefPointer"],"mappings":";;;;;;AAKA,MAAM,oBAAA,GAAuB,CAAC,YAAA,EAAc,aAAA,EAAe,eAAe,CAAA;AAUnE,SAAS,eAAA,CAAgB,MAA0B,KAAA,EAAwC;AAChG,EAAA,IAAI,SAAS,MAAA,EAAW;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAA,CAAM,IAAIA,eAAA,CAAI,uBAAuB,IAAI,iBAAA,CAAkB,IAAI,CAAA,GAAI,UAAA,CAAW,IAAI,CAAA;AAC3F;AAEA,SAAS,WAAW,IAAA,EAAuB;AACzC,EAAA,OAAO,qBAAqB,IAAA,CAAK,CAAC,SAAS,IAAA,CAAK,QAAA,CAAS,IAAI,CAAC,CAAA;AAChE;AAOA,SAAS,kBAAkB,IAAA,EAAuB;AAChD,EAAA,MAAM,KAAA,GAAQC,sBAAA,CAAQC,2BAAA,CAAgB,IAAI,CAAC,CAAA;AAC3C,EAAA,OAAO,KAAA,KAAU,SAAA,GAAY,UAAA,CAAW,IAAI,IAAI,KAAA,KAAU,OAAA;AAC5D;;"}

package/dist/application/transform/schema/input-location.mjs

@@ -0,0 +1,21 @@
+import { placeOf } from '../../../domain/openapi/document-places.mjs';
+import { parseRefPointer } from '../../../domain/openapi/json-pointer.mjs';
+import { FIX } from '../../../domain/output-fixes.mjs';
+
+const ORIGINAL_INPUT_WORDS = ["parameters", "requestBody", "requestBodies"];
+function isInputLocation(path, fixes) {
+  if (path === void 0) {
+    return false;
+  }
+  return fixes.has(FIX.DEFAULT_INPUT_LOCATIONS) ? isStructuralInput(path) : namesInput(path);
+}
+function namesInput(path) {
+  return ORIGINAL_INPUT_WORDS.some((word) => path.includes(word));
+}
+function isStructuralInput(path) {
+  const place = placeOf(parseRefPointer(path));
+  return place === "outside" ? namesInput(path) : place === "input";
+}
+
+export { isInputLocation };
+//# sourceMappingURL=input-location.mjs.map

package/dist/application/transform/schema/input-location.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-location.mjs","sources":["../../../../src/application/transform/schema/input-location.ts"],"sourcesContent":["import { placeOf } from \"../../../domain/openapi/document-places.js\";\nimport { parseRefPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport { FIX, type OutputFix } from \"../../../domain/output-fixes.js\";\n\n/** The words that mark an input anywhere in a location, as the original reads them. */\nconst ORIGINAL_INPUT_WORDS = [\"parameters\", \"requestBody\", \"requestBodies\"] as const;\n\n/**\n * Whether a schema location describes an input: a parameter or a request body. A client may\n * leave out an input property that has a `default`, so the default makes no such property\n * required. The original tests the location text for a word, so a schema or path that is only\n * named so (`#/components/schemas/Job/properties/parameters`, `/system-parameters`) counts as an\n * input too. The `default-input-locations` fix reads a pointer into the document by the\n * document's structure instead (ADR-021).\n */\nexport function isInputLocation(path: string | undefined, fixes: ReadonlySet<OutputFix>): boolean {\n  if (path === undefined) {\n    return false;\n  }\n  return fixes.has(FIX.DEFAULT_INPUT_LOCATIONS) ? isStructuralInput(path) : namesInput(path);\n}\n\nfunction namesInput(path: string): boolean {\n  return ORIGINAL_INPUT_WORDS.some((word) => path.includes(word));\n}\n\n/**\n * Whether the document's structure makes the pointer an input. A path an exported transformer was\n * given that is no pointer into the document (`/items/{id}`) has no known structure, so the\n * original's words still mark an input there.\n */\nfunction isStructuralInput(path: string): boolean {\n  const place = placeOf(parseRefPointer(path));\n  return place === \"outside\" ? namesInput(path) : place === \"input\";\n}\n"],"names":[],"mappings":";;;;AAKA,MAAM,oBAAA,GAAuB,CAAC,YAAA,EAAc,aAAA,EAAe,eAAe,CAAA;AAUnE,SAAS,eAAA,CAAgB,MAA0B,KAAA,EAAwC;AAChG,EAAA,IAAI,SAAS,MAAA,EAAW;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAA,CAAM,IAAI,GAAA,CAAI,uBAAuB,IAAI,iBAAA,CAAkB,IAAI,CAAA,GAAI,UAAA,CAAW,IAAI,CAAA;AAC3F;AAEA,SAAS,WAAW,IAAA,EAAuB;AACzC,EAAA,OAAO,qBAAqB,IAAA,CAAK,CAAC,SAAS,IAAA,CAAK,QAAA,CAAS,IAAI,CAAC,CAAA;AAChE;AAOA,SAAS,kBAAkB,IAAA,EAAuB;AAChD,EAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,eAAA,CAAgB,IAAI,CAAC,CAAA;AAC3C,EAAA,OAAO,KAAA,KAAU,SAAA,GAAY,UAAA,CAAW,IAAI,IAAI,KAAA,KAAU,OAAA;AAC5D;;"}

package/dist/application/transform/schema/object-type.cjs

@@ -10,9 +10,11 @@ const schemaComment = require('../schema-comment.cjs');
 const sharedTypes = require('../shared-types.cjs');
 const typeCombinators = require('../type-combinators.cjs');
 const accessFlags = require('./access-flags.cjs');
+const indexSignatureType = require('./index-signature-type.cjs');
 const inheritedDiscriminator = require('./inherited-discriminator.cjs');
+const inputLocation = require('./input-location.cjs');
+const refSiblings = require('./ref-siblings.cjs');
 
-const INPUT_PATH_PARTS = ["parameters", "requestBody", "requestBodies"];
 class InvalidPropertyError extends errors.OpenAPITypesafeError {
   constructor(path, key, value) {
     const received = Array.isArray(value) ? "Array" : typeof value;
@@ -49,8 +51,7 @@ function propertyFacts(value, request) {
 }
 function isOptionalProperty(key, facts, schema, request) {
   const { options } = request.context;
-  const path = request.location.path;
-  const isDefaultRequired = facts.hasDefault && options.defaultNonNullable && !INPUT_PATH_PARTS.some((part) => path?.includes(part));
+  const isDefaultRequired = facts.hasDefault && options.defaultNonNullable && !inputLocation.isInputLocation(request.location.path, options.fixes);
   const isRequired = schema.required?.includes(key) || schema.required === void 0 && options.propertiesRequiredByDefault || isDefaultRequired;
   return !isRequired;
 }
@@ -61,9 +62,14 @@ function isExcluded(value, facts, request) {
   const resolved = facts.ref ? request.context.refs.resolve(facts.ref) : value;
   return Boolean(resolved?.deprecated);
 }
+function plainRef({ ref }, value, request) {
+  const isAllOf = ref && refSiblings.refWithSiblingsAsAllOf(value, request.context.options);
+  return isAllOf ? void 0 : ref;
+}
 function propertyType(key, value, facts, request) {
-  const path = jsonPointer.createRef([request.location.path, key]);
-  const type = facts.ref ? pointerType.schemaRefType(facts.ref, request) : request.transformNested(value, { ...request.location, path });
+  const path = jsonPointer.appendPointer(request.location.path, [key]);
+  const ref = plainRef(facts, value, request);
+  const type = ref ? pointerType.schemaRefType(ref, request) : request.transformNested(value, { ...request.location, path });
   const custom = request.context.callbacks.transform(value, request.location);
   return custom === null ? { type, isOptional: null } : { type: custom.type, isOptional: custom.isOptional || null };
 }
@@ -86,7 +92,7 @@ function propertyMember(key, value, schema, request) {
       isReadonly: options.immutable || !options.readWriteMarkers && facts.flags.isReadOnly
     }
   );
-  return finishProperty(property, value, jsonPointer.createRef([request.location.path, key]), request);
+  return finishProperty(property, value, jsonPointer.appendPointer(request.location.path, [key]), request);
 }
 function propertyMembers(schema, request) {
   const members = [];
@@ -101,7 +107,7 @@ function propertyMembers(schema, request) {
 function defsMember(defs, request) {
   const { options } = request.context;
   const members = Object.entries(defs).map(([key, value]) => {
-    const path = jsonPointer.createRef([request.location.path, "$defs", key]);
+    const path = jsonPointer.appendPointer(request.location.path, ["$defs", key]);
     const flags = accessFlags.propertyAccessFlags(value, request.context);
     const type = withReadWriteMarker(
       request.transformNested(value, { ...request.location, path }),
@@ -167,6 +173,9 @@ function objectType(schema, request) {
     return inherited ? constructors.irObject([inheritedDiscriminator.discriminatorMember(inherited, request)]) : null;
   }
   const members = discriminatorAndPropertyMembers(schema, request);
+  const propertyTypes = members.flatMap(
+    (member) => member.kind === "property" ? [member.type] : []
+  );
   if ("$defs" in schema && typeof schema.$defs === "object" && Object.keys(schema.$defs).length > 0) {
     members.push(defsMember(schema.$defs, request));
   }
@@ -174,8 +183,9 @@ function objectType(schema, request) {
   if (valueTypes.length === 0) {
     return members.length > 0 ? constructors.irObject(members) : null;
   }
+  const indexType = indexSignatureType.withPropertyTypes(typeCombinators.unionOf(valueTypes), propertyTypes);
   const index = constructors.irObject([
-    constructors.irStringIndexSignature("key", typeCombinators.unionOf(valueTypes), request.context.options.immutable)
+    constructors.irStringIndexSignature("key", indexType, request.context.options.immutable)
   ]);
   return typeCombinators.intersectionOf([...members.length > 0 ? [constructors.irObject(members)] : [], index]);
 }

package/dist/application/transform/schema/object-type.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"object-type.cjs","sources":["../../../../src/application/transform/schema/object-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport {\n  irObject,\n  irProperty,\n  irReference,\n  irStringIndexSignature,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { schemaRefType } from \"../ref-pointer/pointer-type.js\";\nimport { schemaCommentOptionsOf, withSchemaComment } from \"../schema-comment.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { intersectionOf, unionOf } from \"../type-combinators.js\";\nimport { type AccessFlags, propertyAccessFlags } from \"./access-flags.js\";\nimport { discriminatorMember, inheritedDiscriminator } from \"./inherited-discriminator.js\";\nimport type { SchemaOptions } from \"./schema-context.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\n\n/** Path parts where a default value cannot make a property required (inputs may omit it). */\nconst INPUT_PATH_PARTS = [\"parameters\", \"requestBody\", \"requestBodies\"] as const;\n\nexport class InvalidPropertyError extends OpenAPITypesafeError {\n  constructor(path: string | undefined, key: string, value: unknown) {\n    const received = Array.isArray(value) ? \"Array\" : typeof value;\n    super({\n      code: ERROR_CODES.SCHEMA_PROPERTY_INVALID,\n      message:\n        `${path}: invalid property ${key}. ` + `Expected Schema Object or boolean, got ${received}`,\n      details: { path, property: key, received },\n    });\n    this.name = \"InvalidPropertyError\";\n  }\n}\n\n/** `--read-write-markers`: `$Read<T>` / `$Write<T>`, unless the property is both or neither. */\nfunction withReadWriteMarker(type: IrType, flags: AccessFlags, options: SchemaOptions): IrType {\n  if (!options.readWriteMarkers || flags.isReadOnly === flags.isWriteOnly) {\n    return type;\n  }\n  return irReference(flags.isReadOnly ? \"$Read\" : \"$Write\", [type]);\n}\n\n/** Apply `transformProperty`, then the schema's JSDoc. */\nfunction finishProperty(\n  property: IrPropertySignature,\n  schema: Schema,\n  path: string,\n  request: SchemaRequest,\n): IrPropertySignature {\n  const location = { ...request.location, path };\n  const transformed =\n    request.context.callbacks.transformProperty(property, schema, location) ?? property;\n  // The original adds the schema's comment after any comment the callback set.\n  return withSchemaComment(\n    transformed,\n    schema,\n    schemaCommentOptionsOf(request.context.options.fixes),\n  );\n}\n\n/** What the property loop reads from a property schema, in the original order. */\ninterface PropertyFacts {\n  readonly ref: string | undefined;\n  readonly flags: AccessFlags;\n  readonly hasDefault: boolean;\n}\n\nfunction propertyFacts(value: Schema, request: SchemaRequest): PropertyFacts {\n  if (typeof value !== \"object\") {\n    return { ref: undefined, flags: { isReadOnly: false, isWriteOnly: false }, hasDefault: false };\n  }\n  // `in` throws for a null value, as in the original (which also reads `$ref` first).\n  const ref = \"$ref\" in value && value.$ref ? value.$ref : undefined;\n  const flags = propertyAccessFlags(value, request.context);\n  return { ref, flags, hasDefault: \"default\" in value && value.default !== undefined };\n}\n\nfunction isOptionalProperty(\n  key: string,\n  facts: PropertyFacts,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): boolean {\n  const { options } = request.context;\n  const path = request.location.path;\n  const isDefaultRequired =\n    facts.hasDefault &&\n    options.defaultNonNullable &&\n    !INPUT_PATH_PARTS.some((part) => path?.includes(part));\n  const isRequired =\n    schema.required?.includes(key) ||\n    (schema.required === undefined && options.propertiesRequiredByDefault) ||\n    isDefaultRequired;\n  return !isRequired;\n}\n\nfunction isExcluded(value: Schema, facts: PropertyFacts, request: SchemaRequest): boolean {\n  if (!request.context.options.excludeDeprecated) {\n    return false;\n  }\n  const resolved = facts.ref ? request.context.refs.resolve(facts.ref) : value;\n  return Boolean((resolved as SchemaObject | undefined)?.deprecated);\n}\n\n/** A type, and whether a callback forced the property optional (null: no override). */\ninterface CustomResult {\n  readonly type: IrType;\n  readonly isOptional: true | null;\n}\n\nfunction propertyType(\n  key: string,\n  value: Schema,\n  facts: PropertyFacts,\n  request: SchemaRequest,\n): CustomResult {\n  const path = createRef([request.location.path, key]);\n  const type = facts.ref\n    ? schemaRefType(facts.ref, request)\n    : request.transformNested(value, { ...request.location, path });\n  const custom = request.context.callbacks.transform(value, request.location);\n  return custom === null\n    ? { type, isOptional: null }\n    : { type: custom.type, isOptional: custom.isOptional || null };\n}\n\nfunction propertyMember(\n  key: string,\n  value: Schema,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrMember | null {\n  if ((typeof value !== \"object\" && typeof value !== \"boolean\") || Array.isArray(value)) {\n    throw new InvalidPropertyError(request.location.path, key, value);\n  }\n  const facts = propertyFacts(value, request);\n  if (isExcluded(value, facts, request)) {\n    return null;\n  }\n  const { options } = request.context;\n  const isOptional = isOptionalProperty(key, facts, schema, request);\n  const result = propertyType(key, value, facts, request);\n  const property = irProperty(\n    toPropertyName(key),\n    withReadWriteMarker(result.type, facts.flags, options),\n    {\n      isOptional: result.isOptional ?? isOptional,\n      isReadonly: options.immutable || (!options.readWriteMarkers && facts.flags.isReadOnly),\n    },\n  );\n  return finishProperty(property, value, createRef([request.location.path, key]), request);\n}\n\nfunction propertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const members: IrMember[] = [];\n  for (const [key, value] of documentEntries(schema.properties ?? {}, request.context.options)) {\n    const member = propertyMember(key, value, schema, request);\n    if (member !== null) {\n      members.push(member);\n    }\n  }\n  return members;\n}\n\n/**\n * `$defs` as a nested `$defs?: { … }` member, in document order (never alphabetized). It is\n * optional because `$defs` is a schema keyword, not data: the original made it required, so a\n * value of the type needed a `$defs` key (research/legacy-bugs.md, item 17, upstream #2664).\n */\nfunction defsMember(\n  defs: Readonly<Record<string, SchemaObject>>,\n  request: SchemaRequest,\n): IrMember {\n  const { options } = request.context;\n  const members = Object.entries(defs).map(([key, value]) => {\n    const path = createRef([request.location.path, \"$defs\", key]);\n    const flags = propertyAccessFlags(value, request.context);\n    const type = withReadWriteMarker(\n      request.transformNested(value, { ...request.location, path }),\n      flags,\n      options,\n    );\n    const property = irProperty(toPropertyName(key), type, {\n      isReadonly: options.immutable || (!options.readWriteMarkers && flags.isReadOnly),\n    });\n    return finishProperty(property, value, path, request);\n  });\n  return irProperty(toPropertyName(\"$defs\"), irObject(members), { isOptional: true });\n}\n\nfunction hasObjectKeywords(schema: SchemaObject): boolean {\n  const hasProperties = Boolean(schema.properties && Object.keys(schema.properties).length);\n  return (\n    hasProperties ||\n    Boolean(schema.additionalProperties || schema.patternProperties || schema.$defs)\n  );\n}\n\n/** Value types of the `[key: string]` index signature, in the original order. */\nfunction indexValueTypes(schema: SchemaObject, request: SchemaRequest): IrType[] {\n  const { additionalProperties } = schema;\n  const isObject = typeof additionalProperties === \"object\";\n  const hasExplicit = isObject && Object.keys(additionalProperties).length > 0;\n  const hasImplicit =\n    additionalProperties === true || (isObject && Object.keys(additionalProperties).length === 0);\n  const types: IrType[] = [];\n  if (hasExplicit) {\n    types.push(request.transformNested(additionalProperties as Schema, request.location, true));\n  }\n  if (hasImplicit || (!additionalProperties && request.context.options.additionalProperties)) {\n    types.push(UNKNOWN_TYPE);\n  }\n  const patterns = schema.patternProperties;\n  if (typeof patterns === \"object\" && patterns !== null && Object.keys(patterns).length > 0) {\n    for (const [, value] of documentEntries(patterns, request.context.options)) {\n      types.push(request.transformNested(value, request.location));\n    }\n  }\n  return types;\n}\n\n/**\n * Whether the schema declares property `key` and the type keeps it: `--exclude-deprecated` drops\n * a deprecated one.\n */\nexport function isKeptProperty(schema: SchemaObject, key: string, request: SchemaRequest): boolean {\n  const properties = schema.properties ?? {};\n  if (!Object.hasOwn(properties, key)) {\n    return false;\n  }\n  const value = properties[key] as Schema;\n  const isExcludable = request.context.options.excludeDeprecated && typeof value === \"object\";\n  return !isExcludable || !isExcluded(value, propertyFacts(value, request), request);\n}\n\n/**\n * The members for the discriminator and `properties`. A schema that declares the discriminator\n * property itself keeps its own declaration, required as the discriminator needs: both in one\n * object type do not compile (TS2300, the Apple SiriKit Cloud Media API). A declaration that\n * `--exclude-deprecated` drops does not count, so the discriminator property stays.\n */\nfunction discriminatorAndPropertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const inherited = inheritedDiscriminator(schema, request);\n  if (inherited === undefined) {\n    return propertyMembers(schema, request);\n  }\n  const name = inherited.discriminator.propertyName;\n  if (!isKeptProperty(schema, name, request)) {\n    return [discriminatorMember(inherited, request), ...propertyMembers(schema, request)];\n  }\n  // Without `required`, `--properties-required-by-default` requires every property already; a\n  // list of one would make the others optional.\n  const isAllRequired =\n    schema.required === undefined && request.context.options.propertiesRequiredByDefault;\n  const required = isAllRequired ? undefined : [...(schema.required ?? []), name];\n  return propertyMembers({ ...schema, required } as SchemaObject, request);\n}\n\n/**\n * Object keywords: discriminator, `properties`, `$defs`, and an index signature for\n * `additionalProperties` / `patternProperties` (or `--additional-properties`). Null when the schema\n * has none of them.\n */\nexport function objectType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  if (!hasObjectKeywords(schema)) {\n    const inherited = inheritedDiscriminator(schema, request);\n    return inherited ? irObject([discriminatorMember(inherited, request)]) : null;\n  }\n  const members = discriminatorAndPropertyMembers(schema, request);\n  // As in the original, a null `$defs` throws here (Object.keys) instead of being skipped.\n  if (\n    \"$defs\" in schema &&\n    typeof schema.$defs === \"object\" &&\n    Object.keys(schema.$defs).length > 0\n  ) {\n    members.push(defsMember(schema.$defs, request));\n  }\n  const valueTypes = indexValueTypes(schema, request);\n  if (valueTypes.length === 0) {\n    return members.length > 0 ? irObject(members) : null;\n  }\n  const index = irObject([\n    irStringIndexSignature(\"key\", unionOf(valueTypes), request.context.options.immutable),\n  ]);\n  return intersectionOf([...(members.length > 0 ? [irObject(members)] : []), index]);\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","irReference","withSchemaComment","schemaCommentOptionsOf","propertyAccessFlags","createRef","schemaRefType","irProperty","toPropertyName","documentEntries","irObject","UNKNOWN_TYPE","inheritedDiscriminator","discriminatorMember","irStringIndexSignature","unionOf","intersectionOf"],"mappings":";;;;;;;;;;;;;;AAsBA,MAAM,gBAAA,GAAmB,CAAC,YAAA,EAAc,aAAA,EAAe,eAAe,CAAA;AAE/D,MAAM,6BAA6BA,2BAAA,CAAqB;AAAA,EAC7D,WAAA,CAAY,IAAA,EAA0B,GAAA,EAAa,KAAA,EAAgB;AACjE,IAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,UAAU,OAAO,KAAA;AACzD,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,uBAAA;AAAA,MAClB,SACE,CAAA,EAAG,IAAI,CAAA,mBAAA,EAAsB,GAAG,4CAAiD,QAAQ,CAAA,CAAA;AAAA,MAC3F,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,KAAK,QAAA;AAAS,KAC1C,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,sBAAA;AAAA,EACd;AACF;AAGA,SAAS,mBAAA,CAAoB,IAAA,EAAc,KAAA,EAAoB,OAAA,EAAgC;AAC7F,EAAA,IAAI,CAAC,OAAA,CAAQ,gBAAA,IAAoB,KAAA,CAAM,UAAA,KAAe,MAAM,WAAA,EAAa;AACvE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAOC,yBAAY,KAAA,CAAM,UAAA,GAAa,UAAU,QAAA,EAAU,CAAC,IAAI,CAAC,CAAA;AAClE;AAGA,SAAS,cAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,GAAG,OAAA,CAAQ,UAAU,IAAA,EAAK;AAC7C,EAAA,MAAM,WAAA,GACJ,QAAQ,OAAA,CAAQ,SAAA,CAAU,kBAAkB,QAAA,EAAU,MAAA,EAAQ,QAAQ,CAAA,IAAK,QAAA;AAE7E,EAAA,OAAOC,+BAAA;AAAA,IACL,WAAA;AAAA,IACA,MAAA;AAAA,IACAC,oCAAA,CAAuB,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,KAAK;AAAA,GACtD;AACF;AASA,SAAS,aAAA,CAAc,OAAe,OAAA,EAAuC;AAC3E,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,EAAE,GAAA,EAAK,MAAA,EAAW,KAAA,EAAO,EAAE,UAAA,EAAY,KAAA,EAAO,WAAA,EAAa,KAAA,EAAM,EAAG,UAAA,EAAY,KAAA,EAAM;AAAA,EAC/F;AAEA,EAAA,MAAM,MAAM,MAAA,IAAU,KAAA,IAAS,KAAA,CAAM,IAAA,GAAO,MAAM,IAAA,GAAO,MAAA;AACzD,EAAA,MAAM,KAAA,GAAQC,+BAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,EAAA,OAAO,EAAE,KAAK,KAAA,EAAO,UAAA,EAAY,aAAa,KAAA,IAAS,KAAA,CAAM,YAAY,MAAA,EAAU;AACrF;AAEA,SAAS,kBAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACS;AACT,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,IAAA,GAAO,QAAQ,QAAA,CAAS,IAAA;AAC9B,EAAA,MAAM,iBAAA,GACJ,KAAA,CAAM,UAAA,IACN,OAAA,CAAQ,kBAAA,IACR,CAAC,gBAAA,CAAiB,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,EAAM,QAAA,CAAS,IAAI,CAAC,CAAA;AACvD,EAAA,MAAM,UAAA,GACJ,MAAA,CAAO,QAAA,EAAU,QAAA,CAAS,GAAG,KAC5B,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IAC1C,iBAAA;AACF,EAAA,OAAO,CAAC,UAAA;AACV;AAEA,SAAS,UAAA,CAAW,KAAA,EAAe,KAAA,EAAsB,OAAA,EAAiC;AACxF,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,EAAmB;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,MAAM,GAAA,GAAM,OAAA,CAAQ,QAAQ,IAAA,CAAK,OAAA,CAAQ,KAAA,CAAM,GAAG,CAAA,GAAI,KAAA;AACvE,EAAA,OAAO,OAAA,CAAS,UAAuC,UAAU,CAAA;AACnE;AAQA,SAAS,YAAA,CACP,GAAA,EACA,KAAA,EACA,KAAA,EACA,OAAA,EACc;AACd,EAAA,MAAM,OAAOC,qBAAA,CAAU,CAAC,QAAQ,QAAA,CAAS,IAAA,EAAM,GAAG,CAAC,CAAA;AACnD,EAAA,MAAM,OAAO,KAAA,CAAM,GAAA,GACfC,yBAAA,CAAc,KAAA,CAAM,KAAK,OAAO,CAAA,GAChC,OAAA,CAAQ,eAAA,CAAgB,OAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAChE,EAAA,MAAM,SAAS,OAAA,CAAQ,OAAA,CAAQ,UAAU,SAAA,CAAU,KAAA,EAAO,QAAQ,QAAQ,CAAA;AAC1E,EAAA,OAAO,MAAA,KAAW,IAAA,GACd,EAAE,IAAA,EAAM,YAAY,IAAA,EAAK,GACzB,EAAE,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,UAAA,EAAY,MAAA,CAAO,cAAc,IAAA,EAAK;AACjE;AAEA,SAAS,cAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACiB;AACjB,EAAA,IAAK,OAAO,UAAU,QAAA,IAAY,OAAO,UAAU,SAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACrF,IAAA,MAAM,IAAI,oBAAA,CAAqB,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,KAAK,KAAK,CAAA;AAAA,EAClE;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA;AAC1C,EAAA,IAAI,UAAA,CAAW,KAAA,EAAO,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACjE,EAAA,MAAM,MAAA,GAAS,YAAA,CAAa,GAAA,EAAK,KAAA,EAAO,OAAO,OAAO,CAAA;AACtD,EAAA,MAAM,QAAA,GAAWC,uBAAA;AAAA,IACfC,4BAAe,GAAG,CAAA;AAAA,IAClB,mBAAA,CAAoB,MAAA,CAAO,IAAA,EAAM,KAAA,CAAM,OAAO,OAAO,CAAA;AAAA,IACrD;AAAA,MACE,UAAA,EAAY,OAAO,UAAA,IAAc,UAAA;AAAA,MACjC,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,gBAAA,IAAoB,MAAM,KAAA,CAAM;AAAA;AAC7E,GACF;AACA,EAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAOH,qBAAA,CAAU,CAAC,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,GAAG,CAAC,CAAA,EAAG,OAAO,CAAA;AACzF;AAEA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAoC;AACjF,EAAA,MAAM,UAAsB,EAAC;AAC7B,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,KAAK,CAAA,IAAKI,+BAAA,CAAgB,MAAA,CAAO,UAAA,IAAc,EAAC,EAAG,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC5F,IAAA,MAAM,MAAA,GAAS,cAAA,CAAe,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACzD,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAOA,SAAS,UAAA,CACP,MACA,OAAA,EACU;AACV,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,IAAI,CAAA,CAAE,IAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AACzD,IAAA,MAAM,IAAA,GAAOJ,sBAAU,CAAC,OAAA,CAAQ,SAAS,IAAA,EAAM,OAAA,EAAS,GAAG,CAAC,CAAA;AAC5D,IAAA,MAAM,KAAA,GAAQD,+BAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,IAAA,MAAM,IAAA,GAAO,mBAAA;AAAA,MACX,OAAA,CAAQ,gBAAgB,KAAA,EAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAAA,MAC5D,KAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,MAAM,QAAA,GAAWG,uBAAA,CAAWC,2BAAA,CAAe,GAAG,GAAG,IAAA,EAAM;AAAA,MACrD,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,oBAAoB,KAAA,CAAM;AAAA,KACtE,CAAA;AACD,IAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAO,IAAA,EAAM,OAAO,CAAA;AAAA,EACtD,CAAC,CAAA;AACD,EAAA,OAAOD,uBAAA,CAAWC,2BAAA,CAAe,OAAO,CAAA,EAAGE,qBAAA,CAAS,OAAO,CAAA,EAAG,EAAE,UAAA,EAAY,IAAA,EAAM,CAAA;AACpF;AAEA,SAAS,kBAAkB,MAAA,EAA+B;AACxD,EAAA,MAAM,aAAA,GAAgB,QAAQ,MAAA,CAAO,UAAA,IAAc,OAAO,IAAA,CAAK,MAAA,CAAO,UAAU,CAAA,CAAE,MAAM,CAAA;AACxF,EAAA,OACE,iBACA,OAAA,CAAQ,MAAA,CAAO,wBAAwB,MAAA,CAAO,iBAAA,IAAqB,OAAO,KAAK,CAAA;AAEnF;AAGA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAkC;AAC/E,EAAA,MAAM,EAAE,sBAAqB,GAAI,MAAA;AACjC,EAAA,MAAM,QAAA,GAAW,OAAO,oBAAA,KAAyB,QAAA;AACjD,EAAA,MAAM,cAAc,QAAA,IAAY,MAAA,CAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,GAAS,CAAA;AAC3E,EAAA,MAAM,WAAA,GACJ,yBAAyB,IAAA,IAAS,QAAA,IAAY,OAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,KAAW,CAAA;AAC7F,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,IAAI,WAAA,EAAa;AACf,IAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,sBAAgC,OAAA,CAAQ,QAAA,EAAU,IAAI,CAAC,CAAA;AAAA,EAC5F;AACA,EAAA,IAAI,eAAgB,CAAC,oBAAA,IAAwB,OAAA,CAAQ,OAAA,CAAQ,QAAQ,oBAAA,EAAuB;AAC1F,IAAA,KAAA,CAAM,KAAKC,wBAAY,CAAA;AAAA,EACzB;AACA,EAAA,MAAM,WAAW,MAAA,CAAO,iBAAA;AACxB,EAAA,IAAI,OAAO,QAAA,KAAa,QAAA,IAAY,QAAA,KAAa,IAAA,IAAQ,OAAO,IAAA,CAAK,QAAQ,CAAA,CAAE,MAAA,GAAS,CAAA,EAAG;AACzF,IAAA,KAAA,MAAW,GAAG,KAAK,CAAA,IAAKF,gCAAgB,QAAA,EAAU,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC1E,MAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,KAAA,EAAO,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAAA,IAC7D;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,cAAA,CAAe,MAAA,EAAsB,GAAA,EAAa,OAAA,EAAiC;AACjG,EAAA,MAAM,UAAA,GAAa,MAAA,CAAO,UAAA,IAAc,EAAC;AACzC,EAAA,IAAI,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,WAAW,GAAG,CAAA;AAC5B,EAAA,MAAM,eAAe,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,IAAqB,OAAO,KAAA,KAAU,QAAA;AACnF,EAAA,OAAO,CAAC,gBAAgB,CAAC,UAAA,CAAW,OAAO,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA,EAAG,OAAO,CAAA;AACnF;AAQA,SAAS,+BAAA,CAAgC,QAAsB,OAAA,EAAoC;AACjG,EAAA,MAAM,SAAA,GAAYG,6CAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,OAAO,eAAA,CAAgB,QAAQ,OAAO,CAAA;AAAA,EACxC;AACA,EAAA,MAAM,IAAA,GAAO,UAAU,aAAA,CAAc,YAAA;AACrC,EAAA,IAAI,CAAC,cAAA,CAAe,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,CAACC,2CAAoB,SAAA,EAAW,OAAO,GAAG,GAAG,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAC,CAAA;AAAA,EACtF;AAGA,EAAA,MAAM,gBACJ,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,QAAQ,OAAA,CAAQ,2BAAA;AAC3D,EAAA,MAAM,QAAA,GAAW,gBAAgB,MAAA,GAAY,CAAC,GAAI,MAAA,CAAO,QAAA,IAAY,EAAC,EAAI,IAAI,CAAA;AAC9E,EAAA,OAAO,gBAAgB,EAAE,GAAG,MAAA,EAAQ,QAAA,IAA4B,OAAO,CAAA;AACzE;AAOO,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAuC;AACtF,EAAA,IAAI,CAAC,iBAAA,CAAkB,MAAM,CAAA,EAAG;AAC9B,IAAA,MAAM,SAAA,GAAYD,6CAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,IAAA,OAAO,SAAA,GAAYF,sBAAS,CAACG,0CAAA,CAAoB,WAAW,OAAO,CAAC,CAAC,CAAA,GAAI,IAAA;AAAA,EAC3E;AACA,EAAA,MAAM,OAAA,GAAU,+BAAA,CAAgC,MAAA,EAAQ,OAAO,CAAA;AAE/D,EAAA,IACE,OAAA,IAAW,MAAA,IACX,OAAO,MAAA,CAAO,KAAA,KAAU,QAAA,IACxB,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,KAAK,CAAA,CAAE,MAAA,GAAS,CAAA,EACnC;AACA,IAAA,OAAA,CAAQ,IAAA,CAAK,UAAA,CAAW,MAAA,CAAO,KAAA,EAAO,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,MAAM,UAAA,GAAa,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAA;AAClD,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAAIH,qBAAA,CAAS,OAAO,CAAA,GAAI,IAAA;AAAA,EAClD;AACA,EAAA,MAAM,QAAQA,qBAAA,CAAS;AAAA,IACrBI,mCAAA,CAAuB,OAAOC,uBAAA,CAAQ,UAAU,GAAG,OAAA,CAAQ,OAAA,CAAQ,QAAQ,SAAS;AAAA,GACrF,CAAA;AACD,EAAA,OAAOC,8BAAA,CAAe,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAACN,qBAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,KAAK,CAAC,CAAA;AACnF;;;;"}
+{"version":3,"file":"object-type.cjs","sources":["../../../../src/application/transform/schema/object-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport {\n  irObject,\n  irProperty,\n  irReference,\n  irStringIndexSignature,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { schemaRefType } from \"../ref-pointer/pointer-type.js\";\nimport { schemaCommentOptionsOf, withSchemaComment } from \"../schema-comment.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { intersectionOf, unionOf } from \"../type-combinators.js\";\nimport { type AccessFlags, propertyAccessFlags } from \"./access-flags.js\";\nimport { withPropertyTypes } from \"./index-signature-type.js\";\nimport { discriminatorMember, inheritedDiscriminator } from \"./inherited-discriminator.js\";\nimport { isInputLocation } from \"./input-location.js\";\nimport { refWithSiblingsAsAllOf } from \"./ref-siblings.js\";\nimport type { SchemaOptions } from \"./schema-context.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\n\nexport class InvalidPropertyError extends OpenAPITypesafeError {\n  constructor(path: string | undefined, key: string, value: unknown) {\n    const received = Array.isArray(value) ? \"Array\" : typeof value;\n    super({\n      code: ERROR_CODES.SCHEMA_PROPERTY_INVALID,\n      message:\n        `${path}: invalid property ${key}. ` + `Expected Schema Object or boolean, got ${received}`,\n      details: { path, property: key, received },\n    });\n    this.name = \"InvalidPropertyError\";\n  }\n}\n\n/** `--read-write-markers`: `$Read<T>` / `$Write<T>`, unless the property is both or neither. */\nfunction withReadWriteMarker(type: IrType, flags: AccessFlags, options: SchemaOptions): IrType {\n  if (!options.readWriteMarkers || flags.isReadOnly === flags.isWriteOnly) {\n    return type;\n  }\n  return irReference(flags.isReadOnly ? \"$Read\" : \"$Write\", [type]);\n}\n\n/** Apply `transformProperty`, then the schema's JSDoc. */\nfunction finishProperty(\n  property: IrPropertySignature,\n  schema: Schema,\n  path: string,\n  request: SchemaRequest,\n): IrPropertySignature {\n  const location = { ...request.location, path };\n  const transformed =\n    request.context.callbacks.transformProperty(property, schema, location) ?? property;\n  // The original adds the schema's comment after any comment the callback set.\n  return withSchemaComment(\n    transformed,\n    schema,\n    schemaCommentOptionsOf(request.context.options.fixes),\n  );\n}\n\n/** What the property loop reads from a property schema, in the original order. */\ninterface PropertyFacts {\n  readonly ref: string | undefined;\n  readonly flags: AccessFlags;\n  readonly hasDefault: boolean;\n}\n\nfunction propertyFacts(value: Schema, request: SchemaRequest): PropertyFacts {\n  if (typeof value !== \"object\") {\n    return { ref: undefined, flags: { isReadOnly: false, isWriteOnly: false }, hasDefault: false };\n  }\n  // `in` throws for a null value, as in the original (which also reads `$ref` first).\n  const ref = \"$ref\" in value && value.$ref ? value.$ref : undefined;\n  const flags = propertyAccessFlags(value, request.context);\n  return { ref, flags, hasDefault: \"default\" in value && value.default !== undefined };\n}\n\nfunction isOptionalProperty(\n  key: string,\n  facts: PropertyFacts,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): boolean {\n  const { options } = request.context;\n  const isDefaultRequired =\n    facts.hasDefault &&\n    options.defaultNonNullable &&\n    !isInputLocation(request.location.path, options.fixes);\n  const isRequired =\n    schema.required?.includes(key) ||\n    (schema.required === undefined && options.propertiesRequiredByDefault) ||\n    isDefaultRequired;\n  return !isRequired;\n}\n\nfunction isExcluded(value: Schema, facts: PropertyFacts, request: SchemaRequest): boolean {\n  if (!request.context.options.excludeDeprecated) {\n    return false;\n  }\n  const resolved = facts.ref ? request.context.refs.resolve(facts.ref) : value;\n  return Boolean((resolved as SchemaObject | undefined)?.deprecated);\n}\n\n/** A type, and whether a callback forced the property optional (null: no override). */\ninterface CustomResult {\n  readonly type: IrType;\n  readonly isOptional: true | null;\n}\n\n/** A `$ref` with siblings that `ref-siblings` types as an `allOf` is typed as a schema. */\nfunction plainRef({ ref }: PropertyFacts, value: Schema, request: SchemaRequest) {\n  const isAllOf = ref && refWithSiblingsAsAllOf(value as SchemaObject, request.context.options);\n  return isAllOf ? undefined : ref;\n}\n\nfunction propertyType(\n  key: string,\n  value: Schema,\n  facts: PropertyFacts,\n  request: SchemaRequest,\n): CustomResult {\n  const path = appendPointer(request.location.path, [key]);\n  const ref = plainRef(facts, value, request);\n  const type = ref\n    ? schemaRefType(ref, request)\n    : request.transformNested(value, { ...request.location, path });\n  const custom = request.context.callbacks.transform(value, request.location);\n  return custom === null\n    ? { type, isOptional: null }\n    : { type: custom.type, isOptional: custom.isOptional || null };\n}\n\nfunction propertyMember(\n  key: string,\n  value: Schema,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrMember | null {\n  if ((typeof value !== \"object\" && typeof value !== \"boolean\") || Array.isArray(value)) {\n    throw new InvalidPropertyError(request.location.path, key, value);\n  }\n  const facts = propertyFacts(value, request);\n  if (isExcluded(value, facts, request)) {\n    return null;\n  }\n  const { options } = request.context;\n  const isOptional = isOptionalProperty(key, facts, schema, request);\n  const result = propertyType(key, value, facts, request);\n  const property = irProperty(\n    toPropertyName(key),\n    withReadWriteMarker(result.type, facts.flags, options),\n    {\n      isOptional: result.isOptional ?? isOptional,\n      isReadonly: options.immutable || (!options.readWriteMarkers && facts.flags.isReadOnly),\n    },\n  );\n  return finishProperty(property, value, appendPointer(request.location.path, [key]), request);\n}\n\nfunction propertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const members: IrMember[] = [];\n  for (const [key, value] of documentEntries(schema.properties ?? {}, request.context.options)) {\n    const member = propertyMember(key, value, schema, request);\n    if (member !== null) {\n      members.push(member);\n    }\n  }\n  return members;\n}\n\n/**\n * `$defs` as a nested `$defs?: { … }` member, in document order (never alphabetized). It is\n * optional because `$defs` is a schema keyword, not data: the original made it required, so a\n * value of the type needed a `$defs` key (research/legacy-bugs.md, item 17, upstream #2664).\n */\nfunction defsMember(\n  defs: Readonly<Record<string, SchemaObject>>,\n  request: SchemaRequest,\n): IrMember {\n  const { options } = request.context;\n  const members = Object.entries(defs).map(([key, value]) => {\n    const path = appendPointer(request.location.path, [\"$defs\", key]);\n    const flags = propertyAccessFlags(value, request.context);\n    const type = withReadWriteMarker(\n      request.transformNested(value, { ...request.location, path }),\n      flags,\n      options,\n    );\n    const property = irProperty(toPropertyName(key), type, {\n      isReadonly: options.immutable || (!options.readWriteMarkers && flags.isReadOnly),\n    });\n    return finishProperty(property, value, path, request);\n  });\n  return irProperty(toPropertyName(\"$defs\"), irObject(members), { isOptional: true });\n}\n\nfunction hasObjectKeywords(schema: SchemaObject): boolean {\n  const hasProperties = Boolean(schema.properties && Object.keys(schema.properties).length);\n  return (\n    hasProperties ||\n    Boolean(schema.additionalProperties || schema.patternProperties || schema.$defs)\n  );\n}\n\n/** Value types of the `[key: string]` index signature, in the original order. */\nfunction indexValueTypes(schema: SchemaObject, request: SchemaRequest): IrType[] {\n  const { additionalProperties } = schema;\n  const isObject = typeof additionalProperties === \"object\";\n  const hasExplicit = isObject && Object.keys(additionalProperties).length > 0;\n  const hasImplicit =\n    additionalProperties === true || (isObject && Object.keys(additionalProperties).length === 0);\n  const types: IrType[] = [];\n  if (hasExplicit) {\n    types.push(request.transformNested(additionalProperties as Schema, request.location, true));\n  }\n  if (hasImplicit || (!additionalProperties && request.context.options.additionalProperties)) {\n    types.push(UNKNOWN_TYPE);\n  }\n  const patterns = schema.patternProperties;\n  if (typeof patterns === \"object\" && patterns !== null && Object.keys(patterns).length > 0) {\n    for (const [, value] of documentEntries(patterns, request.context.options)) {\n      types.push(request.transformNested(value, request.location));\n    }\n  }\n  return types;\n}\n\n/**\n * Whether the schema declares property `key` and the type keeps it: `--exclude-deprecated` drops\n * a deprecated one.\n */\nexport function isKeptProperty(schema: SchemaObject, key: string, request: SchemaRequest): boolean {\n  const properties = schema.properties ?? {};\n  if (!Object.hasOwn(properties, key)) {\n    return false;\n  }\n  const value = properties[key] as Schema;\n  const isExcludable = request.context.options.excludeDeprecated && typeof value === \"object\";\n  return !isExcludable || !isExcluded(value, propertyFacts(value, request), request);\n}\n\n/**\n * The members for the discriminator and `properties`. A schema that declares the discriminator\n * property itself keeps its own declaration, required as the discriminator needs: both in one\n * object type do not compile (TS2300, the Apple SiriKit Cloud Media API). A declaration that\n * `--exclude-deprecated` drops does not count, so the discriminator property stays.\n */\nfunction discriminatorAndPropertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const inherited = inheritedDiscriminator(schema, request);\n  if (inherited === undefined) {\n    return propertyMembers(schema, request);\n  }\n  const name = inherited.discriminator.propertyName;\n  if (!isKeptProperty(schema, name, request)) {\n    return [discriminatorMember(inherited, request), ...propertyMembers(schema, request)];\n  }\n  // Without `required`, `--properties-required-by-default` requires every property already; a\n  // list of one would make the others optional.\n  const isAllRequired =\n    schema.required === undefined && request.context.options.propertiesRequiredByDefault;\n  const required = isAllRequired ? undefined : [...(schema.required ?? []), name];\n  return propertyMembers({ ...schema, required } as SchemaObject, request);\n}\n\n/**\n * Object keywords: discriminator, `properties`, `$defs`, and an index signature for\n * `additionalProperties` / `patternProperties` (or `--additional-properties`). Null when the schema\n * has none of them.\n */\nexport function objectType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  if (!hasObjectKeywords(schema)) {\n    const inherited = inheritedDiscriminator(schema, request);\n    return inherited ? irObject([discriminatorMember(inherited, request)]) : null;\n  }\n  const members = discriminatorAndPropertyMembers(schema, request);\n  const propertyTypes = members.flatMap((member) =>\n    member.kind === \"property\" ? [member.type] : [],\n  );\n  // As in the original, a null `$defs` throws here (Object.keys) instead of being skipped.\n  if (\n    \"$defs\" in schema &&\n    typeof schema.$defs === \"object\" &&\n    Object.keys(schema.$defs).length > 0\n  ) {\n    members.push(defsMember(schema.$defs, request));\n  }\n  const valueTypes = indexValueTypes(schema, request);\n  if (valueTypes.length === 0) {\n    return members.length > 0 ? irObject(members) : null;\n  }\n  const indexType = withPropertyTypes(unionOf(valueTypes), propertyTypes);\n  const index = irObject([\n    irStringIndexSignature(\"key\", indexType, request.context.options.immutable),\n  ]);\n  return intersectionOf([...(members.length > 0 ? [irObject(members)] : []), index]);\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","irReference","withSchemaComment","schemaCommentOptionsOf","propertyAccessFlags","isInputLocation","refWithSiblingsAsAllOf","appendPointer","schemaRefType","irProperty","toPropertyName","documentEntries","irObject","UNKNOWN_TYPE","inheritedDiscriminator","discriminatorMember","withPropertyTypes","unionOf","irStringIndexSignature","intersectionOf"],"mappings":";;;;;;;;;;;;;;;;;AAwBO,MAAM,6BAA6BA,2BAAA,CAAqB;AAAA,EAC7D,WAAA,CAAY,IAAA,EAA0B,GAAA,EAAa,KAAA,EAAgB;AACjE,IAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,UAAU,OAAO,KAAA;AACzD,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,uBAAA;AAAA,MAClB,SACE,CAAA,EAAG,IAAI,CAAA,mBAAA,EAAsB,GAAG,4CAAiD,QAAQ,CAAA,CAAA;AAAA,MAC3F,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,KAAK,QAAA;AAAS,KAC1C,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,sBAAA;AAAA,EACd;AACF;AAGA,SAAS,mBAAA,CAAoB,IAAA,EAAc,KAAA,EAAoB,OAAA,EAAgC;AAC7F,EAAA,IAAI,CAAC,OAAA,CAAQ,gBAAA,IAAoB,KAAA,CAAM,UAAA,KAAe,MAAM,WAAA,EAAa;AACvE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAOC,yBAAY,KAAA,CAAM,UAAA,GAAa,UAAU,QAAA,EAAU,CAAC,IAAI,CAAC,CAAA;AAClE;AAGA,SAAS,cAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,GAAG,OAAA,CAAQ,UAAU,IAAA,EAAK;AAC7C,EAAA,MAAM,WAAA,GACJ,QAAQ,OAAA,CAAQ,SAAA,CAAU,kBAAkB,QAAA,EAAU,MAAA,EAAQ,QAAQ,CAAA,IAAK,QAAA;AAE7E,EAAA,OAAOC,+BAAA;AAAA,IACL,WAAA;AAAA,IACA,MAAA;AAAA,IACAC,oCAAA,CAAuB,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,KAAK;AAAA,GACtD;AACF;AASA,SAAS,aAAA,CAAc,OAAe,OAAA,EAAuC;AAC3E,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,EAAE,GAAA,EAAK,MAAA,EAAW,KAAA,EAAO,EAAE,UAAA,EAAY,KAAA,EAAO,WAAA,EAAa,KAAA,EAAM,EAAG,UAAA,EAAY,KAAA,EAAM;AAAA,EAC/F;AAEA,EAAA,MAAM,MAAM,MAAA,IAAU,KAAA,IAAS,KAAA,CAAM,IAAA,GAAO,MAAM,IAAA,GAAO,MAAA;AACzD,EAAA,MAAM,KAAA,GAAQC,+BAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,EAAA,OAAO,EAAE,KAAK,KAAA,EAAO,UAAA,EAAY,aAAa,KAAA,IAAS,KAAA,CAAM,YAAY,MAAA,EAAU;AACrF;AAEA,SAAS,kBAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACS;AACT,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,iBAAA,GACJ,KAAA,CAAM,UAAA,IACN,OAAA,CAAQ,kBAAA,IACR,CAACC,6BAAA,CAAgB,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,OAAA,CAAQ,KAAK,CAAA;AACvD,EAAA,MAAM,UAAA,GACJ,MAAA,CAAO,QAAA,EAAU,QAAA,CAAS,GAAG,KAC5B,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IAC1C,iBAAA;AACF,EAAA,OAAO,CAAC,UAAA;AACV;AAEA,SAAS,UAAA,CAAW,KAAA,EAAe,KAAA,EAAsB,OAAA,EAAiC;AACxF,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,EAAmB;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,MAAM,GAAA,GAAM,OAAA,CAAQ,QAAQ,IAAA,CAAK,OAAA,CAAQ,KAAA,CAAM,GAAG,CAAA,GAAI,KAAA;AACvE,EAAA,OAAO,OAAA,CAAS,UAAuC,UAAU,CAAA;AACnE;AASA,SAAS,QAAA,CAAS,EAAE,GAAA,EAAI,EAAkB,OAAe,OAAA,EAAwB;AAC/E,EAAA,MAAM,UAAU,GAAA,IAAOC,kCAAA,CAAuB,KAAA,EAAuB,OAAA,CAAQ,QAAQ,OAAO,CAAA;AAC5F,EAAA,OAAO,UAAU,MAAA,GAAY,GAAA;AAC/B;AAEA,SAAS,YAAA,CACP,GAAA,EACA,KAAA,EACA,KAAA,EACA,OAAA,EACc;AACd,EAAA,MAAM,OAAOC,yBAAA,CAAc,OAAA,CAAQ,SAAS,IAAA,EAAM,CAAC,GAAG,CAAC,CAAA;AACvD,EAAA,MAAM,GAAA,GAAM,QAAA,CAAS,KAAA,EAAO,KAAA,EAAO,OAAO,CAAA;AAC1C,EAAA,MAAM,IAAA,GAAO,GAAA,GACTC,yBAAA,CAAc,GAAA,EAAK,OAAO,CAAA,GAC1B,OAAA,CAAQ,eAAA,CAAgB,KAAA,EAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAChE,EAAA,MAAM,SAAS,OAAA,CAAQ,OAAA,CAAQ,UAAU,SAAA,CAAU,KAAA,EAAO,QAAQ,QAAQ,CAAA;AAC1E,EAAA,OAAO,MAAA,KAAW,IAAA,GACd,EAAE,IAAA,EAAM,YAAY,IAAA,EAAK,GACzB,EAAE,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,UAAA,EAAY,MAAA,CAAO,cAAc,IAAA,EAAK;AACjE;AAEA,SAAS,cAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACiB;AACjB,EAAA,IAAK,OAAO,UAAU,QAAA,IAAY,OAAO,UAAU,SAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACrF,IAAA,MAAM,IAAI,oBAAA,CAAqB,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,KAAK,KAAK,CAAA;AAAA,EAClE;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA;AAC1C,EAAA,IAAI,UAAA,CAAW,KAAA,EAAO,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACjE,EAAA,MAAM,MAAA,GAAS,YAAA,CAAa,GAAA,EAAK,KAAA,EAAO,OAAO,OAAO,CAAA;AACtD,EAAA,MAAM,QAAA,GAAWC,uBAAA;AAAA,IACfC,4BAAe,GAAG,CAAA;AAAA,IAClB,mBAAA,CAAoB,MAAA,CAAO,IAAA,EAAM,KAAA,CAAM,OAAO,OAAO,CAAA;AAAA,IACrD;AAAA,MACE,UAAA,EAAY,OAAO,UAAA,IAAc,UAAA;AAAA,MACjC,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,gBAAA,IAAoB,MAAM,KAAA,CAAM;AAAA;AAC7E,GACF;AACA,EAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAOH,yBAAA,CAAc,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,CAAC,GAAG,CAAC,CAAA,EAAG,OAAO,CAAA;AAC7F;AAEA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAoC;AACjF,EAAA,MAAM,UAAsB,EAAC;AAC7B,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,KAAK,CAAA,IAAKI,+BAAA,CAAgB,MAAA,CAAO,UAAA,IAAc,EAAC,EAAG,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC5F,IAAA,MAAM,MAAA,GAAS,cAAA,CAAe,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACzD,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAOA,SAAS,UAAA,CACP,MACA,OAAA,EACU;AACV,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,IAAI,CAAA,CAAE,IAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AACzD,IAAA,MAAM,IAAA,GAAOJ,0BAAc,OAAA,CAAQ,QAAA,CAAS,MAAM,CAAC,OAAA,EAAS,GAAG,CAAC,CAAA;AAChE,IAAA,MAAM,KAAA,GAAQH,+BAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,IAAA,MAAM,IAAA,GAAO,mBAAA;AAAA,MACX,OAAA,CAAQ,gBAAgB,KAAA,EAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAAA,MAC5D,KAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,MAAM,QAAA,GAAWK,uBAAA,CAAWC,2BAAA,CAAe,GAAG,GAAG,IAAA,EAAM;AAAA,MACrD,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,oBAAoB,KAAA,CAAM;AAAA,KACtE,CAAA;AACD,IAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAO,IAAA,EAAM,OAAO,CAAA;AAAA,EACtD,CAAC,CAAA;AACD,EAAA,OAAOD,uBAAA,CAAWC,2BAAA,CAAe,OAAO,CAAA,EAAGE,qBAAA,CAAS,OAAO,CAAA,EAAG,EAAE,UAAA,EAAY,IAAA,EAAM,CAAA;AACpF;AAEA,SAAS,kBAAkB,MAAA,EAA+B;AACxD,EAAA,MAAM,aAAA,GAAgB,QAAQ,MAAA,CAAO,UAAA,IAAc,OAAO,IAAA,CAAK,MAAA,CAAO,UAAU,CAAA,CAAE,MAAM,CAAA;AACxF,EAAA,OACE,iBACA,OAAA,CAAQ,MAAA,CAAO,wBAAwB,MAAA,CAAO,iBAAA,IAAqB,OAAO,KAAK,CAAA;AAEnF;AAGA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAkC;AAC/E,EAAA,MAAM,EAAE,sBAAqB,GAAI,MAAA;AACjC,EAAA,MAAM,QAAA,GAAW,OAAO,oBAAA,KAAyB,QAAA;AACjD,EAAA,MAAM,cAAc,QAAA,IAAY,MAAA,CAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,GAAS,CAAA;AAC3E,EAAA,MAAM,WAAA,GACJ,yBAAyB,IAAA,IAAS,QAAA,IAAY,OAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,KAAW,CAAA;AAC7F,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,IAAI,WAAA,EAAa;AACf,IAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,sBAAgC,OAAA,CAAQ,QAAA,EAAU,IAAI,CAAC,CAAA;AAAA,EAC5F;AACA,EAAA,IAAI,eAAgB,CAAC,oBAAA,IAAwB,OAAA,CAAQ,OAAA,CAAQ,QAAQ,oBAAA,EAAuB;AAC1F,IAAA,KAAA,CAAM,KAAKC,wBAAY,CAAA;AAAA,EACzB;AACA,EAAA,MAAM,WAAW,MAAA,CAAO,iBAAA;AACxB,EAAA,IAAI,OAAO,QAAA,KAAa,QAAA,IAAY,QAAA,KAAa,IAAA,IAAQ,OAAO,IAAA,CAAK,QAAQ,CAAA,CAAE,MAAA,GAAS,CAAA,EAAG;AACzF,IAAA,KAAA,MAAW,GAAG,KAAK,CAAA,IAAKF,gCAAgB,QAAA,EAAU,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC1E,MAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,KAAA,EAAO,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAAA,IAC7D;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,cAAA,CAAe,MAAA,EAAsB,GAAA,EAAa,OAAA,EAAiC;AACjG,EAAA,MAAM,UAAA,GAAa,MAAA,CAAO,UAAA,IAAc,EAAC;AACzC,EAAA,IAAI,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,WAAW,GAAG,CAAA;AAC5B,EAAA,MAAM,eAAe,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,IAAqB,OAAO,KAAA,KAAU,QAAA;AACnF,EAAA,OAAO,CAAC,gBAAgB,CAAC,UAAA,CAAW,OAAO,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA,EAAG,OAAO,CAAA;AACnF;AAQA,SAAS,+BAAA,CAAgC,QAAsB,OAAA,EAAoC;AACjG,EAAA,MAAM,SAAA,GAAYG,6CAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,OAAO,eAAA,CAAgB,QAAQ,OAAO,CAAA;AAAA,EACxC;AACA,EAAA,MAAM,IAAA,GAAO,UAAU,aAAA,CAAc,YAAA;AACrC,EAAA,IAAI,CAAC,cAAA,CAAe,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,CAACC,2CAAoB,SAAA,EAAW,OAAO,GAAG,GAAG,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAC,CAAA;AAAA,EACtF;AAGA,EAAA,MAAM,gBACJ,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,QAAQ,OAAA,CAAQ,2BAAA;AAC3D,EAAA,MAAM,QAAA,GAAW,gBAAgB,MAAA,GAAY,CAAC,GAAI,MAAA,CAAO,QAAA,IAAY,EAAC,EAAI,IAAI,CAAA;AAC9E,EAAA,OAAO,gBAAgB,EAAE,GAAG,MAAA,EAAQ,QAAA,IAA4B,OAAO,CAAA;AACzE;AAOO,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAuC;AACtF,EAAA,IAAI,CAAC,iBAAA,CAAkB,MAAM,CAAA,EAAG;AAC9B,IAAA,MAAM,SAAA,GAAYD,6CAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,IAAA,OAAO,SAAA,GAAYF,sBAAS,CAACG,0CAAA,CAAoB,WAAW,OAAO,CAAC,CAAC,CAAA,GAAI,IAAA;AAAA,EAC3E;AACA,EAAA,MAAM,OAAA,GAAU,+BAAA,CAAgC,MAAA,EAAQ,OAAO,CAAA;AAC/D,EAAA,MAAM,gBAAgB,OAAA,CAAQ,OAAA;AAAA,IAAQ,CAAC,WACrC,MAAA,CAAO,IAAA,KAAS,aAAa,CAAC,MAAA,CAAO,IAAI,CAAA,GAAI;AAAC,GAChD;AAEA,EAAA,IACE,OAAA,IAAW,MAAA,IACX,OAAO,MAAA,CAAO,KAAA,KAAU,QAAA,IACxB,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,KAAK,CAAA,CAAE,MAAA,GAAS,CAAA,EACnC;AACA,IAAA,OAAA,CAAQ,IAAA,CAAK,UAAA,CAAW,MAAA,CAAO,KAAA,EAAO,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,MAAM,UAAA,GAAa,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAA;AAClD,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAAIH,qBAAA,CAAS,OAAO,CAAA,GAAI,IAAA;AAAA,EAClD;AACA,EAAA,MAAM,SAAA,GAAYI,oCAAA,CAAkBC,uBAAA,CAAQ,UAAU,GAAG,aAAa,CAAA;AACtE,EAAA,MAAM,QAAQL,qBAAA,CAAS;AAAA,IACrBM,oCAAuB,KAAA,EAAO,SAAA,EAAW,OAAA,CAAQ,OAAA,CAAQ,QAAQ,SAAS;AAAA,GAC3E,CAAA;AACD,EAAA,OAAOC,8BAAA,CAAe,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAACP,qBAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,KAAK,CAAC,CAAA;AACnF;;;;"}

package/dist/application/transform/schema/object-type.mjs

@@ -1,16 +1,18 @@
 import { OpenAPITypesafeError, ERROR_CODES } from '../../../domain/errors.mjs';
 import { irObject, irStringIndexSignature, irProperty, irReference } from '../../../domain/ir/constructors.mjs';
 import { toPropertyName } from '../../../domain/ir/property-name.mjs';
-import { createRef } from '../../../domain/openapi/json-pointer.mjs';
+import { appendPointer } from '../../../domain/openapi/json-pointer.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { schemaRefType } from '../ref-pointer/pointer-type.mjs';
 import { withSchemaComment, schemaCommentOptionsOf } from '../schema-comment.mjs';
 import { UNKNOWN_TYPE } from '../shared-types.mjs';
 import { unionOf, intersectionOf } from '../type-combinators.mjs';
 import { propertyAccessFlags } from './access-flags.mjs';
+import { withPropertyTypes } from './index-signature-type.mjs';
 import { inheritedDiscriminator, discriminatorMember } from './inherited-discriminator.mjs';
+import { isInputLocation } from './input-location.mjs';
+import { refWithSiblingsAsAllOf } from './ref-siblings.mjs';
 
-const INPUT_PATH_PARTS = ["parameters", "requestBody", "requestBodies"];
 class InvalidPropertyError extends OpenAPITypesafeError {
   constructor(path, key, value) {
     const received = Array.isArray(value) ? "Array" : typeof value;
@@ -47,8 +49,7 @@ function propertyFacts(value, request) {
 }
 function isOptionalProperty(key, facts, schema, request) {
   const { options } = request.context;
-  const path = request.location.path;
-  const isDefaultRequired = facts.hasDefault && options.defaultNonNullable && !INPUT_PATH_PARTS.some((part) => path?.includes(part));
+  const isDefaultRequired = facts.hasDefault && options.defaultNonNullable && !isInputLocation(request.location.path, options.fixes);
   const isRequired = schema.required?.includes(key) || schema.required === void 0 && options.propertiesRequiredByDefault || isDefaultRequired;
   return !isRequired;
 }
@@ -59,9 +60,14 @@ function isExcluded(value, facts, request) {
   const resolved = facts.ref ? request.context.refs.resolve(facts.ref) : value;
   return Boolean(resolved?.deprecated);
 }
+function plainRef({ ref }, value, request) {
+  const isAllOf = ref && refWithSiblingsAsAllOf(value, request.context.options);
+  return isAllOf ? void 0 : ref;
+}
 function propertyType(key, value, facts, request) {
-  const path = createRef([request.location.path, key]);
-  const type = facts.ref ? schemaRefType(facts.ref, request) : request.transformNested(value, { ...request.location, path });
+  const path = appendPointer(request.location.path, [key]);
+  const ref = plainRef(facts, value, request);
+  const type = ref ? schemaRefType(ref, request) : request.transformNested(value, { ...request.location, path });
   const custom = request.context.callbacks.transform(value, request.location);
   return custom === null ? { type, isOptional: null } : { type: custom.type, isOptional: custom.isOptional || null };
 }
@@ -84,7 +90,7 @@ function propertyMember(key, value, schema, request) {
       isReadonly: options.immutable || !options.readWriteMarkers && facts.flags.isReadOnly
     }
   );
-  return finishProperty(property, value, createRef([request.location.path, key]), request);
+  return finishProperty(property, value, appendPointer(request.location.path, [key]), request);
 }
 function propertyMembers(schema, request) {
   const members = [];
@@ -99,7 +105,7 @@ function propertyMembers(schema, request) {
 function defsMember(defs, request) {
   const { options } = request.context;
   const members = Object.entries(defs).map(([key, value]) => {
-    const path = createRef([request.location.path, "$defs", key]);
+    const path = appendPointer(request.location.path, ["$defs", key]);
     const flags = propertyAccessFlags(value, request.context);
     const type = withReadWriteMarker(
       request.transformNested(value, { ...request.location, path }),
@@ -165,6 +171,9 @@ function objectType(schema, request) {
     return inherited ? irObject([discriminatorMember(inherited, request)]) : null;
   }
   const members = discriminatorAndPropertyMembers(schema, request);
+  const propertyTypes = members.flatMap(
+    (member) => member.kind === "property" ? [member.type] : []
+  );
   if ("$defs" in schema && typeof schema.$defs === "object" && Object.keys(schema.$defs).length > 0) {
     members.push(defsMember(schema.$defs, request));
   }
@@ -172,8 +181,9 @@ function objectType(schema, request) {
   if (valueTypes.length === 0) {
     return members.length > 0 ? irObject(members) : null;
   }
+  const indexType = withPropertyTypes(unionOf(valueTypes), propertyTypes);
   const index = irObject([
-    irStringIndexSignature("key", unionOf(valueTypes), request.context.options.immutable)
+    irStringIndexSignature("key", indexType, request.context.options.immutable)
   ]);
   return intersectionOf([...members.length > 0 ? [irObject(members)] : [], index]);
 }

package/dist/application/transform/schema/object-type.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"object-type.mjs","sources":["../../../../src/application/transform/schema/object-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport {\n  irObject,\n  irProperty,\n  irReference,\n  irStringIndexSignature,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { schemaRefType } from \"../ref-pointer/pointer-type.js\";\nimport { schemaCommentOptionsOf, withSchemaComment } from \"../schema-comment.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { intersectionOf, unionOf } from \"../type-combinators.js\";\nimport { type AccessFlags, propertyAccessFlags } from \"./access-flags.js\";\nimport { discriminatorMember, inheritedDiscriminator } from \"./inherited-discriminator.js\";\nimport type { SchemaOptions } from \"./schema-context.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\n\n/** Path parts where a default value cannot make a property required (inputs may omit it). */\nconst INPUT_PATH_PARTS = [\"parameters\", \"requestBody\", \"requestBodies\"] as const;\n\nexport class InvalidPropertyError extends OpenAPITypesafeError {\n  constructor(path: string | undefined, key: string, value: unknown) {\n    const received = Array.isArray(value) ? \"Array\" : typeof value;\n    super({\n      code: ERROR_CODES.SCHEMA_PROPERTY_INVALID,\n      message:\n        `${path}: invalid property ${key}. ` + `Expected Schema Object or boolean, got ${received}`,\n      details: { path, property: key, received },\n    });\n    this.name = \"InvalidPropertyError\";\n  }\n}\n\n/** `--read-write-markers`: `$Read<T>` / `$Write<T>`, unless the property is both or neither. */\nfunction withReadWriteMarker(type: IrType, flags: AccessFlags, options: SchemaOptions): IrType {\n  if (!options.readWriteMarkers || flags.isReadOnly === flags.isWriteOnly) {\n    return type;\n  }\n  return irReference(flags.isReadOnly ? \"$Read\" : \"$Write\", [type]);\n}\n\n/** Apply `transformProperty`, then the schema's JSDoc. */\nfunction finishProperty(\n  property: IrPropertySignature,\n  schema: Schema,\n  path: string,\n  request: SchemaRequest,\n): IrPropertySignature {\n  const location = { ...request.location, path };\n  const transformed =\n    request.context.callbacks.transformProperty(property, schema, location) ?? property;\n  // The original adds the schema's comment after any comment the callback set.\n  return withSchemaComment(\n    transformed,\n    schema,\n    schemaCommentOptionsOf(request.context.options.fixes),\n  );\n}\n\n/** What the property loop reads from a property schema, in the original order. */\ninterface PropertyFacts {\n  readonly ref: string | undefined;\n  readonly flags: AccessFlags;\n  readonly hasDefault: boolean;\n}\n\nfunction propertyFacts(value: Schema, request: SchemaRequest): PropertyFacts {\n  if (typeof value !== \"object\") {\n    return { ref: undefined, flags: { isReadOnly: false, isWriteOnly: false }, hasDefault: false };\n  }\n  // `in` throws for a null value, as in the original (which also reads `$ref` first).\n  const ref = \"$ref\" in value && value.$ref ? value.$ref : undefined;\n  const flags = propertyAccessFlags(value, request.context);\n  return { ref, flags, hasDefault: \"default\" in value && value.default !== undefined };\n}\n\nfunction isOptionalProperty(\n  key: string,\n  facts: PropertyFacts,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): boolean {\n  const { options } = request.context;\n  const path = request.location.path;\n  const isDefaultRequired =\n    facts.hasDefault &&\n    options.defaultNonNullable &&\n    !INPUT_PATH_PARTS.some((part) => path?.includes(part));\n  const isRequired =\n    schema.required?.includes(key) ||\n    (schema.required === undefined && options.propertiesRequiredByDefault) ||\n    isDefaultRequired;\n  return !isRequired;\n}\n\nfunction isExcluded(value: Schema, facts: PropertyFacts, request: SchemaRequest): boolean {\n  if (!request.context.options.excludeDeprecated) {\n    return false;\n  }\n  const resolved = facts.ref ? request.context.refs.resolve(facts.ref) : value;\n  return Boolean((resolved as SchemaObject | undefined)?.deprecated);\n}\n\n/** A type, and whether a callback forced the property optional (null: no override). */\ninterface CustomResult {\n  readonly type: IrType;\n  readonly isOptional: true | null;\n}\n\nfunction propertyType(\n  key: string,\n  value: Schema,\n  facts: PropertyFacts,\n  request: SchemaRequest,\n): CustomResult {\n  const path = createRef([request.location.path, key]);\n  const type = facts.ref\n    ? schemaRefType(facts.ref, request)\n    : request.transformNested(value, { ...request.location, path });\n  const custom = request.context.callbacks.transform(value, request.location);\n  return custom === null\n    ? { type, isOptional: null }\n    : { type: custom.type, isOptional: custom.isOptional || null };\n}\n\nfunction propertyMember(\n  key: string,\n  value: Schema,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrMember | null {\n  if ((typeof value !== \"object\" && typeof value !== \"boolean\") || Array.isArray(value)) {\n    throw new InvalidPropertyError(request.location.path, key, value);\n  }\n  const facts = propertyFacts(value, request);\n  if (isExcluded(value, facts, request)) {\n    return null;\n  }\n  const { options } = request.context;\n  const isOptional = isOptionalProperty(key, facts, schema, request);\n  const result = propertyType(key, value, facts, request);\n  const property = irProperty(\n    toPropertyName(key),\n    withReadWriteMarker(result.type, facts.flags, options),\n    {\n      isOptional: result.isOptional ?? isOptional,\n      isReadonly: options.immutable || (!options.readWriteMarkers && facts.flags.isReadOnly),\n    },\n  );\n  return finishProperty(property, value, createRef([request.location.path, key]), request);\n}\n\nfunction propertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const members: IrMember[] = [];\n  for (const [key, value] of documentEntries(schema.properties ?? {}, request.context.options)) {\n    const member = propertyMember(key, value, schema, request);\n    if (member !== null) {\n      members.push(member);\n    }\n  }\n  return members;\n}\n\n/**\n * `$defs` as a nested `$defs?: { … }` member, in document order (never alphabetized). It is\n * optional because `$defs` is a schema keyword, not data: the original made it required, so a\n * value of the type needed a `$defs` key (research/legacy-bugs.md, item 17, upstream #2664).\n */\nfunction defsMember(\n  defs: Readonly<Record<string, SchemaObject>>,\n  request: SchemaRequest,\n): IrMember {\n  const { options } = request.context;\n  const members = Object.entries(defs).map(([key, value]) => {\n    const path = createRef([request.location.path, \"$defs\", key]);\n    const flags = propertyAccessFlags(value, request.context);\n    const type = withReadWriteMarker(\n      request.transformNested(value, { ...request.location, path }),\n      flags,\n      options,\n    );\n    const property = irProperty(toPropertyName(key), type, {\n      isReadonly: options.immutable || (!options.readWriteMarkers && flags.isReadOnly),\n    });\n    return finishProperty(property, value, path, request);\n  });\n  return irProperty(toPropertyName(\"$defs\"), irObject(members), { isOptional: true });\n}\n\nfunction hasObjectKeywords(schema: SchemaObject): boolean {\n  const hasProperties = Boolean(schema.properties && Object.keys(schema.properties).length);\n  return (\n    hasProperties ||\n    Boolean(schema.additionalProperties || schema.patternProperties || schema.$defs)\n  );\n}\n\n/** Value types of the `[key: string]` index signature, in the original order. */\nfunction indexValueTypes(schema: SchemaObject, request: SchemaRequest): IrType[] {\n  const { additionalProperties } = schema;\n  const isObject = typeof additionalProperties === \"object\";\n  const hasExplicit = isObject && Object.keys(additionalProperties).length > 0;\n  const hasImplicit =\n    additionalProperties === true || (isObject && Object.keys(additionalProperties).length === 0);\n  const types: IrType[] = [];\n  if (hasExplicit) {\n    types.push(request.transformNested(additionalProperties as Schema, request.location, true));\n  }\n  if (hasImplicit || (!additionalProperties && request.context.options.additionalProperties)) {\n    types.push(UNKNOWN_TYPE);\n  }\n  const patterns = schema.patternProperties;\n  if (typeof patterns === \"object\" && patterns !== null && Object.keys(patterns).length > 0) {\n    for (const [, value] of documentEntries(patterns, request.context.options)) {\n      types.push(request.transformNested(value, request.location));\n    }\n  }\n  return types;\n}\n\n/**\n * Whether the schema declares property `key` and the type keeps it: `--exclude-deprecated` drops\n * a deprecated one.\n */\nexport function isKeptProperty(schema: SchemaObject, key: string, request: SchemaRequest): boolean {\n  const properties = schema.properties ?? {};\n  if (!Object.hasOwn(properties, key)) {\n    return false;\n  }\n  const value = properties[key] as Schema;\n  const isExcludable = request.context.options.excludeDeprecated && typeof value === \"object\";\n  return !isExcludable || !isExcluded(value, propertyFacts(value, request), request);\n}\n\n/**\n * The members for the discriminator and `properties`. A schema that declares the discriminator\n * property itself keeps its own declaration, required as the discriminator needs: both in one\n * object type do not compile (TS2300, the Apple SiriKit Cloud Media API). A declaration that\n * `--exclude-deprecated` drops does not count, so the discriminator property stays.\n */\nfunction discriminatorAndPropertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const inherited = inheritedDiscriminator(schema, request);\n  if (inherited === undefined) {\n    return propertyMembers(schema, request);\n  }\n  const name = inherited.discriminator.propertyName;\n  if (!isKeptProperty(schema, name, request)) {\n    return [discriminatorMember(inherited, request), ...propertyMembers(schema, request)];\n  }\n  // Without `required`, `--properties-required-by-default` requires every property already; a\n  // list of one would make the others optional.\n  const isAllRequired =\n    schema.required === undefined && request.context.options.propertiesRequiredByDefault;\n  const required = isAllRequired ? undefined : [...(schema.required ?? []), name];\n  return propertyMembers({ ...schema, required } as SchemaObject, request);\n}\n\n/**\n * Object keywords: discriminator, `properties`, `$defs`, and an index signature for\n * `additionalProperties` / `patternProperties` (or `--additional-properties`). Null when the schema\n * has none of them.\n */\nexport function objectType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  if (!hasObjectKeywords(schema)) {\n    const inherited = inheritedDiscriminator(schema, request);\n    return inherited ? irObject([discriminatorMember(inherited, request)]) : null;\n  }\n  const members = discriminatorAndPropertyMembers(schema, request);\n  // As in the original, a null `$defs` throws here (Object.keys) instead of being skipped.\n  if (\n    \"$defs\" in schema &&\n    typeof schema.$defs === \"object\" &&\n    Object.keys(schema.$defs).length > 0\n  ) {\n    members.push(defsMember(schema.$defs, request));\n  }\n  const valueTypes = indexValueTypes(schema, request);\n  if (valueTypes.length === 0) {\n    return members.length > 0 ? irObject(members) : null;\n  }\n  const index = irObject([\n    irStringIndexSignature(\"key\", unionOf(valueTypes), request.context.options.immutable),\n  ]);\n  return intersectionOf([...(members.length > 0 ? [irObject(members)] : []), index]);\n}\n"],"names":[],"mappings":";;;;;;;;;;;;AAsBA,MAAM,gBAAA,GAAmB,CAAC,YAAA,EAAc,aAAA,EAAe,eAAe,CAAA;AAE/D,MAAM,6BAA6B,oBAAA,CAAqB;AAAA,EAC7D,WAAA,CAAY,IAAA,EAA0B,GAAA,EAAa,KAAA,EAAgB;AACjE,IAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,UAAU,OAAO,KAAA;AACzD,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,uBAAA;AAAA,MAClB,SACE,CAAA,EAAG,IAAI,CAAA,mBAAA,EAAsB,GAAG,4CAAiD,QAAQ,CAAA,CAAA;AAAA,MAC3F,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,KAAK,QAAA;AAAS,KAC1C,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,sBAAA;AAAA,EACd;AACF;AAGA,SAAS,mBAAA,CAAoB,IAAA,EAAc,KAAA,EAAoB,OAAA,EAAgC;AAC7F,EAAA,IAAI,CAAC,OAAA,CAAQ,gBAAA,IAAoB,KAAA,CAAM,UAAA,KAAe,MAAM,WAAA,EAAa;AACvE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,KAAA,CAAM,UAAA,GAAa,UAAU,QAAA,EAAU,CAAC,IAAI,CAAC,CAAA;AAClE;AAGA,SAAS,cAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,GAAG,OAAA,CAAQ,UAAU,IAAA,EAAK;AAC7C,EAAA,MAAM,WAAA,GACJ,QAAQ,OAAA,CAAQ,SAAA,CAAU,kBAAkB,QAAA,EAAU,MAAA,EAAQ,QAAQ,CAAA,IAAK,QAAA;AAE7E,EAAA,OAAO,iBAAA;AAAA,IACL,WAAA;AAAA,IACA,MAAA;AAAA,IACA,sBAAA,CAAuB,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,KAAK;AAAA,GACtD;AACF;AASA,SAAS,aAAA,CAAc,OAAe,OAAA,EAAuC;AAC3E,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,EAAE,GAAA,EAAK,MAAA,EAAW,KAAA,EAAO,EAAE,UAAA,EAAY,KAAA,EAAO,WAAA,EAAa,KAAA,EAAM,EAAG,UAAA,EAAY,KAAA,EAAM;AAAA,EAC/F;AAEA,EAAA,MAAM,MAAM,MAAA,IAAU,KAAA,IAAS,KAAA,CAAM,IAAA,GAAO,MAAM,IAAA,GAAO,MAAA;AACzD,EAAA,MAAM,KAAA,GAAQ,mBAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,EAAA,OAAO,EAAE,KAAK,KAAA,EAAO,UAAA,EAAY,aAAa,KAAA,IAAS,KAAA,CAAM,YAAY,MAAA,EAAU;AACrF;AAEA,SAAS,kBAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACS;AACT,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,IAAA,GAAO,QAAQ,QAAA,CAAS,IAAA;AAC9B,EAAA,MAAM,iBAAA,GACJ,KAAA,CAAM,UAAA,IACN,OAAA,CAAQ,kBAAA,IACR,CAAC,gBAAA,CAAiB,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,EAAM,QAAA,CAAS,IAAI,CAAC,CAAA;AACvD,EAAA,MAAM,UAAA,GACJ,MAAA,CAAO,QAAA,EAAU,QAAA,CAAS,GAAG,KAC5B,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IAC1C,iBAAA;AACF,EAAA,OAAO,CAAC,UAAA;AACV;AAEA,SAAS,UAAA,CAAW,KAAA,EAAe,KAAA,EAAsB,OAAA,EAAiC;AACxF,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,EAAmB;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,MAAM,GAAA,GAAM,OAAA,CAAQ,QAAQ,IAAA,CAAK,OAAA,CAAQ,KAAA,CAAM,GAAG,CAAA,GAAI,KAAA;AACvE,EAAA,OAAO,OAAA,CAAS,UAAuC,UAAU,CAAA;AACnE;AAQA,SAAS,YAAA,CACP,GAAA,EACA,KAAA,EACA,KAAA,EACA,OAAA,EACc;AACd,EAAA,MAAM,OAAO,SAAA,CAAU,CAAC,QAAQ,QAAA,CAAS,IAAA,EAAM,GAAG,CAAC,CAAA;AACnD,EAAA,MAAM,OAAO,KAAA,CAAM,GAAA,GACf,aAAA,CAAc,KAAA,CAAM,KAAK,OAAO,CAAA,GAChC,OAAA,CAAQ,eAAA,CAAgB,OAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAChE,EAAA,MAAM,SAAS,OAAA,CAAQ,OAAA,CAAQ,UAAU,SAAA,CAAU,KAAA,EAAO,QAAQ,QAAQ,CAAA;AAC1E,EAAA,OAAO,MAAA,KAAW,IAAA,GACd,EAAE,IAAA,EAAM,YAAY,IAAA,EAAK,GACzB,EAAE,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,UAAA,EAAY,MAAA,CAAO,cAAc,IAAA,EAAK;AACjE;AAEA,SAAS,cAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACiB;AACjB,EAAA,IAAK,OAAO,UAAU,QAAA,IAAY,OAAO,UAAU,SAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACrF,IAAA,MAAM,IAAI,oBAAA,CAAqB,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,KAAK,KAAK,CAAA;AAAA,EAClE;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA;AAC1C,EAAA,IAAI,UAAA,CAAW,KAAA,EAAO,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACjE,EAAA,MAAM,MAAA,GAAS,YAAA,CAAa,GAAA,EAAK,KAAA,EAAO,OAAO,OAAO,CAAA;AACtD,EAAA,MAAM,QAAA,GAAW,UAAA;AAAA,IACf,eAAe,GAAG,CAAA;AAAA,IAClB,mBAAA,CAAoB,MAAA,CAAO,IAAA,EAAM,KAAA,CAAM,OAAO,OAAO,CAAA;AAAA,IACrD;AAAA,MACE,UAAA,EAAY,OAAO,UAAA,IAAc,UAAA;AAAA,MACjC,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,gBAAA,IAAoB,MAAM,KAAA,CAAM;AAAA;AAC7E,GACF;AACA,EAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAO,SAAA,CAAU,CAAC,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,GAAG,CAAC,CAAA,EAAG,OAAO,CAAA;AACzF;AAEA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAoC;AACjF,EAAA,MAAM,UAAsB,EAAC;AAC7B,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,KAAK,CAAA,IAAK,eAAA,CAAgB,MAAA,CAAO,UAAA,IAAc,EAAC,EAAG,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC5F,IAAA,MAAM,MAAA,GAAS,cAAA,CAAe,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACzD,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAOA,SAAS,UAAA,CACP,MACA,OAAA,EACU;AACV,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,IAAI,CAAA,CAAE,IAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AACzD,IAAA,MAAM,IAAA,GAAO,UAAU,CAAC,OAAA,CAAQ,SAAS,IAAA,EAAM,OAAA,EAAS,GAAG,CAAC,CAAA;AAC5D,IAAA,MAAM,KAAA,GAAQ,mBAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,IAAA,MAAM,IAAA,GAAO,mBAAA;AAAA,MACX,OAAA,CAAQ,gBAAgB,KAAA,EAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAAA,MAC5D,KAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,MAAM,QAAA,GAAW,UAAA,CAAW,cAAA,CAAe,GAAG,GAAG,IAAA,EAAM;AAAA,MACrD,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,oBAAoB,KAAA,CAAM;AAAA,KACtE,CAAA;AACD,IAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAO,IAAA,EAAM,OAAO,CAAA;AAAA,EACtD,CAAC,CAAA;AACD,EAAA,OAAO,UAAA,CAAW,cAAA,CAAe,OAAO,CAAA,EAAG,QAAA,CAAS,OAAO,CAAA,EAAG,EAAE,UAAA,EAAY,IAAA,EAAM,CAAA;AACpF;AAEA,SAAS,kBAAkB,MAAA,EAA+B;AACxD,EAAA,MAAM,aAAA,GAAgB,QAAQ,MAAA,CAAO,UAAA,IAAc,OAAO,IAAA,CAAK,MAAA,CAAO,UAAU,CAAA,CAAE,MAAM,CAAA;AACxF,EAAA,OACE,iBACA,OAAA,CAAQ,MAAA,CAAO,wBAAwB,MAAA,CAAO,iBAAA,IAAqB,OAAO,KAAK,CAAA;AAEnF;AAGA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAkC;AAC/E,EAAA,MAAM,EAAE,sBAAqB,GAAI,MAAA;AACjC,EAAA,MAAM,QAAA,GAAW,OAAO,oBAAA,KAAyB,QAAA;AACjD,EAAA,MAAM,cAAc,QAAA,IAAY,MAAA,CAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,GAAS,CAAA;AAC3E,EAAA,MAAM,WAAA,GACJ,yBAAyB,IAAA,IAAS,QAAA,IAAY,OAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,KAAW,CAAA;AAC7F,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,IAAI,WAAA,EAAa;AACf,IAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,sBAAgC,OAAA,CAAQ,QAAA,EAAU,IAAI,CAAC,CAAA;AAAA,EAC5F;AACA,EAAA,IAAI,eAAgB,CAAC,oBAAA,IAAwB,OAAA,CAAQ,OAAA,CAAQ,QAAQ,oBAAA,EAAuB;AAC1F,IAAA,KAAA,CAAM,KAAK,YAAY,CAAA;AAAA,EACzB;AACA,EAAA,MAAM,WAAW,MAAA,CAAO,iBAAA;AACxB,EAAA,IAAI,OAAO,QAAA,KAAa,QAAA,IAAY,QAAA,KAAa,IAAA,IAAQ,OAAO,IAAA,CAAK,QAAQ,CAAA,CAAE,MAAA,GAAS,CAAA,EAAG;AACzF,IAAA,KAAA,MAAW,GAAG,KAAK,CAAA,IAAK,gBAAgB,QAAA,EAAU,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC1E,MAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,KAAA,EAAO,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAAA,IAC7D;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,cAAA,CAAe,MAAA,EAAsB,GAAA,EAAa,OAAA,EAAiC;AACjG,EAAA,MAAM,UAAA,GAAa,MAAA,CAAO,UAAA,IAAc,EAAC;AACzC,EAAA,IAAI,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,WAAW,GAAG,CAAA;AAC5B,EAAA,MAAM,eAAe,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,IAAqB,OAAO,KAAA,KAAU,QAAA;AACnF,EAAA,OAAO,CAAC,gBAAgB,CAAC,UAAA,CAAW,OAAO,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA,EAAG,OAAO,CAAA;AACnF;AAQA,SAAS,+BAAA,CAAgC,QAAsB,OAAA,EAAoC;AACjG,EAAA,MAAM,SAAA,GAAY,sBAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,OAAO,eAAA,CAAgB,QAAQ,OAAO,CAAA;AAAA,EACxC;AACA,EAAA,MAAM,IAAA,GAAO,UAAU,aAAA,CAAc,YAAA;AACrC,EAAA,IAAI,CAAC,cAAA,CAAe,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,CAAC,oBAAoB,SAAA,EAAW,OAAO,GAAG,GAAG,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAC,CAAA;AAAA,EACtF;AAGA,EAAA,MAAM,gBACJ,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,QAAQ,OAAA,CAAQ,2BAAA;AAC3D,EAAA,MAAM,QAAA,GAAW,gBAAgB,MAAA,GAAY,CAAC,GAAI,MAAA,CAAO,QAAA,IAAY,EAAC,EAAI,IAAI,CAAA;AAC9E,EAAA,OAAO,gBAAgB,EAAE,GAAG,MAAA,EAAQ,QAAA,IAA4B,OAAO,CAAA;AACzE;AAOO,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAuC;AACtF,EAAA,IAAI,CAAC,iBAAA,CAAkB,MAAM,CAAA,EAAG;AAC9B,IAAA,MAAM,SAAA,GAAY,sBAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,IAAA,OAAO,SAAA,GAAY,SAAS,CAAC,mBAAA,CAAoB,WAAW,OAAO,CAAC,CAAC,CAAA,GAAI,IAAA;AAAA,EAC3E;AACA,EAAA,MAAM,OAAA,GAAU,+BAAA,CAAgC,MAAA,EAAQ,OAAO,CAAA;AAE/D,EAAA,IACE,OAAA,IAAW,MAAA,IACX,OAAO,MAAA,CAAO,KAAA,KAAU,QAAA,IACxB,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,KAAK,CAAA,CAAE,MAAA,GAAS,CAAA,EACnC;AACA,IAAA,OAAA,CAAQ,IAAA,CAAK,UAAA,CAAW,MAAA,CAAO,KAAA,EAAO,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,MAAM,UAAA,GAAa,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAA;AAClD,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAAI,QAAA,CAAS,OAAO,CAAA,GAAI,IAAA;AAAA,EAClD;AACA,EAAA,MAAM,QAAQ,QAAA,CAAS;AAAA,IACrB,sBAAA,CAAuB,OAAO,OAAA,CAAQ,UAAU,GAAG,OAAA,CAAQ,OAAA,CAAQ,QAAQ,SAAS;AAAA,GACrF,CAAA;AACD,EAAA,OAAO,cAAA,CAAe,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAAC,QAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,KAAK,CAAC,CAAA;AACnF;;"}
+{"version":3,"file":"object-type.mjs","sources":["../../../../src/application/transform/schema/object-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport {\n  irObject,\n  irProperty,\n  irReference,\n  irStringIndexSignature,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrMember, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport { schemaRefType } from \"../ref-pointer/pointer-type.js\";\nimport { schemaCommentOptionsOf, withSchemaComment } from \"../schema-comment.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { intersectionOf, unionOf } from \"../type-combinators.js\";\nimport { type AccessFlags, propertyAccessFlags } from \"./access-flags.js\";\nimport { withPropertyTypes } from \"./index-signature-type.js\";\nimport { discriminatorMember, inheritedDiscriminator } from \"./inherited-discriminator.js\";\nimport { isInputLocation } from \"./input-location.js\";\nimport { refWithSiblingsAsAllOf } from \"./ref-siblings.js\";\nimport type { SchemaOptions } from \"./schema-context.js\";\nimport type { SchemaRequest } from \"./schema-rule.js\";\n\nexport class InvalidPropertyError extends OpenAPITypesafeError {\n  constructor(path: string | undefined, key: string, value: unknown) {\n    const received = Array.isArray(value) ? \"Array\" : typeof value;\n    super({\n      code: ERROR_CODES.SCHEMA_PROPERTY_INVALID,\n      message:\n        `${path}: invalid property ${key}. ` + `Expected Schema Object or boolean, got ${received}`,\n      details: { path, property: key, received },\n    });\n    this.name = \"InvalidPropertyError\";\n  }\n}\n\n/** `--read-write-markers`: `$Read<T>` / `$Write<T>`, unless the property is both or neither. */\nfunction withReadWriteMarker(type: IrType, flags: AccessFlags, options: SchemaOptions): IrType {\n  if (!options.readWriteMarkers || flags.isReadOnly === flags.isWriteOnly) {\n    return type;\n  }\n  return irReference(flags.isReadOnly ? \"$Read\" : \"$Write\", [type]);\n}\n\n/** Apply `transformProperty`, then the schema's JSDoc. */\nfunction finishProperty(\n  property: IrPropertySignature,\n  schema: Schema,\n  path: string,\n  request: SchemaRequest,\n): IrPropertySignature {\n  const location = { ...request.location, path };\n  const transformed =\n    request.context.callbacks.transformProperty(property, schema, location) ?? property;\n  // The original adds the schema's comment after any comment the callback set.\n  return withSchemaComment(\n    transformed,\n    schema,\n    schemaCommentOptionsOf(request.context.options.fixes),\n  );\n}\n\n/** What the property loop reads from a property schema, in the original order. */\ninterface PropertyFacts {\n  readonly ref: string | undefined;\n  readonly flags: AccessFlags;\n  readonly hasDefault: boolean;\n}\n\nfunction propertyFacts(value: Schema, request: SchemaRequest): PropertyFacts {\n  if (typeof value !== \"object\") {\n    return { ref: undefined, flags: { isReadOnly: false, isWriteOnly: false }, hasDefault: false };\n  }\n  // `in` throws for a null value, as in the original (which also reads `$ref` first).\n  const ref = \"$ref\" in value && value.$ref ? value.$ref : undefined;\n  const flags = propertyAccessFlags(value, request.context);\n  return { ref, flags, hasDefault: \"default\" in value && value.default !== undefined };\n}\n\nfunction isOptionalProperty(\n  key: string,\n  facts: PropertyFacts,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): boolean {\n  const { options } = request.context;\n  const isDefaultRequired =\n    facts.hasDefault &&\n    options.defaultNonNullable &&\n    !isInputLocation(request.location.path, options.fixes);\n  const isRequired =\n    schema.required?.includes(key) ||\n    (schema.required === undefined && options.propertiesRequiredByDefault) ||\n    isDefaultRequired;\n  return !isRequired;\n}\n\nfunction isExcluded(value: Schema, facts: PropertyFacts, request: SchemaRequest): boolean {\n  if (!request.context.options.excludeDeprecated) {\n    return false;\n  }\n  const resolved = facts.ref ? request.context.refs.resolve(facts.ref) : value;\n  return Boolean((resolved as SchemaObject | undefined)?.deprecated);\n}\n\n/** A type, and whether a callback forced the property optional (null: no override). */\ninterface CustomResult {\n  readonly type: IrType;\n  readonly isOptional: true | null;\n}\n\n/** A `$ref` with siblings that `ref-siblings` types as an `allOf` is typed as a schema. */\nfunction plainRef({ ref }: PropertyFacts, value: Schema, request: SchemaRequest) {\n  const isAllOf = ref && refWithSiblingsAsAllOf(value as SchemaObject, request.context.options);\n  return isAllOf ? undefined : ref;\n}\n\nfunction propertyType(\n  key: string,\n  value: Schema,\n  facts: PropertyFacts,\n  request: SchemaRequest,\n): CustomResult {\n  const path = appendPointer(request.location.path, [key]);\n  const ref = plainRef(facts, value, request);\n  const type = ref\n    ? schemaRefType(ref, request)\n    : request.transformNested(value, { ...request.location, path });\n  const custom = request.context.callbacks.transform(value, request.location);\n  return custom === null\n    ? { type, isOptional: null }\n    : { type: custom.type, isOptional: custom.isOptional || null };\n}\n\nfunction propertyMember(\n  key: string,\n  value: Schema,\n  schema: SchemaObject,\n  request: SchemaRequest,\n): IrMember | null {\n  if ((typeof value !== \"object\" && typeof value !== \"boolean\") || Array.isArray(value)) {\n    throw new InvalidPropertyError(request.location.path, key, value);\n  }\n  const facts = propertyFacts(value, request);\n  if (isExcluded(value, facts, request)) {\n    return null;\n  }\n  const { options } = request.context;\n  const isOptional = isOptionalProperty(key, facts, schema, request);\n  const result = propertyType(key, value, facts, request);\n  const property = irProperty(\n    toPropertyName(key),\n    withReadWriteMarker(result.type, facts.flags, options),\n    {\n      isOptional: result.isOptional ?? isOptional,\n      isReadonly: options.immutable || (!options.readWriteMarkers && facts.flags.isReadOnly),\n    },\n  );\n  return finishProperty(property, value, appendPointer(request.location.path, [key]), request);\n}\n\nfunction propertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const members: IrMember[] = [];\n  for (const [key, value] of documentEntries(schema.properties ?? {}, request.context.options)) {\n    const member = propertyMember(key, value, schema, request);\n    if (member !== null) {\n      members.push(member);\n    }\n  }\n  return members;\n}\n\n/**\n * `$defs` as a nested `$defs?: { … }` member, in document order (never alphabetized). It is\n * optional because `$defs` is a schema keyword, not data: the original made it required, so a\n * value of the type needed a `$defs` key (research/legacy-bugs.md, item 17, upstream #2664).\n */\nfunction defsMember(\n  defs: Readonly<Record<string, SchemaObject>>,\n  request: SchemaRequest,\n): IrMember {\n  const { options } = request.context;\n  const members = Object.entries(defs).map(([key, value]) => {\n    const path = appendPointer(request.location.path, [\"$defs\", key]);\n    const flags = propertyAccessFlags(value, request.context);\n    const type = withReadWriteMarker(\n      request.transformNested(value, { ...request.location, path }),\n      flags,\n      options,\n    );\n    const property = irProperty(toPropertyName(key), type, {\n      isReadonly: options.immutable || (!options.readWriteMarkers && flags.isReadOnly),\n    });\n    return finishProperty(property, value, path, request);\n  });\n  return irProperty(toPropertyName(\"$defs\"), irObject(members), { isOptional: true });\n}\n\nfunction hasObjectKeywords(schema: SchemaObject): boolean {\n  const hasProperties = Boolean(schema.properties && Object.keys(schema.properties).length);\n  return (\n    hasProperties ||\n    Boolean(schema.additionalProperties || schema.patternProperties || schema.$defs)\n  );\n}\n\n/** Value types of the `[key: string]` index signature, in the original order. */\nfunction indexValueTypes(schema: SchemaObject, request: SchemaRequest): IrType[] {\n  const { additionalProperties } = schema;\n  const isObject = typeof additionalProperties === \"object\";\n  const hasExplicit = isObject && Object.keys(additionalProperties).length > 0;\n  const hasImplicit =\n    additionalProperties === true || (isObject && Object.keys(additionalProperties).length === 0);\n  const types: IrType[] = [];\n  if (hasExplicit) {\n    types.push(request.transformNested(additionalProperties as Schema, request.location, true));\n  }\n  if (hasImplicit || (!additionalProperties && request.context.options.additionalProperties)) {\n    types.push(UNKNOWN_TYPE);\n  }\n  const patterns = schema.patternProperties;\n  if (typeof patterns === \"object\" && patterns !== null && Object.keys(patterns).length > 0) {\n    for (const [, value] of documentEntries(patterns, request.context.options)) {\n      types.push(request.transformNested(value, request.location));\n    }\n  }\n  return types;\n}\n\n/**\n * Whether the schema declares property `key` and the type keeps it: `--exclude-deprecated` drops\n * a deprecated one.\n */\nexport function isKeptProperty(schema: SchemaObject, key: string, request: SchemaRequest): boolean {\n  const properties = schema.properties ?? {};\n  if (!Object.hasOwn(properties, key)) {\n    return false;\n  }\n  const value = properties[key] as Schema;\n  const isExcludable = request.context.options.excludeDeprecated && typeof value === \"object\";\n  return !isExcludable || !isExcluded(value, propertyFacts(value, request), request);\n}\n\n/**\n * The members for the discriminator and `properties`. A schema that declares the discriminator\n * property itself keeps its own declaration, required as the discriminator needs: both in one\n * object type do not compile (TS2300, the Apple SiriKit Cloud Media API). A declaration that\n * `--exclude-deprecated` drops does not count, so the discriminator property stays.\n */\nfunction discriminatorAndPropertyMembers(schema: SchemaObject, request: SchemaRequest): IrMember[] {\n  const inherited = inheritedDiscriminator(schema, request);\n  if (inherited === undefined) {\n    return propertyMembers(schema, request);\n  }\n  const name = inherited.discriminator.propertyName;\n  if (!isKeptProperty(schema, name, request)) {\n    return [discriminatorMember(inherited, request), ...propertyMembers(schema, request)];\n  }\n  // Without `required`, `--properties-required-by-default` requires every property already; a\n  // list of one would make the others optional.\n  const isAllRequired =\n    schema.required === undefined && request.context.options.propertiesRequiredByDefault;\n  const required = isAllRequired ? undefined : [...(schema.required ?? []), name];\n  return propertyMembers({ ...schema, required } as SchemaObject, request);\n}\n\n/**\n * Object keywords: discriminator, `properties`, `$defs`, and an index signature for\n * `additionalProperties` / `patternProperties` (or `--additional-properties`). Null when the schema\n * has none of them.\n */\nexport function objectType(schema: SchemaObject, request: SchemaRequest): IrType | null {\n  if (!hasObjectKeywords(schema)) {\n    const inherited = inheritedDiscriminator(schema, request);\n    return inherited ? irObject([discriminatorMember(inherited, request)]) : null;\n  }\n  const members = discriminatorAndPropertyMembers(schema, request);\n  const propertyTypes = members.flatMap((member) =>\n    member.kind === \"property\" ? [member.type] : [],\n  );\n  // As in the original, a null `$defs` throws here (Object.keys) instead of being skipped.\n  if (\n    \"$defs\" in schema &&\n    typeof schema.$defs === \"object\" &&\n    Object.keys(schema.$defs).length > 0\n  ) {\n    members.push(defsMember(schema.$defs, request));\n  }\n  const valueTypes = indexValueTypes(schema, request);\n  if (valueTypes.length === 0) {\n    return members.length > 0 ? irObject(members) : null;\n  }\n  const indexType = withPropertyTypes(unionOf(valueTypes), propertyTypes);\n  const index = irObject([\n    irStringIndexSignature(\"key\", indexType, request.context.options.immutable),\n  ]);\n  return intersectionOf([...(members.length > 0 ? [irObject(members)] : []), index]);\n}\n"],"names":[],"mappings":";;;;;;;;;;;;;;;AAwBO,MAAM,6BAA6B,oBAAA,CAAqB;AAAA,EAC7D,WAAA,CAAY,IAAA,EAA0B,GAAA,EAAa,KAAA,EAAgB;AACjE,IAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,UAAU,OAAO,KAAA;AACzD,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,uBAAA;AAAA,MAClB,SACE,CAAA,EAAG,IAAI,CAAA,mBAAA,EAAsB,GAAG,4CAAiD,QAAQ,CAAA,CAAA;AAAA,MAC3F,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,KAAK,QAAA;AAAS,KAC1C,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,sBAAA;AAAA,EACd;AACF;AAGA,SAAS,mBAAA,CAAoB,IAAA,EAAc,KAAA,EAAoB,OAAA,EAAgC;AAC7F,EAAA,IAAI,CAAC,OAAA,CAAQ,gBAAA,IAAoB,KAAA,CAAM,UAAA,KAAe,MAAM,WAAA,EAAa;AACvE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,KAAA,CAAM,UAAA,GAAa,UAAU,QAAA,EAAU,CAAC,IAAI,CAAC,CAAA;AAClE;AAGA,SAAS,cAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,GAAG,OAAA,CAAQ,UAAU,IAAA,EAAK;AAC7C,EAAA,MAAM,WAAA,GACJ,QAAQ,OAAA,CAAQ,SAAA,CAAU,kBAAkB,QAAA,EAAU,MAAA,EAAQ,QAAQ,CAAA,IAAK,QAAA;AAE7E,EAAA,OAAO,iBAAA;AAAA,IACL,WAAA;AAAA,IACA,MAAA;AAAA,IACA,sBAAA,CAAuB,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,KAAK;AAAA,GACtD;AACF;AASA,SAAS,aAAA,CAAc,OAAe,OAAA,EAAuC;AAC3E,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,EAAE,GAAA,EAAK,MAAA,EAAW,KAAA,EAAO,EAAE,UAAA,EAAY,KAAA,EAAO,WAAA,EAAa,KAAA,EAAM,EAAG,UAAA,EAAY,KAAA,EAAM;AAAA,EAC/F;AAEA,EAAA,MAAM,MAAM,MAAA,IAAU,KAAA,IAAS,KAAA,CAAM,IAAA,GAAO,MAAM,IAAA,GAAO,MAAA;AACzD,EAAA,MAAM,KAAA,GAAQ,mBAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,EAAA,OAAO,EAAE,KAAK,KAAA,EAAO,UAAA,EAAY,aAAa,KAAA,IAAS,KAAA,CAAM,YAAY,MAAA,EAAU;AACrF;AAEA,SAAS,kBAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACS;AACT,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,iBAAA,GACJ,KAAA,CAAM,UAAA,IACN,OAAA,CAAQ,kBAAA,IACR,CAAC,eAAA,CAAgB,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,OAAA,CAAQ,KAAK,CAAA;AACvD,EAAA,MAAM,UAAA,GACJ,MAAA,CAAO,QAAA,EAAU,QAAA,CAAS,GAAG,KAC5B,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IAC1C,iBAAA;AACF,EAAA,OAAO,CAAC,UAAA;AACV;AAEA,SAAS,UAAA,CAAW,KAAA,EAAe,KAAA,EAAsB,OAAA,EAAiC;AACxF,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,EAAmB;AAC9C,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,MAAM,GAAA,GAAM,OAAA,CAAQ,QAAQ,IAAA,CAAK,OAAA,CAAQ,KAAA,CAAM,GAAG,CAAA,GAAI,KAAA;AACvE,EAAA,OAAO,OAAA,CAAS,UAAuC,UAAU,CAAA;AACnE;AASA,SAAS,QAAA,CAAS,EAAE,GAAA,EAAI,EAAkB,OAAe,OAAA,EAAwB;AAC/E,EAAA,MAAM,UAAU,GAAA,IAAO,sBAAA,CAAuB,KAAA,EAAuB,OAAA,CAAQ,QAAQ,OAAO,CAAA;AAC5F,EAAA,OAAO,UAAU,MAAA,GAAY,GAAA;AAC/B;AAEA,SAAS,YAAA,CACP,GAAA,EACA,KAAA,EACA,KAAA,EACA,OAAA,EACc;AACd,EAAA,MAAM,OAAO,aAAA,CAAc,OAAA,CAAQ,SAAS,IAAA,EAAM,CAAC,GAAG,CAAC,CAAA;AACvD,EAAA,MAAM,GAAA,GAAM,QAAA,CAAS,KAAA,EAAO,KAAA,EAAO,OAAO,CAAA;AAC1C,EAAA,MAAM,IAAA,GAAO,GAAA,GACT,aAAA,CAAc,GAAA,EAAK,OAAO,CAAA,GAC1B,OAAA,CAAQ,eAAA,CAAgB,KAAA,EAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAChE,EAAA,MAAM,SAAS,OAAA,CAAQ,OAAA,CAAQ,UAAU,SAAA,CAAU,KAAA,EAAO,QAAQ,QAAQ,CAAA;AAC1E,EAAA,OAAO,MAAA,KAAW,IAAA,GACd,EAAE,IAAA,EAAM,YAAY,IAAA,EAAK,GACzB,EAAE,IAAA,EAAM,MAAA,CAAO,IAAA,EAAM,UAAA,EAAY,MAAA,CAAO,cAAc,IAAA,EAAK;AACjE;AAEA,SAAS,cAAA,CACP,GAAA,EACA,KAAA,EACA,MAAA,EACA,OAAA,EACiB;AACjB,EAAA,IAAK,OAAO,UAAU,QAAA,IAAY,OAAO,UAAU,SAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACrF,IAAA,MAAM,IAAI,oBAAA,CAAqB,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,KAAK,KAAK,CAAA;AAAA,EAClE;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA;AAC1C,EAAA,IAAI,UAAA,CAAW,KAAA,EAAO,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACjE,EAAA,MAAM,MAAA,GAAS,YAAA,CAAa,GAAA,EAAK,KAAA,EAAO,OAAO,OAAO,CAAA;AACtD,EAAA,MAAM,QAAA,GAAW,UAAA;AAAA,IACf,eAAe,GAAG,CAAA;AAAA,IAClB,mBAAA,CAAoB,MAAA,CAAO,IAAA,EAAM,KAAA,CAAM,OAAO,OAAO,CAAA;AAAA,IACrD;AAAA,MACE,UAAA,EAAY,OAAO,UAAA,IAAc,UAAA;AAAA,MACjC,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,gBAAA,IAAoB,MAAM,KAAA,CAAM;AAAA;AAC7E,GACF;AACA,EAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAO,aAAA,CAAc,OAAA,CAAQ,QAAA,CAAS,IAAA,EAAM,CAAC,GAAG,CAAC,CAAA,EAAG,OAAO,CAAA;AAC7F;AAEA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAoC;AACjF,EAAA,MAAM,UAAsB,EAAC;AAC7B,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,KAAK,CAAA,IAAK,eAAA,CAAgB,MAAA,CAAO,UAAA,IAAc,EAAC,EAAG,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC5F,IAAA,MAAM,MAAA,GAAS,cAAA,CAAe,GAAA,EAAK,KAAA,EAAO,QAAQ,OAAO,CAAA;AACzD,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,OAAA;AACT;AAOA,SAAS,UAAA,CACP,MACA,OAAA,EACU;AACV,EAAA,MAAM,EAAE,OAAA,EAAQ,GAAI,OAAA,CAAQ,OAAA;AAC5B,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,IAAI,CAAA,CAAE,IAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AACzD,IAAA,MAAM,IAAA,GAAO,cAAc,OAAA,CAAQ,QAAA,CAAS,MAAM,CAAC,OAAA,EAAS,GAAG,CAAC,CAAA;AAChE,IAAA,MAAM,KAAA,GAAQ,mBAAA,CAAoB,KAAA,EAAO,OAAA,CAAQ,OAAO,CAAA;AACxD,IAAA,MAAM,IAAA,GAAO,mBAAA;AAAA,MACX,OAAA,CAAQ,gBAAgB,KAAA,EAAO,EAAE,GAAG,OAAA,CAAQ,QAAA,EAAU,MAAM,CAAA;AAAA,MAC5D,KAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,MAAM,QAAA,GAAW,UAAA,CAAW,cAAA,CAAe,GAAG,GAAG,IAAA,EAAM;AAAA,MACrD,YAAY,OAAA,CAAQ,SAAA,IAAc,CAAC,OAAA,CAAQ,oBAAoB,KAAA,CAAM;AAAA,KACtE,CAAA;AACD,IAAA,OAAO,cAAA,CAAe,QAAA,EAAU,KAAA,EAAO,IAAA,EAAM,OAAO,CAAA;AAAA,EACtD,CAAC,CAAA;AACD,EAAA,OAAO,UAAA,CAAW,cAAA,CAAe,OAAO,CAAA,EAAG,QAAA,CAAS,OAAO,CAAA,EAAG,EAAE,UAAA,EAAY,IAAA,EAAM,CAAA;AACpF;AAEA,SAAS,kBAAkB,MAAA,EAA+B;AACxD,EAAA,MAAM,aAAA,GAAgB,QAAQ,MAAA,CAAO,UAAA,IAAc,OAAO,IAAA,CAAK,MAAA,CAAO,UAAU,CAAA,CAAE,MAAM,CAAA;AACxF,EAAA,OACE,iBACA,OAAA,CAAQ,MAAA,CAAO,wBAAwB,MAAA,CAAO,iBAAA,IAAqB,OAAO,KAAK,CAAA;AAEnF;AAGA,SAAS,eAAA,CAAgB,QAAsB,OAAA,EAAkC;AAC/E,EAAA,MAAM,EAAE,sBAAqB,GAAI,MAAA;AACjC,EAAA,MAAM,QAAA,GAAW,OAAO,oBAAA,KAAyB,QAAA;AACjD,EAAA,MAAM,cAAc,QAAA,IAAY,MAAA,CAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,GAAS,CAAA;AAC3E,EAAA,MAAM,WAAA,GACJ,yBAAyB,IAAA,IAAS,QAAA,IAAY,OAAO,IAAA,CAAK,oBAAoB,EAAE,MAAA,KAAW,CAAA;AAC7F,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,IAAI,WAAA,EAAa;AACf,IAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,sBAAgC,OAAA,CAAQ,QAAA,EAAU,IAAI,CAAC,CAAA;AAAA,EAC5F;AACA,EAAA,IAAI,eAAgB,CAAC,oBAAA,IAAwB,OAAA,CAAQ,OAAA,CAAQ,QAAQ,oBAAA,EAAuB;AAC1F,IAAA,KAAA,CAAM,KAAK,YAAY,CAAA;AAAA,EACzB;AACA,EAAA,MAAM,WAAW,MAAA,CAAO,iBAAA;AACxB,EAAA,IAAI,OAAO,QAAA,KAAa,QAAA,IAAY,QAAA,KAAa,IAAA,IAAQ,OAAO,IAAA,CAAK,QAAQ,CAAA,CAAE,MAAA,GAAS,CAAA,EAAG;AACzF,IAAA,KAAA,MAAW,GAAG,KAAK,CAAA,IAAK,gBAAgB,QAAA,EAAU,OAAA,CAAQ,OAAA,CAAQ,OAAO,CAAA,EAAG;AAC1E,MAAA,KAAA,CAAM,KAAK,OAAA,CAAQ,eAAA,CAAgB,KAAA,EAAO,OAAA,CAAQ,QAAQ,CAAC,CAAA;AAAA,IAC7D;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,cAAA,CAAe,MAAA,EAAsB,GAAA,EAAa,OAAA,EAAiC;AACjG,EAAA,MAAM,UAAA,GAAa,MAAA,CAAO,UAAA,IAAc,EAAC;AACzC,EAAA,IAAI,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AACnC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,WAAW,GAAG,CAAA;AAC5B,EAAA,MAAM,eAAe,OAAA,CAAQ,OAAA,CAAQ,OAAA,CAAQ,iBAAA,IAAqB,OAAO,KAAA,KAAU,QAAA;AACnF,EAAA,OAAO,CAAC,gBAAgB,CAAC,UAAA,CAAW,OAAO,aAAA,CAAc,KAAA,EAAO,OAAO,CAAA,EAAG,OAAO,CAAA;AACnF;AAQA,SAAS,+BAAA,CAAgC,QAAsB,OAAA,EAAoC;AACjG,EAAA,MAAM,SAAA,GAAY,sBAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,OAAO,eAAA,CAAgB,QAAQ,OAAO,CAAA;AAAA,EACxC;AACA,EAAA,MAAM,IAAA,GAAO,UAAU,aAAA,CAAc,YAAA;AACrC,EAAA,IAAI,CAAC,cAAA,CAAe,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,CAAC,oBAAoB,SAAA,EAAW,OAAO,GAAG,GAAG,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAC,CAAA;AAAA,EACtF;AAGA,EAAA,MAAM,gBACJ,MAAA,CAAO,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,QAAQ,OAAA,CAAQ,2BAAA;AAC3D,EAAA,MAAM,QAAA,GAAW,gBAAgB,MAAA,GAAY,CAAC,GAAI,MAAA,CAAO,QAAA,IAAY,EAAC,EAAI,IAAI,CAAA;AAC9E,EAAA,OAAO,gBAAgB,EAAE,GAAG,MAAA,EAAQ,QAAA,IAA4B,OAAO,CAAA;AACzE;AAOO,SAAS,UAAA,CAAW,QAAsB,OAAA,EAAuC;AACtF,EAAA,IAAI,CAAC,iBAAA,CAAkB,MAAM,CAAA,EAAG;AAC9B,IAAA,MAAM,SAAA,GAAY,sBAAA,CAAuB,MAAA,EAAQ,OAAO,CAAA;AACxD,IAAA,OAAO,SAAA,GAAY,SAAS,CAAC,mBAAA,CAAoB,WAAW,OAAO,CAAC,CAAC,CAAA,GAAI,IAAA;AAAA,EAC3E;AACA,EAAA,MAAM,OAAA,GAAU,+BAAA,CAAgC,MAAA,EAAQ,OAAO,CAAA;AAC/D,EAAA,MAAM,gBAAgB,OAAA,CAAQ,OAAA;AAAA,IAAQ,CAAC,WACrC,MAAA,CAAO,IAAA,KAAS,aAAa,CAAC,MAAA,CAAO,IAAI,CAAA,GAAI;AAAC,GAChD;AAEA,EAAA,IACE,OAAA,IAAW,MAAA,IACX,OAAO,MAAA,CAAO,KAAA,KAAU,QAAA,IACxB,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,KAAK,CAAA,CAAE,MAAA,GAAS,CAAA,EACnC;AACA,IAAA,OAAA,CAAQ,IAAA,CAAK,UAAA,CAAW,MAAA,CAAO,KAAA,EAAO,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,MAAM,UAAA,GAAa,eAAA,CAAgB,MAAA,EAAQ,OAAO,CAAA;AAClD,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAAI,QAAA,CAAS,OAAO,CAAA,GAAI,IAAA;AAAA,EAClD;AACA,EAAA,MAAM,SAAA,GAAY,iBAAA,CAAkB,OAAA,CAAQ,UAAU,GAAG,aAAa,CAAA;AACtE,EAAA,MAAM,QAAQ,QAAA,CAAS;AAAA,IACrB,uBAAuB,KAAA,EAAO,SAAA,EAAW,OAAA,CAAQ,OAAA,CAAQ,QAAQ,SAAS;AAAA,GAC3E,CAAA;AACD,EAAA,OAAO,cAAA,CAAe,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAAC,QAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,KAAK,CAAC,CAAA;AACnF;;"}

package/dist/application/transform/schema/ref-siblings.cjs

@@ -0,0 +1,47 @@
+'use strict';
+
+const schemaDialect = require('../../../domain/openapi/schema-dialect.cjs');
+const outputFixes = require('../../../domain/output-fixes.cjs');
+
+const ANNOTATION_KEYWORDS = /* @__PURE__ */ new Set([
+  "$anchor",
+  "$comment",
+  "$defs",
+  "$dynamicAnchor",
+  "$id",
+  "$ref",
+  "$schema",
+  "contentEncoding",
+  "contentMediaType",
+  "default",
+  "deprecated",
+  "description",
+  "discriminator",
+  "example",
+  "examples",
+  "externalDocs",
+  "format",
+  "readOnly",
+  "title",
+  "writeOnly",
+  "xml"
+]);
+const EXTENSION_PREFIX = "x-";
+function hasRef(schema) {
+  return typeof schema.$ref === "string";
+}
+function isTypeKeyword(keyword) {
+  return !ANNOTATION_KEYWORDS.has(keyword) && !keyword.startsWith(EXTENSION_PREFIX);
+}
+function refWithSiblingsAsAllOf(schema, options) {
+  const isApplied = options.fixes.has(outputFixes.FIX.REF_SIBLINGS) && options.schemaDialect === schemaDialect.SCHEMA_DIALECTS.JSON_SCHEMA_2020_12;
+  if (!isApplied || !hasRef(schema) || !Object.keys(schema).some(isTypeKeyword)) {
+    return null;
+  }
+  const { $ref, allOf = [], ...siblings } = schema;
+  const members = [{ $ref }, ...allOf];
+  return { ...siblings, allOf: members };
+}
+
+exports.refWithSiblingsAsAllOf = refWithSiblingsAsAllOf;
+//# sourceMappingURL=ref-siblings.cjs.map

package/dist/application/transform/schema/ref-siblings.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-siblings.cjs","sources":["../../../../src/application/transform/schema/ref-siblings.ts"],"sourcesContent":["import { SCHEMA_DIALECTS } from \"../../../domain/openapi/schema-dialect.js\";\nimport type {\n  ReferenceSchema,\n  Schema,\n  SchemaObject,\n} from \"../../../domain/openapi/schema-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaOptions } from \"./schema-context.js\";\n\n/**\n * The `ref-siblings` fix (ADR-021 amendment 2, RC4 G16): in JSON Schema 2020-12 (OpenAPI 3.1 and\n * 3.2) the keywords next to a `$ref` apply too, so `{ $ref: Base, required: [extra], properties:\n * { extra } }` is a `Base` that also has a required `extra`. That is what `allOf: [{ $ref: Base }]`\n * next to the same keywords means, so the schema is typed as that `allOf`, with every rule the\n * generator has for `allOf` and its siblings (`WithRequired`, intersections).\n */\n\n/**\n * Keywords that only annotate (JSON Schema 2020-12 meta-data, format-annotation and content\n * vocabularies, OpenAPI fixed fields), or that change no type on their own (`discriminator`\n * without `oneOf`). Next to a `$ref` they stay where they were, so the output keeps the plain\n * reference with its comment. Extension keywords (`x-…`) count as annotations too.\n */\nconst ANNOTATION_KEYWORDS: ReadonlySet<string> = new Set([\n  \"$anchor\",\n  \"$comment\",\n  \"$defs\",\n  \"$dynamicAnchor\",\n  \"$id\",\n  \"$ref\",\n  \"$schema\",\n  \"contentEncoding\",\n  \"contentMediaType\",\n  \"default\",\n  \"deprecated\",\n  \"description\",\n  \"discriminator\",\n  \"example\",\n  \"examples\",\n  \"externalDocs\",\n  \"format\",\n  \"readOnly\",\n  \"title\",\n  \"writeOnly\",\n  \"xml\",\n]);\n\nconst EXTENSION_PREFIX = \"x-\";\n\nfunction hasRef(schema: SchemaObject): schema is SchemaObject & ReferenceSchema {\n  return typeof (schema as Partial<ReferenceSchema>).$ref === \"string\";\n}\n\nfunction isTypeKeyword(keyword: string): boolean {\n  return !ANNOTATION_KEYWORDS.has(keyword) && !keyword.startsWith(EXTENSION_PREFIX);\n}\n\n/**\n * A `$ref` schema as the `allOf` it means, or null where nothing changes: a schema without `$ref`,\n * no fix, an OpenAPI 3.0 document, or no sibling that changes the type. The result has no\n * `$ref`, so the shape rules type it as `enum`, `const` or a composition.\n */\nexport function refWithSiblingsAsAllOf(\n  schema: SchemaObject,\n  options: SchemaOptions,\n): SchemaObject | null {\n  const isApplied =\n    options.fixes.has(FIX.REF_SIBLINGS) &&\n    options.schemaDialect === SCHEMA_DIALECTS.JSON_SCHEMA_2020_12;\n  if (!isApplied || !hasRef(schema) || !Object.keys(schema).some(isTypeKeyword)) {\n    return null;\n  }\n  const { $ref, allOf = [], ...siblings } = schema;\n  const members: readonly Schema[] = [{ $ref }, ...allOf];\n  return { ...siblings, allOf: members };\n}\n"],"names":["FIX","SCHEMA_DIALECTS"],"mappings":";;;;;AAuBA,MAAM,mBAAA,uBAA+C,GAAA,CAAI;AAAA,EACvD,SAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,gBAAA;AAAA,EACA,KAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,iBAAA;AAAA,EACA,kBAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,aAAA;AAAA,EACA,eAAA;AAAA,EACA,SAAA;AAAA,EACA,UAAA;AAAA,EACA,cAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,gBAAA,GAAmB,IAAA;AAEzB,SAAS,OAAO,MAAA,EAAgE;AAC9E,EAAA,OAAO,OAAQ,OAAoC,IAAA,KAAS,QAAA;AAC9D;AAEA,SAAS,cAAc,OAAA,EAA0B;AAC/C,EAAA,OAAO,CAAC,oBAAoB,GAAA,CAAI,OAAO,KAAK,CAAC,OAAA,CAAQ,WAAW,gBAAgB,CAAA;AAClF;AAOO,SAAS,sBAAA,CACd,QACA,OAAA,EACqB;AACrB,EAAA,MAAM,SAAA,GACJ,QAAQ,KAAA,CAAM,GAAA,CAAIA,gBAAI,YAAY,CAAA,IAClC,OAAA,CAAQ,aAAA,KAAkBC,6BAAA,CAAgB,mBAAA;AAC5C,EAAA,IAAI,CAAC,SAAA,IAAa,CAAC,MAAA,CAAO,MAAM,CAAA,IAAK,CAAC,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,IAAA,CAAK,aAAa,CAAA,EAAG;AAC7E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,IAAA,EAAM,KAAA,GAAQ,EAAC,EAAG,GAAG,UAAS,GAAI,MAAA;AAC1C,EAAA,MAAM,UAA6B,CAAC,EAAE,IAAA,EAAK,EAAG,GAAG,KAAK,CAAA;AACtD,EAAA,OAAO,EAAE,GAAG,QAAA,EAAU,KAAA,EAAO,OAAA,EAAQ;AACvC;;"}

package/dist/application/transform/schema/ref-siblings.mjs

@@ -0,0 +1,45 @@
+import { SCHEMA_DIALECTS } from '../../../domain/openapi/schema-dialect.mjs';
+import { FIX } from '../../../domain/output-fixes.mjs';
+
+const ANNOTATION_KEYWORDS = /* @__PURE__ */ new Set([
+  "$anchor",
+  "$comment",
+  "$defs",
+  "$dynamicAnchor",
+  "$id",
+  "$ref",
+  "$schema",
+  "contentEncoding",
+  "contentMediaType",
+  "default",
+  "deprecated",
+  "description",
+  "discriminator",
+  "example",
+  "examples",
+  "externalDocs",
+  "format",
+  "readOnly",
+  "title",
+  "writeOnly",
+  "xml"
+]);
+const EXTENSION_PREFIX = "x-";
+function hasRef(schema) {
+  return typeof schema.$ref === "string";
+}
+function isTypeKeyword(keyword) {
+  return !ANNOTATION_KEYWORDS.has(keyword) && !keyword.startsWith(EXTENSION_PREFIX);
+}
+function refWithSiblingsAsAllOf(schema, options) {
+  const isApplied = options.fixes.has(FIX.REF_SIBLINGS) && options.schemaDialect === SCHEMA_DIALECTS.JSON_SCHEMA_2020_12;
+  if (!isApplied || !hasRef(schema) || !Object.keys(schema).some(isTypeKeyword)) {
+    return null;
+  }
+  const { $ref, allOf = [], ...siblings } = schema;
+  const members = [{ $ref }, ...allOf];
+  return { ...siblings, allOf: members };
+}
+
+export { refWithSiblingsAsAllOf };
+//# sourceMappingURL=ref-siblings.mjs.map

package/dist/application/transform/schema/ref-siblings.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-siblings.mjs","sources":["../../../../src/application/transform/schema/ref-siblings.ts"],"sourcesContent":["import { SCHEMA_DIALECTS } from \"../../../domain/openapi/schema-dialect.js\";\nimport type {\n  ReferenceSchema,\n  Schema,\n  SchemaObject,\n} from \"../../../domain/openapi/schema-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaOptions } from \"./schema-context.js\";\n\n/**\n * The `ref-siblings` fix (ADR-021 amendment 2, RC4 G16): in JSON Schema 2020-12 (OpenAPI 3.1 and\n * 3.2) the keywords next to a `$ref` apply too, so `{ $ref: Base, required: [extra], properties:\n * { extra } }` is a `Base` that also has a required `extra`. That is what `allOf: [{ $ref: Base }]`\n * next to the same keywords means, so the schema is typed as that `allOf`, with every rule the\n * generator has for `allOf` and its siblings (`WithRequired`, intersections).\n */\n\n/**\n * Keywords that only annotate (JSON Schema 2020-12 meta-data, format-annotation and content\n * vocabularies, OpenAPI fixed fields), or that change no type on their own (`discriminator`\n * without `oneOf`). Next to a `$ref` they stay where they were, so the output keeps the plain\n * reference with its comment. Extension keywords (`x-…`) count as annotations too.\n */\nconst ANNOTATION_KEYWORDS: ReadonlySet<string> = new Set([\n  \"$anchor\",\n  \"$comment\",\n  \"$defs\",\n  \"$dynamicAnchor\",\n  \"$id\",\n  \"$ref\",\n  \"$schema\",\n  \"contentEncoding\",\n  \"contentMediaType\",\n  \"default\",\n  \"deprecated\",\n  \"description\",\n  \"discriminator\",\n  \"example\",\n  \"examples\",\n  \"externalDocs\",\n  \"format\",\n  \"readOnly\",\n  \"title\",\n  \"writeOnly\",\n  \"xml\",\n]);\n\nconst EXTENSION_PREFIX = \"x-\";\n\nfunction hasRef(schema: SchemaObject): schema is SchemaObject & ReferenceSchema {\n  return typeof (schema as Partial<ReferenceSchema>).$ref === \"string\";\n}\n\nfunction isTypeKeyword(keyword: string): boolean {\n  return !ANNOTATION_KEYWORDS.has(keyword) && !keyword.startsWith(EXTENSION_PREFIX);\n}\n\n/**\n * A `$ref` schema as the `allOf` it means, or null where nothing changes: a schema without `$ref`,\n * no fix, an OpenAPI 3.0 document, or no sibling that changes the type. The result has no\n * `$ref`, so the shape rules type it as `enum`, `const` or a composition.\n */\nexport function refWithSiblingsAsAllOf(\n  schema: SchemaObject,\n  options: SchemaOptions,\n): SchemaObject | null {\n  const isApplied =\n    options.fixes.has(FIX.REF_SIBLINGS) &&\n    options.schemaDialect === SCHEMA_DIALECTS.JSON_SCHEMA_2020_12;\n  if (!isApplied || !hasRef(schema) || !Object.keys(schema).some(isTypeKeyword)) {\n    return null;\n  }\n  const { $ref, allOf = [], ...siblings } = schema;\n  const members: readonly Schema[] = [{ $ref }, ...allOf];\n  return { ...siblings, allOf: members };\n}\n"],"names":[],"mappings":";;;AAuBA,MAAM,mBAAA,uBAA+C,GAAA,CAAI;AAAA,EACvD,SAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,gBAAA;AAAA,EACA,KAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,iBAAA;AAAA,EACA,kBAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,aAAA;AAAA,EACA,eAAA;AAAA,EACA,SAAA;AAAA,EACA,UAAA;AAAA,EACA,cAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,gBAAA,GAAmB,IAAA;AAEzB,SAAS,OAAO,MAAA,EAAgE;AAC9E,EAAA,OAAO,OAAQ,OAAoC,IAAA,KAAS,QAAA;AAC9D;AAEA,SAAS,cAAc,OAAA,EAA0B;AAC/C,EAAA,OAAO,CAAC,oBAAoB,GAAA,CAAI,OAAO,KAAK,CAAC,OAAA,CAAQ,WAAW,gBAAgB,CAAA;AAClF;AAOO,SAAS,sBAAA,CACd,QACA,OAAA,EACqB;AACrB,EAAA,MAAM,SAAA,GACJ,QAAQ,KAAA,CAAM,GAAA,CAAI,IAAI,YAAY,CAAA,IAClC,OAAA,CAAQ,aAAA,KAAkB,eAAA,CAAgB,mBAAA;AAC5C,EAAA,IAAI,CAAC,SAAA,IAAa,CAAC,MAAA,CAAO,MAAM,CAAA,IAAK,CAAC,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,IAAA,CAAK,aAAa,CAAA,EAAG;AAC7E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,IAAA,EAAM,KAAA,GAAQ,EAAC,EAAG,GAAG,UAAS,GAAI,MAAA;AAC1C,EAAA,MAAM,UAA6B,CAAC,EAAE,IAAA,EAAK,EAAG,GAAG,KAAK,CAAA;AACtD,EAAA,OAAO,EAAE,GAAG,QAAA,EAAU,KAAA,EAAO,OAAA,EAAQ;AACvC;;"}