chore(deps): update dependency ty to >=0.0.61 by renovate[bot] · Pull Request #48 · AlphaSphereDotAI/AlphaSphereDotAI.github.io

Released on 2026-07-17.

Bug fixes

Avoid recursive protocol structural comparisons (#26721)

LSP server

Render Google docstrings as structured Markdown (#26599)

Library support

Pydantic: Collect field metadata through subscripted generic Annotated aliases (#26885)

Diagnostics

Avoid extending own-line suppressions in --add-ignore (#26808)

Core type checking

Derive descriptor setter domains for protocols (#26683)
Enforce declared receiver TypeVar domains (#26863)
Infer isinstance results for aliases and type variables (#26961)
Infer isinstance results for fixed class tuples (#26935)
Narrow inline list and set membership checks (#26955)
Narrow tagged unions by tag truthiness (#26887)
Narrow walrus expression values (#26949)
Project intersections in to_instance (#26892)
Remove inferable TypeVar artifacts recursively (#26787)
Respect mixin receiver domains in method overrides (#26941)
Support TypeVarTuple and Unpack (#25240)

Performance

Deduplicate completion labels (#26890)
Only collect expected types for files open in the editor (#25546)
Parallelize subtype hierarchy search (#26875)
Share heap-backed parser names with CharStr (#26594)
Use the new incremental checker from the ignore crate (#26933)

Contributors

`v0.0.60`

Released on 2026-07-15.

Bug fixes

Expand transparent callable workaround with overloads and Awaitable[T] (#26761)
Separate type-mapping caches by transformation mode (#26857)
Avoid recursive protocol union redundancy checks (#26689)
Handle recursive protocols in redundant-cast checks (#26708)

LSP server

Prevent type that is written with a code span from being incorrectly re-wrapped during docstring Markdown rendering (#26723)

Library support

Pydantic: Support populate_by_name and custom initializers (#26764)
Pydantic: Warn about immediately discarded extra arguments (#26762)

Diagnostics

Narrow TypeGuard keyword arguments and remove invalid-type-guard-call (#26809)
Support own-line suppression comments (#26785)

Core type checking

Derive descriptor setter domains for protocols (#26683)
Handle cycles in derived constraint relations (#26814)
Implement unified generic call inference (#26141)
Preserve constraints from bound receivers (#26776)
Project exact-length narrowing through TypeVars (#26852)
Resolve PEP 695 aliases in type[...] annotations (#26842)
Retain sequence pattern narrowing in successful match cases (#26807)
Support class and static protocol methods (#26574)
Support class objects satisfying instance-method protocols (#26789)
Support type[Protocol] (#26649)
Sync vendored typeshed stubs (#26840). Typeshed diff
Treat transparent callable decorators consistently in class assignments (#26720)

Performance

Compare overloaded protocol method returns pairwise (#26684)
Extend PathBounds fast-path to support both upper and lower bounds (#26782)
Skip Self type scans for non-generic instances (#26703)

Contributors

`v0.0.59`

Released on 2026-07-12.

Bug fixes

Guard descriptor classification cycles (#26690)
Respect init=False in dataclass field-order checks (#26749)
Avoid duplicate diagnostics for overloaded TypeIs (#26716)

Library support

Pydantic: Support custom __init__ methods (#26699)
Pydantic: Support field metadata in Annotated (#26650)

Core type checking

Allow unsound equality-based narrowing for builtins (#26414)
Bind Self in implicit dunder calls (#26711)
Correct protocol method receiver binding (#26701)
Exempt ParamSpec callables from the dunder descriptor heuristic (#26696)
Remove transitive TypeVar artifacts during collection inference (#26714)

LSP server

Avoid broad invalidation from file check eligibility (#26741)
Correct how we expand tabs in docstrings (#26679)
Resolve ambiguity in Google-style docstring parsing in favour of observations from popular projects (#26673)

CLI

Avoid allocation for every stdout write (#26698)
Buffer diagnostic output (#26702)

Performance

Cache generic context (#26745)
Cache known class instances (#26746)
Reuse common TypedDict constraints through intersections (#26747)
Use purpose-specific types for completion and module text (#26664)

Contributors

`v0.0.58`

Released on 2026-07-09.

Bug fixes

Fix protocol matching for class variables (#26669)
Fix reflected binary dispatch for runtime classes (#26623)
Support cached properties in protocols (#26681)

Diagnostics

Add assignability context to upper-bound diagnostics (#26645)
Add blanket ignore comment rule (#26426)
Improve protocol attribute diagnostic context (#26644)

Library support

Pydantic: Add fields from mixin classes (#26631)
Pydantic: Add support for validate_by_{name,alias} (#26598)
Pydantic: Add support for validation_alias (#26629)
Pydantic: Fix float conversion in unions (#26655)
Pydantic: Ignore private attributes (#26630)
Pydantic: Make BaseSettings fields optional by default (#26628)
Pydantic: Recognize frozen models via config (#26648)
Pydantic: Support dict model configurations (#26632)
Pydantic: Support validation of RootModel fields (#26634)
Pydantic: Understand ellipsis as providing no default value (#26637)

Core type checking

Gate membership narrowing on __contains__ semantics (#25964)
Handle callable classes in solver (#26090)
Infer ModuleType.__doc__ as str in the presence of a docstring (#26505)
Infer metaclass-declared attributes on class instances (#26512)
Respect user stub overlays during module resolution (#26123)

Performance

Avoid allocating decorated parameter names (#26666)
Optimize TypeCollector (#26593)

Contributors

`v0.0.57`

Released on 2026-07-07.

Bug fixes

Detect async generator expressions containing await (#26568)
Preserve exhaustive gradual match patterns (#26523)

LSP server

Fix selection range behavior for strings (#26532)
Recognize that dedent ends doctest block when parsing docstrings for signature help (#26552)
Render reStructuredText hyperlinks as Markdown in hover docstrings (#25907)
Update __slots__ string when renaming an attribute (#26438)

Documentation

Document PYTHONPATH support in module discovery (#3889)

Library support

Add support for extra arguments in Pydantic model constructors (#26520)
Detect Pydantic model configurations (#26573)
Distinguish lax and strict mode for Pydantic models (#26587)

Core type checking

Fix subtyping/assignability for @property protocol members (#25332)
Narrow isinstance against intersections containing invalid member (#26545)
Narrow match subjects through structural patterns (#25942)
Preserve generic functools.partial signatures (#24583)
Preserve generic variadic callback semantics (#26521)
Preserve invariant materialization on generic specializations (#26578)
Preserve literal enum member names (#26592)

Performance

Avoid exponential invariant constraint paths (#26538)
Batch parallel jobs when finding references (#26534)
Build module names directly in CompactString (#26546)
Elide default use-def state (#26398)
Reuse owned buffers for string literals (#26547)
Use ICF for macOS release builds (#3709)
Use cached class literal lookup for is_subclass_of (#26585)

Contributors

`v0.0.56`

Released on 2026-07-01.

Bug fixes

Avoid MRO cycle when collecting NamedTuple fields (#26464)
Model int and str enum value normalization (#26349)
Prefer reflected operators by runtime class (#26434, #26474)

CLI

Exit with status 130 when interrupted (#26465)

Performance

Avoid exponential OR-pattern reachability (#26481)
Reduce bound typevar identity overhead (#26396)

Core type checking

Infer generic class pattern capture types (#26479)
Narrow exact tuples through sequence patterns (#26424)
Recognize inherited enum member constructors (#26410)
Respect return-context inference when filtering overloads (#26454)
Sync vendored typeshed stubs (#26501). Typeshed diff

Contributors

`v0.0.55`

Released on 2026-06-26.

LSP server

Render full diagnostics in color (#26384)

Documentation

Document colored diagnostic output (#3858)

Performance

Improve vendored filesystem concurrency (#26408)
Optimize enum comparisons in equality evaluation (#26340)
Remove redundant semantic index shrinks (#26392)
Use never-change durability for one-shot checks (#26359)

Core type checking

Correct enum alias detection and scalar constructors (#26345)
Fix structural pattern binding inference (#26411)
Improve variable-length tuple slicing (#26151)
Infer class and mapping pattern bindings (#25941)
Infer empty collection constructors from later uses (#26389)
Skip shadowed submodule bindings during import analysis (#26385)
Sync vendored typeshed stubs (#26406). Typeshed diff
Track literal iterable emptiness for reachability (#25222)
Validate positional class patterns against __match_args__ (#26195)

Contributors

`v0.0.54`

Released on 2026-06-25.

Bug fixes

Avoid duplicate configuration error output (#26375)
Avoid stack overflows in reachability analysis (#26272)
Fix divergent recursive tuple cycle handling in ty (#26316)
Fix panic from relation queries during cycle recovery (#26335)
Fix panics by reverting recursive TypeOf cycle recovery (#26339)
Support basic usages of __class__ closure cells in methods (#26329)

LSP server

Fix typealias token classification inconsistency (#26255)
Implement rust-analyzer's "Click for full compiler diagnostic" feature (#26269)

Performance

Co-locate retained definition usage state (#26019)
Use never-change durability for immutable file inputs (#26353)

Diagnostics

Reject undeclared protocol instance attributes (#26336)

Core type checking

Allow replacing ordinary methods with compatible functions (#26158)
Distinguish typing.TypedDict from typing_extensions.TypedDict (#25843)
Don't treat non-empty ranges as single-valued (#26351)
Handle TypeVar bounds over type[...] in attribute lookup (#26146)
Infer definite equality comparison results (#26337)
Infer mismatched literal comparisons (#26313)
match statements: make class-pattern fallthrough member-aware (#26283)
match statements: prove TypedDict structural patterns exhaustive (#26285)
match statements: resolve positional class-pattern exhaustiveness (#26284)
Model non-exhaustive enum member sets (enum.Flags) (#26277)
Reduce retained definition map storage (#26348)
Reuse equality semantics for membership compatibility (#25955)
Sync vendored typeshed stubs to support builtins.sentinel (#26341)
Treat non-empty range calls as non-empty for reachability (#25220)
Use assignability for divergent constraints (#26334)
Widen inferred class-valued instance attributes (#26338)

Contributors

`v0.0.53`

Released on 2026-06-23.

Bug fixes

Avoid bypassing lazy constraints for Divergent (#26288)
Avoid recursion when projecting narrowing constraints (#26276)
Fix ParamSpec callable signature extraction for callable instances (#26279)
Make multi-arm TypeOf cycle recovery monotonic (#26275)

LSP server

Document all special forms in ty_extensions (#26263)

Performance

Avoid cloning fallback condition flow snapshots (#26203)
Avoid constructing discarded speculative diagnostics (#26251)
Avoid path lookups when sorting same-file diagnostics (#26257)
Cache is_never_satisfied results (#26261)
Defer applying type context to simple standalone expressions (#26252)

Core type checking

Infer types for names bound in match patterns (#25940)
Preserve regular kind for callable instances (#26253)
Simplify intersections of invariant generic types with Any specializations (#26127)

Contributors

`v0.0.52`

Released on 2026-06-22.

Bug fixes

Avoid shadowing hints for attribute assignments (#26164)
Fix dict.pop overloads to accept arbitrary keys with defaults (#26241)
Normalize recursive TypeOf across multiple union arms (#26230)
Normalize recursive TypeOf growth during cycle recovery (#26163)
Normalize recursive protocol growth during cycle recovery (#26246)
Preserve generic alias identity during cycle recovery (#26166)
Recover from dynamic class code generator cycles (#26167)

LSP server

Add a go-to destination for Divergent (#26162)
Publish diagnostics for all open files after a single file is saved (#25929)
Render Markdown for reStructuredText fields in docstrings on hover (#25903)

CLI

Make error-on-warning the default (#26157)

Diagnostics

Make rendering of fix diffs more concise (#26161)

Performance

Avoid allocating disabled error context trees (#26191)
Avoid lookup maps for small place tables (#26177)
Avoid moving boxed use-def map builders (#26211)
Avoid transient AST ID merge map (#26185)
Batch signature typevar freshness scans (#26196)
Box large semantic index builders (#26186)
Build frozen definition maps directly (#26188)
Compact use-def binding interner keys (#26193)
Consume condition flow snapshots (#26189)
Lazily allocate reachability caches (#26194)
Remove redundant use-def state shrinking (#26206)
Reuse the first union bindings buffer (#26225)
Short-circuit terminal narrowing constraints (#26215)
Solve simple constraint conjunctions directly (#25879)
Store cycle-detector cache entries inline (#26183)
Stream indexed AST construction (#26184)
Suppress discarded TypedDict diagnostics (#26250)
Use SmallVec for CycleDetector::seen (#26181)
Use a SmallVec for seen type aliases (#26187)

Core type checking

Raise limit for number of non-recursive union literals (#25212)
Preserve gradual behavior for explicit Any subclasses (#26034)
Preserve metaclasses when inheriting from intersection-typed bases (#26145)
Recognize exhaustive matches over finite tuples (#26132)

Contributors

`v0.0.51`

Released on 2026-06-18.

Bug fixes

Fix bound TypeVar default cycle recovery (#26124)
Support Annotated[Any, ...] as a class base (#26133)

LSP server

Suggest keyword-only arguments between variadic parameters (#26134)

Core type checking

Avoid assuming classes with Any or Unknown bases are descriptors (#26120)
Infer simpler types in complex lambda cycles (#26137)
Preserve exact class objects during identity narrowing (#26117)

Diagnostics

Preserve unpacking diagnostics for nested assignment targets (#26121)

Performance

Compact indexed AST node storage (#25998)
Discard dead DNF branches in intersection building (#26144)

Documentation

Remove broken gradual guarantee link (#3806)

Contributors

`v0.0.50`

Released on 2026-06-17.

Bug fixes

Avoid cross-TypeVar leakage in generic inference (#26099)
Fix panic from oscillating collection-use constraints (#26031)
Preserve type variables in fixed tuple aliases (#26041)
Respect ParamSpec binding contexts (#25993)
Show bare Final as a special form on hover (#26029)
Support options in functional dataclass calls (#25989)

LSP server

Add context-sensitive keyword completions (#26036)
Fix wildcard import symbol range (#25740)
Highlight decorated methods consistently (#26003)
Preserve narrowing after qualified TYPE_CHECKING (#26051)
Respect client's content format preference (#25957)
Retain all diagnostic annotations in the server (#26006)
Track unused-binding captures across nested scopes (#25536)

Diagnostics

Fix override diagnostics for decorated methods (#25671)
Improve duplicate-base diagnostics (#26107)
Reject invalid dataclass flag combinations (#25985)
Reject legacy TypeVars in PEP 695 class bases (#25975)
Reject legacy TypeVars in PEP 695 functions (#25979)
Respect @no_type_check in function validation (#25994)

Performance

Avoid rebuilding unchanged specializations (#25826)
Avoid redundant equality intersections (#26057)
Avoid retaining empty use-def tables (#26018)
Compact retained definition inference extras (#25838)
Deduplicate retained scope inference types (#25846)
Disable LRU tracking for one-shot checks (#26106)
Fast path collection literals with exact type contexts (#25878)
Flatten retained declaration states (#25912)
Improve flow snapshot performance (#26012)
Skip stub package checks in stub-free search paths (#25963)
Speed up large-union narrowing (#26048)
Speed up module resolution for projects with many search paths (#25962)
Store cumulative binding end offsets (#25913)
Use compact frozen representation for narrowing constraints (#25990)

Core type checking

Annotate intersection and negation types using & and ~ (#26035)
Diagnose zero-step slices on lists (#25966)
Full-scope bidirectional inference for non-empty collection literals (#25280)
Improve equality-based narrowing for ==, !=, and match (#25788)
Infer precise values for standard-library enums (#26103)
Make equality evaluation cycle-aware (#26055)
Narrow equality across IntEnum classes (#26079)
Narrow tuple expression match subjects (#25874)
Preserve literal types for loop variables over literal collections (#25083)
Preserve negative narrowing for starred sequence patterns (#25927)
Preserve non-final types in Hashable unions (#26039)
Support enum literals as tagged-union discriminants (#25855)
Sync vendored typeshed stubs (#25952). Typeshed diff
Sync vendored typeshed stubs (#25997). Typeshed diff
Synthesize NamedTuple __match_args__ (#25934)
Treat assigned enum hooks conservatively (#25958)
Validate deprecated warning categories (#26025)

Contributors

`v0.0.49`

Released on 2026-06-11.

Bug fixes

Fix site-package error when multiple versions of Python are installed in system path (#25769)

Diagnostics

Point at attribute's binding site in `invalid-await diagnostic (#24628)
Report redefined legacy TypeVars (#25854)

Performance

Add dedicated TDDs for narrowing constraints (#25834)
Avoid caching same-file raw signatures (#25761)
Cache reachability evaluations during inference (#25696)
Compact retained definition maps (#25737)
Omit redundant definition inference owner keys (#25837)

Core type checking

Preserve nominal type of enum.property instances (#25849)
Restrict length narrowing to types that encode their length (#25840)
Use peer context for collection literals (#25848)

Contributors

`v0.0.48`

Released on 2026-06-10.

Performance

Avoid redundant constraint saturation work (#25786)

Core type checking

Add support for TypedDict extra_items (#25591)
Improve closed=True TypedDict precision (#25651)
Require subtyping for transitive constraint pivots (#25778)
Sync vendored typeshed stubs (#25828). Typeshed diff

Contributors

`v0.0.47`

Released on 2026-06-10.

Bug fixes

Avoid panicking on encountering a recursive NamedTuple that references a recursive NewType (#25764)
Fix out-of-bound panic in notebooks involving suppression comments (#25629)

Core type checking

Preserve overloads through callable protocol decorators (#25806)
Sync vendored typeshed stubs (#25779). Typeshed diff

Performance and memory-usage improvements

Avoid caching specialization-invariant known instances (#25816)
Avoid resolving overload sets for ordinary functions (#25817)
Store common definition inference results inline (#25814)
Use Box<SystemPath> etc. in Files (#25554)

Contributors

`v0.0.46`

Released on 2026-06-08.

Bug fixes

Avoid crash when hovering over Callable (#25759)

Core type checking

Support Callable() in match statement class patterns (#25541)
Improve support for enum.property (#25681)

Contributors

`v0.0.45`

Released on 2026-06-08.

Bug fixes

Avoid treating dynamic class attributes as instance attributes (#25678)
Fix divergence in recursive inference due to ambiguous overload (#25548)
Preserve literal promotion for mixed bounds (#25648)

Diagnostics

Add missing-type-argument lint rule (#25617)

Core type checking

Add support for narrowing on tuple match cases (#25493)
Check implicit open TypedDict extra items (#25628)
Create fresh copies of generic callable typevars (#24949)
Preserve deprecation on replacement functions (#25688)
Preserve intersection receivers during attribute lookup (#25626)
Preserve transparent callable decorators (#25030)

Performance

Avoid AST load for callable description names (#25728)
Avoid caching absent class decorators and type parameters (#25689)
Avoid caching atomic type specializations (#25663)
Avoid caching constant constraint relations (#25656)
Avoid caching missing implicit attributes (#25649)
Avoid caching trivial class-header queries (#25692)
Avoid caching trivial member lookups (#25661)
Bypass member lookup for module imports (#25723)
Cache constraint implication checks (#25714)
Cache upper-bound satisfiability (#25710)
Compact retained function type signatures (#25669)
Compact retained use-def bindings (#25682)
Consolidate retained narrowing constraints (#25660)
Construct trivial constraint sets directly (#25659)
Resolve function descriptors directly (#25675)
Share code-generator classification across specializations (#25701)
Share parameter lists with Arc (#25735)
Use same-file expression inference in reachability (#25694)

Contributors

`v0.0.44`

Released on 2026-06-04.

Bug fixes

Avoid treating sys.implementation.version like sys.version_info (#25608)
Fix anchor point for override diagnostics (#25621)

LSP server

Show type alias value on hover (#25381)

Performance

Add caching for pattern match narrowing (#25613)
Compact retained definition and expression identities (#25606)
Reuse expression cache for TypedDict union inference (#25643)
Upgrade Salsa (#25545)

Core type checking

Enable narrowing for unions of TypedDict (#25188)

Contributors

`v0.0.43`

Released on 2026-06-03.

Bug fixes

Don't inject Unknown from non-callable elements of intersection call (#25538)
Don't needlessly disambiguate the same type alias (#25563)
Fix variance inference for nested type aliases (#25567)
Ignore rejected member annotations for synthesized bindings (#25427)
Normalize dynamic class literals in cycle recovery (#25558)
Register file roots for first-party search paths (#25522)
Treat union-bound typevars like unions for possibly-missing-attribute (#25561)

LSP server

Suppress importable completions that are already in scope (#25479)

Performance

Avoid retaining duplicate function signatures (#25609)
Compact retained definition inference results (#25593)
Compact retained definition kinds (#25610)
Compact retained definitions by node (#25498)
Consolidate AST ID reverse lookup (#25455)
Consolidate retained use-def definition maps (#25499)
Omit redundant definitions-by-node entries ([#&#82

✂ Note

PR body was truncated to here.

Configuration

📅 Schedule: (UTC)

Branch creation
- At any time (no schedule defined)
Automerge
- At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

semanticdiff-com · 2026-02-05T02:00:14Z

Review changes with

gitnotebooks · 2026-02-05T02:00:15Z

Review these changes at https://app.gitnotebooks.com/AlphaSphereDotAI/AlphaSphereDotAI.github.io/pull/48

deepsource-io · 2026-02-05T02:00:28Z

DeepSource Code Review

We reviewed changes in 8096ed9...8d758ac on this pull request. Below is the summary for the review, and you can see the individual issues we found as inline review comments.

See full review on DeepSource ↗

PR Report Card

Overall Grade	Security Reliability Complexity Hygiene

Code Review Summary

Analyzer	Status	Updated (UTC)	Details
Secrets		Jul 1, 2026 8:49p.m.	Review ↗
Python		Jul 1, 2026 8:49p.m.	Review ↗

Important

AI Review is run only on demand for your team. We're only showing results of static analysis review right now. To trigger AI Review, comment @deepsourcebot review on this thread.

mergify · 2026-02-05T02:02:47Z

🧪 CI Insights

Here's what we observed from your CI run for 3de4c63.

🟢 All jobs passed!

But CI Insights is watching 👀

sonarqubecloud · 2026-04-28T15:18:22Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

sonarqubecloud · 2026-05-02T00:58:43Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

socket-security · 2026-05-15T12:59:42Z

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	ty@0.0.14 ⏵ 0.0.61	⁺¹

View full report

sonarqubecloud · 2026-05-27T22:35:43Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

sonarqubecloud · 2026-06-01T20:29:22Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

kilo-code-bot · 2026-06-04T01:54:57Z

Code Review Summary

Status: No Issues Found | Recommendation: Merge

Files Reviewed (1 file)

devenv.lock - Generated lock file with flake input simplifications

Previous Review Summaries (2 snapshots, latest commit dbacfaf)

Current summary above is authoritative. Previous snapshots are kept for context only.

Previous review (commit `dbacfaf`)

Status: No Issues Found | Recommendation: Merge

Files Reviewed (2 files)

pyproject.toml - Incremental update of ty dev dependency version specifier
uv.lock - Regenerated lock file for updated ty version

Previous review (commit `2aa7c55`)

Status: No Issues Found | Recommendation: Merge

Files Reviewed (3 files)

pyproject.toml - ty version bumped from >=0.0.14 to >=0.0.49
devenv.lock - Generated lock file with flake input simplifications
uv.lock - ty package updated to 0.0.49 with new wheel hashes

_{Reviewed by nex-n2-pro:free · 444,062 tokens}

sonarqubecloud · 2026-07-20T21:36:26Z

Quality Gate passed

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code