Surface checks for generated SDKs (design + runnable demo)#11186

Draft

iscai-msft wants to merge 101 commits into

microsoft:mainfrom

iscai-msft:python/spectorClientCriteria

Commits on Apr 21, 2026

feat: add typeddict models-mode for Python HTTP client emitter

iscai-msft
and
Copilot
committed
Enhance Python HTTP client emitter with TypedDict support
iscai-msft
authored
add discriminator
iscai-msft
committed
Merge branch 'python/addTypedDict' of https://github.com/iscai-msft/typespec into python/addTypedDict
iscai-msft
committed
Merge branch 'main' of https://github.com/microsoft/typespec into python/addTypedDict
iscai-msft
committed

Commits on Apr 23, 2026

feat: return JSON for typeddict responses, drop NotRequired

iscai-msft
and
Copilot
committed
feat: add wire name mock API tests for typeddict naming spec

iscai-msft
and
Copilot
committed
fix: remove redundant JSON overload for typeddict mode

iscai-msft
and
Copilot
committed
fix: remove unused _deserialize import in typeddict mode

iscai-msft
and
Copilot
committed
fix: remove all unused imports in typeddict generated code

iscai-msft
and
Copilot
committed

Commits on Apr 24, 2026

Merge branch 'main' into python/addTypedDict
iscai-msft
authored

Commits on Apr 27, 2026

format and lint
iscai-msft
committed
Merge branch 'python/addTypedDict' of https://github.com/iscai-msft/typespec into python/addTypedDict
iscai-msft
committed

Commits on Apr 28, 2026

fix: define JSON type alias in TypedDictModelType imports

iscai-msft
and
Copilot
committed

Commits on May 5, 2026

switch to always generating typeddicts as typing hints
iscai-msft
committed
switch to always generating typeddicts as typing hints
iscai-msft
committed
Merge branch 'python/addTypedDict' of https://github.com/iscai-msft/typespec into python/addTypedDict
iscai-msft
committed

Commits on May 6, 2026

move discriminated union to types.py
iscai-msft
committed
Merge branch 'main' of https://github.com/microsoft/typespec into python/addTypedDict
iscai-msft
committed
format
iscai-msft
committed
add for output as well
iscai-msft
committed
add e2e tests
iscai-msft
committed
update unions serializer to get around pyright issue
iscai-msft
committed

Commits on May 7, 2026

fix: resolve pylint and pyright errors in generated types.py

iscai-msft
and
Copilot
committed

Commits on May 11, 2026

Merge branch 'main' of https://github.com/microsoft/typespec into python/addTypedDict
iscai-msft
committed
fix pylint and pyright in generated code
iscai-msft
committed
Merge branch 'main' of https://github.com/microsoft/typespec into python/addTypedDict
iscai-msft
committed
fix: move discriminated union aliases from _unions.py to types.py

iscai-msft
and
Copilot
committed
fix: topologically sort discriminated union aliases in types.py

iscai-msft
and
Copilot
committed
fix: skip model imports in types.py regardless of namespace

iscai-msft
and
Copilot
committed
fix: skip imports for discriminated base models in types.py

iscai-msft
and
Copilot
committed
fix: sort TypedDict properties to avoid builtin name shadowing

iscai-msft
and
Copilot
committed
fix: handle reserved words in TypedDict field names comprehensively

iscai-msft
and
Copilot
committed
fix: generate types.py per namespace instead of only at top level

iscai-msft
and
Copilot
committed

Commits on May 12, 2026

fix: correct cross-namespace imports in per-namespace types.py

iscai-msft
and
Copilot
committed
feat: combine regenerate scripts and add typeddict variant packages

iscai-msft
and
Copilot
committed
feat: add client-naming-typeddict variant package

iscai-msft
and
Copilot
committed
refactor: remove unnecessary is_response pops from TypedDictModelType

iscai-msft
and
Copilot
committed
fix: use TypedDict dicts instead of model classes in naming test

iscai-msft
and
Copilot
committed

Commits on May 13, 2026

fix: skip self-import in types.py and unused _deserialize for typed-dict-only models

iscai-msft
and
Copilot
committed
fix: skip _models prefix for internal models in types.py annotations

iscai-msft
and
Copilot
committed

Commits on May 20, 2026

merge: resolve upstream/main conflict, inline regenerate-common.ts changes into regenerate.ts

iscai-msft
and
Copilot
committed

Commits on May 26, 2026

Merge branch 'main' of https://github.com/microsoft/typespec into python/addTypedDict
iscai-msft
committed
switch to models-mode=typeddict to represent td only, generate union of literals instead of enums when td only
iscai-msft
committed
don't conflate optional and nullable
iscai-msft
committed
format and lint
iscai-msft
committed

Commits on May 27, 2026

fix: address PR review comments for TypedDict support

iscai-msft
and
Copilot
committed
lint
iscai-msft
committed

