Superformと協力して、不変テストを活用した監査を行っていることをお知らせします。