chore: use bun check for local typechecks and TypeScript 7.1 in CI - #58253

Local typechecks run on bun check. CI and package publishing keep the official compiler, upgraded to TypeScript 7.1.

flowchart LR
  subgraph local["Local: pre-push, bun run check, bun typecheck"]
    A["typecheck"] --> B["bun check --no-script"]
  end
  subgraph ci["CI: check.yml, deploy-*.yml, publish.ts"]
    C["typecheck:tsc"] --> D["tsc (@typescript/native 7.1.0-beta)"]
  end

• Split scripts: every package keeps its tsc command as typecheck:tsc, and typecheck becomes the bun check equivalent.

  typecheck:tsc	typecheck
  tsc --noEmit	bun check --no-script
  tsc -b	bun check --no-script -b
  tsc -b tsconfig.json tsconfig.tests.json (core)	bun check --no-script -b -p tsconfig.tests.json
  astro check (posts, www)	unchanged

• Turbo cache fix: typecheck was {}, so a task's hash ignored changes in its workspace dependencies. Only the 5 packages with a dependsOn on core picked up core edits. Both tasks now depend on transit, the same trick test uses.

  Edit	Re-checked before	Re-checked now
  packages/schema/src	schema only (18 dependents replay a cached pass)	schema + 18 dependents
  packages/core/src	core + 5 via dependsOn	same 6, via transit

• Turbo order: typecheck (bun check) no longer waits for core, because it reads dependency sources directly. typecheck:tsc keeps the core dependsOn for its 5 dependents, because tsc -b writes core's declarations for them. Package entries replace the generic task entry, so they repeat transit.

• CI: check.yml runs bun run lint and then bun run typecheck:tsc. The deploy-files, deploy-changelog, deploy-update workflows and every script/publish.ts also run typecheck:tsc.

• TypeScript 7.1: the @typescript/native catalog entry (and the copy in plugins/figma) moves from 7.0.2 to 7.1.0-beta. bun check already follows 7.1 for deep type comparisons, so the editor, CI and local checks now agree more closely.

• Release age: [email protected] is added to minimumReleaseAgeExcludes. The per-platform binaries (@typescript/typescript-<os>-<arch>) are separate packages that the entry does not cover, so they are pinned in bun.lock and pass the 3-day age on 2026-10-23 anyway.

• 7.1 migration: TypeScript 7.1 rejects declaration emit for inferred types it cannot name, in the composite projects (app, core) whose .d.ts files feed tsc -b. bun check writes no declarations, so it never reports these.

  Error	Site	Fix
  TS5088 cyclic inferred type	app/src/composer/state.ts, because capture() returns the state itself	Name the shape as ComposerStateValue and annotate createComposerStateValue
  TS5088 cyclic inferred type	core/src/mcp/client.ts connect	const connection: Connection = {...} instead of satisfies Connection
  TS2883 type not portable	app/playwright.components.config.ts	Annotate the default export as PlaywrightTestConfig
  TS5088 cyclic inferred type, in util's library build	util/src/effect/app-node.ts makeGlobalNode, makeLocationNode	Name the factory type as LayerNode.TagMaker

  The TS2345, TS7006 and TS6305 errors in core/test/mcp*.test.ts, and the same errors reported again in cli, desktop, sdk, server, simulation and tui, came from the missing client.d.ts and clear with the fix above.

• Why CI stays on tsc: bun check matches tsc diagnostics on dev, but it is a separate checker. It reports TypeScript 7.0.2 while following 7.1 for deep type comparisons (bun check: process.versions.typescript and docs say 7.0.2, but type checking follows TypeScript 7.1 oven-sh/bun#46536), and it has open parity bugs.

Benchmarks

Cold runs (no turbo cache, no .tsbuildinfo), Windows, bun turbo typecheck --concurrency=3 without the two astro check packages unless noted.

Per package, 20 cores:

Added by the opencode bot (AI-generated).

Public API: adds the exported type LayerNode.TagMaker to @opencode/util (backwards compatible)