openapi-typesafe 0.0.0 → 1.0.0-rc.1

package/dist/application/transform/footer/type-rules.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-rules.mjs","sources":["../../../../src/application/transform/footer/type-rules.ts"],"sourcesContent":["import { irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type {\n  IrMember,\n  IrObjectType,\n  IrPropertySignature,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport {\n  type Evaluated,\n  type Evaluation,\n  MISSING,\n  OPAQUE,\n  propertyKey,\n  unionType,\n} from \"./evaluation.js\";\n\n/**\n * Rules of TypeScript about intersections, `Omit` and `Extract` that the `--enum-values` check\n * needs (ADR-027). They read the types as written, before `FlattenedDeepRequired`.\n */\n\n/** The part of the evaluator these rules use. */\nexport interface TypeExpansion {\n  membersOf(value: Evaluated): readonly Evaluation[];\n}\n\n/** A unit value of a type: a literal, `null` or `undefined`. */\ntype Unit = string;\n\n/**\n * The parts an intersection is made of, nested intersections flattened: each object type, or\n * `null` for a part that is not one.\n */\nfunction objectParts(\n  types: TypeExpansion,\n  value: Evaluated,\n  parts: readonly IrType[],\n): (IrObjectType | null)[] {\n  return parts.flatMap((part) => {\n    const members = types.membersOf({ ...value, type: part });\n    const [only] = members;\n    if (members.length !== 1 || only?.kind !== \"type\") {\n      return [null];\n    }\n    if (only.type.kind === \"intersection\") {\n      return objectParts(types, only, only.type.types);\n    }\n    return [only.type.kind === \"object\" ? only.type : null];\n  });\n}\n\nfunction unitOf(type: IrType): Unit | null {\n  switch (type.kind) {\n    case \"stringLiteral\":\n      return `s:${type.value}`;\n    case \"numberLiteral\":\n      return `n:${type.value}`;\n    case \"booleanLiteral\":\n      return `b:${type.value}`;\n    case \"keyword\":\n      return type.keyword === \"null\" || type.keyword === \"undefined\" ? type.keyword : null;\n    default:\n      return null;\n  }\n}\n\n/** The unit values of a type made only of units, or `null` where it has other values. */\nfunction unitsOf(types: TypeExpansion, value: Evaluated, type: IrType): ReadonlySet<Unit> | null {\n  const units = types.membersOf({ ...value, type }).map((member) => {\n    return member.kind === \"type\" ? unitOf(member.type) : null;\n  });\n  return units.includes(null) ? null : new Set(units as Unit[]);\n}\n\nfunction propertiesNamed(objects: readonly IrObjectType[], key: string): IrPropertySignature[] {\n  return objects.flatMap((object) => {\n    const members: readonly IrMember[] = object.members;\n    return members.filter(\n      (member): member is IrPropertySignature =>\n        member.kind === \"property\" && propertyKey(member.name) === key,\n    );\n  });\n}\n\n/** Whether properties of the same name share no unit value, one of them required. */\nfunction isNeverProperty(\n  types: TypeExpansion,\n  value: Evaluated,\n  found: IrPropertySignature[],\n): boolean {\n  if (found.length < 2 || found.every((property) => property.isOptional)) {\n    return false;\n  }\n  const sets = found.map((property) => unitsOf(types, value, property.type));\n  if (sets.includes(null)) {\n    return false;\n  }\n  // At least two properties, so at least two sets.\n  const [first, ...rest] = sets as [ReadonlySet<Unit>, ...ReadonlySet<Unit>[]];\n  const shared = [...first].filter((unit) => rest.every((set) => set.has(unit)));\n  return shared.length === 0;\n}\n\n/** Whether an intersection has `null` or `undefined` next to an object: `null & { a: 1 }`. */\nfunction isNullishObject(types: TypeExpansion, value: Evaluated, parts: readonly IrType[]) {\n  const singles = parts.map((part) => {\n    const members = types.membersOf({ ...value, type: part });\n    const [only] = members;\n    return members.length === 1 && only?.kind === \"type\" ? only.type : null;\n  });\n  const isNullish = (type: IrType | null) =>\n    type?.kind === \"keyword\" && (type.keyword === \"null\" || type.keyword === \"undefined\");\n  return singles.some(isNullish) && singles.some((type) => type?.kind === \"object\");\n}\n\n/**\n * Whether TypeScript reduces an intersection to `never`: `null` or `undefined` meets an object,\n * or objects share a property with literal types that have no value in common, one of them\n * requiring it (`{ a: \"x\" } & { a: \"y\" }`). Other properties are left alone, so the answer is\n * sure where it is yes.\n */\nexport function isNeverIntersection(\n  types: TypeExpansion,\n  value: Evaluated,\n  parts: readonly IrType[],\n): boolean {\n  if (isNullishObject(types, value, parts)) {\n    return true;\n  }\n  const objects = objectParts(types, value, parts).filter((part) => part !== null);\n  if (objects.length < 2) {\n    return false;\n  }\n  const keys = new Set(\n    objects.flatMap((object) =>\n      object.members.flatMap((member) =>\n        member.kind === \"property\" ? [propertyKey(member.name)] : [],\n      ),\n    ),\n  );\n  const valueOfKeys = { ...value, deep: false };\n  return [...keys].some((key) =>\n    isNeverProperty(types, valueOfKeys, propertiesNamed(objects, key)),\n  );\n}\n\n/** Whether `key` reaches only an index signature of this object: it declares no such property. */\nfunction isSignatureOnly(types: TypeExpansion, value: Evaluated, key: string | null): boolean {\n  const members = types.membersOf(value);\n  const [only] = members;\n  if (\n    key === null ||\n    members.length !== 1 ||\n    only?.kind !== \"type\" ||\n    only.type.kind !== \"object\"\n  ) {\n    return false;\n  }\n  const { members: declared } = only.type;\n  const hasSignature = declared.some((member) => member.kind === \"indexSignature\");\n  return hasSignature && propertiesNamed([only.type], key).length === 0;\n}\n\n/**\n * The parts of an intersection indexed by `index`, as TypeScript reads them: where one part\n * declares the property, the index signatures of the others do not take part\n * (`{ a: X } & { [key: string]: Y }` gives `X` for `a`).\n */\nexport function declaredFirst(\n  types: TypeExpansion,\n  value: Evaluated,\n  key: string | null,\n  parts: readonly { readonly type: IrType; readonly found: Evaluation }[],\n): Evaluation[] {\n  const bySignature = parts.map(({ type }) => isSignatureOnly(types, { ...value, type }, key));\n  const isDeclared = parts.some(({ found }, at) => found.kind === \"type\" && !bySignature[at]);\n  return parts.filter((_, at) => !(isDeclared && bySignature[at])).map(({ found }) => found);\n}\n\n/**\n * Whether a member of `membersOf` has `key` as a property that `{ key: unknown }` accepts: written\n * and, outside `FlattenedDeepRequired`, required. An index signature does not count, as in\n * TypeScript. Such a member is expanded, parts included, so it is an object, an intersection of\n * members, or a primitive or array type, which has no such property; a type the evaluator cannot\n * read makes `membersOf` opaque instead.\n */\nfunction hasKey(value: Evaluated, key: string): boolean {\n  const { type } = value;\n  if (type.kind === \"intersection\") {\n    return type.types.some((part) => hasKey({ ...value, type: part }, key));\n  }\n  if (type.kind !== \"object\") {\n    return false;\n  }\n  return propertiesNamed([type], key).some((property) => value.deep || !property.isOptional);\n}\n\n/**\n * `Extract<T, { key: unknown }>`: the members of `T` that have `key`. When none has it the\n * result is `never`; it is `missing` here, as the location then types nothing.\n */\nexport function extracted(types: TypeExpansion, value: Evaluated, key: string): Evaluation {\n  const members = types.membersOf(value);\n  if (members.some((member) => member.kind !== \"type\")) {\n    return OPAQUE;\n  }\n  const kept = (members as Evaluated[]).filter((member) => hasKey(member, key));\n  if (kept.length === 0) {\n    return MISSING;\n  }\n  return { ...value, type: unionType(kept.map((member) => member.type)) };\n}\n\nfunction omittedKeys(types: TypeExpansion, value: Evaluated, keys: IrType): Set<string> | null {\n  const members = types.membersOf({ ...value, type: keys });\n  const names = members.map((member) =>\n    member.kind === \"type\" && member.type.kind === \"stringLiteral\" ? member.type.value : null,\n  );\n  return names.includes(null) ? null : new Set(names as string[]);\n}\n\n/** Whether two members name the same property: merging them would need their intersection. */\nfunction hasSharedProperty(members: readonly IrMember[]): boolean {\n  const names = members.flatMap((member) =>\n    member.kind === \"property\" ? [propertyKey(member.name)] : [],\n  );\n  return new Set(names).size !== names.length;\n}\n\n/**\n * `Omit<T, K>` for literal keys `K` over an object or an intersection of objects. A string index\n * signature makes `keyof T` all strings, so only the index signatures are left.\n */\nexport function omitted(types: TypeExpansion, value: Evaluated, keys: IrType): Evaluation {\n  const names = omittedKeys(types, value, keys);\n  const objects = objectParts(types, value, [value.type]);\n  if (names === null || objects.length === 0 || objects.includes(null)) {\n    return OPAQUE;\n  }\n  const members = (objects as IrObjectType[]).flatMap((object) => object.members);\n  if (hasSharedProperty(members)) {\n    return OPAQUE;\n  }\n  const signatures = members.filter((member) => member.kind === \"indexSignature\");\n  const kept =\n    signatures.length > 0\n      ? signatures\n      : members.filter(\n          (member) => member.kind !== \"property\" || !names.has(propertyKey(member.name)),\n        );\n  return { ...value, type: { kind: \"object\", members: kept } };\n}\n\n/** The `--read-write-markers` types and their one member (`READ_WRITE_MARKER_TYPES`). */\nconst READ_WRITE_MARKER_KEYS: ReadonlyMap<string, string> = new Map([\n  [\"$Read\", \"$read\"],\n  [\"$Write\", \"$write\"],\n]);\n\n/** `$Read<T>` is `{ readonly $read: T }`: an object, which holds no enum value. */\nexport function markerObject(name: string, argument: Evaluated): Evaluated | null {\n  const key = READ_WRITE_MARKER_KEYS.get(name);\n  if (key === undefined) {\n    return null;\n  }\n  const member = irProperty(toPropertyName(key), argument.type, { isReadonly: true });\n  return { ...argument, type: irObject([member]) };\n}\n"],"names":[],"mappings":";;;;AAkCA,SAAS,WAAA,CACP,KAAA,EACA,KAAA,EACA,KAAA,EACyB;AACzB,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,KAAS;AAC7B,IAAA,MAAM,OAAA,GAAU,MAAM,SAAA,CAAU,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AACxD,IAAA,MAAM,CAAC,IAAI,CAAA,GAAI,OAAA;AACf,IAAA,IAAI,OAAA,CAAQ,MAAA,KAAW,CAAA,IAAK,IAAA,EAAM,SAAS,MAAA,EAAQ;AACjD,MAAA,OAAO,CAAC,IAAI,CAAA;AAAA,IACd;AACA,IAAA,IAAI,IAAA,CAAK,IAAA,CAAK,IAAA,KAAS,cAAA,EAAgB;AACrC,MAAA,OAAO,WAAA,CAAY,KAAA,EAAO,IAAA,EAAM,IAAA,CAAK,KAAK,KAAK,CAAA;AAAA,IACjD;AACA,IAAA,OAAO,CAAC,IAAA,CAAK,IAAA,CAAK,SAAS,QAAA,GAAW,IAAA,CAAK,OAAO,IAAI,CAAA;AAAA,EACxD,CAAC,CAAA;AACH;AAEA,SAAS,OAAO,IAAA,EAA2B;AACzC,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,eAAA;AACH,MAAA,OAAO,CAAA,EAAA,EAAK,KAAK,KAAK,CAAA,CAAA;AAAA,IACxB,KAAK,eAAA;AACH,MAAA,OAAO,CAAA,EAAA,EAAK,KAAK,KAAK,CAAA,CAAA;AAAA,IACxB,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA,EAAA,EAAK,KAAK,KAAK,CAAA,CAAA;AAAA,IACxB,KAAK,SAAA;AACH,MAAA,OAAO,KAAK,OAAA,KAAY,MAAA,IAAU,KAAK,OAAA,KAAY,WAAA,GAAc,KAAK,OAAA,GAAU,IAAA;AAAA,IAClF;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAGA,SAAS,OAAA,CAAQ,KAAA,EAAsB,KAAA,EAAkB,IAAA,EAAwC;AAC/F,EAAA,MAAM,KAAA,GAAQ,KAAA,CAAM,SAAA,CAAU,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,CAAA,CAAE,GAAA,CAAI,CAAC,MAAA,KAAW;AAChE,IAAA,OAAO,OAAO,IAAA,KAAS,MAAA,GAAS,MAAA,CAAO,MAAA,CAAO,IAAI,CAAA,GAAI,IAAA;AAAA,EACxD,CAAC,CAAA;AACD,EAAA,OAAO,MAAM,QAAA,CAAS,IAAI,IAAI,IAAA,GAAO,IAAI,IAAI,KAAe,CAAA;AAC9D;AAEA,SAAS,eAAA,CAAgB,SAAkC,GAAA,EAAoC;AAC7F,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAAW;AACjC,IAAA,MAAM,UAA+B,MAAA,CAAO,OAAA;AAC5C,IAAA,OAAO,OAAA,CAAQ,MAAA;AAAA,MACb,CAAC,WACC,MAAA,CAAO,IAAA,KAAS,cAAc,WAAA,CAAY,MAAA,CAAO,IAAI,CAAA,KAAM;AAAA,KAC/D;AAAA,EACF,CAAC,CAAA;AACH;AAGA,SAAS,eAAA,CACP,KAAA,EACA,KAAA,EACA,KAAA,EACS;AACT,EAAA,IAAI,KAAA,CAAM,SAAS,CAAA,IAAK,KAAA,CAAM,MAAM,CAAC,QAAA,KAAa,QAAA,CAAS,UAAU,CAAA,EAAG;AACtE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAO,KAAA,CAAM,GAAA,CAAI,CAAC,QAAA,KAAa,QAAQ,KAAA,EAAO,KAAA,EAAO,QAAA,CAAS,IAAI,CAAC,CAAA;AACzE,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,CAAC,KAAA,EAAO,GAAG,IAAI,CAAA,GAAI,IAAA;AACzB,EAAA,MAAM,SAAS,CAAC,GAAG,KAAK,CAAA,CAAE,OAAO,CAAC,IAAA,KAAS,IAAA,CAAK,KAAA,CAAM,CAAC,GAAA,KAAQ,GAAA,CAAI,GAAA,CAAI,IAAI,CAAC,CAAC,CAAA;AAC7E,EAAA,OAAO,OAAO,MAAA,KAAW,CAAA;AAC3B;AAGA,SAAS,eAAA,CAAgB,KAAA,EAAsB,KAAA,EAAkB,KAAA,EAA0B;AACzF,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AAClC,IAAA,MAAM,OAAA,GAAU,MAAM,SAAA,CAAU,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AACxD,IAAA,MAAM,CAAC,IAAI,CAAA,GAAI,OAAA;AACf,IAAA,OAAO,QAAQ,MAAA,KAAW,CAAA,IAAK,MAAM,IAAA,KAAS,MAAA,GAAS,KAAK,IAAA,GAAO,IAAA;AAAA,EACrE,CAAC,CAAA;AACD,EAAA,MAAM,SAAA,GAAY,CAAC,IAAA,KACjB,IAAA,EAAM,IAAA,KAAS,cAAc,IAAA,CAAK,OAAA,KAAY,MAAA,IAAU,IAAA,CAAK,OAAA,KAAY,WAAA,CAAA;AAC3E,EAAA,OAAO,OAAA,CAAQ,IAAA,CAAK,SAAS,CAAA,IAAK,OAAA,CAAQ,KAAK,CAAC,IAAA,KAAS,IAAA,EAAM,IAAA,KAAS,QAAQ,CAAA;AAClF;AAQO,SAAS,mBAAA,CACd,KAAA,EACA,KAAA,EACA,KAAA,EACS;AACT,EAAA,IAAI,eAAA,CAAgB,KAAA,EAAO,KAAA,EAAO,KAAK,CAAA,EAAG;AACxC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAU,WAAA,CAAY,KAAA,EAAO,KAAA,EAAO,KAAK,EAAE,MAAA,CAAO,CAAC,IAAA,KAAS,IAAA,KAAS,IAAI,CAAA;AAC/E,EAAA,IAAI,OAAA,CAAQ,SAAS,CAAA,EAAG;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAO,IAAI,GAAA;AAAA,IACf,OAAA,CAAQ,OAAA;AAAA,MAAQ,CAAC,MAAA,KACf,MAAA,CAAO,OAAA,CAAQ,OAAA;AAAA,QAAQ,CAAC,MAAA,KACtB,MAAA,CAAO,IAAA,KAAS,UAAA,GAAa,CAAC,WAAA,CAAY,MAAA,CAAO,IAAI,CAAC,CAAA,GAAI;AAAC;AAC7D;AACF,GACF;AACA,EAAA,MAAM,WAAA,GAAc,EAAE,GAAG,KAAA,EAAO,MAAM,KAAA,EAAM;AAC5C,EAAA,OAAO,CAAC,GAAG,IAAI,CAAA,CAAE,IAAA;AAAA,IAAK,CAAC,QACrB,eAAA,CAAgB,KAAA,EAAO,aAAa,eAAA,CAAgB,OAAA,EAAS,GAAG,CAAC;AAAA,GACnE;AACF;AAGA,SAAS,eAAA,CAAgB,KAAA,EAAsB,KAAA,EAAkB,GAAA,EAA6B;AAC5F,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,SAAA,CAAU,KAAK,CAAA;AACrC,EAAA,MAAM,CAAC,IAAI,CAAA,GAAI,OAAA;AACf,EAAA,IACE,GAAA,KAAQ,IAAA,IACR,OAAA,CAAQ,MAAA,KAAW,CAAA,IACnB,IAAA,EAAM,IAAA,KAAS,MAAA,IACf,IAAA,CAAK,IAAA,CAAK,IAAA,KAAS,QAAA,EACnB;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAE,OAAA,EAAS,QAAA,EAAS,GAAI,IAAA,CAAK,IAAA;AACnC,EAAA,MAAM,eAAe,QAAA,CAAS,IAAA,CAAK,CAAC,MAAA,KAAW,MAAA,CAAO,SAAS,gBAAgB,CAAA;AAC/E,EAAA,OAAO,YAAA,IAAgB,gBAAgB,CAAC,IAAA,CAAK,IAAI,CAAA,EAAG,GAAG,EAAE,MAAA,KAAW,CAAA;AACtE;AAOO,SAAS,aAAA,CACd,KAAA,EACA,KAAA,EACA,GAAA,EACA,KAAA,EACc;AACd,EAAA,MAAM,WAAA,GAAc,KAAA,CAAM,GAAA,CAAI,CAAC,EAAE,IAAA,EAAK,KAAM,eAAA,CAAgB,KAAA,EAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAK,EAAG,GAAG,CAAC,CAAA;AAC3F,EAAA,MAAM,UAAA,GAAa,KAAA,CAAM,IAAA,CAAK,CAAC,EAAE,KAAA,EAAM,EAAG,EAAA,KAAO,KAAA,CAAM,IAAA,KAAS,MAAA,IAAU,CAAC,WAAA,CAAY,EAAE,CAAC,CAAA;AAC1F,EAAA,OAAO,MAAM,MAAA,CAAO,CAAC,CAAA,EAAG,EAAA,KAAO,EAAE,UAAA,IAAc,WAAA,CAAY,EAAE,CAAA,CAAE,EAAE,GAAA,CAAI,CAAC,EAAE,KAAA,OAAY,KAAK,CAAA;AAC3F;AASA,SAAS,MAAA,CAAO,OAAkB,GAAA,EAAsB;AACtD,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,SAAS,cAAA,EAAgB;AAChC,IAAA,OAAO,IAAA,CAAK,KAAA,CAAM,IAAA,CAAK,CAAC,IAAA,KAAS,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,IAAA,EAAK,EAAG,GAAG,CAAC,CAAA;AAAA,EACxE;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,eAAA,CAAgB,CAAC,IAAI,CAAA,EAAG,GAAG,CAAA,CAAE,IAAA,CAAK,CAAC,QAAA,KAAa,KAAA,CAAM,IAAA,IAAQ,CAAC,SAAS,UAAU,CAAA;AAC3F;AAMO,SAAS,SAAA,CAAU,KAAA,EAAsB,KAAA,EAAkB,GAAA,EAAyB;AACzF,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,SAAA,CAAU,KAAK,CAAA;AACrC,EAAA,IAAI,QAAQ,IAAA,CAAK,CAAC,WAAW,MAAA,CAAO,IAAA,KAAS,MAAM,CAAA,EAAG;AACpD,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAQ,QAAwB,MAAA,CAAO,CAAC,WAAW,MAAA,CAAO,MAAA,EAAQ,GAAG,CAAC,CAAA;AAC5E,EAAA,IAAI,IAAA,CAAK,WAAW,CAAA,EAAG;AACrB,IAAA,OAAO,OAAA;AAAA,EACT;AACA,EAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,SAAA,CAAU,IAAA,CAAK,GAAA,CAAI,CAAC,MAAA,KAAW,MAAA,CAAO,IAAI,CAAC,CAAA,EAAE;AACxE;AAEA,SAAS,WAAA,CAAY,KAAA,EAAsB,KAAA,EAAkB,IAAA,EAAkC;AAC7F,EAAA,MAAM,OAAA,GAAU,MAAM,SAAA,CAAU,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AACxD,EAAA,MAAM,QAAQ,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,MAAA,KACzB,MAAA,CAAO,IAAA,KAAS,MAAA,IAAU,MAAA,CAAO,IAAA,CAAK,IAAA,KAAS,eAAA,GAAkB,MAAA,CAAO,IAAA,CAAK,KAAA,GAAQ;AAAA,GACvF;AACA,EAAA,OAAO,MAAM,QAAA,CAAS,IAAI,IAAI,IAAA,GAAO,IAAI,IAAI,KAAiB,CAAA;AAChE;AAGA,SAAS,kBAAkB,OAAA,EAAuC;AAChE,EAAA,MAAM,QAAQ,OAAA,CAAQ,OAAA;AAAA,IAAQ,CAAC,MAAA,KAC7B,MAAA,CAAO,IAAA,KAAS,UAAA,GAAa,CAAC,WAAA,CAAY,MAAA,CAAO,IAAI,CAAC,CAAA,GAAI;AAAC,GAC7D;AACA,EAAA,OAAO,IAAI,GAAA,CAAI,KAAK,CAAA,CAAE,SAAS,KAAA,CAAM,MAAA;AACvC;AAMO,SAAS,OAAA,CAAQ,KAAA,EAAsB,KAAA,EAAkB,IAAA,EAA0B;AACxF,EAAA,MAAM,KAAA,GAAQ,WAAA,CAAY,KAAA,EAAO,KAAA,EAAO,IAAI,CAAA;AAC5C,EAAA,MAAM,UAAU,WAAA,CAAY,KAAA,EAAO,OAAO,CAAC,KAAA,CAAM,IAAI,CAAC,CAAA;AACtD,EAAA,IAAI,KAAA,KAAU,QAAQ,OAAA,CAAQ,MAAA,KAAW,KAAK,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA,EAAG;AACpE,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAW,OAAA,CAA2B,OAAA,CAAQ,CAAC,MAAA,KAAW,OAAO,OAAO,CAAA;AAC9E,EAAA,IAAI,iBAAA,CAAkB,OAAO,CAAA,EAAG;AAC9B,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,aAAa,OAAA,CAAQ,MAAA,CAAO,CAAC,MAAA,KAAW,MAAA,CAAO,SAAS,gBAAgB,CAAA;AAC9E,EAAA,MAAM,IAAA,GACJ,UAAA,CAAW,MAAA,GAAS,CAAA,GAChB,aACA,OAAA,CAAQ,MAAA;AAAA,IACN,CAAC,MAAA,KAAW,MAAA,CAAO,IAAA,KAAS,UAAA,IAAc,CAAC,KAAA,CAAM,GAAA,CAAI,WAAA,CAAY,MAAA,CAAO,IAAI,CAAC;AAAA,GAC/E;AACN,EAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,IAAA,EAAK,EAAE;AAC7D;AAGA,MAAM,sBAAA,uBAA0D,GAAA,CAAI;AAAA,EAClE,CAAC,SAAS,OAAO,CAAA;AAAA,EACjB,CAAC,UAAU,QAAQ;AACrB,CAAC,CAAA;AAGM,SAAS,YAAA,CAAa,MAAc,QAAA,EAAuC;AAChF,EAAA,MAAM,GAAA,GAAM,sBAAA,CAAuB,GAAA,CAAI,IAAI,CAAA;AAC3C,EAAA,IAAI,QAAQ,MAAA,EAAW;AACrB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,UAAA,CAAW,cAAA,CAAe,GAAG,CAAA,EAAG,SAAS,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,CAAA;AAClF,EAAA,OAAO,EAAE,GAAG,QAAA,EAAU,IAAA,EAAM,SAAS,CAAC,MAAM,CAAC,CAAA,EAAE;AACjD;;"}

