openapi-typesafe 1.0.0-rc.0 → 1.0.0-rc.1

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

@@ -0,0 +1,66 @@
+'use strict';
+
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const generatedShape = require('./generated-shape.cjs');
+
+const NAMED_ROOTS = /* @__PURE__ */ new Set(["paths", "webhooks"]);
+function leadingSegmentsOf(pointer) {
+  return NAMED_ROOTS.has(pointer.rootSegment) ? 1 : 2;
+}
+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}`);
+  for (const segment of pointer.segments.slice(0, leadingSegmentsOf(pointer))) {
+    node = generatedShape.isJsonObject(node) ? generatedShape.followRefs(node[segment], refs) : void 0;
+  }
+  return node;
+}
+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);
+  });
+  return node;
+}
+function startsInSchema(pointer) {
+  return pointer.rootSegment === "components" && pointer.segments[0] === "schemas";
+}
+function isTypedAsSchema(pointer, index) {
+  const owner = pointer.segments[index - 2];
+  const isComponentParameter = pointer.rootSegment === "components" && index === 2 && owner === "parameters";
+  return owner === "content" || owner === "headers" || isComponentParameter;
+}
+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)) {
+    return false;
+  }
+  const header = headers[pointer.segments[index]];
+  return generatedShape.isJsonObject(header) && header.$ref === void 0 && header.required !== true;
+}
+function isOptionalRequestBody(container, refs) {
+  if (!generatedShape.isJsonObject(container) || container.requestBody === void 0) {
+    return false;
+  }
+  const body = generatedShape.followRefs(container.requestBody, refs);
+  return !(generatedShape.isJsonObject(body) && body.required === true);
+}
+
+exports.isOptionalHeader = isOptionalHeader;
+exports.isOptionalRequestBody = isOptionalRequestBody;
+exports.isParameterList = isParameterList;
+exports.isTypedAsSchema = isTypedAsSchema;
+exports.leadingNode = leadingNode;
+exports.leadingSegmentsOf = leadingSegmentsOf;
+exports.pointerNode = pointerNode;
+exports.refPointerOf = refPointerOf;
+exports.startsInSchema = startsInSchema;
+//# sourceMappingURL=pointer-walk.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-walk.cjs","sources":["../../../../src/application/transform/ref-pointer/pointer-walk.ts"],"sourcesContent":["import { parseRefPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\nimport { followRefs, isJsonObject } from \"./generated-shape.js\";\n\n/** The parts of a `$ref` pointer that both the original and the new types walk. */\n\nexport interface RefPointer {\n  readonly rootSegment: string;\n  /** The segments after the root: `#/components/schemas/A` gives `[\"schemas\", \"A\"]`. */\n  readonly segments: readonly string[];\n}\n\n/** Roots whose generated type is keyed by one segment: the path or webhook name. */\nconst NAMED_ROOTS: ReadonlySet<string> = new Set([\"paths\", \"webhooks\"]);\n\n/**\n * How many segments after the root index the generated root type directly: one for `paths` and\n * `webhooks` (`paths[\"/a\"]`, so the path item's own `parameters/0` is walked), two otherwise\n * (`components[\"schemas\"][\"A\"]`).\n */\nexport function leadingSegmentsOf(pointer: RefPointer): number {\n  return NAMED_ROOTS.has(pointer.rootSegment) ? 1 : 2;\n}\n\nexport function refPointerOf(ref: string): RefPointer | null {\n  const [rootSegment, ...segments] = parseRefPointer(ref);\n  return rootSegment === undefined ? null : { rootSegment, segments };\n}\n\n/** The document node at the end of the leading segments, `$ref`s followed. */\nexport function leadingNode(pointer: RefPointer, refs: RefResolver): unknown {\n  let node = refs.resolve(`#/${pointer.rootSegment}`);\n  for (const segment of pointer.segments.slice(0, leadingSegmentsOf(pointer))) {\n    node = isJsonObject(node) ? followRefs(node[segment], refs) : undefined;\n  }\n  return node;\n}\n\n/** The node at the whole pointer, without following a `$ref` at its end. */\nexport function pointerNode(pointer: RefPointer, refs: RefResolver): unknown {\n  let node = refs.resolve(`#/${pointer.rootSegment}`);\n  pointer.segments.forEach((segment, index) => {\n    const child = isJsonObject(node) || Array.isArray(node) ? (node as never)[segment] : undefined;\n    node = index === pointer.segments.length - 1 ? child : followRefs(child, refs);\n  });\n  return node;\n}\n\n/** Whether the leading segments name a component schema, so the walk starts inside a schema. */\nexport function startsInSchema(pointer: RefPointer): boolean {\n  return pointer.rootSegment === \"components\" && pointer.segments[0] === \"schemas\";\n}\n\n/**\n * Whether the container at `index` is typed as its `schema`: a media type\n * (`content/<media type>`), a header (`headers/<name>`) or a component parameter.\n */\nexport function isTypedAsSchema(pointer: RefPointer, index: number): boolean {\n  const owner = pointer.segments[index - 2];\n  const isComponentParameter =\n    pointer.rootSegment === \"components\" && index === 2 && owner === \"parameters\";\n  return owner === \"content\" || owner === \"headers\" || isComponentParameter;\n}\n\n/**\n * Whether the segment at `index` is an operation's or path item's `parameters` list, indexed by\n * position next. The generated type groups parameters by `in` (`query`, `path`), so it has no\n * member `0`.\n */\nexport function isParameterList(pointer: RefPointer, index: number): boolean {\n  const next = pointer.segments[index + 1] ?? \"\";\n  return pointer.segments[index] === \"parameters\" && /^\\d+$/.test(next);\n}\n\n/**\n * Whether the segment at `index` names a response header that is an optional member: one the\n * response lists without `required: true`. A `$ref` header counts as required, as the generated\n * type has it; a component header (`components/headers/<name>`) is a member of its own.\n */\nexport function isOptionalHeader(pointer: RefPointer, index: number, headers: unknown): boolean {\n  const isComponentHeader = pointer.rootSegment === \"components\" && index === 1;\n  if (pointer.segments[index - 1] !== \"headers\" || isComponentHeader || !isJsonObject(headers)) {\n    return false;\n  }\n  const header = headers[pointer.segments[index] as string];\n  return isJsonObject(header) && header.$ref === undefined && header.required !== true;\n}\n\n/** A `requestBody` the operation does not mark `required` is an optional member. */\nexport function isOptionalRequestBody(container: unknown, refs: RefResolver): boolean {\n  if (!isJsonObject(container) || container.requestBody === undefined) {\n    return false;\n  }\n  const body = followRefs(container.requestBody, refs);\n  return !(isJsonObject(body) && body.required === true);\n}\n"],"names":["parseRefPointer","isJsonObject","followRefs"],"mappings":";;;;;AAaA,MAAM,8BAAmC,IAAI,GAAA,CAAI,CAAC,OAAA,EAAS,UAAU,CAAC,CAAA;AAO/D,SAAS,kBAAkB,OAAA,EAA6B;AAC7D,EAAA,OAAO,WAAA,CAAY,GAAA,CAAI,OAAA,CAAQ,WAAW,IAAI,CAAA,GAAI,CAAA;AACpD;AAEO,SAAS,aAAa,GAAA,EAAgC;AAC3D,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,QAAQ,CAAA,GAAIA,4BAAgB,GAAG,CAAA;AACtD,EAAA,OAAO,WAAA,KAAgB,MAAA,GAAY,IAAA,GAAO,EAAE,aAAa,QAAA,EAAS;AACpE;AAGO,SAAS,WAAA,CAAY,SAAqB,IAAA,EAA4B;AAC3E,EAAA,IAAI,OAAO,IAAA,CAAK,OAAA,CAAQ,CAAA,EAAA,EAAK,OAAA,CAAQ,WAAW,CAAA,CAAE,CAAA;AAClD,EAAA,KAAA,MAAW,OAAA,IAAW,QAAQ,QAAA,CAAS,KAAA,CAAM,GAAG,iBAAA,CAAkB,OAAO,CAAC,CAAA,EAAG;AAC3E,IAAA,IAAA,GAAOC,2BAAA,CAAa,IAAI,CAAA,GAAIC,yBAAA,CAAW,KAAK,OAAO,CAAA,EAAG,IAAI,CAAA,GAAI,MAAA;AAAA,EAChE;AACA,EAAA,OAAO,IAAA;AACT;AAGO,SAAS,WAAA,CAAY,SAAqB,IAAA,EAA4B;AAC3E,EAAA,IAAI,OAAO,IAAA,CAAK,OAAA,CAAQ,CAAA,EAAA,EAAK,OAAA,CAAQ,WAAW,CAAA,CAAE,CAAA;AAClD,EAAA,OAAA,CAAQ,QAAA,CAAS,OAAA,CAAQ,CAAC,OAAA,EAAS,KAAA,KAAU;AAC3C,IAAA,MAAM,KAAA,GAAQD,2BAAA,CAAa,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,IAAI,CAAA,GAAK,IAAA,CAAe,OAAO,CAAA,GAAI,MAAA;AACrF,IAAA,IAAA,GAAO,KAAA,KAAU,QAAQ,QAAA,CAAS,MAAA,GAAS,IAAI,KAAA,GAAQC,yBAAA,CAAW,OAAO,IAAI,CAAA;AAAA,EAC/E,CAAC,CAAA;AACD,EAAA,OAAO,IAAA;AACT;AAGO,SAAS,eAAe,OAAA,EAA8B;AAC3D,EAAA,OAAO,QAAQ,WAAA,KAAgB,YAAA,IAAgB,OAAA,CAAQ,QAAA,CAAS,CAAC,CAAA,KAAM,SAAA;AACzE;AAMO,SAAS,eAAA,CAAgB,SAAqB,KAAA,EAAwB;AAC3E,EAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA;AACxC,EAAA,MAAM,uBACJ,OAAA,CAAQ,WAAA,KAAgB,YAAA,IAAgB,KAAA,KAAU,KAAK,KAAA,KAAU,YAAA;AACnE,EAAA,OAAO,KAAA,KAAU,SAAA,IAAa,KAAA,KAAU,SAAA,IAAa,oBAAA;AACvD;AAOO,SAAS,eAAA,CAAgB,SAAqB,KAAA,EAAwB;AAC3E,EAAA,MAAM,IAAA,GAAO,OAAA,CAAQ,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA,IAAK,EAAA;AAC5C,EAAA,OAAO,QAAQ,QAAA,CAAS,KAAK,MAAM,YAAA,IAAgB,OAAA,CAAQ,KAAK,IAAI,CAAA;AACtE;AAOO,SAAS,gBAAA,CAAiB,OAAA,EAAqB,KAAA,EAAe,OAAA,EAA2B;AAC9F,EAAA,MAAM,iBAAA,GAAoB,OAAA,CAAQ,WAAA,KAAgB,YAAA,IAAgB,KAAA,KAAU,CAAA;AAC5E,EAAA,IAAI,OAAA,CAAQ,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA,KAAM,aAAa,iBAAA,IAAqB,CAACD,2BAAA,CAAa,OAAO,CAAA,EAAG;AAC5F,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAW,CAAA;AACxD,EAAA,OAAOA,4BAAa,MAAM,CAAA,IAAK,OAAO,IAAA,KAAS,MAAA,IAAa,OAAO,QAAA,KAAa,IAAA;AAClF;AAGO,SAAS,qBAAA,CAAsB,WAAoB,IAAA,EAA4B;AACpF,EAAA,IAAI,CAACA,2BAAA,CAAa,SAAS,CAAA,IAAK,SAAA,CAAU,gBAAgB,MAAA,EAAW;AACnE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAOC,yBAAA,CAAW,SAAA,CAAU,WAAA,EAAa,IAAI,CAAA;AACnD,EAAA,OAAO,EAAED,2BAAA,CAAa,IAAI,CAAA,IAAK,KAAK,QAAA,KAAa,IAAA,CAAA;AACnD;;;;;;;;;;"}

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

