chore: backfill microsoft/typescript-go digests for 2026-05-01–05-19

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: kt3k

src/posts/2026-05-01_microsoft-typescript-go.md

@@ -0,0 +1,20 @@
+---
+date: 2026-05-01
+repo: microsoft/typescript-go
+size: M
+title: "Telemetry experiments and watcher scans improved"
+excerpt: "The extension now initializes TAS experimentation telemetry, and the file watcher removes redundant directory hashing while slowing its poll loop."
+commits: 2
+authors: [DanielRosenwasser, andrewbranch]
+commit_authors: {"6dff52f": DanielRosenwasser, "0fa4110": andrewbranch}
+---
+
+### **Extension wires up TAS experimentation telemetry** (6dff52f)
+The VS Code extension now creates an `ExperimentationService` during activation, using `vscode-tas-client` to set shared telemetry properties for treatments/flights. This lays the groundwork for experiment-driven behavior, even though the current code only instantiates the service for telemetry context.
+
+### **Polling watcher drops redundant directory work** (0fa4110)
+The file watcher now avoids re-hashing directory contents on every scan and instead tracks explicit paths and wildcard directories more directly. It also raises the default watch interval from 1s to 2s and adds an opt-in `TS_WATCH_DEBUG` log hook, reducing unnecessary polling overhead while preserving debouncing behavior.
+
+### Other misc changes
+- Watcher tests and internal refactors around the new scan logic
+- Extension cleanup and build metadata updates, including a new TAS client dependency

src/posts/2026-05-02_microsoft-typescript-go.md

@@ -0,0 +1,15 @@
+---
+date: 2026-05-02
+repo: microsoft/typescript-go
+size: M
+title: "Better typing for `this.xxx` assignment declarations"
+excerpt: "TypeScript-Go now handles self-referential `this` property assignments more precisely, improving inferred property types and avoiding bad widening."
+commits: 1
+---
+
+### **Improve `this.xxx` assignment declaration typing** (2f6504c)
+Type inference for assignment declarations now treats `this`-property assignments more like the JS implementation: self-referential writes are excluded from the declared type, and empty-array cases are widened to `any[]` with an implicit-any diagnostic when needed. This should fix class property inference in common patterns like `this.foo = [this.foo[0] * 2]` and avoid producing `never`/empty unions when no usable initializer type is present.
+
+### Other misc changes
+- Added regression coverage for `this` property assignment typing.
+- Updated baseline outputs for errors, symbols, and types.

src/posts/2026-05-03_microsoft-typescript-go.md

@@ -0,0 +1,10 @@
+---
+date: 2026-05-03
+repo: microsoft/typescript-go
+size: N
+title: "No changes"
+excerpt: ""
+commits: 0
+---
+
+

src/posts/2026-05-04_microsoft-typescript-go.md

@@ -0,0 +1,14 @@
+---
+date: 2026-05-04
+repo: microsoft/typescript-go
+size: M
+title: "Fix expando object circularity in index inference"
+excerpt: "TypeScript-Go now avoids treating expando object literals as inferable indexable shapes, fixing a circularity bug in property assignment."
+commits: 1
+---
+
+### **Fix circularity when assigning to expando object properties** (6a6cb09)
+The checker now excludes expando object literals from `isObjectTypeWithInferableIndex`, preventing them from being treated like plain object literals during index inference. That breaks the circular relationship seen when assigning properties like `obj.foo` and `obj.buzz = Object.values(obj)`, and the new regression test locks in the corrected behavior.
+
+### Other misc changes
+- Added regression baseline coverage for `expandoNoInferredIndex` symbols and types.

src/posts/2026-05-05_microsoft-typescript-go.md

