[opencode-agent]

Moves type checking off the December @typescript/native-preview dev build (7.0.0-dev.20251207.1) and onto the TypeScript 7.0.2 release.

Layout

TypeScript 7.0 ships a native tsc but no JavaScript compiler API, so this uses the side-by-side setup from the 7.0 release notes:

• @typescript/native → npm:typescript@7.0.2 provides tsc. Every typecheck script now runs tsc instead of tsgo, and the bun tsc -p tsconfig.build.json library builds use it too.
• typescript → npm:@typescript/typescript6@6.0.2 (exposes tsc6) for code that imports the compiler API: Astro check, script/sdk-docs.ts, and similar tools. Before this change they got 5.8.2.

packages/desktop moves from its own typescript@~5.6.2 to the catalog entry, because its tsc binary would otherwise collide with TS 7's. sdks/vscode and github/ are outside the workspace and keep their own pinned versions. The root package gains @types/bun for the root and packages/containers configs.

TS 6/7 default changes

• types now defaults to []: added "types": ["bun"] to the Bun-based tsconfigs that relied on implicitly visible @types. packages/app gets ["bun", "node"], matching what was visible before. http-recorder sources get ["node"] and its tests get ["bun"].
• rootDir no longer inferred: packages/app includes ../storybook/playwright/*.ts, so it now sets "rootDir": "..", the root that used to be inferred. The no-emit app/e2e config widens to ../.. for the same reason.
• noUncheckedSideEffectImports now defaults to true: a session-ui perf fixture imports @opencode/ui/styles CSS through package exports that don't end in .css, so those two specifiers get an ambient declaration. The check stays on.

Code fixes from stricter inference

• core/database/migration.ts: restoreForeignKeys was a union of SQLiteEffectRaw<…> and Effect<void>. TS 7.0.2 no longer resolves .pipe(Effect.orDie) on that union, which left the database layer's requirements as unknown. Both branches are now Effect<void> via Effect.asVoid. No runtime change.
• script/profile-typecheck.ts now counts tsc processes instead of tsgo.
• tui/terminal-pane.tsx: send takes Uint8Array<ArrayBuffer>, the type interactionFrame actually returns, to satisfy DOM WebSocket.send's BufferSource.

Verification

• Every workspace typecheck passes, same as dev. On this host the Astro checks need Bun as the runtime because Node is old (bun --bun x astro check); posts and www pass under TS 6.0.3.
• bun run lint passes, including sdk-docs on the TS 6 API.
• bun turbo build --filter='@opencode/cli^...' --filter='@opencode/app^...' passes: 3m08s on dev, 38s here, sequential on the same machine. The emitted .d.ts keep the same file set. Diffs are member order and type printing, and any occurrences drop (for example, ai 437 → 137, core 228 → 159).
• bun test test/database-migration.test.ts test/database.test.ts in core: 22 pass.
• app typecheck:e2e has the same 4 errors it already has on dev.

Requested by: @kitlangton (Kit via Slack)

[opencode-agent]

This works as described. On the PR head, typecheck passes in core, tui, app, session-ui, cli, plugin, ui, desktop, server and sdk. The core database migration tests (22 pass), the core build and bun run lint (including sdk-docs on the TS 6 API) also pass, and nothing still refers to tsgo or native-preview. These checks were not rerun on the base for comparison.

Public API is unchanged. This is dev tooling and tsconfig only, plus two type-only code tweaks with no runtime change.

One thing to be aware of: packages/desktop depends on both its own typescript ~5.6.2 and @typescript/native, and both provide a tsc command. Bun linked the 7.0.2 one, so its tsc -b currently runs TS 7.0.2 and passes. That relies on which package wins the command clash, and it doesn't match the description's "keeps its own pinned typescript" for type checking. If 7.0.2 is the one you want there, dropping or aligning desktop's own typescript pin would remove the ambiguity.

Related: #49224