@@ -0,0 +1,56 @@
+import { parseRefPointer } from '../../../domain/openapi/json-pointer.mjs';
+import { isJsonObject, followRefs } from './generated-shape.mjs';
+
+const NAMED_ROOTS = /* @__PURE__ */ new Set(["paths", "webhooks"]);
+function leadingSegmentsOf(pointer) {
+  return NAMED_ROOTS.has(pointer.rootSegment) ? 1 : 2;
+}
+function refPointerOf(ref) {
+  const [rootSegment, ...segments] = parseRefPointer(ref);
+  return rootSegment === void 0 ? null : { rootSegment, segments };
+}
+function leadingNode(pointer, refs) {
+  let node = refs.resolve(`#/${pointer.rootSegment}`);
+  for (const segment of pointer.segments.slice(0, leadingSegmentsOf(pointer))) {
+    node = isJsonObject(node) ? followRefs(node[segment], refs) : void 0;
+  }
+  return node;
+}
+function pointerNode(pointer, refs) {
+  let node = refs.resolve(`#/${pointer.rootSegment}`);
+  pointer.segments.forEach((segment, index) => {
+    const child = isJsonObject(node) || Array.isArray(node) ? node[segment] : void 0;
+    node = index === pointer.segments.length - 1 ? child : followRefs(child, refs);
+  });
+  return node;
+}
+function startsInSchema(pointer) {
+  return pointer.rootSegment === "components" && pointer.segments[0] === "schemas";
+}
+function isTypedAsSchema(pointer, index) {
+  const owner = pointer.segments[index - 2];
+  const isComponentParameter = pointer.rootSegment === "components" && index === 2 && owner === "parameters";
+  return owner === "content" || owner === "headers" || isComponentParameter;
+}
+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 || !isJsonObject(headers)) {
+    return false;
+  }
+  const header = headers[pointer.segments[index]];
+  return isJsonObject(header) && header.$ref === void 0 && header.required !== true;
+}
+function isOptionalRequestBody(container, refs) {
+  if (!isJsonObject(container) || container.requestBody === void 0) {
+    return false;
+  }
+  const body = followRefs(container.requestBody, refs);
+  return !(isJsonObject(body) && body.required === true);
+}
+
+export { isOptionalHeader, isOptionalRequestBody, isParameterList, isTypedAsSchema, leadingNode, leadingSegmentsOf, pointerNode, refPointerOf, startsInSchema };
+//# sourceMappingURL=pointer-walk.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-walk.mjs","sources":["../../../../src/application/transform/ref-pointer/pointer-walk.ts"],"sourcesContent":["import { parseRefPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\nimport { followRefs, isJsonObject } from \"./generated-shape.js\";\n\n/** The parts of a `$ref` pointer that both the original and the new types walk. */\n\nexport interface RefPointer {\n  readonly rootSegment: string;\n  /** The segments after the root: `#/components/schemas/A` gives `[\"schemas\", \"A\"]`. */\n  readonly segments: readonly string[];\n}\n\n/** Roots whose generated type is keyed by one segment: the path or webhook name. */\nconst NAMED_ROOTS: ReadonlySet<string> = new Set([\"paths\", \"webhooks\"]);\n\n/**\n * How many segments after the root index the generated root type directly: one for `paths` and\n * `webhooks` (`paths[\"/a\"]`, so the path item's own `parameters/0` is walked), two otherwise\n * (`components[\"schemas\"][\"A\"]`).\n */\nexport function leadingSegmentsOf(pointer: RefPointer): number {\n  return NAMED_ROOTS.has(pointer.rootSegment) ? 1 : 2;\n}\n\nexport function refPointerOf(ref: string): RefPointer | null {\n  const [rootSegment, ...segments] = parseRefPointer(ref);\n  return rootSegment === undefined ? null : { rootSegment, segments };\n}\n\n/** The document node at the end of the leading segments, `$ref`s followed. */\nexport function leadingNode(pointer: RefPointer, refs: RefResolver): unknown {\n  let node = refs.resolve(`#/${pointer.rootSegment}`);\n  for (const segment of pointer.segments.slice(0, leadingSegmentsOf(pointer))) {\n    node = isJsonObject(node) ? followRefs(node[segment], refs) : undefined;\n  }\n  return node;\n}\n\n/** The node at the whole pointer, without following a `$ref` at its end. */\nexport function pointerNode(pointer: RefPointer, refs: RefResolver): unknown {\n  let node = refs.resolve(`#/${pointer.rootSegment}`);\n  pointer.segments.forEach((segment, index) => {\n    const child = isJsonObject(node) || Array.isArray(node) ? (node as never)[segment] : undefined;\n    node = index === pointer.segments.length - 1 ? child : followRefs(child, refs);\n  });\n  return node;\n}\n\n/** Whether the leading segments name a component schema, so the walk starts inside a schema. */\nexport function startsInSchema(pointer: RefPointer): boolean {\n  return pointer.rootSegment === \"components\" && pointer.segments[0] === \"schemas\";\n}\n\n/**\n * Whether the container at `index` is typed as its `schema`: a media type\n * (`content/<media type>`), a header (`headers/<name>`) or a component parameter.\n */\nexport function isTypedAsSchema(pointer: RefPointer, index: number): boolean {\n  const owner = pointer.segments[index - 2];\n  const isComponentParameter =\n    pointer.rootSegment === \"components\" && index === 2 && owner === \"parameters\";\n  return owner === \"content\" || owner === \"headers\" || isComponentParameter;\n}\n\n/**\n * Whether the segment at `index` is an operation's or path item's `parameters` list, indexed by\n * position next. The generated type groups parameters by `in` (`query`, `path`), so it has no\n * member `0`.\n */\nexport function isParameterList(pointer: RefPointer, index: number): boolean {\n  const next = pointer.segments[index + 1] ?? \"\";\n  return pointer.segments[index] === \"parameters\" && /^\\d+$/.test(next);\n}\n\n/**\n * Whether the segment at `index` names a response header that is an optional member: one the\n * response lists without `required: true`. A `$ref` header counts as required, as the generated\n * type has it; a component header (`components/headers/<name>`) is a member of its own.\n */\nexport function isOptionalHeader(pointer: RefPointer, index: number, headers: unknown): boolean {\n  const isComponentHeader = pointer.rootSegment === \"components\" && index === 1;\n  if (pointer.segments[index - 1] !== \"headers\" || isComponentHeader || !isJsonObject(headers)) {\n    return false;\n  }\n  const header = headers[pointer.segments[index] as string];\n  return isJsonObject(header) && header.$ref === undefined && header.required !== true;\n}\n\n/** A `requestBody` the operation does not mark `required` is an optional member. */\nexport function isOptionalRequestBody(container: unknown, refs: RefResolver): boolean {\n  if (!isJsonObject(container) || container.requestBody === undefined) {\n    return false;\n  }\n  const body = followRefs(container.requestBody, refs);\n  return !(isJsonObject(body) && body.required === true);\n}\n"],"names":[],"mappings":";;;AAaA,MAAM,8BAAmC,IAAI,GAAA,CAAI,CAAC,OAAA,EAAS,UAAU,CAAC,CAAA;AAO/D,SAAS,kBAAkB,OAAA,EAA6B;AAC7D,EAAA,OAAO,WAAA,CAAY,GAAA,CAAI,OAAA,CAAQ,WAAW,IAAI,CAAA,GAAI,CAAA;AACpD;AAEO,SAAS,aAAa,GAAA,EAAgC;AAC3D,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,QAAQ,CAAA,GAAI,gBAAgB,GAAG,CAAA;AACtD,EAAA,OAAO,WAAA,KAAgB,MAAA,GAAY,IAAA,GAAO,EAAE,aAAa,QAAA,EAAS;AACpE;AAGO,SAAS,WAAA,CAAY,SAAqB,IAAA,EAA4B;AAC3E,EAAA,IAAI,OAAO,IAAA,CAAK,OAAA,CAAQ,CAAA,EAAA,EAAK,OAAA,CAAQ,WAAW,CAAA,CAAE,CAAA;AAClD,EAAA,KAAA,MAAW,OAAA,IAAW,QAAQ,QAAA,CAAS,KAAA,CAAM,GAAG,iBAAA,CAAkB,OAAO,CAAC,CAAA,EAAG;AAC3E,IAAA,IAAA,GAAO,YAAA,CAAa,IAAI,CAAA,GAAI,UAAA,CAAW,KAAK,OAAO,CAAA,EAAG,IAAI,CAAA,GAAI,MAAA;AAAA,EAChE;AACA,EAAA,OAAO,IAAA;AACT;AAGO,SAAS,WAAA,CAAY,SAAqB,IAAA,EAA4B;AAC3E,EAAA,IAAI,OAAO,IAAA,CAAK,OAAA,CAAQ,CAAA,EAAA,EAAK,OAAA,CAAQ,WAAW,CAAA,CAAE,CAAA;AAClD,EAAA,OAAA,CAAQ,QAAA,CAAS,OAAA,CAAQ,CAAC,OAAA,EAAS,KAAA,KAAU;AAC3C,IAAA,MAAM,KAAA,GAAQ,YAAA,CAAa,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,IAAI,CAAA,GAAK,IAAA,CAAe,OAAO,CAAA,GAAI,MAAA;AACrF,IAAA,IAAA,GAAO,KAAA,KAAU,QAAQ,QAAA,CAAS,MAAA,GAAS,IAAI,KAAA,GAAQ,UAAA,CAAW,OAAO,IAAI,CAAA;AAAA,EAC/E,CAAC,CAAA;AACD,EAAA,OAAO,IAAA;AACT;AAGO,SAAS,eAAe,OAAA,EAA8B;AAC3D,EAAA,OAAO,QAAQ,WAAA,KAAgB,YAAA,IAAgB,OAAA,CAAQ,QAAA,CAAS,CAAC,CAAA,KAAM,SAAA;AACzE;AAMO,SAAS,eAAA,CAAgB,SAAqB,KAAA,EAAwB;AAC3E,EAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA;AACxC,EAAA,MAAM,uBACJ,OAAA,CAAQ,WAAA,KAAgB,YAAA,IAAgB,KAAA,KAAU,KAAK,KAAA,KAAU,YAAA;AACnE,EAAA,OAAO,KAAA,KAAU,SAAA,IAAa,KAAA,KAAU,SAAA,IAAa,oBAAA;AACvD;AAOO,SAAS,eAAA,CAAgB,SAAqB,KAAA,EAAwB;AAC3E,EAAA,MAAM,IAAA,GAAO,OAAA,CAAQ,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA,IAAK,EAAA;AAC5C,EAAA,OAAO,QAAQ,QAAA,CAAS,KAAK,MAAM,YAAA,IAAgB,OAAA,CAAQ,KAAK,IAAI,CAAA;AACtE;AAOO,SAAS,gBAAA,CAAiB,OAAA,EAAqB,KAAA,EAAe,OAAA,EAA2B;AAC9F,EAAA,MAAM,iBAAA,GAAoB,OAAA,CAAQ,WAAA,KAAgB,YAAA,IAAgB,KAAA,KAAU,CAAA;AAC5E,EAAA,IAAI,OAAA,CAAQ,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA,KAAM,aAAa,iBAAA,IAAqB,CAAC,YAAA,CAAa,OAAO,CAAA,EAAG;AAC5F,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAW,CAAA;AACxD,EAAA,OAAO,aAAa,MAAM,CAAA,IAAK,OAAO,IAAA,KAAS,MAAA,IAAa,OAAO,QAAA,KAAa,IAAA;AAClF;AAGO,SAAS,qBAAA,CAAsB,WAAoB,IAAA,EAA4B;AACpF,EAAA,IAAI,CAAC,YAAA,CAAa,SAAS,CAAA,IAAK,SAAA,CAAU,gBAAgB,MAAA,EAAW;AACnE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAO,UAAA,CAAW,SAAA,CAAU,WAAA,EAAa,IAAI,CAAA;AACnD,EAAA,OAAO,EAAE,YAAA,CAAa,IAAI,CAAA,IAAK,KAAK,QAAA,KAAa,IAAA,CAAA;AACnD;;"}

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

