v0.1.36

What's Changed

• fix(checker): gate TS5097/TS2846 import-extension diagnostics on resolution (#14596) by @mohsen1 in #14597
• fix(checker): stabilize cross-arena file_idx for DefId + delegation identity (#13255 resolution-key channel; -8 kysely FPs) by @mohsen1 in #14588
• fix(solver): reduce genuine unknown-bodied generic alias applications to canonical unknown (#13212 slice) by @mohsen1 in #14595
• perf(solver): build unions from borrowed slices in hot paths (#8356 slice) by @mohsen1 in #14600
• fix(checker): emit TS2428 for class+interface merges with mismatched type-parameter arity by @mohsen1 in #14602
• fix(solver): mark unresolved-def keyof deferrals + cross-file keyof/utility-alias parity guard by @mohsen1 in #14569
• test(cli): driver witness for genuine unknown-bodied generic alias reduction by @mohsen1 in #14603
• fix(solver): drop redundant empty object from mapped-type intersections (Prettify idiom) by @mohsen1 in #14605
• fix(solver): relate genuine unknown-bodied generic alias in function-return position by @mohsen1 in #14606
• hold(solver): remaining eval guard bails produce Termination::Incomplete (#14346 stage 3) by @mohsen1 in #14607
• fix(emit): wrap async arrow/function-expression return types in Promise in DTS by @mohsen1 in #14608
• fix(solver): relate generic sources to nested homomorphic identity mapped types (Prettify<Prettify>) by @mohsen1 in #14609
• fix(ci): automate runner cleanup + version-floor alert in ci-health by @mohsen1 in #14610
• fix(checker): drill into member mismatches against generic-interface targets (TS2322 parity) by @mohsen1 in #14611
• fix(checker): report TS2769 on no-overload-match even when callee class has a structural error by @mohsen1 in #14613
• test(cli): cross-file regression floor for imported-const computed-key identity by @mohsen1 in #14616
• feat(checker): implement unique symbol placement grammar (TS1330-1335, TS1005) by @mohsen1 in #14615
• fix(emit): order no-priority tslib helpers by transform-pass tier (ES2018 before ES2015) by @mohsen1 in #14618
• fix(checker): TS18016 for private-id access on any-typed receiver outside a class by @mohsen1 in #14619
• fix(checker): show unique-symbol computed keys as [sym] in diagnostics by @mohsen1 in #14620
• fix(checker): substitute heritage type args of cross-file generic interface bases by @mohsen1 in #14625
• fix(cli): treat removed-option notice (TS5102) as fatal for semantic diagnostics by @mohsen1 in #14628
• fix(checker): exclude reverse-mapping numeric index from keyof of enum objects (#14631) by @mohsen1 in #14632
• fix(parser): match tsc TS1434 recovery for object-method => body by @mohsen1 in #14633
• fix(checker): keep contextual type for wrapped-type-param generic call initializers by @mohsen1 in #14634
• fix(checker): report TS2540 for readonly element-access write through a type-level index (#14636) by @mohsen1 in #14637
• fix(checker): keep alias name for union-result indexed-access type aliases by @mohsen1 in #14638
• fix(checker): keep literal members of a non-fresh intersection source in TS2322 display (#14639) by @mohsen1 in #14640
• fix(checker): scope template-literal pattern index signatures to matching properties in TS2411 by @mohsen1 in #14641
• fix(checker): emit bare-type-parameter-target note at every TS2322 chain depth (#14642) by @mohsen1 in #14643
• fix(ci): bake bench bootstrap toolchain into an optional prebuilt image (#13751) by @mohsen1 in #14614
• fix(checker): key renamed re-export generic interface to its declaration def (#13212) by @mohsen1 in #14621
• fix(checker): render non-generic spread-flattened tuple aliases structurally (#14626) by @mohsen1 in #14627
• fix(checker): generalize literal source to base in TS2769 overload elaboration by @mohsen1 in #14630
• data(ci): add hotscript + infisical to the green project-compat ratchet baseline by @mohsen1 in #14644
• perf(solver): persist definitive conditional-branch verdicts across evaluators (#8356) by @mohsen1 in #14624
• fix(checker): append "Type 'X' has no call/construct signatures." note to TS2349/TS2351 by @mohsen1 in #14648
• fix(checker): preserve declared signature return/param literals in TS2322 display (#14645) by @mohsen1 in #14646
• docs(arch): identity/heritage/termination regression boundaries (#14350) by @mohsen1 in #14649
• fix(checker): render flow-narrowed union source by its narrowed type, not the declared alias by @mohsen1 in #14623
• fix(checker): gate object-literal/argument arrow body-return elaboration on annotated parameters by @mohsen1 in #14652
• perf(checker): defer force-eligible non-generic lib interface type references to Lazy (#13933) by @mohsen1 in #14650
• data(corpus): add 5 canary rows — radash, valtio, ts-belt, ts-extras, superjson (grow) by @mohsen1 in #14653
• chore(readme): refresh benchmark image and stats by @mohsen1 in #14654
• fix(checker): elaborate contravariant parameter mismatches for union/array/tuple/index leaves (#14655) by @mohsen1 in #14656
• chore(release): bump try-tsz publish version to 0.1.36 by @mohsen1 in #14657
• perf(solver): #14351 variance-fallthrough relation hot-path counter by @mohsen1 in #14658

Full Changelog: v0.1.35...v0.1.36

What's Changed

• fix(checker): gate TS5097/TS2846 import-extension diagnostics on resolution (#14596) by @mohsen1 in #14597
• fix(checker): stabilize cross-arena file_idx for DefId + delegation identity (#13255 resolution-key channel; -8 kysely FPs) by @mohsen1 in #14588
• fix(solver): reduce genuine unknown-bodied generic alias applications to canonical unknown (#13212 slice) by @mohsen1 in #14595
• perf(solver): build unions from borrowed slices in hot paths (#8356 slice) by @mohsen1 in #14600
• fix(checker): emit TS2428 for class+interface merges with mismatched type-parameter arity by @mohsen1 in #14602
• fix(solver): mark unresolved-def keyof deferrals + cross-file keyof/utility-alias parity guard by @mohsen1 in #14569
• test(cli): driver witness for genuine unknown-bodied generic alias reduction by @mohsen1 in #14603
• fix(solver): drop redundant empty object from mapped-type intersections (Prettify idiom) by @mohsen1 in #14605
• fix(solver): relate genuine unknown-bodied generic alias in function-return position by @mohsen1 in #14606
• hold(solver): remaining eval guard bails produce Termination::Incomplete (#14346 stage 3) by @mohsen1 in #14607
• fix(emit): wrap async arrow/function-expression return types in Promise in DTS by @mohsen1 in #14608
• fix(solver): relate generic sources to nested homomorphic identity mapped types (Prettify<Prettify>) by @mohsen1 in #14609
• fix(ci): automate runner cleanup + version-floor alert in ci-health by @mohsen1 in #14610
• fix(checker): drill into member mismatches against generic-interface targets (TS2322 parity) by @mohsen1 in #14611
• fix(checker): report TS2769 on no-overload-match even when callee class has a structural error by @mohsen1 in #14613
• test(cli): cross-file regression floor for imported-const computed-key identity by @mohsen1 in #14616
• feat(checker): implement unique symbol placement grammar (TS1330-1335, TS1005) by @mohsen1 in #14615
• fix(emit): order no-priority tslib helpers by transform-pass tier (ES2018 before ES2015) by @mohsen1 in #14618
• fix(checker): TS18016 for private-id access on any-typed receiver outside a class by @mohsen1 in #14619
• fix(checker): show unique-symbol computed keys as [sym] in diagnostics by @mohsen1 in #14620
• fix(checker): substitute heritage type args of cross-file generic interface bases by @mohsen1 in #14625
• fix(cli): treat removed-option notice (TS5102) as fatal for semantic diagnostics by @mohsen1 in #14628
• fix(checker): exclude reverse-mapping numeric index from keyof of enum objects (#14631) by @mohsen1 in #14632
• fix(parser): match tsc TS1434 recovery for object-method => body by @mohsen1 in #14633
• fix(checker): keep contextual type for wrapped-type-param generic call initializers by @mohsen1 in #14634
• fix(checker): report TS2540 for readonly element-access write through a type-level index (#14636) by @mohsen1 in #14637
• fix(checker): keep alias name for union-result indexed-access type aliases by @mohsen1 in #14638
• fix(checker): keep literal members of a non-fresh intersection source in TS2322 display (#14639) by @mohsen1 in #14640
• fix(checker): scope template-literal pattern index signatures to matching properties in TS2411 by @mohsen1 in #14641
• fix(checker): emit bare-type-parameter-target note at every TS2322 chain depth (#14642) by @mohsen1 in #14643
• fix(ci): bake bench bootstrap toolchain into an optional prebuilt image (#13751) by @mohsen1 in #14614
• fix(checker): key renamed re-export generic interface to its declaration def (#13212) by @mohsen1 in #14621
• fix(checker): render non-generic spread-flattened tuple aliases structurally (#14626) by @mohsen1 in #14627
• fix(checker): generalize literal source to base in TS2769 overload elaboration by @mohsen1 in #14630
• data(ci): add hotscript + infisical to the green project-compat ratchet baseline by @mohsen1 in #14644
• perf(solver): persist definitive conditional-branch verdicts across evaluators (#8356) by @mohsen1 in #14624
• fix(checker): append "Type 'X' has no call/construct signatures." note to TS2349/TS2351 by @mohsen1 in #14648
• fix(checker): preserve declared signature return/param literals in TS2322 display (#14645) by @mohsen1 in #14646
• docs(arch): identity/heritage/termination regression boundaries (#14350) by @mohsen1 in #14649
• fix(checker): render flow-narrowed union source by its narrowed type, not the declared alias by @mohsen1 in #14623
• fix(checker): gate object-literal/argument arrow body-return elaboration on annotated parameters by @mohsen1 in #14652
• perf(checker): defer force-eligible non-generic lib interface type references to Lazy (#13933) by @mohsen1 in #14650
• data(corpus): add 5 canary rows — radash, valtio, ts-belt, ts-extras, superjson (grow) by @mohsen1 in #14653
• chore(readme): refresh benchmark image and stats by @mohsen1 in #14654
• fix(checker): elaborate contravariant parameter mismatches for union/array/tuple/index leaves (#14655) by @mohsen1 in #14656
• chore(release): bump try-tsz publish version to 0.1.36 by @mohsen1 in #14657
• perf(solver): #14351 variance-fallthrough relation hot-path counter by @mohsen1 in #14658

Full Changelog: v0.1.35...v0.1.36