#souther

参照透過性を守るとドメインモデルの自己完結性が下がることがある updated 2026-09-11
Southerはドメイン分析で見つけた制約と状態遷移を実行可能なモデルにする updated 2026-08-23
Southerは業務上の結果と実行失敗を別の経路に置く updated 2026-09-11