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

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

@@ -0,0 +1 @@
+{"version":3,"file":"located-node.cjs","sources":["../../../../src/application/transform/ref-pointer/located-node.ts"],"sourcesContent":["import { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\n\n/** Document nodes as the `$ref` pointer walks read them: with their place in the document. */\n\nexport type JsonObject = Readonly<Record<string, unknown>>;\n\n/**\n * A schema node and its JSON Pointer in the document. The generator writes the type of a schema\n * reached by a `$ref` at the target, and the location decides whether a property with a `default`\n * is required (`isInputLocation`). Undefined for a node that is not in the document.\n */\nexport interface LocatedNode {\n  readonly node: unknown;\n  readonly location: string | undefined;\n}\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/** `followRefs` with the location: a `$ref` is followed to its target and the target's pointer. */\nexport function followLocated(located: LocatedNode, refs: RefResolver): LocatedNode {\n  const { node } = located;\n  return isJsonObject(node) && typeof node.$ref === \"string\"\n    ? { node: refs.resolve(node.$ref), location: node.$ref }\n    : located;\n}\n\n/** The location of a child of a node at `location`, or undefined outside the document. */\nexport function childLocation(location: string | undefined, ...segments: string[]) {\n  return location === undefined ? undefined : appendPointer(location, segments);\n}\n"],"names":["appendPointer"],"mappings":";;;;AAiBO,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,aAAA,CAAc,SAAsB,IAAA,EAAgC;AAClF,EAAA,MAAM,EAAE,MAAK,GAAI,OAAA;AACjB,EAAA,OAAO,aAAa,IAAI,CAAA,IAAK,OAAO,IAAA,CAAK,SAAS,QAAA,GAC9C,EAAE,IAAA,EAAM,IAAA,CAAK,QAAQ,IAAA,CAAK,IAAI,GAAG,QAAA,EAAU,IAAA,CAAK,MAAK,GACrD,OAAA;AACN;AAGO,SAAS,aAAA,CAAc,aAAiC,QAAA,EAAoB;AACjF,EAAA,OAAO,QAAA,KAAa,MAAA,GAAY,MAAA,GAAYA,yBAAA,CAAc,UAAU,QAAQ,CAAA;AAC9E;;;;;"}

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

@@ -0,0 +1,18 @@
+import { appendPointer } from '../../../domain/openapi/json-pointer.mjs';
+
+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 : appendPointer(location, segments);
+}
+
+export { childLocation, followLocated, followRefs, isJsonObject };
+//# sourceMappingURL=located-node.mjs.map

package/dist/application/transform/ref-pointer/located-node.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"located-node.mjs","sources":["../../../../src/application/transform/ref-pointer/located-node.ts"],"sourcesContent":["import { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\n\n/** Document nodes as the `$ref` pointer walks read them: with their place in the document. */\n\nexport type JsonObject = Readonly<Record<string, unknown>>;\n\n/**\n * A schema node and its JSON Pointer in the document. The generator writes the type of a schema\n * reached by a `$ref` at the target, and the location decides whether a property with a `default`\n * is required (`isInputLocation`). Undefined for a node that is not in the document.\n */\nexport interface LocatedNode {\n  readonly node: unknown;\n  readonly location: string | undefined;\n}\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/** `followRefs` with the location: a `$ref` is followed to its target and the target's pointer. */\nexport function followLocated(located: LocatedNode, refs: RefResolver): LocatedNode {\n  const { node } = located;\n  return isJsonObject(node) && typeof node.$ref === \"string\"\n    ? { node: refs.resolve(node.$ref), location: node.$ref }\n    : located;\n}\n\n/** The location of a child of a node at `location`, or undefined outside the document. */\nexport function childLocation(location: string | undefined, ...segments: string[]) {\n  return location === undefined ? undefined : appendPointer(location, segments);\n}\n"],"names":[],"mappings":";;AAiBO,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,aAAA,CAAc,SAAsB,IAAA,EAAgC;AAClF,EAAA,MAAM,EAAE,MAAK,GAAI,OAAA;AACjB,EAAA,OAAO,aAAa,IAAI,CAAA,IAAK,OAAO,IAAA,CAAK,SAAS,QAAA,GAC9C,EAAE,IAAA,EAAM,IAAA,CAAK,QAAQ,IAAA,CAAK,IAAI,GAAG,QAAA,EAAU,IAAA,CAAK,MAAK,GACrD,OAAA;AACN;AAGO,SAAS,aAAA,CAAc,aAAiC,QAAA,EAAoB;AACjF,EAAA,OAAO,QAAA,KAAa,MAAA,GAAY,MAAA,GAAY,aAAA,CAAc,UAAU,QAAQ,CAAA;AAC9E;;"}

package/dist/application/transform/ref-pointer/original-index.cjs

@@ -1,13 +1,14 @@
 'use strict';
 
 const generatedShape = require('./generated-shape.cjs');
+const locatedNode = require('./located-node.cjs');
 const pointerWalk = require('./pointer-walk.cjs');
 
 function schemaStep(walk, segment, isLast, input) {
   if (segment === "properties") {
     return { step: "continue", walk };
   }
-  const member = generatedShape.generatedMember(walk.node, segment, input.options, input.refs);
+  const member = generatedShape.generatedMember(walk, segment, input.options, input.refs);
   if (member.kind === "missing") {
     return { step: "fails", walk };
   }
@@ -15,41 +16,95 @@ function schemaStep(walk, segment, isLast, input) {
     return { step: "compiles", walk };
   }
   const isAbsentValue = member.kind === "index" && member.node === void 0;
-  const isUnsafe = member.kind === "property" ? member.isOptional : isAbsentValue;
+  const isUnsafe = member.kind === "property" ? member.isOptional || member.isMarked : isAbsentValue;
   return {
     step: isUnsafe && !isLast ? "fails" : "continue",
-    walk: { ...walk, node: member.node }
+    walk: { ...walk, node: member.node, location: member.location }
   };
 }
 function containerStep(walk, index, input) {
   const segment = input.pointer.segments[index];
   const isLast = index === input.pointer.segments.length - 1;
+  if (pointerWalk.isExcludedOperation(input.pointer, index, walk.node, input)) {
+    return { step: "fails", walk };
+  }
   const isOptional = segment === "requestBody" && pointerWalk.isOptionalRequestBody(walk.node, input.refs) || pointerWalk.isOptionalHeader(input.pointer, index, walk.node);
   if (isOptional && !isLast) {
     return { step: "fails", walk };
   }
-  const child = generatedShape.isJsonObject(walk.node) ? generatedShape.followRefs(walk.node[segment], input.refs) : void 0;
+  const child = locatedNode.followLocated(
+    {
+      node: locatedNode.isJsonObject(walk.node) ? walk.node[segment] : void 0,
+      location: locatedNode.childLocation(walk.location, segment)
+    },
+    input.refs
+  );
   return {
-    step: child === void 0 ? "compiles" : "continue",
-    walk: { ...walk, node: child }
+    step: child.node === void 0 ? "compiles" : "continue",
+    walk: { ...walk, ...child }
   };
 }