package/dist/application/transform/helper-types.cjs

@@ -0,0 +1,68 @@
+'use strict';
+
+function lines(...parts) {
+  return parts.join("\n");
+}
+const HELPER_TYPES = {
+  withRequired: {
+    name: "WithRequired",
+    text: lines("type WithRequired<T, K extends keyof T> = T & {", "    [P in K]-?: T[P];", "};")
+  },
+  // `unevaluated-properties` (roadmap R11): the value types of every member of a union, so a
+  // `$ref` to a `oneOf` schema gives the values of each variant, not only of the shared keys.
+  propertyValues: {
+    name: "PropertyValues",
+    text: "type PropertyValues<T> = T extends unknown ? T[keyof T] : never;"
+  },
+  // Task 7.4 changes the original text on purpose: `readonly unknown[]` also flattens the arrays
+  // of `--immutable` (upstream #2714, #2749), and `NonNullable` looks through nullable parents
+  // (upstream #2737). The old text did not compile for those schemas.
+  flattenedDeepRequired: {
+    name: "FlattenedDeepRequired",
+    text: lines(
+      "type FlattenedDeepRequired<T> = {",
+      "    [K in keyof T]-?: FlattenedDeepRequired<T[K] extends readonly unknown[] | undefined | null ? Extract<T[K], readonly unknown[]>[number] : NonNullable<T[K]>>;",
+      "};"
+    )
+  },
+  // `readonly unknown[]`: a readonly array value type stays as is (upstream #2749).
+  readonlyArray: {
+    name: "ReadonlyArray",
+    text: lines(
+      "type ReadonlyArray<T> = [",
+      "    Exclude<T, undefined>",
+      "] extends [",
+      "    readonly unknown[]",
+      "] ? Readonly<Exclude<T, undefined>> : Readonly<Exclude<T, undefined>[]>;"
+    )
+  }
+};
+const READ_WRITE_MARKER_TYPES = lines(
+  "export type $Read<T> = {",
+  "    readonly $read: T;",
+  "};",
+  "export type $Write<T> = {",
+  "    readonly $write: T;",
+  "};",
+  "type ReadWritePrimitive = string | number | boolean | bigint | symbol | null | undefined;",
+  "type ReadWriteLeaf = ReadWritePrimitive | ((...args: never) => unknown);",
+  "type ReadWriteMarkedKeys<T, Marker> = {",
+  "    [K in keyof T]-?: NonNullable<T[K]> extends never ? never : NonNullable<T[K]> extends Marker ? K : never;",
+  "}[keyof T];",
+  'type ReadWriteResolveArray<T extends readonly unknown[], Resolved extends "read" | "write"> = T[number][] extends T ? T extends unknown[] ? ReadWriteResolve<T[number], Resolved>[] : readonly ReadWriteResolve<T[number], Resolved>[] : {',
+  "    [K in keyof T]: ReadWriteResolve<T[K], Resolved>;",
+  "};",
+  'type ReadWriteResolve<T, Resolved extends "read" | "write"> = Resolved extends "read" ? Readable<T> : Writable<T>;',
+  'export type Readable<T> = T extends $Write<any> ? never : T extends $Read<infer U> ? Readable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? ReadWriteResolveArray<T, "read"> : T extends object ? {',
+  "    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Write<any>> ? never : K]: Readable<T[K]>;",
+  "} : T;",
+  'export type Writable<T> = T extends $Read<any> ? never : T extends $Write<infer U> ? Writable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? ReadWriteResolveArray<T, "write"> : T extends object ? {',
+  "    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Read<any>> ? never : K]: Writable<T[K]>;",
+  "} & {",
+  "    [K in ReadWriteMarkedKeys<T, $Read<any>>]?: never;",
+  "} : T;"
+);
+
+exports.HELPER_TYPES = HELPER_TYPES;
+exports.READ_WRITE_MARKER_TYPES = READ_WRITE_MARKER_TYPES;
+//# sourceMappingURL=helper-types.cjs.map

