Lattice

Latticeがしていること

• 境界を観測する

  コードの実際の変更境界——ファイル・シンボル・依存の交差——を、索引済みのコード知識グラフから読み取ります。宣言や推測ではなく、実態から始めます。

• 並列可能を証明する

  タスク同士の書込範囲が交差しないことを検証し、同時に走らせてよい組を確定します。並列化は雰囲気ではなく、証明の結果です。

• 分割して、再コンパイル

  タスクが衝突したら、境界を切り分けて計画を再コンパイルします。工程は止まらず、次に走れる形へ組み直されます。