Commits on Jun 1, 2026

Merge branch 'main' into python/addTypedDict
iscai-msft
authored
fix: address review comments on TypedDict PR

iscai-msft
and
Copilot
committed
fix: remove typeddict-specific guard from no-sdk-clients check

iscai-msft
and
Copilot
committed

Commits on Jun 2, 2026

feat: replace JSON overloads with TypedDict overloads in operations

iscai-msft
and
Copilot
committed
Merge remote-tracking branch 'upstream/main' into python/addTypedDict
iscai-msft
committed
fix: restore regenerate-common.ts

iscai-msft
and
Copilot
committed

Commits on Jun 4, 2026

Commits on Jun 5, 2026

feat: use wire/serialization types for TypedDict properties

iscai-msft
and
Copilot
committed

Commits on Jun 9, 2026

Merge branch 'main' into python/addTypedDict
msyyc
authored

Commits on Jun 10, 2026

initial pass
iscai-msft
committed
only generate types.py file if needed
iscai-msft
committed
Merge branch 'python/addTypedDict' of https://github.com/iscai-msft/typespec into python/addTypedDict
iscai-msft
committed

Commits on Jun 16, 2026

fix some commit issues
iscai-msft
committed

Commits on Jun 17, 2026

continue with orchestration
iscai-msft
committed

Commits on Jun 22, 2026

fix calling polymorphic subtypes on combined type
iscai-msft
committed
Merge remote-tracking branch 'upstream/main' into python/addTypedDict
iscai-msft
committed
fix splatted body params method
iscai-msft
committed

Commits on Jun 23, 2026

attempt to have correct typeddicts show for splatted models
iscai-msft
committed
fix: dedup TypedDict copies in types.py for spread bodies and dpg models

iscai-msft
and
Copilot
committed

Commits on Jun 24, 2026

fix: prevent aio __init__.py from importing types and exclude typeddict copies from _models.py

iscai-msft
and
Copilot
committed
cspell
iscai-msft
committed
fix: resolve CI failures in type checking, lint, and mock API tests

iscai-msft
and
Copilot
committed
refactor: extract typeddict helpers to fix too-many-statements lint

iscai-msft
and
Copilot
committed
fix: use serialize_namespace_type for List import in ListType

iscai-msft
and
Copilot
committed
fix: use builtin list directly, only use List alias for operation name conflicts

iscai-msft
and
Copilot
committed

Commits on Jun 25, 2026

fix: also check is_operation_file for List alias in type_annotation

iscai-msft
and
Copilot
committed
format
iscai-msft
committed
fix: skip isinstance check and serialization for typeddict-only models

iscai-msft
and
Copilot
committed
test: add TypedDict mock API tests for model usage

iscai-msft
and
Copilot
committed
fix: skip response-as-bool in README test (in SKIP_SPECS)

iscai-msft
and
Copilot
committed
Merge branch 'main' into python/addTypedDict
iscai-msft
authored

Commits on Jun 26, 2026

Commits on Jun 29, 2026

fix(http-client-python): address review comments on regenerate-common.ts

l0lawrence
and
Copilot
committed

Commits on Jul 6, 2026

Add runnable demo for three client-surface checks

iscai-msft
and
Copilot
committed
Make naming check enforce idiomatic casing

iscai-msft
and
Copilot
committed
Prune client-surface-checks README to essentials

iscai-msft
and
Copilot
committed
Rename signatures.json to verifiers.json; make naming surface-agnostic

iscai-msft
and
Copilot
committed

Commits on Jul 7, 2026

Rename orchestrator prompt to check-surface; align stale paths

iscai-msft
and
Copilot
committed
Add negative demo fixture (demo-checks.negative.json)

iscai-msft
and
Copilot
committed
docs(client-criteria): trim demo manifest to two examples

iscai-msft
and
Copilot
committed
feat(spector): add @surfaceDoc decorator and surface-checks manifest

iscai-msft
and
Copilot
committed
feat(spector): make @surfaceDoc natural-language, derive checks from client decorators

iscai-msft
and
Copilot
committed
feat(spector): derive paging surface check from @list; split surface-doc tests

iscai-msft
and
Copilot
committed
feat(spector): explicit @surfaceDoc check escape-hatch; flatten & expand tests

iscai-msft
and
Copilot
committed
refactor(spector): group category-specific surface-check fields under `details`

iscai-msft
and
Copilot
committed
fix(spector): resolve CI format, spell, and changeset failures

iscai-msft
and
Copilot
committed

Commits on Jul 8, 2026

demo
iscai-msft
committed

Commits on Jul 9, 2026

Merge remote-tracking branch 'upstream/main' into python/spectorClientCriteria
iscai-msft
committed
Merge branch 'python/addTypedDict' of https://github.com/iscai-msft/typespec into python/spectorClientCriteria
iscai-msft
committed
switch to md instead of json
iscai-msft
committed