v0.1.75

What's Changed

• fix(checker): recover imported generic callees in the flow syntactic call fallback via on-demand forcing retry by @mohsen1 in #17626
• fix(checker,binder): a CommonJS export member never hosts nested expando growth by @mohsen1 in #17628
• fix(checker): keep the provisional self-window construct return out of new-expression results (zod TS2322 false positive) by @mohsen1 in #17627
• fix(checker): membership-monotone lib symbol_types write blocks heritage-thin body (#17595) by @mohsen1 in #17631
• fix(checker): expand deferred conditional TS2322 source to branch union against concrete target by @mohsen1 in #17635
• fix(checker): resolve deferred class self-references to the instance type, not the default-export value (spurious TS2344, #17570 rows 5/6) by @mohsen1 in #17629
• fix(solver/checker): symbol-keyed object-literal members skipped by every index-signature check when the target also has a string index by @mohsen1 in #17632
• fix(arch): unblock main's #8225 guard breach + delist issue_14123 mismatch row via harness fidelity by @mohsen1 in #17640
• fix(checker): user identity-homomorphic mapped wrappers are transparent for return-context inference by @mohsen1 in #17642
• fix(checker): arena-collided lib-generic application members no longer degrade to their declaration defaults (Generator[Y, R] false negative) by @mohsen1 in #17633
• fix(checker): TS2339 on a JS this-receiver never displays the enclosing function's own name by @mohsen1 in #17647
• fix(solver): alias-over-base provenance channels agree — restores any-instantiated override-return variance accept (zod 5×TS2416, #17630) by @mohsen1 in #17648
• fix(checker): adopt the cached maximal lib body when rejecting a thin re-derivation (#17641) by @mohsen1 in #17651
• fix(solver): a discriminant property requires its whole type to be unit-like, not one unit constituent (#17643) by @mohsen1 in #17650
• fix(solver,lowering): merged-interface overload resolution tries later declaration groups first (tsc reorderCandidates) by @mohsen1 in #17652
• fix(checker): JS object-literal local's TS2339 receiver displays its structural shape, never typeof NAME (#17622 adjacent gap 1) by @mohsen1 in #17653
• fix(checker): ambient and abstract bodiless method overrides get the TS2416/TS2417 compat check (#17649) by @mohsen1 in #17656
• fix(checker): TS2416 for an overloaded method override anchors once per declaration, not once per name (#17655) by @mohsen1 in #17657
• fix(checker): cross-file merged-interface calls try the later file's declaration group first (tsc reorderCandidates) by @mohsen1 in #17658
• fix(checker): JS this inside a function-owner's property binds to its merged expando shape, not typeof <name> (#17654) by @mohsen1 in #17659
• fix(solver): merged-interface construct signatures resolve later declaration group first (tsc reorderCandidates) by @mohsen1 in #17660
• fix(solver): enum-typed discriminant narrows per nominal member value against member-typed union arms by @mohsen1 in #17661
• test(checker): pin construct-signature reorder fences for alias/generic/cross-file merges by @mohsen1 in #17663
• fix(checker): route two arch-source-scan regressions back through their boundaries by @mohsen1 in #17668
• fix(solver): share the whole-literal discriminant gate with tuple discriminated unions (#17643) by @mohsen1 in #17666
• fix(solver): number is assignable to a numeric enum member at every structural depth by @mohsen1 in #17664
• fix(checker,core): cross-file global function declarations merge into one overload set (tsc reorderCandidates groups) by @mohsen1 in #17665
• refactor(solver): split primitive/boxed-wrapper relations out of core_dispatch by @mohsen1 in #17669
• fix(solver): ambiguous same-base union return context combines arm candidates instead of intersecting per-arm bounds (#17643 remaining half) by @mohsen1 in #17667
• fix(checker): TS2694 for a value-only qualifier in a namespace-import JSDoc type (#17622) by @mohsen1 in #17639
• fix(checker): enum display is bare except for a generalized relation source (#17661 residual b) by @mohsen1 in #17672
• fix(checker): typeof-import TS2694 names a same-module nested namespace by its export= target by @mohsen1 in #17676
• fix(solver): readonly-tuple spreads flatten like bare tuples in [...A, ...B] instantiation (#17670) by @mohsen1 in #17671
• chore(conformance): refresh the committed snapshot to current main by @mohsen1 in #17679
• fix(solver): alias-wrapped ambiguous same-base union arms merge in the return-context scan (#17673 item 1) by @mohsen1 in #17677
• fix(checker): optional-parameter declared-type recovery keeps the implicit undefined by @mohsen1 in #17683
• fix(checker): skipLibCheck skips the post-merge default-lib recheck by @mohsen1 in #17681
• fix(checker): resolve lib-global interface heritage bases through the canonical name-keyed lib path (#16308) by @mohsen1 in #17691
• fix(checker): union-target TS2322 elaborates the best member's structural failure beneath a member frame by @mohsen1 in #17684
• fix(solver): keep a class application opaque while its instance is a registered provisional snapshot (#16055) by @mohsen1 in #17682
• test(checker): mixed literal/primitive mapped-type remap expects tsc's TS2322 by @mohsen1 in #17689
• chore(readme): refresh benchmark image and stats by @mohsen1 in #17692
• fix(checker): preserve contextual inference for tagged templates in the node-type cache (#17673 item 2) by @mohsen1 in #17690
• fix(solver): disjoint enum-branded inference candidates first-wins instead of unioning by @mohsen1 in #17680
• fix(solver): blocked union-arm bindings keep the return context ambiguous (#17673 item 3) by @mohsen1 in #17685
• fix(solver): array/tuple union member sort prefers alloc order over sharded raw id by @mohsen1 in #17695
• fix(solver): permuting alias arms decompose through their forwarded application in return-context inference by @mohsen1 in #17696
• fix(solver): union display keys evaluated instantiations on alias provenance, not declaring symbol by @mohsen1 in #17699
• chore(release): bump try-tsz publish version to 0.1.75 by @mohsen1 in #17701

Full Changelog: v0.1.74...v0.1.75

What's Changed

• fix(checker): recover imported generic callees in the flow syntactic call fallback via on-demand forcing retry by @mohsen1 in #17626
• fix(checker,binder): a CommonJS export member never hosts nested expando growth by @mohsen1 in #17628
• fix(checker): keep the provisional self-window construct return out of new-expression results (zod TS2322 false positive) by @mohsen1 in #17627
• fix(checker): membership-monotone lib symbol_types write blocks heritage-thin body (#17595) by @mohsen1 in #17631
• fix(checker): expand deferred conditional TS2322 source to branch union against concrete target by @mohsen1 in #17635
• fix(checker): resolve deferred class self-references to the instance type, not the default-export value (spurious TS2344, #17570 rows 5/6) by @mohsen1 in #17629
• fix(solver/checker): symbol-keyed object-literal members skipped by every index-signature check when the target also has a string index by @mohsen1 in #17632
• fix(arch): unblock main's #8225 guard breach + delist issue_14123 mismatch row via harness fidelity by @mohsen1 in #17640
• fix(checker): user identity-homomorphic mapped wrappers are transparent for return-context inference by @mohsen1 in #17642
• fix(checker): arena-collided lib-generic application members no longer degrade to their declaration defaults (Generator[Y, R] false negative) by @mohsen1 in #17633
• fix(checker): TS2339 on a JS this-receiver never displays the enclosing function's own name by @mohsen1 in #17647
• fix(solver): alias-over-base provenance channels agree — restores any-instantiated override-return variance accept (zod 5×TS2416, #17630) by @mohsen1 in #17648
• fix(checker): adopt the cached maximal lib body when rejecting a thin re-derivation (#17641) by @mohsen1 in #17651
• fix(solver): a discriminant property requires its whole type to be unit-like, not one unit constituent (#17643) by @mohsen1 in #17650
• fix(solver,lowering): merged-interface overload resolution tries later declaration groups first (tsc reorderCandidates) by @mohsen1 in #17652
• fix(checker): JS object-literal local's TS2339 receiver displays its structural shape, never typeof NAME (#17622 adjacent gap 1) by @mohsen1 in #17653
• fix(checker): ambient and abstract bodiless method overrides get the TS2416/TS2417 compat check (#17649) by @mohsen1 in #17656
• fix(checker): TS2416 for an overloaded method override anchors once per declaration, not once per name (#17655) by @mohsen1 in #17657
• fix(checker): cross-file merged-interface calls try the later file's declaration group first (tsc reorderCandidates) by @mohsen1 in #17658
• fix(checker): JS this inside a function-owner's property binds to its merged expando shape, not typeof <name> (#17654) by @mohsen1 in #17659
• fix(solver): merged-interface construct signatures resolve later declaration group first (tsc reorderCandidates) by @mohsen1 in #17660
• fix(solver): enum-typed discriminant narrows per nominal member value against member-typed union arms by @mohsen1 in #17661
• test(checker): pin construct-signature reorder fences for alias/generic/cross-file merges by @mohsen1 in #17663
• fix(checker): route two arch-source-scan regressions back through their boundaries by @mohsen1 in #17668
• fix(solver): share the whole-literal discriminant gate with tuple discriminated unions (#17643) by @mohsen1 in #17666
• fix(solver): number is assignable to a numeric enum member at every structural depth by @mohsen1 in #17664
• fix(checker,core): cross-file global function declarations merge into one overload set (tsc reorderCandidates groups) by @mohsen1 in #17665
• refactor(solver): split primitive/boxed-wrapper relations out of core_dispatch by @mohsen1 in #17669
• fix(solver): ambiguous same-base union return context combines arm candidates instead of intersecting per-arm bounds (#17643 remaining half) by @mohsen1 in #17667
• fix(checker): TS2694 for a value-only qualifier in a namespace-import JSDoc type (#17622) by @mohsen1 in #17639
• fix(checker): enum display is bare except for a generalized relation source (#17661 residual b) by @mohsen1 in #17672
• fix(checker): typeof-import TS2694 names a same-module nested namespace by its export= target by @mohsen1 in #17676
• fix(solver): readonly-tuple spreads flatten like bare tuples in [...A, ...B] instantiation (#17670) by @mohsen1 in #17671
• chore(conformance): refresh the committed snapshot to current main by @mohsen1 in #17679
• fix(solver): alias-wrapped ambiguous same-base union arms merge in the return-context scan (#17673 item 1) by @mohsen1 in #17677
• fix(checker): optional-parameter declared-type recovery keeps the implicit undefined by @mohsen1 in #17683
• fix(checker): skipLibCheck skips the post-merge default-lib recheck by @mohsen1 in #17681
• fix(checker): resolve lib-global interface heritage bases through the canonical name-keyed lib path (#16308) by @mohsen1 in #17691
• fix(checker): union-target TS2322 elaborates the best member's structural failure beneath a member frame by @mohsen1 in #17684
• fix(solver): keep a class application opaque while its instance is a registered provisional snapshot (#16055) by @mohsen1 in #17682
• test(checker): mixed literal/primitive mapped-type remap expects tsc's TS2322 by @mohsen1 in #17689
• chore(readme): refresh benchmark image and stats by @mohsen1 in #17692
• fix(checker): preserve contextual inference for tagged templates in the node-type cache (#17673 item 2) by @mohsen1 in #17690
• fix(solver): disjoint enum-branded inference candidates first-wins instead of unioning by @mohsen1 in #17680
• fix(solver): blocked union-arm bindings keep the return context ambiguous (#17673 item 3) by @mohsen1 in #17685
• fix(solver): array/tuple union member sort prefers alloc order over sharded raw id by @mohsen1 in #17695
• fix(solver): permuting alias arms decompose through their forwarded application in return-context inference by @mohsen1 in #17696
• fix(solver): union display keys evaluated instantiations on alias provenance, not declaring symbol by @mohsen1 in #17699
• chore(release): bump try-tsz publish version to 0.1.75 by @mohsen1 in #17701

Full Changelog: v0.1.74...v0.1.75