package/dist/application/transform/helper-types.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-types.cjs","sources":["../../../src/application/transform/helper-types.ts"],"sourcesContent":["/**\n * The helper type aliases the generator adds to the footer, declared once each. The text is the\n * original's source text as the TypeScript printer printed it, so printing it as written gives\n * the original output (ENGINEERING_PLAN 6.2 and 6.6), except for the fixes noted below.\n */\nexport interface HelperType {\n  readonly name: string;\n  readonly text: string;\n}\n\nfunction lines(...parts: readonly string[]): string {\n  return parts.join(\"\\n\");\n}\n\nexport const HELPER_TYPES = {\n  withRequired: {\n    name: \"WithRequired\",\n    text: lines(\"type WithRequired<T, K extends keyof T> = T & {\", \"    [P in K]-?: T[P];\", \"};\"),\n  },\n  // `unevaluated-properties` (roadmap R11): the value types of every member of a union, so a\n  // `$ref` to a `oneOf` schema gives the values of each variant, not only of the shared keys.\n  propertyValues: {\n    name: \"PropertyValues\",\n    text: \"type PropertyValues<T> = T extends unknown ? T[keyof T] : never;\",\n  },\n  // Task 7.4 changes the original text on purpose: `readonly unknown[]` also flattens the arrays\n  // of `--immutable` (upstream #2714, #2749), and `NonNullable` looks through nullable parents\n  // (upstream #2737). The old text did not compile for those schemas.\n  flattenedDeepRequired: {\n    name: \"FlattenedDeepRequired\",\n    text: lines(\n      \"type FlattenedDeepRequired<T> = {\",\n      \"    [K in keyof T]-?: FlattenedDeepRequired<T[K] extends readonly unknown[] | undefined | \" +\n        \"null ? Extract<T[K], readonly unknown[]>[number] : NonNullable<T[K]>>;\",\n      \"};\",\n    ),\n  },\n  // `readonly unknown[]`: a readonly array value type stays as is (upstream #2749).\n  readonlyArray: {\n    name: \"ReadonlyArray\",\n    text: lines(\n      \"type ReadonlyArray<T> = [\",\n      \"    Exclude<T, undefined>\",\n      \"] extends [\",\n      \"    readonly unknown[]\",\n      \"] ? Readonly<Exclude<T, undefined>> : Readonly<Exclude<T, undefined>[]>;\",\n    ),\n  },\n} as const satisfies Readonly<Record<string, HelperType>>;\n\n/**\n * The `--read-write-markers` helper types, written before the root types. Task 7.6 replaces the\n * original text on purpose (ADR-014): primitives (also branded), readonly arrays, tuples,\n * intersected arrays and null-only properties keep their types (upstream #2615, #2620, #2632,\n * #2717, #2765). The declarations equal `Readable` / `Writable` of openapi-typesafe-helpers\n * (`test/api/read-write-marker-types.test.ts`); the text is what the TypeScript printer prints.\n */\nexport const READ_WRITE_MARKER_TYPES = lines(\n  \"export type $Read<T> = {\",\n  \"    readonly $read: T;\",\n  \"};\",\n  \"export type $Write<T> = {\",\n  \"    readonly $write: T;\",\n  \"};\",\n  \"type ReadWritePrimitive = string | number | boolean | bigint | symbol | null | undefined;\",\n  \"type ReadWriteLeaf = ReadWritePrimitive | ((...args: never) => unknown);\",\n  \"type ReadWriteMarkedKeys<T, Marker> = {\",\n  \"    [K in keyof T]-?: NonNullable<T[K]> extends never ? never : NonNullable<T[K]> \" +\n    \"extends Marker ? K : never;\",\n  \"}[keyof T];\",\n  'type ReadWriteResolveArray<T extends readonly unknown[], Resolved extends \"read\" | ' +\n    '\"write\"> = T[number][] extends T ? T extends unknown[] ? ReadWriteResolve<T[number], ' +\n    \"Resolved>[] : readonly ReadWriteResolve<T[number], Resolved>[] : {\",\n  \"    [K in keyof T]: ReadWriteResolve<T[K], Resolved>;\",\n  \"};\",\n  'type ReadWriteResolve<T, Resolved extends \"read\" | \"write\"> = Resolved extends \"read\" ? ' +\n    \"Readable<T> : Writable<T>;\",\n  \"export type Readable<T> = T extends $Write<any> ? never : T extends $Read<infer U> ? \" +\n    \"Readable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? \" +\n    'ReadWriteResolveArray<T, \"read\"> : T extends object ? {',\n  \"    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Write<any>> ? never : K]: \" +\n    \"Readable<T[K]>;\",\n  \"} : T;\",\n  \"export type Writable<T> = T extends $Read<any> ? never : T extends $Write<infer U> ? \" +\n    \"Writable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? \" +\n    'ReadWriteResolveArray<T, \"write\"> : T extends object ? {',\n  \"    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Read<any>> ? never : K]: \" +\n    \"Writable<T[K]>;\",\n  \"} & {\",\n  \"    [K in ReadWriteMarkedKeys<T, $Read<any>>]?: never;\",\n  \"} : T;\",\n);\n"],"names":[],"mappings":";;AAUA,SAAS,SAAS,KAAA,EAAkC;AAClD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AACxB;AAEO,MAAM,YAAA,GAAe;AAAA,EAC1B,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,cAAA;AAAA,IACN,IAAA,EAAM,KAAA,CAAM,iDAAA,EAAmD,uBAAA,EAAyB,IAAI;AAAA,GAC9F;AAAA;AAAA;AAAA,EAGA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,gBAAA;AAAA,IACN,IAAA,EAAM;AAAA,GACR;AAAA;AAAA;AAAA;AAAA,EAIA,qBAAA,EAAuB;AAAA,IACrB,IAAA,EAAM,uBAAA;AAAA,IACN,IAAA,EAAM,KAAA;AAAA,MACJ,mCAAA;AAAA,MACA,kKAAA;AAAA,MAEA;AAAA;AACF,GACF;AAAA;AAAA,EAEA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,eAAA;AAAA,IACN,IAAA,EAAM,KAAA;AAAA,MACJ,2BAAA;AAAA,MACA,2BAAA;AAAA,MACA,aAAA;AAAA,MACA,wBAAA;AAAA,MACA;AAAA;AACF;AAEJ;AASO,MAAM,uBAAA,GAA0B,KAAA;AAAA,EACrC,0BAAA;AAAA,EACA,wBAAA;AAAA,EACA,IAAA;AAAA,EACA,2BAAA;AAAA,EACA,yBAAA;AAAA,EACA,IAAA;AAAA,EACA,2FAAA;AAAA,EACA,0EAAA;AAAA,EACA,yCAAA;AAAA,EACA,+GAAA;AAAA,EAEA,aAAA;AAAA,EACA,4OAAA;AAAA,EAGA,uDAAA;AAAA,EACA,IAAA;AAAA,EACA,oHAAA;AAAA,EAEA,yNAAA;AAAA,EAGA,kGAAA;AAAA,EAEA,QAAA;AAAA,EACA,0NAAA;AAAA,EAGA,iGAAA;AAAA,EAEA,OAAA;AAAA,EACA,wDAAA;AAAA,EACA;AACF;;;"}