@@ -0,0 +1,124 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const refType = require('../ref-type.cjs');
+const generatedShape = require('./generated-shape.cjs');
+const pointerWalk = require('./pointer-walk.cjs');
+
+const DEFS_KEYWORD = "$defs";
+function present(walk) {
+  return walk.presence === "present" ? walk.type : constructors.irReference("NonNullable", [walk.type]);
+}
+function indexEntries(walk, key, keyword, refs) {
+  const owner = generatedShape.followRefs(walk.node, refs);
+  const child = generatedShape.isJsonObject(owner) ? owner[keyword] : void 0;
+  return {
+    ...walk,
+    type: constructors.irIndexedAccess(present(walk), constructors.irKeyword(key)),
+    node: child,
+    presence: generatedShape.schemaPresence(child, refs)
+  };
+}
+function nameStep(walk, name, isLast, input) {
+  const owner = generatedShape.followRefs(walk.node, input.refs);
+  const properties = generatedShape.isJsonObject(owner) && generatedShape.isJsonObject(owner.properties) ? owner.properties : {};
+  const type = walk.presence === "present" ? refType.indexKeyword(walk.type, name, isLast) : refType.indexBy(present(walk), name);
+  return {
+    ...walk,
+    type,
+    node: properties[name],
+    isName: false,
+    presence: generatedShape.propertyPresence(walk.node, name, input.options, input.refs)
+  };
+}
+function defsStep(walk, owner, isLast) {
+  const defs = generatedShape.isJsonObject(owner) && generatedShape.isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};
+  return {
+    ...walk,
+    type: refType.indexKeyword(present(walk), DEFS_KEYWORD, isLast),
+    node: { properties: defs, required: Object.keys(defs) },
+    isName: true,
+    presence: "present"
+  };
+}
+const SHAPED_KEYWORDS = /* @__PURE__ */ new Set([
+  "properties",
+  "items",
+  "additionalProperties"
+]);
+function hasKeywordMember(owner, segment) {
+  if (!SHAPED_KEYWORDS.has(segment) || !generatedShape.isJsonObject(owner)) {
+    return true;
+  }
+  return segment === "items" ? generatedShape.isArrayShape(owner) : generatedShape.isObjectShape(owner);
+}
+function keywordStep(walk, segment, isLast, input) {
+  const owner = generatedShape.followRefs(walk.node, input.refs);
+  if (!hasKeywordMember(owner, segment)) {
+    return null;
+  }
+  switch (segment) {
+    case "properties":
+      return { ...walk, isName: true };
+    case "items":
+      return indexEntries(walk, "number", "items", input.refs);
+    case "additionalProperties":
+      return indexEntries(walk, "string", "additionalProperties", input.refs);
+    case DEFS_KEYWORD:
+      return defsStep(walk, owner, isLast);
+    default:
+      return null;
+  }
+}
+function containerStep(walk, index, input) {
+  const segment = input.pointer.segments[index];
+  const owner = generatedShape.followRefs(walk.node, input.refs);
+  const isOptional = segment === "requestBody" && pointerWalk.isOptionalRequestBody(owner, input.refs) || pointerWalk.isOptionalHeader(input.pointer, index, owner);
+  return {
+    ...walk,
+    type: refType.indexBy(present(walk), segment),
+    node: generatedShape.isJsonObject(owner) ? owner[segment] : void 0,
+    presence: isOptional ? "absent" : "present"
+  };
+}
+function step(walk, index, input) {
+  const { segments } = input.pointer;
+  const segment = segments[index];
+  const isLast = index === segments.length - 1;
+  if (walk.isSchema) {
+    return walk.isName ? nameStep(walk, segment, isLast, input) : keywordStep(walk, segment, isLast, input);
+  }
+  if (segment === "schema" && pointerWalk.isTypedAsSchema(input.pointer, index)) {
+    const owner = generatedShape.followRefs(walk.node, input.refs);
+    const schema = generatedShape.isJsonObject(owner) ? owner.schema : void 0;
+    const presence = walk.presence === "absent" ? "absent" : generatedShape.schemaPresence(schema, input.refs);
+    return { ...walk, node: schema, isSchema: true, presence };
+  }
+  return pointerWalk.isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);
+}
+function typedWalk(input) {
+  const { pointer } = input;
+  const node = pointerWalk.leadingNode(pointer, input.refs);
+  const isSchema = pointerWalk.startsInSchema(pointer);
+  let walk = {
+    type: refType.indexBy(
+      refType.rootType(pointer.rootSegment, false),
+      ...pointer.segments.slice(0, pointerWalk.leadingSegmentsOf(pointer))
+    ),
+    node,
+    isSchema,
+    isName: false,
+    presence: isSchema ? generatedShape.schemaPresence(node, input.refs) : "present"
+  };
+  for (let index = pointerWalk.leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {
+    const next = step(walk, index, input);
+    if (next === null) {
+      return { kind: "untyped", index };
+    }
+    walk = next;
+  }
+  return { kind: "typed", walk };
+}
+
+exports.typedWalk = typedWalk;
+//# sourceMappingURL=typed-walk.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typed-walk.cjs","sources":["../../../../src/application/transform/ref-pointer/typed-walk.ts"],"sourcesContent":["import { irIndexedAccess, irKeyword, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrKeyword, IrType } from \"../../../domain/ir/nodes.js\";\nimport { indexBy, indexKeyword, rootType } from \"../ref-type.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  followRefs,\n  isArrayShape,\n  isJsonObject,\n  isObjectShape,\n  type Presence,\n  propertyPresence,\n  schemaPresence,\n} 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 * The type of a `$ref` pointer as the generated types have it: the `schema` of a media type,\n * header or component parameter is its type, `items` is indexed by `number`,\n * `additionalProperties` by `string`, and a value that may be `undefined` or `null` is wrapped in\n * `NonNullable` before it is indexed. The walk stops at a segment with no type of its own\n * (`allOf/0`, `definitions/A`, operation `parameters/0`): the caller types the target itself.\n */\n\nconst DEFS_KEYWORD = \"$defs\";\n\nexport interface TypedWalk {\n  readonly type: IrType;\n  /** The document node the type stands for (not followed through a `$ref`). */\n  readonly node: unknown;\n  readonly isSchema: boolean;\n  /** The segment is a property or `$defs` name, not a keyword. */\n  readonly isName: boolean;\n  readonly presence: Presence;\n}\n\nexport interface TypedWalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\n/** The walk result: a type, or the index of the first segment that has no type. */\nexport type TypedWalkResult =\n  | { readonly kind: \"typed\"; readonly walk: TypedWalk }\n  | { readonly kind: \"untyped\"; readonly index: number };\n\nfunction present(walk: TypedWalk): IrType {\n  return walk.presence === \"present\" ? walk.type : irReference(\"NonNullable\", [walk.type]);\n}\n\nfunction indexEntries(walk: TypedWalk, key: IrKeyword, keyword: string, refs: RefResolver) {\n  const owner = followRefs(walk.node, refs);\n  const child = isJsonObject(owner) ? owner[keyword] : undefined;\n  return {\n    ...walk,\n    type: irIndexedAccess(present(walk), irKeyword(key)),\n    node: child,\n    presence: schemaPresence(child, refs),\n  };\n}\n\nfunction nameStep(walk: TypedWalk, name: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  const properties = isJsonObject(owner) && isJsonObject(owner.properties) ? owner.properties : {};\n  const type =\n    walk.presence === \"present\"\n      ? indexKeyword(walk.type, name, isLast)\n      : indexBy(present(walk), name);\n  return {\n    ...walk,\n    type,\n    node: properties[name],\n    isName: false,\n    presence: propertyPresence(walk.node, name, input.options, input.refs),\n  };\n}\n\n/** `$defs` is optional (`NonNullable` when more follows); its members are present. */\nfunction defsStep(walk: TypedWalk, owner: unknown, isLast: boolean): TypedWalk {\n  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};\n  return {\n    ...walk,\n    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),\n    node: { properties: defs, required: Object.keys(defs) },\n    isName: true,\n    presence: \"present\",\n  };\n}\n\nconst SHAPED_KEYWORDS: ReadonlySet<string> = new Set([\n  \"properties\",\n  \"items\",\n  \"additionalProperties\",\n]);\n\n/**\n * Whether the keyword gives the owner's generated type a member: `items` only an array,\n * `properties` and `additionalProperties` only an object (`type: string` ignores them). A node\n * that is not in the document is indexed as the keyword says.\n */\nfunction hasKeywordMember(owner: unknown, segment: string): boolean {\n  if (!SHAPED_KEYWORDS.has(segment) || !isJsonObject(owner)) {\n    return true;\n  }\n  return segment === \"items\" ? isArrayShape(owner) : isObjectShape(owner);\n}\n\nfunction keywordStep(walk: TypedWalk, segment: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  if (!hasKeywordMember(owner, segment)) {\n    return null;\n  }\n  switch (segment) {\n    case \"properties\":\n      return { ...walk, isName: true };\n    case \"items\":\n      return indexEntries(walk, \"number\", \"items\", input.refs);\n    case \"additionalProperties\":\n      return indexEntries(walk, \"string\", \"additionalProperties\", input.refs);\n    case DEFS_KEYWORD:\n      return defsStep(walk, owner, isLast);\n    default:\n      return null;\n  }\n}\n\nfunction containerStep(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk {\n  const segment = input.pointer.segments[index] as string;\n  const owner = followRefs(walk.node, input.refs);\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(owner, input.refs)) ||\n    isOptionalHeader(input.pointer, index, owner);\n  return {\n    ...walk,\n    type: indexBy(present(walk), segment),\n    node: isJsonObject(owner) ? owner[segment] : undefined,\n    presence: isOptional ? \"absent\" : \"present\",\n  };\n}\n\nfunction step(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk | null {\n  const { segments } = input.pointer;\n  const segment = segments[index] as string;\n  const isLast = index === segments.length - 1;\n  if (walk.isSchema) {\n    return walk.isName\n      ? nameStep(walk, segment, isLast, input)\n      : keywordStep(walk, segment, isLast, input);\n  }\n  if (segment === \"schema\" && isTypedAsSchema(input.pointer, index)) {\n    const owner = followRefs(walk.node, input.refs);\n    const schema = isJsonObject(owner) ? owner.schema : undefined;\n    // The container's type is its schema's type: an optional header stays optional.\n    const presence = walk.presence === \"absent\" ? \"absent\" : schemaPresence(schema, input.refs);\n    return { ...walk, node: schema, isSchema: true, presence };\n  }\n  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);\n}\n\n/** Walk the whole pointer; see the module comment. */\nexport function typedWalk(input: TypedWalkInput): TypedWalkResult {\n  const { pointer } = input;\n  const node = leadingNode(pointer, input.refs);\n  const isSchema = startsInSchema(pointer);\n  let walk: TypedWalk = {\n    type: indexBy(\n      rootType(pointer.rootSegment, false),\n      ...pointer.segments.slice(0, leadingSegmentsOf(pointer)),\n    ),\n    node,\n    isSchema,\n    isName: false,\n    presence: isSchema ? schemaPresence(node, input.refs) : \"present\",\n  };\n  for (let index = leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {\n    const next = step(walk, index, input);\n    if (next === null) {\n      return { kind: \"untyped\", index };\n    }\n    walk = next;\n  }\n  return { kind: \"typed\", walk };\n}\n"],"names":["irReference","followRefs","isJsonObject","irIndexedAccess","irKeyword","schemaPresence","indexKeyword","indexBy","propertyPresence","isArrayShape","isObjectShape","isOptionalRequestBody","isOptionalHeader","isTypedAsSchema","isParameterList","leadingNode","startsInSchema","rootType","leadingSegmentsOf"],"mappings":";;;;;;;AAgCA,MAAM,YAAA,GAAe,OAAA;AAuBrB,SAAS,QAAQ,IAAA,EAAyB;AACxC,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,SAAA,GAAY,IAAA,CAAK,IAAA,GAAOA,yBAAY,aAAA,EAAe,CAAC,IAAA,CAAK,IAAI,CAAC,CAAA;AACzF;AAEA,SAAS,YAAA,CAAa,IAAA,EAAiB,GAAA,EAAgB,OAAA,EAAiB,IAAA,EAAmB;AACzF,EAAA,MAAM,KAAA,GAAQC,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AACxC,EAAA,MAAM,QAAQC,2BAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAMC,4BAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA,EAAGC,sBAAA,CAAU,GAAG,CAAC,CAAA;AAAA,IACnD,IAAA,EAAM,KAAA;AAAA,IACN,QAAA,EAAUC,6BAAA,CAAe,KAAA,EAAO,IAAI;AAAA,GACtC;AACF;AAEA,SAAS,QAAA,CAAS,IAAA,EAAiB,IAAA,EAAc,MAAA,EAAiB,KAAA,EAAuB;AACvF,EAAA,MAAM,KAAA,GAAQJ,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GAAaC,2BAAA,CAAa,KAAK,CAAA,IAAKA,2BAAA,CAAa,MAAM,UAAU,CAAA,GAAI,KAAA,CAAM,UAAA,GAAa,EAAC;AAC/F,EAAA,MAAM,IAAA,GACJ,IAAA,CAAK,QAAA,KAAa,SAAA,GACdI,qBAAa,IAAA,CAAK,IAAA,EAAM,IAAA,EAAM,MAAM,CAAA,GACpCC,eAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,IAAI,CAAA;AACjC,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA;AAAA,IACA,IAAA,EAAM,WAAW,IAAI,CAAA;AAAA,IACrB,MAAA,EAAQ,KAAA;AAAA,IACR,QAAA,EAAUC,gCAAiB,IAAA,CAAK,IAAA,EAAM,MAAM,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI;AAAA,GACvE;AACF;AAGA,SAAS,QAAA,CAAS,IAAA,EAAiB,KAAA,EAAgB,MAAA,EAA4B;AAC7E,EAAA,MAAM,IAAA,GAAON,2BAAA,CAAa,KAAK,CAAA,IAAKA,2BAAA,CAAa,KAAA,CAAM,YAAY,CAAC,CAAA,GAAI,KAAA,CAAM,YAAY,CAAA,GAAI,EAAC;AAC/F,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAMI,oBAAA,CAAa,OAAA,CAAQ,IAAI,CAAA,EAAG,cAAc,MAAM,CAAA;AAAA,IACtD,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,UAAU,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,IACtD,MAAA,EAAQ,IAAA;AAAA,IACR,QAAA,EAAU;AAAA,GACZ;AACF;AAEA,MAAM,eAAA,uBAA2C,GAAA,CAAI;AAAA,EACnD,YAAA;AAAA,EACA,OAAA;AAAA,EACA;AACF,CAAC,CAAA;AAOD,SAAS,gBAAA,CAAiB,OAAgB,OAAA,EAA0B;AAClE,EAAA,IAAI,CAAC,gBAAgB,GAAA,CAAI,OAAO,KAAK,CAACJ,2BAAA,CAAa,KAAK,CAAA,EAAG;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,OAAA,GAAUO,2BAAA,CAAa,KAAK,CAAA,GAAIC,6BAAc,KAAK,CAAA;AACxE;AAEA,SAAS,WAAA,CAAY,IAAA,EAAiB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAuB;AAC7F,EAAA,MAAM,KAAA,GAAQT,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,IAAI,CAAC,gBAAA,CAAiB,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,QAAQ,OAAA;AAAS,IACf,KAAK,YAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAK;AAAA,IACjC,KAAK,OAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IACzD,KAAK,sBAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,sBAAA,EAAwB,MAAM,IAAI,CAAA;AAAA,IACxE,KAAK,YAAA;AACH,MAAA,OAAO,QAAA,CAAS,IAAA,EAAM,KAAA,EAAO,MAAM,CAAA;AAAA,IACrC;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAkC;AACvF,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,KAAA,GAAQA,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiBU,iCAAA,CAAsB,KAAA,EAAO,KAAA,CAAM,IAAI,CAAA,IACrEC,4BAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,CAAA;AAC9C,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA,EAAML,eAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,OAAO,CAAA;AAAA,IACpC,MAAML,2BAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AAAA,IAC7C,QAAA,EAAU,aAAa,QAAA,GAAW;AAAA,GACpC;AACF;AAEA,SAAS,IAAA,CAAK,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAyC;AACrF,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,EAAA,IAAI,KAAK,QAAA,EAAU;AACjB,IAAA,OAAO,IAAA,CAAK,MAAA,GACR,QAAA,CAAS,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA,GACrC,WAAA,CAAY,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,YAAY,QAAA,IAAYW,2BAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AACjE,IAAA,MAAM,KAAA,GAAQZ,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,IAAA,MAAM,MAAA,GAASC,2BAAA,CAAa,KAAK,CAAA,GAAI,MAAM,MAAA,GAAS,MAAA;AAEpD,IAAA,MAAM,QAAA,GAAW,KAAK,QAAA,KAAa,QAAA,GAAW,WAAWG,6BAAA,CAAe,MAAA,EAAQ,MAAM,IAAI,CAAA;AAC1F,IAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAM,MAAA,EAAQ,QAAA,EAAU,MAAM,QAAA,EAAS;AAAA,EAC3D;AACA,EAAA,OAAOS,2BAAA,CAAgB,MAAM,OAAA,EAAS,KAAK,IAAI,IAAA,GAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACxF;AAGO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,IAAA,GAAOC,uBAAA,CAAY,OAAA,EAAS,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,MAAM,QAAA,GAAWC,2BAAe,OAAO,CAAA;AACvC,EAAA,IAAI,IAAA,GAAkB;AAAA,IACpB,IAAA,EAAMT,eAAA;AAAA,MACJU,gBAAA,CAAS,OAAA,CAAQ,WAAA,EAAa,KAAK,CAAA;AAAA,MACnC,GAAG,OAAA,CAAQ,QAAA,CAAS,MAAM,CAAA,EAAGC,6BAAA,CAAkB,OAAO,CAAC;AAAA,KACzD;AAAA,IACA,IAAA;AAAA,IACA,QAAA;AAAA,IACA,MAAA,EAAQ,KAAA;AAAA,IACR,UAAU,QAAA,GAAWb,6BAAA,CAAe,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,GAAI;AAAA,GAC1D;AACA,EAAA,KAAA,IAAS,KAAA,GAAQa,8BAAkB,OAAO,CAAA,EAAG,QAAQ,OAAA,CAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACrF,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACpC,IAAA,IAAI,SAAS,IAAA,EAAM;AACjB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,KAAA,EAAM;AAAA,IAClC;AACA,IAAA,IAAA,GAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAK;AAC/B;;"}

package/dist/application/transform/ref-pointer/typed-walk.mjs

@@ -0,0 +1,122 @@
+import { irReference, irIndexedAccess, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { indexBy, rootType, indexKeyword } from '../ref-type.mjs';
+import { schemaPresence, followRefs, isJsonObject, propertyPresence, isArrayShape, isObjectShape } from './generated-shape.mjs';
+import { leadingNode, startsInSchema, leadingSegmentsOf, isTypedAsSchema, isParameterList, isOptionalRequestBody, isOptionalHeader } from './pointer-walk.mjs';
+
+const DEFS_KEYWORD = "$defs";
+function present(walk) {
+  return walk.presence === "present" ? walk.type : irReference("NonNullable", [walk.type]);
+}
+function indexEntries(walk, key, keyword, refs) {
+  const owner = followRefs(walk.node, refs);
+  const child = isJsonObject(owner) ? owner[keyword] : void 0;
+  return {
+    ...walk,
+    type: irIndexedAccess(present(walk), irKeyword(key)),
+    node: child,
+    presence: schemaPresence(child, refs)
+  };
+}
+function nameStep(walk, name, isLast, input) {
+  const owner = followRefs(walk.node, input.refs);
+  const properties = isJsonObject(owner) && isJsonObject(owner.properties) ? owner.properties : {};
+  const type = walk.presence === "present" ? indexKeyword(walk.type, name, isLast) : indexBy(present(walk), name);
+  return {
+    ...walk,
+    type,
+    node: properties[name],
+    isName: false,
+    presence: propertyPresence(walk.node, name, input.options, input.refs)
+  };
+}
+function defsStep(walk, owner, isLast) {
+  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};
+  return {
+    ...walk,
+    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),
+    node: { properties: defs, required: Object.keys(defs) },
+    isName: true,
+    presence: "present"
+  };
+}
+const SHAPED_KEYWORDS = /* @__PURE__ */ new Set([
+  "properties",
+  "items",
+  "additionalProperties"
+]);
+function hasKeywordMember(owner, segment) {
+  if (!SHAPED_KEYWORDS.has(segment) || !isJsonObject(owner)) {
+    return true;
+  }
+  return segment === "items" ? isArrayShape(owner) : isObjectShape(owner);
+}
+function keywordStep(walk, segment, isLast, input) {
+  const owner = followRefs(walk.node, input.refs);
+  if (!hasKeywordMember(owner, segment)) {
+    return null;
+  }
+  switch (segment) {
+    case "properties":
+      return { ...walk, isName: true };
+    case "items":
+      return indexEntries(walk, "number", "items", input.refs);
+    case "additionalProperties":
+      return indexEntries(walk, "string", "additionalProperties", input.refs);
+    case DEFS_KEYWORD:
+      return defsStep(walk, owner, isLast);
+    default:
+      return null;
+  }
+}
+function containerStep(walk, index, input) {
+  const segment = input.pointer.segments[index];
+  const owner = followRefs(walk.node, input.refs);
+  const isOptional = segment === "requestBody" && isOptionalRequestBody(owner, input.refs) || isOptionalHeader(input.pointer, index, owner);
+  return {
+    ...walk,
+    type: indexBy(present(walk), segment),
+    node: isJsonObject(owner) ? owner[segment] : void 0,
+    presence: isOptional ? "absent" : "present"
+  };
+}
+function step(walk, index, input) {
+  const { segments } = input.pointer;
+  const segment = segments[index];
+  const isLast = index === segments.length - 1;
+  if (walk.isSchema) {
+    return walk.isName ? nameStep(walk, segment, isLast, input) : keywordStep(walk, segment, isLast, input);
+  }
+  if (segment === "schema" && isTypedAsSchema(input.pointer, index)) {
+    const owner = followRefs(walk.node, input.refs);
+    const schema = isJsonObject(owner) ? owner.schema : void 0;
+    const presence = walk.presence === "absent" ? "absent" : schemaPresence(schema, input.refs);
+    return { ...walk, node: schema, isSchema: true, presence };
+  }
+  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);
+}
+function typedWalk(input) {
+  const { pointer } = input;
+  const node = leadingNode(pointer, input.refs);
+  const isSchema = startsInSchema(pointer);
+  let walk = {
+    type: indexBy(
+      rootType(pointer.rootSegment, false),
+      ...pointer.segments.slice(0, leadingSegmentsOf(pointer))
+    ),
+    node,
+    isSchema,
+    isName: false,
+    presence: isSchema ? schemaPresence(node, input.refs) : "present"
+  };
+  for (let index = leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {
+    const next = step(walk, index, input);
+    if (next === null) {
+      return { kind: "untyped", index };
+    }
+    walk = next;
+  }
+  return { kind: "typed", walk };
+}
+
+export { typedWalk };
+//# sourceMappingURL=typed-walk.mjs.map

package/dist/application/transform/ref-pointer/typed-walk.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-walk.mjs","sources":["../../../../src/application/transform/ref-pointer/typed-walk.ts"],"sourcesContent":["import { irIndexedAccess, irKeyword, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrKeyword, IrType } from \"../../../domain/ir/nodes.js\";\nimport { indexBy, indexKeyword, rootType } from \"../ref-type.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  followRefs,\n  isArrayShape,\n  isJsonObject,\n  isObjectShape,\n  type Presence,\n  propertyPresence,\n  schemaPresence,\n} 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 * The type of a `$ref` pointer as the generated types have it: the `schema` of a media type,\n * header or component parameter is its type, `items` is indexed by `number`,\n * `additionalProperties` by `string`, and a value that may be `undefined` or `null` is wrapped in\n * `NonNullable` before it is indexed. The walk stops at a segment with no type of its own\n * (`allOf/0`, `definitions/A`, operation `parameters/0`): the caller types the target itself.\n */\n\nconst DEFS_KEYWORD = \"$defs\";\n\nexport interface TypedWalk {\n  readonly type: IrType;\n  /** The document node the type stands for (not followed through a `$ref`). */\n  readonly node: unknown;\n  readonly isSchema: boolean;\n  /** The segment is a property or `$defs` name, not a keyword. */\n  readonly isName: boolean;\n  readonly presence: Presence;\n}\n\nexport interface TypedWalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\n/** The walk result: a type, or the index of the first segment that has no type. */\nexport type TypedWalkResult =\n  | { readonly kind: \"typed\"; readonly walk: TypedWalk }\n  | { readonly kind: \"untyped\"; readonly index: number };\n\nfunction present(walk: TypedWalk): IrType {\n  return walk.presence === \"present\" ? walk.type : irReference(\"NonNullable\", [walk.type]);\n}\n\nfunction indexEntries(walk: TypedWalk, key: IrKeyword, keyword: string, refs: RefResolver) {\n  const owner = followRefs(walk.node, refs);\n  const child = isJsonObject(owner) ? owner[keyword] : undefined;\n  return {\n    ...walk,\n    type: irIndexedAccess(present(walk), irKeyword(key)),\n    node: child,\n    presence: schemaPresence(child, refs),\n  };\n}\n\nfunction nameStep(walk: TypedWalk, name: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  const properties = isJsonObject(owner) && isJsonObject(owner.properties) ? owner.properties : {};\n  const type =\n    walk.presence === \"present\"\n      ? indexKeyword(walk.type, name, isLast)\n      : indexBy(present(walk), name);\n  return {\n    ...walk,\n    type,\n    node: properties[name],\n    isName: false,\n    presence: propertyPresence(walk.node, name, input.options, input.refs),\n  };\n}\n\n/** `$defs` is optional (`NonNullable` when more follows); its members are present. */\nfunction defsStep(walk: TypedWalk, owner: unknown, isLast: boolean): TypedWalk {\n  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};\n  return {\n    ...walk,\n    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),\n    node: { properties: defs, required: Object.keys(defs) },\n    isName: true,\n    presence: \"present\",\n  };\n}\n\nconst SHAPED_KEYWORDS: ReadonlySet<string> = new Set([\n  \"properties\",\n  \"items\",\n  \"additionalProperties\",\n]);\n\n/**\n * Whether the keyword gives the owner's generated type a member: `items` only an array,\n * `properties` and `additionalProperties` only an object (`type: string` ignores them). A node\n * that is not in the document is indexed as the keyword says.\n */\nfunction hasKeywordMember(owner: unknown, segment: string): boolean {\n  if (!SHAPED_KEYWORDS.has(segment) || !isJsonObject(owner)) {\n    return true;\n  }\n  return segment === \"items\" ? isArrayShape(owner) : isObjectShape(owner);\n}\n\nfunction keywordStep(walk: TypedWalk, segment: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  if (!hasKeywordMember(owner, segment)) {\n    return null;\n  }\n  switch (segment) {\n    case \"properties\":\n      return { ...walk, isName: true };\n    case \"items\":\n      return indexEntries(walk, \"number\", \"items\", input.refs);\n    case \"additionalProperties\":\n      return indexEntries(walk, \"string\", \"additionalProperties\", input.refs);\n    case DEFS_KEYWORD:\n      return defsStep(walk, owner, isLast);\n    default:\n      return null;\n  }\n}\n\nfunction containerStep(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk {\n  const segment = input.pointer.segments[index] as string;\n  const owner = followRefs(walk.node, input.refs);\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(owner, input.refs)) ||\n    isOptionalHeader(input.pointer, index, owner);\n  return {\n    ...walk,\n    type: indexBy(present(walk), segment),\n    node: isJsonObject(owner) ? owner[segment] : undefined,\n    presence: isOptional ? \"absent\" : \"present\",\n  };\n}\n\nfunction step(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk | null {\n  const { segments } = input.pointer;\n  const segment = segments[index] as string;\n  const isLast = index === segments.length - 1;\n  if (walk.isSchema) {\n    return walk.isName\n      ? nameStep(walk, segment, isLast, input)\n      : keywordStep(walk, segment, isLast, input);\n  }\n  if (segment === \"schema\" && isTypedAsSchema(input.pointer, index)) {\n    const owner = followRefs(walk.node, input.refs);\n    const schema = isJsonObject(owner) ? owner.schema : undefined;\n    // The container's type is its schema's type: an optional header stays optional.\n    const presence = walk.presence === \"absent\" ? \"absent\" : schemaPresence(schema, input.refs);\n    return { ...walk, node: schema, isSchema: true, presence };\n  }\n  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);\n}\n\n/** Walk the whole pointer; see the module comment. */\nexport function typedWalk(input: TypedWalkInput): TypedWalkResult {\n  const { pointer } = input;\n  const node = leadingNode(pointer, input.refs);\n  const isSchema = startsInSchema(pointer);\n  let walk: TypedWalk = {\n    type: indexBy(\n      rootType(pointer.rootSegment, false),\n      ...pointer.segments.slice(0, leadingSegmentsOf(pointer)),\n    ),\n    node,\n    isSchema,\n    isName: false,\n    presence: isSchema ? schemaPresence(node, input.refs) : \"present\",\n  };\n  for (let index = leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {\n    const next = step(walk, index, input);\n    if (next === null) {\n      return { kind: \"untyped\", index };\n    }\n    walk = next;\n  }\n  return { kind: \"typed\", walk };\n}\n"],"names":[],"mappings":";;;;;AAgCA,MAAM,YAAA,GAAe,OAAA;AAuBrB,SAAS,QAAQ,IAAA,EAAyB;AACxC,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,SAAA,GAAY,IAAA,CAAK,IAAA,GAAO,YAAY,aAAA,EAAe,CAAC,IAAA,CAAK,IAAI,CAAC,CAAA;AACzF;AAEA,SAAS,YAAA,CAAa,IAAA,EAAiB,GAAA,EAAgB,OAAA,EAAiB,IAAA,EAAmB;AACzF,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AACxC,EAAA,MAAM,QAAQ,YAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAM,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA,EAAG,SAAA,CAAU,GAAG,CAAC,CAAA;AAAA,IACnD,IAAA,EAAM,KAAA;AAAA,IACN,QAAA,EAAU,cAAA,CAAe,KAAA,EAAO,IAAI;AAAA,GACtC;AACF;AAEA,SAAS,QAAA,CAAS,IAAA,EAAiB,IAAA,EAAc,MAAA,EAAiB,KAAA,EAAuB;AACvF,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,KAAK,CAAA,IAAK,YAAA,CAAa,MAAM,UAAU,CAAA,GAAI,KAAA,CAAM,UAAA,GAAa,EAAC;AAC/F,EAAA,MAAM,IAAA,GACJ,IAAA,CAAK,QAAA,KAAa,SAAA,GACd,aAAa,IAAA,CAAK,IAAA,EAAM,IAAA,EAAM,MAAM,CAAA,GACpC,OAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,IAAI,CAAA;AACjC,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA;AAAA,IACA,IAAA,EAAM,WAAW,IAAI,CAAA;AAAA,IACrB,MAAA,EAAQ,KAAA;AAAA,IACR,QAAA,EAAU,iBAAiB,IAAA,CAAK,IAAA,EAAM,MAAM,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI;AAAA,GACvE;AACF;AAGA,SAAS,QAAA,CAAS,IAAA,EAAiB,KAAA,EAAgB,MAAA,EAA4B;AAC7E,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,KAAK,CAAA,IAAK,YAAA,CAAa,KAAA,CAAM,YAAY,CAAC,CAAA,GAAI,KAAA,CAAM,YAAY,CAAA,GAAI,EAAC;AAC/F,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAM,YAAA,CAAa,OAAA,CAAQ,IAAI,CAAA,EAAG,cAAc,MAAM,CAAA;AAAA,IACtD,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,UAAU,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,IACtD,MAAA,EAAQ,IAAA;AAAA,IACR,QAAA,EAAU;AAAA,GACZ;AACF;AAEA,MAAM,eAAA,uBAA2C,GAAA,CAAI;AAAA,EACnD,YAAA;AAAA,EACA,OAAA;AAAA,EACA;AACF,CAAC,CAAA;AAOD,SAAS,gBAAA,CAAiB,OAAgB,OAAA,EAA0B;AAClE,EAAA,IAAI,CAAC,gBAAgB,GAAA,CAAI,OAAO,KAAK,CAAC,YAAA,CAAa,KAAK,CAAA,EAAG;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,OAAA,GAAU,YAAA,CAAa,KAAK,CAAA,GAAI,cAAc,KAAK,CAAA;AACxE;AAEA,SAAS,WAAA,CAAY,IAAA,EAAiB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAuB;AAC7F,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,IAAI,CAAC,gBAAA,CAAiB,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,QAAQ,OAAA;AAAS,IACf,KAAK,YAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAK;AAAA,IACjC,KAAK,OAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IACzD,KAAK,sBAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,sBAAA,EAAwB,MAAM,IAAI,CAAA;AAAA,IACxE,KAAK,YAAA;AACH,MAAA,OAAO,QAAA,CAAS,IAAA,EAAM,KAAA,EAAO,MAAM,CAAA;AAAA,IACrC;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAkC;AACvF,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiB,qBAAA,CAAsB,KAAA,EAAO,KAAA,CAAM,IAAI,CAAA,IACrE,gBAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,CAAA;AAC9C,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA,EAAM,OAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,OAAO,CAAA;AAAA,IACpC,MAAM,YAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AAAA,IAC7C,QAAA,EAAU,aAAa,QAAA,GAAW;AAAA,GACpC;AACF;AAEA,SAAS,IAAA,CAAK,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAyC;AACrF,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,EAAA,IAAI,KAAK,QAAA,EAAU;AACjB,IAAA,OAAO,IAAA,CAAK,MAAA,GACR,QAAA,CAAS,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA,GACrC,WAAA,CAAY,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,YAAY,QAAA,IAAY,eAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AACjE,IAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,IAAA,MAAM,MAAA,GAAS,YAAA,CAAa,KAAK,CAAA,GAAI,MAAM,MAAA,GAAS,MAAA;AAEpD,IAAA,MAAM,QAAA,GAAW,KAAK,QAAA,KAAa,QAAA,GAAW,WAAW,cAAA,CAAe,MAAA,EAAQ,MAAM,IAAI,CAAA;AAC1F,IAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAM,MAAA,EAAQ,QAAA,EAAU,MAAM,QAAA,EAAS;AAAA,EAC3D;AACA,EAAA,OAAO,eAAA,CAAgB,MAAM,OAAA,EAAS,KAAK,IAAI,IAAA,GAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACxF;AAGO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,IAAA,GAAO,WAAA,CAAY,OAAA,EAAS,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,MAAM,QAAA,GAAW,eAAe,OAAO,CAAA;AACvC,EAAA,IAAI,IAAA,GAAkB;AAAA,IACpB,IAAA,EAAM,OAAA;AAAA,MACJ,QAAA,CAAS,OAAA,CAAQ,WAAA,EAAa,KAAK,CAAA;AAAA,MACnC,GAAG,OAAA,CAAQ,QAAA,CAAS,MAAM,CAAA,EAAG,iBAAA,CAAkB,OAAO,CAAC;AAAA,KACzD;AAAA,IACA,IAAA;AAAA,IACA,QAAA;AAAA,IACA,MAAA,EAAQ,KAAA;AAAA,IACR,UAAU,QAAA,GAAW,cAAA,CAAe,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,GAAI;AAAA,GAC1D;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,kBAAkB,OAAO,CAAA,EAAG,QAAQ,OAAA,CAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACrF,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACpC,IAAA,IAAI,SAAS,IAAA,EAAM;AACjB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,KAAA,EAAM;AAAA,IAClC;AACA,IAAA,IAAA,GAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAK;AAC/B;;"}

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