@@ -0,0 +1,35 @@
+---
+date: 2026-05-05
+repo: microsoft/typescript-go
+size: L
+title: "Inference and declaration emit fixes land"
+excerpt: "Several bug fixes improve type inference, isolatedDeclarations, and declaration emit correctness; one printer panic fix rounds out the day."
+commits: 7
+authors: [jakebailey]
+commit_authors: {"3fef754": jakebailey}
+---
+
+### **Fix inference from `never` into union targets** (ee4225a)
+Type inference now handles union sources and targets more precisely, including cases where the source is `never` or another union. This fixes a misinference bug that could choose the wrong `const` generic branch and produce incorrect results for APIs relying on union matching.
+
+### **Fix isolatedDeclarations for arrow functions with default params** (eca51a3)
+The pseudochecker now tracks required parameter positions more accurately when emitting parameter types, especially for defaults and optional/rest combinations. That closes an `isolatedDeclarations` gap where arrow functions with default parameters could be reported incorrectly.
+
+### **Preserve trailing commas in declaration-emitted array binding patterns** (23ec44f)
+Declaration emit now keeps trailing commas in array binding patterns when transforming destructuring signatures. This is a small but important correctness fix for `.d.ts` output, avoiding churn and preserving the intended shape of tuple-binding declarations.
+
+### **Fix nested signature scoping in return type serialization** (3fef754)
+Return-type serialization now enters a dedicated signature scope before building the output node. That prevents type parameter shadowing/renaming mistakes in nested generic declarations, which showed up in several declaration-emit baselines.
+
+### **Do not treat typed `{}` initializers as expando objects** (fdfe96e)
+The binder and AST utility logic now require an empty object literal to be untyped before it is treated as an expando initializer in JS files. This avoids incorrectly attaching expando members to variables or properties that already have an explicit type annotation.
+
+### **Fix multi-byte rune handling in change tracking** (2a41760)
+The printer’s trailing-whitespace trim logic now uses `utf8.DecodeLastRuneInString`, so `setLastNonTriviaPosition` no longer miscomputes offsets on multi-byte text. This is a correctness fix for emitted text position tracking.
+
+### **Fix JSX whitespace-only text panic in change tracking** (3b78168)
+Whitespace-only JSX text no longer triggers an index-out-of-range panic while emitting tracked changes. The added fourslash test locks in the regression fix for `isolatedDeclarations`/declaration workflows.
+
+### Other misc changes
+- No-op test baseline updates for the above fixes
+- Minor internal refactorings in declaration emit and printer code

src/posts/2026-05-06_microsoft-typescript-go.md

@@ -0,0 +1,23 @@
+---
+date: 2026-05-06
+repo: microsoft/typescript-go
+size: M
+title: "Diagnostics, watchers, and JS docs tightened"
+excerpt: "Fixes a JSDoc mismatch diagnostic, removes an LSP hang, speeds scope cloning, and updates JS docs around constructor functions."
+commits: 5
+authors: [jakebailey, sandersn]
+commit_authors: {"1e58c84": jakebailey, "763092d": jakebailey, "20d34b5": sandersn}
+---
+
+### **Fix JSDoc `@extends` mismatch diagnostics for property access bases** (18f93b8)
+The checker now compares the identifier names extracted from `@extends` and the actual `extends` clause, instead of only handling plain identifiers. This makes the mismatch diagnostic fire correctly for property-access bases like `React.Component` vs `React.PureComponent`.
+
+### **Fix server hang after scheduled diagnostics refresh** (095aa2f)
+`RefreshDiagnostics` now sends the workspace diagnostic refresh request fire-and-forget, avoiding a wait on a client response that is expected to be null. The watch/session code also adds per-request timeouts and rollback handling so watch registration stays consistent even if a client call stalls or fails.
+
+### **Optimize type variable scope map cloning with CoW** (1e58c84)
+Type parameter bookkeeping in the node builder was converted from ad hoc mutable maps/sets to copy-on-write collections. This trims cloning overhead in scope-heavy paths and simplifies the state management used while generating names and tracking visited symbols.
+
+### Other misc changes
+- Fixed a flaky pnpm-style symlink test in auto-import registry coverage (763092d)
+- Updated JavaScript documentation and CHANGES.md guidance around constructor functions and removed Closure-era examples (20d34b5)

src/posts/2026-05-07_microsoft-typescript-go.md

