v0.1.29

What's Changed

• fix(solver): bound remove_nullish recursion via cross-operation stack-frame breaker by @mohsen1 in #13713
• fix(binder): module-local namespace shadows colliding global lib type (hotscript FPs) by @mohsen1 in #13712
• perf(checker): accelerate per-access class member lookups on this.x (#13097) by @mohsen1 in #13721
• fix(checker): defer TS2536 for generic indexed access rooted at polymorphic this by @mohsen1 in #13724
• fix(checker): collect infer-extends constraints through object/index/array/mapped wrappers by @mohsen1 in #13729
• perf(solver): skip provably-disjoint literal pairs in union-subtype reduction by @mohsen1 in #13728
• ci: double project-compile-canary shards 3→6 (faster canary wave) by @mohsen1 in #13735
• fix(solver): rest param must not count toward minimum call arity by @mohsen1 in #13734
• fix(checker): defer authoritative type_env write on borrow conflict instead of dropping by @mohsen1 in #13741
• feat(bench): add 20 application/dashboard canary rows + dep-install harness (grow) by @mohsen1 in #13740
• hold(bench): subtract per-row tsc oracle from project-compile-guard FPs by @mohsen1 in #13727
• fix(checker): don't cache heritage-thin lib interface body on recursion-guard bail (#13652) by @mohsen1 in #13730
• perf(ci): bake sccache into runner image, pin nextest/wasm-pack by @mohsen1 in #13756
• perf(solver): cache closed conditionals in closed-eval cache (ts-toolbelt AutoPath, #13250) by @mohsen1 in #13732
• perf(ci): install cargo-shear/cargo-deny from prebuilt binaries by @mohsen1 in #13758
• fix(solver): reduce Awaited distribution over free-param union members by @mohsen1 in #13731
• refactor(ci): remove unit-cloudbuild no-op shim and fold wasm-web into the wasm job (#13754) by @mohsen1 in #13765
• fix(ci): add a MemAvailable preflight and peak-cutting to the cache-save tar (#13748) by @mohsen1 in #13763
• fix(ci): decouple bench shard/wait/build timeouts to prevent near-budget false negatives (#13751) by @mohsen1 in #13762
• fix(binder): do not hoist namespace members into top-level module exports by @mohsen1 in #13766
• fix(checker,solver): preserve user unique-symbol members; resolve generic-tuple infer conditionals by @mohsen1 in #13757
• fix(checker): lower imported type aliases in their declaring arena (#13618) by @mohsen1 in #13706
• fix(ci): keep advisory ci-health monitors green on transient gh errors + add concurrency guard (#13744) by @mohsen1 in #13760
• fix(checker): propagate any/error through entity-name import-equals from unresolved modules by @mohsen1 in #13755
• fix(ci): record incomplete canary shard sets and make /retest survive expired wave-1 artifacts (#13749) by @mohsen1 in #13764
• fix(checker): merge cross-file generic interface heritage on the type-reference path by @mohsen1 in #13767
• fix(checker): lower parenthesized typeof array elements via the binder path (#8432) by @mohsen1 in #13739
• fix(solver): relate alias-wrapped Promise vs unwrapped body under any-arg method override by @mohsen1 in #13770
• fix(ci): automate runner-image build/deploy with provenance + document the fleet (#13750) by @mohsen1 in #13761
• perf(ci): shard the emit suite 4-way with an emit-aggregate recombiner (#13746) by @mohsen1 in #13773
• hold(bench): stub process global for tanstack-query guard config by @mohsen1 in #13778
• perf(ci): measure cargo-target-deps staleness + opt-in workspace-rlib refresh, preflight-gated (#13747) by @mohsen1 in #13777
• perf(ci): persist ci-timing trends + sccache hit-rate floor + flaky-rate probe (#13753) by @mohsen1 in #13779
• perf(solver): memoize deferred Application/Lazy property resolution per (type,prop) by @mohsen1 in #13787
• fix(checker): poison type-position uses of unresolved-import members to error by @mohsen1 in #13780
• fix(solver): resolve unique-symbol index through same-named typeof alias by @mohsen1 in #13784
• fix(checker): cross-arena FUNCTION local-pin node-symbol round-trip (mobx die cache poison) by @mohsen1 in #13783
• fix(solver): relate same-definition Promise-alias applications via any-arg (zod _parse override TS2416) by @mohsen1 in #13789
• perf(solver): memoize free-type-parameter containment per node (#13250) by @mohsen1 in #13781
• fix(solver): typeof === 'function' narrows callable member of instantiated generic alias by @mohsen1 in #13785
• perf(ci): move project-compile-canary-aggregate to ubuntu-latest (#13745) by @mohsen1 in #13782
• fix(checker): poison indexed-access over unresolved-import object to any by @mohsen1 in #13790
• fix(checker): truthy condition read proves definite assignment in positive branch by @mohsen1 in #13788
• fix(checker,solver): contextual free-type-param erasure root (zustand/superstruct/mobx) by @mohsen1 in #13794
• fix(ci): pin all GitHub Actions to commit SHAs + add Dependabot (#13752) by @mohsen1 in #13795
• fix(solver): resolver-aware subtype in enum discriminant narrowing by @mohsen1 in #13798
• fix(checker): resolve cross-arena import-alias application body for in-narrowed receivers by @mohsen1 in #13796
• ci: reduce project-compile-canary shards 6 -> 3 (relieve unit starvation wedging the queue, #13771) by @mohsen1 in #13804
• fix(solver): cross-module enum-parent residency + identity in discriminant narrowing by @mohsen1 in #13805
• fix(solver): relate generic Pick/Omit mapped source to index-signature target by @mohsen1 in #13800
• ci: bump actions/setup-python from 5.6.0 to 6.2.0 by @dependabot[bot] in #13811
• feat(website): relative-time + commit link in benchmark runner info by @mohsen1 in #13816
• fix(checker): inline-exported empty-array const is fixed never[], not evolving (mobx noImplicitAny FP) by @mohsen1 in #13814
• fix(config): expand TS 5.5 ${configDir} tsconfig template variable (#13768) by @mohsen1 in #13772
• perf(checker): memoize contextual-callback mismatch derivation across re-entry (#13250) by @mohsen1 in #13786
• perf(solver): memoize infer-substitution across non-shadowing mapped scopes (kysely/valibot timeout) by @mohsen1 in #13820
• fix(binder,checker): don't trip the stack-overflow guard when headroom is unmeasurable (#13815) by @mohsen1 in #13824
• ci: bump actions/cache from 4.3.0 to 5.0.5 by @dependabot[bot] in #13808
• ci: bump softprops/action-gh-release from 2.6.2 to 3.0.0 by @dependabot[bot] in #13809
• perf(solver): memoize narrow_excluding_type to remove redundant narrowing recomputation (theme C) by @mohsen1 in #13819
• test(checker): synthetic witness for #13232 resolver-less deferred-conditional relation by @mohsen1 in #13831
• ci: bump actions/upload-artifact from 4.6.2 to 7.0.1 by @dependabot[bot] in #13810
• ci: bump actions/download-artifact from 4.3.0 to 8.0.1 by @dependabot[bot] in #13812
• hold(bench): resolve library-canary deps to cut false TS2307 noise by @mohsen1 in #13835
• fix(ci): re-check active bench run after stale-break before catch-up dispatch by @mohsen1 in #13833
• perf(ci): move fourslash/emit aggregate(s) to ubuntu-latest (#13745) by @mohsen1 in #13832
• fix(ci): stop required CI Summary from blocking on the advisory canary suite by @mohsen1 in #13829
• fix(ci): bound dist-binaries cache-save memory to unblock workspace-rlib refresh (#13733) by @mohsen1 in #13834
• perf(interner): per-file TLS-cache locality instrumentation + opt-in promote-first probe (#13246) by @mohsen1 in #13838
• fix(config): unresolved tsconfig extends emits TS6053 and continues instead of aborting by @mohsen1 in #13839
• perf(cli): bounded long-lived checker pool scheduler (TSZ_CHECKER_POOL) (#13246) by @mohsen1 in #13841
• fix(ci): stop bench-gate deferring to wedged active runs by @mohsen1 in #13836
• fix(ci): route unit suite to Cloud Build pool to stop 32GiB Cloud Run OOM wedging the queue by @mohsen1 in #13880
• green(canary): promote infisical to required (payload/medusa stay canary — CPU-bound, #13242) by @mohsen1 in #13775
• fix(ci): route app-canary installs through corepack when the PM isn't on PATH by @mohsen1 in #13858
• perf(solver): combine inert-deferred lift + structural-bucket skip in union subtype reduction by @mohsen1 in #13736
• fix(solver): resolve generic function-alias members in typeof-function narrowing by @mohsen1 in #13737
• fix(solver): widen union array members; drop empty-array conditional branch (green) by @mohsen1 in #13774
• fix(checker,solver): nested typeof X resolves to value/constructor side for merged interface+value symbols by @mohsen1 in #13776
• fix(checker): follow re-export alias chain for heritage base type-param arity by @mohsen1 in #13791
• fix(checker): validate nested deferred-conditional indexed access via apparent type by @mohsen1 in #13792
• fix(solver): resolver-aware enum discriminant narrowing keeps the receiver (green) by @mohsen1 in #13799
• fix(checker): preserve bare type-parameter identity in generic-call spread inference (theme A) by @mohsen1 in #13817
• fix(checker): property-access name in param default is not a self-reference by @mohsen1 in #13818
• fix(solver): reduce multi-overload infer-capture conditionals (zustand devtools 217) by @mohsen1 in #13821
• perf(checker): canonical cycle-guard key collapses import-alias fan-out by @mohsen1 in #13823
• perf(solver): memoize top-level collect_properties_cached results (theme C groundwork) by @mohsen1 in #13837
• fix(checker): chase named re-export alias chain for generic heritage base (TS2315) by @mohsen1 in #13797
• fix(checker): globalThis.X resolves lib global over module-local import-type shadow by @mohsen1 in #13850
• fix(binder): merge user namespace exports into same-named lib namespace by @mohsen1 in #13851
• fix(solver): in-narrowing of an existing property keeps optionality and undefined by @mohsen1 in #13852
• fix(checker): merge transitive lib-base heritage for cross-file generic class by @mohsen1 in #13853
• fix(solver): never reinterpret a registered DefId as a SymbolId in resolve_lazy (#13862) by @mohsen1 in #13884
• fix(checker,solver): scope logical-operand literal preservation; unknown ?? X is {} | X by @mohsen1 in #13849
• chore(release): bump try-tsz publish version to 0.1.29 by @mohsen1 in #13854

New Contributors

• @dependabot[bot] made their first contribution in #13811

Full Changelog: v0.1.28...v0.1.29

What's Changed

• fix(solver): bound remove_nullish recursion via cross-operation stack-frame breaker by @mohsen1 in #13713
• fix(binder): module-local namespace shadows colliding global lib type (hotscript FPs) by @mohsen1 in #13712
• perf(checker): accelerate per-access class member lookups on this.x (#13097) by @mohsen1 in #13721
• fix(checker): defer TS2536 for generic indexed access rooted at polymorphic this by @mohsen1 in #13724
• fix(checker): collect infer-extends constraints through object/index/array/mapped wrappers by @mohsen1 in #13729
• perf(solver): skip provably-disjoint literal pairs in union-subtype reduction by @mohsen1 in #13728
• ci: double project-compile-canary shards 3→6 (faster canary wave) by @mohsen1 in #13735
• fix(solver): rest param must not count toward minimum call arity by @mohsen1 in #13734
• fix(checker): defer authoritative type_env write on borrow conflict instead of dropping by @mohsen1 in #13741
• feat(bench): add 20 application/dashboard canary rows + dep-install harness (grow) by @mohsen1 in #13740
• hold(bench): subtract per-row tsc oracle from project-compile-guard FPs by @mohsen1 in #13727
• fix(checker): don't cache heritage-thin lib interface body on recursion-guard bail (#13652) by @mohsen1 in #13730
• perf(ci): bake sccache into runner image, pin nextest/wasm-pack by @mohsen1 in #13756
• perf(solver): cache closed conditionals in closed-eval cache (ts-toolbelt AutoPath, #13250) by @mohsen1 in #13732
• perf(ci): install cargo-shear/cargo-deny from prebuilt binaries by @mohsen1 in #13758
• fix(solver): reduce Awaited distribution over free-param union members by @mohsen1 in #13731
• refactor(ci): remove unit-cloudbuild no-op shim and fold wasm-web into the wasm job (#13754) by @mohsen1 in #13765
• fix(ci): add a MemAvailable preflight and peak-cutting to the cache-save tar (#13748) by @mohsen1 in #13763
• fix(ci): decouple bench shard/wait/build timeouts to prevent near-budget false negatives (#13751) by @mohsen1 in #13762
• fix(binder): do not hoist namespace members into top-level module exports by @mohsen1 in #13766
• fix(checker,solver): preserve user unique-symbol members; resolve generic-tuple infer conditionals by @mohsen1 in #13757
• fix(checker): lower imported type aliases in their declaring arena (#13618) by @mohsen1 in #13706
• fix(ci): keep advisory ci-health monitors green on transient gh errors + add concurrency guard (#13744) by @mohsen1 in #13760
• fix(checker): propagate any/error through entity-name import-equals from unresolved modules by @mohsen1 in #13755
• fix(ci): record incomplete canary shard sets and make /retest survive expired wave-1 artifacts (#13749) by @mohsen1 in #13764
• fix(checker): merge cross-file generic interface heritage on the type-reference path by @mohsen1 in #13767
• fix(checker): lower parenthesized typeof array elements via the binder path (#8432) by @mohsen1 in #13739
• fix(solver): relate alias-wrapped Promise vs unwrapped body under any-arg method override by @mohsen1 in #13770
• fix(ci): automate runner-image build/deploy with provenance + document the fleet (#13750) by @mohsen1 in #13761
• perf(ci): shard the emit suite 4-way with an emit-aggregate recombiner (#13746) by @mohsen1 in #13773
• hold(bench): stub process global for tanstack-query guard config by @mohsen1 in #13778
• perf(ci): measure cargo-target-deps staleness + opt-in workspace-rlib refresh, preflight-gated (#13747) by @mohsen1 in #13777
• perf(ci): persist ci-timing trends + sccache hit-rate floor + flaky-rate probe (#13753) by @mohsen1 in #13779
• perf(solver): memoize deferred Application/Lazy property resolution per (type,prop) by @mohsen1 in #13787
• fix(checker): poison type-position uses of unresolved-import members to error by @mohsen1 in #13780
• fix(solver): resolve unique-symbol index through same-named typeof alias by @mohsen1 in #13784
• fix(checker): cross-arena FUNCTION local-pin node-symbol round-trip (mobx die cache poison) by @mohsen1 in #13783
• fix(solver): relate same-definition Promise-alias applications via any-arg (zod _parse override TS2416) by @mohsen1 in #13789
• perf(solver): memoize free-type-parameter containment per node (#13250) by @mohsen1 in #13781
• fix(solver): typeof === 'function' narrows callable member of instantiated generic alias by @mohsen1 in #13785
• perf(ci): move project-compile-canary-aggregate to ubuntu-latest (#13745) by @mohsen1 in #13782
• fix(checker): poison indexed-access over unresolved-import object to any by @mohsen1 in #13790
• fix(checker): truthy condition read proves definite assignment in positive branch by @mohsen1 in #13788
• fix(checker,solver): contextual free-type-param erasure root (zustand/superstruct/mobx) by @mohsen1 in #13794
• fix(ci): pin all GitHub Actions to commit SHAs + add Dependabot (#13752) by @mohsen1 in #13795
• fix(solver): resolver-aware subtype in enum discriminant narrowing by @mohsen1 in #13798
• fix(checker): resolve cross-arena import-alias application body for in-narrowed receivers by @mohsen1 in #13796
• ci: reduce project-compile-canary shards 6 -> 3 (relieve unit starvation wedging the queue, #13771) by @mohsen1 in #13804
• fix(solver): cross-module enum-parent residency + identity in discriminant narrowing by @mohsen1 in #13805
• fix(solver): relate generic Pick/Omit mapped source to index-signature target by @mohsen1 in #13800
• ci: bump actions/setup-python from 5.6.0 to 6.2.0 by @dependabot[bot] in #13811
• feat(website): relative-time + commit link in benchmark runner info by @mohsen1 in #13816
• fix(checker): inline-exported empty-array const is fixed never[], not evolving (mobx noImplicitAny FP) by @mohsen1 in #13814
• fix(config): expand TS 5.5 ${configDir} tsconfig template variable (#13768) by @mohsen1 in #13772
• perf(checker): memoize contextual-callback mismatch derivation across re-entry (#13250) by @mohsen1 in #13786
• perf(solver): memoize infer-substitution across non-shadowing mapped scopes (kysely/valibot timeout) by @mohsen1 in #13820
• fix(binder,checker): don't trip the stack-overflow guard when headroom is unmeasurable (#13815) by @mohsen1 in #13824
• ci: bump actions/cache from 4.3.0 to 5.0.5 by @dependabot[bot] in #13808
• ci: bump softprops/action-gh-release from 2.6.2 to 3.0.0 by @dependabot[bot] in #13809
• perf(solver): memoize narrow_excluding_type to remove redundant narrowing recomputation (theme C) by @mohsen1 in #13819
• test(checker): synthetic witness for #13232 resolver-less deferred-conditional relation by @mohsen1 in #13831
• ci: bump actions/upload-artifact from 4.6.2 to 7.0.1 by @dependabot[bot] in #13810
• ci: bump actions/download-artifact from 4.3.0 to 8.0.1 by @dependabot[bot] in #13812
• hold(bench): resolve library-canary deps to cut false TS2307 noise by @mohsen1 in #13835
• fix(ci): re-check active bench run after stale-break before catch-up dispatch by @mohsen1 in #13833
• perf(ci): move fourslash/emit aggregate(s) to ubuntu-latest (#13745) by @mohsen1 in #13832
• fix(ci): stop required CI Summary from blocking on the advisory canary suite by @mohsen1 in #13829
• fix(ci): bound dist-binaries cache-save memory to unblock workspace-rlib refresh (#13733) by @mohsen1 in #13834
• perf(interner): per-file TLS-cache locality instrumentation + opt-in promote-first probe (#13246) by @mohsen1 in #13838
• fix(config): unresolved tsconfig extends emits TS6053 and continues instead of aborting by @mohsen1 in #13839
• perf(cli): bounded long-lived checker pool scheduler (TSZ_CHECKER_POOL) (#13246) by @mohsen1 in #13841
• fix(ci): stop bench-gate deferring to wedged active runs by @mohsen1 in #13836
• fix(ci): route unit suite to Cloud Build pool to stop 32GiB Cloud Run OOM wedging the queue by @mohsen1 in #13880
• green(canary): promote infisical to required (payload/medusa stay canary — CPU-bound, #13242) by @mohsen1 in #13775
• fix(ci): route app-canary installs through corepack when the PM isn't on PATH by @mohsen1 in #13858
• perf(solver): combine inert-deferred lift + structural-bucket skip in union subtype reduction by @mohsen1 in #13736
• fix(solver): resolve generic function-alias members in typeof-function narrowing by @mohsen1 in #13737
• fix(solver): widen union array members; drop empty-array conditional branch (green) by @mohsen1 in #13774
• fix(checker,solver): nested typeof X resolves to value/constructor side for merged interface+value symbols by @mohsen1 in #13776
• fix(checker): follow re-export alias chain for heritage base type-param arity by @mohsen1 in #13791
• fix(checker): validate nested deferred-conditional indexed access via apparent type by @mohsen1 in #13792
• fix(solver): resolver-aware enum discriminant narrowing keeps the receiver (green) by @mohsen1 in #13799
• fix(checker): preserve bare type-parameter identity in generic-call spread inference (theme A) by @mohsen1 in #13817
• fix(checker): property-access name in param default is not a self-reference by @mohsen1 in #13818
• fix(solver): reduce multi-overload infer-capture conditionals (zustand devtools 217) by @mohsen1 in #13821
• perf(checker): canonical cycle-guard key collapses import-alias fan-out by @mohsen1 in #13823
• perf(solver): memoize top-level collect_properties_cached results (theme C groundwork) by @mohsen1 in #13837
• fix(checker): chase named re-export alias chain for generic heritage base (TS2315) by @mohsen1 in #13797
• fix(checker): globalThis.X resolves lib global over module-local import-type shadow by @mohsen1 in #13850
• fix(binder): merge user namespace exports into same-named lib namespace by @mohsen1 in #13851
• fix(solver): in-narrowing of an existing property keeps optionality and undefined by @mohsen1 in #13852
• fix(checker): merge transitive lib-base heritage for cross-file generic class by @mohsen1 in #13853
• fix(solver): never reinterpret a registered DefId as a SymbolId in resolve_lazy (#13862) by @mohsen1 in #13884
• fix(checker,solver): scope logical-operand literal preservation; unknown ?? X is {} | X by @mohsen1 in #13849
• chore(release): bump try-tsz publish version to 0.1.29 by @mohsen1 in #13854

New Contributors

• @dependabot[bot] made their first contribution in #13811

Full Changelog: v0.1.28...v0.1.29