@@ -2,6 +2,7 @@
 
 const errors = require('../../domain/errors.cjs');
 const constructors = require('../../domain/ir/constructors.cjs');
+const propertyName = require('../../domain/ir/property-name.cjs');
 const jsonPointer = require('../../domain/openapi/json-pointer.cjs');
 
 class InvalidRefError extends errors.OpenAPITypesafeError {
@@ -20,8 +21,8 @@ function indexBy(type, ...segments) {
     type
   );
 }
-function extractVariantsWith(type, propertyName) {
-  const probe = constructors.irProperty({ kind: "identifier", text: propertyName }, constructors.irKeyword("unknown"));
+function extractVariantsWith(type, propertyName$1) {
+  const probe = constructors.irProperty(propertyName.toPropertyName(propertyName$1), constructors.irKeyword("unknown"));
   return constructors.irReference("Extract", [type, constructors.irObject([probe])]);
 }
 const DEFS_KEYWORD = "$defs";
@@ -53,5 +54,9 @@ function refType(ref, options = {}) {
 }
 
 exports.InvalidRefError = InvalidRefError;
+exports.extractVariantsWith = extractVariantsWith;
+exports.indexBy = indexBy;
+exports.indexKeyword = indexKeyword;
 exports.refType = refType;
+exports.rootType = rootType;
 //# sourceMappingURL=ref-type.cjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"ref-type.cjs","sources":["../../../src/application/transform/ref-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../domain/errors.js\";\nimport {\n  irIndexedAccess,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n  irString,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { parseRefPointer } from \"../../domain/openapi/json-pointer.js\";\n\n/** Where a referenced parameter lives in the generated `parameters` type. */\nexport interface RefParameterTarget {\n  readonly in: string;\n  readonly name: string;\n}\n\nexport interface RefTypeOptions {\n  /** Wrap the root in `FlattenedDeepRequired<…>`. */\n  readonly isDeep?: boolean;\n  /** Segments to narrow with `Extract<T, { segment: unknown }>` before indexing. */\n  readonly extractProperties?: readonly string[];\n  /** Set when the `$ref` resolves to a parameter object: its last segment indexes `in`, `name`. */\n  readonly parameter?: RefParameterTarget | null;\n}\n\nexport class InvalidRefError extends OpenAPITypesafeError {\n  constructor(ref: string) {\n    super({\n      code: ERROR_CODES.SCHEMA_REF_INVALID,\n      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,\n      details: { ref },\n    });\n    this.name = \"InvalidRefError\";\n  }\n}\n\n/** Segments that index into the root type, always as escaped string literal types. */\nfunction indexBy(type: IrType, ...segments: readonly string[]): IrType {\n  return segments.reduce<IrType>(\n    (object, segment) => irIndexedAccess(object, irString(segment, \"escaped\")),\n    type,\n  );\n}\n\n/** `Extract<T, { name: unknown }>`; the name is written as an identifier, as in the original. */\nfunction extractVariantsWith(type: IrType, propertyName: string): IrType {\n  const probe = irProperty({ kind: \"identifier\", text: propertyName }, irKeyword(\"unknown\"));\n  return irReference(\"Extract\", [type, irObject([probe])]);\n}\n\nconst DEFS_KEYWORD = \"$defs\";\n\n/**\n * Index by `segment`. A `$defs` member is optional (it is a keyword, not data), so when more\n * segments follow it is wrapped in `NonNullable<…>` first; otherwise the next index fails on\n * `undefined` (upstream #2664).\n */\nfunction indexKeyword(type: IrType, segment: string, isLast: boolean): IrType {\n  const indexed = indexBy(type, segment);\n  return segment === DEFS_KEYWORD && !isLast ? irReference(\"NonNullable\", [indexed]) : indexed;\n}\n\nfunction rootType(rootSegment: string, isDeep: boolean): IrType {\n  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);\n}\n\n/**\n * The indexed-access type of a `$ref` into the generated types (the original `oapiRef`), for\n * example `components[\"schemas\"][\"Foo\"]`. The first three segments index directly. After them,\n * `properties` segments are skipped (objects are flattened, upstream issue 1742), a parameter's\n * last segment becomes `[in][name]`, and listed segments are narrowed with `Extract` first.\n *\n * Throws InvalidRefError when the `$ref` has no pointer.\n */\nexport function refType(ref: string, options: RefTypeOptions = {}): IrType {\n  const [rootSegment, ...pointer] = parseRefPointer(ref);\n  if (rootSegment === undefined) {\n    throw new InvalidRefError(ref);\n  }\n  const extracted = new Set(options.extractProperties ?? []);\n  const lastIndex = pointer.length - 1;\n  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));\n  return pointer.slice(2).reduce<IrType>((type, segment, offset) => {\n    if (segment === \"properties\") {\n      return type;\n    }\n    if (options.parameter && offset + 2 === lastIndex) {\n      return indexBy(type, options.parameter.in, options.parameter.name);\n    }\n    const isLast = offset + 2 === lastIndex;\n    return extracted.has(segment)\n      ? indexBy(extractVariantsWith(type, segment), segment)\n      : indexKeyword(type, segment, isLast);\n  }, leading);\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","irIndexedAccess","irString","irProperty","irKeyword","irReference","irObject","parseRefPointer"],"mappings":";;;;;;AA2BO,MAAM,wBAAwBA,2BAAA,CAAqB;AAAA,EACxD,YAAY,GAAA,EAAa;AACvB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,kBAAA;AAAA,MAClB,OAAA,EAAS,uBAAuB,GAAG,CAAA,uBAAA,CAAA;AAAA,MACnC,OAAA,EAAS,EAAE,GAAA;AAAI,KAChB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,iBAAA;AAAA,EACd;AACF;AAGA,SAAS,OAAA,CAAQ,SAAiB,QAAA,EAAqC;AACrE,EAAA,OAAO,QAAA,CAAS,MAAA;AAAA,IACd,CAAC,QAAQ,OAAA,KAAYC,4BAAA,CAAgB,QAAQC,qBAAA,CAAS,OAAA,EAAS,SAAS,CAAC,CAAA;AAAA,IACzE;AAAA,GACF;AACF;AAGA,SAAS,mBAAA,CAAoB,MAAc,YAAA,EAA8B;AACvE,EAAA,MAAM,KAAA,GAAQC,uBAAA,CAAW,EAAE,IAAA,EAAM,YAAA,EAAc,MAAM,YAAA,EAAa,EAAGC,sBAAA,CAAU,SAAS,CAAC,CAAA;AACzF,EAAA,OAAOC,wBAAA,CAAY,WAAW,CAAC,IAAA,EAAMC,sBAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzD;AAEA,MAAM,YAAA,GAAe,OAAA;AAOrB,SAAS,YAAA,CAAa,IAAA,EAAc,OAAA,EAAiB,MAAA,EAAyB;AAC5E,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACrC,EAAA,OAAO,OAAA,KAAY,gBAAgB,CAAC,MAAA,GAASD,yBAAY,aAAA,EAAe,CAAC,OAAO,CAAC,CAAA,GAAI,OAAA;AACvF;AAEA,SAAS,QAAA,CAAS,aAAqB,MAAA,EAAyB;AAC9D,EAAA,OAAOA,wBAAA,CAAY,MAAA,GAAS,CAAA,sBAAA,EAAyB,WAAW,MAAM,WAAW,CAAA;AACnF;AAUO,SAAS,OAAA,CAAQ,GAAA,EAAa,OAAA,GAA0B,EAAC,EAAW;AACzE,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAIE,4BAAgB,GAAG,CAAA;AACrD,EAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,OAAA,CAAQ,iBAAA,IAAqB,EAAE,CAAA;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAA,GAAS,CAAA;AACnC,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,CAAQ,MAAA,IAAU,KAAK,CAAA,EAAG,GAAG,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA;AAC9F,EAAA,OAAO,OAAA,CAAQ,MAAM,CAAC,CAAA,CAAE,OAAe,CAAC,IAAA,EAAM,SAAS,MAAA,KAAW;AAChE,IAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,OAAA,CAAQ,SAAA,IAAa,MAAA,GAAS,CAAA,KAAM,SAAA,EAAW;AACjD,MAAA,OAAO,QAAQ,IAAA,EAAM,OAAA,CAAQ,UAAU,EAAA,EAAI,OAAA,CAAQ,UAAU,IAAI,CAAA;AAAA,IACnE;AACA,IAAA,MAAM,MAAA,GAAS,SAAS,CAAA,KAAM,SAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,OAAO,CAAA,GACxB,QAAQ,mBAAA,CAAoB,IAAA,EAAM,OAAO,CAAA,EAAG,OAAO,CAAA,GACnD,YAAA,CAAa,IAAA,EAAM,SAAS,MAAM,CAAA;AAAA,EACxC,GAAG,OAAO,CAAA;AACZ;;;"}
+{"version":3,"file":"ref-type.cjs","sources":["../../../src/application/transform/ref-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../domain/errors.js\";\nimport {\n  irIndexedAccess,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n  irString,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../domain/ir/property-name.js\";\nimport { parseRefPointer } from \"../../domain/openapi/json-pointer.js\";\n\n/** Where a referenced parameter lives in the generated `parameters` type. */\nexport interface RefParameterTarget {\n  readonly in: string;\n  readonly name: string;\n}\n\nexport interface RefTypeOptions {\n  /** Wrap the root in `FlattenedDeepRequired<…>`. */\n  readonly isDeep?: boolean;\n  /** Segments to narrow with `Extract<T, { segment: unknown }>` before indexing. */\n  readonly extractProperties?: readonly string[];\n  /** Set when the `$ref` resolves to a parameter object: its last segment indexes `in`, `name`. */\n  readonly parameter?: RefParameterTarget | null;\n}\n\nexport class InvalidRefError extends OpenAPITypesafeError {\n  constructor(ref: string) {\n    super({\n      code: ERROR_CODES.SCHEMA_REF_INVALID,\n      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,\n      details: { ref },\n    });\n    this.name = \"InvalidRefError\";\n  }\n}\n\n/** Segments that index into the root type, always as escaped string literal types. */\nexport function indexBy(type: IrType, ...segments: readonly string[]): IrType {\n  return segments.reduce<IrType>(\n    (object, segment) => irIndexedAccess(object, irString(segment, \"escaped\")),\n    type,\n  );\n}\n\n/**\n * `Extract<T, { name: unknown }>`. The original wrote the name as an identifier even when it is\n * not one (`{ content-type: unknown }`), which is a syntax error; it is now quoted like any other\n * property name, and an identifier stays as it was.\n */\nexport function extractVariantsWith(type: IrType, propertyName: string): IrType {\n  const probe = irProperty(toPropertyName(propertyName), irKeyword(\"unknown\"));\n  return irReference(\"Extract\", [type, irObject([probe])]);\n}\n\nconst DEFS_KEYWORD = \"$defs\";\n\n/**\n * Index by `segment`. A `$defs` member is optional (it is a keyword, not data), so when more\n * segments follow it is wrapped in `NonNullable<…>` first; otherwise the next index fails on\n * `undefined` (upstream #2664).\n */\nexport function indexKeyword(type: IrType, segment: string, isLast: boolean): IrType {\n  const indexed = indexBy(type, segment);\n  return segment === DEFS_KEYWORD && !isLast ? irReference(\"NonNullable\", [indexed]) : indexed;\n}\n\nexport function rootType(rootSegment: string, isDeep: boolean): IrType {\n  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);\n}\n\n/**\n * The indexed-access type of a `$ref` into the generated types (the original `oapiRef`), for\n * example `components[\"schemas\"][\"Foo\"]`. The first three segments index directly. After them,\n * `properties` segments are skipped (objects are flattened, upstream issue 1742), a parameter's\n * last segment becomes `[in][name]`, and listed segments are narrowed with `Extract` first.\n *\n * Throws InvalidRefError when the `$ref` has no pointer.\n */\nexport function refType(ref: string, options: RefTypeOptions = {}): IrType {\n  const [rootSegment, ...pointer] = parseRefPointer(ref);\n  if (rootSegment === undefined) {\n    throw new InvalidRefError(ref);\n  }\n  const extracted = new Set(options.extractProperties ?? []);\n  const lastIndex = pointer.length - 1;\n  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));\n  return pointer.slice(2).reduce<IrType>((type, segment, offset) => {\n    if (segment === \"properties\") {\n      return type;\n    }\n    if (options.parameter && offset + 2 === lastIndex) {\n      return indexBy(type, options.parameter.in, options.parameter.name);\n    }\n    const isLast = offset + 2 === lastIndex;\n    return extracted.has(segment)\n      ? indexBy(extractVariantsWith(type, segment), segment)\n      : indexKeyword(type, segment, isLast);\n  }, leading);\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","irIndexedAccess","irString","propertyName","irProperty","toPropertyName","irKeyword","irReference","irObject","parseRefPointer"],"mappings":";;;;;;;AA4BO,MAAM,wBAAwBA,2BAAA,CAAqB;AAAA,EACxD,YAAY,GAAA,EAAa;AACvB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,kBAAA;AAAA,MAClB,OAAA,EAAS,uBAAuB,GAAG,CAAA,uBAAA,CAAA;AAAA,MACnC,OAAA,EAAS,EAAE,GAAA;AAAI,KAChB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,iBAAA;AAAA,EACd;AACF;AAGO,SAAS,OAAA,CAAQ,SAAiB,QAAA,EAAqC;AAC5E,EAAA,OAAO,QAAA,CAAS,MAAA;AAAA,IACd,CAAC,QAAQ,OAAA,KAAYC,4BAAA,CAAgB,QAAQC,qBAAA,CAAS,OAAA,EAAS,SAAS,CAAC,CAAA;AAAA,IACzE;AAAA,GACF;AACF;AAOO,SAAS,mBAAA,CAAoB,MAAcC,cAAA,EAA8B;AAC9E,EAAA,MAAM,QAAQC,uBAAA,CAAWC,2BAAA,CAAeF,cAAY,CAAA,EAAGG,sBAAA,CAAU,SAAS,CAAC,CAAA;AAC3E,EAAA,OAAOC,wBAAA,CAAY,WAAW,CAAC,IAAA,EAAMC,sBAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzD;AAEA,MAAM,YAAA,GAAe,OAAA;AAOd,SAAS,YAAA,CAAa,IAAA,EAAc,OAAA,EAAiB,MAAA,EAAyB;AACnF,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACrC,EAAA,OAAO,OAAA,KAAY,gBAAgB,CAAC,MAAA,GAASD,yBAAY,aAAA,EAAe,CAAC,OAAO,CAAC,CAAA,GAAI,OAAA;AACvF;AAEO,SAAS,QAAA,CAAS,aAAqB,MAAA,EAAyB;AACrE,EAAA,OAAOA,wBAAA,CAAY,MAAA,GAAS,CAAA,sBAAA,EAAyB,WAAW,MAAM,WAAW,CAAA;AACnF;AAUO,SAAS,OAAA,CAAQ,GAAA,EAAa,OAAA,GAA0B,EAAC,EAAW;AACzE,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAIE,4BAAgB,GAAG,CAAA;AACrD,EAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,OAAA,CAAQ,iBAAA,IAAqB,EAAE,CAAA;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAA,GAAS,CAAA;AACnC,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,CAAQ,MAAA,IAAU,KAAK,CAAA,EAAG,GAAG,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA;AAC9F,EAAA,OAAO,OAAA,CAAQ,MAAM,CAAC,CAAA,CAAE,OAAe,CAAC,IAAA,EAAM,SAAS,MAAA,KAAW;AAChE,IAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,OAAA,CAAQ,SAAA,IAAa,MAAA,GAAS,CAAA,KAAM,SAAA,EAAW;AACjD,MAAA,OAAO,QAAQ,IAAA,EAAM,OAAA,CAAQ,UAAU,EAAA,EAAI,OAAA,CAAQ,UAAU,IAAI,CAAA;AAAA,IACnE;AACA,IAAA,MAAM,MAAA,GAAS,SAAS,CAAA,KAAM,SAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,OAAO,CAAA,GACxB,QAAQ,mBAAA,CAAoB,IAAA,EAAM,OAAO,CAAA,EAAG,OAAO,CAAA,GACnD,YAAA,CAAa,IAAA,EAAM,SAAS,MAAM,CAAA;AAAA,EACxC,GAAG,OAAO,CAAA;AACZ;;;;;;;"}

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

@@ -1,5 +1,6 @@
 import { OpenAPITypesafeError, ERROR_CODES } from '../../domain/errors.mjs';
 import { irIndexedAccess, irReference, irProperty, irKeyword, irObject, irString } from '../../domain/ir/constructors.mjs';
+import { toPropertyName } from '../../domain/ir/property-name.mjs';
 import { parseRefPointer } from '../../domain/openapi/json-pointer.mjs';
 
 class InvalidRefError extends OpenAPITypesafeError {
@@ -19,7 +20,7 @@ function indexBy(type, ...segments) {
   );
 }
 function extractVariantsWith(type, propertyName) {
-  const probe = irProperty({ kind: "identifier", text: propertyName }, irKeyword("unknown"));
+  const probe = irProperty(toPropertyName(propertyName), irKeyword("unknown"));
   return irReference("Extract", [type, irObject([probe])]);
 }
 const DEFS_KEYWORD = "$defs";
@@ -50,5 +51,5 @@ function refType(ref, options = {}) {
   }, leading);
 }
 