+function firstMediaTypeSchema(walk, refs) {
+  const content = locatedNode.isJsonObject(walk.node) ? walk.node.content : void 0;
+  if (!locatedNode.isJsonObject(content)) {
+    return null;
+  }
+  const [mediaType] = Object.keys(content);
+  if (mediaType === void 0) {
+    return null;
+  }
+  const location = locatedNode.childLocation(locatedNode.childLocation(walk.location, "content"), mediaType);
+  const entry = locatedNode.followLocated({ node: content[mediaType], location }, refs);
+  return ownSchema({ ...entry}, refs);
+}
+function ownSchema(walk, refs) {
+  const schema = locatedNode.isJsonObject(walk.node) ? walk.node.schema : void 0;
+  const location = locatedNode.childLocation(walk.location, "schema");
+  return { ...locatedNode.followLocated({ node: schema, location }, refs), isSchema: true };
+}
+function contentSchema(walk, form, refs) {
+  switch (form) {
+    case "first-media-type":
+      return firstMediaTypeSchema(walk, refs);
+    case "schema":
+      return ownSchema(walk, refs);
+    case "string":
+      return null;
+  }
+}
+function contentStep(walk, form, isLast, input) {
+  const content = locatedNode.isJsonObject(walk.node) ? walk.node.content : void 0;
+  if (form === "media-type-members") {
+    const hasMember = locatedNode.isJsonObject(content) && Object.hasOwn(content, "content");
+    return { step: hasMember ? "compiles" : "fails", walk };
+  }
+  const schema = contentSchema(walk, form, input.refs);
+  return schema === null ? { step: "fails", walk } : schemaStep(schema, "content", isLast, input);
+}
+function documentStep(walk, index, input) {
+  const segment = input.pointer.segments[index];
+  const isLast = index === input.pointer.segments.length - 1;
+  const form = pointerWalk.headerParameterContentForm(input.pointer, index, walk.node, input.options);
+  if (form !== null) {
+    return contentStep(walk, form, isLast, input);
+  }
+  if (pointerWalk.isTypedAsSchema(input.pointer, index) && locatedNode.isJsonObject(walk.node)) {
+    return schemaStep(ownSchema(walk, input.refs), segment, isLast, input);
+  }
+  return containerStep(walk, index, input);
+}
 function originalIndexFails(input) {
   const { segments } = input.pointer;
   let walk = {
-    node: pointerWalk.leadingNode(input.pointer, input.refs),
+    ...pointerWalk.leadingLocated(input.pointer, input.refs),
     isSchema: pointerWalk.startsInSchema(input.pointer)
   };
   for (let index = pointerWalk.leadingSegmentsOf(input.pointer); index < segments.length; index++) {
-    const segment = segments[index];
-    const isLast = index === segments.length - 1;
     if (!walk.isSchema && pointerWalk.isParameterList(input.pointer, index)) {
       return true;
     }
-    if (!walk.isSchema && pointerWalk.isTypedAsSchema(input.pointer, index) && generatedShape.isJsonObject(walk.node)) {
-      walk = { node: generatedShape.followRefs(walk.node.schema, input.refs), isSchema: true };
-    }
-    const result = walk.isSchema ? schemaStep(walk, segment, isLast, input) : containerStep(walk, index, input);
+    const isLast = index === segments.length - 1;
+    const result = walk.isSchema ? schemaStep(walk, segments[index], isLast, input) : documentStep(walk, index, input);
     if (result.step !== "continue") {
       return result.step === "fails";
     }

package/dist/application/transform/ref-pointer/original-index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"original-index.cjs","sources":["../../../../src/application/transform/ref-pointer/original-index.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { followRefs, generatedMember, isJsonObject } from \"./generated-shape.js\";\nimport {\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingNode,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * Whether the type the original wrote for a `$ref` (`refType`: every segment indexed by name,\n * `properties` skipped) surely fails to compile. It walks the document as TypeScript walks the\n * generated types and answers true only where TypeScript reports an error for sure; where the\n * answer depends on a shape it does not model, it answers false, so that output stays as it was.\n */\n\ntype Step = \"fails\" | \"compiles\" | \"continue\";\n\ninterface OriginalWalk {\n  readonly node: unknown;\n  readonly isSchema: boolean;\n}\n\ninterface WalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction schemaStep(walk: OriginalWalk, segment: string, isLast: boolean, input: WalkInput) {\n  if (segment === \"properties\") {\n    return { step: \"continue\" as Step, walk };\n  }\n  const member = generatedMember(walk.node, segment, input.options, input.refs);\n  if (member.kind === \"missing\") {\n    return { step: \"fails\" as Step, walk };\n  }\n  if (member.kind === \"opaque\") {\n    return { step: \"compiles\" as Step, walk };\n  }\n  const isAbsentValue = member.kind === \"index\" && member.node === undefined;\n  const isUnsafe = member.kind === \"property\" ? member.isOptional : isAbsentValue;\n  return {\n    step: (isUnsafe && !isLast ? \"fails\" : \"continue\") as Step,\n    walk: { ...walk, node: member.node },\n  };\n}\n\nfunction containerStep(walk: OriginalWalk, index: number, input: WalkInput) {\n  const segment = input.pointer.segments[index] as string;\n  const isLast = index === input.pointer.segments.length - 1;\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(walk.node, input.refs)) ||\n    isOptionalHeader(input.pointer, index, walk.node);\n  if (isOptional && !isLast) {\n    return { step: \"fails\" as Step, walk };\n  }\n  const child = isJsonObject(walk.node) ? followRefs(walk.node[segment], input.refs) : undefined;\n  return {\n    step: (child === undefined ? \"compiles\" : \"continue\") as Step,\n    walk: { ...walk, node: child },\n  };\n}\n\n/** True when the original type of the `$ref` does not compile for sure. */\nexport function originalIndexFails(input: WalkInput): boolean {\n  const { segments } = input.pointer;\n  let walk: OriginalWalk = {\n    node: leadingNode(input.pointer, input.refs),\n    isSchema: startsInSchema(input.pointer),\n  };\n  for (let index = leadingSegmentsOf(input.pointer); index < segments.length; index++) {\n    const segment = segments[index] as string;\n    const isLast = index === segments.length - 1;\n    if (!walk.isSchema && isParameterList(input.pointer, index)) {\n      return true;\n    }\n    if (!walk.isSchema && isTypedAsSchema(input.pointer, index) && isJsonObject(walk.node)) {\n      // The container's type is its schema's type: the segment indexes that type.\n      walk = { node: followRefs(walk.node.schema, input.refs), isSchema: true };\n    }\n    const result = walk.isSchema\n      ? schemaStep(walk, segment, isLast, input)\n      : containerStep(walk, index, input);\n    if (result.step !== \"continue\") {\n      return result.step === \"fails\";\n    }\n    walk = result.walk;\n  }\n  return false;\n}\n"],"names":["generatedMember","isOptionalRequestBody","isOptionalHeader","isJsonObject","followRefs","leadingNode","startsInSchema","leadingSegmentsOf","isParameterList","isTypedAsSchema"],"mappings":";;;;;AAiCA,SAAS,UAAA,CAAW,IAAA,EAAoB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAkB;AAC1F,EAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,MAAA,GAASA,+BAAgB,IAAA,CAAK,IAAA,EAAM,SAAS,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AAC5E,EAAA,IAAI,MAAA,CAAO,SAAS,SAAA,EAAW;AAC7B,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,QAAA,EAAU;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,aAAA,GAAgB,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,OAAO,IAAA,KAAS,MAAA;AACjE,EAAA,MAAM,QAAA,GAAW,MAAA,CAAO,IAAA,KAAS,UAAA,GAAa,OAAO,UAAA,GAAa,aAAA;AAClE,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,QAAA,IAAY,CAAC,MAAA,GAAS,OAAA,GAAU,UAAA;AAAA,IACvC,MAAM,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,OAAO,IAAA;AAAK,GACrC;AACF;AAEA,SAAS,aAAA,CAAc,IAAA,EAAoB,KAAA,EAAe,KAAA,EAAkB;AAC1E,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiBC,iCAAA,CAAsB,KAAK,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,IACzEC,4BAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,IAAI,CAAA;AAClD,EAAA,IAAI,UAAA,IAAc,CAAC,MAAA,EAAQ;AACzB,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,MAAM,KAAA,GAAQC,2BAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAIC,yBAAA,CAAW,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,EAAG,KAAA,CAAM,IAAI,CAAA,GAAI,MAAA;AACrF,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,KAAA,KAAU,MAAA,GAAY,UAAA,GAAa,UAAA;AAAA,IAC1C,IAAA,EAAM,EAAE,GAAG,IAAA,EAAM,MAAM,KAAA;AAAM,GAC/B;AACF;AAGO,SAAS,mBAAmB,KAAA,EAA2B;AAC5D,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,IAAI,IAAA,GAAqB;AAAA,IACvB,IAAA,EAAMC,uBAAA,CAAY,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IAC3C,QAAA,EAAUC,0BAAA,CAAe,KAAA,CAAM,OAAO;AAAA,GACxC;AACA,EAAA,KAAA,IAAS,KAAA,GAAQC,8BAAkB,KAAA,CAAM,OAAO,GAAG,KAAA,GAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACnF,IAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,IAAYC,4BAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AAC3D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,IAAYC,2BAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,IAAKN,2BAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAEtF,MAAA,IAAA,GAAO,EAAE,IAAA,EAAMC,yBAAA,CAAW,IAAA,CAAK,IAAA,CAAK,QAAQ,KAAA,CAAM,IAAI,CAAA,EAAG,QAAA,EAAU,IAAA,EAAK;AAAA,IAC1E;AACA,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,GAChB,UAAA,CAAW,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA,GACvC,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACpC,IAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,MAAA,OAAO,OAAO,IAAA,KAAS,OAAA;AAAA,IACzB;AACA,IAAA,IAAA,GAAO,MAAA,CAAO,IAAA;AAAA,EAChB;AACA,EAAA,OAAO,KAAA;AACT;;"}
+{"version":3,"file":"original-index.cjs","sources":["../../../../src/application/transform/ref-pointer/original-index.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { generatedMember } from \"./generated-shape.js\";\nimport { childLocation, followLocated, isJsonObject } from \"./located-node.js\";\nimport {\n  type ContentForm,\n  headerParameterContentForm,\n  isExcludedOperation,\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingLocated,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * Whether the type the original wrote for a `$ref` (`refType`: every segment indexed by name,\n * `properties` skipped) surely fails to compile. It walks the document as TypeScript walks the\n * generated types and answers true only where TypeScript reports an error for sure; where the\n * answer depends on a shape it does not model, it answers false, so that output stays as it was.\n */\n\ntype Step = \"fails\" | \"compiles\" | \"continue\";\n\ninterface OriginalWalk {\n  readonly node: unknown;\n  /** The node's JSON Pointer (`LocatedNode`). */\n  readonly location: string | undefined;\n  readonly isSchema: boolean;\n}\n\ninterface WalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction schemaStep(walk: OriginalWalk, segment: string, isLast: boolean, input: WalkInput) {\n  if (segment === \"properties\") {\n    return { step: \"continue\" as Step, walk };\n  }\n  const member = generatedMember(walk, segment, input.options, input.refs);\n  if (member.kind === \"missing\") {\n    return { step: \"fails\" as Step, walk };\n  }\n  if (member.kind === \"opaque\") {\n    return { step: \"compiles\" as Step, walk };\n  }\n  const isAbsentValue = member.kind === \"index\" && member.node === undefined;\n  const isUnsafe =\n    member.kind === \"property\" ? member.isOptional || member.isMarked : isAbsentValue;\n  return {\n    step: (isUnsafe && !isLast ? \"fails\" : \"continue\") as Step,\n    walk: { ...walk, node: member.node, location: member.location },\n  };\n}\n\nfunction containerStep(walk: OriginalWalk, index: number, input: WalkInput) {\n  const segment = input.pointer.segments[index] as string;\n  const isLast = index === input.pointer.segments.length - 1;\n  if (isExcludedOperation(input.pointer, index, walk.node, input)) {\n    return { step: \"fails\" as Step, walk };\n  }\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(walk.node, input.refs)) ||\n    isOptionalHeader(input.pointer, index, walk.node);\n  if (isOptional && !isLast) {\n    return { step: \"fails\" as Step, walk };\n  }\n  const child = followLocated(\n    {\n      node: isJsonObject(walk.node) ? walk.node[segment] : undefined,\n      location: childLocation(walk.location, segment),\n    },\n    input.refs,\n  );\n  return {\n    step: (child.node === undefined ? \"compiles\" : \"continue\") as Step,\n    walk: { ...walk, ...child },\n  };\n}\n\n/** The schema of the first media type of a `content` map, `$ref`s followed. */\nfunction firstMediaTypeSchema(walk: OriginalWalk, refs: RefResolver): OriginalWalk | null {\n  const content = isJsonObject(walk.node) ? walk.node.content : undefined;\n  if (!isJsonObject(content)) {\n    return null;\n  }\n  const [mediaType] = Object.keys(content);\n  if (mediaType === undefined) {\n    return null;\n  }\n  const location = childLocation(childLocation(walk.location, \"content\"), mediaType);\n  const entry = followLocated({ node: content[mediaType], location }, refs);\n  return ownSchema({ ...entry, isSchema: false }, refs);\n}\n\n/** The schema a header or parameter is typed by, `$ref`s followed. */\nfunction ownSchema(walk: OriginalWalk, refs: RefResolver): OriginalWalk {\n  const schema = isJsonObject(walk.node) ? walk.node.schema : undefined;\n  const location = childLocation(walk.location, \"schema\");\n  return { ...followLocated({ node: schema, location }, refs), isSchema: true };\n}\n\n/** The schema whose type a header or parameter is, when not its media type members. */\nfunction contentSchema(\n  walk: OriginalWalk,\n  form: Exclude<ContentForm, \"media-type-members\">,\n  refs: RefResolver,\n): OriginalWalk | null {\n  switch (form) {\n    case \"first-media-type\":\n      return firstMediaTypeSchema(walk, refs);\n    case \"schema\":\n      return ownSchema(walk, refs);\n    case \"string\":\n      return null;\n  }\n}\n\n/**\n * The original indexes the `content` of a header or parameter by name. The media type members\n * have no `content` unless a media type is named so, and `string` and `unknown` (no media type)\n * have none; the schema of the first media type, or the `schema` next to `content`, is walked on.\n */\nfunction contentStep(walk: OriginalWalk, form: ContentForm, isLast: boolean, input: WalkInput) {\n  const content = isJsonObject(walk.node) ? walk.node.content : undefined;\n  if (form === \"media-type-members\") {\n    const hasMember = isJsonObject(content) && Object.hasOwn(content, \"content\");\n    return { step: (hasMember ? \"compiles\" : \"fails\") as Step, walk };\n  }\n  const schema = contentSchema(walk, form, input.refs);\n  return schema === null\n    ? { step: \"fails\" as Step, walk }\n    : schemaStep(schema, \"content\", isLast, input);\n}\n\n/**\n * A step outside a schema: a header's or parameter's `content`, a schema's container, or another.\n */\nfunction documentStep(walk: OriginalWalk, index: number, input: WalkInput) {\n  const segment = input.pointer.segments[index] as string;\n  const isLast = index === input.pointer.segments.length - 1;\n  const form = headerParameterContentForm(input.pointer, index, walk.node, input.options);\n  if (form !== null) {\n    return contentStep(walk, form, isLast, input);\n  }\n  if (isTypedAsSchema(input.pointer, index) && isJsonObject(walk.node)) {\n    // The container's type is its schema's type: the segment indexes that type.\n    return schemaStep(ownSchema(walk, input.refs), segment, isLast, input);\n  }\n  return containerStep(walk, index, input);\n}\n\n/** True when the original type of the `$ref` does not compile for sure. */\nexport function originalIndexFails(input: WalkInput): boolean {\n  const { segments } = input.pointer;\n  let walk: OriginalWalk = {\n    ...leadingLocated(input.pointer, input.refs),\n    isSchema: startsInSchema(input.pointer),\n  };\n  for (let index = leadingSegmentsOf(input.pointer); index < segments.length; index++) {\n    if (!walk.isSchema && isParameterList(input.pointer, index)) {\n      return true;\n    }\n    const isLast = index === segments.length - 1;\n    const result = walk.isSchema\n      ? schemaStep(walk, segments[index] as string, isLast, input)\n      : documentStep(walk, index, input);\n    if (result.step !== \"continue\") {\n      return result.step === \"fails\";\n    }\n    walk = result.walk;\n  }\n  return false;\n}\n"],"names":["generatedMember","isExcludedOperation","isOptionalRequestBody","isOptionalHeader","followLocated","isJsonObject","childLocation","headerParameterContentForm","isTypedAsSchema","leadingLocated","startsInSchema","leadingSegmentsOf","isParameterList"],"mappings":";;;;;;AAuCA,SAAS,UAAA,CAAW,IAAA,EAAoB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAkB;AAC1F,EAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,SAASA,8BAAA,CAAgB,IAAA,EAAM,SAAS,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AACvE,EAAA,IAAI,MAAA,CAAO,SAAS,SAAA,EAAW;AAC7B,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,QAAA,EAAU;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,aAAA,GAAgB,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,OAAO,IAAA,KAAS,MAAA;AACjE,EAAA,MAAM,WACJ,MAAA,CAAO,IAAA,KAAS,aAAa,MAAA,CAAO,UAAA,IAAc,OAAO,QAAA,GAAW,aAAA;AACtE,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,QAAA,IAAY,CAAC,MAAA,GAAS,OAAA,GAAU,UAAA;AAAA,IACvC,IAAA,EAAM,EAAE,GAAG,IAAA,EAAM,MAAM,MAAA,CAAO,IAAA,EAAM,QAAA,EAAU,MAAA,CAAO,QAAA;AAAS,GAChE;AACF;AAEA,SAAS,aAAA,CAAc,IAAA,EAAoB,KAAA,EAAe,KAAA,EAAkB;AAC1E,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,EAAA,IAAIC,gCAAoB,KAAA,CAAM,OAAA,EAAS,OAAO,IAAA,CAAK,IAAA,EAAM,KAAK,CAAA,EAAG;AAC/D,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiBC,iCAAA,CAAsB,KAAK,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,IACzEC,4BAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,IAAI,CAAA;AAClD,EAAA,IAAI,UAAA,IAAc,CAAC,MAAA,EAAQ;AACzB,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,MAAM,KAAA,GAAQC,yBAAA;AAAA,IACZ;AAAA,MACE,IAAA,EAAMC,yBAAa,IAAA,CAAK,IAAI,IAAI,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,GAAI,MAAA;AAAA,MACrD,QAAA,EAAUC,yBAAA,CAAc,IAAA,CAAK,QAAA,EAAU,OAAO;AAAA,KAChD;AAAA,IACA,KAAA,CAAM;AAAA,GACR;AACA,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,KAAA,CAAM,IAAA,KAAS,MAAA,GAAY,UAAA,GAAa,UAAA;AAAA,IAC/C,IAAA,EAAM,EAAE,GAAG,IAAA,EAAM,GAAG,KAAA;AAAM,GAC5B;AACF;AAGA,SAAS,oBAAA,CAAqB,MAAoB,IAAA,EAAwC;AACxF,EAAA,MAAM,UAAUD,wBAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,KAAK,OAAA,GAAU,MAAA;AAC9D,EAAA,IAAI,CAACA,wBAAA,CAAa,OAAO,CAAA,EAAG;AAC1B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,CAAC,SAAS,CAAA,GAAI,MAAA,CAAO,KAAK,OAAO,CAAA;AACvC,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,WAAWC,yBAAA,CAAcA,yBAAA,CAAc,KAAK,QAAA,EAAU,SAAS,GAAG,SAAS,CAAA;AACjF,EAAA,MAAM,KAAA,GAAQF,0BAAc,EAAE,IAAA,EAAM,QAAQ,SAAS,CAAA,EAAG,QAAA,EAAS,EAAG,IAAI,CAAA;AACxE,EAAA,OAAO,UAAU,EAAE,GAAG,KAAuB,GAAG,IAAI,CAAA;AACtD;AAGA,SAAS,SAAA,CAAU,MAAoB,IAAA,EAAiC;AACtE,EAAA,MAAM,SAASC,wBAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,KAAK,MAAA,GAAS,MAAA;AAC5D,EAAA,MAAM,QAAA,GAAWC,yBAAA,CAAc,IAAA,CAAK,QAAA,EAAU,QAAQ,CAAA;AACtD,EAAA,OAAO,EAAE,GAAGF,yBAAA,CAAc,EAAE,IAAA,EAAM,MAAA,EAAQ,QAAA,EAAS,EAAG,IAAI,CAAA,EAAG,QAAA,EAAU,IAAA,EAAK;AAC9E;AAGA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,IAAA,EACqB;AACrB,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,kBAAA;AACH,MAAA,OAAO,oBAAA,CAAqB,MAAM,IAAI,CAAA;AAAA,IACxC,KAAK,QAAA;AACH,MAAA,OAAO,SAAA,CAAU,MAAM,IAAI,CAAA;AAAA,IAC7B,KAAK,QAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAEb;AAOA,SAAS,WAAA,CAAY,IAAA,EAAoB,IAAA,EAAmB,MAAA,EAAiB,KAAA,EAAkB;AAC7F,EAAA,MAAM,UAAUC,wBAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,KAAK,OAAA,GAAU,MAAA;AAC9D,EAAA,IAAI,SAAS,oBAAA,EAAsB;AACjC,IAAA,MAAM,YAAYA,wBAAA,CAAa,OAAO,KAAK,MAAA,CAAO,MAAA,CAAO,SAAS,SAAS,CAAA;AAC3E,IAAA,OAAO,EAAE,IAAA,EAAO,SAAA,GAAY,UAAA,GAAa,SAAkB,IAAA,EAAK;AAAA,EAClE;AACA,EAAA,MAAM,MAAA,GAAS,aAAA,CAAc,IAAA,EAAM,IAAA,EAAM,MAAM,IAAI,CAAA;AACnD,EAAA,OAAO,MAAA,KAAW,IAAA,GACd,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK,GAC9B,UAAA,CAAW,MAAA,EAAQ,SAAA,EAAW,MAAA,EAAQ,KAAK,CAAA;AACjD;AAKA,SAAS,YAAA,CAAa,IAAA,EAAoB,KAAA,EAAe,KAAA,EAAkB;AACzE,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,EAAA,MAAM,IAAA,GAAOE,uCAA2B,KAAA,CAAM,OAAA,EAAS,OAAO,IAAA,CAAK,IAAA,EAAM,MAAM,OAAO,CAAA;AACtF,EAAA,IAAI,SAAS,IAAA,EAAM;AACjB,IAAA,OAAO,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,EAC9C;AACA,EAAA,IAAIC,2BAAA,CAAgB,MAAM,OAAA,EAAS,KAAK,KAAKH,wBAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAEpE,IAAA,OAAO,UAAA,CAAW,UAAU,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,EAAG,OAAA,EAAS,QAAQ,KAAK,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACzC;AAGO,SAAS,mBAAmB,KAAA,EAA2B;AAC5D,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,IAAI,IAAA,GAAqB;AAAA,IACvB,GAAGI,0BAAA,CAAe,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IAC3C,QAAA,EAAUC,0BAAA,CAAe,KAAA,CAAM,OAAO;AAAA,GACxC;AACA,EAAA,KAAA,IAAS,KAAA,GAAQC,8BAAkB,KAAA,CAAM,OAAO,GAAG,KAAA,GAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACnF,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,IAAYC,4BAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AAC3D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,GAChB,UAAA,CAAW,MAAM,QAAA,CAAS,KAAK,CAAA,EAAa,MAAA,EAAQ,KAAK,CAAA,GACzD,YAAA,CAAa,IAAA,EAAM,OAAO,KAAK,CAAA;AACnC,IAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,MAAA,OAAO,OAAO,IAAA,KAAS,OAAA;AAAA,IACzB;AACA,IAAA,IAAA,GAAO,MAAA,CAAO,IAAA;AAAA,EAChB;AACA,EAAA,OAAO,KAAA;AACT;;"}

package/dist/application/transform/ref-pointer/original-index.mjs

@@ -1,11 +1,12 @@
-import { isJsonObject, followRefs, generatedMember } from './generated-shape.mjs';
-import { startsInSchema, leadingNode, leadingSegmentsOf, isParameterList, isTypedAsSchema, isOptionalRequestBody, isOptionalHeader } from './pointer-walk.mjs';
+import { generatedMember } from './generated-shape.mjs';
+import { isJsonObject, childLocation, followLocated } from './located-node.mjs';
+import { startsInSchema, leadingLocated, leadingSegmentsOf, isParameterList, headerParameterContentForm, isTypedAsSchema, isExcludedOperation, isOptionalRequestBody, isOptionalHeader } from './pointer-walk.mjs';
 
 function schemaStep(walk, segment, isLast, input) {
   if (segment === "properties") {
     return { step: "continue", walk };
   }
-  const member = generatedMember(walk.node, segment, input.options, input.refs);
+  const member = generatedMember(walk, segment, input.options, input.refs);
   if (member.kind === "missing") {
     return { step: "fails", walk };
   }
@@ -13,41 +14,95 @@ function schemaStep(walk, segment, isLast, input) {
     return { step: "compiles", walk };
   }
   const isAbsentValue = member.kind === "index" && member.node === void 0;
-  const isUnsafe = member.kind === "property" ? member.isOptional : isAbsentValue;
+  const isUnsafe = member.kind === "property" ? member.isOptional || member.isMarked : isAbsentValue;
   return {
     step: isUnsafe && !isLast ? "fails" : "continue",
-    walk: { ...walk, node: member.node }
+    walk: { ...walk, node: member.node, location: member.location }
   };
 }
 function containerStep(walk, index, input) {
   const segment = input.pointer.segments[index];
   const isLast = index === input.pointer.segments.length - 1;
+  if (isExcludedOperation(input.pointer, index, walk.node, input)) {
+    return { step: "fails", walk };
+  }
   const isOptional = segment === "requestBody" && isOptionalRequestBody(walk.node, input.refs) || isOptionalHeader(input.pointer, index, walk.node);
   if (isOptional && !isLast) {
     return { step: "fails", walk };
   }
-  const child = isJsonObject(walk.node) ? followRefs(walk.node[segment], input.refs) : void 0;
+  const child = followLocated(
+    {
+      node: isJsonObject(walk.node) ? walk.node[segment] : void 0,
+      location: childLocation(walk.location, segment)
+    },
+    input.refs
+  );
   return {
-    step: child === void 0 ? "compiles" : "continue",
-    walk: { ...walk, node: child }
+    step: child.node === void 0 ? "compiles" : "continue",
+    walk: { ...walk, ...child }
   };
 }
+function firstMediaTypeSchema(walk, refs) {
+  const content = isJsonObject(walk.node) ? walk.node.content : void 0;
+  if (!isJsonObject(content)) {
+    return null;
+  }
+  const [mediaType] = Object.keys(content);
+  if (mediaType === void 0) {
+    return null;
+  }
+  const location = childLocation(childLocation(walk.location, "content"), mediaType);
+  const entry = followLocated({ node: content[mediaType], location }, refs);
+  return ownSchema({ ...entry}, refs);
+}
+function ownSchema(walk, refs) {
+  const schema = isJsonObject(walk.node) ? walk.node.schema : void 0;
+  const location = childLocation(walk.location, "schema");
+  return { ...followLocated({ node: schema, location }, refs), isSchema: true };
+}
+function contentSchema(walk, form, refs) {
+  switch (form) {
+    case "first-media-type":
+      return firstMediaTypeSchema(walk, refs);
+    case "schema":
+      return ownSchema(walk, refs);
+    case "string":
+      return null;
+  }
+}
+function contentStep(walk, form, isLast, input) {
+  const content = isJsonObject(walk.node) ? walk.node.content : void 0;
+  if (form === "media-type-members") {
+    const hasMember = isJsonObject(content) && Object.hasOwn(content, "content");
+    return { step: hasMember ? "compiles" : "fails", walk };
+  }
+  const schema = contentSchema(walk, form, input.refs);
+  return schema === null ? { step: "fails", walk } : schemaStep(schema, "content", isLast, input);
+}
+function documentStep(walk, index, input) {
+  const segment = input.pointer.segments[index];
+  const isLast = index === input.pointer.segments.length - 1;
+  const form = headerParameterContentForm(input.pointer, index, walk.node, input.options);
+  if (form !== null) {
+    return contentStep(walk, form, isLast, input);
+  }
+  if (isTypedAsSchema(input.pointer, index) && isJsonObject(walk.node)) {
+    return schemaStep(ownSchema(walk, input.refs), segment, isLast, input);
+  }
+  return containerStep(walk, index, input);
+}
 function originalIndexFails(input) {
   const { segments } = input.pointer;
   let walk = {
-    node: leadingNode(input.pointer, input.refs),
+    ...leadingLocated(input.pointer, input.refs),
     isSchema: startsInSchema(input.pointer)
   };
   for (let index = leadingSegmentsOf(input.pointer); index < segments.length; index++) {
-    const segment = segments[index];
-    const isLast = index === segments.length - 1;
     if (!walk.isSchema && isParameterList(input.pointer, index)) {
       return true;
     }
-    if (!walk.isSchema && isTypedAsSchema(input.pointer, index) && isJsonObject(walk.node)) {
-      walk = { node: followRefs(walk.node.schema, input.refs), isSchema: true };
-    }
-    const result = walk.isSchema ? schemaStep(walk, segment, isLast, input) : containerStep(walk, index, input);
+    const isLast = index === segments.length - 1;
+    const result = walk.isSchema ? schemaStep(walk, segments[index], isLast, input) : documentStep(walk, index, input);
     if (result.step !== "continue") {
       return result.step === "fails";
     }

package/dist/application/transform/ref-pointer/original-index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"original-index.mjs","sources":["../../../../src/application/transform/ref-pointer/original-index.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { followRefs, generatedMember, isJsonObject } from \"./generated-shape.js\";\nimport {\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingNode,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * Whether the type the original wrote for a `$ref` (`refType`: every segment indexed by name,\n * `properties` skipped) surely fails to compile. It walks the document as TypeScript walks the\n * generated types and answers true only where TypeScript reports an error for sure; where the\n * answer depends on a shape it does not model, it answers false, so that output stays as it was.\n */\n\ntype Step = \"fails\" | \"compiles\" | \"continue\";\n\ninterface OriginalWalk {\n  readonly node: unknown;\n  readonly isSchema: boolean;\n}\n\ninterface WalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction schemaStep(walk: OriginalWalk, segment: string, isLast: boolean, input: WalkInput) {\n  if (segment === \"properties\") {\n    return { step: \"continue\" as Step, walk };\n  }\n  const member = generatedMember(walk.node, segment, input.options, input.refs);\n  if (member.kind === \"missing\") {\n    return { step: \"fails\" as Step, walk };\n  }\n  if (member.kind === \"opaque\") {\n    return { step: \"compiles\" as Step, walk };\n  }\n  const isAbsentValue = member.kind === \"index\" && member.node === undefined;\n  const isUnsafe = member.kind === \"property\" ? member.isOptional : isAbsentValue;\n  return {\n    step: (isUnsafe && !isLast ? \"fails\" : \"continue\") as Step,\n    walk: { ...walk, node: member.node },\n  };\n}\n\nfunction containerStep(walk: OriginalWalk, index: number, input: WalkInput) {\n  const segment = input.pointer.segments[index] as string;\n  const isLast = index === input.pointer.segments.length - 1;\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(walk.node, input.refs)) ||\n    isOptionalHeader(input.pointer, index, walk.node);\n  if (isOptional && !isLast) {\n    return { step: \"fails\" as Step, walk };\n  }\n  const child = isJsonObject(walk.node) ? followRefs(walk.node[segment], input.refs) : undefined;\n  return {\n    step: (child === undefined ? \"compiles\" : \"continue\") as Step,\n    walk: { ...walk, node: child },\n  };\n}\n\n/** True when the original type of the `$ref` does not compile for sure. */\nexport function originalIndexFails(input: WalkInput): boolean {\n  const { segments } = input.pointer;\n  let walk: OriginalWalk = {\n    node: leadingNode(input.pointer, input.refs),\n    isSchema: startsInSchema(input.pointer),\n  };\n  for (let index = leadingSegmentsOf(input.pointer); index < segments.length; index++) {\n    const segment = segments[index] as string;\n    const isLast = index === segments.length - 1;\n    if (!walk.isSchema && isParameterList(input.pointer, index)) {\n      return true;\n    }\n    if (!walk.isSchema && isTypedAsSchema(input.pointer, index) && isJsonObject(walk.node)) {\n      // The container's type is its schema's type: the segment indexes that type.\n      walk = { node: followRefs(walk.node.schema, input.refs), isSchema: true };\n    }\n    const result = walk.isSchema\n      ? schemaStep(walk, segment, isLast, input)\n      : containerStep(walk, index, input);\n    if (result.step !== \"continue\") {\n      return result.step === \"fails\";\n    }\n    walk = result.walk;\n  }\n  return false;\n}\n"],"names":[],"mappings":";;;AAiCA,SAAS,UAAA,CAAW,IAAA,EAAoB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAkB;AAC1F,EAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,MAAA,GAAS,gBAAgB,IAAA,CAAK,IAAA,EAAM,SAAS,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AAC5E,EAAA,IAAI,MAAA,CAAO,SAAS,SAAA,EAAW;AAC7B,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,QAAA,EAAU;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,aAAA,GAAgB,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,OAAO,IAAA,KAAS,MAAA;AACjE,EAAA,MAAM,QAAA,GAAW,MAAA,CAAO,IAAA,KAAS,UAAA,GAAa,OAAO,UAAA,GAAa,aAAA;AAClE,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,QAAA,IAAY,CAAC,MAAA,GAAS,OAAA,GAAU,UAAA;AAAA,IACvC,MAAM,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,OAAO,IAAA;AAAK,GACrC;AACF;AAEA,SAAS,aAAA,CAAc,IAAA,EAAoB,KAAA,EAAe,KAAA,EAAkB;AAC1E,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiB,qBAAA,CAAsB,KAAK,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,IACzE,gBAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,IAAI,CAAA;AAClD,EAAA,IAAI,UAAA,IAAc,CAAC,MAAA,EAAQ;AACzB,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,MAAM,KAAA,GAAQ,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,UAAA,CAAW,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,EAAG,KAAA,CAAM,IAAI,CAAA,GAAI,MAAA;AACrF,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,KAAA,KAAU,MAAA,GAAY,UAAA,GAAa,UAAA;AAAA,IAC1C,IAAA,EAAM,EAAE,GAAG,IAAA,EAAM,MAAM,KAAA;AAAM,GAC/B;AACF;AAGO,SAAS,mBAAmB,KAAA,EAA2B;AAC5D,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,IAAI,IAAA,GAAqB;AAAA,IACvB,IAAA,EAAM,WAAA,CAAY,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IAC3C,QAAA,EAAU,cAAA,CAAe,KAAA,CAAM,OAAO;AAAA,GACxC;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,kBAAkB,KAAA,CAAM,OAAO,GAAG,KAAA,GAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACnF,IAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,IAAY,gBAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AAC3D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,IAAY,eAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,IAAK,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAEtF,MAAA,IAAA,GAAO,EAAE,IAAA,EAAM,UAAA,CAAW,IAAA,CAAK,IAAA,CAAK,QAAQ,KAAA,CAAM,IAAI,CAAA,EAAG,QAAA,EAAU,IAAA,EAAK;AAAA,IAC1E;AACA,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,GAChB,UAAA,CAAW,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA,GACvC,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACpC,IAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,MAAA,OAAO,OAAO,IAAA,KAAS,OAAA;AAAA,IACzB;AACA,IAAA,IAAA,GAAO,MAAA,CAAO,IAAA;AAAA,EAChB;AACA,EAAA,OAAO,KAAA;AACT;;"}
+{"version":3,"file":"original-index.mjs","sources":["../../../../src/application/transform/ref-pointer/original-index.ts"],"sourcesContent":["import type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport { generatedMember } from \"./generated-shape.js\";\nimport { childLocation, followLocated, isJsonObject } from \"./located-node.js\";\nimport {\n  type ContentForm,\n  headerParameterContentForm,\n  isExcludedOperation,\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingLocated,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * Whether the type the original wrote for a `$ref` (`refType`: every segment indexed by name,\n * `properties` skipped) surely fails to compile. It walks the document as TypeScript walks the\n * generated types and answers true only where TypeScript reports an error for sure; where the\n * answer depends on a shape it does not model, it answers false, so that output stays as it was.\n */\n\ntype Step = \"fails\" | \"compiles\" | \"continue\";\n\ninterface OriginalWalk {\n  readonly node: unknown;\n  /** The node's JSON Pointer (`LocatedNode`). */\n  readonly location: string | undefined;\n  readonly isSchema: boolean;\n}\n\ninterface WalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\nfunction schemaStep(walk: OriginalWalk, segment: string, isLast: boolean, input: WalkInput) {\n  if (segment === \"properties\") {\n    return { step: \"continue\" as Step, walk };\n  }\n  const member = generatedMember(walk, segment, input.options, input.refs);\n  if (member.kind === \"missing\") {\n    return { step: \"fails\" as Step, walk };\n  }\n  if (member.kind === \"opaque\") {\n    return { step: \"compiles\" as Step, walk };\n  }\n  const isAbsentValue = member.kind === \"index\" && member.node === undefined;\n  const isUnsafe =\n    member.kind === \"property\" ? member.isOptional || member.isMarked : isAbsentValue;\n  return {\n    step: (isUnsafe && !isLast ? \"fails\" : \"continue\") as Step,\n    walk: { ...walk, node: member.node, location: member.location },\n  };\n}\n\nfunction containerStep(walk: OriginalWalk, index: number, input: WalkInput) {\n  const segment = input.pointer.segments[index] as string;\n  const isLast = index === input.pointer.segments.length - 1;\n  if (isExcludedOperation(input.pointer, index, walk.node, input)) {\n    return { step: \"fails\" as Step, walk };\n  }\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(walk.node, input.refs)) ||\n    isOptionalHeader(input.pointer, index, walk.node);\n  if (isOptional && !isLast) {\n    return { step: \"fails\" as Step, walk };\n  }\n  const child = followLocated(\n    {\n      node: isJsonObject(walk.node) ? walk.node[segment] : undefined,\n      location: childLocation(walk.location, segment),\n    },\n    input.refs,\n  );\n  return {\n    step: (child.node === undefined ? \"compiles\" : \"continue\") as Step,\n    walk: { ...walk, ...child },\n  };\n}\n\n/** The schema of the first media type of a `content` map, `$ref`s followed. */\nfunction firstMediaTypeSchema(walk: OriginalWalk, refs: RefResolver): OriginalWalk | null {\n  const content = isJsonObject(walk.node) ? walk.node.content : undefined;\n  if (!isJsonObject(content)) {\n    return null;\n  }\n  const [mediaType] = Object.keys(content);\n  if (mediaType === undefined) {\n    return null;\n  }\n  const location = childLocation(childLocation(walk.location, \"content\"), mediaType);\n  const entry = followLocated({ node: content[mediaType], location }, refs);\n  return ownSchema({ ...entry, isSchema: false }, refs);\n}\n\n/** The schema a header or parameter is typed by, `$ref`s followed. */\nfunction ownSchema(walk: OriginalWalk, refs: RefResolver): OriginalWalk {\n  const schema = isJsonObject(walk.node) ? walk.node.schema : undefined;\n  const location = childLocation(walk.location, \"schema\");\n  return { ...followLocated({ node: schema, location }, refs), isSchema: true };\n}\n\n/** The schema whose type a header or parameter is, when not its media type members. */\nfunction contentSchema(\n  walk: OriginalWalk,\n  form: Exclude<ContentForm, \"media-type-members\">,\n  refs: RefResolver,\n): OriginalWalk | null {\n  switch (form) {\n    case \"first-media-type\":\n      return firstMediaTypeSchema(walk, refs);\n    case \"schema\":\n      return ownSchema(walk, refs);\n    case \"string\":\n      return null;\n  }\n}\n\n/**\n * The original indexes the `content` of a header or parameter by name. The media type members\n * have no `content` unless a media type is named so, and `string` and `unknown` (no media type)\n * have none; the schema of the first media type, or the `schema` next to `content`, is walked on.\n */\nfunction contentStep(walk: OriginalWalk, form: ContentForm, isLast: boolean, input: WalkInput) {\n  const content = isJsonObject(walk.node) ? walk.node.content : undefined;\n  if (form === \"media-type-members\") {\n    const hasMember = isJsonObject(content) && Object.hasOwn(content, \"content\");\n    return { step: (hasMember ? \"compiles\" : \"fails\") as Step, walk };\n  }\n  const schema = contentSchema(walk, form, input.refs);\n  return schema === null\n    ? { step: \"fails\" as Step, walk }\n    : schemaStep(schema, \"content\", isLast, input);\n}\n\n/**\n * A step outside a schema: a header's or parameter's `content`, a schema's container, or another.\n */\nfunction documentStep(walk: OriginalWalk, index: number, input: WalkInput) {\n  const segment = input.pointer.segments[index] as string;\n  const isLast = index === input.pointer.segments.length - 1;\n  const form = headerParameterContentForm(input.pointer, index, walk.node, input.options);\n  if (form !== null) {\n    return contentStep(walk, form, isLast, input);\n  }\n  if (isTypedAsSchema(input.pointer, index) && isJsonObject(walk.node)) {\n    // The container's type is its schema's type: the segment indexes that type.\n    return schemaStep(ownSchema(walk, input.refs), segment, isLast, input);\n  }\n  return containerStep(walk, index, input);\n}\n\n/** True when the original type of the `$ref` does not compile for sure. */\nexport function originalIndexFails(input: WalkInput): boolean {\n  const { segments } = input.pointer;\n  let walk: OriginalWalk = {\n    ...leadingLocated(input.pointer, input.refs),\n    isSchema: startsInSchema(input.pointer),\n  };\n  for (let index = leadingSegmentsOf(input.pointer); index < segments.length; index++) {\n    if (!walk.isSchema && isParameterList(input.pointer, index)) {\n      return true;\n    }\n    const isLast = index === segments.length - 1;\n    const result = walk.isSchema\n      ? schemaStep(walk, segments[index] as string, isLast, input)\n      : documentStep(walk, index, input);\n    if (result.step !== \"continue\") {\n      return result.step === \"fails\";\n    }\n    walk = result.walk;\n  }\n  return false;\n}\n"],"names":[],"mappings":";;;;AAuCA,SAAS,UAAA,CAAW,IAAA,EAAoB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAkB;AAC1F,EAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,SAAS,eAAA,CAAgB,IAAA,EAAM,SAAS,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AACvE,EAAA,IAAI,MAAA,CAAO,SAAS,SAAA,EAAW;AAC7B,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,QAAA,EAAU;AAC5B,IAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAoB,IAAA,EAAK;AAAA,EAC1C;AACA,EAAA,MAAM,aAAA,GAAgB,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,OAAO,IAAA,KAAS,MAAA;AACjE,EAAA,MAAM,WACJ,MAAA,CAAO,IAAA,KAAS,aAAa,MAAA,CAAO,UAAA,IAAc,OAAO,QAAA,GAAW,aAAA;AACtE,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,QAAA,IAAY,CAAC,MAAA,GAAS,OAAA,GAAU,UAAA;AAAA,IACvC,IAAA,EAAM,EAAE,GAAG,IAAA,EAAM,MAAM,MAAA,CAAO,IAAA,EAAM,QAAA,EAAU,MAAA,CAAO,QAAA;AAAS,GAChE;AACF;AAEA,SAAS,aAAA,CAAc,IAAA,EAAoB,KAAA,EAAe,KAAA,EAAkB;AAC1E,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,EAAA,IAAI,oBAAoB,KAAA,CAAM,OAAA,EAAS,OAAO,IAAA,CAAK,IAAA,EAAM,KAAK,CAAA,EAAG;AAC/D,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiB,qBAAA,CAAsB,KAAK,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,IACzE,gBAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,IAAI,CAAA;AAClD,EAAA,IAAI,UAAA,IAAc,CAAC,MAAA,EAAQ;AACzB,IAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK;AAAA,EACvC;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA;AAAA,IACZ;AAAA,MACE,IAAA,EAAM,aAAa,IAAA,CAAK,IAAI,IAAI,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,GAAI,MAAA;AAAA,MACrD,QAAA,EAAU,aAAA,CAAc,IAAA,CAAK,QAAA,EAAU,OAAO;AAAA,KAChD;AAAA,IACA,KAAA,CAAM;AAAA,GACR;AACA,EAAA,OAAO;AAAA,IACL,IAAA,EAAO,KAAA,CAAM,IAAA,KAAS,MAAA,GAAY,UAAA,GAAa,UAAA;AAAA,IAC/C,IAAA,EAAM,EAAE,GAAG,IAAA,EAAM,GAAG,KAAA;AAAM,GAC5B;AACF;AAGA,SAAS,oBAAA,CAAqB,MAAoB,IAAA,EAAwC;AACxF,EAAA,MAAM,UAAU,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,KAAK,OAAA,GAAU,MAAA;AAC9D,EAAA,IAAI,CAAC,YAAA,CAAa,OAAO,CAAA,EAAG;AAC1B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,CAAC,SAAS,CAAA,GAAI,MAAA,CAAO,KAAK,OAAO,CAAA;AACvC,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,WAAW,aAAA,CAAc,aAAA,CAAc,KAAK,QAAA,EAAU,SAAS,GAAG,SAAS,CAAA;AACjF,EAAA,MAAM,KAAA,GAAQ,cAAc,EAAE,IAAA,EAAM,QAAQ,SAAS,CAAA,EAAG,QAAA,EAAS,EAAG,IAAI,CAAA;AACxE,EAAA,OAAO,UAAU,EAAE,GAAG,KAAuB,GAAG,IAAI,CAAA;AACtD;AAGA,SAAS,SAAA,CAAU,MAAoB,IAAA,EAAiC;AACtE,EAAA,MAAM,SAAS,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,KAAK,MAAA,GAAS,MAAA;AAC5D,EAAA,MAAM,QAAA,GAAW,aAAA,CAAc,IAAA,CAAK,QAAA,EAAU,QAAQ,CAAA;AACtD,EAAA,OAAO,EAAE,GAAG,aAAA,CAAc,EAAE,IAAA,EAAM,MAAA,EAAQ,QAAA,EAAS,EAAG,IAAI,CAAA,EAAG,QAAA,EAAU,IAAA,EAAK;AAC9E;AAGA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,IAAA,EACqB;AACrB,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,kBAAA;AACH,MAAA,OAAO,oBAAA,CAAqB,MAAM,IAAI,CAAA;AAAA,IACxC,KAAK,QAAA;AACH,MAAA,OAAO,SAAA,CAAU,MAAM,IAAI,CAAA;AAAA,IAC7B,KAAK,QAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAEb;AAOA,SAAS,WAAA,CAAY,IAAA,EAAoB,IAAA,EAAmB,MAAA,EAAiB,KAAA,EAAkB;AAC7F,EAAA,MAAM,UAAU,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,KAAK,OAAA,GAAU,MAAA;AAC9D,EAAA,IAAI,SAAS,oBAAA,EAAsB;AACjC,IAAA,MAAM,YAAY,YAAA,CAAa,OAAO,KAAK,MAAA,CAAO,MAAA,CAAO,SAAS,SAAS,CAAA;AAC3E,IAAA,OAAO,EAAE,IAAA,EAAO,SAAA,GAAY,UAAA,GAAa,SAAkB,IAAA,EAAK;AAAA,EAClE;AACA,EAAA,MAAM,MAAA,GAAS,aAAA,CAAc,IAAA,EAAM,IAAA,EAAM,MAAM,IAAI,CAAA;AACnD,EAAA,OAAO,MAAA,KAAW,IAAA,GACd,EAAE,IAAA,EAAM,OAAA,EAAiB,IAAA,EAAK,GAC9B,UAAA,CAAW,MAAA,EAAQ,SAAA,EAAW,MAAA,EAAQ,KAAK,CAAA;AACjD;AAKA,SAAS,YAAA,CAAa,IAAA,EAAoB,KAAA,EAAe,KAAA,EAAkB;AACzE,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,EAAA,MAAM,IAAA,GAAO,2BAA2B,KAAA,CAAM,OAAA,EAAS,OAAO,IAAA,CAAK,IAAA,EAAM,MAAM,OAAO,CAAA;AACtF,EAAA,IAAI,SAAS,IAAA,EAAM;AACjB,IAAA,OAAO,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,eAAA,CAAgB,MAAM,OAAA,EAAS,KAAK,KAAK,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAEpE,IAAA,OAAO,UAAA,CAAW,UAAU,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,EAAG,OAAA,EAAS,QAAQ,KAAK,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACzC;AAGO,SAAS,mBAAmB,KAAA,EAA2B;AAC5D,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,IAAI,IAAA,GAAqB;AAAA,IACvB,GAAG,cAAA,CAAe,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IAC3C,QAAA,EAAU,cAAA,CAAe,KAAA,CAAM,OAAO;AAAA,GACxC;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,kBAAkB,KAAA,CAAM,OAAO,GAAG,KAAA,GAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACnF,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,IAAY,gBAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AAC3D,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,QAAA,GAChB,UAAA,CAAW,MAAM,QAAA,CAAS,KAAK,CAAA,EAAa,MAAA,EAAQ,KAAK,CAAA,GACzD,YAAA,CAAa,IAAA,EAAM,OAAO,KAAK,CAAA;AACnC,IAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,MAAA,OAAO,OAAO,IAAA,KAAS,OAAA;AAAA,IACzB;AACA,IAAA,IAAA,GAAO,MAAA,CAAO,IAAA;AAAA,EAChB;AACA,EAAA,OAAO,KAAA;AACT;;"}

package/dist/application/transform/ref-pointer/pointer-type.cjs

@@ -4,8 +4,8 @@ const constructors = require('../../../domain/ir/constructors.cjs');
 const outputFixes = require('../../../domain/output-fixes.cjs');
 const refType = require('../ref-type.cjs');
 const generatedLocation = require('./generated-location.cjs');
-const generatedShape = require('./generated-shape.cjs');
 const inlineCycles = require('./inline-cycles.cjs');
+const locatedNode = require('./located-node.cjs');
 const originalIndex = require('./original-index.cjs');
 const pointerWalk = require('./pointer-walk.cjs');
 const typedWalk = require('./typed-walk.cjs');
@@ -19,7 +19,7 @@ function pointerOf(ref) {
 }
 function targetType(ref, pointer, request, seen) {
   const target = pointerWalk.pointerNode(pointer, request.context.refs);
-  if (generatedShape.isJsonObject(target) && typeof target.$ref === "string") {
+  if (locatedNode.isJsonObject(target) && typeof target.$ref === "string") {
     return seen.includes(target.$ref) ? null : schemaRefType(target.$ref, request, [...seen, ref]);
   }
   if (target === void 0 || inlineCycles.hasInlineCycle(ref, request.context.options, request.context.refs)) {

package/dist/application/transform/ref-pointer/pointer-type.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"pointer-type.cjs","sources":["../../../../src/application/transform/ref-pointer/pointer-type.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { InvalidRefError, refType } from \"../ref-type.js\";\nimport type { SchemaRequest } from \"../schema/schema-rule.js\";\nimport { generatedLocationOf } from \"./generated-location.js\";\nimport { isJsonObject } from \"./generated-shape.js\";\nimport { hasInlineCycle } from \"./inline-cycles.js\";\nimport { originalIndexFails } from \"./original-index.js\";\nimport { leadingSegmentsOf, pointerNode, type RefPointer, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * The type of a schema `$ref` (ADR-026). The original indexed every segment of the pointer by\n * name (`refType`), also schema keywords the generated types do not have (`[\"schema\"]`,\n * `[\"items\"]`, `[\"allOf\"][\"0\"]`), and did not look through optional or nullable values. Where that\n * type does not compile, the `$ref` now gets the type of what it points at; where it compiles\n * (through an index signature), it stays, and the `ref-pointers` fix gives the right type there.\n */\n\nfunction pointerOf(ref: string): RefPointer {\n  const pointer = refPointerOf(ref);\n  if (pointer === null) {\n    throw new InvalidRefError(ref);\n  }\n  return pointer;\n}\n\n/** The target of a pointer that crosses a segment with no type: its `$ref`, or its own type. */\nfunction targetType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const target = pointerNode(pointer, request.context.refs);\n  if (isJsonObject(target) && typeof target.$ref === \"string\") {\n    return seen.includes(target.$ref) ? null : schemaRefType(target.$ref, request, [...seen, ref]);\n  }\n  if (target === undefined || hasInlineCycle(ref, request.context.options, request.context.refs)) {\n    return null;\n  }\n  // Typed where the generator types the node, so it shares the node's enum (`--enum`).\n  const location = generatedLocationOf(ref, request.context.refs);\n  return request.transformNested(\n    target as never,\n    { path: location.path, schema: target },\n    location.isFromAdditionalProperties,\n  );\n}\n\nfunction correctedType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer, options, refs });\n  return result.kind === \"typed\" ? result.walk.type : targetType(ref, pointer, request, seen);\n}\n\nfunction isCorrected(pointer: RefPointer, request: SchemaRequest): boolean {\n  const { options, refs } = request.context;\n  return options.fixes.has(FIX.REF_POINTERS) || originalIndexFails({ pointer, options, refs });\n}\n\n/** The type of a schema `$ref`. Throws InvalidRefError when the `$ref` has no pointer. */\nexport function schemaRefType(\n  ref: string,\n  request: SchemaRequest,\n  seen: readonly string[] = [],\n): IrType {\n  const pointer = pointerOf(ref);\n  if (pointer.segments.length <= leadingSegmentsOf(pointer) || !isCorrected(pointer, request)) {\n    return refType(ref);\n  }\n  return correctedType(ref, pointer, request, seen) ?? refType(ref);\n}\n\n/**\n * The type of a `$ref` that `WithRequired` takes. A `$ref` to an optional or nullable value has\n * no keys (`keyof (T | undefined)` is `never`), so it is wrapped in `NonNullable` (TS2344).\n */\nexport function requirableRefType(ref: string, type: IrType, request: SchemaRequest): IrType {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer: pointerOf(ref), options, refs });\n  const isAbsent = result.kind === \"typed\" && result.walk.presence === \"absent\";\n  return isAbsent ? irReference(\"NonNullable\", [type]) : type;\n}\n"],"names":["refPointerOf","InvalidRefError","pointerNode","isJsonObject","hasInlineCycle","generatedLocationOf","typedWalk","FIX","originalIndexFails","leadingSegmentsOf","refType","irReference"],"mappings":";;;;;;;;;;;;AAoBA,SAAS,UAAU,GAAA,EAAyB;AAC1C,EAAA,MAAM,OAAA,GAAUA,yBAAa,GAAG,CAAA;AAChC,EAAA,IAAI,YAAY,IAAA,EAAM;AACpB,IAAA,MAAM,IAAIC,wBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,OAAO,OAAA;AACT;AAGA,SAAS,UAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,MAAA,GAASC,uBAAA,CAAY,OAAA,EAAS,OAAA,CAAQ,QAAQ,IAAI,CAAA;AACxD,EAAA,IAAIC,4BAAa,MAAM,CAAA,IAAK,OAAO,MAAA,CAAO,SAAS,QAAA,EAAU;AAC3D,IAAA,OAAO,IAAA,CAAK,QAAA,CAAS,MAAA,CAAO,IAAI,IAAI,IAAA,GAAO,aAAA,CAAc,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EAC/F;AACA,EAAA,IAAI,MAAA,KAAW,MAAA,IAAaC,2BAAA,CAAe,GAAA,EAAK,OAAA,CAAQ,QAAQ,OAAA,EAAS,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAC9F,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GAAWC,qCAAA,CAAoB,GAAA,EAAK,OAAA,CAAQ,QAAQ,IAAI,CAAA;AAC9D,EAAA,OAAO,OAAA,CAAQ,eAAA;AAAA,IACb,MAAA;AAAA,IACA,EAAE,IAAA,EAAM,QAAA,CAAS,IAAA,EAAM,QAAQ,MAAA,EAAO;AAAA,IACtC,QAAA,CAAS;AAAA,GACX;AACF;AAEA,SAAS,aAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,SAASC,mBAAA,CAAU,EAAE,OAAA,EAAS,OAAA,EAAS,MAAM,CAAA;AACnD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAO,UAAA,CAAW,GAAA,EAAK,OAAA,EAAS,OAAA,EAAS,IAAI,CAAA;AAC5F;AAEA,SAAS,WAAA,CAAY,SAAqB,OAAA,EAAiC;AACzE,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,OAAO,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,eAAA,CAAI,YAAY,CAAA,IAAKC,gCAAA,CAAmB,EAAE,OAAA,EAAS,OAAA,EAAS,IAAA,EAAM,CAAA;AAC7F;AAGO,SAAS,aAAA,CACd,GAAA,EACA,OAAA,EACA,IAAA,GAA0B,EAAC,EACnB;AACR,EAAA,MAAM,OAAA,GAAU,UAAU,GAAG,CAAA;AAC7B,EAAA,IAAI,OAAA,CAAQ,QAAA,CAAS,MAAA,IAAUC,6BAAA,CAAkB,OAAO,KAAK,CAAC,WAAA,CAAY,OAAA,EAAS,OAAO,CAAA,EAAG;AAC3F,IAAA,OAAOC,gBAAQ,GAAG,CAAA;AAAA,EACpB;AACA,EAAA,OAAO,cAAc,GAAA,EAAK,OAAA,EAAS,SAAS,IAAI,CAAA,IAAKA,gBAAQ,GAAG,CAAA;AAClE;AAMO,SAAS,iBAAA,CAAkB,GAAA,EAAa,IAAA,EAAc,OAAA,EAAgC;AAC3F,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,MAAA,GAASJ,oBAAU,EAAE,OAAA,EAAS,UAAU,GAAG,CAAA,EAAG,OAAA,EAAS,IAAA,EAAM,CAAA;AACnE,EAAA,MAAM,WAAW,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,KAAK,QAAA,KAAa,QAAA;AACrE,EAAA,OAAO,WAAWK,wBAAA,CAAY,aAAA,EAAe,CAAC,IAAI,CAAC,CAAA,GAAI,IAAA;AACzD;;;"}
+{"version":3,"file":"pointer-type.cjs","sources":["../../../../src/application/transform/ref-pointer/pointer-type.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { InvalidRefError, refType } from \"../ref-type.js\";\nimport type { SchemaRequest } from \"../schema/schema-rule.js\";\nimport { generatedLocationOf } from \"./generated-location.js\";\nimport { hasInlineCycle } from \"./inline-cycles.js\";\nimport { isJsonObject } from \"./located-node.js\";\nimport { originalIndexFails } from \"./original-index.js\";\nimport { leadingSegmentsOf, pointerNode, type RefPointer, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * The type of a schema `$ref` (ADR-026). The original indexed every segment of the pointer by\n * name (`refType`), also schema keywords the generated types do not have (`[\"schema\"]`,\n * `[\"items\"]`, `[\"allOf\"][\"0\"]`), and did not look through optional or nullable values. Where that\n * type does not compile, the `$ref` now gets the type of what it points at; where it compiles\n * (through an index signature), it stays, and the `ref-pointers` fix gives the right type there.\n */\n\nfunction pointerOf(ref: string): RefPointer {\n  const pointer = refPointerOf(ref);\n  if (pointer === null) {\n    throw new InvalidRefError(ref);\n  }\n  return pointer;\n}\n\n/** The target of a pointer that crosses a segment with no type: its `$ref`, or its own type. */\nfunction targetType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const target = pointerNode(pointer, request.context.refs);\n  if (isJsonObject(target) && typeof target.$ref === \"string\") {\n    return seen.includes(target.$ref) ? null : schemaRefType(target.$ref, request, [...seen, ref]);\n  }\n  if (target === undefined || hasInlineCycle(ref, request.context.options, request.context.refs)) {\n    return null;\n  }\n  // Typed where the generator types the node, so it shares the node's enum (`--enum`).\n  const location = generatedLocationOf(ref, request.context.refs);\n  return request.transformNested(\n    target as never,\n    { path: location.path, schema: target },\n    location.isFromAdditionalProperties,\n  );\n}\n\nfunction correctedType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer, options, refs });\n  return result.kind === \"typed\" ? result.walk.type : targetType(ref, pointer, request, seen);\n}\n\nfunction isCorrected(pointer: RefPointer, request: SchemaRequest): boolean {\n  const { options, refs } = request.context;\n  return options.fixes.has(FIX.REF_POINTERS) || originalIndexFails({ pointer, options, refs });\n}\n\n/** The type of a schema `$ref`. Throws InvalidRefError when the `$ref` has no pointer. */\nexport function schemaRefType(\n  ref: string,\n  request: SchemaRequest,\n  seen: readonly string[] = [],\n): IrType {\n  const pointer = pointerOf(ref);\n  if (pointer.segments.length <= leadingSegmentsOf(pointer) || !isCorrected(pointer, request)) {\n    return refType(ref);\n  }\n  return correctedType(ref, pointer, request, seen) ?? refType(ref);\n}\n\n/**\n * The type of a `$ref` that `WithRequired` takes. A `$ref` to an optional or nullable value has\n * no keys (`keyof (T | undefined)` is `never`), so it is wrapped in `NonNullable` (TS2344).\n */\nexport function requirableRefType(ref: string, type: IrType, request: SchemaRequest): IrType {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer: pointerOf(ref), options, refs });\n  const isAbsent = result.kind === \"typed\" && result.walk.presence === \"absent\";\n  return isAbsent ? irReference(\"NonNullable\", [type]) : type;\n}\n"],"names":["refPointerOf","InvalidRefError","pointerNode","isJsonObject","hasInlineCycle","generatedLocationOf","typedWalk","FIX","originalIndexFails","leadingSegmentsOf","refType","irReference"],"mappings":";;;;;;;;;;;;AAoBA,SAAS,UAAU,GAAA,EAAyB;AAC1C,EAAA,MAAM,OAAA,GAAUA,yBAAa,GAAG,CAAA;AAChC,EAAA,IAAI,YAAY,IAAA,EAAM;AACpB,IAAA,MAAM,IAAIC,wBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,OAAO,OAAA;AACT;AAGA,SAAS,UAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,MAAA,GAASC,uBAAA,CAAY,OAAA,EAAS,OAAA,CAAQ,QAAQ,IAAI,CAAA;AACxD,EAAA,IAAIC,yBAAa,MAAM,CAAA,IAAK,OAAO,MAAA,CAAO,SAAS,QAAA,EAAU;AAC3D,IAAA,OAAO,IAAA,CAAK,QAAA,CAAS,MAAA,CAAO,IAAI,IAAI,IAAA,GAAO,aAAA,CAAc,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EAC/F;AACA,EAAA,IAAI,MAAA,KAAW,MAAA,IAAaC,2BAAA,CAAe,GAAA,EAAK,OAAA,CAAQ,QAAQ,OAAA,EAAS,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAC9F,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GAAWC,qCAAA,CAAoB,GAAA,EAAK,OAAA,CAAQ,QAAQ,IAAI,CAAA;AAC9D,EAAA,OAAO,OAAA,CAAQ,eAAA;AAAA,IACb,MAAA;AAAA,IACA,EAAE,IAAA,EAAM,QAAA,CAAS,IAAA,EAAM,QAAQ,MAAA,EAAO;AAAA,IACtC,QAAA,CAAS;AAAA,GACX;AACF;AAEA,SAAS,aAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,SAASC,mBAAA,CAAU,EAAE,OAAA,EAAS,OAAA,EAAS,MAAM,CAAA;AACnD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAO,UAAA,CAAW,GAAA,EAAK,OAAA,EAAS,OAAA,EAAS,IAAI,CAAA;AAC5F;AAEA,SAAS,WAAA,CAAY,SAAqB,OAAA,EAAiC;AACzE,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,OAAO,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,eAAA,CAAI,YAAY,CAAA,IAAKC,gCAAA,CAAmB,EAAE,OAAA,EAAS,OAAA,EAAS,IAAA,EAAM,CAAA;AAC7F;AAGO,SAAS,aAAA,CACd,GAAA,EACA,OAAA,EACA,IAAA,GAA0B,EAAC,EACnB;AACR,EAAA,MAAM,OAAA,GAAU,UAAU,GAAG,CAAA;AAC7B,EAAA,IAAI,OAAA,CAAQ,QAAA,CAAS,MAAA,IAAUC,6BAAA,CAAkB,OAAO,KAAK,CAAC,WAAA,CAAY,OAAA,EAAS,OAAO,CAAA,EAAG;AAC3F,IAAA,OAAOC,gBAAQ,GAAG,CAAA;AAAA,EACpB;AACA,EAAA,OAAO,cAAc,GAAA,EAAK,OAAA,EAAS,SAAS,IAAI,CAAA,IAAKA,gBAAQ,GAAG,CAAA;AAClE;AAMO,SAAS,iBAAA,CAAkB,GAAA,EAAa,IAAA,EAAc,OAAA,EAAgC;AAC3F,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,MAAA,GAASJ,oBAAU,EAAE,OAAA,EAAS,UAAU,GAAG,CAAA,EAAG,OAAA,EAAS,IAAA,EAAM,CAAA;AACnE,EAAA,MAAM,WAAW,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,KAAK,QAAA,KAAa,QAAA;AACrE,EAAA,OAAO,WAAWK,wBAAA,CAAY,aAAA,EAAe,CAAC,IAAI,CAAC,CAAA,GAAI,IAAA;AACzD;;;"}

package/dist/application/transform/ref-pointer/pointer-type.mjs

@@ -2,8 +2,8 @@ import { irReference } from '../../../domain/ir/constructors.mjs';
 import { FIX } from '../../../domain/output-fixes.mjs';
 import { refType, InvalidRefError } from '../ref-type.mjs';
 import { generatedLocationOf } from './generated-location.mjs';
-import { isJsonObject } from './generated-shape.mjs';
 import { hasInlineCycle } from './inline-cycles.mjs';
+import { isJsonObject } from './located-node.mjs';
 import { originalIndexFails } from './original-index.mjs';
 import { leadingSegmentsOf, refPointerOf, pointerNode } from './pointer-walk.mjs';
 import { typedWalk } from './typed-walk.mjs';

package/dist/application/transform/ref-pointer/pointer-type.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"pointer-type.mjs","sources":["../../../../src/application/transform/ref-pointer/pointer-type.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { InvalidRefError, refType } from \"../ref-type.js\";\nimport type { SchemaRequest } from \"../schema/schema-rule.js\";\nimport { generatedLocationOf } from \"./generated-location.js\";\nimport { isJsonObject } from \"./generated-shape.js\";\nimport { hasInlineCycle } from \"./inline-cycles.js\";\nimport { originalIndexFails } from \"./original-index.js\";\nimport { leadingSegmentsOf, pointerNode, type RefPointer, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * The type of a schema `$ref` (ADR-026). The original indexed every segment of the pointer by\n * name (`refType`), also schema keywords the generated types do not have (`[\"schema\"]`,\n * `[\"items\"]`, `[\"allOf\"][\"0\"]`), and did not look through optional or nullable values. Where that\n * type does not compile, the `$ref` now gets the type of what it points at; where it compiles\n * (through an index signature), it stays, and the `ref-pointers` fix gives the right type there.\n */\n\nfunction pointerOf(ref: string): RefPointer {\n  const pointer = refPointerOf(ref);\n  if (pointer === null) {\n    throw new InvalidRefError(ref);\n  }\n  return pointer;\n}\n\n/** The target of a pointer that crosses a segment with no type: its `$ref`, or its own type. */\nfunction targetType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const target = pointerNode(pointer, request.context.refs);\n  if (isJsonObject(target) && typeof target.$ref === \"string\") {\n    return seen.includes(target.$ref) ? null : schemaRefType(target.$ref, request, [...seen, ref]);\n  }\n  if (target === undefined || hasInlineCycle(ref, request.context.options, request.context.refs)) {\n    return null;\n  }\n  // Typed where the generator types the node, so it shares the node's enum (`--enum`).\n  const location = generatedLocationOf(ref, request.context.refs);\n  return request.transformNested(\n    target as never,\n    { path: location.path, schema: target },\n    location.isFromAdditionalProperties,\n  );\n}\n\nfunction correctedType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer, options, refs });\n  return result.kind === \"typed\" ? result.walk.type : targetType(ref, pointer, request, seen);\n}\n\nfunction isCorrected(pointer: RefPointer, request: SchemaRequest): boolean {\n  const { options, refs } = request.context;\n  return options.fixes.has(FIX.REF_POINTERS) || originalIndexFails({ pointer, options, refs });\n}\n\n/** The type of a schema `$ref`. Throws InvalidRefError when the `$ref` has no pointer. */\nexport function schemaRefType(\n  ref: string,\n  request: SchemaRequest,\n  seen: readonly string[] = [],\n): IrType {\n  const pointer = pointerOf(ref);\n  if (pointer.segments.length <= leadingSegmentsOf(pointer) || !isCorrected(pointer, request)) {\n    return refType(ref);\n  }\n  return correctedType(ref, pointer, request, seen) ?? refType(ref);\n}\n\n/**\n * The type of a `$ref` that `WithRequired` takes. A `$ref` to an optional or nullable value has\n * no keys (`keyof (T | undefined)` is `never`), so it is wrapped in `NonNullable` (TS2344).\n */\nexport function requirableRefType(ref: string, type: IrType, request: SchemaRequest): IrType {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer: pointerOf(ref), options, refs });\n  const isAbsent = result.kind === \"typed\" && result.walk.presence === \"absent\";\n  return isAbsent ? irReference(\"NonNullable\", [type]) : type;\n}\n"],"names":[],"mappings":";;;;;;;;;;AAoBA,SAAS,UAAU,GAAA,EAAyB;AAC1C,EAAA,MAAM,OAAA,GAAU,aAAa,GAAG,CAAA;AAChC,EAAA,IAAI,YAAY,IAAA,EAAM;AACpB,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,OAAO,OAAA;AACT;AAGA,SAAS,UAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,OAAA,EAAS,OAAA,CAAQ,QAAQ,IAAI,CAAA;AACxD,EAAA,IAAI,aAAa,MAAM,CAAA,IAAK,OAAO,MAAA,CAAO,SAAS,QAAA,EAAU;AAC3D,IAAA,OAAO,IAAA,CAAK,QAAA,CAAS,MAAA,CAAO,IAAI,IAAI,IAAA,GAAO,aAAA,CAAc,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EAC/F;AACA,EAAA,IAAI,MAAA,KAAW,MAAA,IAAa,cAAA,CAAe,GAAA,EAAK,OAAA,CAAQ,QAAQ,OAAA,EAAS,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAC9F,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GAAW,mBAAA,CAAoB,GAAA,EAAK,OAAA,CAAQ,QAAQ,IAAI,CAAA;AAC9D,EAAA,OAAO,OAAA,CAAQ,eAAA;AAAA,IACb,MAAA;AAAA,IACA,EAAE,IAAA,EAAM,QAAA,CAAS,IAAA,EAAM,QAAQ,MAAA,EAAO;AAAA,IACtC,QAAA,CAAS;AAAA,GACX;AACF;AAEA,SAAS,aAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,SAAS,SAAA,CAAU,EAAE,OAAA,EAAS,OAAA,EAAS,MAAM,CAAA;AACnD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAO,UAAA,CAAW,GAAA,EAAK,OAAA,EAAS,OAAA,EAAS,IAAI,CAAA;AAC5F;AAEA,SAAS,WAAA,CAAY,SAAqB,OAAA,EAAiC;AACzE,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,OAAO,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,YAAY,CAAA,IAAK,kBAAA,CAAmB,EAAE,OAAA,EAAS,OAAA,EAAS,IAAA,EAAM,CAAA;AAC7F;AAGO,SAAS,aAAA,CACd,GAAA,EACA,OAAA,EACA,IAAA,GAA0B,EAAC,EACnB;AACR,EAAA,MAAM,OAAA,GAAU,UAAU,GAAG,CAAA;AAC7B,EAAA,IAAI,OAAA,CAAQ,QAAA,CAAS,MAAA,IAAU,iBAAA,CAAkB,OAAO,KAAK,CAAC,WAAA,CAAY,OAAA,EAAS,OAAO,CAAA,EAAG;AAC3F,IAAA,OAAO,QAAQ,GAAG,CAAA;AAAA,EACpB;AACA,EAAA,OAAO,cAAc,GAAA,EAAK,OAAA,EAAS,SAAS,IAAI,CAAA,IAAK,QAAQ,GAAG,CAAA;AAClE;AAMO,SAAS,iBAAA,CAAkB,GAAA,EAAa,IAAA,EAAc,OAAA,EAAgC;AAC3F,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,MAAA,GAAS,UAAU,EAAE,OAAA,EAAS,UAAU,GAAG,CAAA,EAAG,OAAA,EAAS,IAAA,EAAM,CAAA;AACnE,EAAA,MAAM,WAAW,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,KAAK,QAAA,KAAa,QAAA;AACrE,EAAA,OAAO,WAAW,WAAA,CAAY,aAAA,EAAe,CAAC,IAAI,CAAC,CAAA,GAAI,IAAA;AACzD;;"}
+{"version":3,"file":"pointer-type.mjs","sources":["../../../../src/application/transform/ref-pointer/pointer-type.ts"],"sourcesContent":["import { irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { InvalidRefError, refType } from \"../ref-type.js\";\nimport type { SchemaRequest } from \"../schema/schema-rule.js\";\nimport { generatedLocationOf } from \"./generated-location.js\";\nimport { hasInlineCycle } from \"./inline-cycles.js\";\nimport { isJsonObject } from \"./located-node.js\";\nimport { originalIndexFails } from \"./original-index.js\";\nimport { leadingSegmentsOf, pointerNode, type RefPointer, refPointerOf } from \"./pointer-walk.js\";\nimport { typedWalk } from \"./typed-walk.js\";\n\n/**\n * The type of a schema `$ref` (ADR-026). The original indexed every segment of the pointer by\n * name (`refType`), also schema keywords the generated types do not have (`[\"schema\"]`,\n * `[\"items\"]`, `[\"allOf\"][\"0\"]`), and did not look through optional or nullable values. Where that\n * type does not compile, the `$ref` now gets the type of what it points at; where it compiles\n * (through an index signature), it stays, and the `ref-pointers` fix gives the right type there.\n */\n\nfunction pointerOf(ref: string): RefPointer {\n  const pointer = refPointerOf(ref);\n  if (pointer === null) {\n    throw new InvalidRefError(ref);\n  }\n  return pointer;\n}\n\n/** The target of a pointer that crosses a segment with no type: its `$ref`, or its own type. */\nfunction targetType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const target = pointerNode(pointer, request.context.refs);\n  if (isJsonObject(target) && typeof target.$ref === \"string\") {\n    return seen.includes(target.$ref) ? null : schemaRefType(target.$ref, request, [...seen, ref]);\n  }\n  if (target === undefined || hasInlineCycle(ref, request.context.options, request.context.refs)) {\n    return null;\n  }\n  // Typed where the generator types the node, so it shares the node's enum (`--enum`).\n  const location = generatedLocationOf(ref, request.context.refs);\n  return request.transformNested(\n    target as never,\n    { path: location.path, schema: target },\n    location.isFromAdditionalProperties,\n  );\n}\n\nfunction correctedType(\n  ref: string,\n  pointer: RefPointer,\n  request: SchemaRequest,\n  seen: readonly string[],\n) {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer, options, refs });\n  return result.kind === \"typed\" ? result.walk.type : targetType(ref, pointer, request, seen);\n}\n\nfunction isCorrected(pointer: RefPointer, request: SchemaRequest): boolean {\n  const { options, refs } = request.context;\n  return options.fixes.has(FIX.REF_POINTERS) || originalIndexFails({ pointer, options, refs });\n}\n\n/** The type of a schema `$ref`. Throws InvalidRefError when the `$ref` has no pointer. */\nexport function schemaRefType(\n  ref: string,\n  request: SchemaRequest,\n  seen: readonly string[] = [],\n): IrType {\n  const pointer = pointerOf(ref);\n  if (pointer.segments.length <= leadingSegmentsOf(pointer) || !isCorrected(pointer, request)) {\n    return refType(ref);\n  }\n  return correctedType(ref, pointer, request, seen) ?? refType(ref);\n}\n\n/**\n * The type of a `$ref` that `WithRequired` takes. A `$ref` to an optional or nullable value has\n * no keys (`keyof (T | undefined)` is `never`), so it is wrapped in `NonNullable` (TS2344).\n */\nexport function requirableRefType(ref: string, type: IrType, request: SchemaRequest): IrType {\n  const { options, refs } = request.context;\n  const result = typedWalk({ pointer: pointerOf(ref), options, refs });\n  const isAbsent = result.kind === \"typed\" && result.walk.presence === \"absent\";\n  return isAbsent ? irReference(\"NonNullable\", [type]) : type;\n}\n"],"names":[],"mappings":";;;;;;;;;;AAoBA,SAAS,UAAU,GAAA,EAAyB;AAC1C,EAAA,MAAM,OAAA,GAAU,aAAa,GAAG,CAAA;AAChC,EAAA,IAAI,YAAY,IAAA,EAAM;AACpB,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,OAAO,OAAA;AACT;AAGA,SAAS,UAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,OAAA,EAAS,OAAA,CAAQ,QAAQ,IAAI,CAAA;AACxD,EAAA,IAAI,aAAa,MAAM,CAAA,IAAK,OAAO,MAAA,CAAO,SAAS,QAAA,EAAU;AAC3D,IAAA,OAAO,IAAA,CAAK,QAAA,CAAS,MAAA,CAAO,IAAI,IAAI,IAAA,GAAO,aAAA,CAAc,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EAC/F;AACA,EAAA,IAAI,MAAA,KAAW,MAAA,IAAa,cAAA,CAAe,GAAA,EAAK,OAAA,CAAQ,QAAQ,OAAA,EAAS,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAC9F,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GAAW,mBAAA,CAAoB,GAAA,EAAK,OAAA,CAAQ,QAAQ,IAAI,CAAA;AAC9D,EAAA,OAAO,OAAA,CAAQ,eAAA;AAAA,IACb,MAAA;AAAA,IACA,EAAE,IAAA,EAAM,QAAA,CAAS,IAAA,EAAM,QAAQ,MAAA,EAAO;AAAA,IACtC,QAAA,CAAS;AAAA,GACX;AACF;AAEA,SAAS,aAAA,CACP,GAAA,EACA,OAAA,EACA,OAAA,EACA,IAAA,EACA;AACA,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,SAAS,SAAA,CAAU,EAAE,OAAA,EAAS,OAAA,EAAS,MAAM,CAAA;AACnD,EAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAO,UAAA,CAAW,GAAA,EAAK,OAAA,EAAS,OAAA,EAAS,IAAI,CAAA;AAC5F;AAEA,SAAS,WAAA,CAAY,SAAqB,OAAA,EAAiC;AACzE,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,OAAO,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,YAAY,CAAA,IAAK,kBAAA,CAAmB,EAAE,OAAA,EAAS,OAAA,EAAS,IAAA,EAAM,CAAA;AAC7F;AAGO,SAAS,aAAA,CACd,GAAA,EACA,OAAA,EACA,IAAA,GAA0B,EAAC,EACnB;AACR,EAAA,MAAM,OAAA,GAAU,UAAU,GAAG,CAAA;AAC7B,EAAA,IAAI,OAAA,CAAQ,QAAA,CAAS,MAAA,IAAU,iBAAA,CAAkB,OAAO,KAAK,CAAC,WAAA,CAAY,OAAA,EAAS,OAAO,CAAA,EAAG;AAC3F,IAAA,OAAO,QAAQ,GAAG,CAAA;AAAA,EACpB;AACA,EAAA,OAAO,cAAc,GAAA,EAAK,OAAA,EAAS,SAAS,IAAI,CAAA,IAAK,QAAQ,GAAG,CAAA;AAClE;AAMO,SAAS,iBAAA,CAAkB,GAAA,EAAa,IAAA,EAAc,OAAA,EAAgC;AAC3F,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,OAAA,CAAQ,OAAA;AAClC,EAAA,MAAM,MAAA,GAAS,UAAU,EAAE,OAAA,EAAS,UAAU,GAAG,CAAA,EAAG,OAAA,EAAS,IAAA,EAAM,CAAA;AACnE,EAAA,MAAM,WAAW,MAAA,CAAO,IAAA,KAAS,OAAA,IAAW,MAAA,CAAO,KAAK,QAAA,KAAa,QAAA;AACrE,EAAA,OAAO,WAAW,WAAA,CAAY,aAAA,EAAe,CAAC,IAAI,CAAC,CAAA,GAAI,IAAA;AACzD;;"}

package/dist/application/transform/ref-pointer/pointer-walk.cjs

@@ -1,7 +1,10 @@
 'use strict';
 
+const documentPlaces = require('../../../domain/openapi/document-places.cjs');
 const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
-const generatedShape = require('./generated-shape.cjs');
+const parameterObject = require('../../../domain/openapi/parameter-object.cjs');
+const outputFixes = require('../../../domain/output-fixes.cjs');
+const locatedNode = require('./located-node.cjs');
 
 const NAMED_ROOTS = /* @__PURE__ */ new Set(["paths", "webhooks"]);
 function leadingSegmentsOf(pointer) {
@@ -11,18 +14,23 @@ function refPointerOf(ref) {
   const [rootSegment, ...segments] = jsonPointer.parseRefPointer(ref);
   return rootSegment === void 0 ? null : { rootSegment, segments };
 }
-function leadingNode(pointer, refs) {
-  let node = refs.resolve(`#/${pointer.rootSegment}`);
+function leadingLocated(pointer, refs) {
+  let located = {
+    node: refs.resolve(`#/${pointer.rootSegment}`),
+    location: locatedNode.childLocation(jsonPointer.ROOT_POINTER, pointer.rootSegment)
+  };
   for (const segment of pointer.segments.slice(0, leadingSegmentsOf(pointer))) {
-    node = generatedShape.isJsonObject(node) ? generatedShape.followRefs(node[segment], refs) : void 0;
+    const { node, location } = located;
+    const child = locatedNode.isJsonObject(node) ? node[segment] : void 0;
+    located = locatedNode.followLocated({ node: child, location: locatedNode.childLocation(location, segment) }, refs);
   }
-  return node;
+  return located;
 }
 function pointerNode(pointer, refs) {
   let node = refs.resolve(`#/${pointer.rootSegment}`);
   pointer.segments.forEach((segment, index) => {
-    const child = generatedShape.isJsonObject(node) || Array.isArray(node) ? node[segment] : void 0;
-    node = index === pointer.segments.length - 1 ? child : generatedShape.followRefs(child, refs);
+    const child = locatedNode.isJsonObject(node) || Array.isArray(node) ? node[segment] : void 0;
+    node = index === pointer.segments.length - 1 ? child : locatedNode.followRefs(child, refs);
   });
   return node;
 }
@@ -34,31 +42,64 @@ function isTypedAsSchema(pointer, index) {
   const isComponentParameter = pointer.rootSegment === "components" && index === 2 && owner === "parameters";
   return owner === "content" || owner === "headers" || isComponentParameter;
 }
+function headerParameterContentForm(pointer, index, owner, options) {
+  const isHeader = pointer.segments[index - 2] === "headers";
+  const isComponentParameter = pointer.rootSegment === "components" && index === 2 && pointer.segments[0] === "parameters";
+  const isOwnContent = pointer.segments[index] === "content" && (isHeader || isComponentParameter);
+  if (!isOwnContent || !locatedNode.isJsonObject(owner)) {
+    return null;
+  }
+  const isFixed = options.fixes.has(outputFixes.FIX.PARAMETER_HEADER_CONTENT);
+  if (isHeader) {
+    if (owner.schema) {
+      return "schema";
+    }
+    return isFixed ? "first-media-type" : "media-type-members";
+  }
+  if (owner.in === parameterObject.QUERYSTRING_LOCATION) {
+    return "first-media-type";
+  }
+  if (owner.schema !== void 0) {
+    return "schema";
+  }
+  return isFixed ? "first-media-type" : "string";
+}
 function isParameterList(pointer, index) {
   const next = pointer.segments[index + 1] ?? "";
   return pointer.segments[index] === "parameters" && /^\d+$/.test(next);
 }
 function isOptionalHeader(pointer, index, headers) {
   const isComponentHeader = pointer.rootSegment === "components" && index === 1;
-  if (pointer.segments[index - 1] !== "headers" || isComponentHeader || !generatedShape.isJsonObject(headers)) {
+  if (pointer.segments[index - 1] !== "headers" || isComponentHeader || !locatedNode.isJsonObject(headers)) {
     return false;
   }
   const header = headers[pointer.segments[index]];
-  return generatedShape.isJsonObject(header) && header.$ref === void 0 && header.required !== true;
+  return locatedNode.isJsonObject(header) && header.$ref === void 0 && header.required !== true;
+}
+function isExcludedOperation(pointer, index, pathItem, input) {
+  const segments = [pointer.rootSegment, ...pointer.segments.slice(0, index + 1)];
+  if (!input.options.excludeDeprecated || documentPlaces.placeOf(segments) !== "operation") {
+    return false;
+  }
+  const segment = pointer.segments[index];
+  const operation = locatedNode.isJsonObject(pathItem) ? locatedNode.followRefs(pathItem[segment], input.refs) : void 0;
+  return locatedNode.isJsonObject(operation) && Boolean(operation.deprecated);
 }
 function isOptionalRequestBody(container, refs) {
-  if (!generatedShape.isJsonObject(container) || container.requestBody === void 0) {
+  if (!locatedNode.isJsonObject(container) || container.requestBody === void 0) {
     return false;
   }
-  const body = generatedShape.followRefs(container.requestBody, refs);
-  return !(generatedShape.isJsonObject(body) && body.required === true);
+  const body = locatedNode.followRefs(container.requestBody, refs);
+  return !(locatedNode.isJsonObject(body) && body.required === true);
 }
 
+exports.headerParameterContentForm = headerParameterContentForm;
+exports.isExcludedOperation = isExcludedOperation;
 exports.isOptionalHeader = isOptionalHeader;
 exports.isOptionalRequestBody = isOptionalRequestBody;
 exports.isParameterList = isParameterList;
 exports.isTypedAsSchema = isTypedAsSchema;
-exports.leadingNode = leadingNode;
+exports.leadingLocated = leadingLocated;
 exports.leadingSegmentsOf = leadingSegmentsOf;
 exports.pointerNode = pointerNode;
 exports.refPointerOf = refPointerOf;