shuymn@shuymn@den.shuymn.me連合しているAPサーバ間の状態遷移複雑でまともに実装できてるのか不安だったのでMastodonの実装をモデル化してPBTしてみたんだけど、結構よさそうな気がする。これ進めて文書でルール書いてあるところどんどんテストを正にして棚卸ししていけそうだhttps://github.com/shuymn/kopje/pull/1417Oct 31, 2026, 12:35 UTC010Open on your serverEmbed