-export { InvalidRefError, refType };
+export { InvalidRefError, extractVariantsWith, indexBy, indexKeyword, refType, rootType };
 //# sourceMappingURL=ref-type.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"ref-type.mjs","sources":["../../../src/application/transform/ref-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../domain/errors.js\";\nimport {\n  irIndexedAccess,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n  irString,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { parseRefPointer } from \"../../domain/openapi/json-pointer.js\";\n\n/** Where a referenced parameter lives in the generated `parameters` type. */\nexport interface RefParameterTarget {\n  readonly in: string;\n  readonly name: string;\n}\n\nexport interface RefTypeOptions {\n  /** Wrap the root in `FlattenedDeepRequired<…>`. */\n  readonly isDeep?: boolean;\n  /** Segments to narrow with `Extract<T, { segment: unknown }>` before indexing. */\n  readonly extractProperties?: readonly string[];\n  /** Set when the `$ref` resolves to a parameter object: its last segment indexes `in`, `name`. */\n  readonly parameter?: RefParameterTarget | null;\n}\n\nexport class InvalidRefError extends OpenAPITypesafeError {\n  constructor(ref: string) {\n    super({\n      code: ERROR_CODES.SCHEMA_REF_INVALID,\n      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,\n      details: { ref },\n    });\n    this.name = \"InvalidRefError\";\n  }\n}\n\n/** Segments that index into the root type, always as escaped string literal types. */\nfunction indexBy(type: IrType, ...segments: readonly string[]): IrType {\n  return segments.reduce<IrType>(\n    (object, segment) => irIndexedAccess(object, irString(segment, \"escaped\")),\n    type,\n  );\n}\n\n/** `Extract<T, { name: unknown }>`; the name is written as an identifier, as in the original. */\nfunction extractVariantsWith(type: IrType, propertyName: string): IrType {\n  const probe = irProperty({ kind: \"identifier\", text: propertyName }, irKeyword(\"unknown\"));\n  return irReference(\"Extract\", [type, irObject([probe])]);\n}\n\nconst DEFS_KEYWORD = \"$defs\";\n\n/**\n * Index by `segment`. A `$defs` member is optional (it is a keyword, not data), so when more\n * segments follow it is wrapped in `NonNullable<…>` first; otherwise the next index fails on\n * `undefined` (upstream #2664).\n */\nfunction indexKeyword(type: IrType, segment: string, isLast: boolean): IrType {\n  const indexed = indexBy(type, segment);\n  return segment === DEFS_KEYWORD && !isLast ? irReference(\"NonNullable\", [indexed]) : indexed;\n}\n\nfunction rootType(rootSegment: string, isDeep: boolean): IrType {\n  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);\n}\n\n/**\n * The indexed-access type of a `$ref` into the generated types (the original `oapiRef`), for\n * example `components[\"schemas\"][\"Foo\"]`. The first three segments index directly. After them,\n * `properties` segments are skipped (objects are flattened, upstream issue 1742), a parameter's\n * last segment becomes `[in][name]`, and listed segments are narrowed with `Extract` first.\n *\n * Throws InvalidRefError when the `$ref` has no pointer.\n */\nexport function refType(ref: string, options: RefTypeOptions = {}): IrType {\n  const [rootSegment, ...pointer] = parseRefPointer(ref);\n  if (rootSegment === undefined) {\n    throw new InvalidRefError(ref);\n  }\n  const extracted = new Set(options.extractProperties ?? []);\n  const lastIndex = pointer.length - 1;\n  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));\n  return pointer.slice(2).reduce<IrType>((type, segment, offset) => {\n    if (segment === \"properties\") {\n      return type;\n    }\n    if (options.parameter && offset + 2 === lastIndex) {\n      return indexBy(type, options.parameter.in, options.parameter.name);\n    }\n    const isLast = offset + 2 === lastIndex;\n    return extracted.has(segment)\n      ? indexBy(extractVariantsWith(type, segment), segment)\n      : indexKeyword(type, segment, isLast);\n  }, leading);\n}\n"],"names":[],"mappings":";;;;AA2BO,MAAM,wBAAwB,oBAAA,CAAqB;AAAA,EACxD,YAAY,GAAA,EAAa;AACvB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,kBAAA;AAAA,MAClB,OAAA,EAAS,uBAAuB,GAAG,CAAA,uBAAA,CAAA;AAAA,MACnC,OAAA,EAAS,EAAE,GAAA;AAAI,KAChB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,iBAAA;AAAA,EACd;AACF;AAGA,SAAS,OAAA,CAAQ,SAAiB,QAAA,EAAqC;AACrE,EAAA,OAAO,QAAA,CAAS,MAAA;AAAA,IACd,CAAC,QAAQ,OAAA,KAAY,eAAA,CAAgB,QAAQ,QAAA,CAAS,OAAA,EAAS,SAAS,CAAC,CAAA;AAAA,IACzE;AAAA,GACF;AACF;AAGA,SAAS,mBAAA,CAAoB,MAAc,YAAA,EAA8B;AACvE,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,EAAE,IAAA,EAAM,YAAA,EAAc,MAAM,YAAA,EAAa,EAAG,SAAA,CAAU,SAAS,CAAC,CAAA;AACzF,EAAA,OAAO,WAAA,CAAY,WAAW,CAAC,IAAA,EAAM,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzD;AAEA,MAAM,YAAA,GAAe,OAAA;AAOrB,SAAS,YAAA,CAAa,IAAA,EAAc,OAAA,EAAiB,MAAA,EAAyB;AAC5E,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACrC,EAAA,OAAO,OAAA,KAAY,gBAAgB,CAAC,MAAA,GAAS,YAAY,aAAA,EAAe,CAAC,OAAO,CAAC,CAAA,GAAI,OAAA;AACvF;AAEA,SAAS,QAAA,CAAS,aAAqB,MAAA,EAAyB;AAC9D,EAAA,OAAO,WAAA,CAAY,MAAA,GAAS,CAAA,sBAAA,EAAyB,WAAW,MAAM,WAAW,CAAA;AACnF;AAUO,SAAS,OAAA,CAAQ,GAAA,EAAa,OAAA,GAA0B,EAAC,EAAW;AACzE,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAI,gBAAgB,GAAG,CAAA;AACrD,EAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,OAAA,CAAQ,iBAAA,IAAqB,EAAE,CAAA;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAA,GAAS,CAAA;AACnC,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,CAAQ,MAAA,IAAU,KAAK,CAAA,EAAG,GAAG,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA;AAC9F,EAAA,OAAO,OAAA,CAAQ,MAAM,CAAC,CAAA,CAAE,OAAe,CAAC,IAAA,EAAM,SAAS,MAAA,KAAW;AAChE,IAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,OAAA,CAAQ,SAAA,IAAa,MAAA,GAAS,CAAA,KAAM,SAAA,EAAW;AACjD,MAAA,OAAO,QAAQ,IAAA,EAAM,OAAA,CAAQ,UAAU,EAAA,EAAI,OAAA,CAAQ,UAAU,IAAI,CAAA;AAAA,IACnE;AACA,IAAA,MAAM,MAAA,GAAS,SAAS,CAAA,KAAM,SAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,OAAO,CAAA,GACxB,QAAQ,mBAAA,CAAoB,IAAA,EAAM,OAAO,CAAA,EAAG,OAAO,CAAA,GACnD,YAAA,CAAa,IAAA,EAAM,SAAS,MAAM,CAAA;AAAA,EACxC,GAAG,OAAO,CAAA;AACZ;;"}
