Proof Dashboard

Latest test results across verification sub-parts

Redis 7.2 command coverage, protocol, lua, transaction, pubsub, stream, persistence, errors, modules, ACL, config, keyspace

Name Status Summary Duration Version Time Report
modules check_circlepass modules: Passed 2, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-04-03 17:18:21 View
acl check_circlepass acl: Passed 14, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-04-03 17:18:21 View
config check_circlepass config: keys=190 common, value_mismatch=0, set_mismatch=0, unit_mismatch=0, invalid_err_mismatch=0 1s engula-latest 2026-04-03 17:18:21 View
keyspace check_circlepass keyspace: Passed 7, Failed 0, Skipped 0 (pass rate: 100.0%) 42s engula-latest 2026-04-03 17:18:21 View
coverage check_circlepass command coverage: 370/370 commands supported (100.0%) 1s engula-latest 2026-04-03 17:18:21 View
protocol check_circlepass protocol: 50/50 match, 0 mismatch, 0 errors (RESP2+RESP3) 1s engula-latest 2026-04-03 17:18:21 View
lua check_circlepass lua: Passed 23, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-04-03 17:18:21 View
transaction check_circlepass transaction: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-04-03 17:18:21 View
pubsub check_circlepass pubsub: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%) 5s engula-latest 2026-04-03 17:18:21 View
stream check_circlepass stream: Passed 15, Failed 0, Skipped 0 (pass rate: 100.0%) 2s engula-latest 2026-04-03 17:18:21 View
persistence check_circlepass persistence: 10 passed, 0 failed 33s engula-latest 2026-04-03 17:18:21 View
errors check_circlepass errors: 10 passed, 0 failed 1s engula-latest 2026-04-03 17:18:21 View

Throughput, latency, CPU, and memory benchmarks vs Redis baseline

Name Status Summary Duration Version Time Report
throughput+latency check_circlepass perf: 6 points, 6 pass, 0 fail, duration 8m23s 8m23s engula-latest 2026-04-03 17:19:52 View
cpu-usage check_circlepass perf: 6 points, 6 pass, 0 fail, duration 8m23s 8m23s engula-latest 2026-04-03 17:19:52 View
memory-efficiency check_circlepass perf: 6 points, 6 pass, 0 fail, duration 8m23s 8m23s engula-latest 2026-04-03 17:19:52 View

RDB save time, load time, and memory efficiency comparison

Name Status Summary Duration Version Time Report
rdb-save-load cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 3m12s 3m12s engula-latest 2026-04-03 17:28:14 View
Platform
1/1

Linux x86_64 platform compatibility checks

Name Status Summary Duration Version Time Report
linux-x86_64 check_circlepass 7 platform checks passed 1m15s engula-latest 2026-04-03 17:31:27 View

Sentinel failover, cluster failover, replica sync, reshard, mixed deployment, network partition

Name Status Summary Duration Version Time Report
sentinel check_circlepass Sentinel failover: 6.5s, error_duration=0.0s, 65 errors, no data loss 15s engula-latest 2026-04-03 17:32:42 View
cluster check_circlepass Cluster failover: 10.0s, 4 errors, no data loss 23s engula-latest 2026-04-03 17:32:42 View
replica-sync check_circlepass Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0 7s engula-latest 2026-04-03 17:32:42 View
reshard check_circlepass Reshard: duration=3.6s, data_loss=0, error_rate=0.00% 20s engula-latest 2026-04-03 17:32:42 View
mixed check_circlepass Mixed cluster: Scenario A (Redis primaries) failover=6.0s, Scenario B (Engula primaries) failover=6.0s, no data loss 40s engula-latest 2026-04-03 17:32:42 View
network-partition check_circlepass Network partition recovered: detection 9629.0ms, failover 10832.0ms, recovery 602.0ms, no data loss 43s engula-latest 2026-04-03 17:26:36 View