v0.2.0

Highlights

• Adds end-to-end structural refinement checking, nested refinements, control-flow proofs, and runtime validation.
• Supports TypeScript 5.7-6 through tspc and TypeScript 7+ through native ttsc check, build, and ttsx integrations.
• Adds unified Vite, Vitest, Rollup, Rolldown, webpack, Rspack, esbuild, Farm, and Node loader adapters.
• Publishes the CLI and eight-package release family with exact internal version alignment.
• Expands package audits, clean-consumer verification, entailment coverage, and release performance checks.

Packages

• ts-refinement
• @ts-refinement/runtime
• @ts-refinement/analyzer
• @ts-refinement/cli
• @ts-refinement/unplugin
• @ts-refinement/rolldown
• @ts-refinement/typescript-plugin
• @ts-refinement/ttsc