+{"version":3,"file":"ref-type.mjs","sources":["../../../src/application/transform/ref-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../domain/errors.js\";\nimport {\n  irIndexedAccess,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n  irString,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../domain/ir/property-name.js\";\nimport { parseRefPointer } from \"../../domain/openapi/json-pointer.js\";\n\n/** Where a referenced parameter lives in the generated `parameters` type. */\nexport interface RefParameterTarget {\n  readonly in: string;\n  readonly name: string;\n}\n\nexport interface RefTypeOptions {\n  /** Wrap the root in `FlattenedDeepRequired<…>`. */\n  readonly isDeep?: boolean;\n  /** Segments to narrow with `Extract<T, { segment: unknown }>` before indexing. */\n  readonly extractProperties?: readonly string[];\n  /** Set when the `$ref` resolves to a parameter object: its last segment indexes `in`, `name`. */\n  readonly parameter?: RefParameterTarget | null;\n}\n\nexport class InvalidRefError extends OpenAPITypesafeError {\n  constructor(ref: string) {\n    super({\n      code: ERROR_CODES.SCHEMA_REF_INVALID,\n      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,\n      details: { ref },\n    });\n    this.name = \"InvalidRefError\";\n  }\n}\n\n/** Segments that index into the root type, always as escaped string literal types. */\nexport function indexBy(type: IrType, ...segments: readonly string[]): IrType {\n  return segments.reduce<IrType>(\n    (object, segment) => irIndexedAccess(object, irString(segment, \"escaped\")),\n    type,\n  );\n}\n\n/**\n * `Extract<T, { name: unknown }>`. The original wrote the name as an identifier even when it is\n * not one (`{ content-type: unknown }`), which is a syntax error; it is now quoted like any other\n * property name, and an identifier stays as it was.\n */\nexport function extractVariantsWith(type: IrType, propertyName: string): IrType {\n  const probe = irProperty(toPropertyName(propertyName), irKeyword(\"unknown\"));\n  return irReference(\"Extract\", [type, irObject([probe])]);\n}\n\nconst DEFS_KEYWORD = \"$defs\";\n\n/**\n * Index by `segment`. A `$defs` member is optional (it is a keyword, not data), so when more\n * segments follow it is wrapped in `NonNullable<…>` first; otherwise the next index fails on\n * `undefined` (upstream #2664).\n */\nexport function indexKeyword(type: IrType, segment: string, isLast: boolean): IrType {\n  const indexed = indexBy(type, segment);\n  return segment === DEFS_KEYWORD && !isLast ? irReference(\"NonNullable\", [indexed]) : indexed;\n}\n\nexport function rootType(rootSegment: string, isDeep: boolean): IrType {\n  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);\n}\n\n/**\n * The indexed-access type of a `$ref` into the generated types (the original `oapiRef`), for\n * example `components[\"schemas\"][\"Foo\"]`. The first three segments index directly. After them,\n * `properties` segments are skipped (objects are flattened, upstream issue 1742), a parameter's\n * last segment becomes `[in][name]`, and listed segments are narrowed with `Extract` first.\n *\n * Throws InvalidRefError when the `$ref` has no pointer.\n */\nexport function refType(ref: string, options: RefTypeOptions = {}): IrType {\n  const [rootSegment, ...pointer] = parseRefPointer(ref);\n  if (rootSegment === undefined) {\n    throw new InvalidRefError(ref);\n  }\n  const extracted = new Set(options.extractProperties ?? []);\n  const lastIndex = pointer.length - 1;\n  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));\n  return pointer.slice(2).reduce<IrType>((type, segment, offset) => {\n    if (segment === \"properties\") {\n      return type;\n    }\n    if (options.parameter && offset + 2 === lastIndex) {\n      return indexBy(type, options.parameter.in, options.parameter.name);\n    }\n    const isLast = offset + 2 === lastIndex;\n    return extracted.has(segment)\n      ? indexBy(extractVariantsWith(type, segment), segment)\n      : indexKeyword(type, segment, isLast);\n  }, leading);\n}\n"],"names":[],"mappings":";;;;;AA4BO,MAAM,wBAAwB,oBAAA,CAAqB;AAAA,EACxD,YAAY,GAAA,EAAa;AACvB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,kBAAA;AAAA,MAClB,OAAA,EAAS,uBAAuB,GAAG,CAAA,uBAAA,CAAA;AAAA,MACnC,OAAA,EAAS,EAAE,GAAA;AAAI,KAChB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,iBAAA;AAAA,EACd;AACF;AAGO,SAAS,OAAA,CAAQ,SAAiB,QAAA,EAAqC;AAC5E,EAAA,OAAO,QAAA,CAAS,MAAA;AAAA,IACd,CAAC,QAAQ,OAAA,KAAY,eAAA,CAAgB,QAAQ,QAAA,CAAS,OAAA,EAAS,SAAS,CAAC,CAAA;AAAA,IACzE;AAAA,GACF;AACF;AAOO,SAAS,mBAAA,CAAoB,MAAc,YAAA,EAA8B;AAC9E,EAAA,MAAM,QAAQ,UAAA,CAAW,cAAA,CAAe,YAAY,CAAA,EAAG,SAAA,CAAU,SAAS,CAAC,CAAA;AAC3E,EAAA,OAAO,WAAA,CAAY,WAAW,CAAC,IAAA,EAAM,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzD;AAEA,MAAM,YAAA,GAAe,OAAA;AAOd,SAAS,YAAA,CAAa,IAAA,EAAc,OAAA,EAAiB,MAAA,EAAyB;AACnF,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACrC,EAAA,OAAO,OAAA,KAAY,gBAAgB,CAAC,MAAA,GAAS,YAAY,aAAA,EAAe,CAAC,OAAO,CAAC,CAAA,GAAI,OAAA;AACvF;AAEO,SAAS,QAAA,CAAS,aAAqB,MAAA,EAAyB;AACrE,EAAA,OAAO,WAAA,CAAY,MAAA,GAAS,CAAA,sBAAA,EAAyB,WAAW,MAAM,WAAW,CAAA;AACnF;AAUO,SAAS,OAAA,CAAQ,GAAA,EAAa,OAAA,GAA0B,EAAC,EAAW;AACzE,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAI,gBAAgB,GAAG,CAAA;AACrD,EAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,OAAA,CAAQ,iBAAA,IAAqB,EAAE,CAAA;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAA,GAAS,CAAA;AACnC,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,CAAQ,MAAA,IAAU,KAAK,CAAA,EAAG,GAAG,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA;AAC9F,EAAA,OAAO,OAAA,CAAQ,MAAM,CAAC,CAAA,CAAE,OAAe,CAAC,IAAA,EAAM,SAAS,MAAA,KAAW;AAChE,IAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,OAAA,CAAQ,SAAA,IAAa,MAAA,GAAS,CAAA,KAAM,SAAA,EAAW;AACjD,MAAA,OAAO,QAAQ,IAAA,EAAM,OAAA,CAAQ,UAAU,EAAA,EAAI,OAAA,CAAQ,UAAU,IAAI,CAAA;AAAA,IACnE;AACA,IAAA,MAAM,MAAA,GAAS,SAAS,CAAA,KAAM,SAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,OAAO,CAAA,GACxB,QAAQ,mBAAA,CAAoB,IAAA,EAAM,OAAO,CAAA,EAAG,OAAO,CAAA,GACnD,YAAA,CAAa,IAAA,EAAM,SAAS,MAAM,CAAA;AAAA,EACxC,GAAG,OAAO,CAAA;AACZ;;"}