package/dist/application/transform/helper-types.mjs

@@ -0,0 +1,65 @@
+function lines(...parts) {
+  return parts.join("\n");
+}
+const HELPER_TYPES = {
+  withRequired: {
+    name: "WithRequired",
+    text: lines("type WithRequired<T, K extends keyof T> = T & {", "    [P in K]-?: T[P];", "};")
+  },
+  // `unevaluated-properties` (roadmap R11): the value types of every member of a union, so a
+  // `$ref` to a `oneOf` schema gives the values of each variant, not only of the shared keys.
+  propertyValues: {
+    name: "PropertyValues",
+    text: "type PropertyValues<T> = T extends unknown ? T[keyof T] : never;"
+  },
+  // Task 7.4 changes the original text on purpose: `readonly unknown[]` also flattens the arrays
+  // of `--immutable` (upstream #2714, #2749), and `NonNullable` looks through nullable parents
+  // (upstream #2737). The old text did not compile for those schemas.
+  flattenedDeepRequired: {
+    name: "FlattenedDeepRequired",
+    text: lines(
+      "type FlattenedDeepRequired<T> = {",
+      "    [K in keyof T]-?: FlattenedDeepRequired<T[K] extends readonly unknown[] | undefined | null ? Extract<T[K], readonly unknown[]>[number] : NonNullable<T[K]>>;",
+      "};"
+    )
+  },
+  // `readonly unknown[]`: a readonly array value type stays as is (upstream #2749).
+  readonlyArray: {
+    name: "ReadonlyArray",
+    text: lines(
+      "type ReadonlyArray<T> = [",
+      "    Exclude<T, undefined>",
+      "] extends [",
+      "    readonly unknown[]",
+      "] ? Readonly<Exclude<T, undefined>> : Readonly<Exclude<T, undefined>[]>;"
+    )
+  }
+};
+const READ_WRITE_MARKER_TYPES = lines(
+  "export type $Read<T> = {",
+  "    readonly $read: T;",
+  "};",
+  "export type $Write<T> = {",
+  "    readonly $write: T;",
+  "};",
+  "type ReadWritePrimitive = string | number | boolean | bigint | symbol | null | undefined;",
+  "type ReadWriteLeaf = ReadWritePrimitive | ((...args: never) => unknown);",
+  "type ReadWriteMarkedKeys<T, Marker> = {",
+  "    [K in keyof T]-?: NonNullable<T[K]> extends never ? never : NonNullable<T[K]> extends Marker ? K : never;",
+  "}[keyof T];",
+  'type ReadWriteResolveArray<T extends readonly unknown[], Resolved extends "read" | "write"> = T[number][] extends T ? T extends unknown[] ? ReadWriteResolve<T[number], Resolved>[] : readonly ReadWriteResolve<T[number], Resolved>[] : {',
+  "    [K in keyof T]: ReadWriteResolve<T[K], Resolved>;",
+  "};",
+  'type ReadWriteResolve<T, Resolved extends "read" | "write"> = Resolved extends "read" ? Readable<T> : Writable<T>;',
+  'export type Readable<T> = T extends $Write<any> ? never : T extends $Read<infer U> ? Readable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? ReadWriteResolveArray<T, "read"> : T extends object ? {',
+  "    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Write<any>> ? never : K]: Readable<T[K]>;",
+  "} : T;",
+  'export type Writable<T> = T extends $Read<any> ? never : T extends $Write<infer U> ? Writable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? ReadWriteResolveArray<T, "write"> : T extends object ? {',
+  "    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Read<any>> ? never : K]: Writable<T[K]>;",
+  "} & {",
+  "    [K in ReadWriteMarkedKeys<T, $Read<any>>]?: never;",
+  "} : T;"
+);
+
+export { HELPER_TYPES, READ_WRITE_MARKER_TYPES };
+//# sourceMappingURL=helper-types.mjs.map

package/dist/application/transform/helper-types.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-types.mjs","sources":["../../../src/application/transform/helper-types.ts"],"sourcesContent":["/**\n * The helper type aliases the generator adds to the footer, declared once each. The text is the\n * original's source text as the TypeScript printer printed it, so printing it as written gives\n * the original output (ENGINEERING_PLAN 6.2 and 6.6), except for the fixes noted below.\n */\nexport interface HelperType {\n  readonly name: string;\n  readonly text: string;\n}\n\nfunction lines(...parts: readonly string[]): string {\n  return parts.join(\"\\n\");\n}\n\nexport const HELPER_TYPES = {\n  withRequired: {\n    name: \"WithRequired\",\n    text: lines(\"type WithRequired<T, K extends keyof T> = T & {\", \"    [P in K]-?: T[P];\", \"};\"),\n  },\n  // `unevaluated-properties` (roadmap R11): the value types of every member of a union, so a\n  // `$ref` to a `oneOf` schema gives the values of each variant, not only of the shared keys.\n  propertyValues: {\n    name: \"PropertyValues\",\n    text: \"type PropertyValues<T> = T extends unknown ? T[keyof T] : never;\",\n  },\n  // Task 7.4 changes the original text on purpose: `readonly unknown[]` also flattens the arrays\n  // of `--immutable` (upstream #2714, #2749), and `NonNullable` looks through nullable parents\n  // (upstream #2737). The old text did not compile for those schemas.\n  flattenedDeepRequired: {\n    name: \"FlattenedDeepRequired\",\n    text: lines(\n      \"type FlattenedDeepRequired<T> = {\",\n      \"    [K in keyof T]-?: FlattenedDeepRequired<T[K] extends readonly unknown[] | undefined | \" +\n        \"null ? Extract<T[K], readonly unknown[]>[number] : NonNullable<T[K]>>;\",\n      \"};\",\n    ),\n  },\n  // `readonly unknown[]`: a readonly array value type stays as is (upstream #2749).\n  readonlyArray: {\n    name: \"ReadonlyArray\",\n    text: lines(\n      \"type ReadonlyArray<T> = [\",\n      \"    Exclude<T, undefined>\",\n      \"] extends [\",\n      \"    readonly unknown[]\",\n      \"] ? Readonly<Exclude<T, undefined>> : Readonly<Exclude<T, undefined>[]>;\",\n    ),\n  },\n} as const satisfies Readonly<Record<string, HelperType>>;\n\n/**\n * The `--read-write-markers` helper types, written before the root types. Task 7.6 replaces the\n * original text on purpose (ADR-014): primitives (also branded), readonly arrays, tuples,\n * intersected arrays and null-only properties keep their types (upstream #2615, #2620, #2632,\n * #2717, #2765). The declarations equal `Readable` / `Writable` of openapi-typesafe-helpers\n * (`test/api/read-write-marker-types.test.ts`); the text is what the TypeScript printer prints.\n */\nexport const READ_WRITE_MARKER_TYPES = lines(\n  \"export type $Read<T> = {\",\n  \"    readonly $read: T;\",\n  \"};\",\n  \"export type $Write<T> = {\",\n  \"    readonly $write: T;\",\n  \"};\",\n  \"type ReadWritePrimitive = string | number | boolean | bigint | symbol | null | undefined;\",\n  \"type ReadWriteLeaf = ReadWritePrimitive | ((...args: never) => unknown);\",\n  \"type ReadWriteMarkedKeys<T, Marker> = {\",\n  \"    [K in keyof T]-?: NonNullable<T[K]> extends never ? never : NonNullable<T[K]> \" +\n    \"extends Marker ? K : never;\",\n  \"}[keyof T];\",\n  'type ReadWriteResolveArray<T extends readonly unknown[], Resolved extends \"read\" | ' +\n    '\"write\"> = T[number][] extends T ? T extends unknown[] ? ReadWriteResolve<T[number], ' +\n    \"Resolved>[] : readonly ReadWriteResolve<T[number], Resolved>[] : {\",\n  \"    [K in keyof T]: ReadWriteResolve<T[K], Resolved>;\",\n  \"};\",\n  'type ReadWriteResolve<T, Resolved extends \"read\" | \"write\"> = Resolved extends \"read\" ? ' +\n    \"Readable<T> : Writable<T>;\",\n  \"export type Readable<T> = T extends $Write<any> ? never : T extends $Read<infer U> ? \" +\n    \"Readable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? \" +\n    'ReadWriteResolveArray<T, \"read\"> : T extends object ? {',\n  \"    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Write<any>> ? never : K]: \" +\n    \"Readable<T[K]>;\",\n  \"} : T;\",\n  \"export type Writable<T> = T extends $Read<any> ? never : T extends $Write<infer U> ? \" +\n    \"Writable<U> : T extends ReadWriteLeaf ? T : T extends readonly unknown[] ? \" +\n    'ReadWriteResolveArray<T, \"write\"> : T extends object ? {',\n  \"    [K in keyof T as K extends ReadWriteMarkedKeys<T, $Read<any>> ? never : K]: \" +\n    \"Writable<T[K]>;\",\n  \"} & {\",\n  \"    [K in ReadWriteMarkedKeys<T, $Read<any>>]?: never;\",\n  \"} : T;\",\n);\n"],"names":[],"mappings":"AAUA,SAAS,SAAS,KAAA,EAAkC;AAClD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AACxB;AAEO,MAAM,YAAA,GAAe;AAAA,EAC1B,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,cAAA;AAAA,IACN,IAAA,EAAM,KAAA,CAAM,iDAAA,EAAmD,uBAAA,EAAyB,IAAI;AAAA,GAC9F;AAAA;AAAA;AAAA,EAGA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,gBAAA;AAAA,IACN,IAAA,EAAM;AAAA,GACR;AAAA;AAAA;AAAA;AAAA,EAIA,qBAAA,EAAuB;AAAA,IACrB,IAAA,EAAM,uBAAA;AAAA,IACN,IAAA,EAAM,KAAA;AAAA,MACJ,mCAAA;AAAA,MACA,kKAAA;AAAA,MAEA;AAAA;AACF,GACF;AAAA;AAAA,EAEA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,eAAA;AAAA,IACN,IAAA,EAAM,KAAA;AAAA,MACJ,2BAAA;AAAA,MACA,2BAAA;AAAA,MACA,aAAA;AAAA,MACA,wBAAA;AAAA,MACA;AAAA;AACF;AAEJ;AASO,MAAM,uBAAA,GAA0B,KAAA;AAAA,EACrC,0BAAA;AAAA,EACA,wBAAA;AAAA,EACA,IAAA;AAAA,EACA,2BAAA;AAAA,EACA,yBAAA;AAAA,EACA,IAAA;AAAA,EACA,2FAAA;AAAA,EACA,0EAAA;AAAA,EACA,yCAAA;AAAA,EACA,+GAAA;AAAA,EAEA,aAAA;AAAA,EACA,4OAAA;AAAA,EAGA,uDAAA;AAAA,EACA,IAAA;AAAA,EACA,oHAAA;AAAA,EAEA,yNAAA;AAAA,EAGA,kGAAA;AAAA,EAEA,QAAA;AAAA,EACA,0NAAA;AAAA,EAGA,iGAAA;AAAA,EAEA,OAAA;AAAA,EACA,wDAAA;AAAA,EACA;AACF;;"}

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

