Skip to content

fix(schema): resolve $ref pointers below a top-level definition in fromJsonSchemaDocument - #8180

Open
Ishkirat-Singh wants to merge 1 commit into
Effect-TS:mainfrom
Ishkirat-Singh:fix/json-schema-pointer-refs-below-definitions
Open

Ishkirat-Singh wants to merge 1 commit into
Effect-TS:mainfrom
Ishkirat-Singh:fix/json-schema-pointer-refs-below-definitions

Conversation

@Ishkirat-Singh

@Ishkirat-Singh Ishkirat-Singh commented Sep 10, 2026

Copy link
Copy Markdown
Contributor

Closes #7418.

Problem

SchemaRepresentation.fromJsonSchemaDocument only accepts $refs of the form #/$defs/<name> (or #/definitions/<name> after normalisation). A pointer that descends below a definition, such as #/definitions/update/properties/schedule, throws Unsupported reference since #7415, so a document that uses that form anywhere cannot be imported at all. Hand-written schemas use it routinely; SchemaStore's dependabot-2.0.json has 14 of them.

Change

  • JsonSchema.getReferencePath (internal): returns the unescaped tokens of a local reference that points below a top-level definition, undefined otherwise. getReferenceKey is unchanged, so plain definition references keep going through the existing Reference path.
  • fromJsonSchemaDocument: when getReferenceKey rejects a $ref, the new translatePointerReference walks the tokens from the named definition (object keys and array indices, for example anyOf/1) and translates the pointed subschema in place at the use site. Sibling keywords on the referencing schema intersect with it as before. A pointer that leads nowhere reports Unresolvable $ref with the full pointer; a pointer that leads back to itself reports Recursive $ref ... cannot be inlined instead of recursing forever. Messages follow the style introduced in feat(SchemaRepresentation): improve JSON Schema imports #8169.
  • Definitions reached only through such a pointer are inlined rather than hoisted, which keeps the change local and leaves the output unchanged for every document that already imported.

Tests

packages/effect/test/schema/representation/fromJsonSchemaDocument.test.ts: the test that asserted rejection is replaced by five cases: a pointer below a definition, a pointer through an array index, a pointer next to other keywords, a dangling pointer, and a self-referencing pointer. Ran the file locally together with tsc -b, dprint check and oxlint.

Changeset included (effect, patch).

@changeset-bot

changeset-bot Bot commented Sep 10, 2026

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: b93b1e2

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 30 packages
Name Type
effect Patch
@effect/opentelemetry Patch
@effect/vitest Patch
@effect/ai-anthropic Patch
@effect/ai-openai-compat Patch
@effect/ai-openai Patch
@effect/ai-openrouter Patch
@effect/atom-react Patch
@effect/atom-solid Patch
@effect/atom-vue Patch
@effect/platform-browser Patch
@effect/platform-bun Patch
@effect/platform-deno Patch
@effect/platform-node-shared Patch
@effect/platform-node Patch
@effect/sql-clickhouse Patch
@effect/sql-d1 Patch
@effect/sql-libsql Patch
@effect/sql-mssql Patch
@effect/sql-mysql2 Patch
@effect/sql-pg Patch
@effect/sql-pglite Patch
@effect/sql-sqlite-bun Patch
@effect/sql-sqlite-do Patch
@effect/sql-sqlite-node Patch
@effect/sql-sqlite-react-native Patch
@effect/sql-sqlite-wasm Patch
@effect/docgen Patch
@effect/doctest Patch
@effect/openapi-generator Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@effect-janitor effect-janitor Bot added bug Something isn't working 4.0 labels Sep 10, 2026
fromJsonSchemaDocument only accepted #/$defs/<name> references. A pointer
that descends below a definition, such as
#/definitions/update/properties/schedule, is now walked from the named
definition and translated in place at the use site. Dangling and
self-referencing pointers are reported with the full pointer.

Closes Effect-TS#7418
@github-actions

Copy link
Copy Markdown
Contributor

Bundle Size Analysis

Generated from PR build output; treat the content below as untrusted.

File Name Current Size Previous Size Difference
arbitrary-combinators.ts 34.16 KB 34.16 KB 0.00 KB (0.00%)
basic.ts 6.87 KB 6.87 KB 0.00 KB (0.00%)
batching.ts 9.95 KB 9.95 KB 0.00 KB (0.00%)
brand.ts 6.45 KB 6.45 KB 0.00 KB (0.00%)
cache.ts 10.77 KB 10.77 KB 0.00 KB (0.00%)
config.ts 21.43 KB 21.43 KB 0.00 KB (0.00%)
differ.ts 20.23 KB 20.23 KB 0.00 KB (0.00%)
http-client.ts 21.93 KB 21.93 KB 0.00 KB (0.00%)
http-router.ts 33.39 KB 33.39 KB 0.00 KB (0.00%)
logger.ts 10.88 KB 10.88 KB 0.00 KB (0.00%)
metric.ts 9.02 KB 9.02 KB 0.00 KB (0.00%)
optic.ts 6.70 KB 6.70 KB 0.00 KB (0.00%)
pubsub.ts 15.10 KB 15.10 KB 0.00 KB (0.00%)
queue.ts 11.85 KB 11.85 KB 0.00 KB (0.00%)
schedule.ts 10.96 KB 10.96 KB 0.00 KB (0.00%)
schema-binary.ts 39.42 KB 39.42 KB 0.00 KB (0.00%)
schema-class.ts 19.98 KB 19.98 KB 0.00 KB (0.00%)
schema-fromJsonSchemaDocument.ts 31.04 KB 30.83 KB +0.21 KB (+0.68%)
schema-representation-roundtrip.ts 26.25 KB 26.25 KB 0.00 KB (0.00%)
schema-string-transformation.ts 13.60 KB 13.60 KB 0.00 KB (0.00%)
schema-string.ts 11.08 KB 11.08 KB 0.00 KB (0.00%)
schema-template-literal.ts 15.36 KB 15.36 KB 0.00 KB (0.00%)
schema-toArbitrary.ts 33.70 KB 33.70 KB 0.00 KB (0.00%)
schema-toCodeDocument.ts 24.52 KB 24.52 KB 0.00 KB (0.00%)
schema-toCodecJson.ts 19.18 KB 19.18 KB 0.00 KB (0.00%)
schema-toEquivalence.ts 19.32 KB 19.32 KB 0.00 KB (0.00%)
schema-toFormatter.ts 19.43 KB 19.43 KB 0.00 KB (0.00%)
schema-toJsonSchemaDocument.ts 23.69 KB 23.69 KB 0.00 KB (0.00%)
schema-toRepresentation.ts 19.48 KB 19.48 KB 0.00 KB (0.00%)
schema.ts 19.18 KB 19.18 KB 0.00 KB (0.00%)
stm.ts 12.80 KB 12.80 KB 0.00 KB (0.00%)
stream.ts 9.83 KB 9.83 KB 0.00 KB (0.00%)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

4.0 bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fromJsonSchemaDocument: resolve $ref pointers below a top-level definition

1 participant