package/dist/application/transform/schema/access-flags.cjs

@@ -0,0 +1,38 @@
+'use strict';
+
+const outputFixes = require('../../../domain/output-fixes.cjs');
+
+const NO_FLAGS = { isReadOnly: false, isWriteOnly: false };
+function ownFlags(schema) {
+  return { isReadOnly: Boolean(schema.readOnly), isWriteOnly: Boolean(schema.writeOnly) };
+}
+function merged(left, right) {
+  return {
+    isReadOnly: left.isReadOnly || right.isReadOnly,
+    isWriteOnly: left.isWriteOnly || right.isWriteOnly
+  };
+}
+function appliedFlags(schema, context, seen) {
+  if (typeof schema !== "object" || schema === null || seen.has(schema)) {
+    return NO_FLAGS;
+  }
+  const inner = /* @__PURE__ */ new Set([...seen, schema]);
+  const object = schema;
+  const target = typeof object.$ref === "string" ? context.refs.resolve(object.$ref) : void 0;
+  return (object.allOf ?? []).reduce(
+    (flags, member) => merged(flags, appliedFlags(member, context, inner)),
+    merged(ownFlags(object), appliedFlags(target, context, inner))
+  );
+}
+function propertyAccessFlags(value, context) {
+  if (typeof value !== "object") {
+    return NO_FLAGS;
+  }
+  if (!context.options.fixes.has(outputFixes.OutputFix.READ_WRITE_REFS)) {
+    return ownFlags(value);
+  }
+  return appliedFlags(value, context, /* @__PURE__ */ new Set());
+}
+
+exports.propertyAccessFlags = propertyAccessFlags;
+//# sourceMappingURL=access-flags.cjs.map