Basilで導入されたIsolation level 従来のIsolationは、同時に実行されるトランザクション間の分離レベルを議論していた Byzantine Isolation: たとえByzantineなアクターがACIDセマンティクスに違反したとしても、正しいクライアントから観察できるステートはACIDに準拠していることを保証する