@@ -0,0 +1,36 @@
+'use strict';
+
+const constructors = require('../../domain/ir/constructors.cjs');
+const propertyName = require('../../domain/ir/property-name.cjs');
+const sharedTypes = require('./shared-types.cjs');
+
+function objectLiteralType(value) {
+  const members = Object.entries(value).map(
+    ([key, entry]) => constructors.irProperty(propertyName.toPropertyName(key), literalType(entry))
+  );
+  return members.length > 0 ? constructors.irObject(members) : constructors.irRecord(constructors.irKeyword("string"), constructors.irKeyword("never"));
+}
+function arrayLiteralType(value) {
+  return value.length === 0 ? constructors.irArray(constructors.irKeyword("never")) : constructors.irTuple(value.map((item) => constructors.irTupleElement(literalType(item))));
+}
+function literalType(value) {
+  if (typeof value === "string") {
+    return constructors.irString(value, "json");
+  }
+  if (typeof value === "number") {
+    return Number.isFinite(value) ? constructors.irNumber(value) : constructors.irRaw(String(value));
+  }
+  if (typeof value === "boolean") {
+    return constructors.irBoolean(value);
+  }
+  if (value === null) {
+    return constructors.irKeyword("null");
+  }
+  if (Array.isArray(value)) {
+    return arrayLiteralType(value);
+  }
+  return typeof value === "object" ? objectLiteralType(value) : sharedTypes.UNKNOWN_TYPE;
+}
+
+exports.literalType = literalType;
+//# sourceMappingURL=literal-type.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literal-type.cjs","sources":["../../../src/application/transform/literal-type.ts"],"sourcesContent":["import {\n  irArray,\n  irBoolean,\n  irKeyword,\n  irNumber,\n  irObject,\n  irProperty,\n  irRaw,\n  irRecord,\n  irString,\n  irTuple,\n  irTupleElement,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../domain/ir/property-name.js\";\nimport { UNKNOWN_TYPE } from \"./shared-types.js\";\n\nfunction objectLiteralType(value: object): IrType {\n  const members = Object.entries(value).map(([key, entry]) =>\n    irProperty(toPropertyName(key), literalType(entry)),\n  );\n  return members.length > 0 ? irObject(members) : irRecord(irKeyword(\"string\"), irKeyword(\"never\"));\n}\n\nfunction arrayLiteralType(value: readonly unknown[]): IrType {\n  return value.length === 0\n    ? irArray(irKeyword(\"never\"))\n    : irTuple(value.map((item) => irTupleElement(literalType(item))));\n}\n\n/**\n * The literal type of a JSON value (the original `tsLiteral`): strings as JSON text, arrays as\n * tuples (an empty one as `never[]`), objects as object types (an empty one as\n * `Record<string, never>`), and anything else (`undefined`, functions) as `unknown`.\n */\nexport function literalType(value: unknown): IrType {\n  if (typeof value === \"string\") {\n    return irString(value, \"json\");\n  }\n  if (typeof value === \"number\") {\n    // YAML `.nan` and `.inf` have no literal type; the original prints them as `NaN`, `-Infinity`.\n    return Number.isFinite(value) ? irNumber(value) : irRaw(String(value));\n  }\n  if (typeof value === \"boolean\") {\n    return irBoolean(value);\n  }\n  if (value === null) {\n    return irKeyword(\"null\");\n  }\n  if (Array.isArray(value)) {\n    return arrayLiteralType(value);\n  }\n  return typeof value === \"object\" ? objectLiteralType(value) : UNKNOWN_TYPE;\n}\n"],"names":["irProperty","toPropertyName","irObject","irRecord","irKeyword","irArray","irTuple","irTupleElement","irString","irNumber","irRaw","irBoolean","UNKNOWN_TYPE"],"mappings":";;;;;;AAiBA,SAAS,kBAAkB,KAAA,EAAuB;AAChD,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,GAAA;AAAA,IAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KACpDA,uBAAA,CAAWC,2BAAA,CAAe,GAAG,CAAA,EAAG,WAAA,CAAY,KAAK,CAAC;AAAA,GACpD;AACA,EAAA,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAAIC,qBAAA,CAAS,OAAO,CAAA,GAAIC,qBAAA,CAASC,sBAAA,CAAU,QAAQ,CAAA,EAAGA,sBAAA,CAAU,OAAO,CAAC,CAAA;AAClG;AAEA,SAAS,iBAAiB,KAAA,EAAmC;AAC3D,EAAA,OAAO,MAAM,MAAA,KAAW,CAAA,GACpBC,qBAAQD,sBAAA,CAAU,OAAO,CAAC,CAAA,GAC1BE,oBAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAASC,2BAAA,CAAe,YAAY,IAAI,CAAC,CAAC,CAAC,CAAA;AACpE;AAOO,SAAS,YAAY,KAAA,EAAwB;AAClD,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAOC,qBAAA,CAAS,OAAO,MAAM,CAAA;AAAA,EAC/B;AACA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAE7B,IAAA,OAAO,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,GAAIC,qBAAA,CAAS,KAAK,CAAA,GAAIC,kBAAA,CAAM,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,IAAA,OAAOC,uBAAU,KAAK,CAAA;AAAA,EACxB;AACA,EAAA,IAAI,UAAU,IAAA,EAAM;AAClB,IAAA,OAAOP,uBAAU,MAAM,CAAA;AAAA,EACzB;AACA,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,IAAA,OAAO,iBAAiB,KAAK,CAAA;AAAA,EAC/B;AACA,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,GAAW,iBAAA,CAAkB,KAAK,CAAA,GAAIQ,wBAAA;AAChE;;"}

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

@@ -0,0 +1,34 @@
+import { irString, irNumber, irRaw, irBoolean, irKeyword, irArray, irTuple, irTupleElement, irProperty, irObject, irRecord } from '../../domain/ir/constructors.mjs';
+import { toPropertyName } from '../../domain/ir/property-name.mjs';
+import { UNKNOWN_TYPE } from './shared-types.mjs';
+
+function objectLiteralType(value) {
+  const members = Object.entries(value).map(
+    ([key, entry]) => irProperty(toPropertyName(key), literalType(entry))
+  );
+  return members.length > 0 ? irObject(members) : irRecord(irKeyword("string"), irKeyword("never"));
+}
+function arrayLiteralType(value) {
+  return value.length === 0 ? irArray(irKeyword("never")) : irTuple(value.map((item) => irTupleElement(literalType(item))));
+}
+function literalType(value) {
+  if (typeof value === "string") {
+    return irString(value, "json");
+  }
+  if (typeof value === "number") {
+    return Number.isFinite(value) ? irNumber(value) : irRaw(String(value));
+  }
+  if (typeof value === "boolean") {
+    return irBoolean(value);
+  }
+  if (value === null) {
+    return irKeyword("null");
+  }
+  if (Array.isArray(value)) {
+    return arrayLiteralType(value);
+  }
+  return typeof value === "object" ? objectLiteralType(value) : UNKNOWN_TYPE;
+}
+
+export { literalType };
+//# sourceMappingURL=literal-type.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literal-type.mjs","sources":["../../../src/application/transform/literal-type.ts"],"sourcesContent":["import {\n  irArray,\n  irBoolean,\n  irKeyword,\n  irNumber,\n  irObject,\n  irProperty,\n  irRaw,\n  irRecord,\n  irString,\n  irTuple,\n  irTupleElement,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../domain/ir/property-name.js\";\nimport { UNKNOWN_TYPE } from \"./shared-types.js\";\n\nfunction objectLiteralType(value: object): IrType {\n  const members = Object.entries(value).map(([key, entry]) =>\n    irProperty(toPropertyName(key), literalType(entry)),\n  );\n  return members.length > 0 ? irObject(members) : irRecord(irKeyword(\"string\"), irKeyword(\"never\"));\n}\n\nfunction arrayLiteralType(value: readonly unknown[]): IrType {\n  return value.length === 0\n    ? irArray(irKeyword(\"never\"))\n    : irTuple(value.map((item) => irTupleElement(literalType(item))));\n}\n\n/**\n * The literal type of a JSON value (the original `tsLiteral`): strings as JSON text, arrays as\n * tuples (an empty one as `never[]`), objects as object types (an empty one as\n * `Record<string, never>`), and anything else (`undefined`, functions) as `unknown`.\n */\nexport function literalType(value: unknown): IrType {\n  if (typeof value === \"string\") {\n    return irString(value, \"json\");\n  }\n  if (typeof value === \"number\") {\n    // YAML `.nan` and `.inf` have no literal type; the original prints them as `NaN`, `-Infinity`.\n    return Number.isFinite(value) ? irNumber(value) : irRaw(String(value));\n  }\n  if (typeof value === \"boolean\") {\n    return irBoolean(value);\n  }\n  if (value === null) {\n    return irKeyword(\"null\");\n  }\n  if (Array.isArray(value)) {\n    return arrayLiteralType(value);\n  }\n  return typeof value === \"object\" ? objectLiteralType(value) : UNKNOWN_TYPE;\n}\n"],"names":[],"mappings":";;;;AAiBA,SAAS,kBAAkB,KAAA,EAAuB;AAChD,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,GAAA;AAAA,IAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KACpD,UAAA,CAAW,cAAA,CAAe,GAAG,CAAA,EAAG,WAAA,CAAY,KAAK,CAAC;AAAA,GACpD;AACA,EAAA,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAAI,QAAA,CAAS,OAAO,CAAA,GAAI,QAAA,CAAS,SAAA,CAAU,QAAQ,CAAA,EAAG,SAAA,CAAU,OAAO,CAAC,CAAA;AAClG;AAEA,SAAS,iBAAiB,KAAA,EAAmC;AAC3D,EAAA,OAAO,MAAM,MAAA,KAAW,CAAA,GACpB,QAAQ,SAAA,CAAU,OAAO,CAAC,CAAA,GAC1B,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,cAAA,CAAe,YAAY,IAAI,CAAC,CAAC,CAAC,CAAA;AACpE;AAOO,SAAS,YAAY,KAAA,EAAwB;AAClD,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,QAAA,CAAS,OAAO,MAAM,CAAA;AAAA,EAC/B;AACA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAE7B,IAAA,OAAO,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,GAAI,QAAA,CAAS,KAAK,CAAA,GAAI,KAAA,CAAM,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,IAAA,OAAO,UAAU,KAAK,CAAA;AAAA,EACxB;AACA,EAAA,IAAI,UAAU,IAAA,EAAM;AAClB,IAAA,OAAO,UAAU,MAAM,CAAA;AAAA,EACzB;AACA,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,IAAA,OAAO,iBAAiB,KAAK,CAAA;AAAA,EAC/B;AACA,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,GAAW,iBAAA,CAAkB,KAAK,CAAA,GAAI,YAAA;AAChE;;"}

