ResearchBenchmarksStorage Commit Safety on StorageSubstrateBenchStorage Commit Safety on StorageSubstrateBenchFollow0Violations CountATP-2.5614.723249.28Jun 30, 2026Evaluation resultsMethodMethodLinksViolations CountATP2026.060permissive baseline2026.0664