KAIROS 拡張 PERT 表現システム
イベント駆動のプロセスを、PERT 図として正直に描くための拡張 PERT 表現システムです。
概要
名前はギリシア語の「カイロス（その事が起きる時）」に由来します。従来の PERT 図が扱うのは「クロノス」、つまり作業の所要日数でした。KAIROS は、イベントが発火する時を扱います。
カレンダーに縛られる工程、資源の取り合い、確率的な分岐、階層構造をもつ工程は、これまでの PERT 図では正直に描けませんでした。KAIROS はこうしたプロセスを、入口と出口をもつ階層的な単位（Scope）と、ループの分類を備えた二部グラフとして描きます。
証明層
図を描く前に、記述が実行可能かを静的に検証する証明層をもちます。たとえば「中断できない工程が、装置の最大連続稼働時間を超えている」といった構造的な矛盾を、テキストの記述から検出し、図の上に赤い ✕ で示します。証明は目的ではなく、正直に視覚化するための前提条件という位置づけです。
構成
- 証明エンジン: Rust
- UI: TypeScript（Vite）。証明ロジックは持たず、エンジンに HTTP で問い合わせる
- 画面の振る舞いは Apple の Human Interface Guidelines に従う。テーマはパレットだけを差し替えられ、警告などの安全色は固定
統計処理（Python）や、グラフデータベース（Apache AGE）による因果の追跡は、証明層とは別のトラックとして今後足す予定です。現在は、テキストの記述から静的検証を通して ✕ を表示する最初の縦切りに取り組んでいます。