package/dist/application/transform/numbered-names.cjs

@@ -0,0 +1,18 @@
+'use strict';
+
+function withNumberedRepeats(names, numbered) {
+  const written = new Set(names);
+  const taken = /* @__PURE__ */ new Set();
+  return names.map((name) => {
+    let unique = name;
+    for (let count = 2; taken.has(unique); count += 1) {
+      const candidate = numbered(name, count);
+      unique = written.has(candidate) ? unique : candidate;
+    }
+    taken.add(unique);
+    return unique;
+  });
+}
+
+exports.withNumberedRepeats = withNumberedRepeats;
+//# sourceMappingURL=numbered-names.cjs.map

package/dist/application/transform/numbered-names.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"numbered-names.cjs","sources":["../../../src/application/transform/numbered-names.ts"],"sourcesContent":["/** Builds the name for the `count`-th use of `name` (2, 3…). */\nexport type NumberedName = (name: string, count: number) => string;\n\n/**\n * Names made unique, in order: the first use of a name keeps it, each repeat gets the lowest\n * number from 2 whose name is not written anywhere in the list.\n */\nexport function withNumberedRepeats(names: readonly string[], numbered: NumberedName): string[] {\n  const written = new Set(names);\n  const taken = new Set<string>();\n  return names.map((name) => {\n    let unique = name;\n    for (let count = 2; taken.has(unique); count += 1) {\n      const candidate = numbered(name, count);\n      unique = written.has(candidate) ? unique : candidate;\n    }\n    taken.add(unique);\n    return unique;\n  });\n}\n"],"names":[],"mappings":";;AAOO,SAAS,mBAAA,CAAoB,OAA0B,QAAA,EAAkC;AAC9F,EAAA,MAAM,OAAA,GAAU,IAAI,GAAA,CAAI,KAAK,CAAA;AAC7B,EAAA,MAAM,KAAA,uBAAY,GAAA,EAAY;AAC9B,EAAA,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACzB,IAAA,IAAI,MAAA,GAAS,IAAA;AACb,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,CAAM,IAAI,MAAM,CAAA,EAAG,SAAS,CAAA,EAAG;AACjD,MAAA,MAAM,SAAA,GAAY,QAAA,CAAS,IAAA,EAAM,KAAK,CAAA;AACtC,MAAA,MAAA,GAAS,OAAA,CAAQ,GAAA,CAAI,SAAS,CAAA,GAAI,MAAA,GAAS,SAAA;AAAA,IAC7C;AACA,IAAA,KAAA,CAAM,IAAI,MAAM,CAAA;AAChB,IAAA,OAAO,MAAA;AAAA,EACT,CAAC,CAAA;AACH;;"}

package/dist/application/transform/numbered-names.mjs

@@ -0,0 +1,16 @@
+function withNumberedRepeats(names, numbered) {
+  const written = new Set(names);
+  const taken = /* @__PURE__ */ new Set();
+  return names.map((name) => {
+    let unique = name;
+    for (let count = 2; taken.has(unique); count += 1) {
+      const candidate = numbered(name, count);
+      unique = written.has(candidate) ? unique : candidate;
+    }
+    taken.add(unique);
+    return unique;
+  });
+}
+
+export { withNumberedRepeats };
+//# sourceMappingURL=numbered-names.mjs.map

package/dist/application/transform/numbered-names.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"numbered-names.mjs","sources":["../../../src/application/transform/numbered-names.ts"],"sourcesContent":["/** Builds the name for the `count`-th use of `name` (2, 3…). */\nexport type NumberedName = (name: string, count: number) => string;\n\n/**\n * Names made unique, in order: the first use of a name keeps it, each repeat gets the lowest\n * number from 2 whose name is not written anywhere in the list.\n */\nexport function withNumberedRepeats(names: readonly string[], numbered: NumberedName): string[] {\n  const written = new Set(names);\n  const taken = new Set<string>();\n  return names.map((name) => {\n    let unique = name;\n    for (let count = 2; taken.has(unique); count += 1) {\n      const candidate = numbered(name, count);\n      unique = written.has(candidate) ? unique : candidate;\n    }\n    taken.add(unique);\n    return unique;\n  });\n}\n"],"names":[],"mappings":"AAOO,SAAS,mBAAA,CAAoB,OAA0B,QAAA,EAAkC;AAC9F,EAAA,MAAM,OAAA,GAAU,IAAI,GAAA,CAAI,KAAK,CAAA;AAC7B,EAAA,MAAM,KAAA,uBAAY,GAAA,EAAY;AAC9B,EAAA,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACzB,IAAA,IAAI,MAAA,GAAS,IAAA;AACb,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,CAAM,IAAI,MAAM,CAAA,EAAG,SAAS,CAAA,EAAG;AACjD,MAAA,MAAM,SAAA,GAAY,QAAA,CAAS,IAAA,EAAM,KAAK,CAAA;AACtC,MAAA,MAAA,GAAS,OAAA,CAAQ,GAAA,CAAI,SAAS,CAAA,GAAI,MAAA,GAAS,SAAA;AAAA,IAC7C;AACA,IAAA,KAAA,CAAM,IAAI,MAAM,CAAA;AAChB,IAAA,OAAO,MAAA;AAAA,EACT,CAAC,CAAA;AACH;;"}

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

