AI & Agent Dev Bug Sandbox Back to Radar

Langchain-Typesafe: Recursive `State` Alias Leaves Input Schema Unresolvable

The `TypeSafeClassifier` input schema generation fails with `PydanticUserError` because the private recursive `_StateValue` type alias is not resolvable in the dynamically created `TypeSafeClassifierInput` model namespace. This breaks `get_input_jsonschema()`, `as_tool()`, schemaful graph serialization, and Runnable composition schema introspection.

highConfidence 92%Langchain-Typesafe Affected V0.0.1a3

Origin Analysis

`ClassifierRequest` references `State`, which recursively references the private `_StateValue` alias. `_StateValue` is defined in `langchain_typesafe.types`, but LangChain creates `TypeSafeClassifierInput` using the `langchain_typesafe.classifier` module namespace. The private alias is absent there, and because it is an implicit recursive `TypeAlias` without a named schema boundary, Pydantic cannot resolve the forward reference and falls into recursive expansion, causing either `PydanticUserError` or `RecursionError`.

Instantiate `TypeSafeClassifier(api_key="not-used")`, then call `classifier.get_input_jsonschema()`, `classifier.get_input_schema().model_validate(request)`, `classifier.as_tool()`, `classifier.get_graph().to_json(with_schemas=True)`, `RunnableParallel(classify=classifier).get_input_schema()`, or `RunnableBranch((lambda _: True, classifier), classifier).get_input_schema()`. All fail with `PydanticUserError: 'TypeSafeClassifierInput' is not fully defined; you should define '_StateValue', then call 'TypeSafeClassifierInput.model_rebuild()'`.

Fixing Code Block

0x7F 45 4C 46 02 01 01 000x90 12 AB 04 C1 7E 33 08
0xA4 1C 90 3E 77 0B D2 580x11 F6 6A 2C 80 19 DE 44
0x00 00 00 00 03 00 3E 000x01 00 B7 4D 55 90 0C 61
0x6C 69 62 63 2E 73 6F 2E0x36 00 8E 17 42 AA 05 F3
0xDE C0 DE 01 8B 45 FC 890xC7 5D 20 6F 91 03 E4 78
0x13 37 00 4F 9A 2D E1 700x08 B4 5C 22 71 D0 4A 16
0x48 8D 3D 22 01 00 00 E80x91 FF 0A 63 2E 57 B8 04
0x5A 91 C3 0E 44 70 1B 880x02 6F 39 C4 15 80 ED 27
0xFF 15 40 20 60 00 48 890xC3 90 7A 01 4C 28 B1 56
0x0F 1F 44 00 00 55 48 890xE5 C3 18 6D 92 0B 33 A7

Edge Case Audit

The fix requires `typing_extensions>=4.12` (already present in the stated environment) and is compatible with Python 3.10+. It uses a string-based alias RHS, so static type checkers may need re-evaluation. No runtime behavior changes are expected for invoke/ainvoke/batch paths, but schema consumers that relied on the previously unreachable expanded form could see a new `$defs` structure. Rollback: revert the `TypeAliasType` definition to the original implicit `TypeAlias` if unexpected schema regressions appear. Ensure `BaseMessage` and `Sequence` are imported in the module where this code lives.