@@ -0,0 +1,40 @@
+---
+date: 2026-05-07
+repo: microsoft/typescript-go
+size: L
+title: "JSDoc, config lookup, and LSP watchdog fixes"
+excerpt: "Several notable parser and project-resolution fixes landed, plus LSP now exits when its parent dies."
+commits: 11
+authors: [DanielRosenwasser, jakebailey, andrewbranch]
+commit_authors: {"51a1064": jakebailey, "9e69d83": DanielRosenwasser}
+---
+
+### **LSP now shuts down when its parent process exits** (51a1064)
+The language server now starts a watchdog tied to the parent PID and cancels the server context if that process disappears. This helps prevent orphaned `tsgo` LSP processes after an editor crash or forced quit.
+
+### **JSDoc fenced code blocks now preserve `@` tags correctly** (3c6134d)
+The JSDoc parser now tracks fenced code block state across newlines, so `@`-prefixed text inside triple-backtick blocks is treated as literal content instead of being misread as tags. That fixes hover and parsing behavior for examples and embedded code in JSDoc.
+
+### **`@satisfies` no longer blocks `@param` application on arrow functions** (7f8d024)
+The reparser now skips through `satisfies` expressions when looking for function-like hosts, so JSDoc `@param` types can still attach to arrow functions wrapped in a `@satisfies` annotation. This fixes incorrect type checking and diagnostics for a common JSDoc pattern.
+
+### **JSDoc `?` and `!` prefixes now bind with the right precedence** (9e69d83)
+The parser changed nullable/non-nullable JSDoc type parsing to use the higher-precedence type-operator path, matching how unions and other operators should combine. This resolves several incorrect parses and error cases around prefix operators mixed with unions, intersections, and `readonly`.
+
+### **`tsconfig` option names are now case-sensitive with suggestions** (2e80702)
+Config parsing now rejects incorrectly cased option names more precisely and can offer “Did you mean” suggestions for known top-level config sections. This makes tsconfig/jsconfig errors clearer and helps users recover from casing mistakes faster.
+
+### **JS files now prefer `jsconfig.json` over sibling `tsconfig.json`** (16ff7f0)
+Project discovery was adjusted so a JS file in a directory containing both configs is assigned to the `jsconfig.json` project, while TS files still resolve to `tsconfig.json`. That matches editor/server expectations and avoids JS files inheriting the wrong config semantics.
+
+### **CommonJS export transformation is more robust in nested control flow** (b96acbe)
+The CommonJS module transformer now handles nested `if`/labeled statements and `var`-hoisting cases without crashing or emitting invalid export syntax. Several baselines were updated to reflect safer fallback output in these edge cases.
+
+### **Type metadata serialization fixed a null/undefined precedence bug** (0d33019)
+A parenthesization bug in union/intersection metadata emission was corrected, changing some decorator metadata output for nullable unions. This matters because emitted design types are used by downstream reflection tooling and were previously being produced incorrectly in some strict-null-checks cases.
+
+### Other misc changes
+- Process-alive/platform plumbing and LSP shutdown wiring refinements.
+- Minor comment fixes.
+- `vscode-tas-client` dependency bump.
+- Small internal GC/session and type-serializer tweaks.

src/posts/2026-05-08_microsoft-typescript-go.md