@@ -0,0 +1,138 @@
+'use strict';
+
+const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const generatedShape = require('./generated-shape.cjs');
+const pointerWalk = require('./pointer-walk.cjs');
+
+const PARENT_LOCATION_PAIRS = /* @__PURE__ */ new Set([
+  "allOf",
+  "prefixItems",
+  "patternProperties"
+]);
+const RECORD_VALUE_KEYWORDS = /* @__PURE__ */ new Set([
+  "additionalProperties",
+  "unevaluatedProperties"
+]);
+const KEPT_PAIRS = /* @__PURE__ */ new Set(["anyOf", "oneOf", "$defs"]);
+const PARENT_LOCATION_KEYWORDS = /* @__PURE__ */ new Set(["items", ...RECORD_VALUE_KEYWORDS]);
+const INDEX_RE = /^\d+$/;
+function childOf(node, segment) {
+  return (generatedShape.isJsonObject(node) || Array.isArray(node)) && segment !== void 0 ? node[segment] : void 0;
+}
+function pairStep(value, next, path) {
+  return { path, child: childOf(value, next), length: 2, isSchema: true };
+}
+function schemaStep(node, segment, next) {
+  const value = childOf(node, segment);
+  const named = next === void 0 ? [] : [next];
+  if (segment === "properties") {
+    return pairStep(value, next, named);
+  }
+  if (PARENT_LOCATION_PAIRS.has(segment) || segment === "items" && Array.isArray(value)) {
+    return pairStep(value, next, []);
+  }
+  if (KEPT_PAIRS.has(segment)) {
+    return pairStep(value, next, [segment, ...named]);
+  }
+  if (!PARENT_LOCATION_KEYWORDS.has(segment)) {
+    return null;
+  }
+  const isRecordValue = RECORD_VALUE_KEYWORDS.has(segment);
+  return {
+    path: [],
+    child: value,
+    length: 1,
+    isSchema: true,
+    isFromAdditionalProperties: isRecordValue
+  };
+}
+function isPathItem(path) {
+  const [root, section] = path;
+  return path.length === 2 && (root === "paths" || root === "webhooks") || path.length === 3 && root === "components" && section === "pathItems";
+}
+function parameterStep(walk, next) {
+  const entry = childOf(childOf(walk.node, "parameters"), next);
+  const where = generatedShape.isJsonObject(entry) ? [String(entry.in), String(entry.name)] : [];
+  const prefix = isPathItem(walk.path) ? ["parameters"] : [];
+  return { path: [...prefix, "parameters", ...where], child: entry, length: 2, isSchema: false };
+}
+function documentStep(walk, segments, index) {
+  const segment = segments[index];
+  const next = segments[index + 1];
+  const value = childOf(walk.node, segment);
+  if (segment === "schema") {
+    return { path: [], child: value, length: 1, isSchema: true };
+  }
+  if (segment === "parameters" && next !== void 0 && INDEX_RE.test(next)) {
+    return parameterStep(walk, next);
+  }
+  if (segment === "content" && segments[index - 2] === "headers") {
+    const path = next === void 0 ? [] : [next];
+    return { path, child: childOf(value, next), length: 2, isSchema: false };
+  }
+  return { path: [segment], child: value, length: 1, isSchema: false };
+}
+function stepAt(walk, pointer, index) {
+  const { segments } = pointer;
+  const segment = segments[index];
+  if (index < pointerWalk.leadingSegmentsOf(pointer)) {
+    const child = childOf(walk.node, segment);
+    return { path: [segment], child, length: 1, isSchema: pointerWalk.startsInSchema(pointer) };
+  }
+  return walk.isSchema ? schemaStep(walk.node, segment, segments[index + 1]) : documentStep(walk, segments, index);
+}
+function refOf(node) {
+  return generatedShape.isJsonObject(node) && typeof node.$ref === "string" ? node.$ref : null;
+}
+function crossed(walk, ref, refs, seen) {
+  if (seen.includes(ref)) {
+    return { ...walk, node: void 0 };
+  }
+  const target = walkTo(ref, refs, seen);
+  const inner = refOf(target?.node);
+  return target === null || inner === null ? target : crossed(target, inner, refs, [...seen, ref]);
+}
+function walkTo(ref, refs, seen) {
+  const pointer = pointerWalk.refPointerOf(ref);
+  if (pointer === null || seen.includes(ref)) {
+    return null;
+  }
+  const root = pointer.rootSegment;
+  let walk = {
+    path: [root],
+    node: refs.resolve(`#/${root}`),
+    isSchema: false,
+    isFromAdditionalProperties: false
+  };
+  for (let index = 0; index < pointer.segments.length; ) {
+    const step = stepAt(walk, pointer, index);
+    if (step === null) {
+      return null;
+    }
+    index += step.length;
+    walk = {
+      path: [...walk.path, ...step.path],
+      node: step.child,
+      isSchema: step.isSchema,
+      isFromAdditionalProperties: step.isFromAdditionalProperties === true
+    };
+    const inner = refOf(walk.node);
+    const target = inner !== null && index < pointer.segments.length;
+    const next = target ? crossed(walk, inner, refs, [...seen, ref]) : walk;
+    if (next === null) {
+      return null;
+    }
+    walk = next;
+  }
+  return walk;
+}
+function generatedLocationOf(ref, refs) {
+  const walk = walkTo(ref, refs, []);
+  return {
+    path: walk === null ? ref : jsonPointer.createRef(walk.path),
+    isFromAdditionalProperties: walk?.isFromAdditionalProperties ?? false
+  };
+}
+
+exports.generatedLocationOf = generatedLocationOf;
+//# sourceMappingURL=generated-location.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generated-location.cjs","sources":["../../../../src/application/transform/ref-pointer/generated-location.ts"],"sourcesContent":["import { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport type { RefResolver } from \"../schema/schema-context.js\";\nimport { isJsonObject } from \"./generated-shape.js\";\nimport {\n  leadingSegmentsOf,\n  type RefPointer,\n  refPointerOf,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * Where the generator types the node a `$ref` points at: the location path it passes down, which\n * also names the node's `--enum` declaration and `--enum-values` array. A target written inline\n * (ADR-026) is typed there, so it shares the generator's enum instead of declaring a second one\n * named after the pointer: two TypeScript enums with the same members are not assignable.\n *\n * The path follows the generator: `properties` is skipped; `allOf/N`, `items`, `prefixItems/N`,\n * `patternProperties/P` and `additionalProperties` type their schema at the parent's location;\n * the `schema` of a parameter, header or media type is typed at the container's; a positional\n * parameter is named by `in` and `name`. A `$ref` crossed on the way continues at its target's\n * location. A node under a schema keyword the generator does not type (`definitions/A`, `not`) is\n * typed nowhere else, so it keeps its pointer as its location.\n */\n\nexport interface GeneratedLocation {\n  readonly path: string;\n  /** The node is an `additionalProperties` value, as `transformNested` is told. */\n  readonly isFromAdditionalProperties: boolean;\n}\n\ninterface LocationWalk {\n  readonly path: readonly string[];\n  readonly node: unknown;\n  readonly isSchema: boolean;\n  readonly isFromAdditionalProperties: boolean;\n}\n\n/** One step: the segments it adds to the path, the node it moves to, the segments it reads. */\ninterface Step {\n  readonly path: readonly string[];\n  readonly child: unknown;\n  readonly length: 1 | 2;\n  readonly isSchema: boolean;\n  readonly isFromAdditionalProperties?: boolean;\n}\n\n/** Keywords followed by a name or position whose schema is typed at the parent's location. */\nconst PARENT_LOCATION_PAIRS: ReadonlySet<string> = new Set([\n  \"allOf\",\n  \"prefixItems\",\n  \"patternProperties\",\n]);\n/** Keywords whose schema is typed at the parent's location as a record value. */\nconst RECORD_VALUE_KEYWORDS: ReadonlySet<string> = new Set([\n  \"additionalProperties\",\n  \"unevaluatedProperties\",\n]);\n/** Keywords followed by a name or position that both stay in the location. */\nconst KEPT_PAIRS: ReadonlySet<string> = new Set([\"anyOf\", \"oneOf\", \"$defs\"]);\n/** The other schema keywords the generator types: at the parent's location. */\nconst PARENT_LOCATION_KEYWORDS: ReadonlySet<string> = new Set([\"items\", ...RECORD_VALUE_KEYWORDS]);\nconst INDEX_RE = /^\\d+$/;\n\nfunction childOf(node: unknown, segment: string | undefined): unknown {\n  return (isJsonObject(node) || Array.isArray(node)) && segment !== undefined\n    ? (node as Readonly<Record<string, unknown>>)[segment]\n    : undefined;\n}\n\nfunction pairStep(value: unknown, next: string | undefined, path: readonly string[]): Step {\n  return { path, child: childOf(value, next), length: 2, isSchema: true };\n}\n\n/** The step through a schema keyword; null for a keyword the generator does not type. */\nfunction schemaStep(node: unknown, segment: string, next: string | undefined): Step | null {\n  const value = childOf(node, segment);\n  const named = next === undefined ? [] : [next];\n  if (segment === \"properties\") {\n    return pairStep(value, next, named);\n  }\n  if (PARENT_LOCATION_PAIRS.has(segment) || (segment === \"items\" && Array.isArray(value))) {\n    return pairStep(value, next, []);\n  }\n  if (KEPT_PAIRS.has(segment)) {\n    return pairStep(value, next, [segment, ...named]);\n  }\n  if (!PARENT_LOCATION_KEYWORDS.has(segment)) {\n    return null;\n  }\n  const isRecordValue = RECORD_VALUE_KEYWORDS.has(segment);\n  return {\n    path: [],\n    child: value,\n    length: 1,\n    isSchema: true,\n    isFromAdditionalProperties: isRecordValue,\n  };\n}\n\n/** A path item's own parameters sit under one more `parameters` segment (`pathItemType`). */\nfunction isPathItem(path: readonly string[]): boolean {\n  const [root, section] = path;\n  return (\n    (path.length === 2 && (root === \"paths\" || root === \"webhooks\")) ||\n    (path.length === 3 && root === \"components\" && section === \"pathItems\")\n  );\n}\n\n/** `parameters/N`: the parameter is named by `in` and `name` (a `$ref` one is crossed later). */\nfunction parameterStep(walk: LocationWalk, next: string): Step {\n  const entry = childOf(childOf(walk.node, \"parameters\"), next);\n  const where = isJsonObject(entry) ? [String(entry.in), String(entry.name)] : [];\n  const prefix = isPathItem(walk.path) ? [\"parameters\"] : [];\n  return { path: [...prefix, \"parameters\", ...where], child: entry, length: 2, isSchema: false };\n}\n\nfunction documentStep(walk: LocationWalk, segments: readonly string[], index: number): Step {\n  const segment = segments[index] as string;\n  const next = segments[index + 1];\n  const value = childOf(walk.node, segment);\n  if (segment === \"schema\") {\n    return { path: [], child: value, length: 1, isSchema: true };\n  }\n  if (segment === \"parameters\" && next !== undefined && INDEX_RE.test(next)) {\n    return parameterStep(walk, next);\n  }\n  // A header's `content` entries are typed at `headers/<name>/<media type>` (`headerType`).\n  if (segment === \"content\" && segments[index - 2] === \"headers\") {\n    const path = next === undefined ? [] : [next];\n    return { path, child: childOf(value, next), length: 2, isSchema: false };\n  }\n  return { path: [segment], child: value, length: 1, isSchema: false };\n}\n\nfunction stepAt(walk: LocationWalk, pointer: RefPointer, index: number): Step | null {\n  const { segments } = pointer;\n  const segment = segments[index] as string;\n  if (index < leadingSegmentsOf(pointer)) {\n    const child = childOf(walk.node, segment);\n    return { path: [segment], child, length: 1, isSchema: startsInSchema(pointer) };\n  }\n  return walk.isSchema\n    ? schemaStep(walk.node, segment, segments[index + 1])\n    : documentStep(walk, segments, index);\n}\n\nfunction refOf(node: unknown): string | null {\n  return isJsonObject(node) && typeof node.$ref === \"string\" ? node.$ref : null;\n}\n\n/**\n * The walk at a crossed `$ref`'s target, through `$ref`s to `$ref`s; null where the target has\n * no generated location. A cycle of `$ref`s has no node.\n */\nfunction crossed(\n  walk: LocationWalk,\n  ref: string,\n  refs: RefResolver,\n  seen: readonly string[],\n): LocationWalk | null {\n  if (seen.includes(ref)) {\n    return { ...walk, node: undefined };\n  }\n  const target = walkTo(ref, refs, seen);\n  const inner = refOf(target?.node);\n  return target === null || inner === null ? target : crossed(target, inner, refs, [...seen, ref]);\n}\n\nfunction walkTo(ref: string, refs: RefResolver, seen: readonly string[]): LocationWalk | null {\n  const pointer = refPointerOf(ref);\n  if (pointer === null || seen.includes(ref)) {\n    return null;\n  }\n  const root = pointer.rootSegment;\n  let walk: LocationWalk = {\n    path: [root],\n    node: refs.resolve(`#/${root}`),\n    isSchema: false,\n    isFromAdditionalProperties: false,\n  };\n  for (let index = 0; index < pointer.segments.length; ) {\n    const step = stepAt(walk, pointer, index);\n    if (step === null) {\n      return null;\n    }\n    index += step.length;\n    walk = {\n      path: [...walk.path, ...step.path],\n      node: step.child,\n      isSchema: step.isSchema,\n      isFromAdditionalProperties: step.isFromAdditionalProperties === true,\n    };\n    const inner = refOf(walk.node);\n    const target = inner !== null && index < pointer.segments.length;\n    const next = target ? crossed(walk, inner, refs, [...seen, ref]) : walk;\n    if (next === null) {\n      return null;\n    }\n    walk = next;\n  }\n  return walk;\n}\n\n/** The location the generator types the node at `ref` with; see the module comment. */\nexport function generatedLocationOf(ref: string, refs: RefResolver): GeneratedLocation {\n  const walk = walkTo(ref, refs, []);\n  return {\n    path: walk === null ? ref : createRef(walk.path),\n    isFromAdditionalProperties: walk?.isFromAdditionalProperties ?? false,\n  };\n}\n"],"names":["isJsonObject","leadingSegmentsOf","startsInSchema","refPointerOf","createRef"],"mappings":";;;;;;AA+CA,MAAM,qBAAA,uBAAiD,GAAA,CAAI;AAAA,EACzD,OAAA;AAAA,EACA,aAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,qBAAA,uBAAiD,GAAA,CAAI;AAAA,EACzD,sBAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,6BAAkC,IAAI,GAAA,CAAI,CAAC,OAAA,EAAS,OAAA,EAAS,OAAO,CAAC,CAAA;AAE3E,MAAM,2CAAgD,IAAI,GAAA,CAAI,CAAC,OAAA,EAAS,GAAG,qBAAqB,CAAC,CAAA;AACjG,MAAM,QAAA,GAAW,OAAA;AAEjB,SAAS,OAAA,CAAQ,MAAe,OAAA,EAAsC;AACpE,EAAA,OAAA,CAAQA,2BAAA,CAAa,IAAI,CAAA,IAAK,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,KAAM,OAAA,KAAY,MAAA,GAC7D,IAAA,CAA2C,OAAO,CAAA,GACnD,MAAA;AACN;AAEA,SAAS,QAAA,CAAS,KAAA,EAAgB,IAAA,EAA0B,IAAA,EAA+B;AACzF,EAAA,OAAO,EAAE,IAAA,EAAM,KAAA,EAAO,OAAA,CAAQ,KAAA,EAAO,IAAI,CAAA,EAAG,MAAA,EAAQ,CAAA,EAAG,QAAA,EAAU,IAAA,EAAK;AACxE;AAGA,SAAS,UAAA,CAAW,IAAA,EAAe,OAAA,EAAiB,IAAA,EAAuC;AACzF,EAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACnC,EAAA,MAAM,QAAQ,IAAA,KAAS,MAAA,GAAY,EAAC,GAAI,CAAC,IAAI,CAAA;AAC7C,EAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,IAAA,OAAO,QAAA,CAAS,KAAA,EAAO,IAAA,EAAM,KAAK,CAAA;AAAA,EACpC;AACA,EAAA,IAAI,qBAAA,CAAsB,IAAI,OAAO,CAAA,IAAM,YAAY,OAAA,IAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAI;AACvF,IAAA,OAAO,QAAA,CAAS,KAAA,EAAO,IAAA,EAAM,EAAE,CAAA;AAAA,EACjC;AACA,EAAA,IAAI,UAAA,CAAW,GAAA,CAAI,OAAO,CAAA,EAAG;AAC3B,IAAA,OAAO,SAAS,KAAA,EAAO,IAAA,EAAM,CAAC,OAAA,EAAS,GAAG,KAAK,CAAC,CAAA;AAAA,EAClD;AACA,EAAA,IAAI,CAAC,wBAAA,CAAyB,GAAA,CAAI,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,aAAA,GAAgB,qBAAA,CAAsB,GAAA,CAAI,OAAO,CAAA;AACvD,EAAA,OAAO;AAAA,IACL,MAAM,EAAC;AAAA,IACP,KAAA,EAAO,KAAA;AAAA,IACP,MAAA,EAAQ,CAAA;AAAA,IACR,QAAA,EAAU,IAAA;AAAA,IACV,0BAAA,EAA4B;AAAA,GAC9B;AACF;AAGA,SAAS,WAAW,IAAA,EAAkC;AACpD,EAAA,MAAM,CAAC,IAAA,EAAM,OAAO,CAAA,GAAI,IAAA;AACxB,EAAA,OACG,IAAA,CAAK,MAAA,KAAW,CAAA,KAAM,IAAA,KAAS,OAAA,IAAW,IAAA,KAAS,UAAA,CAAA,IACnD,IAAA,CAAK,MAAA,KAAW,CAAA,IAAK,IAAA,KAAS,YAAA,IAAgB,OAAA,KAAY,WAAA;AAE/D;AAGA,SAAS,aAAA,CAAc,MAAoB,IAAA,EAAoB;AAC7D,EAAA,MAAM,QAAQ,OAAA,CAAQ,OAAA,CAAQ,KAAK,IAAA,EAAM,YAAY,GAAG,IAAI,CAAA;AAC5D,EAAA,MAAM,KAAA,GAAQA,2BAAA,CAAa,KAAK,CAAA,GAAI,CAAC,MAAA,CAAO,KAAA,CAAM,EAAE,CAAA,EAAG,MAAA,CAAO,KAAA,CAAM,IAAI,CAAC,IAAI,EAAC;AAC9E,EAAA,MAAM,MAAA,GAAS,WAAW,IAAA,CAAK,IAAI,IAAI,CAAC,YAAY,IAAI,EAAC;AACzD,EAAA,OAAO,EAAE,IAAA,EAAM,CAAC,GAAG,QAAQ,YAAA,EAAc,GAAG,KAAK,CAAA,EAAG,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,CAAA,EAAG,UAAU,KAAA,EAAM;AAC/F;AAEA,SAAS,YAAA,CAAa,IAAA,EAAoB,QAAA,EAA6B,KAAA,EAAqB;AAC1F,EAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAA;AAC/B,EAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,IAAA,CAAK,IAAA,EAAM,OAAO,CAAA;AACxC,EAAA,IAAI,YAAY,QAAA,EAAU;AACxB,IAAA,OAAO,EAAE,MAAM,EAAC,EAAG,OAAO,KAAA,EAAO,MAAA,EAAQ,CAAA,EAAG,QAAA,EAAU,IAAA,EAAK;AAAA,EAC7D;AACA,EAAA,IAAI,YAAY,YAAA,IAAgB,IAAA,KAAS,UAAa,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA,EAAG;AACzE,IAAA,OAAO,aAAA,CAAc,MAAM,IAAI,CAAA;AAAA,EACjC;AAEA,EAAA,IAAI,YAAY,SAAA,IAAa,QAAA,CAAS,KAAA,GAAQ,CAAC,MAAM,SAAA,EAAW;AAC9D,IAAA,MAAM,OAAO,IAAA,KAAS,MAAA,GAAY,EAAC,GAAI,CAAC,IAAI,CAAA;AAC5C,IAAA,OAAO,EAAE,IAAA,EAAM,KAAA,EAAO,OAAA,CAAQ,KAAA,EAAO,IAAI,CAAA,EAAG,MAAA,EAAQ,CAAA,EAAG,QAAA,EAAU,KAAA,EAAM;AAAA,EACzE;AACA,EAAA,OAAO,EAAE,IAAA,EAAM,CAAC,OAAO,CAAA,EAAG,OAAO,KAAA,EAAO,MAAA,EAAQ,CAAA,EAAG,QAAA,EAAU,KAAA,EAAM;AACrE;AAEA,SAAS,MAAA,CAAO,IAAA,EAAoB,OAAA,EAAqB,KAAA,EAA4B;AACnF,EAAA,MAAM,EAAE,UAAS,GAAI,OAAA;AACrB,EAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,EAAA,IAAI,KAAA,GAAQC,6BAAA,CAAkB,OAAO,CAAA,EAAG;AACtC,IAAA,MAAM,KAAA,GAAQ,OAAA,CAAQ,IAAA,CAAK,IAAA,EAAM,OAAO,CAAA;AACxC,IAAA,OAAO,EAAE,IAAA,EAAM,CAAC,OAAO,CAAA,EAAG,KAAA,EAAO,MAAA,EAAQ,CAAA,EAAG,QAAA,EAAUC,0BAAA,CAAe,OAAO,CAAA,EAAE;AAAA,EAChF;AACA,EAAA,OAAO,IAAA,CAAK,QAAA,GACR,UAAA,CAAW,IAAA,CAAK,MAAM,OAAA,EAAS,QAAA,CAAS,KAAA,GAAQ,CAAC,CAAC,CAAA,GAClD,YAAA,CAAa,IAAA,EAAM,UAAU,KAAK,CAAA;AACxC;AAEA,SAAS,MAAM,IAAA,EAA8B;AAC3C,EAAA,OAAOF,2BAAA,CAAa,IAAI,CAAA,IAAK,OAAO,KAAK,IAAA,KAAS,QAAA,GAAW,KAAK,IAAA,GAAO,IAAA;AAC3E;AAMA,SAAS,OAAA,CACP,IAAA,EACA,GAAA,EACA,IAAA,EACA,IAAA,EACqB;AACrB,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,GAAG,CAAA,EAAG;AACtB,IAAA,OAAO,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,MAAA,EAAU;AAAA,EACpC;AACA,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,GAAA,EAAK,IAAA,EAAM,IAAI,CAAA;AACrC,EAAA,MAAM,KAAA,GAAQ,KAAA,CAAM,MAAA,EAAQ,IAAI,CAAA;AAChC,EAAA,OAAO,MAAA,KAAW,IAAA,IAAQ,KAAA,KAAU,IAAA,GAAO,MAAA,GAAS,OAAA,CAAQ,MAAA,EAAQ,KAAA,EAAO,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AACjG;AAEA,SAAS,MAAA,CAAO,GAAA,EAAa,IAAA,EAAmB,IAAA,EAA8C;AAC5F,EAAA,MAAM,OAAA,GAAUG,yBAAa,GAAG,CAAA;AAChC,EAAA,IAAI,OAAA,KAAY,IAAA,IAAQ,IAAA,CAAK,QAAA,CAAS,GAAG,CAAA,EAAG;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAO,OAAA,CAAQ,WAAA;AACrB,EAAA,IAAI,IAAA,GAAqB;AAAA,IACvB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,IAAA,EAAM,IAAA,CAAK,OAAA,CAAQ,CAAA,EAAA,EAAK,IAAI,CAAA,CAAE,CAAA;AAAA,IAC9B,QAAA,EAAU,KAAA;AAAA,IACV,0BAAA,EAA4B;AAAA,GAC9B;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,CAAA,EAAG,KAAA,GAAQ,OAAA,CAAQ,SAAS,MAAA,IAAU;AACrD,IAAA,MAAM,IAAA,GAAO,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,KAAK,CAAA;AACxC,IAAA,IAAI,SAAS,IAAA,EAAM;AACjB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,KAAA,IAAS,IAAA,CAAK,MAAA;AACd,IAAA,IAAA,GAAO;AAAA,MACL,MAAM,CAAC,GAAG,KAAK,IAAA,EAAM,GAAG,KAAK,IAAI,CAAA;AAAA,MACjC,MAAM,IAAA,CAAK,KAAA;AAAA,MACX,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,0BAAA,EAA4B,KAAK,0BAAA,KAA+B;AAAA,KAClE;AACA,IAAA,MAAM,KAAA,GAAQ,KAAA,CAAM,IAAA,CAAK,IAAI,CAAA;AAC7B,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,IAAA,IAAQ,KAAA,GAAQ,QAAQ,QAAA,CAAS,MAAA;AAC1D,IAAA,MAAM,IAAA,GAAO,MAAA,GAAS,OAAA,CAAQ,IAAA,EAAM,KAAA,EAAO,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA,GAAI,IAAA;AACnE,IAAA,IAAI,SAAS,IAAA,EAAM;AACjB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAA,GAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAGO,SAAS,mBAAA,CAAoB,KAAa,IAAA,EAAsC;AACrF,EAAA,MAAM,IAAA,GAAO,MAAA,CAAO,GAAA,EAAK,IAAA,EAAM,EAAE,CAAA;AACjC,EAAA,OAAO;AAAA,IACL,MAAM,IAAA,KAAS,IAAA,GAAO,GAAA,GAAMC,qBAAA,CAAU,KAAK,IAAI,CAAA;AAAA,IAC/C,0BAAA,EAA4B,MAAM,0BAAA,IAA8B;AAAA,GAClE;AACF;;"}