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

package/dist/application/transform/ref-pointer/generated-shape.cjs

@@ -1,24 +1,14 @@
 'use strict';
 
 const binaryContent = require('../../../domain/openapi/binary-content.cjs');
+const locatedNode = require('./located-node.cjs');
+const propertyShape = require('./property-shape.cjs');
 
 const OPAQUE_KEYS = ["not", "enum", "const", "$ref"];
 const MAX_DEPTH = 8;
 const INDEX_RE = /^\d+$/;
 const MISSING = { kind: "missing" };
 const OPAQUE = { kind: "opaque" };
-function isJsonObject(value) {
-  return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-function followRefs(node, refs) {
-  return isJsonObject(node) && typeof node.$ref === "string" ? refs.resolve(node.$ref) : node;
-}
-function isNullableSchema(node) {
-  if (!isJsonObject(node)) {
-    return false;
-  }
-  return node.nullable === true || Array.isArray(node.type) && node.type.includes("null");
-}
 function typeNames(node) {
   return Array.isArray(node.type) ? node.type : [node.type];
 }
@@ -35,7 +25,7 @@ function isArrayShape(node) {
   return typeNames(node).includes("array") || "items" in node;
 }
 function hasObjectKeywords(node) {
-  const hasProperties = isJsonObject(node.properties) && Object.keys(node.properties).length > 0;
+  const hasProperties = locatedNode.isJsonObject(node.properties) && Object.keys(node.properties).length > 0;
   return hasProperties || Boolean(node.additionalProperties || node.patternProperties || node.$defs);
 }
 function emptyObjectMember(node, options) {
@@ -44,61 +34,57 @@ function emptyObjectMember(node, options) {
 function isBuiltInMember(key, prototype) {
   return key in prototype;
 }
-function indexMember(node, options) {
-  const { additionalProperties: values, patternProperties: patterns } = node;
-  if (isJsonObject(patterns) && Object.keys(patterns).length > 0) {
+function indexMember(owner, options) {
+  const { additionalProperties: values, patternProperties: patterns } = owner.node;
+  if (locatedNode.isJsonObject(patterns) && Object.keys(patterns).length > 0) {
     return OPAQUE;
   }
-  if (isJsonObject(values) && Object.keys(values).length > 0) {
-    return { kind: "index", node: values };
-  }
-  const isImplicit = values === true || isJsonObject(values) && Object.keys(values).length === 0;
-  return isImplicit || !values && options.additionalProperties ? { kind: "index", node: void 0 } : null;
-}
-function isOptionalProperty(node, key, options) {
-  const required = Array.isArray(node.required) ? node.required : void 0;
-  const property = node.properties[key];
-  const hasDefault = isJsonObject(property) && property.default !== void 0;
-  const isRequired = required?.includes(key) === true || required === void 0 && options.propertiesRequiredByDefault || hasDefault && options.defaultNonNullable;
-  return !isRequired;
-}
-function objectMember(node, key, options) {
-  const properties = isJsonObject(node.properties) ? node.properties : {};
-  if (Object.hasOwn(properties, key)) {
-    const property = properties[key];
-    const isExcluded = options.excludeDeprecated && isJsonObject(property) && property.deprecated;
-    return isExcluded || isJsonObject(node.discriminator) ? OPAQUE : { kind: "property", node: property, isOptional: isOptionalProperty(node, key, options) };
-  }
-  const isUnknownShape = isJsonObject(node.discriminator) || node.unevaluatedProperties !== void 0;
+  if (locatedNode.isJsonObject(values) && Object.keys(values).length > 0) {
+    const location = locatedNode.childLocation(owner.location, "additionalProperties");
+    return { kind: "index", node: values, location };
+  }
+  const isImplicit = values === true || locatedNode.isJsonObject(values) && Object.keys(values).length === 0;
+  return isImplicit || !values && options.additionalProperties ? { kind: "index", node: void 0, location: void 0 } : null;
+}
+function objectMember(owner, key, input) {
+  const { options } = input;
+  const { node } = owner;
+  const properties = locatedNode.isJsonObject(node.properties) ? node.properties : {};
+  if (Object.hasOwn(properties, key) && !propertyShape.isExcludedProperty(properties[key], options, input.refs)) {
+    if (locatedNode.isJsonObject(node.discriminator)) {
+      return OPAQUE;
+    }
+    const location = locatedNode.childLocation(owner.location, "properties", key);
+    const isOptional = propertyShape.isOptionalProperty(owner, key, options);
+    const isMarked = propertyShape.isMarkedProperty(properties[key], options, input.refs);
+    return { kind: "property", node: properties[key], location, isOptional, isMarked };
+  }
+  const isUnknownShape = locatedNode.isJsonObject(node.discriminator) || node.unevaluatedProperties !== void 0;
   if (isBuiltInMember(key, {}) || key === "$defs" || isUnknownShape) {
     return OPAQUE;
   }
-  return hasObjectKeywords(node) ? indexMember(node, options) ?? MISSING : emptyObjectMember(node, options);
-}
-function schemaPresence(schema, refs) {
-  return isNullableSchema(followRefs(schema, refs)) ? "absent" : "present";
-}
-function propertyPresence(schema, key, options, refs) {
-  const node = followRefs(schema, refs);
-  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};
-  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {
-    return "unknown";
-  }
-  return isOptionalProperty(node, key, options) ? "absent" : schemaPresence(properties[key], refs);
+  return hasObjectKeywords(node) ? indexMember(owner, options) ?? MISSING : emptyObjectMember(node, options);
 }
 function membersOf(node, keyword) {
   const members = node[keyword];
   return Array.isArray(members) ? members : [];
 }
+function locatedMembers(owner, keyword) {
+  return membersOf(owner.node, keyword).map((node, index) => ({
+    node,
+    location: locatedNode.childLocation(owner.location, keyword, String(index))
+  }));
+}
 function withoutComposition(node) {
   const { allOf: _allOf, anyOf: _anyOf, oneOf: _oneOf, ...own } = node;
   return own;
 }
 function hasOwnObjectType(own) {
-  return isObjectShape(own) && (hasObjectKeywords(own) || isJsonObject(own.discriminator));
+  return isObjectShape(own) && (hasObjectKeywords(own) || locatedNode.isJsonObject(own.discriminator));
 }
-function composedMember(node, key, input) {
-  const variants = [...membersOf(node, "anyOf"), ...membersOf(node, "oneOf")];
+function composedMember(owner, key, input) {
+  const { node } = owner;
+  const variants = [...locatedMembers(owner, "anyOf"), ...locatedMembers(owner, "oneOf")];
   const own = withoutComposition(node);
   const hasOwn = hasOwnObjectType(own);
   if (variants.length > 0) {
@@ -106,7 +92,8 @@ function composedMember(node, key, input) {
     const members = variants.map((variant) => memberAt(variant, key, input));
     return isAlone && members.some((member) => member.kind === "missing") ? MISSING : OPAQUE;
   }
-  const parts = [...membersOf(node, "allOf"), ...hasOwn ? [own] : []];
+  const ownPart = { node: own, location: owner.location };
+  const parts = [...locatedMembers(owner, "allOf"), ...hasOwn ? [ownPart] : []];
   return intersectionMember(parts.map((part) => memberAt(part, key, input)));
 }
 function isUnknownIndex(member) {
@@ -122,21 +109,20 @@ function intersectionMember(members) {
   return typed.length === 1 && only.kind !== "opaque" ? only : OPAQUE;
 }
 function memberAt(schema, key, input) {
-  const node = followRefs(schema, input.refs);
-  if (!isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {
+  const followed = locatedNode.followLocated(schema, input.refs);
+  const { node } = followed;
+  if (!locatedNode.isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {
     return OPAQUE;
   }
-  if (isNullableSchema(node)) {
+  const owner = { ...followed, node };
+  if (propertyShape.isNullableSchema(node)) {
     return isObjectShape(node) || isArrayShape(node) ? MISSING : OPAQUE;
   }
-  if (input.options.readWriteMarkers) {
-    return OPAQUE;
-  }
   if ("allOf" in node || "anyOf" in node || "oneOf" in node) {
-    return composedMember(node, key, { ...input, depth: input.depth + 1 });
+    return composedMember(owner, key, { ...input, depth: input.depth + 1 });
   }
   if (isObjectShape(node)) {
-    return objectMember(node, key, input.options);
+    return objectMember(owner, key, input);
   }
   if (isArrayShape(node)) {
     return INDEX_RE.test(key) || isBuiltInMember(key, []) ? OPAQUE : MISSING;
@@ -160,12 +146,7 @@ function generatedMember(schema, key, options, refs) {
   return memberAt(schema, key, { options, refs, depth: 0 });
 }
 
-exports.followRefs = followRefs;
 exports.generatedMember = generatedMember;
 exports.isArrayShape = isArrayShape;
-exports.isJsonObject = isJsonObject;
-exports.isNullableSchema = isNullableSchema;
 exports.isObjectShape = isObjectShape;
-exports.propertyPresence = propertyPresence;
-exports.schemaPresence = schemaPresence;
 //# sourceMappingURL=generated-shape.cjs.map

package/dist/application/transform/ref-pointer/generated-shape.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"generated-shape.cjs","sources":["../../../../src/application/transform/ref-pointer/generated-shape.ts"],"sourcesContent":["import { isRawBinarySchema } from \"../../../domain/openapi/binary-content.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\n\n/**\n * What the generated type of a schema has under a key, read from the schema itself. It answers the\n * question TypeScript answers when it checks `T[\"key\"]`, for the schema shapes where the answer is\n * sure; for every other shape it says `opaque`, so a caller never assumes an error that is not.\n */\n\nexport type GeneratedMember =\n  | { readonly kind: \"property\"; readonly node: unknown; readonly isOptional: boolean }\n  /** An index signature; `node` is undefined when its value type is `unknown`. */\n  | { readonly kind: \"index\"; readonly node: unknown }\n  | { readonly kind: \"missing\" }\n  | { readonly kind: \"opaque\" };\n\ntype JsonObject = Readonly<Record<string, unknown>>;\n\nconst OPAQUE_KEYS = [\"not\", \"enum\", \"const\", \"$ref\"] as const;\n/** How deep `allOf`/`anyOf`/`oneOf` members are read; deeper shapes count as opaque. */\nconst MAX_DEPTH = 8;\nconst INDEX_RE = /^\\d+$/;\nconst MISSING: GeneratedMember = { kind: \"missing\" };\nconst OPAQUE: GeneratedMember = { kind: \"opaque\" };\n\nexport function isJsonObject(value: unknown): value is JsonObject {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\n/** The schema a node stands for: a `$ref` is followed to its target. */\nexport function followRefs(node: unknown, refs: RefResolver): unknown {\n  return isJsonObject(node) && typeof node.$ref === \"string\" ? refs.resolve(node.$ref) : node;\n}\n\n/** `nullable: true` or a `type` list with `null`: the generated type includes `null`. */\nexport function isNullableSchema(node: unknown): boolean {\n  if (!isJsonObject(node)) {\n    return false;\n  }\n  return node.nullable === true || (Array.isArray(node.type) && node.type.includes(\"null\"));\n}\n\nfunction typeNames(node: JsonObject): readonly unknown[] {\n  return Array.isArray(node.type) ? node.type : [node.type];\n}\n\n/**\n * Whether the generated type is an object. One `type` name decides alone: `type: string` with\n * `properties` or `items` is `string`, as `coreType` matches the `type` before the keywords.\n */\nexport function isObjectShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"object\";\n  }\n  return (\n    typeNames(node).includes(\"object\") ||\n    \"properties\" in node ||\n    \"additionalProperties\" in node ||\n    \"patternProperties\" in node\n  );\n}\n\n/** Whether the generated type is an array; one `type` name decides alone (`isObjectShape`). */\nexport function isArrayShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"array\";\n  }\n  return typeNames(node).includes(\"array\") || \"items\" in node;\n}\n\n/** Whether `objectType` writes a type for the schema; the same test as there. */\nfunction hasObjectKeywords(node: JsonObject): boolean {\n  const hasProperties = isJsonObject(node.properties) && Object.keys(node.properties).length > 0;\n  return (\n    hasProperties || Boolean(node.additionalProperties || node.patternProperties || node.$defs)\n  );\n}\n\n/**\n * A key of an object schema without object keywords. With a `type` it is `Record<string, never>`:\n * every key is `never`, and so is every key after it (or `unknown` with `--empty-objects-unknown`,\n * which has no key). Without a `type` it is `unknown`.\n */\nfunction emptyObjectMember(node: JsonObject, options: SchemaOptions): GeneratedMember {\n  return node.type !== undefined && !options.emptyObjectsUnknown ? OPAQUE : MISSING;\n}\n\n/** Whether a key the object has no property for is still a member: `toString`, `length`, `0`. */\nfunction isBuiltInMember(key: string, prototype: object): boolean {\n  return key in prototype;\n}\n\nfunction indexMember(node: JsonObject, options: SchemaOptions): GeneratedMember | null {\n  const { additionalProperties: values, patternProperties: patterns } = node;\n  if (isJsonObject(patterns) && Object.keys(patterns).length > 0) {\n    return OPAQUE;\n  }\n  if (isJsonObject(values) && Object.keys(values).length > 0) {\n    return { kind: \"index\", node: values };\n  }\n  const isImplicit = values === true || (isJsonObject(values) && Object.keys(values).length === 0);\n  return isImplicit || (!values && options.additionalProperties)\n    ? { kind: \"index\", node: undefined }\n    : null;\n}\n\nfunction isOptionalProperty(node: JsonObject, key: string, options: SchemaOptions): boolean {\n  const required = Array.isArray(node.required) ? node.required : undefined;\n  const property = (node.properties as JsonObject)[key];\n  const hasDefault = isJsonObject(property) && property.default !== undefined;\n  const isRequired =\n    required?.includes(key) === true ||\n    (required === undefined && options.propertiesRequiredByDefault) ||\n    (hasDefault && options.defaultNonNullable);\n  return !isRequired;\n}\n\nfunction objectMember(node: JsonObject, key: string, options: SchemaOptions): GeneratedMember {\n  const properties = isJsonObject(node.properties) ? node.properties : {};\n  if (Object.hasOwn(properties, key)) {\n    const property = properties[key];\n    const isExcluded = options.excludeDeprecated && isJsonObject(property) && property.deprecated;\n    return isExcluded || isJsonObject(node.discriminator)\n      ? OPAQUE\n      : { kind: \"property\", node: property, isOptional: isOptionalProperty(node, key, options) };\n  }\n  // `unevaluatedProperties` adds an index signature with its fix, so it counts as opaque too.\n  const isUnknownShape =\n    isJsonObject(node.discriminator) || node.unevaluatedProperties !== undefined;\n  if (isBuiltInMember(key, {}) || key === \"$defs\" || isUnknownShape) {\n    return OPAQUE;\n  }\n  return hasObjectKeywords(node)\n    ? (indexMember(node, options) ?? MISSING)\n    : emptyObjectMember(node, options);\n}\n\n/** Whether a value is there: `present`, `absent` (may be `undefined` or `null`) or `unknown`. */\nexport type Presence = \"present\" | \"absent\" | \"unknown\";\n\n/** The presence of a value of `schema` itself: `absent` when its type includes `null`. */\nexport function schemaPresence(schema: unknown, refs: RefResolver): Presence {\n  return isNullableSchema(followRefs(schema, refs)) ? \"absent\" : \"present\";\n}\n\n/** The presence of property `key` of `schema`: optional or nullable is `absent`. */\nexport function propertyPresence(\n  schema: unknown,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): Presence {\n  const node = followRefs(schema, refs);\n  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};\n  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {\n    return \"unknown\";\n  }\n  return isOptionalProperty(node, key, options) ? \"absent\" : schemaPresence(properties[key], refs);\n}\n\nfunction membersOf(node: JsonObject, keyword: string): readonly unknown[] {\n  const members = node[keyword];\n  return Array.isArray(members) ? members : [];\n}\n\nfunction withoutComposition(node: JsonObject): JsonObject {\n  const { allOf: _allOf, anyOf: _anyOf, oneOf: _oneOf, ...own } = node;\n  return own;\n}\n\n/** Own keywords without an object type of their own (`properties: {}`) add no part. */\nfunction hasOwnObjectType(own: JsonObject): boolean {\n  return isObjectShape(own) && (hasObjectKeywords(own) || isJsonObject(own.discriminator));\n}\n\n/**\n * `allOf` with own keywords is an intersection (`intersectionMember`).\n * `anyOf` or `oneOf` alone is a union: a key is missing if one member misses it. A mix of both\n * is written in more than one way (`anyof-properties`), so it counts as opaque.\n */\nfunction composedMember(node: JsonObject, key: string, input: MemberInput): GeneratedMember {\n  const variants = [...membersOf(node, \"anyOf\"), ...membersOf(node, \"oneOf\")];\n  const own = withoutComposition(node);\n  const hasOwn = hasOwnObjectType(own);\n  if (variants.length > 0) {\n    const isAlone = membersOf(node, \"allOf\").length === 0 && !hasOwn;\n    const members = variants.map((variant) => memberAt(variant, key, input));\n    return isAlone && members.some((member) => member.kind === \"missing\") ? MISSING : OPAQUE;\n  }\n  const parts = [...membersOf(node, \"allOf\"), ...(hasOwn ? [own] : [])];\n  return intersectionMember(parts.map((part) => memberAt(part, key, input)));\n}\n\nfunction isUnknownIndex(member: GeneratedMember): boolean {\n  return member.kind === \"index\" && member.node === undefined;\n}\n\n/**\n * A key of an intersection: missing if every part misses it; the part's member if only one part\n * has it (`A & B` where `B` has no such key and no index signature); else opaque. A part's\n * `[key: string]: unknown` adds nothing (`unknown & T` is `T`), and only such parts give `unknown`.\n */\nfunction intersectionMember(members: readonly GeneratedMember[]): GeneratedMember {\n  const found = members.filter((member) => member.kind !== \"missing\");\n  const typed = found.filter((member) => !isUnknownIndex(member));\n  const [only] = typed;\n  if (only === undefined) {\n    return found[0] ?? MISSING;\n  }\n  return typed.length === 1 && only.kind !== \"opaque\" ? only : OPAQUE;\n}\n\ninterface MemberInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n  readonly depth: number;\n}\n\nfunction memberAt(schema: unknown, key: string, input: MemberInput): GeneratedMember {\n  const node = followRefs(schema, input.refs);\n  if (!isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {\n    return OPAQUE;\n  }\n  if (isNullableSchema(node)) {\n    // Every key of `T | null` is an error, unless `T` is unknown (then the type is `unknown`).\n    return isObjectShape(node) || isArrayShape(node) ? MISSING : OPAQUE;\n  }\n  if (input.options.readWriteMarkers) {\n    return OPAQUE;\n  }\n  if (\"allOf\" in node || \"anyOf\" in node || \"oneOf\" in node) {\n    return composedMember(node, key, { ...input, depth: input.depth + 1 });\n  }\n  if (isObjectShape(node)) {\n    return objectMember(node, key, input.options);\n  }\n  if (isArrayShape(node)) {\n    return INDEX_RE.test(key) || isBuiltInMember(key, []) ? OPAQUE : MISSING;\n  }\n  // `--binary-as-blob` types raw binary strings as `Blob`, which has members of its own.\n  return input.options.binaryAsBlob && isRawBinarySchema(node as never)\n    ? OPAQUE\n    : primitiveMember(node, key);\n}\n\n/** The JavaScript value whose members a primitive `type` has: `\"\".length`, `(0).toFixed`. */\nconst PRIMITIVE_PROTOTYPES: Readonly<Record<string, object>> = {\n  string: String.prototype,\n  number: Number.prototype,\n  integer: Number.prototype,\n  boolean: Boolean.prototype,\n};\n\n/**\n * A key of a schema with one primitive `type`: missing unless the primitive has it. Object and\n * array keywords next to that `type` do not change the type (`isObjectShape`). Without a `type`\n * and object keywords the schema is `unknown` (`objectType` writes nothing), which has no keys.\n */\nfunction primitiveMember(node: JsonObject, key: string): GeneratedMember {\n  if (node.type === undefined) {\n    return hasObjectKeywords(node) ? OPAQUE : MISSING;\n  }\n  const prototype = typeof node.type === \"string\" ? PRIMITIVE_PROTOTYPES[node.type] : undefined;\n  return prototype !== undefined && !isBuiltInMember(key, prototype) ? MISSING : OPAQUE;\n}\n\n/** The member `key` of the type generated for `schema` (a `$ref` is followed first). */\nexport function generatedMember(\n  schema: unknown,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): GeneratedMember {\n  return memberAt(schema, key, { options, refs, depth: 0 });\n}\n"],"names":["isRawBinarySchema"],"mappings":";;;;AAkBA,MAAM,WAAA,GAAc,CAAC,KAAA,EAAO,MAAA,EAAQ,SAAS,MAAM,CAAA;AAEnD,MAAM,SAAA,GAAY,CAAA;AAClB,MAAM,QAAA,GAAW,OAAA;AACjB,MAAM,OAAA,GAA2B,EAAE,IAAA,EAAM,SAAA,EAAU;AACnD,MAAM,MAAA,GAA0B,EAAE,IAAA,EAAM,QAAA,EAAS;AAE1C,SAAS,aAAa,KAAA,EAAqC;AAChE,EAAA,OAAO,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,CAAC,KAAA,CAAM,QAAQ,KAAK,CAAA;AAC5E;AAGO,SAAS,UAAA,CAAW,MAAe,IAAA,EAA4B;AACpE,EAAA,OAAO,YAAA,CAAa,IAAI,CAAA,IAAK,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA;AACzF;AAGO,SAAS,iBAAiB,IAAA,EAAwB;AACvD,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,IAAA,IAAS,KAAA,CAAM,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA,IAAK,IAAA,CAAK,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA;AACzF;AAEA,SAAS,UAAU,IAAA,EAAsC;AACvD,EAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,IAAI,IAAI,IAAA,CAAK,IAAA,GAAO,CAAC,IAAA,CAAK,IAAI,CAAA;AAC1D;AAMO,SAAS,cAAc,IAAA,EAA2B;AACvD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,QAAA;AAAA,EACvB;AACA,EAAA,OACE,SAAA,CAAU,IAAI,CAAA,CAAE,QAAA,CAAS,QAAQ,KACjC,YAAA,IAAgB,IAAA,IAChB,sBAAA,IAA0B,IAAA,IAC1B,mBAAA,IAAuB,IAAA;AAE3B;AAGO,SAAS,aAAa,IAAA,EAA2B;AACtD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,OAAA;AAAA,EACvB;AACA,EAAA,OAAO,UAAU,IAAI,CAAA,CAAE,QAAA,CAAS,OAAO,KAAK,OAAA,IAAW,IAAA;AACzD;AAGA,SAAS,kBAAkB,IAAA,EAA2B;AACpD,EAAA,MAAM,aAAA,GAAgB,YAAA,CAAa,IAAA,CAAK,UAAU,CAAA,IAAK,OAAO,IAAA,CAAK,IAAA,CAAK,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAC7F,EAAA,OACE,iBAAiB,OAAA,CAAQ,IAAA,CAAK,wBAAwB,IAAA,CAAK,iBAAA,IAAqB,KAAK,KAAK,CAAA;AAE9F;AAOA,SAAS,iBAAA,CAAkB,MAAkB,OAAA,EAAyC;AACpF,EAAA,OAAO,KAAK,IAAA,KAAS,MAAA,IAAa,CAAC,OAAA,CAAQ,sBAAsB,MAAA,GAAS,OAAA;AAC5E;AAGA,SAAS,eAAA,CAAgB,KAAa,SAAA,EAA4B;AAChE,EAAA,OAAO,GAAA,IAAO,SAAA;AAChB;AAEA,SAAS,WAAA,CAAY,MAAkB,OAAA,EAAgD;AACrF,EAAA,MAAM,EAAE,oBAAA,EAAsB,MAAA,EAAQ,iBAAA,EAAmB,UAAS,GAAI,IAAA;AACtE,EAAA,IAAI,YAAA,CAAa,QAAQ,CAAA,IAAK,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAE,SAAS,CAAA,EAAG;AAC9D,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,YAAA,CAAa,MAAM,CAAA,IAAK,MAAA,CAAO,KAAK,MAAM,CAAA,CAAE,SAAS,CAAA,EAAG;AAC1D,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,MAAA,EAAO;AAAA,EACvC;AACA,EAAA,MAAM,UAAA,GAAa,MAAA,KAAW,IAAA,IAAS,YAAA,CAAa,MAAM,KAAK,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA,KAAW,CAAA;AAC9F,EAAA,OAAO,UAAA,IAAe,CAAC,MAAA,IAAU,OAAA,CAAQ,oBAAA,GACrC,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,MAAA,EAAU,GACjC,IAAA;AACN;AAEA,SAAS,kBAAA,CAAmB,IAAA,EAAkB,GAAA,EAAa,OAAA,EAAiC;AAC1F,EAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,QAAQ,CAAA,GAAI,KAAK,QAAA,GAAW,MAAA;AAChE,EAAA,MAAM,QAAA,GAAY,IAAA,CAAK,UAAA,CAA0B,GAAG,CAAA;AACpD,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,QAAQ,CAAA,IAAK,SAAS,OAAA,KAAY,MAAA;AAClE,EAAA,MAAM,UAAA,GACJ,QAAA,EAAU,QAAA,CAAS,GAAG,CAAA,KAAM,IAAA,IAC3B,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IAClC,UAAA,IAAc,OAAA,CAAQ,kBAAA;AACzB,EAAA,OAAO,CAAC,UAAA;AACV;AAEA,SAAS,YAAA,CAAa,IAAA,EAAkB,GAAA,EAAa,OAAA,EAAyC;AAC5F,EAAA,MAAM,aAAa,YAAA,CAAa,IAAA,CAAK,UAAU,CAAA,GAAI,IAAA,CAAK,aAAa,EAAC;AACtE,EAAA,IAAI,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AAClC,IAAA,MAAM,QAAA,GAAW,WAAW,GAAG,CAAA;AAC/B,IAAA,MAAM,aAAa,OAAA,CAAQ,iBAAA,IAAqB,YAAA,CAAa,QAAQ,KAAK,QAAA,CAAS,UAAA;AACnF,IAAA,OAAO,cAAc,YAAA,CAAa,IAAA,CAAK,aAAa,CAAA,GAChD,SACA,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,UAAU,UAAA,EAAY,kBAAA,CAAmB,IAAA,EAAM,GAAA,EAAK,OAAO,CAAA,EAAE;AAAA,EAC7F;AAEA,EAAA,MAAM,iBACJ,YAAA,CAAa,IAAA,CAAK,aAAa,CAAA,IAAK,KAAK,qBAAA,KAA0B,MAAA;AACrE,EAAA,IAAI,gBAAgB,GAAA,EAAK,EAAE,CAAA,IAAK,GAAA,KAAQ,WAAW,cAAA,EAAgB;AACjE,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GACxB,WAAA,CAAY,IAAA,EAAM,OAAO,CAAA,IAAK,OAAA,GAC/B,iBAAA,CAAkB,IAAA,EAAM,OAAO,CAAA;AACrC;AAMO,SAAS,cAAA,CAAe,QAAiB,IAAA,EAA6B;AAC3E,EAAA,OAAO,iBAAiB,UAAA,CAAW,MAAA,EAAQ,IAAI,CAAC,IAAI,QAAA,GAAW,SAAA;AACjE;AAGO,SAAS,gBAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACU;AACV,EAAA,MAAM,IAAA,GAAO,UAAA,CAAW,MAAA,EAAQ,IAAI,CAAA;AACpC,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,IAAI,CAAA,IAAK,YAAA,CAAa,KAAK,UAAU,CAAA,GAAI,IAAA,CAAK,UAAA,GAAa,EAAC;AAC5F,EAAA,IAAI,CAAC,aAAa,IAAI,CAAA,IAAK,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AAC1D,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO,kBAAA,CAAmB,IAAA,EAAM,GAAA,EAAK,OAAO,CAAA,GAAI,WAAW,cAAA,CAAe,UAAA,CAAW,GAAG,CAAA,EAAG,IAAI,CAAA;AACjG;AAEA,SAAS,SAAA,CAAU,MAAkB,OAAA,EAAqC;AACxE,EAAA,MAAM,OAAA,GAAU,KAAK,OAAO,CAAA;AAC5B,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,GAAI,UAAU,EAAC;AAC7C;AAEA,SAAS,mBAAmB,IAAA,EAA8B;AACxD,EAAA,MAAM,EAAE,OAAO,MAAA,EAAQ,KAAA,EAAO,QAAQ,KAAA,EAAO,MAAA,EAAQ,GAAG,GAAA,EAAI,GAAI,IAAA;AAChE,EAAA,OAAO,GAAA;AACT;AAGA,SAAS,iBAAiB,GAAA,EAA0B;AAClD,EAAA,OAAO,aAAA,CAAc,GAAG,CAAA,KAAM,iBAAA,CAAkB,GAAG,CAAA,IAAK,YAAA,CAAa,IAAI,aAAa,CAAA,CAAA;AACxF;AAOA,SAAS,cAAA,CAAe,IAAA,EAAkB,GAAA,EAAa,KAAA,EAAqC;AAC1F,EAAA,MAAM,QAAA,GAAW,CAAC,GAAG,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,EAAG,GAAG,SAAA,CAAU,IAAA,EAAM,OAAO,CAAC,CAAA;AAC1E,EAAA,MAAM,GAAA,GAAM,mBAAmB,IAAI,CAAA;AACnC,EAAA,MAAM,MAAA,GAAS,iBAAiB,GAAG,CAAA;AACnC,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,MAAM,UAAU,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,CAAE,MAAA,KAAW,KAAK,CAAC,MAAA;AAC1D,IAAA,MAAM,OAAA,GAAU,SAAS,GAAA,CAAI,CAAC,YAAY,QAAA,CAAS,OAAA,EAAS,GAAA,EAAK,KAAK,CAAC,CAAA;AACvE,IAAA,OAAO,OAAA,IAAW,QAAQ,IAAA,CAAK,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,SAAS,CAAA,GAAI,OAAA,GAAU,MAAA;AAAA,EACpF;AACA,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAG,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,EAAG,GAAI,MAAA,GAAS,CAAC,GAAG,CAAA,GAAI,EAAG,CAAA;AACpE,EAAA,OAAO,kBAAA,CAAmB,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,SAAS,IAAA,EAAM,GAAA,EAAK,KAAK,CAAC,CAAC,CAAA;AAC3E;AAEA,SAAS,eAAe,MAAA,EAAkC;AACxD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,IAAA,KAAS,MAAA;AACpD;AAOA,SAAS,mBAAmB,OAAA,EAAsD;AAChF,EAAA,MAAM,QAAQ,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAW,MAAA,CAAO,SAAS,SAAS,CAAA;AAClE,EAAA,MAAM,KAAA,GAAQ,MAAM,MAAA,CAAO,CAAC,WAAW,CAAC,cAAA,CAAe,MAAM,CAAC,CAAA;AAC9D,EAAA,MAAM,CAAC,IAAI,CAAA,GAAI,KAAA;AACf,EAAA,IAAI,SAAS,MAAA,EAAW;AACtB,IAAA,OAAO,KAAA,CAAM,CAAC,CAAA,IAAK,OAAA;AAAA,EACrB;AACA,EAAA,OAAO,MAAM,MAAA,KAAW,CAAA,IAAK,IAAA,CAAK,IAAA,KAAS,WAAW,IAAA,GAAO,MAAA;AAC/D;AAQA,SAAS,QAAA,CAAS,MAAA,EAAiB,GAAA,EAAa,KAAA,EAAqC;AACnF,EAAA,MAAM,IAAA,GAAO,UAAA,CAAW,MAAA,EAAQ,KAAA,CAAM,IAAI,CAAA;AAC1C,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,IAAK,WAAA,CAAY,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,IAAQ,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,SAAA,EAAW;AAC9F,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAE1B,IAAA,OAAO,cAAc,IAAI,CAAA,IAAK,YAAA,CAAa,IAAI,IAAI,OAAA,GAAU,MAAA;AAAA,EAC/D;AACA,EAAA,IAAI,KAAA,CAAM,QAAQ,gBAAA,EAAkB;AAClC,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAA,IAAW,IAAA,IAAQ,OAAA,IAAW,IAAA,IAAQ,WAAW,IAAA,EAAM;AACzD,IAAA,OAAO,cAAA,CAAe,IAAA,EAAM,GAAA,EAAK,EAAE,GAAG,OAAO,KAAA,EAAO,KAAA,CAAM,KAAA,GAAQ,CAAA,EAAG,CAAA;AAAA,EACvE;AACA,EAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,YAAA,CAAa,IAAA,EAAM,GAAA,EAAK,KAAA,CAAM,OAAO,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,YAAA,CAAa,IAAI,CAAA,EAAG;AACtB,IAAA,OAAO,QAAA,CAAS,KAAK,GAAG,CAAA,IAAK,gBAAgB,GAAA,EAAK,EAAE,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EACnE;AAEA,EAAA,OAAO,KAAA,CAAM,QAAQ,YAAA,IAAgBA,+BAAA,CAAkB,IAAa,CAAA,GAChE,MAAA,GACA,eAAA,CAAgB,IAAA,EAAM,GAAG,CAAA;AAC/B;AAGA,MAAM,oBAAA,GAAyD;AAAA,EAC7D,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,SAAS,MAAA,CAAO,SAAA;AAAA,EAChB,SAAS,OAAA,CAAQ;AACnB,CAAA;AAOA,SAAS,eAAA,CAAgB,MAAkB,GAAA,EAA8B;AACvE,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAW;AAC3B,IAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EAC5C;AACA,EAAA,MAAM,SAAA,GAAY,OAAO,IAAA,CAAK,IAAA,KAAS,WAAW,oBAAA,CAAqB,IAAA,CAAK,IAAI,CAAA,GAAI,MAAA;AACpF,EAAA,OAAO,cAAc,MAAA,IAAa,CAAC,gBAAgB,GAAA,EAAK,SAAS,IAAI,OAAA,GAAU,MAAA;AACjF;AAGO,SAAS,eAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACiB;AACjB,EAAA,OAAO,QAAA,CAAS,QAAQ,GAAA,EAAK,EAAE,SAAS,IAAA,EAAM,KAAA,EAAO,GAAG,CAAA;AAC1D;;;;;;;;;"}
+{"version":3,"file":"generated-shape.cjs","sources":["../../../../src/application/transform/ref-pointer/generated-shape.ts"],"sourcesContent":["import { isRawBinarySchema } from \"../../../domain/openapi/binary-content.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  childLocation,\n  followLocated,\n  isJsonObject,\n  type JsonObject,\n  type LocatedNode,\n} from \"./located-node.js\";\nimport {\n  isExcludedProperty,\n  isMarkedProperty,\n  isNullableSchema,\n  isOptionalProperty,\n} from \"./property-shape.js\";\n\n/**\n * What the generated type of a schema has under a key, read from the schema itself. It answers the\n * question TypeScript answers when it checks `T[\"key\"]`, for the schema shapes where the answer is\n * sure; for every other shape it says `opaque`, so a caller never assumes an error that is not.\n */\n\nexport type GeneratedMember =\n  | {\n      readonly kind: \"property\";\n      readonly node: unknown;\n      readonly location: string | undefined;\n      readonly isOptional: boolean;\n      /** `$Read<T>` or `$Write<T>` (`isMarkedProperty`): no member but the marker's own. */\n      readonly isMarked: boolean;\n    }\n  /** An index signature; `node` is undefined when its value type is `unknown`. */\n  | { readonly kind: \"index\"; readonly node: unknown; readonly location: string | undefined }\n  | { readonly kind: \"missing\" }\n  | { readonly kind: \"opaque\" };\n\nconst OPAQUE_KEYS = [\"not\", \"enum\", \"const\", \"$ref\"] as const;\n/** How deep `allOf`/`anyOf`/`oneOf` members are read; deeper shapes count as opaque. */\nconst MAX_DEPTH = 8;\nconst INDEX_RE = /^\\d+$/;\nconst MISSING: GeneratedMember = { kind: \"missing\" };\nconst OPAQUE: GeneratedMember = { kind: \"opaque\" };\n\nfunction typeNames(node: JsonObject): readonly unknown[] {\n  return Array.isArray(node.type) ? node.type : [node.type];\n}\n\n/**\n * Whether the generated type is an object. One `type` name decides alone: `type: string` with\n * `properties` or `items` is `string`, as `coreType` matches the `type` before the keywords.\n */\nexport function isObjectShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"object\";\n  }\n  return (\n    typeNames(node).includes(\"object\") ||\n    \"properties\" in node ||\n    \"additionalProperties\" in node ||\n    \"patternProperties\" in node\n  );\n}\n\n/** Whether the generated type is an array; one `type` name decides alone (`isObjectShape`). */\nexport function isArrayShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"array\";\n  }\n  return typeNames(node).includes(\"array\") || \"items\" in node;\n}\n\n/** Whether `objectType` writes a type for the schema; the same test as there. */\nfunction hasObjectKeywords(node: JsonObject): boolean {\n  const hasProperties = isJsonObject(node.properties) && Object.keys(node.properties).length > 0;\n  return (\n    hasProperties || Boolean(node.additionalProperties || node.patternProperties || node.$defs)\n  );\n}\n\n/**\n * A key of an object schema without object keywords. With a `type` it is `Record<string, never>`:\n * every key is `never`, and so is every key after it (or `unknown` with `--empty-objects-unknown`,\n * which has no key). Without a `type` it is `unknown`.\n */\nfunction emptyObjectMember(node: JsonObject, options: SchemaOptions): GeneratedMember {\n  return node.type !== undefined && !options.emptyObjectsUnknown ? OPAQUE : MISSING;\n}\n\n/** Whether a key the object has no property for is still a member: `toString`, `length`, `0`. */\nfunction isBuiltInMember(key: string, prototype: object): boolean {\n  return key in prototype;\n}\n\nfunction indexMember(owner: LocatedNode & { node: JsonObject }, options: SchemaOptions) {\n  const { additionalProperties: values, patternProperties: patterns } = owner.node;\n  if (isJsonObject(patterns) && Object.keys(patterns).length > 0) {\n    return OPAQUE;\n  }\n  if (isJsonObject(values) && Object.keys(values).length > 0) {\n    const location = childLocation(owner.location, \"additionalProperties\");\n    return { kind: \"index\", node: values, location } satisfies GeneratedMember;\n  }\n  const isImplicit = values === true || (isJsonObject(values) && Object.keys(values).length === 0);\n  return isImplicit || (!values && options.additionalProperties)\n    ? ({ kind: \"index\", node: undefined, location: undefined } satisfies GeneratedMember)\n    : null;\n}\n\nfunction objectMember(\n  owner: LocatedNode & { node: JsonObject },\n  key: string,\n  input: MemberInput,\n): GeneratedMember {\n  const { options } = input;\n  const { node } = owner;\n  const properties = isJsonObject(node.properties) ? node.properties : {};\n  if (Object.hasOwn(properties, key) && !isExcludedProperty(properties[key], options, input.refs)) {\n    if (isJsonObject(node.discriminator)) {\n      return OPAQUE;\n    }\n    const location = childLocation(owner.location, \"properties\", key);\n    const isOptional = isOptionalProperty(owner, key, options);\n    const isMarked = isMarkedProperty(properties[key], options, input.refs);\n    return { kind: \"property\", node: properties[key], location, isOptional, isMarked };\n  }\n  // `unevaluatedProperties` adds an index signature with its fix, so it counts as opaque too.\n  const isUnknownShape =\n    isJsonObject(node.discriminator) || node.unevaluatedProperties !== undefined;\n  if (isBuiltInMember(key, {}) || key === \"$defs\" || isUnknownShape) {\n    return OPAQUE;\n  }\n  return hasObjectKeywords(node)\n    ? (indexMember(owner, options) ?? MISSING)\n    : emptyObjectMember(node, options);\n}\n\nfunction membersOf(node: JsonObject, keyword: string): readonly unknown[] {\n  const members = node[keyword];\n  return Array.isArray(members) ? members : [];\n}\n\n/** The members of a composition keyword with their locations. */\nfunction locatedMembers(owner: LocatedNode & { node: JsonObject }, keyword: string): LocatedNode[] {\n  return membersOf(owner.node, keyword).map((node, index) => ({\n    node,\n    location: childLocation(owner.location, keyword, String(index)),\n  }));\n}\n\nfunction withoutComposition(node: JsonObject): JsonObject {\n  const { allOf: _allOf, anyOf: _anyOf, oneOf: _oneOf, ...own } = node;\n  return own;\n}\n\n/** Own keywords without an object type of their own (`properties: {}`) add no part. */\nfunction hasOwnObjectType(own: JsonObject): boolean {\n  return isObjectShape(own) && (hasObjectKeywords(own) || isJsonObject(own.discriminator));\n}\n\n/**\n * `allOf` with own keywords is an intersection (`intersectionMember`).\n * `anyOf` or `oneOf` alone is a union: a key is missing if one member misses it. A mix of both\n * is written in more than one way (`anyof-properties`), so it counts as opaque.\n */\nfunction composedMember(\n  owner: LocatedNode & { node: JsonObject },\n  key: string,\n  input: MemberInput,\n): GeneratedMember {\n  const { node } = owner;\n  const variants = [...locatedMembers(owner, \"anyOf\"), ...locatedMembers(owner, \"oneOf\")];\n  const own = withoutComposition(node);\n  const hasOwn = hasOwnObjectType(own);\n  if (variants.length > 0) {\n    const isAlone = membersOf(node, \"allOf\").length === 0 && !hasOwn;\n    const members = variants.map((variant) => memberAt(variant, key, input));\n    return isAlone && members.some((member) => member.kind === \"missing\") ? MISSING : OPAQUE;\n  }\n  const ownPart = { node: own, location: owner.location };\n  const parts = [...locatedMembers(owner, \"allOf\"), ...(hasOwn ? [ownPart] : [])];\n  return intersectionMember(parts.map((part) => memberAt(part, key, input)));\n}\n\nfunction isUnknownIndex(member: GeneratedMember): boolean {\n  return member.kind === \"index\" && member.node === undefined;\n}\n\n/**\n * A key of an intersection: missing if every part misses it; the part's member if only one part\n * has it (`A & B` where `B` has no such key and no index signature); else opaque. A part's\n * `[key: string]: unknown` adds nothing (`unknown & T` is `T`), and only such parts give `unknown`.\n */\nfunction intersectionMember(members: readonly GeneratedMember[]): GeneratedMember {\n  const found = members.filter((member) => member.kind !== \"missing\");\n  const typed = found.filter((member) => !isUnknownIndex(member));\n  const [only] = typed;\n  if (only === undefined) {\n    return found[0] ?? MISSING;\n  }\n  return typed.length === 1 && only.kind !== \"opaque\" ? only : OPAQUE;\n}\n\ninterface MemberInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n  readonly depth: number;\n}\n\nfunction memberAt(schema: LocatedNode, key: string, input: MemberInput): GeneratedMember {\n  const followed = followLocated(schema, input.refs);\n  const { node } = followed;\n  if (!isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {\n    return OPAQUE;\n  }\n  const owner = { ...followed, node };\n  if (isNullableSchema(node)) {\n    // Every key of `T | null` is an error, unless `T` is unknown (then the type is `unknown`).\n    return isObjectShape(node) || isArrayShape(node) ? MISSING : OPAQUE;\n  }\n  if (\"allOf\" in node || \"anyOf\" in node || \"oneOf\" in node) {\n    return composedMember(owner, key, { ...input, depth: input.depth + 1 });\n  }\n  if (isObjectShape(node)) {\n    return objectMember(owner, key, input);\n  }\n  if (isArrayShape(node)) {\n    return INDEX_RE.test(key) || isBuiltInMember(key, []) ? OPAQUE : MISSING;\n  }\n  // `--binary-as-blob` types raw binary strings as `Blob`, which has members of its own.\n  return input.options.binaryAsBlob && isRawBinarySchema(node as never)\n    ? OPAQUE\n    : primitiveMember(node, key);\n}\n\n/** The JavaScript value whose members a primitive `type` has: `\"\".length`, `(0).toFixed`. */\nconst PRIMITIVE_PROTOTYPES: Readonly<Record<string, object>> = {\n  string: String.prototype,\n  number: Number.prototype,\n  integer: Number.prototype,\n  boolean: Boolean.prototype,\n};\n\n/**\n * A key of a schema with one primitive `type`: missing unless the primitive has it. Object and\n * array keywords next to that `type` do not change the type (`isObjectShape`). Without a `type`\n * and object keywords the schema is `unknown` (`objectType` writes nothing), which has no keys.\n */\nfunction primitiveMember(node: JsonObject, key: string): GeneratedMember {\n  if (node.type === undefined) {\n    return hasObjectKeywords(node) ? OPAQUE : MISSING;\n  }\n  const prototype = typeof node.type === \"string\" ? PRIMITIVE_PROTOTYPES[node.type] : undefined;\n  return prototype !== undefined && !isBuiltInMember(key, prototype) ? MISSING : OPAQUE;\n}\n\n/** The member `key` of the type generated for `schema` (a `$ref` is followed first). */\nexport function generatedMember(\n  schema: LocatedNode,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): GeneratedMember {\n  return memberAt(schema, key, { options, refs, depth: 0 });\n}\n"],"names":["isJsonObject","childLocation","isExcludedProperty","isOptionalProperty","isMarkedProperty","followLocated","isNullableSchema","isRawBinarySchema"],"mappings":";;;;;;AAoCA,MAAM,WAAA,GAAc,CAAC,KAAA,EAAO,MAAA,EAAQ,SAAS,MAAM,CAAA;AAEnD,MAAM,SAAA,GAAY,CAAA;AAClB,MAAM,QAAA,GAAW,OAAA;AACjB,MAAM,OAAA,GAA2B,EAAE,IAAA,EAAM,SAAA,EAAU;AACnD,MAAM,MAAA,GAA0B,EAAE,IAAA,EAAM,QAAA,EAAS;AAEjD,SAAS,UAAU,IAAA,EAAsC;AACvD,EAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,IAAI,IAAI,IAAA,CAAK,IAAA,GAAO,CAAC,IAAA,CAAK,IAAI,CAAA;AAC1D;AAMO,SAAS,cAAc,IAAA,EAA2B;AACvD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,QAAA;AAAA,EACvB;AACA,EAAA,OACE,SAAA,CAAU,IAAI,CAAA,CAAE,QAAA,CAAS,QAAQ,KACjC,YAAA,IAAgB,IAAA,IAChB,sBAAA,IAA0B,IAAA,IAC1B,mBAAA,IAAuB,IAAA;AAE3B;AAGO,SAAS,aAAa,IAAA,EAA2B;AACtD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,OAAA;AAAA,EACvB;AACA,EAAA,OAAO,UAAU,IAAI,CAAA,CAAE,QAAA,CAAS,OAAO,KAAK,OAAA,IAAW,IAAA;AACzD;AAGA,SAAS,kBAAkB,IAAA,EAA2B;AACpD,EAAA,MAAM,aAAA,GAAgBA,wBAAA,CAAa,IAAA,CAAK,UAAU,CAAA,IAAK,OAAO,IAAA,CAAK,IAAA,CAAK,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAC7F,EAAA,OACE,iBAAiB,OAAA,CAAQ,IAAA,CAAK,wBAAwB,IAAA,CAAK,iBAAA,IAAqB,KAAK,KAAK,CAAA;AAE9F;AAOA,SAAS,iBAAA,CAAkB,MAAkB,OAAA,EAAyC;AACpF,EAAA,OAAO,KAAK,IAAA,KAAS,MAAA,IAAa,CAAC,OAAA,CAAQ,sBAAsB,MAAA,GAAS,OAAA;AAC5E;AAGA,SAAS,eAAA,CAAgB,KAAa,SAAA,EAA4B;AAChE,EAAA,OAAO,GAAA,IAAO,SAAA;AAChB;AAEA,SAAS,WAAA,CAAY,OAA2C,OAAA,EAAwB;AACtF,EAAA,MAAM,EAAE,oBAAA,EAAsB,MAAA,EAAQ,iBAAA,EAAmB,QAAA,KAAa,KAAA,CAAM,IAAA;AAC5E,EAAA,IAAIA,wBAAA,CAAa,QAAQ,CAAA,IAAK,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAE,SAAS,CAAA,EAAG;AAC9D,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAIA,wBAAA,CAAa,MAAM,CAAA,IAAK,MAAA,CAAO,KAAK,MAAM,CAAA,CAAE,SAAS,CAAA,EAAG;AAC1D,IAAA,MAAM,QAAA,GAAWC,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,sBAAsB,CAAA;AACrE,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAQ,QAAA,EAAS;AAAA,EACjD;AACA,EAAA,MAAM,UAAA,GAAa,MAAA,KAAW,IAAA,IAASD,wBAAA,CAAa,MAAM,KAAK,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA,KAAW,CAAA;AAC9F,EAAA,OAAO,UAAA,IAAe,CAAC,MAAA,IAAU,OAAA,CAAQ,oBAAA,GACpC,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,MAAA,EAAW,QAAA,EAAU,MAAA,EAAU,GACvD,IAAA;AACN;AAEA,SAAS,YAAA,CACP,KAAA,EACA,GAAA,EACA,KAAA,EACiB;AACjB,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,aAAaA,wBAAA,CAAa,IAAA,CAAK,UAAU,CAAA,GAAI,IAAA,CAAK,aAAa,EAAC;AACtE,EAAA,IAAI,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,IAAK,CAACE,gCAAA,CAAmB,UAAA,CAAW,GAAG,CAAA,EAAG,OAAA,EAAS,KAAA,CAAM,IAAI,CAAA,EAAG;AAC/F,IAAA,IAAIF,wBAAA,CAAa,IAAA,CAAK,aAAa,CAAA,EAAG;AACpC,MAAA,OAAO,MAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAA,GAAWC,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,cAAc,GAAG,CAAA;AAChE,IAAA,MAAM,UAAA,GAAaE,gCAAA,CAAmB,KAAA,EAAO,GAAA,EAAK,OAAO,CAAA;AACzD,IAAA,MAAM,WAAWC,8BAAA,CAAiB,UAAA,CAAW,GAAG,CAAA,EAAG,OAAA,EAAS,MAAM,IAAI,CAAA;AACtE,IAAA,OAAO,EAAE,MAAM,UAAA,EAAY,IAAA,EAAM,WAAW,GAAG,CAAA,EAAG,QAAA,EAAU,UAAA,EAAY,QAAA,EAAS;AAAA,EACnF;AAEA,EAAA,MAAM,iBACJJ,wBAAA,CAAa,IAAA,CAAK,aAAa,CAAA,IAAK,KAAK,qBAAA,KAA0B,MAAA;AACrE,EAAA,IAAI,gBAAgB,GAAA,EAAK,EAAE,CAAA,IAAK,GAAA,KAAQ,WAAW,cAAA,EAAgB;AACjE,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GACxB,WAAA,CAAY,KAAA,EAAO,OAAO,CAAA,IAAK,OAAA,GAChC,iBAAA,CAAkB,IAAA,EAAM,OAAO,CAAA;AACrC;AAEA,SAAS,SAAA,CAAU,MAAkB,OAAA,EAAqC;AACxE,EAAA,MAAM,OAAA,GAAU,KAAK,OAAO,CAAA;AAC5B,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,GAAI,UAAU,EAAC;AAC7C;AAGA,SAAS,cAAA,CAAe,OAA2C,OAAA,EAAgC;AACjG,EAAA,OAAO,SAAA,CAAU,MAAM,IAAA,EAAM,OAAO,EAAE,GAAA,CAAI,CAAC,MAAM,KAAA,MAAW;AAAA,IAC1D,IAAA;AAAA,IACA,UAAUC,yBAAA,CAAc,KAAA,CAAM,UAAU,OAAA,EAAS,MAAA,CAAO,KAAK,CAAC;AAAA,GAChE,CAAE,CAAA;AACJ;AAEA,SAAS,mBAAmB,IAAA,EAA8B;AACxD,EAAA,MAAM,EAAE,OAAO,MAAA,EAAQ,KAAA,EAAO,QAAQ,KAAA,EAAO,MAAA,EAAQ,GAAG,GAAA,EAAI,GAAI,IAAA;AAChE,EAAA,OAAO,GAAA;AACT;AAGA,SAAS,iBAAiB,GAAA,EAA0B;AAClD,EAAA,OAAO,aAAA,CAAc,GAAG,CAAA,KAAM,iBAAA,CAAkB,GAAG,CAAA,IAAKD,wBAAA,CAAa,IAAI,aAAa,CAAA,CAAA;AACxF;AAOA,SAAS,cAAA,CACP,KAAA,EACA,GAAA,EACA,KAAA,EACiB;AACjB,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,QAAA,GAAW,CAAC,GAAG,cAAA,CAAe,KAAA,EAAO,OAAO,CAAA,EAAG,GAAG,cAAA,CAAe,KAAA,EAAO,OAAO,CAAC,CAAA;AACtF,EAAA,MAAM,GAAA,GAAM,mBAAmB,IAAI,CAAA;AACnC,EAAA,MAAM,MAAA,GAAS,iBAAiB,GAAG,CAAA;AACnC,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,MAAM,UAAU,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,CAAE,MAAA,KAAW,KAAK,CAAC,MAAA;AAC1D,IAAA,MAAM,OAAA,GAAU,SAAS,GAAA,CAAI,CAAC,YAAY,QAAA,CAAS,OAAA,EAAS,GAAA,EAAK,KAAK,CAAC,CAAA;AACvE,IAAA,OAAO,OAAA,IAAW,QAAQ,IAAA,CAAK,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,SAAS,CAAA,GAAI,OAAA,GAAU,MAAA;AAAA,EACpF;AACA,EAAA,MAAM,UAAU,EAAE,IAAA,EAAM,GAAA,EAAK,QAAA,EAAU,MAAM,QAAA,EAAS;AACtD,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAG,cAAA,CAAe,KAAA,EAAO,OAAO,CAAA,EAAG,GAAI,MAAA,GAAS,CAAC,OAAO,CAAA,GAAI,EAAG,CAAA;AAC9E,EAAA,OAAO,kBAAA,CAAmB,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,SAAS,IAAA,EAAM,GAAA,EAAK,KAAK,CAAC,CAAC,CAAA;AAC3E;AAEA,SAAS,eAAe,MAAA,EAAkC;AACxD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,IAAA,KAAS,MAAA;AACpD;AAOA,SAAS,mBAAmB,OAAA,EAAsD;AAChF,EAAA,MAAM,QAAQ,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAW,MAAA,CAAO,SAAS,SAAS,CAAA;AAClE,EAAA,MAAM,KAAA,GAAQ,MAAM,MAAA,CAAO,CAAC,WAAW,CAAC,cAAA,CAAe,MAAM,CAAC,CAAA;AAC9D,EAAA,MAAM,CAAC,IAAI,CAAA,GAAI,KAAA;AACf,EAAA,IAAI,SAAS,MAAA,EAAW;AACtB,IAAA,OAAO,KAAA,CAAM,CAAC,CAAA,IAAK,OAAA;AAAA,EACrB;AACA,EAAA,OAAO,MAAM,MAAA,KAAW,CAAA,IAAK,IAAA,CAAK,IAAA,KAAS,WAAW,IAAA,GAAO,MAAA;AAC/D;AAQA,SAAS,QAAA,CAAS,MAAA,EAAqB,GAAA,EAAa,KAAA,EAAqC;AACvF,EAAA,MAAM,QAAA,GAAWK,yBAAA,CAAc,MAAA,EAAQ,KAAA,CAAM,IAAI,CAAA;AACjD,EAAA,MAAM,EAAE,MAAK,GAAI,QAAA;AACjB,EAAA,IAAI,CAACL,wBAAA,CAAa,IAAI,CAAA,IAAK,WAAA,CAAY,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,IAAQ,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,SAAA,EAAW;AAC9F,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,EAAE,GAAG,QAAA,EAAU,IAAA,EAAK;AAClC,EAAA,IAAIM,8BAAA,CAAiB,IAAI,CAAA,EAAG;AAE1B,IAAA,OAAO,cAAc,IAAI,CAAA,IAAK,YAAA,CAAa,IAAI,IAAI,OAAA,GAAU,MAAA;AAAA,EAC/D;AACA,EAAA,IAAI,OAAA,IAAW,IAAA,IAAQ,OAAA,IAAW,IAAA,IAAQ,WAAW,IAAA,EAAM;AACzD,IAAA,OAAO,cAAA,CAAe,KAAA,EAAO,GAAA,EAAK,EAAE,GAAG,OAAO,KAAA,EAAO,KAAA,CAAM,KAAA,GAAQ,CAAA,EAAG,CAAA;AAAA,EACxE;AACA,EAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,YAAA,CAAa,KAAA,EAAO,GAAA,EAAK,KAAK,CAAA;AAAA,EACvC;AACA,EAAA,IAAI,YAAA,CAAa,IAAI,CAAA,EAAG;AACtB,IAAA,OAAO,QAAA,CAAS,KAAK,GAAG,CAAA,IAAK,gBAAgB,GAAA,EAAK,EAAE,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EACnE;AAEA,EAAA,OAAO,KAAA,CAAM,QAAQ,YAAA,IAAgBC,+BAAA,CAAkB,IAAa,CAAA,GAChE,MAAA,GACA,eAAA,CAAgB,IAAA,EAAM,GAAG,CAAA;AAC/B;AAGA,MAAM,oBAAA,GAAyD;AAAA,EAC7D,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,SAAS,MAAA,CAAO,SAAA;AAAA,EAChB,SAAS,OAAA,CAAQ;AACnB,CAAA;AAOA,SAAS,eAAA,CAAgB,MAAkB,GAAA,EAA8B;AACvE,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAW;AAC3B,IAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EAC5C;AACA,EAAA,MAAM,SAAA,GAAY,OAAO,IAAA,CAAK,IAAA,KAAS,WAAW,oBAAA,CAAqB,IAAA,CAAK,IAAI,CAAA,GAAI,MAAA;AACpF,EAAA,OAAO,cAAc,MAAA,IAAa,CAAC,gBAAgB,GAAA,EAAK,SAAS,IAAI,OAAA,GAAU,MAAA;AACjF;AAGO,SAAS,eAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACiB;AACjB,EAAA,OAAO,QAAA,CAAS,QAAQ,GAAA,EAAK,EAAE,SAAS,IAAA,EAAM,KAAA,EAAO,GAAG,CAAA;AAC1D;;;;"}

package/dist/application/transform/ref-pointer/generated-shape.mjs

@@ -1,22 +1,12 @@
 import { isRawBinarySchema } from '../../../domain/openapi/binary-content.mjs';
+import { followLocated, isJsonObject, childLocation } from './located-node.mjs';
+import { isNullableSchema, isExcludedProperty, isOptionalProperty, isMarkedProperty } from './property-shape.mjs';
 
 const OPAQUE_KEYS = ["not", "enum", "const", "$ref"];
 const MAX_DEPTH = 8;
 const INDEX_RE = /^\d+$/;
 const MISSING = { kind: "missing" };
 const OPAQUE = { kind: "opaque" };
-function isJsonObject(value) {
-  return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-function followRefs(node, refs) {
-  return isJsonObject(node) && typeof node.$ref === "string" ? refs.resolve(node.$ref) : node;
-}
-function isNullableSchema(node) {
-  if (!isJsonObject(node)) {
-    return false;
-  }
-  return node.nullable === true || Array.isArray(node.type) && node.type.includes("null");
-}
 function typeNames(node) {
   return Array.isArray(node.type) ? node.type : [node.type];
 }
@@ -42,52 +32,47 @@ function emptyObjectMember(node, options) {
 function isBuiltInMember(key, prototype) {
   return key in prototype;
 }
-function indexMember(node, options) {
-  const { additionalProperties: values, patternProperties: patterns } = node;
+function indexMember(owner, options) {
+  const { additionalProperties: values, patternProperties: patterns } = owner.node;
   if (isJsonObject(patterns) && Object.keys(patterns).length > 0) {
     return OPAQUE;
   }
   if (isJsonObject(values) && Object.keys(values).length > 0) {
-    return { kind: "index", node: values };
+    const location = childLocation(owner.location, "additionalProperties");
+    return { kind: "index", node: values, location };
   }
   const isImplicit = values === true || isJsonObject(values) && Object.keys(values).length === 0;
-  return isImplicit || !values && options.additionalProperties ? { kind: "index", node: void 0 } : null;
-}
-function isOptionalProperty(node, key, options) {
-  const required = Array.isArray(node.required) ? node.required : void 0;
-  const property = node.properties[key];
-  const hasDefault = isJsonObject(property) && property.default !== void 0;
-  const isRequired = required?.includes(key) === true || required === void 0 && options.propertiesRequiredByDefault || hasDefault && options.defaultNonNullable;
-  return !isRequired;
+  return isImplicit || !values && options.additionalProperties ? { kind: "index", node: void 0, location: void 0 } : null;
 }
-function objectMember(node, key, options) {
+function objectMember(owner, key, input) {
+  const { options } = input;
+  const { node } = owner;
   const properties = isJsonObject(node.properties) ? node.properties : {};
-  if (Object.hasOwn(properties, key)) {
-    const property = properties[key];
-    const isExcluded = options.excludeDeprecated && isJsonObject(property) && property.deprecated;
-    return isExcluded || isJsonObject(node.discriminator) ? OPAQUE : { kind: "property", node: property, isOptional: isOptionalProperty(node, key, options) };
+  if (Object.hasOwn(properties, key) && !isExcludedProperty(properties[key], options, input.refs)) {
+    if (isJsonObject(node.discriminator)) {
+      return OPAQUE;
+    }
+    const location = childLocation(owner.location, "properties", key);
+    const isOptional = isOptionalProperty(owner, key, options);
+    const isMarked = isMarkedProperty(properties[key], options, input.refs);
+    return { kind: "property", node: properties[key], location, isOptional, isMarked };
   }
   const isUnknownShape = isJsonObject(node.discriminator) || node.unevaluatedProperties !== void 0;
   if (isBuiltInMember(key, {}) || key === "$defs" || isUnknownShape) {
     return OPAQUE;
   }
-  return hasObjectKeywords(node) ? indexMember(node, options) ?? MISSING : emptyObjectMember(node, options);
-}
-function schemaPresence(schema, refs) {
-  return isNullableSchema(followRefs(schema, refs)) ? "absent" : "present";
-}
-function propertyPresence(schema, key, options, refs) {
-  const node = followRefs(schema, refs);
-  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};
-  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {
-    return "unknown";
-  }
-  return isOptionalProperty(node, key, options) ? "absent" : schemaPresence(properties[key], refs);
+  return hasObjectKeywords(node) ? indexMember(owner, options) ?? MISSING : emptyObjectMember(node, options);
 }
 function membersOf(node, keyword) {
   const members = node[keyword];
   return Array.isArray(members) ? members : [];
 }
+function locatedMembers(owner, keyword) {
+  return membersOf(owner.node, keyword).map((node, index) => ({
+    node,
+    location: childLocation(owner.location, keyword, String(index))
+  }));
+}
 function withoutComposition(node) {
   const { allOf: _allOf, anyOf: _anyOf, oneOf: _oneOf, ...own } = node;
   return own;
@@ -95,8 +80,9 @@ function withoutComposition(node) {
 function hasOwnObjectType(own) {
   return isObjectShape(own) && (hasObjectKeywords(own) || isJsonObject(own.discriminator));
 }
-function composedMember(node, key, input) {
-  const variants = [...membersOf(node, "anyOf"), ...membersOf(node, "oneOf")];
+function composedMember(owner, key, input) {
+  const { node } = owner;
+  const variants = [...locatedMembers(owner, "anyOf"), ...locatedMembers(owner, "oneOf")];
   const own = withoutComposition(node);
   const hasOwn = hasOwnObjectType(own);
   if (variants.length > 0) {
@@ -104,7 +90,8 @@ function composedMember(node, key, input) {
     const members = variants.map((variant) => memberAt(variant, key, input));
     return isAlone && members.some((member) => member.kind === "missing") ? MISSING : OPAQUE;
   }
-  const parts = [...membersOf(node, "allOf"), ...hasOwn ? [own] : []];
+  const ownPart = { node: own, location: owner.location };
+  const parts = [...locatedMembers(owner, "allOf"), ...hasOwn ? [ownPart] : []];
   return intersectionMember(parts.map((part) => memberAt(part, key, input)));
 }
 function isUnknownIndex(member) {
@@ -120,21 +107,20 @@ function intersectionMember(members) {
   return typed.length === 1 && only.kind !== "opaque" ? only : OPAQUE;
 }
 function memberAt(schema, key, input) {
-  const node = followRefs(schema, input.refs);
+  const followed = followLocated(schema, input.refs);
+  const { node } = followed;
   if (!isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {
     return OPAQUE;
   }
+  const owner = { ...followed, node };
   if (isNullableSchema(node)) {
     return isObjectShape(node) || isArrayShape(node) ? MISSING : OPAQUE;
   }
-  if (input.options.readWriteMarkers) {
-    return OPAQUE;
-  }
   if ("allOf" in node || "anyOf" in node || "oneOf" in node) {
-    return composedMember(node, key, { ...input, depth: input.depth + 1 });
+    return composedMember(owner, key, { ...input, depth: input.depth + 1 });
   }
   if (isObjectShape(node)) {
-    return objectMember(node, key, input.options);
+    return objectMember(owner, key, input);
   }
   if (isArrayShape(node)) {
     return INDEX_RE.test(key) || isBuiltInMember(key, []) ? OPAQUE : MISSING;
@@ -158,5 +144,5 @@ function generatedMember(schema, key, options, refs) {
   return memberAt(schema, key, { options, refs, depth: 0 });
 }
 
-export { followRefs, generatedMember, isArrayShape, isJsonObject, isNullableSchema, isObjectShape, propertyPresence, schemaPresence };
+export { generatedMember, isArrayShape, isObjectShape };
 //# sourceMappingURL=generated-shape.mjs.map

package/dist/application/transform/ref-pointer/generated-shape.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"generated-shape.mjs","sources":["../../../../src/application/transform/ref-pointer/generated-shape.ts"],"sourcesContent":["import { isRawBinarySchema } from \"../../../domain/openapi/binary-content.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\n\n/**\n * What the generated type of a schema has under a key, read from the schema itself. It answers the\n * question TypeScript answers when it checks `T[\"key\"]`, for the schema shapes where the answer is\n * sure; for every other shape it says `opaque`, so a caller never assumes an error that is not.\n */\n\nexport type GeneratedMember =\n  | { readonly kind: \"property\"; readonly node: unknown; readonly isOptional: boolean }\n  /** An index signature; `node` is undefined when its value type is `unknown`. */\n  | { readonly kind: \"index\"; readonly node: unknown }\n  | { readonly kind: \"missing\" }\n  | { readonly kind: \"opaque\" };\n\ntype JsonObject = Readonly<Record<string, unknown>>;\n\nconst OPAQUE_KEYS = [\"not\", \"enum\", \"const\", \"$ref\"] as const;\n/** How deep `allOf`/`anyOf`/`oneOf` members are read; deeper shapes count as opaque. */\nconst MAX_DEPTH = 8;\nconst INDEX_RE = /^\\d+$/;\nconst MISSING: GeneratedMember = { kind: \"missing\" };\nconst OPAQUE: GeneratedMember = { kind: \"opaque\" };\n\nexport function isJsonObject(value: unknown): value is JsonObject {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\n/** The schema a node stands for: a `$ref` is followed to its target. */\nexport function followRefs(node: unknown, refs: RefResolver): unknown {\n  return isJsonObject(node) && typeof node.$ref === \"string\" ? refs.resolve(node.$ref) : node;\n}\n\n/** `nullable: true` or a `type` list with `null`: the generated type includes `null`. */\nexport function isNullableSchema(node: unknown): boolean {\n  if (!isJsonObject(node)) {\n    return false;\n  }\n  return node.nullable === true || (Array.isArray(node.type) && node.type.includes(\"null\"));\n}\n\nfunction typeNames(node: JsonObject): readonly unknown[] {\n  return Array.isArray(node.type) ? node.type : [node.type];\n}\n\n/**\n * Whether the generated type is an object. One `type` name decides alone: `type: string` with\n * `properties` or `items` is `string`, as `coreType` matches the `type` before the keywords.\n */\nexport function isObjectShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"object\";\n  }\n  return (\n    typeNames(node).includes(\"object\") ||\n    \"properties\" in node ||\n    \"additionalProperties\" in node ||\n    \"patternProperties\" in node\n  );\n}\n\n/** Whether the generated type is an array; one `type` name decides alone (`isObjectShape`). */\nexport function isArrayShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"array\";\n  }\n  return typeNames(node).includes(\"array\") || \"items\" in node;\n}\n\n/** Whether `objectType` writes a type for the schema; the same test as there. */\nfunction hasObjectKeywords(node: JsonObject): boolean {\n  const hasProperties = isJsonObject(node.properties) && Object.keys(node.properties).length > 0;\n  return (\n    hasProperties || Boolean(node.additionalProperties || node.patternProperties || node.$defs)\n  );\n}\n\n/**\n * A key of an object schema without object keywords. With a `type` it is `Record<string, never>`:\n * every key is `never`, and so is every key after it (or `unknown` with `--empty-objects-unknown`,\n * which has no key). Without a `type` it is `unknown`.\n */\nfunction emptyObjectMember(node: JsonObject, options: SchemaOptions): GeneratedMember {\n  return node.type !== undefined && !options.emptyObjectsUnknown ? OPAQUE : MISSING;\n}\n\n/** Whether a key the object has no property for is still a member: `toString`, `length`, `0`. */\nfunction isBuiltInMember(key: string, prototype: object): boolean {\n  return key in prototype;\n}\n\nfunction indexMember(node: JsonObject, options: SchemaOptions): GeneratedMember | null {\n  const { additionalProperties: values, patternProperties: patterns } = node;\n  if (isJsonObject(patterns) && Object.keys(patterns).length > 0) {\n    return OPAQUE;\n  }\n  if (isJsonObject(values) && Object.keys(values).length > 0) {\n    return { kind: \"index\", node: values };\n  }\n  const isImplicit = values === true || (isJsonObject(values) && Object.keys(values).length === 0);\n  return isImplicit || (!values && options.additionalProperties)\n    ? { kind: \"index\", node: undefined }\n    : null;\n}\n\nfunction isOptionalProperty(node: JsonObject, key: string, options: SchemaOptions): boolean {\n  const required = Array.isArray(node.required) ? node.required : undefined;\n  const property = (node.properties as JsonObject)[key];\n  const hasDefault = isJsonObject(property) && property.default !== undefined;\n  const isRequired =\n    required?.includes(key) === true ||\n    (required === undefined && options.propertiesRequiredByDefault) ||\n    (hasDefault && options.defaultNonNullable);\n  return !isRequired;\n}\n\nfunction objectMember(node: JsonObject, key: string, options: SchemaOptions): GeneratedMember {\n  const properties = isJsonObject(node.properties) ? node.properties : {};\n  if (Object.hasOwn(properties, key)) {\n    const property = properties[key];\n    const isExcluded = options.excludeDeprecated && isJsonObject(property) && property.deprecated;\n    return isExcluded || isJsonObject(node.discriminator)\n      ? OPAQUE\n      : { kind: \"property\", node: property, isOptional: isOptionalProperty(node, key, options) };\n  }\n  // `unevaluatedProperties` adds an index signature with its fix, so it counts as opaque too.\n  const isUnknownShape =\n    isJsonObject(node.discriminator) || node.unevaluatedProperties !== undefined;\n  if (isBuiltInMember(key, {}) || key === \"$defs\" || isUnknownShape) {\n    return OPAQUE;\n  }\n  return hasObjectKeywords(node)\n    ? (indexMember(node, options) ?? MISSING)\n    : emptyObjectMember(node, options);\n}\n\n/** Whether a value is there: `present`, `absent` (may be `undefined` or `null`) or `unknown`. */\nexport type Presence = \"present\" | \"absent\" | \"unknown\";\n\n/** The presence of a value of `schema` itself: `absent` when its type includes `null`. */\nexport function schemaPresence(schema: unknown, refs: RefResolver): Presence {\n  return isNullableSchema(followRefs(schema, refs)) ? \"absent\" : \"present\";\n}\n\n/** The presence of property `key` of `schema`: optional or nullable is `absent`. */\nexport function propertyPresence(\n  schema: unknown,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): Presence {\n  const node = followRefs(schema, refs);\n  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};\n  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {\n    return \"unknown\";\n  }\n  return isOptionalProperty(node, key, options) ? \"absent\" : schemaPresence(properties[key], refs);\n}\n\nfunction membersOf(node: JsonObject, keyword: string): readonly unknown[] {\n  const members = node[keyword];\n  return Array.isArray(members) ? members : [];\n}\n\nfunction withoutComposition(node: JsonObject): JsonObject {\n  const { allOf: _allOf, anyOf: _anyOf, oneOf: _oneOf, ...own } = node;\n  return own;\n}\n\n/** Own keywords without an object type of their own (`properties: {}`) add no part. */\nfunction hasOwnObjectType(own: JsonObject): boolean {\n  return isObjectShape(own) && (hasObjectKeywords(own) || isJsonObject(own.discriminator));\n}\n\n/**\n * `allOf` with own keywords is an intersection (`intersectionMember`).\n * `anyOf` or `oneOf` alone is a union: a key is missing if one member misses it. A mix of both\n * is written in more than one way (`anyof-properties`), so it counts as opaque.\n */\nfunction composedMember(node: JsonObject, key: string, input: MemberInput): GeneratedMember {\n  const variants = [...membersOf(node, \"anyOf\"), ...membersOf(node, \"oneOf\")];\n  const own = withoutComposition(node);\n  const hasOwn = hasOwnObjectType(own);\n  if (variants.length > 0) {\n    const isAlone = membersOf(node, \"allOf\").length === 0 && !hasOwn;\n    const members = variants.map((variant) => memberAt(variant, key, input));\n    return isAlone && members.some((member) => member.kind === \"missing\") ? MISSING : OPAQUE;\n  }\n  const parts = [...membersOf(node, \"allOf\"), ...(hasOwn ? [own] : [])];\n  return intersectionMember(parts.map((part) => memberAt(part, key, input)));\n}\n\nfunction isUnknownIndex(member: GeneratedMember): boolean {\n  return member.kind === \"index\" && member.node === undefined;\n}\n\n/**\n * A key of an intersection: missing if every part misses it; the part's member if only one part\n * has it (`A & B` where `B` has no such key and no index signature); else opaque. A part's\n * `[key: string]: unknown` adds nothing (`unknown & T` is `T`), and only such parts give `unknown`.\n */\nfunction intersectionMember(members: readonly GeneratedMember[]): GeneratedMember {\n  const found = members.filter((member) => member.kind !== \"missing\");\n  const typed = found.filter((member) => !isUnknownIndex(member));\n  const [only] = typed;\n  if (only === undefined) {\n    return found[0] ?? MISSING;\n  }\n  return typed.length === 1 && only.kind !== \"opaque\" ? only : OPAQUE;\n}\n\ninterface MemberInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n  readonly depth: number;\n}\n\nfunction memberAt(schema: unknown, key: string, input: MemberInput): GeneratedMember {\n  const node = followRefs(schema, input.refs);\n  if (!isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {\n    return OPAQUE;\n  }\n  if (isNullableSchema(node)) {\n    // Every key of `T | null` is an error, unless `T` is unknown (then the type is `unknown`).\n    return isObjectShape(node) || isArrayShape(node) ? MISSING : OPAQUE;\n  }\n  if (input.options.readWriteMarkers) {\n    return OPAQUE;\n  }\n  if (\"allOf\" in node || \"anyOf\" in node || \"oneOf\" in node) {\n    return composedMember(node, key, { ...input, depth: input.depth + 1 });\n  }\n  if (isObjectShape(node)) {\n    return objectMember(node, key, input.options);\n  }\n  if (isArrayShape(node)) {\n    return INDEX_RE.test(key) || isBuiltInMember(key, []) ? OPAQUE : MISSING;\n  }\n  // `--binary-as-blob` types raw binary strings as `Blob`, which has members of its own.\n  return input.options.binaryAsBlob && isRawBinarySchema(node as never)\n    ? OPAQUE\n    : primitiveMember(node, key);\n}\n\n/** The JavaScript value whose members a primitive `type` has: `\"\".length`, `(0).toFixed`. */\nconst PRIMITIVE_PROTOTYPES: Readonly<Record<string, object>> = {\n  string: String.prototype,\n  number: Number.prototype,\n  integer: Number.prototype,\n  boolean: Boolean.prototype,\n};\n\n/**\n * A key of a schema with one primitive `type`: missing unless the primitive has it. Object and\n * array keywords next to that `type` do not change the type (`isObjectShape`). Without a `type`\n * and object keywords the schema is `unknown` (`objectType` writes nothing), which has no keys.\n */\nfunction primitiveMember(node: JsonObject, key: string): GeneratedMember {\n  if (node.type === undefined) {\n    return hasObjectKeywords(node) ? OPAQUE : MISSING;\n  }\n  const prototype = typeof node.type === \"string\" ? PRIMITIVE_PROTOTYPES[node.type] : undefined;\n  return prototype !== undefined && !isBuiltInMember(key, prototype) ? MISSING : OPAQUE;\n}\n\n/** The member `key` of the type generated for `schema` (a `$ref` is followed first). */\nexport function generatedMember(\n  schema: unknown,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): GeneratedMember {\n  return memberAt(schema, key, { options, refs, depth: 0 });\n}\n"],"names":[],"mappings":";;AAkBA,MAAM,WAAA,GAAc,CAAC,KAAA,EAAO,MAAA,EAAQ,SAAS,MAAM,CAAA;AAEnD,MAAM,SAAA,GAAY,CAAA;AAClB,MAAM,QAAA,GAAW,OAAA;AACjB,MAAM,OAAA,GAA2B,EAAE,IAAA,EAAM,SAAA,EAAU;AACnD,MAAM,MAAA,GAA0B,EAAE,IAAA,EAAM,QAAA,EAAS;AAE1C,SAAS,aAAa,KAAA,EAAqC;AAChE,EAAA,OAAO,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,CAAC,KAAA,CAAM,QAAQ,KAAK,CAAA;AAC5E;AAGO,SAAS,UAAA,CAAW,MAAe,IAAA,EAA4B;AACpE,EAAA,OAAO,YAAA,CAAa,IAAI,CAAA,IAAK,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA;AACzF;AAGO,SAAS,iBAAiB,IAAA,EAAwB;AACvD,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,IAAA,IAAS,KAAA,CAAM,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA,IAAK,IAAA,CAAK,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA;AACzF;AAEA,SAAS,UAAU,IAAA,EAAsC;AACvD,EAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,IAAI,IAAI,IAAA,CAAK,IAAA,GAAO,CAAC,IAAA,CAAK,IAAI,CAAA;AAC1D;AAMO,SAAS,cAAc,IAAA,EAA2B;AACvD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,QAAA;AAAA,EACvB;AACA,EAAA,OACE,SAAA,CAAU,IAAI,CAAA,CAAE,QAAA,CAAS,QAAQ,KACjC,YAAA,IAAgB,IAAA,IAChB,sBAAA,IAA0B,IAAA,IAC1B,mBAAA,IAAuB,IAAA;AAE3B;AAGO,SAAS,aAAa,IAAA,EAA2B;AACtD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,OAAA;AAAA,EACvB;AACA,EAAA,OAAO,UAAU,IAAI,CAAA,CAAE,QAAA,CAAS,OAAO,KAAK,OAAA,IAAW,IAAA;AACzD;AAGA,SAAS,kBAAkB,IAAA,EAA2B;AACpD,EAAA,MAAM,aAAA,GAAgB,YAAA,CAAa,IAAA,CAAK,UAAU,CAAA,IAAK,OAAO,IAAA,CAAK,IAAA,CAAK,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAC7F,EAAA,OACE,iBAAiB,OAAA,CAAQ,IAAA,CAAK,wBAAwB,IAAA,CAAK,iBAAA,IAAqB,KAAK,KAAK,CAAA;AAE9F;AAOA,SAAS,iBAAA,CAAkB,MAAkB,OAAA,EAAyC;AACpF,EAAA,OAAO,KAAK,IAAA,KAAS,MAAA,IAAa,CAAC,OAAA,CAAQ,sBAAsB,MAAA,GAAS,OAAA;AAC5E;AAGA,SAAS,eAAA,CAAgB,KAAa,SAAA,EAA4B;AAChE,EAAA,OAAO,GAAA,IAAO,SAAA;AAChB;AAEA,SAAS,WAAA,CAAY,MAAkB,OAAA,EAAgD;AACrF,EAAA,MAAM,EAAE,oBAAA,EAAsB,MAAA,EAAQ,iBAAA,EAAmB,UAAS,GAAI,IAAA;AACtE,EAAA,IAAI,YAAA,CAAa,QAAQ,CAAA,IAAK,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAE,SAAS,CAAA,EAAG;AAC9D,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,YAAA,CAAa,MAAM,CAAA,IAAK,MAAA,CAAO,KAAK,MAAM,CAAA,CAAE,SAAS,CAAA,EAAG;AAC1D,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,MAAA,EAAO;AAAA,EACvC;AACA,EAAA,MAAM,UAAA,GAAa,MAAA,KAAW,IAAA,IAAS,YAAA,CAAa,MAAM,KAAK,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA,KAAW,CAAA;AAC9F,EAAA,OAAO,UAAA,IAAe,CAAC,MAAA,IAAU,OAAA,CAAQ,oBAAA,GACrC,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,MAAA,EAAU,GACjC,IAAA;AACN;AAEA,SAAS,kBAAA,CAAmB,IAAA,EAAkB,GAAA,EAAa,OAAA,EAAiC;AAC1F,EAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,QAAQ,CAAA,GAAI,KAAK,QAAA,GAAW,MAAA;AAChE,EAAA,MAAM,QAAA,GAAY,IAAA,CAAK,UAAA,CAA0B,GAAG,CAAA;AACpD,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,QAAQ,CAAA,IAAK,SAAS,OAAA,KAAY,MAAA;AAClE,EAAA,MAAM,UAAA,GACJ,QAAA,EAAU,QAAA,CAAS,GAAG,CAAA,KAAM,IAAA,IAC3B,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IAClC,UAAA,IAAc,OAAA,CAAQ,kBAAA;AACzB,EAAA,OAAO,CAAC,UAAA;AACV;AAEA,SAAS,YAAA,CAAa,IAAA,EAAkB,GAAA,EAAa,OAAA,EAAyC;AAC5F,EAAA,MAAM,aAAa,YAAA,CAAa,IAAA,CAAK,UAAU,CAAA,GAAI,IAAA,CAAK,aAAa,EAAC;AACtE,EAAA,IAAI,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AAClC,IAAA,MAAM,QAAA,GAAW,WAAW,GAAG,CAAA;AAC/B,IAAA,MAAM,aAAa,OAAA,CAAQ,iBAAA,IAAqB,YAAA,CAAa,QAAQ,KAAK,QAAA,CAAS,UAAA;AACnF,IAAA,OAAO,cAAc,YAAA,CAAa,IAAA,CAAK,aAAa,CAAA,GAChD,SACA,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,UAAU,UAAA,EAAY,kBAAA,CAAmB,IAAA,EAAM,GAAA,EAAK,OAAO,CAAA,EAAE;AAAA,EAC7F;AAEA,EAAA,MAAM,iBACJ,YAAA,CAAa,IAAA,CAAK,aAAa,CAAA,IAAK,KAAK,qBAAA,KAA0B,MAAA;AACrE,EAAA,IAAI,gBAAgB,GAAA,EAAK,EAAE,CAAA,IAAK,GAAA,KAAQ,WAAW,cAAA,EAAgB;AACjE,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GACxB,WAAA,CAAY,IAAA,EAAM,OAAO,CAAA,IAAK,OAAA,GAC/B,iBAAA,CAAkB,IAAA,EAAM,OAAO,CAAA;AACrC;AAMO,SAAS,cAAA,CAAe,QAAiB,IAAA,EAA6B;AAC3E,EAAA,OAAO,iBAAiB,UAAA,CAAW,MAAA,EAAQ,IAAI,CAAC,IAAI,QAAA,GAAW,SAAA;AACjE;AAGO,SAAS,gBAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACU;AACV,EAAA,MAAM,IAAA,GAAO,UAAA,CAAW,MAAA,EAAQ,IAAI,CAAA;AACpC,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,IAAI,CAAA,IAAK,YAAA,CAAa,KAAK,UAAU,CAAA,GAAI,IAAA,CAAK,UAAA,GAAa,EAAC;AAC5F,EAAA,IAAI,CAAC,aAAa,IAAI,CAAA,IAAK,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AAC1D,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO,kBAAA,CAAmB,IAAA,EAAM,GAAA,EAAK,OAAO,CAAA,GAAI,WAAW,cAAA,CAAe,UAAA,CAAW,GAAG,CAAA,EAAG,IAAI,CAAA;AACjG;AAEA,SAAS,SAAA,CAAU,MAAkB,OAAA,EAAqC;AACxE,EAAA,MAAM,OAAA,GAAU,KAAK,OAAO,CAAA;AAC5B,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,GAAI,UAAU,EAAC;AAC7C;AAEA,SAAS,mBAAmB,IAAA,EAA8B;AACxD,EAAA,MAAM,EAAE,OAAO,MAAA,EAAQ,KAAA,EAAO,QAAQ,KAAA,EAAO,MAAA,EAAQ,GAAG,GAAA,EAAI,GAAI,IAAA;AAChE,EAAA,OAAO,GAAA;AACT;AAGA,SAAS,iBAAiB,GAAA,EAA0B;AAClD,EAAA,OAAO,aAAA,CAAc,GAAG,CAAA,KAAM,iBAAA,CAAkB,GAAG,CAAA,IAAK,YAAA,CAAa,IAAI,aAAa,CAAA,CAAA;AACxF;AAOA,SAAS,cAAA,CAAe,IAAA,EAAkB,GAAA,EAAa,KAAA,EAAqC;AAC1F,EAAA,MAAM,QAAA,GAAW,CAAC,GAAG,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,EAAG,GAAG,SAAA,CAAU,IAAA,EAAM,OAAO,CAAC,CAAA;AAC1E,EAAA,MAAM,GAAA,GAAM,mBAAmB,IAAI,CAAA;AACnC,EAAA,MAAM,MAAA,GAAS,iBAAiB,GAAG,CAAA;AACnC,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,MAAM,UAAU,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,CAAE,MAAA,KAAW,KAAK,CAAC,MAAA;AAC1D,IAAA,MAAM,OAAA,GAAU,SAAS,GAAA,CAAI,CAAC,YAAY,QAAA,CAAS,OAAA,EAAS,GAAA,EAAK,KAAK,CAAC,CAAA;AACvE,IAAA,OAAO,OAAA,IAAW,QAAQ,IAAA,CAAK,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,SAAS,CAAA,GAAI,OAAA,GAAU,MAAA;AAAA,EACpF;AACA,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAG,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,EAAG,GAAI,MAAA,GAAS,CAAC,GAAG,CAAA,GAAI,EAAG,CAAA;AACpE,EAAA,OAAO,kBAAA,CAAmB,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,SAAS,IAAA,EAAM,GAAA,EAAK,KAAK,CAAC,CAAC,CAAA;AAC3E;AAEA,SAAS,eAAe,MAAA,EAAkC;AACxD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,IAAA,KAAS,MAAA;AACpD;AAOA,SAAS,mBAAmB,OAAA,EAAsD;AAChF,EAAA,MAAM,QAAQ,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAW,MAAA,CAAO,SAAS,SAAS,CAAA;AAClE,EAAA,MAAM,KAAA,GAAQ,MAAM,MAAA,CAAO,CAAC,WAAW,CAAC,cAAA,CAAe,MAAM,CAAC,CAAA;AAC9D,EAAA,MAAM,CAAC,IAAI,CAAA,GAAI,KAAA;AACf,EAAA,IAAI,SAAS,MAAA,EAAW;AACtB,IAAA,OAAO,KAAA,CAAM,CAAC,CAAA,IAAK,OAAA;AAAA,EACrB;AACA,EAAA,OAAO,MAAM,MAAA,KAAW,CAAA,IAAK,IAAA,CAAK,IAAA,KAAS,WAAW,IAAA,GAAO,MAAA;AAC/D;AAQA,SAAS,QAAA,CAAS,MAAA,EAAiB,GAAA,EAAa,KAAA,EAAqC;AACnF,EAAA,MAAM,IAAA,GAAO,UAAA,CAAW,MAAA,EAAQ,KAAA,CAAM,IAAI,CAAA;AAC1C,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,IAAK,WAAA,CAAY,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,IAAQ,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,SAAA,EAAW;AAC9F,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAE1B,IAAA,OAAO,cAAc,IAAI,CAAA,IAAK,YAAA,CAAa,IAAI,IAAI,OAAA,GAAU,MAAA;AAAA,EAC/D;AACA,EAAA,IAAI,KAAA,CAAM,QAAQ,gBAAA,EAAkB;AAClC,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAA,IAAW,IAAA,IAAQ,OAAA,IAAW,IAAA,IAAQ,WAAW,IAAA,EAAM;AACzD,IAAA,OAAO,cAAA,CAAe,IAAA,EAAM,GAAA,EAAK,EAAE,GAAG,OAAO,KAAA,EAAO,KAAA,CAAM,KAAA,GAAQ,CAAA,EAAG,CAAA;AAAA,EACvE;AACA,EAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,YAAA,CAAa,IAAA,EAAM,GAAA,EAAK,KAAA,CAAM,OAAO,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,YAAA,CAAa,IAAI,CAAA,EAAG;AACtB,IAAA,OAAO,QAAA,CAAS,KAAK,GAAG,CAAA,IAAK,gBAAgB,GAAA,EAAK,EAAE,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EACnE;AAEA,EAAA,OAAO,KAAA,CAAM,QAAQ,YAAA,IAAgB,iBAAA,CAAkB,IAAa,CAAA,GAChE,MAAA,GACA,eAAA,CAAgB,IAAA,EAAM,GAAG,CAAA;AAC/B;AAGA,MAAM,oBAAA,GAAyD;AAAA,EAC7D,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,SAAS,MAAA,CAAO,SAAA;AAAA,EAChB,SAAS,OAAA,CAAQ;AACnB,CAAA;AAOA,SAAS,eAAA,CAAgB,MAAkB,GAAA,EAA8B;AACvE,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAW;AAC3B,IAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EAC5C;AACA,EAAA,MAAM,SAAA,GAAY,OAAO,IAAA,CAAK,IAAA,KAAS,WAAW,oBAAA,CAAqB,IAAA,CAAK,IAAI,CAAA,GAAI,MAAA;AACpF,EAAA,OAAO,cAAc,MAAA,IAAa,CAAC,gBAAgB,GAAA,EAAK,SAAS,IAAI,OAAA,GAAU,MAAA;AACjF;AAGO,SAAS,eAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACiB;AACjB,EAAA,OAAO,QAAA,CAAS,QAAQ,GAAA,EAAK,EAAE,SAAS,IAAA,EAAM,KAAA,EAAO,GAAG,CAAA;AAC1D;;"}
+{"version":3,"file":"generated-shape.mjs","sources":["../../../../src/application/transform/ref-pointer/generated-shape.ts"],"sourcesContent":["import { isRawBinarySchema } from \"../../../domain/openapi/binary-content.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  childLocation,\n  followLocated,\n  isJsonObject,\n  type JsonObject,\n  type LocatedNode,\n} from \"./located-node.js\";\nimport {\n  isExcludedProperty,\n  isMarkedProperty,\n  isNullableSchema,\n  isOptionalProperty,\n} from \"./property-shape.js\";\n\n/**\n * What the generated type of a schema has under a key, read from the schema itself. It answers the\n * question TypeScript answers when it checks `T[\"key\"]`, for the schema shapes where the answer is\n * sure; for every other shape it says `opaque`, so a caller never assumes an error that is not.\n */\n\nexport type GeneratedMember =\n  | {\n      readonly kind: \"property\";\n      readonly node: unknown;\n      readonly location: string | undefined;\n      readonly isOptional: boolean;\n      /** `$Read<T>` or `$Write<T>` (`isMarkedProperty`): no member but the marker's own. */\n      readonly isMarked: boolean;\n    }\n  /** An index signature; `node` is undefined when its value type is `unknown`. */\n  | { readonly kind: \"index\"; readonly node: unknown; readonly location: string | undefined }\n  | { readonly kind: \"missing\" }\n  | { readonly kind: \"opaque\" };\n\nconst OPAQUE_KEYS = [\"not\", \"enum\", \"const\", \"$ref\"] as const;\n/** How deep `allOf`/`anyOf`/`oneOf` members are read; deeper shapes count as opaque. */\nconst MAX_DEPTH = 8;\nconst INDEX_RE = /^\\d+$/;\nconst MISSING: GeneratedMember = { kind: \"missing\" };\nconst OPAQUE: GeneratedMember = { kind: \"opaque\" };\n\nfunction typeNames(node: JsonObject): readonly unknown[] {\n  return Array.isArray(node.type) ? node.type : [node.type];\n}\n\n/**\n * Whether the generated type is an object. One `type` name decides alone: `type: string` with\n * `properties` or `items` is `string`, as `coreType` matches the `type` before the keywords.\n */\nexport function isObjectShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"object\";\n  }\n  return (\n    typeNames(node).includes(\"object\") ||\n    \"properties\" in node ||\n    \"additionalProperties\" in node ||\n    \"patternProperties\" in node\n  );\n}\n\n/** Whether the generated type is an array; one `type` name decides alone (`isObjectShape`). */\nexport function isArrayShape(node: JsonObject): boolean {\n  if (typeof node.type === \"string\") {\n    return node.type === \"array\";\n  }\n  return typeNames(node).includes(\"array\") || \"items\" in node;\n}\n\n/** Whether `objectType` writes a type for the schema; the same test as there. */\nfunction hasObjectKeywords(node: JsonObject): boolean {\n  const hasProperties = isJsonObject(node.properties) && Object.keys(node.properties).length > 0;\n  return (\n    hasProperties || Boolean(node.additionalProperties || node.patternProperties || node.$defs)\n  );\n}\n\n/**\n * A key of an object schema without object keywords. With a `type` it is `Record<string, never>`:\n * every key is `never`, and so is every key after it (or `unknown` with `--empty-objects-unknown`,\n * which has no key). Without a `type` it is `unknown`.\n */\nfunction emptyObjectMember(node: JsonObject, options: SchemaOptions): GeneratedMember {\n  return node.type !== undefined && !options.emptyObjectsUnknown ? OPAQUE : MISSING;\n}\n\n/** Whether a key the object has no property for is still a member: `toString`, `length`, `0`. */\nfunction isBuiltInMember(key: string, prototype: object): boolean {\n  return key in prototype;\n}\n\nfunction indexMember(owner: LocatedNode & { node: JsonObject }, options: SchemaOptions) {\n  const { additionalProperties: values, patternProperties: patterns } = owner.node;\n  if (isJsonObject(patterns) && Object.keys(patterns).length > 0) {\n    return OPAQUE;\n  }\n  if (isJsonObject(values) && Object.keys(values).length > 0) {\n    const location = childLocation(owner.location, \"additionalProperties\");\n    return { kind: \"index\", node: values, location } satisfies GeneratedMember;\n  }\n  const isImplicit = values === true || (isJsonObject(values) && Object.keys(values).length === 0);\n  return isImplicit || (!values && options.additionalProperties)\n    ? ({ kind: \"index\", node: undefined, location: undefined } satisfies GeneratedMember)\n    : null;\n}\n\nfunction objectMember(\n  owner: LocatedNode & { node: JsonObject },\n  key: string,\n  input: MemberInput,\n): GeneratedMember {\n  const { options } = input;\n  const { node } = owner;\n  const properties = isJsonObject(node.properties) ? node.properties : {};\n  if (Object.hasOwn(properties, key) && !isExcludedProperty(properties[key], options, input.refs)) {\n    if (isJsonObject(node.discriminator)) {\n      return OPAQUE;\n    }\n    const location = childLocation(owner.location, \"properties\", key);\n    const isOptional = isOptionalProperty(owner, key, options);\n    const isMarked = isMarkedProperty(properties[key], options, input.refs);\n    return { kind: \"property\", node: properties[key], location, isOptional, isMarked };\n  }\n  // `unevaluatedProperties` adds an index signature with its fix, so it counts as opaque too.\n  const isUnknownShape =\n    isJsonObject(node.discriminator) || node.unevaluatedProperties !== undefined;\n  if (isBuiltInMember(key, {}) || key === \"$defs\" || isUnknownShape) {\n    return OPAQUE;\n  }\n  return hasObjectKeywords(node)\n    ? (indexMember(owner, options) ?? MISSING)\n    : emptyObjectMember(node, options);\n}\n\nfunction membersOf(node: JsonObject, keyword: string): readonly unknown[] {\n  const members = node[keyword];\n  return Array.isArray(members) ? members : [];\n}\n\n/** The members of a composition keyword with their locations. */\nfunction locatedMembers(owner: LocatedNode & { node: JsonObject }, keyword: string): LocatedNode[] {\n  return membersOf(owner.node, keyword).map((node, index) => ({\n    node,\n    location: childLocation(owner.location, keyword, String(index)),\n  }));\n}\n\nfunction withoutComposition(node: JsonObject): JsonObject {\n  const { allOf: _allOf, anyOf: _anyOf, oneOf: _oneOf, ...own } = node;\n  return own;\n}\n\n/** Own keywords without an object type of their own (`properties: {}`) add no part. */\nfunction hasOwnObjectType(own: JsonObject): boolean {\n  return isObjectShape(own) && (hasObjectKeywords(own) || isJsonObject(own.discriminator));\n}\n\n/**\n * `allOf` with own keywords is an intersection (`intersectionMember`).\n * `anyOf` or `oneOf` alone is a union: a key is missing if one member misses it. A mix of both\n * is written in more than one way (`anyof-properties`), so it counts as opaque.\n */\nfunction composedMember(\n  owner: LocatedNode & { node: JsonObject },\n  key: string,\n  input: MemberInput,\n): GeneratedMember {\n  const { node } = owner;\n  const variants = [...locatedMembers(owner, \"anyOf\"), ...locatedMembers(owner, \"oneOf\")];\n  const own = withoutComposition(node);\n  const hasOwn = hasOwnObjectType(own);\n  if (variants.length > 0) {\n    const isAlone = membersOf(node, \"allOf\").length === 0 && !hasOwn;\n    const members = variants.map((variant) => memberAt(variant, key, input));\n    return isAlone && members.some((member) => member.kind === \"missing\") ? MISSING : OPAQUE;\n  }\n  const ownPart = { node: own, location: owner.location };\n  const parts = [...locatedMembers(owner, \"allOf\"), ...(hasOwn ? [ownPart] : [])];\n  return intersectionMember(parts.map((part) => memberAt(part, key, input)));\n}\n\nfunction isUnknownIndex(member: GeneratedMember): boolean {\n  return member.kind === \"index\" && member.node === undefined;\n}\n\n/**\n * A key of an intersection: missing if every part misses it; the part's member if only one part\n * has it (`A & B` where `B` has no such key and no index signature); else opaque. A part's\n * `[key: string]: unknown` adds nothing (`unknown & T` is `T`), and only such parts give `unknown`.\n */\nfunction intersectionMember(members: readonly GeneratedMember[]): GeneratedMember {\n  const found = members.filter((member) => member.kind !== \"missing\");\n  const typed = found.filter((member) => !isUnknownIndex(member));\n  const [only] = typed;\n  if (only === undefined) {\n    return found[0] ?? MISSING;\n  }\n  return typed.length === 1 && only.kind !== \"opaque\" ? only : OPAQUE;\n}\n\ninterface MemberInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n  readonly depth: number;\n}\n\nfunction memberAt(schema: LocatedNode, key: string, input: MemberInput): GeneratedMember {\n  const followed = followLocated(schema, input.refs);\n  const { node } = followed;\n  if (!isJsonObject(node) || OPAQUE_KEYS.some((name) => name in node) || input.depth > MAX_DEPTH) {\n    return OPAQUE;\n  }\n  const owner = { ...followed, node };\n  if (isNullableSchema(node)) {\n    // Every key of `T | null` is an error, unless `T` is unknown (then the type is `unknown`).\n    return isObjectShape(node) || isArrayShape(node) ? MISSING : OPAQUE;\n  }\n  if (\"allOf\" in node || \"anyOf\" in node || \"oneOf\" in node) {\n    return composedMember(owner, key, { ...input, depth: input.depth + 1 });\n  }\n  if (isObjectShape(node)) {\n    return objectMember(owner, key, input);\n  }\n  if (isArrayShape(node)) {\n    return INDEX_RE.test(key) || isBuiltInMember(key, []) ? OPAQUE : MISSING;\n  }\n  // `--binary-as-blob` types raw binary strings as `Blob`, which has members of its own.\n  return input.options.binaryAsBlob && isRawBinarySchema(node as never)\n    ? OPAQUE\n    : primitiveMember(node, key);\n}\n\n/** The JavaScript value whose members a primitive `type` has: `\"\".length`, `(0).toFixed`. */\nconst PRIMITIVE_PROTOTYPES: Readonly<Record<string, object>> = {\n  string: String.prototype,\n  number: Number.prototype,\n  integer: Number.prototype,\n  boolean: Boolean.prototype,\n};\n\n/**\n * A key of a schema with one primitive `type`: missing unless the primitive has it. Object and\n * array keywords next to that `type` do not change the type (`isObjectShape`). Without a `type`\n * and object keywords the schema is `unknown` (`objectType` writes nothing), which has no keys.\n */\nfunction primitiveMember(node: JsonObject, key: string): GeneratedMember {\n  if (node.type === undefined) {\n    return hasObjectKeywords(node) ? OPAQUE : MISSING;\n  }\n  const prototype = typeof node.type === \"string\" ? PRIMITIVE_PROTOTYPES[node.type] : undefined;\n  return prototype !== undefined && !isBuiltInMember(key, prototype) ? MISSING : OPAQUE;\n}\n\n/** The member `key` of the type generated for `schema` (a `$ref` is followed first). */\nexport function generatedMember(\n  schema: LocatedNode,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): GeneratedMember {\n  return memberAt(schema, key, { options, refs, depth: 0 });\n}\n"],"names":[],"mappings":";;;;AAoCA,MAAM,WAAA,GAAc,CAAC,KAAA,EAAO,MAAA,EAAQ,SAAS,MAAM,CAAA;AAEnD,MAAM,SAAA,GAAY,CAAA;AAClB,MAAM,QAAA,GAAW,OAAA;AACjB,MAAM,OAAA,GAA2B,EAAE,IAAA,EAAM,SAAA,EAAU;AACnD,MAAM,MAAA,GAA0B,EAAE,IAAA,EAAM,QAAA,EAAS;AAEjD,SAAS,UAAU,IAAA,EAAsC;AACvD,EAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,IAAI,IAAI,IAAA,CAAK,IAAA,GAAO,CAAC,IAAA,CAAK,IAAI,CAAA;AAC1D;AAMO,SAAS,cAAc,IAAA,EAA2B;AACvD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,QAAA;AAAA,EACvB;AACA,EAAA,OACE,SAAA,CAAU,IAAI,CAAA,CAAE,QAAA,CAAS,QAAQ,KACjC,YAAA,IAAgB,IAAA,IAChB,sBAAA,IAA0B,IAAA,IAC1B,mBAAA,IAAuB,IAAA;AAE3B;AAGO,SAAS,aAAa,IAAA,EAA2B;AACtD,EAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,IAAA,OAAO,KAAK,IAAA,KAAS,OAAA;AAAA,EACvB;AACA,EAAA,OAAO,UAAU,IAAI,CAAA,CAAE,QAAA,CAAS,OAAO,KAAK,OAAA,IAAW,IAAA;AACzD;AAGA,SAAS,kBAAkB,IAAA,EAA2B;AACpD,EAAA,MAAM,aAAA,GAAgB,YAAA,CAAa,IAAA,CAAK,UAAU,CAAA,IAAK,OAAO,IAAA,CAAK,IAAA,CAAK,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAC7F,EAAA,OACE,iBAAiB,OAAA,CAAQ,IAAA,CAAK,wBAAwB,IAAA,CAAK,iBAAA,IAAqB,KAAK,KAAK,CAAA;AAE9F;AAOA,SAAS,iBAAA,CAAkB,MAAkB,OAAA,EAAyC;AACpF,EAAA,OAAO,KAAK,IAAA,KAAS,MAAA,IAAa,CAAC,OAAA,CAAQ,sBAAsB,MAAA,GAAS,OAAA;AAC5E;AAGA,SAAS,eAAA,CAAgB,KAAa,SAAA,EAA4B;AAChE,EAAA,OAAO,GAAA,IAAO,SAAA;AAChB;AAEA,SAAS,WAAA,CAAY,OAA2C,OAAA,EAAwB;AACtF,EAAA,MAAM,EAAE,oBAAA,EAAsB,MAAA,EAAQ,iBAAA,EAAmB,QAAA,KAAa,KAAA,CAAM,IAAA;AAC5E,EAAA,IAAI,YAAA,CAAa,QAAQ,CAAA,IAAK,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAE,SAAS,CAAA,EAAG;AAC9D,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,YAAA,CAAa,MAAM,CAAA,IAAK,MAAA,CAAO,KAAK,MAAM,CAAA,CAAE,SAAS,CAAA,EAAG;AAC1D,IAAA,MAAM,QAAA,GAAW,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,sBAAsB,CAAA;AACrE,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAQ,QAAA,EAAS;AAAA,EACjD;AACA,EAAA,MAAM,UAAA,GAAa,MAAA,KAAW,IAAA,IAAS,YAAA,CAAa,MAAM,KAAK,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA,KAAW,CAAA;AAC9F,EAAA,OAAO,UAAA,IAAe,CAAC,MAAA,IAAU,OAAA,CAAQ,oBAAA,GACpC,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,MAAA,EAAW,QAAA,EAAU,MAAA,EAAU,GACvD,IAAA;AACN;AAEA,SAAS,YAAA,CACP,KAAA,EACA,GAAA,EACA,KAAA,EACiB;AACjB,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,aAAa,YAAA,CAAa,IAAA,CAAK,UAAU,CAAA,GAAI,IAAA,CAAK,aAAa,EAAC;AACtE,EAAA,IAAI,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,IAAK,CAAC,kBAAA,CAAmB,UAAA,CAAW,GAAG,CAAA,EAAG,OAAA,EAAS,KAAA,CAAM,IAAI,CAAA,EAAG;AAC/F,IAAA,IAAI,YAAA,CAAa,IAAA,CAAK,aAAa,CAAA,EAAG;AACpC,MAAA,OAAO,MAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAA,GAAW,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,cAAc,GAAG,CAAA;AAChE,IAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,KAAA,EAAO,GAAA,EAAK,OAAO,CAAA;AACzD,IAAA,MAAM,WAAW,gBAAA,CAAiB,UAAA,CAAW,GAAG,CAAA,EAAG,OAAA,EAAS,MAAM,IAAI,CAAA;AACtE,IAAA,OAAO,EAAE,MAAM,UAAA,EAAY,IAAA,EAAM,WAAW,GAAG,CAAA,EAAG,QAAA,EAAU,UAAA,EAAY,QAAA,EAAS;AAAA,EACnF;AAEA,EAAA,MAAM,iBACJ,YAAA,CAAa,IAAA,CAAK,aAAa,CAAA,IAAK,KAAK,qBAAA,KAA0B,MAAA;AACrE,EAAA,IAAI,gBAAgB,GAAA,EAAK,EAAE,CAAA,IAAK,GAAA,KAAQ,WAAW,cAAA,EAAgB;AACjE,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GACxB,WAAA,CAAY,KAAA,EAAO,OAAO,CAAA,IAAK,OAAA,GAChC,iBAAA,CAAkB,IAAA,EAAM,OAAO,CAAA;AACrC;AAEA,SAAS,SAAA,CAAU,MAAkB,OAAA,EAAqC;AACxE,EAAA,MAAM,OAAA,GAAU,KAAK,OAAO,CAAA;AAC5B,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,GAAI,UAAU,EAAC;AAC7C;AAGA,SAAS,cAAA,CAAe,OAA2C,OAAA,EAAgC;AACjG,EAAA,OAAO,SAAA,CAAU,MAAM,IAAA,EAAM,OAAO,EAAE,GAAA,CAAI,CAAC,MAAM,KAAA,MAAW;AAAA,IAC1D,IAAA;AAAA,IACA,UAAU,aAAA,CAAc,KAAA,CAAM,UAAU,OAAA,EAAS,MAAA,CAAO,KAAK,CAAC;AAAA,GAChE,CAAE,CAAA;AACJ;AAEA,SAAS,mBAAmB,IAAA,EAA8B;AACxD,EAAA,MAAM,EAAE,OAAO,MAAA,EAAQ,KAAA,EAAO,QAAQ,KAAA,EAAO,MAAA,EAAQ,GAAG,GAAA,EAAI,GAAI,IAAA;AAChE,EAAA,OAAO,GAAA;AACT;AAGA,SAAS,iBAAiB,GAAA,EAA0B;AAClD,EAAA,OAAO,aAAA,CAAc,GAAG,CAAA,KAAM,iBAAA,CAAkB,GAAG,CAAA,IAAK,YAAA,CAAa,IAAI,aAAa,CAAA,CAAA;AACxF;AAOA,SAAS,cAAA,CACP,KAAA,EACA,GAAA,EACA,KAAA,EACiB;AACjB,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,QAAA,GAAW,CAAC,GAAG,cAAA,CAAe,KAAA,EAAO,OAAO,CAAA,EAAG,GAAG,cAAA,CAAe,KAAA,EAAO,OAAO,CAAC,CAAA;AACtF,EAAA,MAAM,GAAA,GAAM,mBAAmB,IAAI,CAAA;AACnC,EAAA,MAAM,MAAA,GAAS,iBAAiB,GAAG,CAAA;AACnC,EAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,IAAA,MAAM,UAAU,SAAA,CAAU,IAAA,EAAM,OAAO,CAAA,CAAE,MAAA,KAAW,KAAK,CAAC,MAAA;AAC1D,IAAA,MAAM,OAAA,GAAU,SAAS,GAAA,CAAI,CAAC,YAAY,QAAA,CAAS,OAAA,EAAS,GAAA,EAAK,KAAK,CAAC,CAAA;AACvE,IAAA,OAAO,OAAA,IAAW,QAAQ,IAAA,CAAK,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,SAAS,CAAA,GAAI,OAAA,GAAU,MAAA;AAAA,EACpF;AACA,EAAA,MAAM,UAAU,EAAE,IAAA,EAAM,GAAA,EAAK,QAAA,EAAU,MAAM,QAAA,EAAS;AACtD,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAG,cAAA,CAAe,KAAA,EAAO,OAAO,CAAA,EAAG,GAAI,MAAA,GAAS,CAAC,OAAO,CAAA,GAAI,EAAG,CAAA;AAC9E,EAAA,OAAO,kBAAA,CAAmB,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,SAAS,IAAA,EAAM,GAAA,EAAK,KAAK,CAAC,CAAC,CAAA;AAC3E;AAEA,SAAS,eAAe,MAAA,EAAkC;AACxD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,IAAA,KAAS,MAAA;AACpD;AAOA,SAAS,mBAAmB,OAAA,EAAsD;AAChF,EAAA,MAAM,QAAQ,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAW,MAAA,CAAO,SAAS,SAAS,CAAA;AAClE,EAAA,MAAM,KAAA,GAAQ,MAAM,MAAA,CAAO,CAAC,WAAW,CAAC,cAAA,CAAe,MAAM,CAAC,CAAA;AAC9D,EAAA,MAAM,CAAC,IAAI,CAAA,GAAI,KAAA;AACf,EAAA,IAAI,SAAS,MAAA,EAAW;AACtB,IAAA,OAAO,KAAA,CAAM,CAAC,CAAA,IAAK,OAAA;AAAA,EACrB;AACA,EAAA,OAAO,MAAM,MAAA,KAAW,CAAA,IAAK,IAAA,CAAK,IAAA,KAAS,WAAW,IAAA,GAAO,MAAA;AAC/D;AAQA,SAAS,QAAA,CAAS,MAAA,EAAqB,GAAA,EAAa,KAAA,EAAqC;AACvF,EAAA,MAAM,QAAA,GAAW,aAAA,CAAc,MAAA,EAAQ,KAAA,CAAM,IAAI,CAAA;AACjD,EAAA,MAAM,EAAE,MAAK,GAAI,QAAA;AACjB,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,IAAK,WAAA,CAAY,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,IAAQ,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,SAAA,EAAW;AAC9F,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,EAAE,GAAG,QAAA,EAAU,IAAA,EAAK;AAClC,EAAA,IAAI,gBAAA,CAAiB,IAAI,CAAA,EAAG;AAE1B,IAAA,OAAO,cAAc,IAAI,CAAA,IAAK,YAAA,CAAa,IAAI,IAAI,OAAA,GAAU,MAAA;AAAA,EAC/D;AACA,EAAA,IAAI,OAAA,IAAW,IAAA,IAAQ,OAAA,IAAW,IAAA,IAAQ,WAAW,IAAA,EAAM;AACzD,IAAA,OAAO,cAAA,CAAe,KAAA,EAAO,GAAA,EAAK,EAAE,GAAG,OAAO,KAAA,EAAO,KAAA,CAAM,KAAA,GAAQ,CAAA,EAAG,CAAA;AAAA,EACxE;AACA,EAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,YAAA,CAAa,KAAA,EAAO,GAAA,EAAK,KAAK,CAAA;AAAA,EACvC;AACA,EAAA,IAAI,YAAA,CAAa,IAAI,CAAA,EAAG;AACtB,IAAA,OAAO,QAAA,CAAS,KAAK,GAAG,CAAA,IAAK,gBAAgB,GAAA,EAAK,EAAE,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EACnE;AAEA,EAAA,OAAO,KAAA,CAAM,QAAQ,YAAA,IAAgB,iBAAA,CAAkB,IAAa,CAAA,GAChE,MAAA,GACA,eAAA,CAAgB,IAAA,EAAM,GAAG,CAAA;AAC/B;AAGA,MAAM,oBAAA,GAAyD;AAAA,EAC7D,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,QAAQ,MAAA,CAAO,SAAA;AAAA,EACf,SAAS,MAAA,CAAO,SAAA;AAAA,EAChB,SAAS,OAAA,CAAQ;AACnB,CAAA;AAOA,SAAS,eAAA,CAAgB,MAAkB,GAAA,EAA8B;AACvE,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAW;AAC3B,IAAA,OAAO,iBAAA,CAAkB,IAAI,CAAA,GAAI,MAAA,GAAS,OAAA;AAAA,EAC5C;AACA,EAAA,MAAM,SAAA,GAAY,OAAO,IAAA,CAAK,IAAA,KAAS,WAAW,oBAAA,CAAqB,IAAA,CAAK,IAAI,CAAA,GAAI,MAAA;AACpF,EAAA,OAAO,cAAc,MAAA,IAAa,CAAC,gBAAgB,GAAA,EAAK,SAAS,IAAI,OAAA,GAAU,MAAA;AACjF;AAGO,SAAS,eAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACiB;AACjB,EAAA,OAAO,QAAA,CAAS,QAAQ,GAAA,EAAK,EAAE,SAAS,IAAA,EAAM,KAAA,EAAO,GAAG,CAAA;AAC1D;;"}

package/dist/application/transform/ref-pointer/inline-cycles.cjs

@@ -1,6 +1,6 @@
 'use strict';
 
-const generatedShape = require('./generated-shape.cjs');
+const locatedNode = require('./located-node.cjs');
 const pointerWalk = require('./pointer-walk.cjs');
 const typedWalk = require('./typed-walk.cjs');
 
@@ -9,7 +9,7 @@ function refsIn(node, found = []) {
     for (const item of node) {
       refsIn(item, found);
     }
-  } else if (generatedShape.isJsonObject(node)) {
+  } else if (locatedNode.isJsonObject(node)) {
     if (typeof node.$ref === "string") {
       found.push(node.$ref);
     }

package/dist/application/transform/ref-pointer/inline-cycles.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"inline-cycles.cjs","sources":["../../../../src/application/transform/ref-pointer/inline-cycles.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { isJsonObject } from \"./generated-shape.js\";\nimport { pointerNode, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * A `$ref` whose pointer crosses a segment with no type (`definitions/A`) is typed by writing its\n * target inline. If the target, directly or through other such `$ref`s, points back at itself,\n * writing it inline never ends; such a `$ref` keeps the original type.\n */\n\ninterface CycleInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction refsIn(node: unknown, found: string[] = []): string[] {\n  if (Array.isArray(node)) {\n    for (const item of node) {\n      refsIn(item, found);\n    }\n  } else if (isJsonObject(node)) {\n    if (typeof node.$ref === \"string\") {\n      found.push(node.$ref);\n    }\n    for (const value of Object.values(node)) {\n      refsIn(value, found);\n    }\n  }\n  return found;\n}\n\nfunction isWrittenInline(ref: string, input: CycleInput): boolean {\n  const pointer = refPointerOf(ref);\n  return pointer !== null && typedWalk({ pointer, ...input }).kind === \"untyped\";\n}\n\n/** Depth-first search with the usual colors: a `$ref` met again while it is open is a cycle. */\nfunction reachesOpenRef(ref: string, open: Map<string, boolean>, input: CycleInput): boolean {\n  if (open.has(ref)) {\n    return open.get(ref) === true;\n  }\n  open.set(ref, true);\n  const pointer = refPointerOf(ref);\n  const target = pointer === null ? undefined : pointerNode(pointer, input.refs);\n  const isCycle = refsIn(target).some(\n    (inner) => isWrittenInline(inner, input) && reachesOpenRef(inner, open, input),\n  );\n  open.set(ref, false);\n  return isCycle;\n}\n\n/** Whether writing the target of `ref` inline would write it again inside itself. */\nexport function hasInlineCycle(ref: string, options: SchemaOptions, refs: RefResolver): boolean {\n  return reachesOpenRef(ref, new Map(), { options, refs });\n}\n"],"names":["isJsonObject","refPointerOf","typedWalk","pointerNode"],"mappings":";;;;;;AAgBA,SAAS,MAAA,CAAO,IAAA,EAAe,KAAA,GAAkB,EAAC,EAAa;AAC7D,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,EAAG;AACvB,IAAA,KAAA,MAAW,QAAQ,IAAA,EAAM;AACvB,MAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAAA,IACpB;AAAA,EACF,CAAA,MAAA,IAAWA,2BAAA,CAAa,IAAI,CAAA,EAAG;AAC7B,IAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,MAAA,KAAA,CAAM,IAAA,CAAK,KAAK,IAAI,CAAA;AAAA,IACtB;AACA,IAAA,KAAA,MAAW,KAAA,IAAS,MAAA,CAAO,MAAA,CAAO,IAAI,CAAA,EAAG;AACvC,MAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,eAAA,CAAgB,KAAa,KAAA,EAA4B;AAChE,EAAA,MAAM,OAAA,GAAUC,yBAAa,GAAG,CAAA;AAChC,EAAA,OAAO,OAAA,KAAY,QAAQC,mBAAA,CAAU,EAAE,SAAS,GAAG,KAAA,EAAO,CAAA,CAAE,IAAA,KAAS,SAAA;AACvE;AAGA,SAAS,cAAA,CAAe,GAAA,EAAa,IAAA,EAA4B,KAAA,EAA4B;AAC3F,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,EAAG;AACjB,IAAA,OAAO,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,KAAM,IAAA;AAAA,EAC3B;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,IAAI,CAAA;AAClB,EAAA,MAAM,OAAA,GAAUD,yBAAa,GAAG,CAAA;AAChC,EAAA,MAAM,SAAS,OAAA,KAAY,IAAA,GAAO,SAAYE,uBAAA,CAAY,OAAA,EAAS,MAAM,IAAI,CAAA;AAC7E,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,MAAM,CAAA,CAAE,IAAA;AAAA,IAC7B,CAAC,UAAU,eAAA,CAAgB,KAAA,EAAO,KAAK,CAAA,IAAK,cAAA,CAAe,KAAA,EAAO,IAAA,EAAM,KAAK;AAAA,GAC/E;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,KAAK,CAAA;AACnB,EAAA,OAAO,OAAA;AACT;AAGO,SAAS,cAAA,CAAe,GAAA,EAAa,OAAA,EAAwB,IAAA,EAA4B;AAC9F,EAAA,OAAO,cAAA,CAAe,qBAAK,IAAI,GAAA,IAAO,EAAE,OAAA,EAAS,MAAM,CAAA;AACzD;;"}
+{"version":3,"file":"inline-cycles.cjs","sources":["../../../../src/application/transform/ref-pointer/inline-cycles.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { isJsonObject } from \"./located-node.js\";\nimport { pointerNode, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * A `$ref` whose pointer crosses a segment with no type (`definitions/A`) is typed by writing its\n * target inline. If the target, directly or through other such `$ref`s, points back at itself,\n * writing it inline never ends; such a `$ref` keeps the original type.\n */\n\ninterface CycleInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction refsIn(node: unknown, found: string[] = []): string[] {\n  if (Array.isArray(node)) {\n    for (const item of node) {\n      refsIn(item, found);\n    }\n  } else if (isJsonObject(node)) {\n    if (typeof node.$ref === \"string\") {\n      found.push(node.$ref);\n    }\n    for (const value of Object.values(node)) {\n      refsIn(value, found);\n    }\n  }\n  return found;\n}\n\nfunction isWrittenInline(ref: string, input: CycleInput): boolean {\n  const pointer = refPointerOf(ref);\n  return pointer !== null && typedWalk({ pointer, ...input }).kind === \"untyped\";\n}\n\n/** Depth-first search with the usual colors: a `$ref` met again while it is open is a cycle. */\nfunction reachesOpenRef(ref: string, open: Map<string, boolean>, input: CycleInput): boolean {\n  if (open.has(ref)) {\n    return open.get(ref) === true;\n  }\n  open.set(ref, true);\n  const pointer = refPointerOf(ref);\n  const target = pointer === null ? undefined : pointerNode(pointer, input.refs);\n  const isCycle = refsIn(target).some(\n    (inner) => isWrittenInline(inner, input) && reachesOpenRef(inner, open, input),\n  );\n  open.set(ref, false);\n  return isCycle;\n}\n\n/** Whether writing the target of `ref` inline would write it again inside itself. */\nexport function hasInlineCycle(ref: string, options: SchemaOptions, refs: RefResolver): boolean {\n  return reachesOpenRef(ref, new Map(), { options, refs });\n}\n"],"names":["isJsonObject","refPointerOf","typedWalk","pointerNode"],"mappings":";;;;;;AAgBA,SAAS,MAAA,CAAO,IAAA,EAAe,KAAA,GAAkB,EAAC,EAAa;AAC7D,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,EAAG;AACvB,IAAA,KAAA,MAAW,QAAQ,IAAA,EAAM;AACvB,MAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAAA,IACpB;AAAA,EACF,CAAA,MAAA,IAAWA,wBAAA,CAAa,IAAI,CAAA,EAAG;AAC7B,IAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,MAAA,KAAA,CAAM,IAAA,CAAK,KAAK,IAAI,CAAA;AAAA,IACtB;AACA,IAAA,KAAA,MAAW,KAAA,IAAS,MAAA,CAAO,MAAA,CAAO,IAAI,CAAA,EAAG;AACvC,MAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,eAAA,CAAgB,KAAa,KAAA,EAA4B;AAChE,EAAA,MAAM,OAAA,GAAUC,yBAAa,GAAG,CAAA;AAChC,EAAA,OAAO,OAAA,KAAY,QAAQC,mBAAA,CAAU,EAAE,SAAS,GAAG,KAAA,EAAO,CAAA,CAAE,IAAA,KAAS,SAAA;AACvE;AAGA,SAAS,cAAA,CAAe,GAAA,EAAa,IAAA,EAA4B,KAAA,EAA4B;AAC3F,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,EAAG;AACjB,IAAA,OAAO,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,KAAM,IAAA;AAAA,EAC3B;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,IAAI,CAAA;AAClB,EAAA,MAAM,OAAA,GAAUD,yBAAa,GAAG,CAAA;AAChC,EAAA,MAAM,SAAS,OAAA,KAAY,IAAA,GAAO,SAAYE,uBAAA,CAAY,OAAA,EAAS,MAAM,IAAI,CAAA;AAC7E,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,MAAM,CAAA,CAAE,IAAA;AAAA,IAC7B,CAAC,UAAU,eAAA,CAAgB,KAAA,EAAO,KAAK,CAAA,IAAK,cAAA,CAAe,KAAA,EAAO,IAAA,EAAM,KAAK;AAAA,GAC/E;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,KAAK,CAAA;AACnB,EAAA,OAAO,OAAA;AACT;AAGO,SAAS,cAAA,CAAe,GAAA,EAAa,OAAA,EAAwB,IAAA,EAA4B;AAC9F,EAAA,OAAO,cAAA,CAAe,qBAAK,IAAI,GAAA,IAAO,EAAE,OAAA,EAAS,MAAM,CAAA;AACzD;;"}

package/dist/application/transform/ref-pointer/inline-cycles.mjs

@@ -1,4 +1,4 @@
-import { isJsonObject } from './generated-shape.mjs';
+import { isJsonObject } from './located-node.mjs';
 import { refPointerOf, pointerNode } from './pointer-walk.mjs';
 import { typedWalk } from './typed-walk.mjs';
 

package/dist/application/transform/ref-pointer/inline-cycles.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"inline-cycles.mjs","sources":["../../../../src/application/transform/ref-pointer/inline-cycles.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { isJsonObject } from \"./generated-shape.js\";\nimport { pointerNode, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * A `$ref` whose pointer crosses a segment with no type (`definitions/A`) is typed by writing its\n * target inline. If the target, directly or through other such `$ref`s, points back at itself,\n * writing it inline never ends; such a `$ref` keeps the original type.\n */\n\ninterface CycleInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction refsIn(node: unknown, found: string[] = []): string[] {\n  if (Array.isArray(node)) {\n    for (const item of node) {\n      refsIn(item, found);\n    }\n  } else if (isJsonObject(node)) {\n    if (typeof node.$ref === \"string\") {\n      found.push(node.$ref);\n    }\n    for (const value of Object.values(node)) {\n      refsIn(value, found);\n    }\n  }\n  return found;\n}\n\nfunction isWrittenInline(ref: string, input: CycleInput): boolean {\n  const pointer = refPointerOf(ref);\n  return pointer !== null && typedWalk({ pointer, ...input }).kind === \"untyped\";\n}\n\n/** Depth-first search with the usual colors: a `$ref` met again while it is open is a cycle. */\nfunction reachesOpenRef(ref: string, open: Map<string, boolean>, input: CycleInput): boolean {\n  if (open.has(ref)) {\n    return open.get(ref) === true;\n  }\n  open.set(ref, true);\n  const pointer = refPointerOf(ref);\n  const target = pointer === null ? undefined : pointerNode(pointer, input.refs);\n  const isCycle = refsIn(target).some(\n    (inner) => isWrittenInline(inner, input) && reachesOpenRef(inner, open, input),\n  );\n  open.set(ref, false);\n  return isCycle;\n}\n\n/** Whether writing the target of `ref` inline would write it again inside itself. */\nexport function hasInlineCycle(ref: string, options: SchemaOptions, refs: RefResolver): boolean {\n  return reachesOpenRef(ref, new Map(), { options, refs });\n}\n"],"names":[],"mappings":";;;;AAgBA,SAAS,MAAA,CAAO,IAAA,EAAe,KAAA,GAAkB,EAAC,EAAa;AAC7D,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,EAAG;AACvB,IAAA,KAAA,MAAW,QAAQ,IAAA,EAAM;AACvB,MAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAAA,IACpB;AAAA,EACF,CAAA,MAAA,IAAW,YAAA,CAAa,IAAI,CAAA,EAAG;AAC7B,IAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,MAAA,KAAA,CAAM,IAAA,CAAK,KAAK,IAAI,CAAA;AAAA,IACtB;AACA,IAAA,KAAA,MAAW,KAAA,IAAS,MAAA,CAAO,MAAA,CAAO,IAAI,CAAA,EAAG;AACvC,MAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,eAAA,CAAgB,KAAa,KAAA,EAA4B;AAChE,EAAA,MAAM,OAAA,GAAU,aAAa,GAAG,CAAA;AAChC,EAAA,OAAO,OAAA,KAAY,QAAQ,SAAA,CAAU,EAAE,SAAS,GAAG,KAAA,EAAO,CAAA,CAAE,IAAA,KAAS,SAAA;AACvE;AAGA,SAAS,cAAA,CAAe,GAAA,EAAa,IAAA,EAA4B,KAAA,EAA4B;AAC3F,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,EAAG;AACjB,IAAA,OAAO,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,KAAM,IAAA;AAAA,EAC3B;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,IAAI,CAAA;AAClB,EAAA,MAAM,OAAA,GAAU,aAAa,GAAG,CAAA;AAChC,EAAA,MAAM,SAAS,OAAA,KAAY,IAAA,GAAO,SAAY,WAAA,CAAY,OAAA,EAAS,MAAM,IAAI,CAAA;AAC7E,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,MAAM,CAAA,CAAE,IAAA;AAAA,IAC7B,CAAC,UAAU,eAAA,CAAgB,KAAA,EAAO,KAAK,CAAA,IAAK,cAAA,CAAe,KAAA,EAAO,IAAA,EAAM,KAAK;AAAA,GAC/E;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,KAAK,CAAA;AACnB,EAAA,OAAO,OAAA;AACT;AAGO,SAAS,cAAA,CAAe,GAAA,EAAa,OAAA,EAAwB,IAAA,EAA4B;AAC9F,EAAA,OAAO,cAAA,CAAe,qBAAK,IAAI,GAAA,IAAO,EAAE,OAAA,EAAS,MAAM,CAAA;AACzD;;"}
+{"version":3,"file":"inline-cycles.mjs","sources":["../../../../src/application/transform/ref-pointer/inline-cycles.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { isJsonObject } from \"./located-node.js\";\nimport { pointerNode, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * A `$ref` whose pointer crosses a segment with no type (`definitions/A`) is typed by writing its\n * target inline. If the target, directly or through other such `$ref`s, points back at itself,\n * writing it inline never ends; such a `$ref` keeps the original type.\n */\n\ninterface CycleInput {\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction refsIn(node: unknown, found: string[] = []): string[] {\n  if (Array.isArray(node)) {\n    for (const item of node) {\n      refsIn(item, found);\n    }\n  } else if (isJsonObject(node)) {\n    if (typeof node.$ref === \"string\") {\n      found.push(node.$ref);\n    }\n    for (const value of Object.values(node)) {\n      refsIn(value, found);\n    }\n  }\n  return found;\n}\n\nfunction isWrittenInline(ref: string, input: CycleInput): boolean {\n  const pointer = refPointerOf(ref);\n  return pointer !== null && typedWalk({ pointer, ...input }).kind === \"untyped\";\n}\n\n/** Depth-first search with the usual colors: a `$ref` met again while it is open is a cycle. */\nfunction reachesOpenRef(ref: string, open: Map<string, boolean>, input: CycleInput): boolean {\n  if (open.has(ref)) {\n    return open.get(ref) === true;\n  }\n  open.set(ref, true);\n  const pointer = refPointerOf(ref);\n  const target = pointer === null ? undefined : pointerNode(pointer, input.refs);\n  const isCycle = refsIn(target).some(\n    (inner) => isWrittenInline(inner, input) && reachesOpenRef(inner, open, input),\n  );\n  open.set(ref, false);\n  return isCycle;\n}\n\n/** Whether writing the target of `ref` inline would write it again inside itself. */\nexport function hasInlineCycle(ref: string, options: SchemaOptions, refs: RefResolver): boolean {\n  return reachesOpenRef(ref, new Map(), { options, refs });\n}\n"],"names":[],"mappings":";;;;AAgBA,SAAS,MAAA,CAAO,IAAA,EAAe,KAAA,GAAkB,EAAC,EAAa;AAC7D,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,EAAG;AACvB,IAAA,KAAA,MAAW,QAAQ,IAAA,EAAM;AACvB,MAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAAA,IACpB;AAAA,EACF,CAAA,MAAA,IAAW,YAAA,CAAa,IAAI,CAAA,EAAG;AAC7B,IAAA,IAAI,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EAAU;AACjC,MAAA,KAAA,CAAM,IAAA,CAAK,KAAK,IAAI,CAAA;AAAA,IACtB;AACA,IAAA,KAAA,MAAW,KAAA,IAAS,MAAA,CAAO,MAAA,CAAO,IAAI,CAAA,EAAG;AACvC,MAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AAAA,IACrB;AAAA,EACF;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,eAAA,CAAgB,KAAa,KAAA,EAA4B;AAChE,EAAA,MAAM,OAAA,GAAU,aAAa,GAAG,CAAA;AAChC,EAAA,OAAO,OAAA,KAAY,QAAQ,SAAA,CAAU,EAAE,SAAS,GAAG,KAAA,EAAO,CAAA,CAAE,IAAA,KAAS,SAAA;AACvE;AAGA,SAAS,cAAA,CAAe,GAAA,EAAa,IAAA,EAA4B,KAAA,EAA4B;AAC3F,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,EAAG;AACjB,IAAA,OAAO,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,KAAM,IAAA;AAAA,EAC3B;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,IAAI,CAAA;AAClB,EAAA,MAAM,OAAA,GAAU,aAAa,GAAG,CAAA;AAChC,EAAA,MAAM,SAAS,OAAA,KAAY,IAAA,GAAO,SAAY,WAAA,CAAY,OAAA,EAAS,MAAM,IAAI,CAAA;AAC7E,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,MAAM,CAAA,CAAE,IAAA;AAAA,IAC7B,CAAC,UAAU,eAAA,CAAgB,KAAA,EAAO,KAAK,CAAA,IAAK,cAAA,CAAe,KAAA,EAAO,IAAA,EAAM,KAAK;AAAA,GAC/E;AACA,EAAA,IAAA,CAAK,GAAA,CAAI,KAAK,KAAK,CAAA;AACnB,EAAA,OAAO,OAAA;AACT;AAGO,SAAS,cAAA,CAAe,GAAA,EAAa,OAAA,EAAwB,IAAA,EAA4B;AAC9F,EAAA,OAAO,cAAA,CAAe,qBAAK,IAAI,GAAA,IAAO,EAAE,OAAA,EAAS,MAAM,CAAA;AACzD;;"}

package/dist/application/transform/ref-pointer/located-node.cjs

@@ -0,0 +1,23 @@
+'use strict';
+
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+
+function isJsonObject(value) {
+  return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function followRefs(node, refs) {
+  return isJsonObject(node) && typeof node.$ref === "string" ? refs.resolve(node.$ref) : node;
+}
+function followLocated(located, refs) {
+  const { node } = located;
+  return isJsonObject(node) && typeof node.$ref === "string" ? { node: refs.resolve(node.$ref), location: node.$ref } : located;
+}
+function childLocation(location, ...segments) {
+  return location === void 0 ? void 0 : jsonPointer.appendPointer(location, segments);
+}
+
+exports.childLocation = childLocation;
+exports.followLocated = followLocated;
+exports.followRefs = followRefs;
+exports.isJsonObject = isJsonObject;
+//# sourceMappingURL=located-node.cjs.map