seizu

seizu (型) は TypeScript のコントラクトベース状態遷移ライブラリです。

define() で { pre, transition, post, invariant } を宣言すると、実行可能な関数と PBT 検証可能なメタデータを同時に得られます。

パッケージ

• seizu — コアライブラリ（ゼロ依存）。define(), scenario(), Result ユーティリティ。
• seizu-cli — CLI ツール。静的解析、ドキュメント生成、PBT 検証。

リンク

• seizu-cli Contract仕様書 — 自動生成されたContract仕様ドキュメント（ドッグフーディング）