@@ -0,0 +1,48 @@
+---
+date: 2026-05-08
+repo: microsoft/typescript-go
+size: M
+title: "Module resolution, declaration emit, and LS fixes"
+excerpt: "A mixed day of several notable bug fixes across module resolution, declaration emit, and language service behavior."
+commits: 18
+authors: [DanielRosenwasser, andrewbranch, RyanCavanaugh, jakebailey]
+commit_authors: {"e1f8f97": andrewbranch, "5c67e17": RyanCavanaugh, "48e2953": jakebailey, "04b3256": DanielRosenwasser, "968d062": DanielRosenwasser}
+---
+
+### **Fix package exports fallback and self-name resolution edge cases** (e1f8f97)
+The resolver now treats top-level `"exports": null` as allowing fallback resolution instead of blocking it, matching Node’s behavior. It also accepts certain self-name resolution errors when the project root is ambiguous, which clears a batch of related baseline failures.
+
+### **Defer ambient module merging until globals are ready** (b6de67f)
+Global ambient module declarations are now merged later in checker initialization, after the global symbol table has been set up. This avoids cases where ambient modules depend on other global symbols/types that were not yet resolved.
+
+### **Tighten declaration emit for expando assignments** (88f5792, c872613, dcc16d9)
+Declaration emit now avoids duplicating expando functions and skips emitting expandos that are already represented elsewhere, which reduces duplicate declarations and related errors. A separate fix also preserves the actual computed property name in expando export output, preventing incorrect aliases for element-access assignments.
+
+### **Fix auto-import promotion for type-only JSX imports** (ea005f3)
+The import-fix path no longer panics when a JSX tag completion needs to promote one or more `import type` specifiers to value imports. It now handles multiple candidate symbols more safely, including the case where both the JSX namespace and component import are type-only.
+
+### **Fix JSDoc `@param` matching on class fields and similar hosts** (1fb728b)
+JSDoc parameter validation now walks to the correct owning declaration for more function-like contexts, including class fields and other attachment points. That makes unmatched `@param` diagnostics appear where users expect instead of being dropped.
+
+### **Fix crash in destructuring with `noUncheckedIndexedAccess` and `noLib`** (04b3256)
+A nil check was added before including `undefined` in indexed access types, preventing a crash when destructuring arrays without lib definitions. The compiler now reports the underlying property error instead of failing internally.
+
+### **Fix missing nil check in async return contextual typing** (968d062)
+The checker now guards a contextual-type lookup used for return expressions, preventing another crash path in async function analysis. This keeps the checker stable on thenable-return cases that previously tripped a nil dereference.
+
+### **Fix recursive constraint expansion in signature inference** (ed6cf5d)
+The checker now avoids over-expanding recursive constraints while computing base signatures. That narrows type inference work and fixes bad behavior on generic function parameter cases.
+
+### **Fix `isInitialized` state restoration after restart** (e070bc6)
+The client now restores `isInitialized` correctly after a restart flow. This is a small but important state-machine fix for the extension client.
+
+### **Fix process-alive probing on unsupported platforms** (48e2953)
+The LSP now avoids starting process-liveness checks when the platform can’t support them. That removes unnecessary platform-specific work and avoids invalid probe setup.
+
+### **Add a Copilot instruction template** (5c67e17)
+Adds a new `.github/copilot-instructions.md` file to guide Copilot usage in the repo.
+
+### Other misc changes
+- Moved several baseline results from `submoduleTriaged` to `submoduleAccepted`.
+- Added and updated test baselines for module resolution, expando emit, JSDoc param tags, and JS declaration emit cases.
+- Minor language-service and checker test additions/adjustments.

src/posts/2026-05-09_microsoft-typescript-go.md

@@ -0,0 +1,18 @@
+---
+date: 2026-05-09
+repo: microsoft/typescript-go
+size: M
+title: "JSDoc host alignment and crash fix"
+excerpt: "Tightened JSDoc attachment and function-like host detection, plus a regression test for shorthand property assignment crashes."
+commits: 1
+---
+
+### **Align JSDoc host lookup and parser reparsing** (092b34f)
+The repo now uses more consistent rules for finding the JSDoc attachment host and the function-like node used during reparse. This reduces mismatches between `@param` diagnostics and parser behavior, especially around variable declarations, expression statements, and `satisfies` expressions.
+
+### **Prevent a shorthand property assignment crash** (092b34f)
+The commit also adds a regression test for `shorthandPropertyAssignmentNoCrash`, indicating a real parser/checker crash was fixed. The new baselines show the compiler can now process the case without blowing up, which makes this a meaningful bug fix.
+
+### Other misc changes
+- Internal JSDoc and parser refactors to simplify host selection logic
+- Test baseline additions for the regression case

src/posts/2026-05-10_microsoft-typescript-go.md

@@ -0,0 +1,10 @@
+---
+date: 2026-05-10
+repo: microsoft/typescript-go
+size: N
+title: "No changes"
+excerpt: ""
+commits: 0
+---
+
+